Let $\mathcal{X}$ be a (projective, non-singular, geometrically irreducible) curve of even genus $g(\mathcal{X}) \geq 2$ defined over an algebraically closed field $K$ of odd characteristic $p$. If the $p$-rank $γ(\mathcal{X})$ equals $g(\mathcal{X})$, then $\mathcal{X}$ is \emph{ordinary}. In this paper, we deal with \emph{large} automorphism groups $G$ of ordinary curves of even genus. We prove that $|G| < 821.37g(\mathcal{X})^{7/4}$. The proof of our result is based on the classification of automorphism groups of curves of even genus in positive characteristic, see \cite{giulietti-korchmaros-2017}. According to this classification, for the exceptional cases ${\rm Aut}(\mathcal{X}) \cong {\rm Alt}_7$ and ${\rm Aut}(\mathcal{X}) \cong \rm{M}_{11}$ we show that the classical Hurwitz bound $|{\rm Aut}(\mathcal{X})| < 84(g(\mathcal{X})-1)$ holds, unless $p=3$, $g(\mathcal{X})=26$ and ${\rm Aut}(\mathcal{X}) \cong \rm{M}_{11}$; an example for the latter case being given by the modular curve $X(11)$ in characteristic $3$.
In this article we classify compact Riemann surfaces of genus $1+q^2$ with a group of automorphisms of order $3q^2,$ where $q$ is a prime number. We also study decompositions of the corresponding Jacobian varieties.
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.
In this article we study compact Riemann surfaces with a non-large group of automorphisms of maximal order; namely, compact Riemann surfaces of genus $g$ with a group of automorphisms of order $4g-4.$ Under the assumption that $g-1$ is prime, we provide a complete classification of them and determine isogeny decompositions of the corresponding Jacobian varieties.
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.
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.
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.
We determine, for all genus $g\geq2$ the Riemann surfaces of genus $g$ with $4g$ automorphisms. For $g\neq$ $3,6,12,15$ or $30$, this surfaces form a real Riemann surface $\mathcal{F}_{g}$ in the moduli space $\mathcal{M}_{g}$: the Riemann sphere with three punctures. The set of real Riemann surfaces in $\mathcal{F}_{g}$ consists of three intervals its closure in the Deligne-Mumford compactification of $\mathcal{M}_{g}$ is a closed Jordan curve.
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.
Bujalance, Costa and Izquierdo have recently proved that all those Riemann surfaces of genus $g \ge 2$ different from $3, 6, 12, 15$ and 30, with exactly $4g$ automorphisms form an equisymmetric one-dimensional family, denoted by $\mathcal{F}_g.$ In this paper, for every prime number $q \ge 5,$ we explore further properties of each Riemann surface $S$ in $\mathcal{F}_q$ as well as of its Jacobian variety $JS.$
The automorphism groups of the Fano-Mukai fourfold of genus 10 were studied in our previous paper [arXiv:1706.04926]. In particular, we found in [arXiv:1706.04926] the neutral components of these groups. In the present paper we finish the description of the discrete parts. Up to isomorphism, there are two special Fano--Mukai fourfold of genus 10 with the automorphism groups $GL_2(k)\rtimes\mathbb{Z}/2\mathbb{Z}$ and $(\mathbb{G}_a\times\mathbb{G}m)\rtimes\mathbb{Z}/2\mathbb{Z}$, respectively. For any other Fano-Mukai fourfold $V$ of genus 10 one has $\mathrm{Aut}(V)=\mathbb{G}_m^2\rtimes \math…
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.
For a complex surface of general type with a relatively minimal genus 2 fibration, the bounds of the orders of the automorphism group of the fibration, of its abelian subgroups and of its cyclic subgroups are determined as linear functions of $c^2_1$. Most of them are the best.
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 describe an algorithm to compute the zeta function of any non-hyperelliptic genus 3 plane curve $C$ over a finite field with automorphism group $G = \mathbb{Z} / 2 \mathbb{Z}$. This algorithm computes in the Monsky-Washnitzer cohomology of~the curve. Using the relation between the Monsky-Washnitzer cohomology of $C$ and its quotient $E := C/G$, the computation splits into 2 parts: one in a subspace of the Monsky-Washnitzer cohomology and a second which reduces to the point counting on an elliptic curve $E$. The former corresponds to the dimension $2$ abelian surface $\mathrm{ker}(\mathrm{Ja…
A Locally Recoverable Code is a code such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. When we have $δ$ non overlapping subsets of cardinality $r_i$ that can be used to recover the missing coordinate we say that a linear code $\mathcal{C}$ with length $n$, dimension $k$, minimum distance $d$ has $(r_1,\ldots, r_δ)$-locality and denote it by $[n, k, d; r_1, r_2,\dots, r_δ].$ In this paper we provide a new upper bound for the minimum distance of these codes. Working with a finite number of subgroups of cardinality …
We study the configurations of genus 2 curves on the Fano surfaces of cubic threefolds. We establish a link between some involutive automorphisms acting on such a surface S and genus 2 curves on S. We give a partial classification of the Fano surfaces according to the automorphism group generated by these involutions and determine the configurations of their genus 2 curves. We study the Fano surface of the Klein cubic threefold for which the 55 genus 2 curves generate a rank 25=h^{1,1} index 2 subgroup of the Néron-Severi group.
In this article we determine the maximal possible order of the automorphism group of the form $ag + b$, where $a$ and $b$ are integers, of a complex three and four-dimensional family of compact Riemann surfaces of genus $g$, appearing for all genus. In addition, we construct and describe explicit complex three and four-dimensional families possessing these maximal number of automorphisms.
In this note we discuss techniques for determining the automorphism group of a genus $g$ hyperelliptic curve $\X_g$ defined over an algebraically closed field $k$ of characteristic zero. The first technique uses the classical $GL_2 (k)$-invariants of binary forms. This is a practical method for curves of small genus, but has limitations as the genus increases, due to the fact that such invariants are not known for large genus. The second approach, which uses dihedral invariants of hyperelliptic curves, is a very convenient method and works well in all genera. First we define the normal decompo…
In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism. As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. Over the field k=Q, we show that the elliptic quotients of the curves with automorphisms D_8 and D_{12} are precisely the Q-curves of degrees 2 and 3, respectively, and we determine which curves have jacob…
Mukai varieties are Fano varieties of Picard number one and coindex three. In genus seven to ten they are linear sections of some special homogeneous varieties. We describe the generic automorphism groups of these varieties. When they are expected to be trivial for dimensional reasons, we show they are indeed trivial, up to three interesting and unexpected exceptions in genera 7, 8, 9, and codimension 4, 3, 2 respectively. We conclude in particular that a generic prime Fano threefold of genus g has no automorphisms for 7 $\le$ g $\le$ 10. In the Appendix by Y. Prokhorov, the latter statement i…
In arithmetic and algebraic geometry, superspecial (s.sp.\ for short) curves are one of the most important objects to be studied, with applications to cryptography and coding theory. If $g \geq 4$, it is not even known whether there exists such a curve of genus $g$ in general characteristic $p > 0$, and in the case of $g=4$, several computational approaches to search for those curves have been proposed. In the genus-$4$ hyperelliptic case, Kudo-Harashita proposed a generic algorithm to enumerate all s.sp.\ curves, and recently Ohashi-Kudo-Harashita presented an algorithm specific to the case w…
Let $\C$ be a genus 2 curve defined over $k$, $char (k) =0$. If $\C$ has a $(3,3)$-split Jacobian then we show that the automorphism group $Aut(\C)$ is isomorphic to one of the following: $\bZ_2, V_4, D_8$, or $D_{12}$. There are exactly six $\bC$-isomorphism classes of genus two curves $\C$ with $Aut(\C)$ isomorphic to $D_8$ (resp., $D_{12}$). %We compute their absolute invariants $i_1, i_2, i_3$. We show that exactly four (resp., three) of these classes with group $D_8$ (resp., $D_{12}$) have representatives defined over $\bQ$. We discuss some of these curves in detail and find their rationa…
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.
Let $X$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $K$ of odd characteristic $p$. Let $Aut(X)$ be the group of all automorphisms of $X$ which fix $K$ element-wise. It is known that if $|Aut(X)|\geq 8g^3$ then the $p$-rank (equivalently, the Hasse-Witt invariant) of $X$ is zero. This raises the problem of determining the (minimum-value) function $f(g)$ such that whenever $|Aut(X)|\geq f(g)$ then $X$ has zero $p$-rank. For {\em{even}} $g$ we prove that $f(g)\leq 900 g^2$. The {\em{odd}} genus case appear…
In this paper we classify all Riemann surfaces having a large abelian group of automorphisms, that is having an abelian group of automorphism of order strictly bigger then $4(g-1)$, where $g$ denotes as usual the genus of the Riemann surface.
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 …
We classify compact Riemann surfaces of genus $g$, where $g-1$ is a prime $p$, which have a group of automorphisms of order $ρ(g-1)$ for some integer $ρ\ge 1$, and determine isogeny decompositions of the corresponding Jacobian varieties. This extends results of Belolipetzky and the second author for $ρ>6$, and of the first and third authors for $ρ=3, 4, 5$ and $6$. As a corollary we classify the orientably regular hypermaps (including maps) of genus $p+1$, together with the non-orientable regular hypermaps of characteristic $-p$, with automorphism group of order divisible by the prime $p$; thi…
Let $\mathcal{X}$ be an ordinary (projective, geometrically irreducible, nonsingular) algebraic curve of genus $\mathcal{g}(\mathcal{X}) \ge 2$ defined over an algebraically closed field $\mathbb{K}$ of odd characteristic $p$. Let $Aut(\mathcal{X})$ be the group of all automorphisms of $\mathcal{X}$ which fix $\mathbb{K}$ element-wise. For any solvable subgroup $G$ of $Aut(\mathcal{X})$ we prove that $|G|\leq 34 (\mathcal{g}(\mathcal{X})+1)^{3/2}$. There are known curves attaining this bound up to the constant $34$. For $p$ odd, our result improves the classical Nakajima bound $|G|\leq 84(\mat…
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.
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 note, we give a so-called representative classification for the strata by automorphism group of smooth $\bar{k}$-plane curves of genus $6$, where $\bar{k}$ is a fixed separable closure of a field $k$ of characteristic $p = 0$ or $p > 13$. We start with a classification already obtained by the first author and we use standard techniques. Interestingly, in the way to get these families for the different strata, we find two remarkable phenomenons that did not appear before. One is the existence of a non $0$-dimensional final stratum of plane curves. At a first sight it may sound odd, but …
For a relatively minimal surface fibration $f: X\to C$, the equivariant automorphism group of $f$ is, roughly speaking, the group of automorphisms of $X$ preserving the fibration structure. We present a classification of such fibrations of fibre genus $g\ge 1$ with smooth generic fibre over an arbitrary algebraically closed field $\mathbf{k}$ whose equivariant automorphism group is infinite.
We show that the strata $ \mathcal{M}_{11,6}(k) \subset \mathcal{M}_{11} $ of $ 6-$gonal curves of genus $ 11 $, equipped with $k$ mutually independent and type I pencils of degree six, have a unirational irreducible component for $5\leq k\leq 9$. The unirational families arise from degree $ 9 $ plane curves with $ 4 $ ordinary triple and $ 5 $ ordinary double points that dominate an irreducible component of expected dimension. We will further show that the family of degree $ 8 $ plane curves with $ 10 $ ordinary double points covers an irreducible component of excess dimension in $ \mathcal{M…
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…
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 build a database of genus 2 curves defined over $\mathbb Q$ which contains all curves with minimal absolute height $h \leq 5$, all curves with moduli height $\mathfrak h \leq 20$, and all curves with extra automorphisms in standard form $y^2=f(x^2)$ defined over $\mathbb Q$ with height $h \leq 101$. For each isomorphism class in the database, an equation over its minimal field of definition is provided, the automorphism group of the curve, Clebsch and Igusa invariants. The distribution of rational points in the moduli space $\mathcal M_2$ for which the field of moduli is a field of definiti…
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…
For $X$ a curve over a field of positive characteristic, we investigate when the canonical representation of $\text{Aut}(X)$ on $H^0(X, Ω_X)$ is irreducible. Any curve with an irreducible canonical representation must either be superspecial or ordinary. Having a small automorphism group is an obstruction to having irreducible canonical representation; with this motivation, the bulk of the paper is spent bounding the size of automorphism groups of superspecial and ordinary curves. After proving that all automorphisms of an $\mathbb{F}_{q^2}$-maximal curve are defined over $\mathbb{F}_{q^2}$, we…
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…
We study the groups of automorphisms of rational algebraic surfaces that admit a relatively minimal pencil of curves of arithmetic genus one over an algebraically closed field of arbitrary characteristic. In particular, we classify such surfaces that admit non-trivial automorphisms that act trivially on the Picard group. As an application, we classify classical Enriques surfaces in characteristic $2$ that admit non-trivial numerically trivial automorphisms.
Let $S$ be a $p$-subgroup of the $\K$-automorphism group $\aut(\cX)$ of an algebraic curve $\cX$ of genus $\gg\ge 2$ and $p$-rank $γ$ defined over an algebraically closed field $\mathbb{K}$ of characteristic $p\geq 3$.In this paper we prove that if $|S|>2(\gg-1)$ then one of the following cases occurs. \begin{itemize} \item[(i)] $γ=0$ and the extension $\K(\cX)/\K(\cX)^S$ completely ramifies at a unique place, and does not ramify elsewhere. \item[(ii)] $γ>0$, $p=3$, $\cX$ is a general curve, $S$ attains the Nakajima's upper bound $3(γ-1)$ and $\K(\cX)$ is an unramified Galois extension of the …
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…
