arXiv subjects

Gilbert Moss

Publications and source records attributed to Gilbert Moss.

14 recordsLinked to original sources

arXiv2024

Local Langlands in families: The banal case

We state a conjecture, local Langlands in families, connecting the centre of the category of smooth representations on $\mathbb{Z}[\sqrt{q}^{-1}]$-modules of a quasi-split $p$-adic group $\mathrm{G}$ (where $q$ is the cardinality of the residue field of the underlying local field), the ring of global functions on the stack of Langlands parameters for $\mathrm{G}$ over $\mathbb{Z}[\sqrt{q}^{-1}]$, and the endomorphisms of a Gelfand-Graev representation for $\mathrm{G}$. For a class of classical $p$-adic groups (symplectic, unitary, or split odd special orthogonal groups), we prove this conjecture after inverting an integer depending only on $\mathrm{G}$. Along the way, we show that the local Langlands correspondence for classical $p$-adic groups (1) preserves integrality of $\ell$-adic representations; (2) satisfies an "extended" (generic) packet conjecture; (3) is compatible with parabolic induction up to semisimplification (generalizing a result of Moussaoui), hence induces a semisimple local Langlands correspondence; and (4) the semisimple correspondence is compatible with automorphisms of $\mathbb{C}$ fixing $\sqrt{q}$.

math.RT↗

arXiv2023

Towards a theta correspondence in families for type II dual pairs

Let $R$ be a commutative $\mathbb{Z}[1/p]$-algebra, let $m \leq n$ be positive integers, and let $G_n=\text{GL}_n(F)$ and $G_m=\text{GL}_m(F)$ where $F$ is a $p$-adic field. The Weil representation is the smooth $R[G_n\times G_m]$-module $C_c^{\infty}(\text{Mat}_{n\times m}(F),R)$ with the action induced by matrix multiplication. When $R=\mathbb{C}$ or is any algebraically closed field of banal characteristic compared to $G_n$ and $G_m$, the local theta correspondence holds by the work of Howe and M\'inguez. At the level of supercuspidal support, we interpret the theta correspondence as a morphism of varieties $\theta_R$, which we describe as an explicit closed immersion. For arbitrary $R$, we construct a canonical ring homomorphism $\theta^\#_{R} : \mathfrak{Z}_{R}(G_n)\to \mathfrak{Z}_{R}(G_m)$ that controls the action of the center $\mathfrak{Z}_{R}(G_n)$ of the category of smooth $R[G_n]$-modules on the Weil representation. We use the rank filtration of the Weil representation to first obtain $\theta_{\mathbb{Z}[1/p]}^\#$, then obtain $\theta^\#_R$ for arbitrary $R$ by proving $\mathfrak{Z}_R(G_n)$ is compatible with scalar extension. In particular, the map $\text{Spec}(\mathfrak{Z}_R(G_m))\to \text{Spec}(\mathfrak{Z}_R(G_n))$ induced by $\theta_R^\#$ recovers $\theta_R$ in the $R=\mathbb{C}$ case and in the banal case. We use gamma factors to prove $\theta_R^\#$ is surjective for any $R$. Finally, we describe $\theta^\#_R$ in terms of the moduli space of Langlands parameters and use this description to give an alternative proof of surjectivity in the tamely ramified case.

math.RT↗

arXiv2023

Mod $\ell$ gamma factors and a converse theorem for finite general linear groups

The local converse theorem for Rankin-Selberg gamma factors of $\mathrm{GL}_2(\mathbb{F}_q)$ proved by Piatetski-Shapiro over $\mathbb{C}$ no longer holds after reduction modulo $\ell \neq p$. To remedy this, we construct new $\mathrm{GL}_n \times \mathrm{GL}_m$ gamma factors valued in arbitrary $\mathbb{Z}[1/p, \zeta_p]$-algebras for Whittaker-type representations, show that they satisfy a functional equation, and then prove a $\mathrm{GL}_n \times \mathrm{GL}_{n-1}$ converse theorem for irreducible cuspidal representations. In the $\mathrm{GL}_2 \times \mathrm{GL}_1$ case, we define an alternative "new" gamma factor, which takes values in $k$ and satisfies a converse theorem that matches the converse theorem in characteristic $0$.

math.NT↗

arXiv2022

Finiteness for Hecke algebras of $p$-adic groups

Let $G$ be a reductive group over a non-archimedean local field $F$ of residue characteristic $p$. We prove that the Hecke algebras of $G(F)$ with coefficients in a ${\mathbb Z}_{\ell}$-algebra $R$ for $\ell$ not equal to $p$ are finitely generated modules over their centers, and that these centers are finitely generated $R$-algebras. Following Bernstein's original strategy, we then deduce that "second adjointness" holds for smooth representations of $G(F)$ with coefficients in any ring $R$ in which $p$ is invertible. These results had been conjectured for a long time. The crucial new tool that unlocks the problem is the Fargues-Scholze morphism between a certain "excursion algebra" defined on the Langlands parameters side and the Bernstein center of $G(F)$. Using this bridge, our main results are representation theoretic counterparts of the finiteness of certain morphisms between coarse moduli spaces of local Langlands parameters that we also prove here, which may be of independent interest

math.RT↗

arXiv2020

Moduli of Langlands Parameters

Let $F$ be a nonarchimedean local field of residue characteristic $p$, let $\hat{G}$ be a split reductive group over $\mathbb{Z}[1/p]$ with an action of $W_F$, and let $^LG$ denote the semidirect product $\hat{G}\rtimes W_F$. We construct a moduli space of Langlands parameters $W_F \to {^LG}$, and show that it is locally of finite type and flat over $\mathbb{Z}[1/p]$, and that it is a reduced local complete intersection. We give parameterizations of the connected components and the irreducible components of the geometric fibers of this space, and parameterizations of the connected components of the total space over $\overline{\mathbb{Z}}[1/p]$ (under mild hypotheses) and over $\overline{\mathbb{Z}}_{\ell}$ for $\ell\neq p$. In each case, we show precisely how each connected component identifies with the "principal" connected component attached to a smaller split reductive group scheme. Finally we study the GIT quotient of this space by $\hat{G}$ and give a complete description of its fibers up to homeomorphism, and a complete description of its ring of functions after inverting an explicit finite set of primes depending only on $^LG$.

math.NT↗

arXiv2020

The Kirillov model in families

Let $F$ be a non-archimedean local field, let $k$ be an algebraically closed field of characteristic $\ell$ different from the residual characteristic of $F$, and let $A$ be a commutative Noetherian $W(k)$-algebra, where $W(k)$ denotes the Witt vectors. Using the Rankin-Selberg functional equations and extending recent results of the second author, we show that if $V$ is an $A[\text{GL}_n(F)]$-module of Whittaker type, then the mirabolic restriction map on its Whittaker space is injective. This gives a new quick proof of the existence of Kirillov models for representations of Whittaker type, including complex representations, which generalizes to the $\ell$-modular and families setting, in contrast with the previous proofs. In the special case where $A=k=\overline{\mathbb{F}_{\ell}}$ and $V$ is irreducible generic, our result in particular answers a question of Vign\'eras from 1989.

math.NT↗

arXiv2019

The universal unramified module for GL(n) and the Ihara conjecture

Let $F$ be a finite extension of $\mathbb{Q}_p$. Let $W(k)$ denote the Witt vectors of an algebraically closed field $k$ of characteristic $\ell$ different from $p$ and $2$, and let $\mathcal{Z}$ be the spherical Hecke algebra for $GL_n(F)$ over $W(k)$. Given a Hecke character $\lambda:\mathcal{Z}\to R$, where $R$ is an arbitrary $W(k)$-algebra, we introduce the universal unramified module $\mathcal{M}_{\lambda,R}$. We show $\mathcal{M}_{\lambda,R}$ embeds in its Whittaker space and is flat over $R$, resolving a conjecture of Lazarus. It follows that $\mathcal{M}_{\lambda,k}$ has the same semisimplification as any unramified principle series with Hecke character $\lambda$. In the setting of mod-$\ell$ automorphic forms, Clozel, Harris, and Taylor formulate a conjectural analogue of Ihara's lemma. It predicts that every irreducible submodule of a certain cyclic module $V$ of mod-$\ell$ automorphic forms is generic. Our result on the Whittaker model of $\mathcal{M}_{\lambda,k}$ reduces the Ihara conjecture to the statement that $V$ is generic.

math.NT↗

arXiv2019

Characterizing the mod-$\ell$ local Langlands correspondence by nilpotent gamma factors

Let $F$ be a $p$-adic field and choose $k$ an algebraic closure of $\mathbb{F}_{\ell}$, with $\ell$ different from $p$. We define ``nilpotent lifts'' of irreducible generic $k$-representations of $GL_n(F)$, which take coefficients in Artin local $k$-algebras. We show that an irreducible generic $\ell$-modular representation $\pi$ of $GL_n(F)$ is uniquely determined by its collection of Rankin--Selberg gamma factors $\gamma(\pi\times \widetilde{\tau},X,\psi)$ as $\widetilde{\tau}$ varies over nilpotent lifts of irreducible generic $k$-representations $\tau$ of $GL_t(F)$ for $t=1,\dots, \lfloor \frac{n}{2}\rfloor$. This gives a characterization of the mod-$\ell$ local Langlands correspondence in terms of gamma factors, assuming it can be extended to a surjective local Langlands correspondence on nilpotent lifts.

math.NT↗

arXiv2017

On the local converse theorem and the descent theorem in families

We prove an analogue of Jacquet's conjecture on the local converse theorem for \ell-adic families of co-Whittaker representations of GL_n(F), where F is a finite extension of Q_p and \ell does not equal p. We also prove an analogue of Jacquet's conjecture for a descent theorem, which asks for the smallest collection of gamma factors determining the subring of definition of an \ell-adic family. These two theorems are closely related to the local Langlands correspondence in \ell-adic families.

math.NT↗

arXiv2016

Converse theorems and the local Langlands correspondence in families

We prove a descent criterion for certain families of smooth representations of GL_n(F) (F a p-adic field) in terms of the gamma factors of pairs constructed in previous work of the second author. We then use this descent criterion, together with a theory of gamma factors for families of representations of the Weil group W_F (developed previously by both authors), to prove a series of conjectures, due to the first author, that give a complete description of the integral Bernstein center in terms of Galois theory and the local Langlands correspondence. An immediate consequence is the conjectural "local Langlands correspondence in families" of Emerton and Helm.

math.NT↗

arXiv2015

Deligne--Langlands gamma factors in families

Let F be a p-adic field, W_F its absolute Weil group, and let k be an algebraically closed field of prime characteristic l different from p. Attached to any l-adic representation of W_F are local epsilon- and L-factors. There are natural notions of families of l-adic representations of W_F, such as the theory of Galois deformations or, more generally, families over arbitrary Noetherian W(k)-algebras. However, the epsilon and L-factors do not interpolate well in such families. In this paper it is shown that the gamma factor, which is the product of the epsilon factor with a ratio of L-factors, interpolates over such families.

math.NT↗

arXiv2014

Gamma factors of pairs and a local converse theorem in families

We prove a GL(n)xGL(n-1) local converse theorem for l-adic families of smooth representations of GL(n,F) where F is a finite extension of Q_p and l is different from p. To do so, we also extend the theory of Rankin-Selberg integrals, first introduced by Jacquet, Piatetski-Shapiro, and Shalika, to the setting of families, continuing previous work of the author.

math.NT↗

arXiv2014

Functorial Zeta Integrals

The functional equation for nonarchimedean Rankin-Selberg local Euler factors was proved by Jacquet, Piatetski-Shapiro, and Shalika in 1983. In this expository note we translate the original proof into the purely functorial language of parabolic induction-restriction of Bernstein-Zelevinsky. This new language gives a clearer presentation of the ideas, and works over arbitrary fields with characteristic not equal to the residue characteristic.

math.NT↗

arXiv2014

Interpolating local constants in families

We extend the theory of local constants to l-adic families of representations of GL_n(F) where F is a p-adic field with l not equal to p. We construct zeta integrals and gamma factors for representations coming from the conjectural "local Langlands correspondence in families" of Emerton-Helm, proving a rationality result and functional equation. We also construct a universal gamma factor with coefficients in the integral Bernstein center.

math.NT↗