本文研究具有给定自同构群的亏格 g 曲线的轨迹及其包含关系，完全分类了 g=3 的情形，并对 g≤10 时的大群情形进行了分类。
摘要：
设 G 为有限群，且 g ≥ 2。我们研究允许给定类型的 G 作用的亏格 g 曲线的轨迹，以及此类轨迹之间的包含关系。我们利用这一点来研究具有给定自同构群 G 的亏格 g 曲线的轨迹。我们完全分类了 g=3 时的这些轨迹（包括相应曲线的方程），并且对于 g ≤ 10，我们分类了对应于“大”G 的那些轨迹。
英文摘要：
Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G.
An exceptional point in the moduli space of compact Riemann surfaces is a unique surface class whose full automorphism group acts with a triangular signature. A surface admitting a conformal involution with quotient an elliptic curve is called elliptic-hyperelliptic; one admitting an anticonformal involution is called symmetric. In this paper, we determine, up to topological conjugacy, the full group of conformal and anticonformal automorphisms of a symmetric exceptional point in the elliptic-hyperelliptic locus. We determine the number of ovals of any symmetry of such a surface. We show that …
The paper's main result is an effective uniform bound for the finiteness statement of the Shafarevich Conjecture over function fields. Several results on the projective geometry of curves are established in the course of the proof. These results should be of independent interest. As a corollary, a uniform effective bound for the Mordell Conjecture over function fields is derived via Parshin's trick.
In this paper we classify non-symplectic automorphisms of order 8 on complex K3 surfaces in case that the fourth power of the automorphism has only rational curves in its fixed locus. We show that the fixed locus is the disjoint union of a rational curve and 10 isolated points or it consists in 4 isolated fixed points. We give examples corresponding to the case with a rational curve in the fixed locus and to the case with only isolated points in the fixed locus.
In this paper we classify complex K3 surfaces with non-symplectic automorphism of order 8 that leaves invariant a smooth elliptic curve. We show that the rank of the Picard group is either 10, 14 or 18 and the fixed locus is the disjoint union of elliptic curves, rational curves and points, whose number does not exceed 1, 2, respectively 14. We give examples corresponding to several types of fixed locus in the classification.
We study automorphisms of order four on K3 surfaces. The symplectic ones have been first studied by Nikulin, they are known to fix six points and their action on the K3 lattice is unique. In this paper we give a classification of the purely non-symplectic automorphisms by relating the structure of their fixed locus to their action on cohomology, in the following cases: the fixed locus contains a curve of genus g>0; the fixed locus contains at least a curve and all the curves fixed by the square of the automorphism are rational. We give partial results in the other cases. Finally, we classify n…
We study the singular locus on the algebraic surface $§_n$ of genus 2 curves with a $(n, n)$-split Jacobian. Such surface was computed by Shaska in \cite{deg3} for $n=3$, and Shaska at al. in \cite{deg5} for $n=5$. We show that the singular locus for $n=2$ is exactly th locus of the curves of automorphism group $D_4$ or $D_6$. For $n=3$ we use a birational parametrization of the surface $§_3$ discovered in \cite{deg3} to show that the singular locus is a 0-dimensional subvariety consisting exactly of three genus 2 curves (up to isomorphism) which have automorphism group $D_4$ or $D_6$. We furt…
In this paper, we study some aspects of the irreducibility of $\widetilde{M_g^{Pl}(G)}$ and its interrelation with the existence of "normal forms", i.e. non-singular plane equations (depending on a set of parameters) such that a specialization of the parameters gives a certain non-singular plane model associated to the elements of $\widetilde{M_g^{Pl}(G)}$. In particular, we introduce the concept of being equation strongly irreducible (ES-Irreducible) for which the locus $\widetilde{M_g^{Pl}(G)}$ is represented by a single "normal form". Henn, and Komiya-Kuribayashi, observed that $\widetilde{…
Given an affine algebraic variety X of dimension at least 2, we let SAut (X) denote the special automorphism group of X i.e., the subgroup of the full automorphism group Aut (X) generated by all one-parameter unipotent subgroups. We show that if SAut (X) is transitive on the smooth locus of X then it is infinitely transitive on this locus. In turn, the transitivity is equivalent to the flexibility of X. The latter means that for every smooth point x of X the tangent space at x is spanned by the velocity vectors of one-parameter unipotent subgroups of Aut (X). We provide also different variatio…
In this article we prove that the full automorphism group of a cyclic $p$-gonal pseudo-real Riemann surface of genus $g$ is either a semidirect product $C_{n}\ltimes C_{p}$ or a cyclic group, where $p$ is a prime $>2$ and $g>(p-1)^{2}$. We obtain necessary and sufficient conditions for the existence of a cyclic $p$-gonal pseudo-real Riemann surface with full\ automorphism group isomorphic to a given finite group. Finally we describe some families of cyclic $p$-gonal pseudo-real Riemann surfaces where the order of the full automorphism group is maximal and show that such families determine some…
We study genus 3 hyperelliptic curves which have an extra involution. The locus $Ł_3$ of these curves is a 3-dimensional subvariety in the genus 3 hyperelliptic moduli $\H_3$. We find a birational parametrization of this locus by affine 3-space. For every moduli point $\p \in \H_3$ such that $|\Aut (\p)|>2$, the field of moduli is a field of definition. We provide a rational model of the curve over its field of moduli for all moduli points $\p \in \H_3$ such that $|\Aut(\p)|>4$. This is the first time that such a rational model of these curves appears in the literature.
In this paper we study K3 surfaces with a non-symplectic automorphism of order 3. In particular, we classify the topological structure of the fixed locus of such automorphisms and we show that it determines the action on cohomology. This allows us to describe the structure of the moduli space and to show that it has three irreducible components.
We study genus $g$ hyperelliptic curves with reduced automorphism group $A_5$ and give equations $y^2=f(x)$ for such curves in both cases where $f(x)$ is a decomposable polynomial in $x^2$ or $x^5$. For any fixed genus the locus of such curves is a rational variety. We show that for every point in this locus the field of moduli is a field of definition. Moreover, there exists a rational model $y^2=F(x)$ or $y^2=x F(x)$ of the curve over its field of moduli where $F(x)$ can be chosen to be decomposable in $x^2$ or $x^5$. While similar equations have been given in Bujalance, Cirre, Gamboa and Gr…
Let $k$ be an algebraically closed field of characteristic $0$ and $\mathcal{M}_d$ the moduli space of rational maps on $\mathbb{P}^1$ of degree $d$ over $k$. This paper describes the automorphism loci $A\subset \mathrm{Rat}_d$ and $\mathcal{A}\subset \mathcal{M}_d$ and the singular locus $\mathcal{S}\subset\mathcal{M}_d$. In particular, we determine which groups occur as subgroups of the automorphism group of some $[ϕ]\in\mathcal{M}_d$ for a given $d$ and calculate the dimension of the locus. Next, we prove an analogous theorem to the Rauch-Popp-Oort characterization of singular points on the…
We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the Néron-Severi group has rank 6, there are two possibilities and if its rank is 14, there are five possibilities. In particular if the action of the automorphism is trivial on the Néron-Severi group, then we show that its rank is six.
We study the connected component of the automorphism group of a cubic hypersurface over complex numbers. When the cubic hypersurface has nonzero Hessian, this group is usually small. But there are examples with unusually large automorphism groups: the secants of Severi varieties. Can we characterize them by the property of having unusually large automorphism groups? We study this question from the viewpoint of prolongations of the Lie algebras. Our result characterizes the secants of Severi varieties, among cubic hypersurfaces with nonzero Hessian and smooth singular locus, in terms of prolong…
The present work completes the classification of the compact Riemann surfaces of genus g with an analytic automorphism of order p (prime number) and p > g. More precisely, we construct a parameteriza- tion space for them, we compute their groups of uniformization and we compute their full automorphism groups. Also, we give affine equations for special cases and some implications on the components of the singular locus of the moduli space of smooth curves of genus g.
Let R be a complete discrete valuation ring of mixed characteristics (0,p). Given an order p-automorphism of a formal disc (or annulus) over R, we describe the minimal semi-stable model for which the specialisations of fixed points are distincts and lie in the smooth locus of the special fiber. The description leads to a combinatorial object called Hurwitz tree. Our main result is a necessary and sufficient condition for a Hurwitz tree to arise from an order p-automorphism.
We classify minimal pairs (X, G) for smooth rational projective surface X and finite group G of automorphisms on X. We also determine the fixed locus X^G and the quotient surface Y = X/G as well as the fundamental group of the smooth part of Y. The realization of each pair is included. Mori's extremal ray theory and recent results of Alexeev and also Ambro on the existence of good anti-canonical divisors are used.
In this paper, we show that there exist families of curves (defined over an algebraically closed field $k$ of characteristic $p >2$) whose Jacobians have interesting $p$-torsion. For example, for every $0 \leq f \leq g$, we find the dimension of the locus of hyperelliptic curves of genus $g$ with $p$-rank at most $f$. We also produce families of curves so that the $p$-torsion of the Jacobian of each fibre contains multiple copies of the group scheme $α_p$. The method is to study curves which admit an action by $(\ZZ/2)^n$ so that the quotient is a projective line. As a result, some of these fa…
The Eckardt hypersurface in $\mathbb{P}^{19}$ parameterizes smooth cubic surfaces with an Eckardt point, which is a point common to three of the $27$ lines on a smooth cubic surface. We describe the cubic surfaces lying on the singular locus of the model of this hypersurface in $\mathbb{P}^4$, obtained via restriction to the space of cubic surfaces possessing a so-called Sylvester form. We prove that inside the moduli of cubics, the singular locus corresponds to a reducible surface with two rational irreducible components intersecting along two rational curves. The two curves intersect in two …
A group G acts infinitely transitively on a set Y if for every positive integer m, its action is m-transitive on Y. Given a real affine algebraic variety Y of dimension greater than or equal to two, we show that, under a mild restriction, if the special automorphism group of Y (the group generated by one-parameter unipotent subgroups) is infinitely transitive on each connected component of the smooth locus of Y, then for any real affine suspension X over Y, the special automorphism group of X is infinitely transitive on each connected component of the smooth locus of X. This generalizes a rece…
We present algorithms for reconstructing, up to unavoidable projective automorphisms, surfaces with ordinary singularities in three dimensional space starting from their silhouette, or "apparent contour" - namely the branching locus of a projection on the plane - and the projection of their singular locus.
We consider coverings of real algebraic curves to real rational algebraic curves. We show the existence of such coverings having prescribed topological degree on the real locus. From those existence results we prove some results on Brill-Noether Theory for pencils on real curves. For coverings having topological degree 0 we introduce the covering number k and we prove the existence of coverings of degree 4 with prescribed covering number.
Quaternionic Shimura surfaces are quotient of the bidisc by an irreducible cocompact arithmetic group. In the present paper we are interested in (smooth) quaternionic Shimura surfaces admitting an automorphism with one dimensional fixed locus; such automorphisms are involutions. We propose a new construction of surfaces of general type with $q=p_{g}=0$ as quotients of quaternionic Shimura surfaces by such involutions. These quotients have finite fundamental group.
In this article we study the transitivity of the group of automorphisms of real algebraic surfaces. We characterize real algebraic surfaces with very transitive automorphism groups. We give applications to the classification of real algebraic models of compact surfaces: these applications yield new insight into the geometry of the real locus, proving several surprising facts on this geometry. This geometry can be thought of as a half-way point between the biregular and birational geometries.
A basis shape locus takes as input data a zero/nonzero pattern in an $n \times k$ matrix, which is equivalent to a presentation of a transversal matroid. The locus is defined as the set of points in the Grassmannian of $k$ planes in $\mathbb{R}^n$ which are the row space of a matrix with the prescribed zero/nonzero pattern. We show that this locus depends only on the transversal matroid, not on the specific presentation. When a transversal matroid is a positroid, the closure of its basis shape locus is the associated positroid variety. We give a sufficient, and conjecturally necessary, conditi…
We study genus 2 function fields with elliptic subfields of degree 2. The locus $Ł_2$ of these fields is a 2-dimensional subvariety of the moduli space $\mathcal M_2$ of genus 2 fields. An equation for $Ł_2$ is already in the work of Clebsch and Bolza. We use a birational parameterization of $Ł_2$ by affine 2-space to study the relation between the j-invariants of the degree 2 elliptic subfields. This extends work of Geyer, Gaudry, Stichtenoth and others. We find a 1-dimensional family of genus 2 curves having exactly two isomorphic elliptic subfields of degree 2; this family is parameterized …
The Morrison-Kawamata cone conjecture predicts that the actions of the automorphism group on the effective nef cone and the pseudo-automorphism group on the effective movable cone of a klt Calabi-Yau pair $(X, Δ)$ have finite, rational polyhedral fundamental domains. Let $Z$ be an $n$-dimensional Fano manifold of index $n-1$ such that $-K_Z = (n-1) H$ for an ample divisor $H$. Let $Γ$ be the base locus of a general $(n-1)$-dimensional linear system $V \subset |H|$. In this paper, we verify the Morrison-Kawamata cone conjecture for the blow-up of $Z$ along $Γ$.
We survey some recent progress in the study of algebraic varieties X with log terminal singularities, especially, the uni-ruledness of the smooth locus X^0 of X, the fundamental group of X^0 and the automorphisms group on (smooth or singular) X when dim X = 2. The full automorphism groups of a few interesting types of K3 surfaces are described, mainly by Keum-Kondo. We conjecture that when X is Q-Fano then X^0 has a finite fundamental group, which had been proved if either dim X < 3 or the Fano index is bigger than dim X - 2. We also conjecture that when X is a log Enriques (e.g. a normal K3 o…
An affine variety $X$ of dimension $\ge 2$ is called {\em flexible} if its special automorphism group SAut$(X)$ acts transitively on the smooth locus $X_{reg}$ \cite{AKZ}. Recall that the special automorphism group SAut$(X)$ is the subgroup of the automorphism group Aut$(X)$ generated by all one-parameter unipotent subgroups \cite{AKZ}. Given a normal, flexible, affine variety $X$ and a closed subvariety $Y$ in $X$ of codimension at least 2, we show that the pointwise stabilizer subgroup of $Y$ in the group SAut$(X)$ acts infinitely transitively on the complement $X\backslash Y$, that is, $m$-…
We study the Picard groups of moduli spaces of smooth complex projective curves that have a group of automorphisms with a prescribed topological action. One of our main tools is the theory of symmetric mapping class groups. In the first part of the paper, we show that, under mild restrictions, the moduli spaces of smooth curves with an abelian group of automorphisms of a fixed topological type have finitely generated Picard groups. In certain special cases, we are able to compute them exactly. In the second part of the paper, we show that finite abelian level covers of the hyperelliptic locus …
We study genus $g$ coverings of full moduli dimension of degree $d=[\frac {g+3} 2]$. There is a homomorphism between the corresponding Hurwitz space $\H$ of such covers to the moduli space $\M_g$ of genus $g$ curves. In the case $g=3$, using the signature of such covering we provide an equation for the generic ternary quartic. Further, we discuss the degenerate subloci of the corresponding Hurwitz space of such covers from the computational group theory viewpoint. In the last section, we show that one of these degenerate loci corresponds to the locus of curves with automorphism group $C_3$. We…
In this note we determine, for an arbitrary but a fixed degree $d$, an algorithm to list the possible values $m$ for which $M_g^{Pl}(\mathbb{Z}/m)$ is non-empty where $\mathbb{Z}/m$ denotes the cyclic group of order $m$. In particular, we prove that $m$ should divide one of the integers: $d-1$, $d$, $d^2-3d+3$, $(d-1)^2$, $d(d-2)$ or $d(d-1)$. Secondly, consider a curve $δ\in M_g^{Pl}$ with $g=(d-1)(d-2)/2$ such that $Aut(δ)$ has an element of "very large" order, in the sense that this element is of order $d^2-3d+3$, $(d-1)^2$, $d(d-2)$ or $d(d-1)$. Then we investigate the groups $G$ for which…
Consider the moduli space $\mathcal{M}_{g}$ of Riemann surfaces of genus $g\geq 2$ and its Deligne-Munford compactification $\bar{\mathcal{M}_{g}}$. We are interested in the branch locus ${\mathcal{B}_{g}}$ for $g>2$, i.e., the subset of $\mathcal{M}_{g}$ consisting of surfaces with automorphisms. It is well-known that the set of hyperelliptic surfaces (the hyperelliptic locus) is connected in $\mathcal{M}_{g}$ but the set of (cyclic) trigonal surfaces is not. By contrast, we show that for $g\geq 5$ the set of (cyclic) trigonal surfaces is connected in $\bar{\mathcal{M}_{g}}$. To do so we exhi…
A smooth complex projective curve is called pseudoreal if it is isomorphic to its conjugate but is not definable over the reals. Such curves, together with real Riemann surfaces, form the real locus of the moduli space $\mathcal M_g$. This paper deals with the classification of pseudoreal curves according to the structure of their automorphism group. We follow two different approaches existing in the literature: one coming from number theory, dealing more generally with fields of moduli of projective curves, and the other from complex geometry, through the theory of NEC groups. Using the first…
This paper is the first version of a project of classifying all superelliptic curves of genus $g \leq 48$ according to their automorphism group. We determine the parametric equations in each family, the corresponding signature of the group, the dimension of the family, and the inclussion among such families. At a later stage it will be determined the decomposition of the Jacobians and each locus in the moduli spaces of curves.
Let $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with field of fractions $K$ containing the $p$-th roots of unity. This paper is concerned with semi-stable models of $p$-cyclic covers of the projective line $C \la \PK$. We start by providing a new construction of a semi-stable model of $C$ in the case of an equidistant branch locus. If the cover is given by the Kummer equation $Z^p=f(X_0)$ we define what we called the monodromy polynomial ${\mathcal L}(Y)$ of $f(X_0)$; a polynomial with coefficients in $K$. Its zeros are key to obtaining a semi-stable model of $C$.…
In this paper we construct infinitely many Shimura curves contained in the locus of Jacobians of genus four curves. All Jacobians in these families are ${\mathbb Z}/3$ covers of varying elliptic curves that appear in a geometric construction of Pirola, and include an example of a Shimura-Teichmuller curve that parameterizes Jacobians that are suitable ${\mathbb Z}/6$ covers of ${\mathbb P}^1$. We compute explicitly the period matrices of the Shimura curves we construct using the original construction of Shimura for moduli spaces of abelian varieties with automorphisms.
By the fundamental result of I.I. Piatetsky-Shapiro and I.R. Shafarevich (1971), the automorphism group Aut(X) of a K3 surface X over C and its action on the Picard lattice S_X are prescribed by the Picard lattice S_X. We use this result and our method (1980) to show finiteness of the set of Picard lattices S_X of rank $\ge 3$ such that the automorphism group Aut(X) of the K3 surface X has a non-trivial invariant sublattice S_0 in S_X where the group Aut(X) acts as a finite group. For hyperbolic and parabolic lattices S_0 it has been proved by the author before (1980, 1995). Thus we extend thi…
Let $K$ be a number field and $S$ a fixed finite set of places of $K$ containing all the archimedean ones. Let $R_S$ be the ring of $S$-integers of $K$. In the present paper we study the cycles for rational maps of $\mathbb{P}_1(K)$ of degree $\geq2$ with good reduction outside $S$. We say that two ordered $n$-tuples $(P_0,P_1,...,P_{n-1})$ and $(Q_0,Q_1,...,Q_{n-1})$ of points of $\mathbb{P}_1(K)$ are equivalent if there exists an automorphism $A\in{\rm PGL}_2(R_S)$ such that $P_i=A(Q_i)$ for every index $i\in\{0,1,...,n-1\}$. We prove that if we fix two points $P_0,P_1\in\mathbb{P}_1(K)$, th…
Let $\X$ be an irreducible, smooth, projective curve of genus $g \geq 2$ defined over the complex field $\C.$ Then there is a covering $π: \X \longrightarrow ¶^1,$ where $¶^1$ denotes the projective line. The problem of expressing branch points of the covering $π$ in terms of the transcendentals (period matrix, thetanulls, e.g.) is classical. It goes back to Riemann, Jacobi, Picard and Rosenhein. Many mathematicians, including Picard and Thomae, have offered partial treatments for this problem. In this work, we address the problem for cyclic curves of genus 2, 3, and 4 and find relations among…
