arXiv Science⌕ Search

arXiv · 2610.20182

New bounds for $\mathrm{GL}(3)\times\mathrm{GL}(2)$ shifted convolution sums

Abstract

Shifted convolution sums of $\mathrm{GL}(3)\times\mathrm{GL}(2)$ type have been extensively studied in several important settings, while a number of natural cases remain open. In this paper, we first revisit the shifted convolution sums involving $λ_π(1,n)$ and the divisor function $d(n)$, improving the recent power saving of $1/42$ obtained by Blomer and Li to $1/22$. We also treat the corresponding sums involving $λ_π(1,n)$ and $r(n,\mathcal{Q})$, settling a previously open case and obtaining a power saving of $1/22$. Here $λ_π(1,n)$ denotes the normalized Fourier coefficients of a Hecke--Maass cusp form $π$ on $\mathrm{SL}(3,\mathbb{Z})$, and $r(n,\mathcal{Q})$ denotes the number of representations of a positive integer $n$ by a positive definite integral binary quadratic form $\mathcal{Q}$. The proof combines two circle methods with a different organization of the major-arc analysis. A key point is that the nonzero Poisson frequencies are kept together in a single coefficient vector, rather than estimated separately, which allows them to be controlled by a finite matrix norm. The zero Poisson frequency is treated separately: its contribution is independent of the reduced residue class, and its arithmetic mean cancels the constant term in the complementary Jutila weight before absolute values are taken. We make this cancellation explicit, including the relevant normalization and local factors. The same mechanism extends to the binary quadratic-form setting, while the remaining Jutila contribution is handled by the available correlation estimates.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Guangwei Hu, Guangshi Lü. 2026-10-14. New bounds for $\mathrm{GL}(3)\times\mathrm{GL}(2)$ shifted convolution sums. https://arxiv.org/abs/2610.20182

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

KEEP EXPLORING

Related papers

Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes

Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

math.NT↗

Root numbers for twisted Fermat quotient curves II

This is a sequel to the previous work of the author Yanagihara (2025). Let $\ell$ be an odd prime, let $N \geq 1$ be an integer, and let $δ\geq 1$ be an $\ell^N$-th-power-free integer. Let $r,s,t>0$ be integers satisfying $r+s+t=\ell^N$. In Yanagihara (2025), the author computed the root number of the Fermat quotient curve $y^{\ell^N}=x^r(δ-x)^s$ under the assumptions that $\ell\nmid rst$ and that $\operatorname{ord}_{\ell}(δ)=0$ or $\ell\nmid \operatorname{ord}_{\ell}(δ)$. In this paper, we study the case where the technical assumption $\ell\nmid rst$ is dropped. As one such case, we compute the root number when $\ell^{N-1}\| r$ and $\ell\nmid stδ$.

math.NT↗

Potential semistability of Finite height Galois representations: Relative case

Let $K$ be a $p$-adic field. We define the notion of finite height for an étale $\mathbb{Z}_p$-local system on a smooth affinoid adic space $\mathcal{X}$ over $K$ with semistable reduction. Using analytic prismatic $F$-crystals and purity results of Du-Liu-Moon-Shimizu (arXiv:2404.19603), we prove that if an étale $\mathbb{Z}_p$-local system over $\mathcal{X}$ is of finite height then its pullback along a finite étale cover of $\mathcal{X}$ is semistable. This answers a question of Tong Liu in the relative setting.

math.NT↗