Search arXivSearch

arXiv · 2510.18994

Oscillations and first-ever negative Fourier coefficients of symmetric square L-functions over sparse set

Abstract

Let $sym^{2} f$ denote the symmetric square lift of a Hecke eigenform $f \in S_{k}(Γ_{0}(N))$ with the $n^{\rm th}$-Fourier coefficients $ λ_{sym^{2}f}(n)$. In this article, we prove an estimate for the first moment of the sequence $\{ λ_{sym^{2}f}(\mathcal{Q}(\underline{x}))\}_{\mathcal{Q} \in \mathcal{S}_{D}, \underline{x} \in \mathbb{Z}^{2}}$ where $\mathcal{S}_{D}$ denotes the set of in-equivalent reduced forms of the discriminant $D$. More precisely, we establish an estimate for the following sum: \begin{equation*} \begin{split} S(sym^{2}f, D; X ) &= \sideset{}{^{\flat }}\sum_{\substack{\mathcal{Q}(\underline{x}) \leq X \\ \underline{x} \in \mathbb{Z}^{2} ,~ \mathcal{Q} \in \mathcal{S}_{D} \\ \gcd(\mathcal{Q}(\underline{x}),N) =1 }} λ_{sym^{2}f}(\mathcal{Q}(\underline{x})), \end{split} \end{equation*} Moreover, we consider a question concerning the behavior of signs of the Fourier coefficients $λ_{sym^{2}f}(n),$ supported on the set of integers represented by reduced forms of the discriminant $D$. We determine the size of $n_{sym^{2}f, D}$ (see definition before \thmref{ExtMatKLSW}), in terms of the conductor of the associated $L$-functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Srinivas Kotyada, Lalit Vaishya. 2025-10-21. Oscillations and first-ever negative Fourier coefficients of symmetric square L-functions over sparse set. https://arxiv.org/abs/2510.18994

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