Showing 1–8 of 8 results for author: Pengo, R

On Diophantine properties for values of Dedekind zeta functions

Authors: Jerson Caro, Fabien Pazuki, Riccardo Pengo

Abstract: We study the Northcott and Bogomolov property for special values of Dedekind $ζ$-functions at real values $σ\in \mathbb{R}$. We prove, in particular, that the Bogomolov property is not satisfied when $σ\geq \frac{1}{2}$. If $σ> 1$, we produce certain families of number fields having arbitrarily large degrees, whose Dedekind $ζ$-functions $ζ_K(s)$ attain arbitrarily small values at $s = σ$. On the… ▽ More We study the Northcott and Bogomolov property for special values of Dedekind $ζ$-functions at real values $σ\in \mathbb{R}$. We prove, in particular, that the Bogomolov property is not satisfied when $σ\geq \frac{1}{2}$. If $σ> 1$, we produce certain families of number fields having arbitrarily large degrees, whose Dedekind $ζ$-functions $ζ_K(s)$ attain arbitrarily small values at $s = σ$. On the other hand, if $\frac{1}{2} \leq σ\leq 1$, we construct suitable families of quadratic number fields, employing either Soundararajan's resonance method, which works when $\frac{1}{2} \leq σ< 1$, or results on random Euler products by Granville and Soundararajan, and by Lamzouri, which work when $\frac{1}{2} < σ\leq 1$. We complete the study by proving that the Dedekind $ζ$ function together with the degree satisfies the Northcott property for every complex $s\in{\mathbb{C}}$ such that $\mathrm{Re}(s) <0$, generalizing previous work of Généreux and Lalín. △ Less

Submitted 28 February, 2025; originally announced February 2025.

Comments: Comments are very welcome!

Report number: IRN GANDA, ERC-2020-STG-945714, ANR-10-LABX-0070, ANR-11-IDEX-0007, ANR-21-CE40-0015, MPIM-Bonn-2025 MSC Class: Primary: 11G50; 11R42; Secondary: 11F67; 11M06; 11S40

Irreducibility criteria for the preimages of a transverse variety under endomorphisms of products of elliptic curves

Authors: Riccardo Pengo, Evelina Viada

Abstract: We provide two different proofs of an irreducibility criterion for the preimages of a transverse subvariety of a product of elliptic curves under a diagonal endomorphism of sufficiently large degree.For curves, we present an arithmetic proof of the aforementioned irreducibility result, which enlightens connections to methods used in the context of the Torsion Anomalous Conjecture. On the other han… ▽ More We provide two different proofs of an irreducibility criterion for the preimages of a transverse subvariety of a product of elliptic curves under a diagonal endomorphism of sufficiently large degree.For curves, we present an arithmetic proof of the aforementioned irreducibility result, which enlightens connections to methods used in the context of the Torsion Anomalous Conjecture. On the other hand, we generalize the result for higher dimensional varieties using a more geometric approach. Finally, we give some applications of these results. More precisely, we establish the irreducibility of some explicit families of polynomials, we provide new estimates for the normalized heights of certain intersections and images, and we give new lower bounds for the essential minima of images. △ Less

Submitted 19 September, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: Final version, to appear in the Kyoto Journal of Mathematics

Report number: MPIM-Bonn-2023, ANR-21-CE40-0015, IRN GANDA MSC Class: 14K12; 11G50; 14G40; 14K15

Spanning trees in $\mathbb{Z}$-covers of a finite graph and Mahler measures

Authors: Riccardo Pengo, Daniel Vallières

Abstract: Using the special value at $u=1$ of Artin-Ihara $L$-functions, we associate to every $\mathbb{Z}$-cover of a finite connected graph a polynomial which we call the \emph{Ihara polynomial}. We show that the number of spanning trees for the finite intermediate graphs of such a cover can be expressed in terms of the Pierce-Lehmer sequence associated to a factor of the Ihara polynomial. This allows us… ▽ More Using the special value at $u=1$ of Artin-Ihara $L$-functions, we associate to every $\mathbb{Z}$-cover of a finite connected graph a polynomial which we call the \emph{Ihara polynomial}. We show that the number of spanning trees for the finite intermediate graphs of such a cover can be expressed in terms of the Pierce-Lehmer sequence associated to a factor of the Ihara polynomial. This allows us to express the asymptotic growth of the number of spanning trees in terms of the Mahler measure of this polynomial. Specializing to the situation where the base graph is a bouquet or the dumbbell graph gives us back previous results in the literature for circulant and $I$-graphs (including the generalized Petersen graphs). We also express the $p$-adic valuation of the number of spanning trees of the finite intermediate graphs in terms of the $p$-adic Mahler measure of the Ihara polynomial. When applied to a particular $\mathbb{Z}$-cover, our result gives us back Lengyel's calculation of the $p$-adic valuations of Fibonacci numbers. △ Less

Submitted 4 July, 2024; v1 submitted 24 October, 2023; originally announced October 2023.

Comments: Final version. To appear in the Journal of the Australian Mathematical Society

Report number: MPIM-Bonn-2023, ANR-21-CE40-0015, IRN GANDA MSC Class: 05C25; 11B83; 11R06

Journal ref: Journal of the Australian Mathematical Society, Vol. 118, No. 1 (2025)

Limits of Mahler measures in multiple variables

Authors: François Brunault, Antonin Guilloux, Mahya Mehrabdollahei, Riccardo Pengo

Abstract: We prove that certain sequences of Laurent polynomials, obtained from a fixed Laurent polynomial P by monomial substitutions, give rise to sequences of Mahler measures which converge to the Mahler measure of P. This generalizes previous work of Boyd and Lawton, who considered univariate monomial substitutions. We provide moreover an explicit upper bound for the error term in this convergence, gene… ▽ More We prove that certain sequences of Laurent polynomials, obtained from a fixed Laurent polynomial P by monomial substitutions, give rise to sequences of Mahler measures which converge to the Mahler measure of P. This generalizes previous work of Boyd and Lawton, who considered univariate monomial substitutions. We provide moreover an explicit upper bound for the error term in this convergence, generalizing work of Dimitrov and Habegger, and a full asymptotic expansion for a family of 2-variable polynomials, whose Mahler measures were studied independently by the third author. △ Less

Submitted 27 June, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

Comments: In V2, the error term has been improved with respect to V1, with a new bound of independant interest given in Theorem 4.6. This bound replaces a reference to Dimitrov-Habegger in the previous version, and follows closely their method

Report number: ANR-10-LABX-0070, ANR-11-IDEX-0007, ANR-21-CE40-0015 MSC Class: 11R06

Journal ref: Annales de l'Institut Fourier, Vol. 74, No. 4 (2024)

How big is the image of the Galois representations attached to CM elliptic curves?

Authors: Francesco Campagna, Riccardo Pengo

Abstract: Using an analogue of Serre's open image theorem for elliptic curves with complex multiplication, one can associate to each CM elliptic curve $E$ defined over a number field $F$ a natural number $\mathcal{I}(E/F)$ which describes how big the image of the Galois representation associated to $E$ is. We show how one can compute $\mathcal{I}(E/F)$, using a closed formula that we obtain from the classic… ▽ More Using an analogue of Serre's open image theorem for elliptic curves with complex multiplication, one can associate to each CM elliptic curve $E$ defined over a number field $F$ a natural number $\mathcal{I}(E/F)$ which describes how big the image of the Galois representation associated to $E$ is. We show how one can compute $\mathcal{I}(E/F)$, using a closed formula that we obtain from the classical theory of complex multiplication. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: 13 pages. Accepted for publication in the Proceedings of the 18th Conference on Arithmetic, Geometry, Cryptography, and Coding Theory

Report number: ANR-10-LABX-0070, ANR-11-IDEX-0007, ANR-20-CE40-0003 MSC Class: Primary: 11G05; 14K22; 11F80; 11G15. Secondary: 11Y40

Journal ref: Contemporary Mathematics, Vol. 779 (2022), pp. 41-56

On the Northcott property for special values of L-functions

Authors: Fabien Pazuki, Riccardo Pengo

Abstract: We propose an investigation on the Northcott, Bogomolov and Lehmer properties for special values of L-functions. We first introduce an axiomatic approach to these three properties. We then focus on the Northcott property for special values of L-functions. In the case of L-functions of pure motives, we prove a Northcott property for special values located at the left of the critical strip, assuming… ▽ More We propose an investigation on the Northcott, Bogomolov and Lehmer properties for special values of L-functions. We first introduce an axiomatic approach to these three properties. We then focus on the Northcott property for special values of L-functions. In the case of L-functions of pure motives, we prove a Northcott property for special values located at the left of the critical strip, assuming that the L-functions in question satisfy some expected properties. Inside the critical strip, focusing on the Dedekind zeta function of number fields, we prove that such a property does not hold for the special value at one, but holds for the special value at zero, and we give a related quantitative estimate in this case. △ Less

Submitted 21 November, 2023; v1 submitted 1 December, 2020; originally announced December 2020.

Comments: 44 pages. Accepted for publication in the Revista Matemática Iberoamericana

Report number: ANR-10-LABX-0070, ANR-17-CE40-0012, GDRI/IRN GANDA MSC Class: 11G40; 11G50; 14K05; 11F67

Journal ref: Revista Matematica Iberoamericana, Vol. 40, No. 1 (2024)

Entanglement in the family of division fields of elliptic curves with complex multiplication

Authors: Francesco Campagna, Riccardo Pengo

Abstract: For every elliptic curve $E$ which has complex multiplication (CM) and is defined over a number field $F$ containing the CM field $K$, we prove that the family of $p^{\infty}$-division fields of $E$, with $p \in \mathbb{N}$ prime, becomes linearly disjoint over $F$ after removing an explicit finite subfamily of fields. We then give a necessary condition for this finite subfamily to be entangled ov… ▽ More For every elliptic curve $E$ which has complex multiplication (CM) and is defined over a number field $F$ containing the CM field $K$, we prove that the family of $p^{\infty}$-division fields of $E$, with $p \in \mathbb{N}$ prime, becomes linearly disjoint over $F$ after removing an explicit finite subfamily of fields. We then give a necessary condition for this finite subfamily to be entangled over $F$, which is always met when $F = K$. In this case, and under the further assumption that the elliptic curve $E$ is obtained as a base-change from $\mathbb{Q}$, we describe in detail the entanglement in the family of division fields of $E$. △ Less

Submitted 2 September, 2021; v1 submitted 1 June, 2020; originally announced June 2020.

Comments: 35 pages. Final version, to appear in Pacific Journal of Mathematics

Report number: ANR-10-LABX-0070 MSC Class: Primary: 11G05; 14K22; 11G15; Secondary: 11S15; 11F80

Journal ref: Pacific J. Math. 317 (2022) 21-66

Mahler's measure and elliptic curves with potential complex multiplication

Authors: Riccardo Pengo

Abstract: Given an elliptic curve $E$ defined over $\mathbb{Q}$ which has potential complex multiplication by the ring of integers $\mathcal{O}_K$ of an imaginary quadratic field $K$ we construct a polynomial $P_E \in \mathbb{Z}[x,y]$ which is a planar model of $E$ and such that the Mahler measure $m(P_E) \in \mathbb{R}$ is related to the special value of the $L$-function $L(E,s)$ at $s = 2$. Given an elliptic curve $E$ defined over $\mathbb{Q}$ which has potential complex multiplication by the ring of integers $\mathcal{O}_K$ of an imaginary quadratic field $K$ we construct a polynomial $P_E \in \mathbb{Z}[x,y]$ which is a planar model of $E$ and such that the Mahler measure $m(P_E) \in \mathbb{R}$ is related to the special value of the $L$-function $L(E,s)$ at $s = 2$. △ Less

Submitted 8 May, 2020; originally announced May 2020.

Comments: 24 pages. Comments are very welcome!

Report number: ANR-10-LABX-0070 MSC Class: 11R06; 19F27; 14K22; 11S40