Showing 1–40 of 40 results for author: Achter, J

Regular homomorphisms, with a twist

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: Let $X/K$ be a variety over a field, and $A/K$ an abelian variety. A regular homomorphism to $A$ (in codimension $i$) induces, for every smooth geometrically connected pointed $K$-scheme $(T,t_0)$ and every cycle class $Z \in CH^i(T\times X)$, a morphism $T \to A$ of varieties over $K$. In this note we show that, if $T$ admits no $K$-point, the data $(T,Z)$ determines a torsor $A^{(T,Z)}$ over… ▽ More Let $X/K$ be a variety over a field, and $A/K$ an abelian variety. A regular homomorphism to $A$ (in codimension $i$) induces, for every smooth geometrically connected pointed $K$-scheme $(T,t_0)$ and every cycle class $Z \in CH^i(T\times X)$, a morphism $T \to A$ of varieties over $K$. In this note we show that, if $T$ admits no $K$-point, the data $(T,Z)$ determines a torsor $A^{(T,Z)}$ over $K$ under $A$ and a $K$-morphism $T \to A^{(T,Z)}$. This can be used to provide an obstruction to the existence of algebraic cycles defined over $K$. We then connect this obstruction to some recent results of Hassett--Tschinkel and Benoist--Wittenberg on rationality of threefolds. △ Less

Submitted 20 June, 2025; originally announced June 2025.

Putting the p back in Prym

Authors: Jeff Achter, Sebastian Casalaina-Martin

Abstract: After Jacobians of curves, Prym varieties are perhaps the next most studied abelian varieties. They turn out to be quite useful in a number of contexts. For technical reasons, there does not appear to be any systematic treatment of Prym varieties in characteristic 2, and due to our recent interest in this topic, the purpose of this paper is to fill in that gap. Our main result is a classification… ▽ More After Jacobians of curves, Prym varieties are perhaps the next most studied abelian varieties. They turn out to be quite useful in a number of contexts. For technical reasons, there does not appear to be any systematic treatment of Prym varieties in characteristic 2, and due to our recent interest in this topic, the purpose of this paper is to fill in that gap. Our main result is a classification of branched covers of curves in characteristic 2 that give rise to Prym varieties. We are also interested in the case of Prym varieties in the relative setting, and so we develop that theory here as well, including an extension of Welters' Criterion. △ Less

Submitted 19 December, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: Major rewrite triggered by issues with V1 of arXiv:2312.13262. Statements for covers of curves are unchanged; some general statements (on norms and complements) now proved under additional hypothesis

Images of abelian schemes

Authors: Jeff Achter, Sebastian Casalaina-Martin, Jonathan Wise

Abstract: We provide some conditions for the image of a morphism of abelian schemes to again be an abelian scheme. For context, in characteristic 0, the image is always an abelian scheme; in mixed and positive characteristic the image can fail to be an abelian scheme, and so it is in this setting that the conditions we provide are pertinent. We provide some conditions for the image of a morphism of abelian schemes to again be an abelian scheme. For context, in characteristic 0, the image is always an abelian scheme; in mixed and positive characteristic the image can fail to be an abelian scheme, and so it is in this setting that the conditions we provide are pertinent. △ Less

Submitted 19 December, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: Complete rewrite with additional coauthor. Patrick Brosnan alerted us to a serious flaw in the first version. New version gives conditions on the base when the image of an abelian scheme is, or is not, necessarily an abelian scheme

On the essential torsion finiteness of abelian varieties over torsion fields

Authors: Jeff Achter, Lian Duan, Xiyuan Wang

Abstract: The classical Mordell-Weil theorem implies that an abelian variety $A$ over a number field $K$ has only finitely many $K$-rational torsion points. This finitude of torsion still holds even over the cyclotomic extension $K^{\rm cyc}=K\mathbb{Q}^{\mathrm{ab}}$ by a result of Ribet. In this article, we consider the finiteness of torsion points of an abelian variety $A$ over the infinite algebraic ext… ▽ More The classical Mordell-Weil theorem implies that an abelian variety $A$ over a number field $K$ has only finitely many $K$-rational torsion points. This finitude of torsion still holds even over the cyclotomic extension $K^{\rm cyc}=K\mathbb{Q}^{\mathrm{ab}}$ by a result of Ribet. In this article, we consider the finiteness of torsion points of an abelian variety $A$ over the infinite algebraic extension $K_B$ obtained by adjoining the coordinates of all torsion points of an abelian variety $B$. Assuming the Mumford-Tate conjecture, and up to a finite extension of the base field $K$, we give a necessary and sufficient condition for the finiteness of $A(K_B)_{\rm tors}$ in terms of Mumford--Tate groups. We give a complete answer when both abelian varieties have dimension both three, or when both have complex multiplication. △ Less

Submitted 3 August, 2023; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: 37 pages. Fix the gaps in the previous version, especially the proof of case 1 in Theorem 5.14

MSC Class: 11G10; 11G35; 11G15

A complete answer to Albanese base change for incomplete varieties

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: Albanese varieties provide a standard tool in algebraic geometry for converting questions about varieties in general, to questions about Abelian varieties. A result of Serre provides the existence of an Albanese variety for any geometrically connected and geometrically reduced scheme of finite type over a field, and a result of Grothendieck--Conrad establishes that Albanese varieties are stable un… ▽ More Albanese varieties provide a standard tool in algebraic geometry for converting questions about varieties in general, to questions about Abelian varieties. A result of Serre provides the existence of an Albanese variety for any geometrically connected and geometrically reduced scheme of finite type over a field, and a result of Grothendieck--Conrad establishes that Albanese varieties are stable under base change of field provided the scheme is, in addition, proper. A result of Raynaud shows that base change can fail for Albanese varieties without this properness hypothesis. In this paper we show that Albanese varieties of geometrically connected and geometrically reduced schemes of finite type over a field are stable under separable field extensions. We also show that the failure of base change in general is explained by the L/K-image for purely inseparable extensions L/K. △ Less

Submitted 25 June, 2024; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: 27 pages, to appear in Annales de l'Institut Fourier

MSC Class: 14K30 (primary) 11G10; 14G17 (secondary)

The Walker Abel-Jacobi map descends

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: For a complex projective manifold, Walker has defined a regular homomorphism lifting Griffiths' Abel-Jacobi map on algebraically trivial cycle classes to a complex abelian variety, which admits a finite homomorphism to the Griffiths intermediate Jacobian. Recently Suzuki gave an alternate, Hodge-theoretic, construction of this Walker Abel-Jacobi map. We provide a third construction based on a gene… ▽ More For a complex projective manifold, Walker has defined a regular homomorphism lifting Griffiths' Abel-Jacobi map on algebraically trivial cycle classes to a complex abelian variety, which admits a finite homomorphism to the Griffiths intermediate Jacobian. Recently Suzuki gave an alternate, Hodge-theoretic, construction of this Walker Abel-Jacobi map. We provide a third construction based on a general lifting property for surjective regular homomorphisms, and prove that the Walker Abel-Jacobi map descends canonically to any field of definition of the complex projective manifold. In addition, we determine the image of the l-adic Bloch map restricted to algebraically trivial cycle classes in terms of the coniveau filtration. △ Less

Submitted 3 September, 2021; v1 submitted 19 January, 2021; originally announced January 2021.

Comments: 17 pages

Journal ref: Mathematische Zeitschrift (2021)

Decomposition of the diagonal, intermediate Jacobians, and universal codimension-2 cycles in positive characteristic

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: We consider the connections among algebraic cycles, abelian varieties, and stable rationality of smooth projective varieties in positive characteristic. Recently Voisin constructed two new obstructions to stable rationality for rationally connected complex projective threefolds by giving necessary and sufficient conditions for the existence of a cohomological decomposition of the diagonal. In this… ▽ More We consider the connections among algebraic cycles, abelian varieties, and stable rationality of smooth projective varieties in positive characteristic. Recently Voisin constructed two new obstructions to stable rationality for rationally connected complex projective threefolds by giving necessary and sufficient conditions for the existence of a cohomological decomposition of the diagonal. In this paper, we show how to extend these obstructions to rationally chain connected threefolds in positive characteristic via ell-adic cohomological decomposition of the diagonal. This requires extending results in Hodge theory regarding intermediate Jacobians and Abel--Jacobi maps to the setting of algebraic representatives. For instance, we show that the algebraic representative for codimension-two cycle classes on a geometrically stably rational threefold admits a canonical auto-duality, which in characteristic zero agrees with the principal polarization on the intermediate Jacobian coming from Hodge theory. As an application, we extend a result of Voisin, and show that in characteristic greater than two, a desingularization of a very general quartic double solid with seven nodes fails one of these two new obstructions, while satisfying all of the classical obstructions. More precisely, it does not admit a universal codimension-two cycle class. In the process, we establish some results on the moduli space of nodal degree-four polarized K3 surfaces in positive characteristic. △ Less

Submitted 20 March, 2025; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: Final version

Journal ref: Astérisque 455 (2025)

On the image of the second l-adic Bloch map

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: For a smooth projective geometrically uniruled threefold defined over a perfect field we show that there exists a canonical abelian variety over the field, namely the second algebraic representative, whose rational Tate modules model canonically the third l-adic cohomology groups of the variety for all primes l. In addition, there exists a rational correspondence inducing these identifications. In… ▽ More For a smooth projective geometrically uniruled threefold defined over a perfect field we show that there exists a canonical abelian variety over the field, namely the second algebraic representative, whose rational Tate modules model canonically the third l-adic cohomology groups of the variety for all primes l. In addition, there exists a rational correspondence inducing these identifications. In the case of a geometrically rationally chain connected variety, one obtains canonical identifications between the integral Tate modules of the second algebraic representative and the third l-adic cohomology groups of the variety, and if the variety is a geometrically stably rational threefold, these identifications are induced by an integral correspondence. Our overall strategy consists in studying -- for arbitrary smooth projective varieties -- the image of the second ell-adic Bloch map restricted to the Tate module of algebraically trivial cycle classes in terms of the "correspondence (co)niveau filtration". This complements results with rational coefficients due to Suwa. In the appendix, we review the construction of the Bloch map and its basic properties. △ Less

Submitted 18 February, 2021; v1 submitted 14 July, 2020; originally announced July 2020.

Comments: To appear in the proceedings of the conference "Rationality of algebraic varieties" (Schiermonnikoog, April 15-19, 2019)

A functorial approach to regular homomorphisms

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: Classically, regular homomorphisms have been defined as a replacement for Abel--Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families of algebraically trivial cycles to abelian varieties and thereby define regular homomorphisms in the relative setting, e.g., families of schemes parameterized b… ▽ More Classically, regular homomorphisms have been defined as a replacement for Abel--Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families of algebraically trivial cycles to abelian varieties and thereby define regular homomorphisms in the relative setting, e.g., families of schemes parameterized by a smooth variety over a given field. In that general setting, we establish the existence of an initial regular homomorphism, going by the name of algebraic representative, for codimension-2 cycles on a smooth proper scheme over the base. This extends a result of Murre for codimension-2 cycles on a smooth projective scheme over an algebraically closed field. In addition, we prove base change results for algebraic representatives as well as descent properties for algebraic representatives along separable field extensions. In the case where the base is a smooth variety over a subfield of the complex numbers we identify the algebraic representative for relative codimension-2 cycles with a subtorus of the intermediate Jacobian fibration which was constructed in previous work. △ Less

Submitted 12 October, 2022; v1 submitted 22 November, 2019; originally announced November 2019.

Comments: The appendix on base change for Albanese has been expanded and posted separately (arXiv:2210.05017). To appear in Algebraic Geometry

MSC Class: 14K30 (Primary); 14C25; 14D99; 14G27 (Secondary)

Counting abelian varieties over finite fields via Frobenius densities

Authors: Jeff Achter, Salim Ali Altug, Luis Garcia, Julia Gordon, Wen-Wei Li, Thomas Rüd

Abstract: Let $[X,λ]$ be a principally polarized abelian variety over a finite field with commutative endomorphism ring; further suppose that either $X$ is ordinary or the field is prime. Motivated by an equidistribution heuristic, we introduce a factor $ν_v([X,λ])$ for each place $v$ of $\mathbb Q$, and show that the product of these factors essentially computes the size of the isogeny class of $[X,λ]$.… ▽ More Let $[X,λ]$ be a principally polarized abelian variety over a finite field with commutative endomorphism ring; further suppose that either $X$ is ordinary or the field is prime. Motivated by an equidistribution heuristic, we introduce a factor $ν_v([X,λ])$ for each place $v$ of $\mathbb Q$, and show that the product of these factors essentially computes the size of the isogeny class of $[X,λ]$. The derivation of this mass formula depends on a formula of Kottwitz and on analysis of measures on the group of symplectic similitudes, and in particular does not rely on a calculation of class numbers. △ Less

Submitted 2 May, 2022; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: Added author; significantly simplified global calculation in section 5; made other, smaller improvements

Journal ref: Alg. Number Th. 17 (2023) 1239-1280

Arithmetic occult period maps

Authors: Jeff Achter

Abstract: Several natural complex configuration spaces admit surprising uniformizations as arithmetic ball quotients, by identifying each parametrized object with the periods of some auxiliary object. In each case, the theory of canonical models of Shimura varieties gives the ball quotient the structure of a variety over the ring of integers of a cyclotomic field. We show that the (transcendentally-defined)… ▽ More Several natural complex configuration spaces admit surprising uniformizations as arithmetic ball quotients, by identifying each parametrized object with the periods of some auxiliary object. In each case, the theory of canonical models of Shimura varieties gives the ball quotient the structure of a variety over the ring of integers of a cyclotomic field. We show that the (transcendentally-defined) period map actually respects these algebraic structures, and thus that occult period maps are arithmetic. As an intermediate tool, we develop an arithmetic theory of lattice-polarized K3 surfaces. △ Less

Submitted 29 November, 2019; v1 submitted 8 April, 2019; originally announced April 2019.

Comments: 22 pages; comments welcome

Journal ref: Algebraic Geometry 7 (2020), no. 5, 581--606

Normal functions for algebraically trivial cycles are algebraic for arithmetic reasons

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, the zero loci of those functions are algebraic and defined over such a field of definition. This proves a conjecture of Charles. For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, the zero loci of those functions are algebraic and defined over such a field of definition. This proves a conjecture of Charles. △ Less

Submitted 16 October, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: New title. 15 pages

MSC Class: 14C25; 14C30; 14D07; 14D10; 14G99

Journal ref: Forum of Mathematics, Sigma 7 (2019), e36, 22 pages

Hasse-Witt and Cartier-Manin matrices: A warning and a request

Authors: Jeffrey D. Achter, Everett W. Howe

Abstract: Let X be a curve in positive characteristic. A Hasse--Witt matrix for X is a matrix that represents the action of the Frobenius operator on the cohomology group H^1(X,O_X) with respect to some basis. A Cartier--Manin matrix for X is a matrix that represents the action of the Cartier operator on the space of holomorphic differentials of X with respect to some basis. The operators that these matrice… ▽ More Let X be a curve in positive characteristic. A Hasse--Witt matrix for X is a matrix that represents the action of the Frobenius operator on the cohomology group H^1(X,O_X) with respect to some basis. A Cartier--Manin matrix for X is a matrix that represents the action of the Cartier operator on the space of holomorphic differentials of X with respect to some basis. The operators that these matrices represent are adjoint to one another, so Hasse--Witt matrices and the Cartier--Manin matrices are related to one another, but there seems to be a fair amount of confusion in the literature about the exact nature of this relationship. This confusion arises from differences in terminology, from differing conventions about whether matrices act on the left or on the right, and from misunderstandings about the proper formulae for iterating semilinear operators. Unfortunately, this confusion has led to the publication of incorrect results. In this paper we present the issues involved as clearly as we can, and we look through the literature to see where there may be problems. We encourage future authors to clearly distinguish between Hasse--Witt and Cartier--Manin matrices, in the hope that further errors can be avoided. △ Less

Submitted 7 February, 2020; v1 submitted 29 October, 2017; originally announced October 2017.

Comments: Corrected version; an error in Section 2.5 has been fixed

MSC Class: 11G20 (Primary) 14G17 (Secondary)

Journal ref: Arithmetic Geometry: Computation and Applications (Y. Aubry, E. W. Howe, and C. Ritzenthaler, eds.), Contemporary Mathematics 722, American Mathematical Society, Providence, RI, 2019, pp. 1--18

Derived equivalent threefolds, algebraic representatives, and the coniveau filtration

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: A conjecture of Orlov predicts that derived equivalent smooth projective varieties over a field have isomorphic Chow motives. The conjecture is known for curves, and was recently observed for surfaces by Huybrechts. In this paper we focus on threefolds over perfect fields, and unconditionally secure results, which are implied by Orlov's conjecture, concerning the geometric coniveau filtration, and… ▽ More A conjecture of Orlov predicts that derived equivalent smooth projective varieties over a field have isomorphic Chow motives. The conjecture is known for curves, and was recently observed for surfaces by Huybrechts. In this paper we focus on threefolds over perfect fields, and unconditionally secure results, which are implied by Orlov's conjecture, concerning the geometric coniveau filtration, and abelian varieties attached to smooth projective varieties. △ Less

Submitted 4 April, 2018; v1 submitted 6 April, 2017; originally announced April 2017.

Comments: 8 pages; final version

Journal ref: Math. Proc. Cambridge Philos. Soc. 167 (2019), no. 1, 123-131

Distinguished models of intermediate Jacobians

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: We show that the image of the Abel-Jacobi map admits functorially a model over the field of definition, with the property that the Abel-Jacobi map is equivariant with respect to this model. The cohomology of this abelian variety over the base field is isomorphic as a Galois representation to the deepest part of the coniveau filtration of the cohomology of the projective variety. Moreover, we show… ▽ More We show that the image of the Abel-Jacobi map admits functorially a model over the field of definition, with the property that the Abel-Jacobi map is equivariant with respect to this model. The cohomology of this abelian variety over the base field is isomorphic as a Galois representation to the deepest part of the coniveau filtration of the cohomology of the projective variety. Moreover, we show that this model over the base field is dominated by the Albanese variety of a product of components of the Hilbert scheme of the projective variety, and thus we answer a question of Mazur. We also recover a result of Deligne on complete intersections of Hodge level one. △ Less

Submitted 4 April, 2018; v1 submitted 22 November, 2016; originally announced November 2016.

Comments: 23 pages; final version

Journal ref: J. Inst. Math. Jussieu 19 (2020), no. 3, 891--918

Parameter spaces for algebraic equivalence

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: A cycle is algebraically trivial if it can be exhibited as the difference of two fibers in a family of cycles parameterized by a smooth scheme. Over an algebraically closed field, it is a result of Weil that it suffices to consider families of cycles parameterized by curves, or by abelian varieties. In this paper, we extend these results to arbitrary base fields. The strengthening of these results… ▽ More A cycle is algebraically trivial if it can be exhibited as the difference of two fibers in a family of cycles parameterized by a smooth scheme. Over an algebraically closed field, it is a result of Weil that it suffices to consider families of cycles parameterized by curves, or by abelian varieties. In this paper, we extend these results to arbitrary base fields. The strengthening of these results turns out to be a key step in our work elsewhere extending Murre's results on algebraic representatives for varieties over algebraically closed fields to arbitrary perfect fields. △ Less

Submitted 16 October, 2019; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: Updated the numbering of sections to match the published version. 20 pages

MSC Class: 14C25; 14C05; 14C15; 14G27; 14K99

Journal ref: IMRN 2019, no. 6, 1863-1893

Derived equivalence, Albanese varieties, and the zeta functions of 3-dimensional varieties

Authors: Katrina Honigs, Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: We show that any derived equivalent smooth, projective varieties of dimension 3 over a finite field $\mathbb{F}_q$ have equal zeta functions. This result is an application of the extension to smooth, projective varieties over any field of Popa and Schnell's proof that derived equivalent smooth, projective varieties over $\mathbb{C}$ have isogenous Albanese torsors; this result is proven in an appe… ▽ More We show that any derived equivalent smooth, projective varieties of dimension 3 over a finite field $\mathbb{F}_q$ have equal zeta functions. This result is an application of the extension to smooth, projective varieties over any field of Popa and Schnell's proof that derived equivalent smooth, projective varieties over $\mathbb{C}$ have isogenous Albanese torsors; this result is proven in an appendix by Achter, Casalaina-Martin, Honigs and Vial. △ Less

Submitted 6 February, 2017; v1 submitted 31 March, 2016; originally announced April 2016.

Comments: This paper proves a stronger statement than the previous version; it is a corrected proof of the claims made in the original version

Elliptic curves, random matrices and orbital integrals

Authors: Jeff Achter, Julia Gordon, Salim Ali Altug

Abstract: An isogeny class of elliptic curves over a finite field is determined by a quadratic Weil polynomial. Gekeler has given a product formula, in terms of congruence considerations involving that polynomial, for the size of such an isogeny class. In this paper, we give a new, transparent proof of this formula; it turns out that this product actually computes an adelic orbital integral which visibly co… ▽ More An isogeny class of elliptic curves over a finite field is determined by a quadratic Weil polynomial. Gekeler has given a product formula, in terms of congruence considerations involving that polynomial, for the size of such an isogeny class. In this paper, we give a new, transparent proof of this formula; it turns out that this product actually computes an adelic orbital integral which visibly counts the desired cardinality. This answers a question posed by N. Katz. △ Less

Submitted 18 November, 2015; v1 submitted 23 October, 2015; originally announced October 2015.

Comments: Appendix by Salim Ali Altug. V3: Clarified Section 3.3

MSC Class: 11G20 14G15 22E35

Journal ref: Pacific J. Math. 286 (2017) 1-24

Split abelian surfaces over finite fields and reductions of genus-2 curves

Authors: Jeff Achter, Everett W. Howe

Abstract: 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… ▽ More 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. We conjecture that for sufficiently general A, the counting function pi_split(A/K, z) grows like sqrt(z)/log z. We indicate why our theorem on the rate of growth of s(q) gives us reason to hope that our conjecture is true. △ Less

Submitted 5 October, 2016; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 27 pages, 3 figures. V2 incorporates new data courtesy of Andrew Sutherland

MSC Class: 14K15; 11G10; 11G20; 11G30

Journal ref: Alg. Number Th. 11 (2017) 39-76

A heuristic for the distribution of point counts for random curves over a finite field

Authors: Jeffrey D. Achter, Daniel Erman, Kiran S. Kedlaya, Melanie Matchett Wood, David Zureick-Brown

Abstract: How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ te… ▽ More How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ tend to infinity, with $q$ much larger than $g$. △ Less

Submitted 21 November, 2014; v1 submitted 27 October, 2014; originally announced October 2014.

Comments: 16 pages; v2: refereed version, Philosophical Transactions of the Royal Society A 2015

Report number: AIM 2014-83

On descending cohomology geometrically

Authors: Jeff Achter, Sebastian Casalaina-Martin, Charles Vial

Abstract: In this paper, motivated by a problem posed by Barry Mazur, we show that for smooth projective varieties over the rationals, the odd cohomology groups of degree less than or equal to the dimension can be modeled by the cohomology of an abelian variety, provided the geometric coniveau is maximal. This provides an affirmative answer to Mazur's question for all uni-ruled threefolds, for instance. Con… ▽ More In this paper, motivated by a problem posed by Barry Mazur, we show that for smooth projective varieties over the rationals, the odd cohomology groups of degree less than or equal to the dimension can be modeled by the cohomology of an abelian variety, provided the geometric coniveau is maximal. This provides an affirmative answer to Mazur's question for all uni-ruled threefolds, for instance. Concerning cohomology in degree three, we show that the image of the Abel--Jacobi map admits a distinguished model over the rationals. △ Less

Submitted 26 October, 2016; v1 submitted 20 October, 2014; originally announced October 2014.

Comments: 30 pages, AMS LaTeX, shortened exposition, some results strengthened. To appear in Composito Math. Material from appendix is now in arxiv:1610.06586; results on quadrics will appear elsewhere

MSC Class: 14K30; 14C25; 14C30; 11G10; 11G35

Journal ref: Compositio Math. 153 (2017) 1446-1478

The distribution of torsion subschemes of abelian varieties

Authors: Jeff Achter

Abstract: We consider the distribution of p-power group schemes among the torsion of abelian varieties over finite fields of characteristic p, as follows. Fix natural numbers g and n, and let $ξ$ be a non-supersingular principally quasipolarized Barsotti-Tate group of level n. We classify the F_q-rational forms $ξ^α$ of $ξ$. Among all principally polarized abelian varieties X/F_q of dimension g with p^n-tor… ▽ More We consider the distribution of p-power group schemes among the torsion of abelian varieties over finite fields of characteristic p, as follows. Fix natural numbers g and n, and let $ξ$ be a non-supersingular principally quasipolarized Barsotti-Tate group of level n. We classify the F_q-rational forms $ξ^α$ of $ξ$. Among all principally polarized abelian varieties X/F_q of dimension g with p^n-torsion geometrically isomorphic to ξ, we compute the frequency with which X[p^n] is isomorphic to $ξ^α$. The error in our estimate is bounded by $D/\sqrt{q}$ where D depends on g, n and p, but not on $ξ$. △ Less

Submitted 2 December, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Journal ref: J Inst Math Jussieu 15 (2016), no. 4 693--710

Local heuristics and an exact formula for abelian surfaces over finite fields

Authors: Jeff Achter, Cassie Williams

Abstract: Consider a quartic $q$-Weil polynomial $f$. Motivated by equidistribution considerations we define, for each prime $\ell$, a local factor which measures the relative frequency with which $f\bmod \ell$ occurs as the characteristic polynomial of a symplectic similitude over $\mathbb{F}_\ell$. For a certain class of polynomials, we show that the resulting infinite product calculates the number of pri… ▽ More Consider a quartic $q$-Weil polynomial $f$. Motivated by equidistribution considerations we define, for each prime $\ell$, a local factor which measures the relative frequency with which $f\bmod \ell$ occurs as the characteristic polynomial of a symplectic similitude over $\mathbb{F}_\ell$. For a certain class of polynomials, we show that the resulting infinite product calculates the number of principally polarized abelian surfaces over $\mathbb{F}_q$ with Weil polynomial $f$. △ Less

Submitted 22 May, 2015; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: 15 pages, section 6.4 added, minor revisions. Final version; to appear in Canadian Mathematical Bulletin

MSC Class: 11G25; 14K02

Journal ref: Canad. Math. Bull. 58 (2015), no. 4, 673--691

Superspecial rank of supersingular abelian varieties and Jacobians

Authors: Jeff Achter, Rachel Pries

Abstract: An abelian variety defined over an algebraically closed field k of positive characteristic is supersingular if it is isogenous to a product of supersingular elliptic curves and is superspecial if it is isomorphic to a product of supersingular elliptic curves. In this paper, the superspecial condition is generalized by defining the superspecial rank of an abelian variety, which is an invariant of i… ▽ More An abelian variety defined over an algebraically closed field k of positive characteristic is supersingular if it is isogenous to a product of supersingular elliptic curves and is superspecial if it is isomorphic to a product of supersingular elliptic curves. In this paper, the superspecial condition is generalized by defining the superspecial rank of an abelian variety, which is an invariant of its p-torsion. The main results in this paper are about the superspecial rank of supersingular abelian varieties and Jacobians of curves. For example, it turns out that the superspecial rank determines information about the decomposition of a supersingular abelian variety up to isomorphism; namely it is a bound for the maximal number of supersingular elliptic curves appearing in such a decomposition. △ Less

Submitted 18 October, 2015; v1 submitted 28 February, 2014; originally announced March 2014.

Comments: V2: New coauthor, major rewrite

MSC Class: 11G10; 11G20; 14F40; 14H40; 14L15

A note on L-packets and abelian varieties over local fields

Authors: Jeff Achter, Clifton Cunningham

Abstract: A polarized abelian variety (X,λ) of dimension g over a local field K determines an admissible representation of GSpin_{2g+1}(K). We show that the restriction of this representation to Spin_{2g+1}(K) is reducible if and only if X is isogenous to its twist by the quadratic unramified extension of K. When g=1 and K = Q_p, we recover the well-known fact that the admissible GL_2(K) representation atta… ▽ More A polarized abelian variety (X,λ) of dimension g over a local field K determines an admissible representation of GSpin_{2g+1}(K). We show that the restriction of this representation to Spin_{2g+1}(K) is reducible if and only if X is isogenous to its twist by the quadratic unramified extension of K. When g=1 and K = Q_p, we recover the well-known fact that the admissible GL_2(K) representation attached to an elliptic curve E is reducible upon restriction to SL_2(K) if and only if E has supersingular reduction. △ Less

Submitted 29 August, 2014; v1 submitted 17 February, 2014; originally announced February 2014.

Journal ref: Pacific J. Math. 273 (2015) 395-412

Irreducibility of Newton strata in GU(1,n-1) Shimura varieties

Authors: Jeff Achter

Abstract: Let L be a quadratic imaginary field, inert at the rational prime p. Fix an integer n at least 3, and let M be the moduli space (in characteristic p) of principally polarized abelian varieties of dimension n equipped with an action by O_L of signature of (1,n-1). We show that each Newton stratum of M, other than the supersingular stratum, is irreducible. Let L be a quadratic imaginary field, inert at the rational prime p. Fix an integer n at least 3, and let M be the moduli space (in characteristic p) of principally polarized abelian varieties of dimension n equipped with an action by O_L of signature of (1,n-1). We show that each Newton stratum of M, other than the supersingular stratum, is irreducible. △ Less

Submitted 7 February, 2014; originally announced February 2014.

Journal ref: Proc AMS Ser B 1 (2014), 79-88

Generic Newton polygons for curves of given p-rank

Authors: Jeff Achter, Rachel Pries

Abstract: We survey results and open questions about the $p$-ranks and Newton polygons of Jacobians of curves in positive characteristic $p$. We prove some geometric results about the $p$-rank stratification of the moduli space of (hyperelliptic) curves. For example, if $0 \leq f \leq g-1$, we prove that every component of the $p$-rank $f+1$ stratum of ${\mathcal M}_g$ contains a component of the $p$-rank… ▽ More We survey results and open questions about the $p$-ranks and Newton polygons of Jacobians of curves in positive characteristic $p$. We prove some geometric results about the $p$-rank stratification of the moduli space of (hyperelliptic) curves. For example, if $0 \leq f \leq g-1$, we prove that every component of the $p$-rank $f+1$ stratum of ${\mathcal M}_g$ contains a component of the $p$-rank $f$ stratum in its closure. We prove that the $p$-rank $f$ stratum of $\overline{\mathcal M}_g$ is connected. For all primes $p$ and all $g \geq 4$, we demonstrate the existence of a Jacobian of a smooth curve, defined over $\overline{\mathbb F}_p$, whose Newton polygon has slopes $\{0, \frac{1}{4}, \frac{3}{4}, 1\}$. We include partial results about the generic Newton polygons of curves of given genus $g$ and $p$-rank $f$. △ Less

Submitted 4 December, 2013; v1 submitted 22 November, 2013; originally announced November 2013.

Comments: 16 pages, to appear in Algebraic Curves and Finite Fields: Codes, Cryptography, and other emergent applications, edited by H. Niederreiter, A. Ostafe, D. Panario, and A. Winterhof

MSC Class: 11G20; 11M38; 14H10; 14H40; 14L05; 11G10

Journal ref: Radon Ser. Comput. Appl. Math., 16, 2014, pp. 1-21

On the abelian fivefolds attached to cubic surfaces

Authors: Jeff Achter

Abstract: To a family of smooth projective cubic surfaces one can canonically associate a family of abelian fivefolds. In characteristic zero, we calculate the Hodge groups of the abelian varieties which arise in this way. In arbitrary characteristic we calculate the monodromy group of the universal family of abelian varieties, and thus show that the Galois group of the 27 lines on a suitably general cubic… ▽ More To a family of smooth projective cubic surfaces one can canonically associate a family of abelian fivefolds. In characteristic zero, we calculate the Hodge groups of the abelian varieties which arise in this way. In arbitrary characteristic we calculate the monodromy group of the universal family of abelian varieties, and thus show that the Galois group of the 27 lines on a suitably general cubic surface in positive characteristic is as large as possible. △ Less

Submitted 28 October, 2013; v1 submitted 14 August, 2012; originally announced August 2012.

Comments: Fixed classification of Hodge groups; other small edits

MSC Class: 14J10

Journal ref: Math Res Lett 20 (2013) no. 5, 805--824

Arithmetic Torelli maps for cubic surfaces and threefolds

Authors: Jeff Achter

Abstract: It has long been known that to a complex cubic surface or threefold one can canonically associate a principally polarized abelian variety. We give a construction which works for cubics over an arithmetic base. This answers, away from the prime 2, an old question of Deligne and a recent question of Kudla and Rapoport. We further classify the Mumford-Tate groups of the abelian varieties which arise,… ▽ More It has long been known that to a complex cubic surface or threefold one can canonically associate a principally polarized abelian variety. We give a construction which works for cubics over an arithmetic base. This answers, away from the prime 2, an old question of Deligne and a recent question of Kudla and Rapoport. We further classify the Mumford-Tate groups of the abelian varieties which arise, and give additional arithmetic applications. △ Less

Submitted 3 October, 2012; v1 submitted 12 May, 2010; originally announced May 2010.

Journal ref: Trans AMS 366 (2014), no. 11, 5749--5760

The p-rank strata of the moduli space of hyperelliptic curves

Authors: Jeff Achter, Rachel Pries

Abstract: We prove results about the intersection of the p-rank strata and the boundary of the moduli space of hyperelliptic curves in characteristic p > 2. Using this, we prove that the Z/\ell-monodromy of every irreducible component of the stratum H_g^f of hyperelliptic curves of genus g and p-rank f is the symplectic group Sp_{2g}(Z/\ell) if g > 2, f > 0 and \ell is an odd prime distinct from p. These… ▽ More We prove results about the intersection of the p-rank strata and the boundary of the moduli space of hyperelliptic curves in characteristic p > 2. Using this, we prove that the Z/\ell-monodromy of every irreducible component of the stratum H_g^f of hyperelliptic curves of genus g and p-rank f is the symplectic group Sp_{2g}(Z/\ell) if g > 2, f > 0 and \ell is an odd prime distinct from p. These results yield applications about the generic behavior of hyperelliptic curves of given genus and p-rank. The first application is that a generic hyperelliptic curve of genus g > 2 and p-rank 0 is not supersingular. Other applications are about absolutely simple Jacobians and the generic behavior of class groups and zeta functions of hyperelliptic curves of given genus and $p$-rank over finite fields. △ Less

Submitted 18 December, 2009; v1 submitted 26 February, 2009; originally announced February 2009.

Comments: Slight reorganization, improved results for p-rank zero locus

MSC Class: 14H10; 11G20; 14D05

Journal ref: Adv. Math. 227 (2011), no. 5, 1846-1872

Split reductions of simple abelian varieties

Authors: Jeff Achter

Abstract: Consider an absolutely simple abelian variety X over a number field K. If the absolute endomorphism ring of X is commutative and satisfies certain parity conditions, then the reduction X_p is absolutely simple for almost all p. Conversely, if the absolute endomorphism ring of X is noncommutative, then X_p is reducible for p in a set of positive density. Consider an absolutely simple abelian variety X over a number field K. If the absolute endomorphism ring of X is commutative and satisfies certain parity conditions, then the reduction X_p is absolutely simple for almost all p. Conversely, if the absolute endomorphism ring of X is noncommutative, then X_p is reducible for p in a set of positive density. △ Less

Submitted 26 February, 2009; v1 submitted 27 June, 2008; originally announced June 2008.

Comments: 14 pages

Journal ref: Math Res Lett 16 (2009), no. 2, 199-213

Curves of given $p$-rank with trivial automorphism group

Authors: Jeff Achter, Darren Glass, Rachel Pries

Abstract: Let $k$ be an algebraically closed field of characteristic $p >0$. Suppose $g \geq 3$ and $0 \leq f \leq g$. We prove there is a smooth projective $k$-curve of genus $g$ and $p$-rank $f$ with no non-trivial automorphisms. In addition, we prove there is a smooth projective hyperelliptic $k$-curve of genus $g$ and $p$-rank $f$ whose only non-trivial automorphism is the hyperelliptic involution. Th… ▽ More Let $k$ be an algebraically closed field of characteristic $p >0$. Suppose $g \geq 3$ and $0 \leq f \leq g$. We prove there is a smooth projective $k$-curve of genus $g$ and $p$-rank $f$ with no non-trivial automorphisms. In addition, we prove there is a smooth projective hyperelliptic $k$-curve of genus $g$ and $p$-rank $f$ whose only non-trivial automorphism is the hyperelliptic involution. The proof involves computations about the dimension of the moduli space of (hyperelliptic) $k$-curves of genus $g$ and $p$-rank $f$ with extra automorphisms. △ Less

Submitted 16 August, 2007; originally announced August 2007.

Comments: 10 pages

Journal ref: Michigan Math. J. 56 (2008), no. 3, 583-592

Exceptional covers of surfaces

Authors: Jeff Achter

Abstract: Consider a finite morphism f:X -> Y of smooth projective varieties over a finite field k. Suppose X is the vanishing locus in projective N-space of at most r forms of degree at most d. We show there is a constant C, depending only on N, r, d and deg(f) such that if #k > C, then f(k):X(k) -> Y(k) is injective if and only if it's surjective. Consider a finite morphism f:X -> Y of smooth projective varieties over a finite field k. Suppose X is the vanishing locus in projective N-space of at most r forms of degree at most d. We show there is a constant C, depending only on N, r, d and deg(f) such that if #k > C, then f(k):X(k) -> Y(k) is injective if and only if it's surjective. △ Less

Submitted 21 August, 2007; v1 submitted 17 July, 2007; originally announced July 2007.

MSC Class: 11G25

Journal ref: Canad Math Bull 53 (2010), no. 3, 385--393

Monodromy of the p-rank strata of the moduli space of curves

Authors: Jeff Achter, Rachel Pries

Abstract: We compute the Z/\ell and \ell-adic monodromy of every irreducible component of the moduli space M_g^f of curves of genus and and p-rank f. In particular, we prove that the Z/\ell-monodromy of every component of M_g^f is the symplectic group Sp_{2g}(Z/\ell) if g>=3 and \ell is a prime distinct from p. We give applications to the generic behavior of automorphism groups, Jacobians, class groups, a… ▽ More We compute the Z/\ell and \ell-adic monodromy of every irreducible component of the moduli space M_g^f of curves of genus and and p-rank f. In particular, we prove that the Z/\ell-monodromy of every component of M_g^f is the symplectic group Sp_{2g}(Z/\ell) if g>=3 and \ell is a prime distinct from p. We give applications to the generic behavior of automorphism groups, Jacobians, class groups, and zeta functions of curves of given genus and p-rank. △ Less

Submitted 28 May, 2008; v1 submitted 13 July, 2007; originally announced July 2007.

MSC Class: 11G18; 11G20; 14D05

Journal ref: Int. Math. Res. Not. IMRN 2008, no. 15, Art. ID rnn053

The integral monodromy of hyperelliptic and trielliptic curves

Authors: Jeff Achter, Rachel Pries

Abstract: We compute the $\integ/\ell$ and $\integ_\ell$ monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the $\integ/\ell$ monodromy of the moduli space of hyperelliptic curves of genus $g$ is the symplectic group $\sp_{2g}(\integ/\ell)$. We prove that the $\integ/\ell$ monodromy of the moduli space of triellipti… ▽ More We compute the $\integ/\ell$ and $\integ_\ell$ monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the $\integ/\ell$ monodromy of the moduli space of hyperelliptic curves of genus $g$ is the symplectic group $\sp_{2g}(\integ/\ell)$. We prove that the $\integ/\ell$ monodromy of the moduli space of trielliptic curves with signature $(r,s)$ is the special unitary group $\su_{(r,s)}(\integ/\ell\tensor\integ[ζ_3])$. △ Less

Submitted 17 August, 2006; v1 submitted 1 August, 2006; originally announced August 2006.

Journal ref: Math. Ann. 338 (2007), no. 1, 187-206

Detecting complex multiplication

Authors: Jeff Achter

Abstract: We give an efficient, deterministic algorithm to decide if two abelian varieties over a number field are isogenous. From this, we derive an algorithm to compute the endomorphism ring of an elliptic curve over a number field. We give an efficient, deterministic algorithm to decide if two abelian varieties over a number field are isogenous. From this, we derive an algorithm to compute the endomorphism ring of an elliptic curve over a number field. △ Less

Submitted 6 February, 2006; originally announced February 2006.

Journal ref: Computational Aspects of Algebraic Curves, Lecture Notes in Computing 13, World Scientific, 2005

Divisibility of function field class numbers

Authors: Jeff Achter

Abstract: Withdrawn; results will appear elsewhere. Withdrawn; results will appear elsewhere. △ Less

Submitted 28 May, 2008; v1 submitted 6 February, 2006; originally announced February 2006.

Comments: Withdrawn -- results on covers of hyperplane complements will appear in "Results of Cohen-Lenstra type for quadratic function fields"

The distribution of class groups of function fields

Authors: Jeff Achter

Abstract: Using equidistribution results of Katz and a computation in finite symplectic groups, we give an explicit asymptotic formula for the proportion of curves C over a finite field for which the l-torsion of Jac(C) is isomorphic to a given abelian l-group. In doing so, we prove a conjecture of Friedman and Washington Using equidistribution results of Katz and a computation in finite symplectic groups, we give an explicit asymptotic formula for the proportion of curves C over a finite field for which the l-torsion of Jac(C) is isomorphic to a given abelian l-group. In doing so, we prove a conjecture of Friedman and Washington △ Less

Submitted 21 March, 2005; v1 submitted 3 March, 2004; originally announced March 2004.

Comments: To appear, JPAA

Journal ref: J Pure and Applied Algebra 204 (2006), no. 2, 316--333

Local monodromy of p-divisible groups

Authors: Jeff Achter, Peter Norman

Abstract: A $p$-divisible group over a field $K$ admits a slope decomposition; associated to each slope $λ$ is an integer $m$ and a representation $\gal(K) \ra \gl_m(D_λ)$, where $D_λ$ is the $\rat_p$-division algebra with Brauer invariant $[λ]$. We call $m$ the multiplicity of $λ$ in the $p$-divisible group. Let $G_0$ be a $p$-divisible group over a field $k$. Suppose that $λ$ is not a slope of $G_0$, bu… ▽ More A $p$-divisible group over a field $K$ admits a slope decomposition; associated to each slope $λ$ is an integer $m$ and a representation $\gal(K) \ra \gl_m(D_λ)$, where $D_λ$ is the $\rat_p$-division algebra with Brauer invariant $[λ]$. We call $m$ the multiplicity of $λ$ in the $p$-divisible group. Let $G_0$ be a $p$-divisible group over a field $k$. Suppose that $λ$ is not a slope of $G_0$, but that there exists a deformation of $G$ in which $λ$ appears with multiplicity one. Assume that $λ\not= (s-1)/s$ for any natural number $s>1$. We show that there exists a deformation $G/R$ of $G_0/k$ such that the representation $\gal(\Frac R) \ra \gl_1(D_λ)$ has large image. △ Less

Submitted 28 May, 2008; v1 submitted 27 February, 2004; originally announced February 2004.

Comments: Very light edit; to appear, Trans AMS

Journal ref: Trans AMS 362 (2010), no. 2, 985--1007

Notes on an analogue of the Fontaine-Mazur conjecture

Authors: Jeffrey D. Achter, Joshua Holden

Abstract: We estimate the proportion of function fields satisfying certain conditions which imply a function-field analogue of the Fontaine-Mazur conjecture. As a byproduct, we compute the fraction of abelian varieties (or even Jacobians) over a finite field which have a rational point of order l. We estimate the proportion of function fields satisfying certain conditions which imply a function-field analogue of the Fontaine-Mazur conjecture. As a byproduct, we compute the fraction of abelian varieties (or even Jacobians) over a finite field which have a rational point of order l. △ Less

Submitted 27 March, 2004; v1 submitted 10 May, 2001; originally announced May 2001.

Comments: 12 pages; minor revisions according to referees' comments

Journal ref: Journal de Theorie des Nombres de Bordeaux, 15:627--637, 2003