More Like this

1. Computing Euler factors of genus 2 curves at odd primes of almost good reduction

   https://doi.org/10.1007/s40993-024-00605-7  

   Maistret, Céline; Sutherland, Andrew V (March 2025, Research in Number Theory)

   Abstract We present an efficient algorithm to compute the Euler factor of a genus 2 curve$$C/\mathbb {Q}$$ $C/Q$at an odd primepthat is of bad reduction forCbut of good reduction for the Jacobian ofC(a prime of “almost good” reduction). Our approach is based on the theory of cluster pictures introduced by Dokchitser, Dokchitser, Maistret, and Morgan, which allows us to reduce the problem to a short, explicit computation over$$\mathbb {Z}$$ $Z$and$$\mathbb {F}_p$$ $F_p$, followed by a point-counting computation on two elliptic curves over$$\mathbb {F}_p$$ $F_p$, or a single elliptic curve over$$\mathbb {F}_{p^2}$$ $F_{p^2}$. A key feature of our approach is that we avoid the need to compute a regular model forC. This allows us to efficiently compute many examples that are infeasible to handle using the algorithms currently available in computer algebra systems such as Magma and Pari/GP. 

   more » « less
2. Modules over orders, conjugacy classes of integral matrices, and abelian varieties over finite fields

   https://doi.org/10.1007/s40993-024-00584-9  

   Marseglia, Stefano (March 2025, Research in Number Theory)

   Abstract We give an algorithm to compute representatives of the conjugacy classes of semisimple square integral matrices with given minimal and characteristic polynomials. We also give an algorithm to compute the $$\mathbb {F}_q$$ $F_q$-isomorphism classes of abelian varieties over a finite field $$\mathbb {F}_q$$ $F_q$which belong to an isogeny class determined by a characteristic polynomial hof Frobenius when his ordinary, or qis prime and hhas no real roots. 

   more » « less
3. Every finite abelian group is the group of rational points of an ordinary abelian variety over 𝔽₂, 𝔽₃ and 𝔽₅

   https://doi.org/10.1090/proc/16127  

   Marseglia, Stefano; Springer, Caleb (February 2023, Proceedings of the American Mathematical Society)

   We show that every finite abelian group occurs as the group of rational points of an ordinary abelian variety over ${\mathbb{F}}_2$, ${\mathbb{F}}_3$and ${\mathbb{F}}_5$. We produce partial results for abelian varieties over a general finite field  ${\mathbb{F}}_q$. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over ${\mathbb{F}}_q$when $q$is large. Finally, we show that every finite cyclic group arises as the group of rational points of infinitely many simple abelian varieties over  ${\mathbb{F}}_2$. 

   more » « less
4. Torsion phenomena for zero-cycles on a product of curves over a number field

   https://doi.org/10.1007/s40993-024-00519-4  

   Gazaki, Evangelia; Love, Jonathan (March 2024, Research in Number Theory)

   Abstract For a smooth projective varietyXover an algebraic number fieldka conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map ofXis a torsion group. In this article we consider a product$$X=C_1\times \cdots \times C_d$$ $X=C_1\times \cdots \times C_d$of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true forX. For a product$$X=C_1\times C_2$$ $X=C_1\times C_2$of two curves over$$\mathbb {Q} $$ $Q$with positive genus we construct many nontrivial examples that satisfy the weaker property that the image of the natural map$$J_1(\mathbb {Q})\otimes J_2(\mathbb {Q})\xrightarrow {\varepsilon }{{\,\textrm{CH}\,}}_0(C_1\times C_2)$$ $J_1\left(Q\right)\otimes J_2\left(Q\right)\stackrel{\epsilon }{\to }{\text{CH}}_0(C_1\times C_2)$is finite, where$$J_i$$ $J_i$is the Jacobian variety of$$C_i$$ $C_i$. Our constructions include many new examples of non-isogenous pairs of elliptic curves$$E_1, E_2$$ $E_1,E_2$with positive rank, including the first known examples of rank greater than 1. Combining these constructions with our previous result, we obtain infinitely many nontrivial products$$X=C_1\times \cdots \times C_d$$ $X=C_1\times \cdots \times C_d$for which the analogous map$$\varepsilon $$ $\epsilon$has finite image. 

   more » « less
5. Abelian varieties of prescribed order over finite fields

   https://doi.org/10.1007/s00208-024-03084-4  

   van_Bommel, Raymond; Costa, Edgar; Li, Wanlin; Poonen, Bjorn; Smith, Alexander (March 2025, Mathematische Annalen)

   Abstract Given a prime powerqand$$n \gg 1$$ $n\gg 1$, we prove that every integer in a large subinterval of the Hasse–Weil interval$$[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$$ $[{(\sqrt{q}-1)}^{2n},{(\sqrt{q}+1)}^{2n}]$is$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some ordinary geometrically simple principally polarized abelian varietyAof dimensionnover$${\mathbb {F}}_q$$ $F_q$. As a consequence, we generalize a result of Howe and Kedlaya for$${\mathbb {F}}_2$$ $F_2$to show that for each prime powerq, every sufficiently large positive integer is realizable, i.e.,$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some abelian varietyAover$${\mathbb {F}}_q$$ $F_q$. Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse–Weil interval. A separate argument determines, for fixedn, the largest subinterval of the Hasse–Weil interval consisting of realizable integers, asymptotically as$$q \rightarrow \infty $$ $q\to \infty$; this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective: We prove that if$$q \le 5$$ $q\le 5$, then every positive integer is realizable, and for arbitraryq, every positive integer$$\ge q^{3 \sqrt{q} \log q}$$ $\ge q^{3\sqrt{q}logq}$is realizable. 

   more » « less