arXiv Science⌕ Search

arXiv · 2610.08633

Local newforms, Paškūnas-Stevens Whittaker functions, and explicit test vectors for $\mathrm{GL}(n)\times \mathrm{GL}(n)$

Abstract

Recently, Girsch-Kurinczuk have obtained new formulas for local newforms in depth-zero and minimax integral-depth cuspidal representations of $p$-adic $\mathrm{GL}(n)$. One of their main results is an averaging formula which provides an integral representation of the Whittaker newform in terms of the Paškūnas-Stevens Whittaker function. In the present paper, we first prove a reverse averaging formula by establishing an integral representation of the Paškūnas-Stevens Whittaker function in terms of the Whittaker newform. Together, these formulas give an explicit two-way passage between these two distinguished vectors. Finally, we use our averaging formula and earlier work of Kurinczuk-Matringe to give new explicit test vectors in terms of Whittaker newforms for such cuspidal $\mathrm{GL}(n)\times\mathrm{GL}(n)$ pairs, whenever their Rankin-Selberg $L$-factor is not identically equal to $1$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexandros Groutides. 2026-10-06. Local newforms, Paškūnas-Stevens Whittaker functions, and explicit test vectors for $\mathrm{GL}(n)\times \mathrm{GL}(n)$. https://arxiv.org/abs/2610.08633

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

KEEP EXPLORING

Related papers

Compatibility of the Fargues-Scholze and Gan-Takeda Local Langlands

Given a prime $p$, a finite extension $L/\mathbb{Q}_{p}$, a connected $p$-adic reductive group $G/L$, and a smooth irreducible representation $π$ of $G(L)$, Fargues-Scholze recently attached a semisimple Weil parameter to such $π$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues-Scholze and Hansen-Kaletha-Weinstein showed that the correspondence is compatible with the correspondence of Harris-Taylor/Henniart. We verify a similar compatibility for $G = \mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where $D$ is the quaternion division algebra over $L$, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan-Takeda and Gan-Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated to $\mathrm{GSp}_{4}$, using basic uniformization of abelian type Shimura varieties due to Shen, combined with various global results of Kret-Shin and Sorensen on Galois representations in the cohomology of global Shimura varieties associated to inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues-Scholze construction explored recently by Hansen, to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.

math.NT↗

Period integrals of distinguished polarised strongly tempered hyperspherical varieties

Recent work of Mao, Wan and Zhang has provided a complete list of strongly tempered hyperspherical varieties and they proposed some new period integrals. In this paper, I will present new period integrals of distinguished polarised strongly tempered hyperspherical varieties and discuss the L-functions these integrals represent, as examples of the Relative Langlands Duality.

math.NT↗

Harder's conjecture and Hermitian automorphic forms

Let $k\ge4$ and $j\ge2$ be integers with $j$ even. Harder's conjecture predicts a congruence between a primitive elliptic cusp form of weight $2k+j-2$ and a degree-two vector-valued Siegel Hecke cusp eigenform of weight ${\det}^{k}\mathrm{Sym}^{j}$. We prove the corresponding Harder-type congruence for the spinor $L$-polynomials under explicit arithmetic hypotheses on a congruence prime and an auxiliary imaginary quadratic field. Our approach uses Hermitian automorphic forms on the quasi-split unitary group $\mathrm{U}_{2,2}$. We construct Hermitian spin lifts of Siegel cusp forms and show that the Hermitian cusp form produced by a Hermitian Klingen-Eisenstein congruence lies in the image of this lift. The key step is to prove that the Galois representation attached to this Hermitian cusp form is conjugate invariant. For this, we combine the endoscopic classification for quasi-split unitary groups with Selmer-group vanishing results. This allows us to identify the Hermitian cusp form as the spin lift of a Siegel cusp eigenform and thereby obtain the Harder-type congruence. The argument applies uniformly to both even and odd $k$.

math.NT↗