Abelian surfaces over finite fields containing no curves of genus $3$ or less
CNRS（法国国家科学研究中心；波尔多大学）；IMB, Université de Bordeaux（阿松森国立大学工程学院）；Facultad de Ingeniería, Universidad Nacional de Asunción（乌得勒支大学数学研究所）；Mathematisch Instituut, Universiteit Utrecht（法属波利尼西亚大学GAATI实验室）；Laboratoire GAATI, Université de la Polynésie française（蔚蓝海岸大学让·亚历山大·迪厄多内实验室）；Laboratoire Jean Alexandre Dieudonnè, Universitè Côte d’Azur
Elena Berardini, Alejandro Giangreco Maidana, Stefano Marseglia
备注：
Accepted for publication in Journal of Pure and Applied Algebra
We study abelian surfaces defined over finite fields which do not contain any possibly singular curve of genus less than or equal to $3$. Firstly, we complete and expand the characterisation of isogeny classes of abelian surfaces with no curves of genus up to $2$ initiated by the first author \emph{et al.~}in previous work. Secondly, we show that, for simple abelian surfaces, containing a curve of genus $3$ is equivalent to admitting a polarisation of degree $4$. Thanks to this result, we can use existing algorithms to check which isomorphism classes in the isogeny classes containing no genus $2$ curves have a polarisation of degree $4$. Thirdly, we characterise isogeny classes of abelian surfaces with no curves of genus $\leq 2$, containing no abelian surface with a polarisation of degree $4$. Finally, we describe the absolutely irreducible genus $3$ curves lying on abelian surfaces containing no curves of genus less than or equal to $2$.
We show how to calculate the Euler characteristic of a local system associated to an irreducible representation of the symplectic group of genus 3 on the moduli space of curves of genus 3 and the moduli space of principally polarized abelian varieties of dimension 3.
Among abelian extensions of a congruence function field, an asymptotic relation of class number and genus is established. The proof is classical, employing well-known results from congruence function field theory.
We study the question of whether algebraic curves of a given genus g defined over a field K must have points rational over the maximal abelian extension K^{ab} of K. We give: (i) an explicit family of diagonal plane cubic curves with Q^{ab}-points, (ii) for every number field K, a genus one curve C_{/Q} with no K^{ab}-points, and (iii) for every g \geq 4 an algebraic curve C_{/Q} of genus g with no Q^{ab}-points. In an appendix, we discuss varieties over Q((t)), obtaining in particular a curve of genus 3 without (Q((t)))^{ab}-points.
We study smooth curves on abelian surfaces, especially for genus 4, when the complementary subvariety in the Jacobian is also a surface. We show that up to translation there is exactly one genus 4 hyperelliptic curve on a general (1, 3)-polarised abelian surface. We investigate these curves and show that their Jacobians contain a surface and its dual as complementary abelian subvarieties.
In this paper we prove a general theorem concerning the number of translation classes of curves of genus $g$ belonging to a fixed cohomology class in a polarized abelian variety of dimension $g$. For $g = 2$ we recover results of Göttsche and Bryan-Leung. For $g = 3$ we deduce explicit numbers for these classes.
Let N_q(g) denote the maximal number of F_q-rational points on any curve of genus g over the finite field F_q. Ihara (for square q) and Serre (for general q) proved that limsup_{g-->infinity} N_q(g)/g > 0 for any fixed q. In their proofs they constructed curves with many points in infinitely many genera; however, their sequences of genera are somewhat sparse. In this paper, we prove that lim_{g-->infinity} N_q(g) = infinity. More precisely, we use abelian covers of P^1 to prove that liminf_{g-->infinity} N_q(g)/(g/log g) > 0, and we use curves on toric surfaces to prove that liminf_{g-->infty}…
In this paper we construct an abelian fibration over ${\bf P}^3$ on the Hilbert cube of the primitive K3 surface of genus 9. After the abelian fibration constructed by Mukai on the Hilbert square on the primitive K3 surface S of genus 5, this is the second example where the abelian fibration on such Hilb_n(S) is directly constructed. Our example is also the first known abelian fibration on a Hilbert scheme Hilb_n(S) of a primitive K3 surface S which is not the Hilbert square of S; the primitive K3 surfaces on the Hilbert square of which such a fibration exists are known by a recent result of H…
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…
We show all the possible structures of finite subgroups of the automorphism groups of elliptic curves. Here the automorphism means the biholomorphic transformation. Using the result, we determine every Galois group G at outer Galois point for genus-one curve with singular points. In particular, if G is abelian, then its order is at most nine. However if not so, the order is unbounded. Furthermore, we give every defining equation of the curve with the Galois point in the case where G is abelian.
We develop the theory of Abelian functions associated with cyclic trigonal curves by considering two new cases. We investigate curves of genus six and seven and consider whether it is the trigonal nature or the genus which dictates certain areas of the theory. We present solutions to the Jacobi inversion problem, sets of relations between the Abelian function, links to the Boussinesq equation and a new addition formula.
For prime powers q, let s(q) denote the probability that a randomly-chosen principally-polarized abelian surface over the finite field F_q is not simple. We show that there are positive constants B and C such that for all q, B (log q)^{-3}(log log q)^{-4} < s(q)sqrt(q) < C (log q)^4(log log q)^2, and we obtain better estimates under the assumption of the generalized Riemann hypothesis. If A is a principally-polarized abelian surface over a number field K, let pi_split(A/K, z) denote the number of prime ideals p of K of norm at most z such that A has good reduction at p and A_p is not simple. W…
We study the set of isomorphism classes of principal polarizations on abelian varieties of GL2-type. As applications of our results, we construct examples of curves C, C'/\Q of genus two which are nonisomorphic over \bar \Q and share isomorphic unpolarized modular Jacobian varieties over \Q ; we also show a method to obtain genus two curves over \Q whose Jacobian varieties are isomorphic to Weil's restriction of quadratic \Q-curves, and present examples.
We discuss the theory of generalized Weierstrass $σ$ and $\wp$ functions defined on a trigonal curve of genus four, following earlier work on the genus three case. The specific example of the "purely trigonal" (or "cyclic trigonal") curve $y^3=x^5+λ_4 x^4 +λ_3 x^3+λ_2 x^2 +λ_1 x+λ_0$ is discussed in detail, including a list of some of the associated partial differential equations satisfied by the $\wp$ functions, and the derivation of an addition formulae.
This paper deals with singularities of genus 2 curves on a general (d_1,d_2)-polarized abelian surface (S,L). In analogy with Chen's results concerning rational curves on K3 surfaces [Ch1,Ch2], it is natural to ask whether all such curves are nodal. We prove that this holds true if and only if d_2 is not divisible by 4. In the cases where d_2 is a multiple of 4, we exhibit genus 2 curves in |L| that have a triple, 4-tuple or 6-tuple point. We show that these are the only possible types of unnodal singularities of a genus 2 curve in |L|. Furthermore, with no assumption on d_1 and d_2, we prove …
We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the assumption that the abelian surface does not contain low genus curves. This approach naturally leads us to consider Weil restrictions of elliptic curves and abelian surfaces which do not admit a principal polarization.
The affine ring A of the affine Jacobian variety of a hyperelliptic curve of genus 3 is studied as a D-module. The conjecture on the minimal D-free resolution previously proposed is proved in this case. As a by-product a linear basis of A is explicitly constructed in terms of derivatives of Klein's hyperelliptic pe functions.
We develop the theory of Abelian functions associated with algebraic curves. The growth in computer power and an advancement of efficient symbolic computation techniques has allowed for recent progress in this area. In this paper we focus on the genus three cases, comparing the two canonical classes of hyperelliptic and trigonal curves. We present new addition formulae, derive bases for the spaces of Abelian functions and discuss the differential equations such functions satisfy.
Mazur proved that any element xi of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in the sense that xi lies in the kernel of the natural homomorphism between the cohomology groups H^1(k,E) -> H^1(k,A). However, the abelian surface in Mazur's construction is almost never a jacobian of a genus 2 curve. In this paper we show that any element of order three in the Shafarevich-Tate group of an elliptic curve over a number field can be visualized in the jacobians of a genus 2 curve. Moreover, we describe how to get …
We show that for many strata of Abelian differentials in low genus the sum of Lyapunov exponents for the Teichmueller geodesic flow is the same for all Teichmueller curves in that stratum, hence equal to the sum of Lyapunov exponents for the whole stratum. This behavior is due to the disjointness property of Teichmueller curves with various geometrically defined divisors on moduli spaces of curves.
We develop the theory of generalized Weierstrass sigma- and \wp-functions defined on a trigonal curve of genus three. In particular we give a list of the associated partial differential equations satisfied by the \wp-functions, a proof that the coefficients of the power series expansion of the sigma-function are polynomials of moduli parameters, and the derivation of two addition formulae.
Let k be a field of characteristic different from 2. There can be an obstruction for an indecomposable principally polarized abelian threefold (A,a) over k to be a Jacobian over k. It can be computed in terms of the rationality of the square root of the value of a certain Siegel modular form. We show how to do this explicitly for principally polarized abelian threefolds which are the third power of an elliptic curve with complex multiplication. We use our numeric results to prove or refute the existence of some optimal curves of genus 3.
We show that any polarized abelian variety over a finite field is covered by a Jacobian whose dimension is bounded by an explicit constant. We do this by first proving an effective version of Poonen's Bertini theorem over finite fields, which allows us to show the existence of smooth curves arising as hypersurface sections of bounded degree and genus. Additionally, we show that for simple abelian varieties a better bound is possible. As an application of these results we show that if $E$ is an elliptic curve over a finite field then for any $n\in \mathbb{N}$ there exist smooth curves of bounde…
We discuss variations of Hodge structures on abelian varieties that arise from intersecting translates of theta divisors with a special focus on the case of abelian varieties of dimension 4
The arithmetic geometric mean algorithm for calculation of elliptic integrals of the first type was introduced by Gauss. The analog algorithm for Abelian integrals of genus 2 was introduced by Richelot (1837) and Humbert (1901). We present the analogous algorithm for Abelian integrals of genus 3.
We present a table containing the maximal number of rational points on a genus 3 curve over a field of cardinality q, for all q<100. Also, some remarks on Frobenius non-classical quartics over finite fields are given.
We determine the isogeny classes of abelian surfaces over F_q whose group of F_q-rational points has order divisible by q^2. We also solve the same problem for Jacobians of genus-2 curves.
We construct an infinite number of Shimura curves contained in the locus of hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in genus 3 the only possible non-complete (in the moduli space of abelian threefolds) Kuga curves contained in the hyperelliptic locus have the same degeneration data as that of the examples we construct. The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli space of principally polarized abelian threefolds, and our result demonstrates the techniques we develop more generally for dealing with Shimura curves contained withi…
In this paper we study the sections of the canonical line bundle on the moduli space of parabolic semistable vector bundles with trivial determinant and fixed parabolic structure of type $\underlineλ=(λ_1,..., λ_s)$ (with each weight $λ_i$ in $P_{\ell}(\SL(r))$) on a smooth projective irreducible curve over $\C$ of genus $g \geq 1$. We give a nontrivial lower bound for the dimension of the sections (that are called generalized parabolic SL(r)-theta functions) when $\sum_{1}^{s} λ_i$ is in the root lattice.
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 study the space of non-simple polarised abelian surfaces. Specifically, we describe for which pairs $(m,n)$ the locus of polarised abelian surfaces of type $(1,d)$ that contain two complementary elliptic curve of exponents $m,n$, denoted $\mathcal{E}_d(m,n)$ is non-empty. We show that if $d$ is square-free, the locus $\mathcal{E}_d(m,n)$ is an irreducible surface (if non-empty). We also show that the loci $\mathcal{E}_d(d,d)$ can have many components if $d$ is an odd square. As an application, we show that for a genus $3$ curve with a completely decomposable Jacobian (i.e. isogenous to a pr…
We describe the analogue of the Sato-Tate conjecture for an abelian variety over a number field; this predicts that the zeta functions of the reductions over various finite fields, when properly normalized, have a limiting distribution predicted by a certain group-theoretic construction related to Hodge theory, Galois images, and endomorphisms. After making precise the definition of the "Sato-Tate group" appearing in this conjecture, we describe the classification of Sato-Tate groups of abelian surfaces due to Fite-Kedlaya-Rotger-Sutherland. (These are notes from a three-lecture series present…
We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the curves can be obtained explicitly.
We determine what isogeny classes of supersingular abelian surfaces over a finite field k of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves of genus 2. Our procedure is constructive, so that we are able to exhibit curves with prescribed zeta function and to count the number of curves, up to k-isomorphism, leading to the same zeta function.
We develop the theory of Abelian functions defined using a tetragonal curve of genus six, discussing in detail the cyclic curve $y^4 = x^5 + λ_4x^4 + λ_3x^3 + λ_2x^2 + λ_1x + λ_0$. We construct Abelian functions using the multivariate $σ$-function associated to the curve, generalising the theory of the Weierstrass $\wp$-function. We demonstrate that such functions can give a solution to the KP-equation, outlining how a general class of solutions could be generated using a wider class of curves. We also present the associated partial differential equations satisfied by the functions, the soluti…
We discuss a family of multi-term addition formulae for Weierstrass functions on specialized curves of genus one and two with many automorphisms. In the genus one case we find new addition formulae for the equianharmonic and lemniscate cases, and in genus two we find some new addition formulae for a number of curves, including the Burnside curve.
In the first part of our paper, we show that there exist non-isomorphic derived equivalent genus $1$ curves, and correspondingly there exist non-isomorphic moduli spaces of stable vector bundles on genus $1$ curves in general. Neither occurs over an algebraically closed field. We give necessary and sufficient conditions for two genus $1$ curves to be derived equivalent, and we go on to study when two principal homogeneous spaces for an abelian variety have equivalent derived categories. We apply our results to study twisted derived equivalences of the form $D^b(J,α)\simeq D^b(J,β)$, when $J$ i…
Castryck, Decru, and Smith used superspecial genus-2 curves and their Richelot isogeny graph for basing genus-2 isogeny cryptography, and recently, Costello and Smith devised an improved isogeny path-finding algorithm in the genus-2 setting. In order to establish a firm ground for the cryptographic construction and analysis, we give a new characterization of {\em decomposed Richelot isogenies} in terms of {\em involutive reduced automorphisms} of genus-2 curves over a finite field, and explicitly count such decomposed (and non-decomposed) Richelot isogenies between {\em superspecial} principal…
We give a complete answer to the question of which polynomials occur as the characteristic polynomials of Frobenius for genus-2 curves over finite fields.
For every finite collection C of abelian varieties over F_q, we produce an explicit upper bound on the genus of curves over F_q whose Jacobians are isogenous to a product of powers of elements of C.
We prove that if q is a power of an odd prime then there is no genus-2 curve over F_q whose Jacobian has characteristic polynomial of Frobenius equal to x^4 + (2-2q)x^2 + q^2. Our proof uses the Brauer relations in a biquadratic extension of Q to show that every principally polarized abelian surface over F_q with the given characteristic polynomial splits over F_{q^2} as a product of polarized elliptic curves.
We give a criterion to distinguish between a genus three Jacobian and its [-1] twist in terms of the product of the 36 even theta nulls. We also express the product of the 36 theta nulls in terms of the discriminant of a genus three curve. The results are arithmetic in nature and thus add to previous work over C on the product of the even theta nulls. They generalize previous work of Ritzenthaler and Lachaud for Abelian threefolds which are (2,2,2) isogenous to a product of elliptic curves. This answers a 2003 of letter of Jean-Pierre Serre to Jaap Top.
We prove the Abelian/non-Abelian Correspondence with bundles for target spaces that are partial flag bundles, combining and generalising results by Ciocan-Fontanine-Kim-Sabbah, Brown, and Oh. From this we deduce how genus-zero Gromov-Witten invariants change when a smooth projective variety X is blown up in a complete intersection defined by convex line bundles. In the case where the blow-up is Fano, our result gives closed-form expressions for certain genus-zero invariants of the blow-up in terms of invariants of X. We also give a reformulation of the Abelian/non-Abelian Correspondence in ter…
We construct a three-parameter family of non-hyperelliptic and bielliptic plane genus-three curves whose associated Prym variety is two-isogenous to the Jacobian variety of a general hyperelliptic genus-two curve. Our construction is based on the existence of special elliptic fibrations with the section on the associated Kummer surfaces that provide a simple geometric interpretation for the rational double cover induced by the two-isogeny between the abelian surfaces.
In this paper we prove a conjecture of Hershel Farkas that if a 4-dimensional principally polarized abelian variety has a vanishing theta-null, and the hessian of the theta function at the corresponding point of order two is degenerate, the abelian variety is a Jacobian. We also discuss possible generalizations to higher genera, and an interpretation of this condition as an infinitesimal version of Andreotti and Mayer's local characterization of Jacobians by the dimension of the singular locus of the theta divisor.
We describe the intersection of the Torelli locus $j(\mathcal{M}_4^{ct}) = \mathcal{J}_4$ with Newton and Ekedahl-Oort strata related to the supersingular locus in characteristic two. We show that the locus of supersingular Jacobians $\mathcal{S}_4\cap\mathcal{J}_4$ in characteristic two is pure of dimension three. One way to obtain that result uses an analysis of the data of smooth genus four curves and principally polarized abelian fourfolds defined over $\mathbb{F}_2$, and another involves studying the Ekedahl-Oort types and using the indecomposability of some $\mathrm{BT}_1$ group schemes.
We consider a family of abelian surfaces over $\mathbb{Q}$ arising as Prym varieties of double covers of genus-$1$ curves by genus-$3$ curves. These abelian surfaces carry a polarization of type $(1,2)$ and we show that the average size of the Selmer group of this polarization equals $3$. Moreover we show that the average size of the $2$-Selmer group of the abelian surfaces in the same family is bounded above by $5$. This implies an upper bound on the average rank of these Prym varieties, and gives evidence for the heuristics of Poonen and Rains for a family of abelian varieties which are not …
We describe a method to determine all the isomorphism classes of principal polarizations of the modular abelian surfaces $A_f$ with quaternionic multiplication attached to a normalized newform $f$ without complex multiplication. We include an example of $A_f$ with quaternionic multiplication for which we find numerically a curve $C$ whose Jacobian is $A_f$ up to numerical approximation, and we prove that it has quaternionic multiplication and is isogenous to $A_f$.
In this paper we consider the large genus asymptotics for Masur-Veech volumes of arbitrary strata of Abelian differentials. Through a combinatorial analysis of an algorithm proposed in 2002 by Eskin-Okounkov to exactly evaluate these quantities, we show that the volume $ν_1 \big( \mathcal{H}_1 (m) \big)$ of a stratum indexed by a partition $m = (m_1, m_2, \ldots , m_n)$ is $\big( 4 + o(1) \big) \prod_{i = 1}^n (m_i + 1)^{-1}$ as $2g - 2 = \sum_{i = 1}^n m_i$ tends to $\infty$. This confirms a prediction of Eskin-Zorich and generalizes some of the recent results of Chen-Moeller-Zagier and Sauva…
An abelian surface A over a field K has potential quaternionic multiplication if the ring End_\bar K (A) of geometric endomorphisms of A is an order in an indefinite rational division quaternion algebra. In this brief note, we study the possible structures of the ring of endomorphisms of these surfaces and we provide explicit examples of Jacobians of curves of genus two which show that our result is sharp.
