( O(V F), O(V)) is a Gelfand pair for any quadratic space V over a local field F

DOI10.1007/S00209-008-0318-5MaRDI QIDQ1006366zbMATH OpenOpenAlexFDO

Authors Avraham Aizenbud, Dmitry Gourevitch, Eitan Sayag

Publication date 24 March 2009

Published in Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

Gelfand pairsinvariant distributionslocal fieldsmultiplicity oneorthogonal groups

Mathematics Subject Classification ID

Quadratic forms over local rings and fields (11E08) Quadratic spaces; Clifford algebras (11E88) Quadratic and bilinear forms, inner products (15A63) 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 V be a quadratic space with a form q over an arbitrary local field F of characteristic different from 2. Let $W=VoplusFe$ with the form Q extending q with Q(e)=1. Consider the standard embedding of O(V) into O(W) and the two-sided action of $O(V)imesO(V)$ on $O(W)$. In this note we show that any $O(V)imesO(V)$-invariant distribution on O(W) is invariant with respect to transposition. This result was earlier proven in a bit different form in [vD] for F=R, in [AvD] for F=C and in [BvD] for p-adic fields. Here we give a different proof. Using results from [AGS], we show that this result on invariant distributions implies that the pair (O(V),O(W)) is a Gelfand pair. In the archimedean setting this means that for any irreducible admissible smooth Frechet representation E of O(W) we have $dimHo{m}_{O(V)}(E,C)leq1.$ A stronger result for p-adic fields is obtained in [AGRS].

Review text

Let \(F\) be an arbitrary local field of characteristic different from \(2\). Consider the standard embedding \(\text O(V) \hookrightarrow\text O(W)\) where \((W:=V\oplus F{\cdot}e,Q)\) is a quadratic space over \(F\) with \(Q(e)=1\). In the paper under review it is proved that \((\text O(V),\text O(W))\) is a Gelfand pair. This means that for every irreducible admissible representation \((\pi,E)\) of \(\text O(W)\) the inequality \(\dim\Hom_{\text O(V)}(E,\mathbb{C})\leq 1\) holds. The authors use a technique of Gelfand and Kazhdan to deduce this representation theoretic result from considerations about invariant distributions. They show that any distribution on \(\text O(W)\) which is invariant with respect to the standard two-sided action of \(\text O(V)\times\text O(V)\) is also invariant with respect to transposition. The proof of the latter result forms the main part of this paper. When \(F\) is the field of real or complex numbers or a \(p\)-adic field this has previously been obtained by \textit{G.~van Dijk} [Math. Z. 193, 581--593 (1986; Zbl 0613.43009)], \textit{S.~Aparicio} and \textit{G.~van Dijk} [Complex generalized Gelfand pairs (Tambov University Reports, Tambov) (2006)] and \textit{E. P. H.~Bosman} and \textit{G.~van Dijk} [Geom. Dedicata 50, No. 3, 261--282 (1994; Zbl 0829.22015)], respectively. The authors however give a uniform proof for the archimedean and non-archimedean case except at one point where the archimedean case requires some extra work. Their proof relies on Bruhat filtration, Frobenius reciprocity and Bernstein's localization property. All of these basic results on invariant distributions are recalled for locally compact totally disconnected spaces and for smooth manifolds. Readers needing more background information will find that in an earlier paper of the same authors, where they showed an analogous result about general linear groups [Compos. Math. 144, No. 6, 1504--1524 (2008; Zbl 1157.22004)]. Moreover the main theorem of these two papers stands in connection with similar results for special orthogonal groups and unitary groups that have been obtained previously by \textit{B. H.~Gross} and \textit{D.~Prasad} [Can. J. Math. 44, No. 5, 974--1002 (1992; Zbl 0787.22018)] and \textit{G.~van Dijk} [Math. Z. 261, No. 3, 525--529 (2009; Zbl 1158.22010)], respectively.

Recommendations

• (GL_n+1(F), GL_n(F)) is a Gelfand pair for any local field F
• Invariant distributions on non-distinguished nilpotent orbits with application to the Gelfand property of \((\mathrm{GL}_{2n}(\mathbb R),\mathrm{Sp}_{2n}(\mathbb R))\)
• A new class of Gelfand pairs
• Gelfand pairs \((\text{Sp}_{4n}(F),\text{Sp}_{2n}(E))\)
• Some regular symmetric pairs.

Cites work

• (GL_n+1(F), GL_n(F)) is a Gelfand pair for any local field F
• \((\text U(p, q), \text U(p - 1, q))\) is a generalized Gelfand pair
• A new class of Gelfand pairs
• A proof of Kirillov's conjecture
• scientific article; zbMATH DE number 4208409 (Why is no real title available?)
• Multiplicity one theorems
• On a class of generalized Gelfand pairs
• On the Decomposition of a Representation of SO_n When Restricted to SO_n-1

Cited in

(12)

• \((\text U(p, q), \text U(p - 1, q))\) is a generalized Gelfand pair
• On central critical values of the degree four \(L\)-functions for \(\mathrm{GSp}(4)\): a simple trace formula
• Uniqueness of twisted linear periods and twisted Shalika periods
• Complement to the appendix of: ``On the Howe duality conjecture
• Invariant distributions on non-distinguished nilpotent orbits with application to the Gelfand property of \((\mathrm{GL}_{2n}(\mathbb R),\mathrm{Sp}_{2n}(\mathbb R))\)
• (GL_n+1(F), GL_n(F)) is a Gelfand pair for any local field F
• Some regular symmetric pairs.
• Multiplicity one theorems
• Multiplicity one theorems over positive characteristic
• On the Gelfand property for complex symmetric pairs
• Generalized Harish-Chandra descent, Gelfand pairs, and an Archimedean analog of Jacquet-Rallis's theorem. With an appendix by the authors and Eitan Sayag.
• Multiplicity one theorems: the Archimedean case

This page was built for publication: \((\text O(V\oplus F),\text O(V))\) is a Gelfand pair for any quadratic space \(V\) over a local field \(F\)

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