← Back to arXiv
arXivNumber TheoryarXiv:2608.23886

Fourier Spectral Reciprocity and Canonical Hecke $L$-Functions

The paper develops a new mathematical tool called a "spectral reciprocity formula," which is a way of relating two different families of mathematical objects called L-functions. L-functions are complex analytic objects that encode deep arithmetic information about number systems and geometric objects like elliptic curves. The reciprocity formula here connects integrals taken over a quadratic field extension to a related family of quantities over a smaller base field, and it works without fixing the spectral parameter, making it flexible enough for a wide range of applications. Think of it as a sophisticated symmetry or duality that lets you transfer information from one mathematical setting to another.

The authors then apply this tool to a specific class of objects called canonical Hecke L-functions, defined over CM fields (fields with a special type of complex multiplication symmetry). Using the reciprocity formula, they derive explicit formulas for the average behavior of these L-functions, specifically at the central point of their domain, which is the most arithmetically significant location. These formulas work uniformly across different weights and twisting parameters, and importantly they do not require a restrictive technical condition (called a Heegner splitting hypothesis) that many earlier results depended on, making the results considerably more general.

Finally, combining these average-value formulas with existing bounds on how large L-functions can get (called subconvexity bounds), the authors prove that many of these L-functions are genuinely nonzero at the central point, and that their derivatives are often nonzero as well. This has concrete consequences for the arithmetic of abelian varieties, which are higher-dimensional generalizations of elliptic curves. Specifically, in a special case, the results imply that many quadratic twists of certain abelian varieties have a Mordell-Weil rank of exactly one, meaning their rational solutions form a group with one independent generator, extending earlier work of Masri and Yang.

Read original →