In this paper, an explicit hierarchy of differential equations for the $τ$-functions defining the moduli space of curves with automorphisms as a subscheme of the Sato Grassmannian is obtained. The Schottky problem for Riemann surfaces with automorphisms consists of characterizing those p.p.a.v. that are Jacobian varieties of a curve with a non-trivial automorphism. A characterization in terms of hierarchies of p.d.e. for theta functions is also given.
In this paper, we present a solution to the Schottky problem in the spirit of Schottky and Jung for genus five curves. To do so, we exploit natural incidence structures on the fibers of several maps to reduce all questions to statements about the Prym map for genus six curves. This allows us to find all components of the big Schottky locus and thus, to show that the small Schottky locus introduced by Donagi is irreducible.
We prove the following converse of Riemann's Theorem: let (A,Θ) be an indecomposable principally polarized abelian variety whose theta divisor can be written as a sum of a curve and a codimension two subvariety Θ=C+Y. Then C is smooth, A is the Jacobian of C, and Y is a translate of W_{g-2}(C). As applications, we determine all theta divisors that are dominated by a product of curves and characterize Jacobians by the existence of a d-dimensional subvariety with curve summand whose twisted ideal sheaf is a generic vanishing sheaf.
We use rigid analytic uniformization by Schottky groups to give a bound for the order of the abelian subgroups of the automorphism group of a Mumford curve in terms of its genus.
We present a new perspective on the Schottky problem that links numerical computing with tropical geometry. The task is to decide whether a symmetric matrix defines a Jacobian, and, if so, to compute the curve and its canonical embedding. We offer solutions and their implementations in genus four, both classically and tropically. The locus of cographic matroids arises from tropicalizing the Schottky-Igusa modular form.
For every integer $g \geq 1$ we define a universal Mumford curve of genus $g$ in the framework of Berkovich spaces over $\mathbb{Z}$. This is achieved in two steps: first, we build an analytic space $\mathcal{S}_g$ that parametrizes marked Schottky groups over all valued fields. We show that $\mathcal{S}_g$ is an open, connected analytic space over $\mathbb{Z}$. Then, we prove that the Schottky uniformization of a given curve behaves well with respect to the topology of $\mathcal{S}_g$, both locally and globally. As a result, we can define the universal Mumford curve $\mathcal{C}_g$ as a relat…
This text is an exposition of non-Archimedean curves and Schottky uniformization from the point of view of Berkovich geometry. It consists of two parts, the first one of an introductory nature, and the second one more advanced. The first part is meant to be an introduction to the theory of Berkovich spaces focused on the case of the affine line. We define the Berkovich affine line and present its main properties, with many details: classification of points, path-connectedness, metric structure, variation of rational functions, etc. Contrary to many other introductory texts, we do not assume th…
We show that a given rational Shimura curve Y with strictly maximal Higgs field in the moduli space of g-dimensional abelian varieties does not generically intersect the Schottky locus for large g. We achieve this by using a result of Viehweg and Zuo which says that if Y parameterizes a family of curves of genus g, then the corresponding family of Jacobians is isogenous over Y to the g-fold product of a modular family of elliptic curves. After reducing the situation from the field of complex numbers to a finite field, we will see, combining the Weil and Sato-Tate conjectures, that this is impo…
We show that a smooth projective curve of genus $g$ can be reconstructed from its polarized Jacobian $(X, Θ)$ as a certain locus in the Hilbert scheme $\mathrm{Hilb}^d(X)$, for $d=3$ and for $d=g+2$, defined by geometric conditions in terms of the polarization $Θ$. The result is an application of the Gunning--Welters trisecant criterion and the Castelnuovo--Schottky theorem by Pareschi--Popa and Grushevsky, and its scheme theoretic extension by the authors.
In this survey we discuss some of the classical and modern methods in studying the (Riemann-)Schottky problem, the problem of characterizing Jacobians of curves among principally polarized abelian varieties. We present many of the recent results in this subject, and describe some directions of current research. This paper is based on the talk given at the "Classical algebraic geometry today" workshop at MSRI in January 2009.
We prove and conjecture results which show that Castelnuovo theory in projective space has a close analogue for abelian varieties. This is related to the geometric Schottky problem: our main result is that a principally polarized abelian variety satisfies a precise version of the Castelnuovo Lemma if and only if it is a Jacobian. This result has a surprising connection to the Trisecant Conjecture. We also give a genus bound for curves in abelian varieties.
Mumford showed that Schottky subgroups of $PGL(2,K)$ give rise to certain curves, now called Mumford curves, over a non-Archimedean field K. Such curves are foundational to subjects dealing with non-Archimedean varieties, including Berkovich theory and tropical geometry. We develop and implement numerical algorithms for Mumford curves over the field of p-adic numbers. A crucial and difficult step is finding a good set of generators for a Schottky group, a problem solved in this paper. This result allows us to design and implement algorithms for tasks such as: approximating the period matrices …
The Castelnuovo-Schottky theorem of Pareschi-Popa characterizes Jacobians, among indecomposable principally polarized abelian varieties of dimension g, by the existence of g+2 points in general position with respect to the principal polarization, but special with respect to twice the polarization, and furthermore states that such collections of points must be contained in an Abel-Jacobi curve. Building on the ideas in the original paper, we give here a self contained, scheme theoretic proof of the theorem, extending it to finite, possibly nonreduced subschemes.
The author determines the structure of automorphism groups of smooth plane curves of degree at least four. Furthermore, he gives some upper bounds for the order of automorphism groups of smooth plane curves and classifies the cases with large automorphism groups. This paper also contains a simple proof of the uniqueness of smooth plane curves with the full automorphism group of maximal order for each degree.
We bound the number of fixed points of an automorphism of a real curve in terms of the genus and the number of connected components of the real part of the curve. Using this bound, we derive some consequences concerning the maximum order of an automorphism and the maximum order of an abelian group of automorphisms of a real curve. We also bound the full group of automorphisms of a real hyperelliptic curve.
We show that all the automorphisms of the symmetric product Sym^d(X), d>2g-2, of a smooth projective curve X of genus g>2 are induced by automorphisms of X.
The maximal number of automorphisms of a Mumford curve over a non-archimedean valued field of positive characteristic is known. In this note, the unique family of curves that attains this bound in genus not equal to 5,6,7 or 8 is explicitly determined, as is its automorphism group.
In this paper, we list all cyclic automorphisms subgroups $H$ for which there exists a smooth projective non-hyperelliptic sextic curve $C$ with $H\preceq Aut(C)$. Furthermore, we attach to each group a defining equation of a plane sextic curve having exactly this group as cyclic automorphisms subgroup. These equations cover up to isomorphism all plane non-singular sextic curves having some non-trivial automorphism.
Let X be a smooth projective hyperelliptic curve over an algeraically closed field k of prime characteristic p. The aim of this note is to find necessary and sufficient conditions on the automorphism group of the curve X to be lifted to characteristic zero. The results will be generalised for a certain family of curves that we call cyclic curves.
Let SU_C(2) denote the moduli variety of rank 2 semistable vector bundles with trivial determinant on an algebraic curve C. We prove that if C is trigonal then there exists a projective moduli variety N_C containing SU_C(2) as a subvariety and smooth of dimension 7g-14 away from SU_C(2). N_C parametrises Galois Spin(8)-bundles on the Galois closure of C over P^1. Moreover, if x in J_C[2] is a 2-torsion point let R(x) be the Recillas tetragonal curve whose Jacobian is isomorphic to Prym(C,x). Then there is an injection of SU_R(x)(2) into N_C giving a `nonabelian Schottky configuration' in N_C s…
In this paper, we determine the Weierstrass semigroup $H(P_{\infty})$ and the full automorphism group of a certain family of curves $\mathcal{X}_{n,r}$, which was recently introduced by Borges and Conceição.
In this paper we compute the automorphism group of the curves $\mathcal{X}_{a,b,n,s}$ and $\mathcal{Y}_{n,s}$ introduced in Tafazolian et al. in 2016 as new examples of maximal curves which cannot be covered by the Hermitian curve. They arise as subcovers of the first generalized GK curve (GGS curve). As a result, a new characterization of the GK curve, as a member of this family, is obtained.
Recently, the first author classified finite groups obtained as automorphism groups of smooth plane curves of degree $d \ge 4$ into five types. He gave an upper bound of the order of the automorphism group for each types. For one of them, the type (a-ii), that is given by $\max \left\{ 2 d (d - 2), 60 d \right\}$. In this article, we shall construct typical examples of smooth plane curve $C$ by applying the method of Galois points, whose automorphism group has order $60 d$. In fact, we determine the structure of the automorphism group of those curves.
We give an explicit weak solution to the Schottky problem, in the spirit of Riemann and Schottky. For any genus $g$, we write down a collection of polynomials in genus $g$ theta constants, such that their common zero locus contains the locus of Jacobians of genus $g$ curves as an irreducible component. These polynomials arise by applying a specific Schottky-Jung proportionality to an explicit collection of quartic identities for theta constants in genus $g-1$, which are suitable linear combinations of Riemann's quartic relations.
A Mumford curve of genus g=5,6,7 or 8 over a non-archimedean field of characteristic p (such that if p=0, the residue field characteristic exceeds 5) has at most 12(g-1) automorphisms. In this paper, all curves that attain this bound and their automorphism groups (called of Lame type) are explicitly determined.
Let $\mathcal{X}$ be an irreducible algebraic curve defined over a finite field $\mathbb{F}_q$ of characteristic $p>2$. Assume that the $\mathbb{F}_q$-automorphism group of $\mathcal{X}$ admits as an automorphism group the direct product of two cyclic groups $C_m$ and $C_n$ of orders $m$ and $n$ prime to $p$ such that both quotient curves $\mathcal{X}/C_n$ and $\mathcal{X}/C_m$ are rational. In this paper, we provide a complete classification of such curves, as well as a characterization of their full automorphism groups.
Let $A_g^S$ be the Satake compactification of the moduli space $A_g$ of principally polarized abelian $g$-folds and $M_g^S$ the closure of the image of the moduli space $M_g$ of genus $g$ curves in $A_g$ under the Jacobian morphism. Then $A_g^S$ lies in the boundary of $A_{g+m}^S$ for any $m$. We prove that $M_{g+m}^S$ and $A_g^S$ do not meet transversely in $A_{g+m}^S$, but rather that their intersection contains the $m$th order infinitesimal neighbourhood of $M_g^S$ in $A_g^S$. We deduce that there is no non-trivial stable Siegel modular form that vanishes on $M_g$ for every $g$. In particul…
We study integral representations of holomorphic differentials on the Oort-Sekiguci-Suwa component of deformations of curves with cyclic group actions.
The aim of the paper is twofold. First, some results of Shiota and Plaza-Martin on Prym varieties of curves with an involution are generalized to the general case of an arbitrary automorphism of prime order. Second, the equations defining the moduli space of curves with an automorphism of prime order as a subscheme of the Sato Grassmannian are given.
We provide a method to compute the dimension of the tangent space to the global infinitesimal deformation functor of a curve together with a subgroup of the group of automorphisms. The computational techniques we developed are applied to several examples including Fermat curves, $p$-cyclic covers of the affine line and to Lehr-Matignon curves.
We show that the degree of the images of the moduli space of (principally polarized) abelian varieties A_g and of the moduli space of curves M_g in the projective space under the theta constant embedding are equal to the top self-intersection numbers of one half the first Hodge class on them. This allows us to obtain an explicit formula for the degree of A_g, and an explicit upper bound for the degree of M_g. Knowing the degree of A_g allows us to effectively determine the subvariety itself, i.e. to effectively obtain all polynomial equations satisfied by theta constants. Furthermore, combinin…
In this paper, we explicitly determine the automorphism group of every nonhyperelliptic superspecial curve of genus $4$ over $\mathbb{F}_{11}$. Our algorithm determining automorphism groups works for any nonhyperelliptic curves of genus $4$ over finite fields. With this computation, we show the compatibility between the enumeration of superspecial curves of genus $4$ over $\mathbb{F}_{11}$ obtained computationally by the first and second authors in 2017 and an enumeration by Galois cohomology theory.
Let K be an algebraically closed field of characteristic 2, and let X be a curve over K of genus g>1 and 2-rank r>0. For 2-subgroups S of the K-automorphism group Aut(X) of X, the Nakajima bound is |S| < 4g-3. For every g=2^h+1>8, we construct a curve X attaining the Nakajima bound and determine its relevant properties: X is a bielliptic curve with r=g, and its K-automorphism group has a dihedral K-automorphism group of order 4(g-1) which fixes no point in X. Moreover, we provide a classification of 2-groups S of K-automorphisms not fixing a point of X and such that |S|> 2g-1.
We study complex projective plane curves with a given group of automorphisms. Let $G$ be a simple primitive subgroup of $PGL(3, \mathbb{C})$, which is isomorphic to $A_{6}$, $A_{5}$ or $PSL(2, \mathbb{F}_{7})$. We obtain a necessary and sufficient condition on $d$ for the existence of a nonsingular projective plane curve of degree $d$ invariant under $G$. We also study an analogous problem on integral curves.
This note is devoted, after the result of Harui, arXiv:1306.5842, to solve some natural questions for non-singular plane curves of degree $d$ over an algebraically closed field $K$ of zero characteristic.
For each group $G$, $(|G| > 2)$ \, which acts as a full automorphism group on a genus 3 hyperelliptic curve, we determine the family of curves which have 2-Weierstrass points. Such families of curves are explicitly determined in terms of the absolute invariants of binary octavics. The 1-dimensional families that we discover have the property that they contain only genus 0 components.
Let X be an irreducible smooth complex projective curve of genus g at least 4. Let M(r,Λ) be the moduli space of stable vector bundles over X or rank r and fixed determinant Λ, of degree d. We give a new proof of the fact that the automorphism group of M(r,Λ) is generated by automorphisms of the curve X, tensorization with suitable line bundles, and, if r divides 2d, also dualization of vector bundles.
In this survey of works on a characterization of Jacobians and Prym varieties among indecomposable principally polarized abelian varieties via the soliton theory we focus on a certain circle of ideas and methods which show that the characterization of Jacobians as ppav whose Kummer variety admits a trisecant line and the Pryms as ppav whose Kummer variety admits a pair of symmetric quadrisecants can be seen as an abelian version of pole systems arising in the theory of elliptic solutions to the basic soliton hierarchies. We present also recent results in this direction on the characterization …
Let $X$ be a smooth complex projective curve, and let $x\in X$ be a point. We compute the automorphism group of the moduli space of framed vector bundles on $X$ of rank $r \geq 2$ with a framing over $x$. It is shown that this automorphism group is generated by the following three: (1) pullbacks using automorphisms of the curve $X$ that fix the marked point $x$, (2) tensorization with certain line bundles over $X$ and (3) the action of $\operatorname{PGL}_r(\mathbb{C})$ through composition with the framing.
Let $\mathcal{X}$ be an algebraic curve of genus $g$ defined over an algebraically closed field $K$ of characteristic $p \geq 0$, and $q$ a prime dividing $|\mbox{Aut}(\mathcal{X})|$. We say that $\mathcal{X}$ is a $q$-curve. Homma proved that either $q \leq g+1$ or $q = 2g+1$, and classified $(2g+1)$-curves. In this note, we classify $(g+1)$-curves, and fully characterize the automorphism groups of $q$-curves for $q= 2g+1, g+1$. We also give some partial results on $q$-curves for $q = g, g-1$.
We study the group of automorphisms of the affine plane preserving some given curve, over any field. The group is proven to be algebraic, except in the case where the curve is a bunch of parallel lines. Moreover, a classification of the groups of positive dimension occuring is also given in the case where the curve is geometrically irreducible and the field is perfect.
In his investigation on large $K$-automorphism groups of an algebraic curve, Stichtenoth obtained an upper bound on the order of the first ramification group of an algebraic curve $\cX$ defined over an algebraically closed field of characteristic $p$. Stichtenoth's bound has raised the problem of classifying all $\K$-automorphism groups $G$ of $\cX$ with the following property: There is a point $P\in \cX$ for which \begin{equation} |G_P^{(1)}|>\frac{p}{p-1}g. \end{equation} Such a classification is obtained here by proving Theorem 1.3
We reduce the study of the Krull dimension d of the deformation ring of the functor of deformations of curves with automorphisms to the study of the tangent space of the deformation functor of a class of matrix representations of the p-part of the decomposition groups at wild ramified points, and we give a method in order to compute d.
We obtain the list of automorphism groups for smooth plane sextic curves over an algebraically closed field K of characteristic p=0 or p>21. Moreover, we assign to each group a geometrically complete family over K describing its corresponding stratum, that is, a generic defining polynomial equation with parameters such that any curve in the stratum is K-isomorphic to a non-singular plane model obtained by specializing the values of those parameters over K.
Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism σthat fixes pointwise all the order two points of Pic}^0(X), then we prove that X is hyperelliptic with σbeing the unique hyperelliptic involution. As a corollary, if a nontrivial automorphisms σ' of X fixes pointwise all the theta characteristics on X, then X is hyperelliptic with σ' being its hyperelliptic involution.
We give an alternative approach to the computation of the dimension of the tangent space of the deformation space of curves with automorphisms. A homological version of the local-global principle similar to the one of J.Bertin, A. Mézard is proved, and a computation in the case of ordinary curves is obtained, by application of the results of S. Nakajima for the Galois module structure of the space of 2-holomorphic differentials on them.
An irreducible, algebraic curve $\mathcal X_g$ of genus $g\geq 2$ defined over an algebraically closed field $k$ of characteristic $\mbox{char } \, k = p \geq 0$, has finite automorphism group $\mbox{Aut} (\mathcal X_g)$. In this paper we describe methods of determining the list of groups $\mbox{Aut} (\mathcal X_g)$ for a fixed $g\geq 2$. Moreover, equations of the corresponding families of curves are given when possible.
Let $\mathcal{X}$ be a (projective, non-singular, irreducible) curve of even genus $g(\mathcal{X}) \geq 2$ defined over an algebraically closed field $K$ of characteristic $p$. If the $p$-rank $γ(\mathcal{X})$ equals $g(\mathcal{X})$, then $\mathcal{X}$ is ordinary. In this paper, we deal with large automorphism groups $G$ of ordinary curves. Under the hypotheses that $p = 2$, $g(\mathcal{X})$ is even and $G$ is solvable, we prove that $|G| < 35(g(\mathcal{X}) +1)^{3/2}$.
We construct for any smooth projective curve of genus $q\ge 2$ with a fixed point free automorphism a nonisotrivial family of curves. Moreover we study the space of modular curves and that of parameters.
Let $J$ be the Jacobian of a smooth projective complex curve $C$ which admits non-trivial automorphisms, and let $A(J)$ be the ring of algebraic cycles on $J$ with rational coefficients modulo algebraic equivalence. We present new tautological rings in $A(J)$ which extend in a natural way the tautological ring studied by Beauville (Compos Math 140(3):683-688, 2004). We then show there exist tautological rings induced on special complementary abelian subvarieties of $J$.
Our concern is a nonsingular plane curve defined over a finite field of q elements which includes all the rational points of the projective plane over the field. The possible degree of such a curve is at least q+2. We prove that nonsingular plane curves of degree q+2 having the property actually exist. More precisely, we write down explicitly all of those curves. Actually, Giuseppe Tallini studied such curves in his old paper in 1961. We explain the connection between his work and ours. Moreover we give another proof of his result on the automorphism group of such a curve, from the viewpoint o…
