Search arXivSearch

arXiv · 2405.15597

One-level densities in families of Grössencharakters associated to CM elliptic curves

Abstract

We study the low-lying zeros of a family of $L$-functions attached to the CM elliptic curve $E_d \;:\; y^2 = x^3 - dx$, for each odd and square-free integer $d$. Specifically, upon writing the $L$-function of $E_d$ as $L(s-\frac12, ξ_d)$ for the appropriate Grössencharakter $ξ_d$ of conductor $\mathfrak{f}_d$, we consider the collection $\mathcal{F}_d$ of $L$-functions attached to $ξ_{d,k}$, $k \geq 1$, where for each integer $k$, $ξ_{d, k}$ denotes the primitive character inducing $ξ_d^k$. We observe that $25\%$ of the $L$-functions in $\mathcal{F}_d$ have negative root number. $\mathcal{F}_d$ is thus not one of the essentially homogeneous families of the Universality Conjecture of Sarnak, Shin and Templier, with unitary, symplectic or orthogonal (odd or even) symmetry type. By computing the one-level density in the family of $L$-functions in $\mathcal{F}_{d}$ with conductor at most $K^2 \mathrm N (\mathfrak{f}_d)$, we find that $\mathcal{F}_d$ naturally decomposes into subfamilies: more specifically, a collection of symplectic ($L(s, ξ_{d,k})$ for $k \equiv α\bmod 8$, $α$ even) and orthogonal ($L(s, ξ_{d,k})$ for $k \equiv α\bmod 8$, $α$ odd) subfamilies. For each such subfamily, we moreover compute explicit lower order terms in decreasing powers of $\log (K^2 \mathrm N(\mathfrak{f}_d))$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chantal David, Lucile Devin, Ezra Waxman. 2025-12-19. One-level densities in families of Grössencharakters associated to CM elliptic curves. https://doi.org/10.1112/mtk.70067

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

math.NT