Showing 1–36 of 36 results for author: Lombardo, D

Monodromy groups and exceptional Hodge classes, II: Sato-Tate groups

Authors: Andrea Gallese, Heidi Goodson, Davide Lombardo

Abstract: Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m \geq 3$ is a fixed positive integer. In this paper, we compute the Sato-Tate group of $J_m$. Currently, there is no general algorithm that computes this invariant. We also describe the Sato-Tate group of an abelian variety, generalizing existing results that apply… ▽ More Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m \geq 3$ is a fixed positive integer. In this paper, we compute the Sato-Tate group of $J_m$. Currently, there is no general algorithm that computes this invariant. We also describe the Sato-Tate group of an abelian variety, generalizing existing results that apply only to non-degenerate varieties, and prove an extension of a well-known formula of Gross-Koblitz that relates values of the classical and $p$-adic gamma functions at rational arguments. △ Less

Submitted 3 July, 2025; originally announced July 2025.

Comments: This is Part II of a revised version of arXiv:2405.20394, which has been split into two parts

MSC Class: 11F80; 11G10; 14C25; 11G15; 14K15

Examples of effectivity for integral points on certain curves of genus 2

Authors: Pietro Corvaja, Davide Lombardo, Umberto Zannier

Abstract: We consider families of smooth projective curves of genus 2 with a single point removed and study their integral points. We show that in many such families there is a dense set of fibres for which the integral points can be effectively determined. Our method is based on the construction of degree-3 étale covers of such curves of genus 2 and the study of the torsion values of sections of certain do… ▽ More We consider families of smooth projective curves of genus 2 with a single point removed and study their integral points. We show that in many such families there is a dense set of fibres for which the integral points can be effectively determined. Our method is based on the construction of degree-3 étale covers of such curves of genus 2 and the study of the torsion values of sections of certain doubly elliptic abelian schemes. △ Less

Submitted 28 December, 2024; v1 submitted 26 November, 2024; originally announced November 2024.

Comments: Comments are very welcome!

MSC Class: 11D99; 11G30; 14G05

Monodromy groups and exceptional Hodge classes, I: Fermat Jacobians

Authors: Andrea Gallese, Heidi Goodson, Davide Lombardo

Abstract: Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m \geq 3$ is a fixed positive integer. We compute several interesting arithmetic invariants of $J_m$: its decomposition up to isogeny into simple abelian varieties, the minimal field $\mathbb{Q}(\operatorname{End}(J_m))$ over which its endomorphisms are defined, and… ▽ More Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m \geq 3$ is a fixed positive integer. We compute several interesting arithmetic invariants of $J_m$: its decomposition up to isogeny into simple abelian varieties, the minimal field $\mathbb{Q}(\operatorname{End}(J_m))$ over which its endomorphisms are defined, and its connected monodromy field $\mathbb{Q}(\varepsilon_{J_m})$. Currently, there is no general algorithm that computes the last invariant. For large enough values of $m$, the abelian varieties $J_m$ provide non-trivial examples of high-dimensional phenomena, such as degeneracy and the non-triviality of the extension $\mathbb{Q}(\varepsilon_{J_m})/\mathbb{Q}(\operatorname{End}(J_m))$. △ Less

Submitted 3 July, 2025; v1 submitted 30 May, 2024; originally announced May 2024.

Comments: 85 pages, comments are very welcome! v2: removed authors' comments left in by mistake. v3: 95 pages, added a final section with new results. v4: the paper has been split into two parts; Part II will appear as a separate submission

MSC Class: 11F80; 11G10; 14C25

Classification of rational angles in plane lattices II

Authors: Roberto Dvornicich, Davide Lombardo, Francesco Veneziano, Umberto Zannier

Abstract: This paper is a continuation of an earlier one, and completes a classification of the configurations of points in a plane lattice that determine angles that are rational multiples of $π$. We give a complete and explicit description of lattices according to which of these configurations can be found among their points. This paper is a continuation of an earlier one, and completes a classification of the configurations of points in a plane lattice that determine angles that are rational multiples of $π$. We give a complete and explicit description of lattices according to which of these configurations can be found among their points. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 39 pages. Second part of Classification of rational angles in plane lattices (https://doi.org/10.1090/bull/1723)

MSC Class: 14G05 (Primary) 11H06; 11D61; 51M05 (Secondary)

Serre's uniformity question and proper subgroups of $C_{ns}^+(p)$

Authors: Lorenzo Furio, Davide Lombardo

Abstract: Serre's uniformity question asks whether there exists a bound $N>0$ such that, for every non-CM elliptic curve $E$ over $\mathbb{Q}$ and every prime $p>N$, the residual Galois representation $ρ_{E,p}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \operatorname{Aut}(E[p])$ is surjective. The work of many authors has shown that, for $p>37$, this representation is either surjective or has… ▽ More Serre's uniformity question asks whether there exists a bound $N>0$ such that, for every non-CM elliptic curve $E$ over $\mathbb{Q}$ and every prime $p>N$, the residual Galois representation $ρ_{E,p}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \operatorname{Aut}(E[p])$ is surjective. The work of many authors has shown that, for $p>37$, this representation is either surjective or has image contained in the normaliser of a non-split Cartan subgroup $C_{ns}^+(p)$. Zywina has further proved that, whenever $ρ_{E,p}$ is not surjective for $p>37$, its image can be either $C_{ns}^+(p)$ or an index-3 subgroup of it. Recently, Le Fourn and Lemos showed that the index-3 case cannot arise for $p>1.4 \cdot 10^7$. We show that the same statement holds for any prime larger than $37$. △ Less

Submitted 28 May, 2023; originally announced May 2023.

Comments: 34 pages

MSC Class: 11G05; 11F80; 11G16

Monodromy groups of Jacobians with definite quaternionic multiplication

Authors: Victoria Cantoral-Farfán, Davide Lombardo, John Voight

Abstract: Let $A$ be an abelian variety over a number field. The connected monodromy field of $A$ is the minimal field over which the images of all the $\ell$-adic torsion representations have connected Zariski closure. We show that for all even $g \geq 4$, there exist infinitely many geometrically nonisogenous abelian varieties $A$ over $\mathbb{Q}$ of dimension $g$ where the connected monodromy field is s… ▽ More Let $A$ be an abelian variety over a number field. The connected monodromy field of $A$ is the minimal field over which the images of all the $\ell$-adic torsion representations have connected Zariski closure. We show that for all even $g \geq 4$, there exist infinitely many geometrically nonisogenous abelian varieties $A$ over $\mathbb{Q}$ of dimension $g$ where the connected monodromy field is strictly larger than the field of definition of the endomorphisms of $A$. Our construction arises from explicit families of hyperelliptic Jacobians with definite quaternionic multiplication. △ Less

Submitted 17 August, 2023; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: 55 pages. v2: extended and improved the discussion of the moduli space interpretation of our constructions

MSC Class: 11F80; 11G10; 14G25

The semi-infinite cohomology of Weyl modules with two singular points

Authors: Giorgia Fortuna, Davide Lombardo, Andrea Maffei, Valerio Melani

Abstract: In their study of spherical representations of an affine Lie algebra at the critical level and of unramified opers, Frenkel and Gaitsgory introduced what they called the Weyl module $\mathbb{V}^λ$ corresponding to a dominant weight $λ$. This object plays an important role in the theory. In arXiv:2012.01858, we introduced a possible analogue $\mathbb{V}^{λ,μ}$ of the Weyl module in the setting of o… ▽ More In their study of spherical representations of an affine Lie algebra at the critical level and of unramified opers, Frenkel and Gaitsgory introduced what they called the Weyl module $\mathbb{V}^λ$ corresponding to a dominant weight $λ$. This object plays an important role in the theory. In arXiv:2012.01858, we introduced a possible analogue $\mathbb{V}^{λ,μ}$ of the Weyl module in the setting of opers with two singular points, and in the case of sl(2) we proved that it has the "correct" endomorphism ring. In this paper, we compute the semi-infinite cohomology of $\mathbb{V}^{λ,μ}$ and we show that it does not share some of the properties of the semi-infinite cohomology of the Weyl module of Frenkel and Gaitsgory. For this reason, we introduce a new module $\tilde{\mathbb{V}}^{λ,μ}$ which, in the case of sl(2), enjoys all the expected properties of a Weyl module. △ Less

Submitted 10 November, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 23 pages

A family of quintic Thue equations via Skolem's $p$-adic method

Authors: Davide Lombardo

Abstract: In this semi-expository article we solve the diophantine equation $m^5+(4 \cdot 5^4 b^4)mn^4 - n^5=1$ for all integers $b \neq 0$. This gives an example of a family of quintic Thue equations that can be solved completely by using nothing more than Skolem's $p$-adic method. We also give a general introduction to Skolem's method from a modern perspective. In this semi-expository article we solve the diophantine equation $m^5+(4 \cdot 5^4 b^4)mn^4 - n^5=1$ for all integers $b \neq 0$. This gives an example of a family of quintic Thue equations that can be solved completely by using nothing more than Skolem's $p$-adic method. We also give a general introduction to Skolem's method from a modern perspective. △ Less

Submitted 7 August, 2022; originally announced August 2022.

Comments: Dedicated to Roberto Dvornicich on the occasion of his 70th birthday, 10 pages

MSC Class: 11D59; 11D88; 11D41

Journal ref: Riv. Math. Univ. Parma (N.S.) 13 (2022), no. 1, 161-173

Torsion bounds for a fixed abelian variety and varying number field

Authors: Samuel Le Fourn, Davide Lombardo, David Zywina

Abstract: Let $A$ be an abelian variety defined over a number field $K$. For a finite extension $L/K$, the cardinality of the group $A(L)_{\operatorname{tors}}$ of torsion points in $A(L)$ can be bounded in terms of the degree $[L:K]$. We study the smallest real number $β_A$ such that for any finite extension $L/K$ and $\varepsilon>0$, we have… ▽ More Let $A$ be an abelian variety defined over a number field $K$. For a finite extension $L/K$, the cardinality of the group $A(L)_{\operatorname{tors}}$ of torsion points in $A(L)$ can be bounded in terms of the degree $[L:K]$. We study the smallest real number $β_A$ such that for any finite extension $L/K$ and $\varepsilon>0$, we have $|A(L)_{\operatorname{tors}}| \leq C \cdot [L:K]^{β_A+\varepsilon}$, where the constant $C$ depends only on $A$ and $\varepsilon$ (and not $L$). Assuming the Mumford--Tate conjecture for $A$, we will show that $β_A$ agrees with the conjectured value of Hindry and Ratazzi. We also give a similar bound for the maximal order of a torsion point in $A(L)$. △ Less

Submitted 9 July, 2023; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 42 pages, comments very welcome! New in v2: we now prove a lower bound on the degrees [K(P): K] of the extensions generated by a single torsion point. We also compare our bounds with a result of Masser

MSC Class: 11G10; 14K15

On the local-global principle for isogenies of abelian surfaces

Authors: Davide Lombardo, Matteo Verzobio

Abstract: Let $\ell$ be a prime number. We classify the subgroups $G$ of $\operatorname{Sp}_4(\mathbb{F}_\ell)$ and $\operatorname{GSp}_4(\mathbb{F}_\ell)$ that act irreducibly on $\mathbb{F}_\ell^4$, but such that every element of $G$ fixes an $\mathbb{F}_\ell$-vector subspace of dimension 1. We use this classification to prove that the local-global principle for isogenies of degree $\ell$ between abelian… ▽ More Let $\ell$ be a prime number. We classify the subgroups $G$ of $\operatorname{Sp}_4(\mathbb{F}_\ell)$ and $\operatorname{GSp}_4(\mathbb{F}_\ell)$ that act irreducibly on $\mathbb{F}_\ell^4$, but such that every element of $G$ fixes an $\mathbb{F}_\ell$-vector subspace of dimension 1. We use this classification to prove that the local-global principle for isogenies of degree $\ell$ between abelian surfaces over number fields holds in many cases -- in particular, whenever the abelian surface has non-trivial endomorphisms and $\ell$ is large enough with respect to the field of definition. Finally, we prove that there exist arbitrarily large primes $\ell$ for which some abelian surface $A/\mathbb{Q}$ fails the local-global principle for isogenies of degree $\ell$. △ Less

Submitted 19 March, 2024; v1 submitted 30 June, 2022; originally announced June 2022.

Comments: Minor changes. Final version of the paper. 64 pages

MSC Class: 11F80; 20C33; 14K15; 11G10

Journal ref: Selecta Mathematica, Volume 30 (2), 2024

Non-isogenous abelian varieties sharing the same division fields

Authors: Davide Lombardo

Abstract: Two abelian varieties $A_1, A_2$ over a number field $K$ are called strongly iso-Kummerian if the torsion fields $K(A_1[d])$ and $K(A_2[d])$ coincide for all $d \geq 1$. For all $g \geq 4$ we construct geometrically simple, strongly iso-Kummerian $g$-dimensional abelian varieties over number fields that are not geometrically isogenous. We also discuss related examples and put significant constrain… ▽ More Two abelian varieties $A_1, A_2$ over a number field $K$ are called strongly iso-Kummerian if the torsion fields $K(A_1[d])$ and $K(A_2[d])$ coincide for all $d \geq 1$. For all $g \geq 4$ we construct geometrically simple, strongly iso-Kummerian $g$-dimensional abelian varieties over number fields that are not geometrically isogenous. We also discuss related examples and put significant constraints on any further iso-Kummerian pair. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: 22 pages, includes some unpublished parts of arXiv:1402.1478. Comments are very welcome!

MSC Class: 11G10; 14K15; 14K22; 11F80

Some uniform bounds for elliptic curves over $\mathbb Q$

Authors: Davide Lombardo, Sebastiano Tronto

Abstract: We give explicit uniform bounds for several quantities relevant to the study of Galois representations attached to elliptic curves $E/\mathbb Q$. We consider in particular the subgroup of scalars in the image of Galois, the first Galois cohomology group with values in the torsion of $E$, and the Kummer extensions generated by points of infinite order in $E(\mathbb Q)$. We give explicit uniform bounds for several quantities relevant to the study of Galois representations attached to elliptic curves $E/\mathbb Q$. We consider in particular the subgroup of scalars in the image of Galois, the first Galois cohomology group with values in the torsion of $E$, and the Kummer extensions generated by points of infinite order in $E(\mathbb Q)$. △ Less

Submitted 18 June, 2021; originally announced June 2021.

Comments: Comments are welcome!

MSC Class: 11F80; 11G05; 14K15

Journal ref: Pacific J. Math. 320 (2022) 133-175

Local opers with two singularities: the case of $\mathfrak{sl}(2)$

Authors: Giorgia Fortuna, Davide Lombardo, Andrea Maffei, Valerio Melani

Abstract: We study local opers with two singularities for the case of the Lie algebra sl(2), and discuss their connection with a two-variables extension of the affine Lie algebra. We prove an analogue of the Feigin-Frenkel theorem describing the centre at the critical level, and an analogue of a result by Frenkel and Gaitsgory that characterises the endomorphism rings of Weyl modules in terms of functions o… ▽ More We study local opers with two singularities for the case of the Lie algebra sl(2), and discuss their connection with a two-variables extension of the affine Lie algebra. We prove an analogue of the Feigin-Frenkel theorem describing the centre at the critical level, and an analogue of a result by Frenkel and Gaitsgory that characterises the endomorphism rings of Weyl modules in terms of functions on the space of opers. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Comments: 56 pages. Comments are very welcome!

On the distribution of rational points on ramified covers of abelian varieties

Authors: Pietro Corvaja, Julian Lawrence Demeio, Ariyan Javanpeykar, Davide Lombardo, Umberto Zannier

Abstract: We prove new results on the distribution of rational points on ramified covers of abelian varieties over finitely generated fields $k$ of characteristic zero. For example, given a ramified cover $π: X \to A$, where $A$ is an abelian variety over $k$ with a dense set of $k$-rational points, we prove that there is a finite-index coset $C \subset A(k)$ such that $π(X(k))$ is disjoint from $C$. Our… ▽ More We prove new results on the distribution of rational points on ramified covers of abelian varieties over finitely generated fields $k$ of characteristic zero. For example, given a ramified cover $π: X \to A$, where $A$ is an abelian variety over $k$ with a dense set of $k$-rational points, we prove that there is a finite-index coset $C \subset A(k)$ such that $π(X(k))$ is disjoint from $C$. Our results do not seem to be in the range of other methods available at present; they confirm predictions coming from Lang's conjectures on rational points, and also go in the direction of an issue raised by Serre regarding possible applications to the Inverse Galois Problem. Finally, the conclusions of our work may be seen as a sharp version of Hilbert's irreducibility theorem for abelian varieties. △ Less

Submitted 1 July, 2022; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: 53 pages. Minor corrections. Added remarks 1.5, 7.4, 7.9 and 7.10. Final version

Cohomology of groups acting on vector spaces over finite fields

Authors: Davide Lombardo, Laura Paladino

Abstract: Let ${\mathbf{F}}_q$ be the finite field with $q=p^m$ elements and $G$ be a subgroup of ${\rm{GL}}_n({\mathbf{F}}_q)$. A famous theorem of Nori published in 1987 states that there exists a (non-effective) constant $c(n)$, depending only on $n$, such that if $p>c(n)$ and $G$ acts semisimply on ${\mathbf{F}}_p^n$, then $H^1(G,{\mathbf{F}}_p^n)=0$. We solve the long-standing problem, also considered… ▽ More Let ${\mathbf{F}}_q$ be the finite field with $q=p^m$ elements and $G$ be a subgroup of ${\rm{GL}}_n({\mathbf{F}}_q)$. A famous theorem of Nori published in 1987 states that there exists a (non-effective) constant $c(n)$, depending only on $n$, such that if $p>c(n)$ and $G$ acts semisimply on ${\mathbf{F}}_p^n$, then $H^1(G,{\mathbf{F}}_p^n)=0$. We solve the long-standing problem, also considered by Serre of giving an effective proof of Nori's Theorem. Our approach yields the optimal constant $c(n)=n+2$. We also prove a more general version of Nori's theorem, namely, that for all powers $q$ of $p$, if $G$ acts semisimply on ${\mathbf{F}}_q^n$ and $p>n+2$, then $H^1(G,{\mathbf{F}}_q^n)$ is trivial. We apply these results to refine a criterion, proved by Çiperiani and Stix, which gives sufficient conditions for an affirmative answer to a classical question posed by Cassels in the case of abelian varieties over number fields. △ Less

Submitted 17 April, 2023; v1 submitted 30 June, 2020; originally announced June 2020.

How far is an extension of $p$-adic fields from having a normal integral basis?

Authors: Ilaria Del Corso, Fabio Ferri, Davide Lombardo

Abstract: Let $L/K$ be a finite Galois extension of $p$-adic fields with group $G$. It is well-known that $\mathcal{O}_L$ contains a free $\mathcal{O}_K[G]$-submodule of finite index. We study the minimal index of such a free submodule, and determine it exactly in several cases, including for any cyclic extension of degree $p$ of $p$-adic fields. Let $L/K$ be a finite Galois extension of $p$-adic fields with group $G$. It is well-known that $\mathcal{O}_L$ contains a free $\mathcal{O}_K[G]$-submodule of finite index. We study the minimal index of such a free submodule, and determine it exactly in several cases, including for any cyclic extension of degree $p$ of $p$-adic fields. △ Less

Submitted 22 October, 2020; v1 submitted 16 May, 2020; originally announced May 2020.

Comments: 31 pages. v2: minor typos corrected (a factor 1/2 was missing in the statement of Proposition 3.5), results unchanged

Decomposing Jacobians via Galois covers

Authors: Davide Lombardo, Elisa Lorenzo García, Christophe Ritzenthaler, Jeroen Sijsling

Abstract: Let $φ:\,X\rightarrow Y$ be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of $φ$, up to isogeny, as the Jacobian of a quotient curve $C$ in the Galois closure of the composition of $φ$ with a well-chosen map $Y\rightarrow \mathbb{P}^1$. This method allows us to recover all previously obtained descriptions of a Prym v… ▽ More Let $φ:\,X\rightarrow Y$ be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of $φ$, up to isogeny, as the Jacobian of a quotient curve $C$ in the Galois closure of the composition of $φ$ with a well-chosen map $Y\rightarrow \mathbb{P}^1$. This method allows us to recover all previously obtained descriptions of a Prym variety in terms of a Jacobian that are known to us, besides yielding new applications. We also find algebraic equations for some of these new cases, including one where $X$ has genus $3$, $Y$ has genus $1$ and $φ$ is a degree $3$ map totally ramified over $2$ points. △ Less

Submitted 17 March, 2020; originally announced March 2020.

MSC Class: 14K20; 14K25; 14J15; 11F46; 14L24;

Explicit Kummer Theory for Elliptic Curves

Authors: Davide Lombardo, Sebastiano Tronto

Abstract: Let $E$ be an elliptic curve defined over a number field $K$, let $α\in E(K)$ be a point of infinite order, and let $N^{-1}α$ be the set of $N$-division points of $α$ in $E(\bar{K})$. We prove strong effective and uniform results for the degrees of the Kummer extensions $[K(E[N],N^{-1}α) : K(E[N])]$. When $K=\mathbb{Q}$, and under a minimal assumption on $α$, we show that the inequality… ▽ More Let $E$ be an elliptic curve defined over a number field $K$, let $α\in E(K)$ be a point of infinite order, and let $N^{-1}α$ be the set of $N$-division points of $α$ in $E(\bar{K})$. We prove strong effective and uniform results for the degrees of the Kummer extensions $[K(E[N],N^{-1}α) : K(E[N])]$. When $K=\mathbb{Q}$, and under a minimal assumption on $α$, we show that the inequality $[\mathbb{Q}(E[N],N^{-1}α) : \mathbb{Q}(E[N])] \geq cN^2$ holds with a constant $c$ independent of both $E$ and $α$. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Comments: 36 pages, comments are very welcome!

MSC Class: 11F80; 14L10; 14K15

Identifying central endomorphisms of an abelian variety via Frobenius endomorphisms

Authors: Edgar Costa, Davide Lombardo, John Voight

Abstract: Assuming the Mumford-Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of the fields obtained from its Frobenius endomorphisms. We then apply this result to exhibit a practical algorithm to compute this center. Assuming the Mumford-Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of the fields obtained from its Frobenius endomorphisms. We then apply this result to exhibit a practical algorithm to compute this center. △ Less

Submitted 26 October, 2020; v1 submitted 6 June, 2019; originally announced June 2019.

Comments: 12 pages, minor revision

MSC Class: 11g10; 11Y99; 14K15; 14H40

On the $L$-polynomials of curves over finite fields

Authors: Francesco Ballini, Davide Lombardo, Matteo Verzobio

Abstract: We discuss, in a non-Archimedean setting, the distribution of the coefficients of $L$-polynomials of curves of genus $g$ over $\mathbb{F}_q$. Among other results, this allows us to prove that the $\mathbb{Q}$-vector space spanned by such characteristic polynomials has dimension $g+1$. We also state a conjecture about the Archimedean distribution of the number of rational points of curves over fini… ▽ More We discuss, in a non-Archimedean setting, the distribution of the coefficients of $L$-polynomials of curves of genus $g$ over $\mathbb{F}_q$. Among other results, this allows us to prove that the $\mathbb{Q}$-vector space spanned by such characteristic polynomials has dimension $g+1$. We also state a conjecture about the Archimedean distribution of the number of rational points of curves over finite fields. △ Less

Submitted 24 January, 2025; v1 submitted 19 July, 2018; originally announced July 2018.

Comments: v4: Accepted version, to appear in Proceedings of the Royal Society of Edinburgh. At the suggestion of a referee we removed the appendix, which is still available as part of v3 of this paper here on the ArXiv

MSC Class: 11F80; 11G20; 11G10

Abelian varieties as automorphism groups of smooth projective varieties

Authors: Davide Lombardo, Andrea Maffei

Abstract: We determine which complex abelian varieties can be realized as the automorphism group of a smooth projective variety. We determine which complex abelian varieties can be realized as the automorphism group of a smooth projective variety. △ Less

Submitted 6 January, 2018; originally announced January 2018.

Comments: 9 pages. Comments are very welcome!

MSC Class: 14L30; 14K99; 14D99

Reductions of points on algebraic groups

Authors: Davide Lombardo, Antonella Perucca

Abstract: Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $α\in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak p$ of $K$ such that the reduction $(α\bmod \mathfrak p)$ is well-defined and has order coprime to $\ell$. This set admits a natural density. By refining the method of R.~Jones and J.~Rouse (2010… ▽ More Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $α\in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak p$ of $K$ such that the reduction $(α\bmod \mathfrak p)$ is well-defined and has order coprime to $\ell$. This set admits a natural density. By refining the method of R.~Jones and J.~Rouse (2010), we can express the density as an $\ell$-adic integral without requiring any assumption. We also prove that the density is always a rational number whose denominator (up to powers of $\ell$) is uniformly bounded in a very strong sense. For elliptic curves, we describe a strategy for computing the density which covers every possible case. △ Less

Submitted 1 August, 2017; v1 submitted 8 December, 2016; originally announced December 2016.

Comments: v2: we show that the densities we are interested in are rational numbers and prove results on the structure of their denominators. References updated to reflect small changes in https://arxiv.boxedpaper.com/abs/1612.02845

MSC Class: 11G05; 11G10; 11F80; 11R44; 11Y40

Journal ref: J. Inst. Math. Jussieu 20 (2021) 1637-1669

The 1-eigenspace for matrices in $\operatorname{GL}_2(\mathbb{Z}_\ell)$

Authors: Davide Lombardo, Antonella Perucca

Abstract: Fix some prime number $\ell$ and consider an open subgroup $G$ either of $\operatorname{GL}_2(\mathbb{Z}_\ell)$ or of the normalizer of a Cartan subgroup of $\operatorname{GL}_2(\mathbb{Z}_\ell)$. The elements of $G$ act on $(\mathbb{Z}/\ell^n \mathbb{Z})^2$ for every $n\geqslant 1$ and hence also on the direct limit, and we call 1-eigenspace the group of fixed points. We partition $G$ by consider… ▽ More Fix some prime number $\ell$ and consider an open subgroup $G$ either of $\operatorname{GL}_2(\mathbb{Z}_\ell)$ or of the normalizer of a Cartan subgroup of $\operatorname{GL}_2(\mathbb{Z}_\ell)$. The elements of $G$ act on $(\mathbb{Z}/\ell^n \mathbb{Z})^2$ for every $n\geqslant 1$ and hence also on the direct limit, and we call 1-eigenspace the group of fixed points. We partition $G$ by considering the possible group structures for the 1-eigenspace and show how to evaluate with a finite procedure the Haar measure of all sets in the partition. The results apply to all elliptic curves defined over a number field, where we consider the image of the $\ell$-adic representation and the Galois action on the torsion points of order a power of $\ell$. △ Less

Submitted 1 August, 2017; v1 submitted 8 December, 2016; originally announced December 2016.

Comments: Minor changes and other updates to incorporate referee comments. Final version

MSC Class: 28C10; 16S50; 11G05; 11F80

Journal ref: New York J. Math., 23:897-925, 2017

Computing twists of hyperelliptic curves

Authors: Davide Lombardo, Elisa Lorenzo García

Abstract: We give an efficient algorithm to compute equations of twists of hyperelliptic curves of arbitrary genus over any separable field (of characteristic different from 2), and we explicitly describe some interesting examples. We give an efficient algorithm to compute equations of twists of hyperelliptic curves of arbitrary genus over any separable field (of characteristic different from 2), and we explicitly describe some interesting examples. △ Less

Submitted 26 September, 2018; v1 submitted 15 November, 2016; originally announced November 2016.

Comments: Final version, accepted in the Journal of Algebra

Computing the geometric endomorphism ring of a genus 2 Jacobian

Authors: Davide Lombardo

Abstract: We describe an algorithm, based on the properties of the characteristic polynomials of Frobenius, to compute $\operatorname{End}_{\overline{K}}(A)$ when $A$ is the Jacobian of a nice genus-2 curve over a number field $K$. We use this algorithm to confirm that the description of the structure of the geometric endomorphism ring of $\operatorname{Jac}(C)$ given in the LMFDB ($L$-functions and modular… ▽ More We describe an algorithm, based on the properties of the characteristic polynomials of Frobenius, to compute $\operatorname{End}_{\overline{K}}(A)$ when $A$ is the Jacobian of a nice genus-2 curve over a number field $K$. We use this algorithm to confirm that the description of the structure of the geometric endomorphism ring of $\operatorname{Jac}(C)$ given in the LMFDB ($L$-functions and modular forms database) is correct for all the genus 2 curves $C$ currently listed in it. We also discuss the determination of the field of definition of the endomorphisms in some special cases. △ Less

Submitted 1 June, 2021; v1 submitted 30 October, 2016; originally announced October 2016.

Comments: Comments very welcome! v2. Updated to match published version

MSC Class: 11G10; 14K15; 11Y99

Journal ref: Math. Comp. 88 (2019), 889-929

The twisting Sato-Tate group of the curve $y^2 = x^{8} - 14x^4 + 1$

Authors: Sonny Arora, Victoria Cantoral-Farfán, Aaron Landesman, Davide Lombardo, Jackson S. Morrow

Abstract: We determine the twisting Sato-Tate group of the genus $3$ hyperelliptic curve $y^2 = x^{8} - 14x^4 + 1$ and show that all possible subgroups of the twisting Sato-Tate group arise as the Sato-Tate group of an explicit twist of $y^2 = x^{8} - 14x^4 + 1$. Furthermore, we prove the generalized Sato-Tate conjecture for the Jacobians of all $\mathbb Q$-twists of the curve $y^2 = x^{8} - 14x^4 + 1$. We determine the twisting Sato-Tate group of the genus $3$ hyperelliptic curve $y^2 = x^{8} - 14x^4 + 1$ and show that all possible subgroups of the twisting Sato-Tate group arise as the Sato-Tate group of an explicit twist of $y^2 = x^{8} - 14x^4 + 1$. Furthermore, we prove the generalized Sato-Tate conjecture for the Jacobians of all $\mathbb Q$-twists of the curve $y^2 = x^{8} - 14x^4 + 1$. △ Less

Submitted 26 July, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: 34 pages, comments welcome

On the analytic bijections of the rationals in $[0,1]$

Authors: Davide Lombardo

Abstract: We carry out an arithmetical study of analytic functions $f: [0,1] \to [0,1]$ that by restriction induce a bijection $\mathbb{Q} \cap [0,1] \to \mathbb{Q} \cap [0,1]$. The existence of such functions shows that, unless $f(x)$ has some additional property of an algebraic nature, very little can be said about the distribution of rational points on its graph. Some more refined questions involving hei… ▽ More We carry out an arithmetical study of analytic functions $f: [0,1] \to [0,1]$ that by restriction induce a bijection $\mathbb{Q} \cap [0,1] \to \mathbb{Q} \cap [0,1]$. The existence of such functions shows that, unless $f(x)$ has some additional property of an algebraic nature, very little can be said about the distribution of rational points on its graph. Some more refined questions involving heights are also explored. △ Less

Submitted 22 June, 2016; originally announced June 2016.

Comments: 16 pages, comments very welcome!

MSC Class: 11D75; 14G05; 14P15

On the uniform Rasmussen-Tamagawa conjecture in the CM case

Authors: Davide Lombardo

Abstract: We prove a uniform version of a finiteness conjecture due to Rasmussen and Tamagawa in the case of CM abelian varieties. This extends recent results concerning CM elliptic curves to CM abelian varieties of arbitrary dimension. We prove a uniform version of a finiteness conjecture due to Rasmussen and Tamagawa in the case of CM abelian varieties. This extends recent results concerning CM elliptic curves to CM abelian varieties of arbitrary dimension. △ Less

Submitted 29 November, 2015; originally announced November 2015.

Comments: 10 pages

MSC Class: 14K22; 11G10; 11F80

Explicit open image theorems for abelian varieties with trivial endomorphism ring

Authors: Matthew Bisatt, Davide Lombardo

Abstract: Let $K$ be a number field and $A/K$ be an abelian variety of dimension $g$. Assuming that the image $G_{\ell^\infty}$ of the natural Galois representation attached to the Tate module $T_\ell(A)$ is $\operatorname{GSp}_{2g}(\mathbb{Z}_\ell)$ for all sufficiently large primes $\ell$, we provide a semi-effective bound $\ell_0(A/K)$ such that $G_{\ell^\infty}=\operatorname{GSp}_{2g}(\mathbb{Z}_\ell)$… ▽ More Let $K$ be a number field and $A/K$ be an abelian variety of dimension $g$. Assuming that the image $G_{\ell^\infty}$ of the natural Galois representation attached to the Tate module $T_\ell(A)$ is $\operatorname{GSp}_{2g}(\mathbb{Z}_\ell)$ for all sufficiently large primes $\ell$, we provide a semi-effective bound $\ell_0(A/K)$ such that $G_{\ell^\infty}=\operatorname{GSp}_{2g}(\mathbb{Z}_\ell)$ for all primes $\ell > \ell_0(A/K)$. The bound is given in terms of the Faltings height of $A$ and of the cardinality of the residue field at a suitably generic place of $K$. We also describe an algorithmic approach to obtain better bounds for abelian threefolds over $\mathbb{Q}$. △ Less

Submitted 12 February, 2025; v1 submitted 6 August, 2015; originally announced August 2015.

Comments: v3: added new author, streamlined exposition, several new results. v2: the result now applies to abelian varieties of arbitrary dimension

MSC Class: 11G10; 14K15; 11F80

Roots of unity and torsion points of abelian varieties

Authors: Davide Lombardo

Abstract: We answer a question raised by Hindry and Ratazzi concerning the intersection between cyclotomic extensions of a number field $K$ and extensions of $K$ generated by torsion points of an abelian variety over $K$. We prove that a weak version of the property $(μ)$ they introduced holds for any abelian variety, while the same is not true for a slightly stronger version of the property they also consi… ▽ More We answer a question raised by Hindry and Ratazzi concerning the intersection between cyclotomic extensions of a number field $K$ and extensions of $K$ generated by torsion points of an abelian variety over $K$. We prove that a weak version of the property $(μ)$ they introduced holds for any abelian variety, while the same is not true for a slightly stronger version of the property they also considered. △ Less

Submitted 31 December, 2015; v1 submitted 3 July, 2015; originally announced July 2015.

Comments: 18 pages. v3: the result is now independent of the truth of the Mumford-Tate conjecture

MSC Class: 11J95; 11G10; 14K15

Galois representations attached to abelian varieties of CM type

Authors: Davide Lombardo

Abstract: Let $K$ be a number field, $A/K$ be an absolutely simple abelian variety of CM type, and $\ell$ be a prime number. We give explicit bounds on the degree over $K$ of the division fields $K(A[\ell^n])$, and when $A$ is an elliptic curve we also describe the full Galois group of $K(A_{\text{tors}})/K$. This makes explicit previous results of Serre and Ribet, and strengthens a theorem of Banaszak, Gaj… ▽ More Let $K$ be a number field, $A/K$ be an absolutely simple abelian variety of CM type, and $\ell$ be a prime number. We give explicit bounds on the degree over $K$ of the division fields $K(A[\ell^n])$, and when $A$ is an elliptic curve we also describe the full Galois group of $K(A_{\text{tors}})/K$. This makes explicit previous results of Serre and Ribet, and strengthens a theorem of Banaszak, Gajda and Krasoń. Our bounds are especially sharp in case the CM type of $A$ is nondegenerate. △ Less

Submitted 12 August, 2015; v1 submitted 15 June, 2015; originally announced June 2015.

Comments: v2: theorem 1.2 and exposition improved, fixed some minor mistakes

MSC Class: 14K22; 11F80; 11G10

An explicit open image theorem for products of elliptic curves

Authors: Davide Lombardo

Abstract: Let $K$ be a number field and $E_1, \ldots, E_n$ be elliptic curves over $K$, pairwise non-isogenous over $\overline{K}$ and without complex multiplication over $\overline{K}$. We study the image of the adelic representation of the absolute Galois group of $K$ naturally attached to $E_1 \times \cdots \times E_n$. The main result is an explicit bound for the index of this image in… ▽ More Let $K$ be a number field and $E_1, \ldots, E_n$ be elliptic curves over $K$, pairwise non-isogenous over $\overline{K}$ and without complex multiplication over $\overline{K}$. We study the image of the adelic representation of the absolute Galois group of $K$ naturally attached to $E_1 \times \cdots \times E_n$. The main result is an explicit bound for the index of this image in $\left\{ (x_1,\ldots,x_n) \in \operatorname{GL}_2(\hat{\mathbb{Z}})^n \bigm\vert \det x_i = \det x_j \;\; \forall i,j \right\}$. △ Less

Submitted 29 November, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 18 pages. v2: improved exposition

MSC Class: 11F80; 11G05

Pink-type results for general subgroup of $\operatorname{SL}_2(\mathbb{Z}_\ell)^n$

Authors: Davide Lombardo

Abstract: We study open subgroups $G$ of $\operatorname{SL}_2(\mathbb{Z}_\ell)^n$ in terms of some associated Lie algebras without assuming that $G$ is a pro-$\ell$ group, thereby extending a theorem of Pink. The result has applications to the study of families of Galois representations. We study open subgroups $G$ of $\operatorname{SL}_2(\mathbb{Z}_\ell)^n$ in terms of some associated Lie algebras without assuming that $G$ is a pro-$\ell$ group, thereby extending a theorem of Pink. The result has applications to the study of families of Galois representations. △ Less

Submitted 9 August, 2015; v1 submitted 16 January, 2015; originally announced January 2015.

Comments: v2: improved exposition, corrected a few minor mistakes

MSC Class: 20E18; 20F40; 20G25

Explicit surjectivity of Galois representations attached to abelian surfaces and $\operatorname{GL}_2$-varieties

Authors: Davide Lombardo

Abstract: Let $A$ be an absolutely simple abelian variety without (potential) complex multiplication, defined over the number field $K$. Suppose that either $\dim A=2$ or $A$ is of $\operatorname{GL}_2$-type: we give an explicit bound $\ell_0(A,K)$ such that, for every prime $\ell>\ell_0(A,K)$, the image of the absolute Galois group of $K$ in $\operatorname{Aut}(T_\ell(A))$ is as large as it is allowed to b… ▽ More Let $A$ be an absolutely simple abelian variety without (potential) complex multiplication, defined over the number field $K$. Suppose that either $\dim A=2$ or $A$ is of $\operatorname{GL}_2$-type: we give an explicit bound $\ell_0(A,K)$ such that, for every prime $\ell>\ell_0(A,K)$, the image of the absolute Galois group of $K$ in $\operatorname{Aut}(T_\ell(A))$ is as large as it is allowed to be by endomorphisms and polarizations. △ Less

Submitted 31 December, 2015; v1 submitted 6 November, 2014; originally announced November 2014.

Comments: v3: added a discussion of GL_2-varieties. Title changed accordingly

MSC Class: 11G10; 14K15; 11F80

Bounds for Serre's open image theorem for elliptic curves over number fields

Authors: Davide Lombardo

Abstract: For $E/K$ an elliptic curve without complex multiplication we bound the index of the image of $\operatorname{Gal}(\bar{K}/K)$ in $\operatorname{GL}_2(\hat{\mathbb{Z}})$, the representation being given by the action on the Tate modules of $E$ at the various primes. The bound is effective and only depends on $[K:\mathbb{Q}]$ and on the stable Faltings height of $E$. We also prove a result relating t… ▽ More For $E/K$ an elliptic curve without complex multiplication we bound the index of the image of $\operatorname{Gal}(\bar{K}/K)$ in $\operatorname{GL}_2(\hat{\mathbb{Z}})$, the representation being given by the action on the Tate modules of $E$ at the various primes. The bound is effective and only depends on $[K:\mathbb{Q}]$ and on the stable Faltings height of $E$. We also prove a result relating the structure of subgroups of $\operatorname{GL}_2(\mathbb{Z}_\ell)$ to certain Lie algebras naturally attached to them. △ Less

Submitted 8 October, 2015; v1 submitted 15 March, 2014; originally announced March 2014.

Comments: Final version, accepted for publication in Algebra and Number Theory

MSC Class: 11G05; 11F80

On the $\ell$-adic Galois representations attached to nonsimple abelian varieties

Authors: Davide Lombardo

Abstract: We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove arithmetical analogues of results shown by Moonen and Zarhin in the context of complex abelian varieties (of dimension at most 5). We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove arithmetical analogues of results shown by Moonen and Zarhin in the context of complex abelian varieties (of dimension at most 5). △ Less

Submitted 11 October, 2015; v1 submitted 6 February, 2014; originally announced February 2014.

Comments: Final version, to appear in the Annales de l'Institut Fourier