-
Towards a theta correspondence in families for type II dual pairs
Authors:
Gilbert Moss,
Justin Trias
Abstract:
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 ch…
▽ More
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ínguez. At the level of supercuspidal support, we interpret the theta correspondence as a morphism of varieties $θ_R$, which we describe as an explicit closed immersion. For arbitrary $R$, we construct a canonical ring homomorphism $θ^\#_{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 $θ_{\mathbb{Z}[1/p]}^\#$, then obtain $θ^\#_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 $θ_R^\#$ recovers $θ_R$ in the $R=\mathbb{C}$ case and in the banal case. We use gamma factors to prove $θ_R^\#$ is surjective for any $R$. Finally, we describe $θ^\#_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.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Whittaker functionals and contragredient in characteristic not $p$
Authors:
Nadir Matringe,
Justin Trias
Abstract:
Let $R$ be an algebraically closed field and $\ell$ be its characteristic. Let $G$ be a locally profinite group having a compact open subgroup of invertible pro-order in $R$. Take $N$ a closed subgroup of $G$ exhausted by compact subgroups of invertible pro-orders in $R$ and fix a smooth character $θ$ of $N$. For $π$ an irreducible smooth $R$-representation of $G$ whose matrix coefficients are com…
▽ More
Let $R$ be an algebraically closed field and $\ell$ be its characteristic. Let $G$ be a locally profinite group having a compact open subgroup of invertible pro-order in $R$. Take $N$ a closed subgroup of $G$ exhausted by compact subgroups of invertible pro-orders in $R$ and fix a smooth character $θ$ of $N$. For $π$ an irreducible smooth $R$-representation of $G$ whose matrix coefficients are compactly supported modulo the center (we call it $Z$-compact), we show that the dimensions $\mathrm{Hom}_{N}(π,θ)$ and $\mathrm{Hom}_{N}(π^\vee,θ^{-1})$ are equal provided one of the two is finite. We derive a few applications from this result. First, we prove that any $G$-intertwiner from $π$ to $\mathrm{Ind}_N^G(θ)$ has image in $\mathrm{ind}_{ZN}^G(ω_πθ)$, where $ω_π$ is the central character of $π$, and the Whittaker space of $π$ agrees with that of its Whittaker periods. Second, it applies to quasi-split groups over non Archimedean local fields of residual characteristic $p \neq \ell$ and where $N$ is the unipotent radical of a Borel subgroup of $G$ together with a generic character $θ$. Our equality of dimensions turns out to be a good replacement for Rodier's crucial use of complex conjugation in the proof of Whittaker multiplicity at most one for cuspidal representations. Then by a lifting argument, we recover Rodier's generalization of the Gelfand-Kazhdan property for $R$-valued $(θ^{-1}\otimes θ)$-equivariant distributions on $G$. This latter fact, together with Rodier's heridity property, which is valid in our context, leads to the multiplicity at most one of Whittaker functionals over $R$. We also give other applications, including a generalization over $R$ of a result for complex representations proved by Chang Yang and initially conjectured by Dipendra Prasad.
△ Less
Submitted 14 December, 2022; v1 submitted 30 September, 2022;
originally announced September 2022.
-
Universal Weil module
Authors:
Justin Trias
Abstract:
The classical construction of the Weil representation, with complex coefficients, has long been expected to work for more general coefficient rings. This paper exhibits the minimal ring $\mathcal{A}$ for which this is possible, the integral closure of $\mathbb{Z}[\frac{1}{p}]$ in a cyclotomic field, and carries out the construction of the Weil representation over $\mathcal{A}$-algebras. As a leitm…
▽ More
The classical construction of the Weil representation, with complex coefficients, has long been expected to work for more general coefficient rings. This paper exhibits the minimal ring $\mathcal{A}$ for which this is possible, the integral closure of $\mathbb{Z}[\frac{1}{p}]$ in a cyclotomic field, and carries out the construction of the Weil representation over $\mathcal{A}$-algebras. As a leitmotif all along the work, most of the problems can actually be solved over the base ring $\mathcal{A}$ and transferred to any $\mathcal{A}$-algebra by scalar extension. The most striking fact is that all these Weil representations arise as the scalar extension of a single one with coefficients in $\mathcal{A}$. In this sense, the Weil module obtained is universal. Building upon this construction, we speculate and make predictions about an integral theta correspondence.
△ Less
Submitted 14 July, 2022; v1 submitted 8 March, 2021;
originally announced March 2021.
-
Correspondance thêta locale $\ell$-modulaire I : groupe métaplectique, représentation de Weil et $Θ$-lift
Authors:
Justin Trias
Abstract:
Let $F$ be a field which is, either local non archimedean, or finite, of residual charcateristic $p$ but of characteristic different from $2$. Let $W$ be a symplectic space of finite dimension over $F$. Suppose $R$ is a field of characteristic $\ell \neq p$ so that there exists a non trivial smooth additive character $ψ: F \to R^\times$. Then the Stone-von Neumann theorem of the Heisenberg group…
▽ More
Let $F$ be a field which is, either local non archimedean, or finite, of residual charcateristic $p$ but of characteristic different from $2$. Let $W$ be a symplectic space of finite dimension over $F$. Suppose $R$ is a field of characteristic $\ell \neq p$ so that there exists a non trivial smooth additive character $ψ: F \to R^\times$. Then the Stone-von Neumann theorem of the Heisenberg group $H(W)$ is still valid for representations with coefficients in $R$. It leads to a projective representation of the group $\text{Sp}(W)$ which lifts to a genuine smooth representation of a central extension of $\text{Sp}(W)$ by $R^\times$: this is the modular Weil representation of the metaplectic group. For any dual pair $(H_1,H_2)$, their lifts to the metaplectic group may splitor not according to the different cases at stake. Eventually, computing the biggest isotypic quotient of the modular Weil representation allows to define the $Θ$-lift. Some new lines of investigation are thus available with these new tools such as studying scalar extension and reduction modulo $\ell$.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
