SearcharxivSearch

arXiv · 2209.14357

Covers of reductive groups and functoriality

Abstract

For a quasi-split connected reductive group $G$ over a local field $F$ we define a compact abelian group $\tilde\pi_1(G)$ and an extension $1 \to \tilde\pi_1(G) \to G(F)_\infty \to G(F) \to 1$ of topological groups equipped with a splitting over $G_\textrm{sc}(F)$. Any character $x : \tilde\pi_1(G) \to \mu_n(\mathbb{C})$ leads to an $n$-fold cover $G(F)_x$ of $G(F)$ via pushout. We define an $L$-group $^LG_x$ for this cover that is generally a non-split extension of $\textrm{Gal}(F^s/F)$ by $\hat G$. We prove a refined local Langlands correspondence for $G(F)_x$, assuming it is known for connected reductive groups with the same adjoint group as $G$. Motivation for this construction comes from considerations of Langlands' functoriality conjecture, where subgroups $\mathcal{H} \subset {^LG}$ of the $L$-group of $G$ arise that need not be $L$-groups of other reductive groups. If such a subgroup is full and intersects $\hat G$ in a connected reductive subgroup of maximal rank, we construct a natural triple $(H,x,\xi)$ consisting of a quasi-split connected reductive group $H$, a double cover $H(F)_x$, and an $L$-embedding $\xi : {^LH}_x \to {^LG}$ that is an isomorphism onto $\mathcal{H}$. We expect that genuine representations of $H(F)_x$ transfer functorially to representations of $G(F)$. In the special case of endoscopy, we show that the construction of transfer factors simplifies when the natural double cover $H(F)_x$ of the endoscopic group is used. The transfer factor becomes the product of two natural invariants that do not depend on auxiliary choices. One of them is closely related to Kottwitz's work on transfer factors for Lie algebras. The other one is not specific to the case of endoscopy, and will likely play a role in general functoriality questions. Our work is motivated by work of Adams and Vogan over the real numbers.

Explore related subjects

Keep this discovery

BibTeXRIS

Tasho Kaletha. 2022-09-28. Covers of reductive groups and functoriality. https://arxiv.org/abs/2209.14357

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

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT