On the Northcott property for special values of L-functions
Fabien Pazuki, Riccardo Pengo
TL;DR
This work develops an axiomatic framework to study Northcott, Bogomolov, and Lehmer properties for special values of L-functions, focusing on the left of the critical strip for pure motives and on key cases inside the strip such as Dedekind zeta-values. The authors prove a Northcott property for left-of-strip special values of L-functions attached to pure motives of fixed weight, under expected motivic hypotheses, and deduce unconditional consequences for abelian varieties via modularity results. They also analyze the Dedekind zeta-function across critical-strip boundaries, proving Northcott for $\zeta_F^{\ast}(0)$ but not for $\zeta_F^{\ast}(1)$, with explicit effective bounds; they discuss analogous phenomena for L-values of abelian varieties and the BSD framework. Overall, the paper highlights deep connections between height theory, motivic L-values, and arithmetic invariants (conductors, discriminants, regulators), suggesting both how L-values can serve as heights and how these properties reflect fundamental arithmetic structures. The results pave the way for further exploration of motivic heights and their diophantine consequences, including potential extensions to mixed motives and more general L-function families.
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 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.
