Multiplicity one theorem for (GL_n+1, GL_n) over a local field of positive characteristic

DOI10.1007/S00209-020-02561-1MaRDI QIDQ2663085zbMATH OpenOpenAlexFDO

Authors Dor Mezer

Publication date 15 April 2021

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.01321

zbMATH Keywords

distributionGelfand pairinvariant distributionmultiplicity one

Mathematics Subject Classification ID

Representation theory for linear algebraic groups (20G05) Linear algebraic groups over local fields and their integers (20G25) Representations of Lie and linear algebraic groups over local fields (22E50)

Abstract: Let $mathbbF$ be a non-archimedean local field of positive characteristic different from 2. We consider distributions on $mathrmGL(n+1,mathbbF)$ which are invariant under the adjoint action of $mathrmGL(n,mathbbF)$. We prove that any such distribution is invariant with respect to transposition. This implies that the restriction to $mathrmGL(n,mathbbF)$ of any irreducible smooth representation of $mathrmGL(n+1,mathbbF)$ is multiplicity free.

Review text

Let \(\mathbb{F}\) be a non-Archimedean field of characteristic different from \(2\), and embed \(\mathrm{GL}_{n}(\mathbb{F})\) into \(\mathrm{GL}_{n+1}(\mathbb{F})\) via the standard upper-left embedding. The main result of this paper states that each distribution on \(\mathrm{GL}_{n+1}(\mathbb{F})\) which is invariant under the conjugation action of \(\mathrm{GL}_n(\mathbb{F})\) is also invariant under transposition. Several corollaries follow in short order: Each irreducible smooth representation of \(\mathrm{GL}_{n}(\mathbb{F})\) occurs with multiplicity at most \(1\) in the restriction of each irreducible smooth representation of \(\mathrm{GL}_{n+1}(\mathbb{F})\); and if \(P_n\) is the parabolic subgroup consisting of matrices whose final column is \((0,\ldots,0,1)\), then every \(P_n\)-invariant distribution on \(\mathrm{GL}_{n}(\mathbb{F})\) is \(\mathrm{GL}_{n}(\mathbb{F})\)-invariant. These corollaries are previously known, but are nevertheless nice illustrations of the utility of the main result. The proof of the main theorem adapts a proof given in [\textit{A.\ Aizenbud} et al., Ann.\ Math. (2) 172, No.\ 2, 1407--1434 (2010; Zbl 1202.22012)] of the same result for the case where \(\mathbb{F}\) has characteristic zero, following essentially the same logical argument as given in [\textit{A.\ Aizenbud} and \textit{D.\ Gourevitch}, Sel.\ Math., New Ser.\ 15, No.\ 2, 271--294 (2009; Zbl 1185.22006)]. Thus, the proof proceeds by letting \(\tilde{G}\) be the semidirect product of \(\mathrm{GL}_n\) with a group of order \(2\) acting by transposition, and considering \((\tilde{G},\chi)\)-equivariant distributions on \(\mathrm{gl}(V) \times V \times V^{\ast}\), where \(\chi\) is the pull-back of the sign character. The main theorem is reformulated to state that all such equivariant distributions are zero, and then restrictions are derived on the possible support of such a distribution. The main difference in logical argument between this paper and these references is that Harish-Chandra descent is avoided here, which is necessary to avoid restrictions on the characteristic.

Recommendations

• Multiplicity one theorems
• A partial analog of the integrability theorem for distributions on p-adic spaces and applications
• Multiplicity one theorems over positive characteristic
• On certain multiplicity one theorems
• Multiplicity one theorem for \((\text{GL}_{n+1}({\mathbb{R}}), \text{GL}_{n} ({ \mathbb{R}}))\)

Cites work

• (GL_n+1(F), GL_n(F)) is a Gelfand pair for any local field F
• scientific article; zbMATH DE number 3138903 (Why is no real title available?)
• scientific article; zbMATH DE number 3859424 (Why is no real title available?)
• scientific article; zbMATH DE number 3533491 (Why is no real title available?)
• scientific article; zbMATH DE number 3542685 (Why is no real title available?)
• scientific article; zbMATH DE number 6128390 (Why is no real title available?)
• Multiplicity free Jacquet modules
• Multiplicity one theorem for \((\text{GL}_{n+1}({\mathbb{R}}), \text{GL}_{n} ({ \mathbb{R}}))\)
• Multiplicity one theorems
• Multiplicity one theorems: the Archimedean case
• Spherical pairs over close local fields

Cited in

(11)

• Multiplicity one theorem for \((\text{GL}_{n+1}({\mathbb{R}}), \text{GL}_{n} ({ \mathbb{R}}))\)
• Multiplicity one theorems for GSp(k,2n) and O(k,n), where k is a finite field
• A partial analog of the integrability theorem for distributions on p-adic spaces and applications
• The generalized linear periods
• Gelfand criterion and multiplicity one results for \(\mathrm{GL}_n\) over finite chain rings
• Ext-multiplicity theorem for standard representations of \((\mathrm{GL}_{n+1},\mathrm{GL}_n)\)
• A multiplicity one theorem for groups of type A_n over discrete valuation rings
• (GL_n+1(F), GL_n(F)) is a Gelfand pair for any local field F
• Multiplicity one theorems
• Multiplicity one theorems over positive characteristic
• Multiplicity one for the pair \((\mathrm{GL}_n (D), \mathrm{GL}_n (E))\)

This page was built for publication: Multiplicity one theorem for \((\mathrm{GL}_{n+1}, \mathrm{GL}_n)\) over a local field of positive characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663085)