Showing 1–11 of 11 results for author: Anni, S

On the computation of endomorphism rings of abelian surfaces over finite fields

Authors: Samuele Anni, Gaetan Bisson, Annamaria Iezzi, Elisa Lorenzo García, Benjamin Wesolowski

Abstract: We study endomorphism rings of principally polarized abelian surfaces over finite fields from a computational viewpoint with a focus on exhaustiveness. In particular, we address the cases of non-ordinary and non-simple varieties. For each possible surface type, we survey known results and, whenever possible, provide improvements and missing results. We study endomorphism rings of principally polarized abelian surfaces over finite fields from a computational viewpoint with a focus on exhaustiveness. In particular, we address the cases of non-ordinary and non-simple varieties. For each possible surface type, we survey known results and, whenever possible, provide improvements and missing results. △ Less

Submitted 11 March, 2025; originally announced March 2025.

MSC Class: 11G07; 11G10; 11G15; 14H52; 14K02; 14K05; 14K10; 14K22

Deep congruences + the Brauer-Nesbitt theorem

Authors: Samuele Anni, Alexandru Ghitza, Anna Medvedovsky

Abstract: We prove that mod-$p$ congruences between polynomials in $\mathbb{Z}_p[X]$ are equivalent to deeper $p$-power congruences between power-sum functions of their roots. This result generalizes to torsion-free $\mathbb{Z}_{(p)}$-algebras modulo divided-power ideals. Our approach is combinatorial: we introduce a $p$-equivalence relation on partitions, and use it to prove that certain linear combination… ▽ More We prove that mod-$p$ congruences between polynomials in $\mathbb{Z}_p[X]$ are equivalent to deeper $p$-power congruences between power-sum functions of their roots. This result generalizes to torsion-free $\mathbb{Z}_{(p)}$-algebras modulo divided-power ideals. Our approach is combinatorial: we introduce a $p$-equivalence relation on partitions, and use it to prove that certain linear combinations of power-sum functions are $p$-integral. We also include a second proof, short and algebraic, suggested by an anonymous referee. As a corollary we obtain a refinement of the Brauer-Nesbitt theorem for a single linear operator, motivated by the study of Hecke modules of mod-$p$ modular forms. △ Less

Submitted 5 December, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Report number: MPIM-Bonn-2018 MSC Class: 05E05 (Primary) 05E40; 05E10; 11F33; 11P83; 11T99; 20C99 (Secondary)

On smooth plane models for modular curves of Shimura type

Authors: Samuele Anni, Eran Assaf, Elisa Lorenzo García

Abstract: In this paper we prove that there are finitely many modular curves that admit a smooth plane model. Moreover, if the degree of the model is greater than or equal to 19, no such curve exists. For modular curves of Shimura type we show that none can admit a smooth plane model of degree 5, 6 or 7. Further, if a modular curve of Shimura type admits a smooth plane model of degree 8 we show that it must… ▽ More In this paper we prove that there are finitely many modular curves that admit a smooth plane model. Moreover, if the degree of the model is greater than or equal to 19, no such curve exists. For modular curves of Shimura type we show that none can admit a smooth plane model of degree 5, 6 or 7. Further, if a modular curve of Shimura type admits a smooth plane model of degree 8 we show that it must be a twist of one of four curves. △ Less

Submitted 23 September, 2022; v1 submitted 12 March, 2022; originally announced March 2022.

MSC Class: 11G18; 14G35; 11F11; 14H45

Computing $\mathcal{L}$-invariants via the Greenberg-Stevens formula

Authors: Samuele Anni, Gebhard Boeckle, Peter Mathias Graef, Alvaro Troya

Abstract: In this article, we describe how to compute slopes of $p$-adic $\mathcal{L}$-invariants of arbitrary weight and level by means of the Greenberg-Stevens formula. Our method is based on work of Lauder and Vonk on computing the reverse characteristic series of the $U_p$ operator on overconvergent modular forms. Using higher derivatives of this characteristic series, we construct a polynomial whose ze… ▽ More In this article, we describe how to compute slopes of $p$-adic $\mathcal{L}$-invariants of arbitrary weight and level by means of the Greenberg-Stevens formula. Our method is based on work of Lauder and Vonk on computing the reverse characteristic series of the $U_p$ operator on overconvergent modular forms. Using higher derivatives of this characteristic series, we construct a polynomial whose zeros are precisely the $\mathcal{L}$-invariants appearing in the corresponding space of modular forms with fixed sign of the Atkin-Lehner involution at $p$. In addition, we describe how to compute this polynomial efficiently. In the final section, we give computational evidence for relations between slopes of $\mathcal{L}$-invariants for small primes. △ Less

Submitted 28 January, 2019; v1 submitted 26 July, 2018; originally announced July 2018.

Comments: 17 pages, 8 tables, improved exposition, including more details

MSC Class: Primary: 11F03; 11F85 Secondary: 11F67; 11F33

Constructing hyperelliptic curves with surjective Galois representations

Authors: Samuele Anni, Vladimir Dokchitser

Abstract: In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the action of inertia groups on the l-torsion of the Jacobian, including at primes where the Jacobian has non-semistable reduction. We also give a framework for syst… ▽ More In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the action of inertia groups on the l-torsion of the Jacobian, including at primes where the Jacobian has non-semistable reduction. We also give a framework for systematically dealing with primitivity of symplectic mod l Galois representations. The main result of the paper is the following. Suppose n=2g+2 is an even integer that can be written as a sum of two primes in two different ways, with none of the primes being the largest primes less than n (this hypothesis appears to hold for all g different from 0,1,2,3,4,5,7 and 13). Then there is an explicit integer N and an explicit monic polynomial $f_0(x)\in \mathbb{Z}[x]$ of degree n, such that the Jacobian $J$ of every curve of the form $y^2=f(x)$ has $Gal(\mathbb{Q}(J[l])/\mathbb{Q})\cong GSp_{2g}(\mathbb{F}_l)$ for all odd primes l and $Gal(\mathbb{Q}(J[2])/\mathbb{Q})\cong S_{2g+2}$, whenever $f(x)\in\mathbb{Z}[x]$ is monic with $f(x)\equiv f_0(x) \bmod{N}$ and with no roots of multiplicity greater than $2$ in $\overline{\mathbb{F}}_p$ for any p not dividing N. △ Less

Submitted 4 June, 2019; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: 24 pages, minor corrections

MSC Class: 11F80 (Primary); 12F12; 11G10; 11G30 (Secondary)

A note on the minimal level of realization for a mod $\ell$ eigenvalue system

Authors: Samuele Anni

Abstract: In this article we give a criterion for a mod $\ell$ eigenvalue system attached to a mod $\ell$ Katz cuspform to arise from lower level or weight. Namely, we prove the following: the eigenvalue system associated to a ring homomorphism $f:\mathbb{T }\to \overline{\mathbb{F}}_\ell$ from the Hecke algebra of level $Γ_1(n)$ and weight $k$ to $\overline{\mathbb{F}}_\ell$, where $\ell$ is a prime not di… ▽ More In this article we give a criterion for a mod $\ell$ eigenvalue system attached to a mod $\ell$ Katz cuspform to arise from lower level or weight. Namely, we prove the following: the eigenvalue system associated to a ring homomorphism $f:\mathbb{T }\to \overline{\mathbb{F}}_\ell$ from the Hecke algebra of level $Γ_1(n)$ and weight $k$ to $\overline{\mathbb{F}}_\ell$, where $\ell$ is a prime not dividing $n$ and $1\leq k \leq \ell +1$, arises from lower level or weight if there exists a prime $r$ dividing $n\ell$ such that $$ \mathrm{dim}_{\overline{\mathbb{F}}_\ell} \bigcap_{p \neq r} \ker \left( T_p-f(T_p), S(n,k)_{\overline{\mathbb{F}}_\ell}\right)>1,$$ where $T_p$ is the $p$-th Hecke operator and $S(n,k)_{\overline{\mathbb{F}}_\ell}$ is the space of mod $\ell$ Katz cuspforms of level $Γ_1(n)$ and weight $k$. △ Less

Submitted 27 September, 2015; originally announced September 2015.

Comments: 12 pages, comments are welcome

MSC Class: Primary 11F03; 11F80; Secondary 14J15; 14H25

Residual Representations of Semistable Principally Polarized Abelian Varieties

Authors: Samuele Anni, Pedro Lemos, Samir Siksek

Abstract: Let $A$ be a semistable principally polarized abelian variety of dimension $d$ defined over the rationals. Let $\ell$ be a prime and let $\barρ_{A,\ell} : G_{\mathbb{Q}} \rightarrow \mathrm{GSp}_{2d}(\mathbb{F}_\ell)$ be the representation giving the action of $G_{\mathrm{Q}} :=\mathrm{Gal}(\bar{\mathrm{Q}}/\mathrm{Q})$ on the $\ell$-torsion group $A[\ell]$. We show that if $\ell \ge \max(5,d+2)$,… ▽ More Let $A$ be a semistable principally polarized abelian variety of dimension $d$ defined over the rationals. Let $\ell$ be a prime and let $\barρ_{A,\ell} : G_{\mathbb{Q}} \rightarrow \mathrm{GSp}_{2d}(\mathbb{F}_\ell)$ be the representation giving the action of $G_{\mathrm{Q}} :=\mathrm{Gal}(\bar{\mathrm{Q}}/\mathrm{Q})$ on the $\ell$-torsion group $A[\ell]$. We show that if $\ell \ge \max(5,d+2)$, and if image of $\barρ_{A,\ell}$ contains a transvection then $\barρ_{A,\ell}$ is either reducible or surjective. With the help of this we study surjectivity of $\barρ_{A,\ell}$ for semistable principally polarized abelian threefolds, and give an example of a genus $3$ hyperelliptic curve $C/\mathbb{Q}$ such that $\barρ_{J,\ell}$ is surjective for all primes $\ell \ge 3$, where $J$ is the Jacobian of $C$. △ Less

Submitted 11 April, 2016; v1 submitted 2 August, 2015; originally announced August 2015.

Comments: Paper has appeared in Research in Number Theory

MSC Class: 11F80

Journal ref: Research in Number Theory (2016) 2:1

Modular elliptic curves over real abelian fields and the generalized Fermat equation $x^{2\ell}+y^{2m}=z^p$

Authors: Samuele Anni, Samir Siksek

Abstract: Using a combination of several powerful modularity theorems and class field theory we derive a new modularity theorem for semistable elliptic curves over certain real abelian fields. We deduce that if $K$ is a real abelian field of conductor $n<100$, with $5 \nmid n$ and $n \ne 29$, $87$, $89$, then every semistable elliptic curve $E$ over $K$ is modular. Let $\ell$, $m$, $p$ be prime, with… ▽ More Using a combination of several powerful modularity theorems and class field theory we derive a new modularity theorem for semistable elliptic curves over certain real abelian fields. We deduce that if $K$ is a real abelian field of conductor $n<100$, with $5 \nmid n$ and $n \ne 29$, $87$, $89$, then every semistable elliptic curve $E$ over $K$ is modular. Let $\ell$, $m$, $p$ be prime, with $\ell$, $m \ge 5$ and $p \ge 3$.To a putative non-trivial primitive solution of the generalized Fermat $x^{2\ell}+y^{2m}=z^p$ we associate a Frey elliptic curve defined over $\mathbb{Q}(ζ_p)^+$, and study its mod $\ell$ representation with the help of level lowering and our modularity result. We deduce the non-existence of non-trivial primitive solutions if $p \le 11$, or if $p=13$ and $\ell$, $m \ne 7$. △ Less

Submitted 11 April, 2016; v1 submitted 9 June, 2015; originally announced June 2015.

Comments: Introduction rewritten to emphasise the new modularity theorem. Paper revised in the light of referees' comments

MSC Class: 11D41; 11F80 (Primary); 11G05; 11F41 (Secondary)

Journal ref: Algebra Number Theory 10 (2016) 1147-1172

l-Adic Representations and their Associated Invariants

Authors: Vladimir Dokchitser, Samuele Anni

Abstract: These are notes from a 3-lecture course given by V. Dokchitser at the ICTP in Trieste, Italy, 1st--5th of September 2014, as part of a graduate summer school on "L-functions and modular forms". The course is meant to serve as an introduction to l-adic Galois representations over local fields with "l not equal to p", and has a slightly computational bent. It is worth mentioning that the course is n… ▽ More These are notes from a 3-lecture course given by V. Dokchitser at the ICTP in Trieste, Italy, 1st--5th of September 2014, as part of a graduate summer school on "L-functions and modular forms". The course is meant to serve as an introduction to l-adic Galois representations over local fields with "l not equal to p", and has a slightly computational bent. It is worth mentioning that the course is not about varieties and their etale cohomology, but merely about the representation theory. △ Less

Submitted 17 March, 2015; v1 submitted 4 October, 2014; originally announced October 2014.

Comments: 20 pages

MSC Class: 11F80; 11S20; 11G07

On Serre's uniformity conjecture for semistable elliptic curves over totally real fields

Authors: Samuele Anni, Samir Siksek

Abstract: Let $K$ be a totally real field, and let $S$ be a finite set of non-archimedean places of $K$. It follows from the work of Merel, Momose and David that there is a constant $B_{K,S}$ so that if $E$ is an elliptic curve defined over $K$, semistable outside $S$, then for all $p>B_{K,S}$, the representation $\barρ_{E,p}$ is irreducible. We combine this with modularity and level lowering to show the ex… ▽ More Let $K$ be a totally real field, and let $S$ be a finite set of non-archimedean places of $K$. It follows from the work of Merel, Momose and David that there is a constant $B_{K,S}$ so that if $E$ is an elliptic curve defined over $K$, semistable outside $S$, then for all $p>B_{K,S}$, the representation $\barρ_{E,p}$ is irreducible. We combine this with modularity and level lowering to show the existence of an effectively computable constant $C_{K,S}$, and an effectively computable set of elliptic curves over $K$ with CM $E_1,\dotsc,E_n$ such that the following holds. If $E$ is an elliptic curve over $K$ semistable outside $S$, and $p>C_{K,S}$ is prime, then either $\barρ_{E,p}$ is surjective, or $\barρ_{E,p} \sim \barρ_{E_i,p}$ for some $i=1,\dots,n$. △ Less

Submitted 11 April, 2016; v1 submitted 6 August, 2014; originally announced August 2014.

Comments: 7 pages. Improved version incorporating referee's comments

MSC Class: 11F80 (Primary); 11G05 (Secondary); 11F41

Journal ref: Mathematische Zeitschrift 281 (2015), 193-199

A local-global principle for isogenies of prime degree over number fields

Authors: Samuele Anni

Abstract: We give a description of the set of exceptional pairs for a number field $K$, that is the set of pairs $(\ell, j(E))$, where $\ell$ is a prime and $j(E)$ is the $j$-invariant of an elliptic curve $E$ over $K$ which admits an $\ell$-isogeny locally almost everywhere but not globally. We obtain an upper bound for $\ell$ in such pairs in terms of the degree and the discriminant of $K$. Moreover, we p… ▽ More We give a description of the set of exceptional pairs for a number field $K$, that is the set of pairs $(\ell, j(E))$, where $\ell$ is a prime and $j(E)$ is the $j$-invariant of an elliptic curve $E$ over $K$ which admits an $\ell$-isogeny locally almost everywhere but not globally. We obtain an upper bound for $\ell$ in such pairs in terms of the degree and the discriminant of $K$. Moreover, we prove finiteness results about the number of exceptional pairs. △ Less

Submitted 13 January, 2014; v1 submitted 15 March, 2013; originally announced March 2013.

Comments: 22 pages, presentation improved as suggested by the referees. To appear in Journal of London Mathematical Society. arXiv admin note: text overlap with arXiv:1006.1782 by other authors

MSC Class: 11F80; 11G05; 14H52; 14K02 (primary); 14G05; 14G35 (secondary)