The aim of this paper is to give an exposition of recent progress on the determination of the unitarizable Langlands quotients of minimal principal series for reductive groups over the real or p-adic fields in characteristic 0.
Let $G$ be a simple real Lie group with maximal parabolic subgroup $P$ whose nilradical is abelian. Then $X=G/P$ is called a symmetric $R$-space. We study the degenerate principal series representations of $G$ on $C^\infty(X)$ in the case where $P$ is not conjugate to its opposite parabolic. We find the points of reducibility, the composition series and all unitarizable constituents. Among the unitarizable constituents we identify some small representations having as associated variety the minimal nilpotent $K_{\mathbb{C}}$-orbit in $\mathfrak{p}_{\mathbb{C}}^*$, where $K_{\mathbb{C}}$ is the …
For infinite reductive groups with Frobenius maps, we show that certain subquotients of abstract representations of the groups induced from 1-dimensional representations of Borel subgroups are irreducible.
We introduce the principal representation category $\mathscr{O}({\bf G})$ of reductive algebraic groups with Frobenius maps and put forward a conjecture that this category is a highest weight category. When $\Bbbk$ is complex field $\mathbb{C}$, we provide some evidences of this conjecture. We also study certain kind of bound quiver algebras whose representations are related to the principal representation category $\mathscr{O}({\bf G})$ .
The geometric conjecture developed by the authors in [1,2,3,4] applies to the smooth dual Irr(G) of any reductive p-adic group G. It predicts a definite geometric structure - the structure of an extended quotient - for each component in the Bernstein decomposition of Irr(G). In this article, we prove the geometric conjecture for the principal series in any split connected reductive p-adic group G. The proof proceeds via Springer parameters and Langlands parameters. As a consequence of this approach, we establish strong links with the local Langlands correspondence. One important feature of our…
Let $\mathcal{G}$ be a split reductive $p$-adic group with connected centre. We show that each Bernstein block in the principal series of $\mathcal{G}$ admits a definite geometric structure, namely that of an extended quotient. For the Iwahori-spherical block, this extended quotient has the form $T//W$ where $T$ is a maximal torus in the Langlands dual group of $\mathcal{G}$ and $W$ is the Weyl group of $\mathcal{G}$.
We find the complete branching law for the restriction of certain unitary representations of $O(1,n+1)$ to the subgroups $O(1,m+1)\times O(n-m)$, $0\leq m\leq n$. The unitary representations we consider belong either to the unitary spherical principal series, the spherical complementary series or are unitarizable subquotients of the spherical principal series. In the crucial case $0<m<n$ the decomposition consists of a continuous part and a discrete part. The continuous part is given by a direct integral of unitary principal series representations whereas the discrete part consists of finitely…
In this paper we study a quantum analogue of a degenerate principal series of $U_q \mathfrak{su}_{n,n}$-modules ($0<q<1$) related to the Shilov boundary of the quantum $n \times n$-matrix unit ball. We give necessary and sufficient conditions for the modules to be simple and unitarizable and investigate their equivalence. These results are q-analogues of known classical results on reducibility and unitarizability of SU(n,n)-modules obtained by Johnson, Sahi, Zhang, Howe and Tan.
We construct minimal Eisenstein integrals for a reductive symmetric space G/H as matrix coefficients of the minimal principal series of G. The Eisenstein integrals thus obtained include those from the σ-minimal principal series. In addition, we obtain related Eisenstein integrals, but with different normalizations. Specialized to the case of the group, this wider class includes Harish-Chandra's minimal Eisenstein integrals.
We generalize the Alvis-Curtis duality to the abstract representations of reductive groups with Frobenius maps. Similar to the case of representations of finite reductive groups, we show that the Alvis-Curtis duality of infinite type which we define in this paper also interchanges the irreducible representations in the principal representation category.
In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the Coxeter number and a derived category of equivariant coherent sheaves on the Springer resolution (or a parabolic counterpart). In the case of the principal block, combined with previous results, this provides a modular version of celebrated constructions due to Arkhipov-Bezrukavnikov-Ginzburg for Lusztig's quantum groups at a root of unity. As an application…
In this paper, we extend the work in "Morita's Theory for the Symplectic Groups" to split reductive groups. We construct and study the holomorphic discrete series representation and the principal series representation of a split reductive group $\mathrm {G}$ over a $p$-adic field $F$ as well as a duality between certain sub-representations of these two representations.
In this paper, following a similar procedure developed by Buttcane and Miller in \cite{MillerButtcane} for $SL(3,\RR)$, the $(\frakg,K)$-module structure of the minimal principal series of real reductive Lie groups $SU(2,1)$ is described explicitly by realizing the representations in the space of $K$-finite functions on $U(2)$. Moreover, by combining combinatorial techniques and contour integrations, this paper introduces a method of calculating intertwining operators on the principal series. Upon restriction to each $K$-type, the matrix entries of intertwining operators are represented by $Γ$…
In geometric representation theory, one often wishes to describe representations realized on spaces of invariant functions as trace functions of equivariant perverse sheaves. In the case of principal series representations of a connected split reductive group G over a local field, there is a description of families of these representations realized on spaces of functions on G invariant under the translation action of the Iwahori subgroup, or a suitable smaller compact open subgroup, studied by Howe, Bushnell and Kutzko, Roche, and others. In this paper, we construct categories of perverse shea…
In this paper, we construct and classify the special unipotent representations of a real reductive group attached to the principal nilpotent orbit. We give formulas for the $\mathbf{K}$-types, associated varieties, and Langlands parameters of all such representations.
We study the principal series representations of central extensions of a split reductive algebraic group by a cyclic group of order $n$. We compute the Plancherel measure of the representation using Eisenstein series and a comparison method. In addition, we construct genuine central characters of the metaplectic torus in the simply-laced case.
We study the limiting behavior of the discrete spectra associated to the principal congruence subgroups of a reductive group over a number field. While this problem is well understood in the cocompact case (i.e., when the group is anisotropic modulo the center), we treat groups of unbounded rank. For the groups GL(n) and SL(n) we show that the suitably normalized spectra converge to the Plancherel measure (the limit multiplicity property). For general reductive groups we obtain a substantial reduction of the problem. Our main tool is the recent refinement of the spectral side of Arthur's trace…
We study irreducible representations of the Hecke algebra of the pair $({\rm PGL}_2 (F[ε] / (ε^2)) , {\rm PGL}_2 (\mathcal{O}[ε] / (ε^2)))$ where $F$ is a local non-Archimedean field of characteristic different than $2$ and $\mathcal{O} \subset F$ is its ring of integers. We expect to apply our analysis to the study of the spectrum of Hecke operators on the space of cuspidal functions on the space of principal ${\rm PGL}_2$-bundles on curves over rings $\mathbb{F}_q [ε] / (ε^2)$.
Let G be a split reductive algebraic group over a non-archimedean local field. We study the representation theory of a central extension $\G$ of G by a cyclic group of order n, under some mild tameness assumptions on n. In particular, we focus our attention on the development of the theory of principal series representations for $\G$ and applications of this theory.
We consider spherical principal series representations of the semisimple Lie group of rank one $G=SO(n, 1; \mathbb K)$, $\mathbb K=\br, \bc, \bh$. There is a family of unitarizable representations $π_ν$ of $G$ for $ν$ in an interval on $\mathbb R^+$, the so-called complementary series, and subquotient or subrepresentations of $G$ for $ν$ being negative integers. We consider the restriction of $(π_ν, G)$ under the subgroup $H=SO(n-1, 1; \mathbb K)$. We prove the appearing of discrete components. The corresponding results for the exceptional Lie group $F_{4(-20)}$ and its subgroup $Spin(8,1)$ ar…
We propose a definition of characters in the context of Schneider-Teitelbaum's theory of locally analytic representations of p-adic reductive groups. This character will be a function on a compact subgroup of a maximal torus of the reductive group in question. As an example we treat the locally analytic principal series of SL(2,Q_p).
Given a regular supercuspidal representation $ρ$ of the Levi subgroup $M$ of a standard parabolic subgroup $P=MN$ in a connected reductive group $G$ defined over a non-archimedean local field $F$, we serve you a Rodier type structure theorem which provides us a geometrical parametrization of the set $JH(Ind^G_P(ρ))$ of Jordan--H{ö}lder constituents of the Harish-Chandra parabolic induction representation $Ind^G_P(ρ)$, vastly generalizing Rodier structure theorem for $P=B=TU$ Borel subgroup of a connected split reductive group about 40 years ago. Our novel contribution is to overcome the essent…
Lusztig has given a construction of certain representations of reductive groups over finite local principal ideal rings of characteristic p, extending the construction of Deligne and Lusztig of representations of reductive groups over finite fields. We generalize Lusztig's results to reductive groups over arbitrary finite local rings. This generalization uses the Greenberg functor and the theory of group schemes over Artinian local rings.
We provide a uniform construction of $L^2$-models for all small unitary representations in degenerate principal series of semisimple Lie groups which are induced from maximal parabolic subgroups with abelian nilradical. This generalizes previous constructions to the case of a maximal parabolic subgroup which is not necessarily conjugate to its opposite, and hence the previously used Jordan algebra methods have to be generalized to Jordan pairs. The crucial ingredients for the construction of the $L^2$-models are the Lie algebra action and the spherical vector. Working in the so-called Fourier …
Let $G$ be a split connected reductive group over a finite extension $F$ of $Q_p$. We determine the extensions between unitary continuous $p$-adic and smooth mod $p$ principal series of $G(F)$ in the generic case. In order to do so, we compute Emerton's delta-functor $\mathrm{H^\bullet Ord}_{B(F)}$ of derived ordinary parts with respect to a Borel subgroup on certain induced representations of $G(F)$ using a Bruhat filtration. These extensions come into play in the $p$-adic and mod $p$ Langlands programs.
The nilpotent bicone of a finite dimensional complex reductive Lie algebra g is the subset of elements in g x g whose subspace generated by the components is contained in the nilpotent cone of g. The main result of this note is that the nilpotent bicone is a complete intersection. This affirmatively answers a conjecture of Kraft-Wallach concerning the nullcone. In addition, we introduce and study the characteristic submodule of g. The properties of the nilpotent bicone and the characteristic submodule are known to be very important for the understanding of the commuting variety and its ideal o…
For a pair of real reductive groups $G'\subset G$ we consider the space ${\rm Hom}_{G'}(π|_{G'},τ)$ of intertwining operators between spherical principal series representations $π$ of $G$ and $τ$ of $G'$, also called \emph{symmetry breaking operators}. Restricting to those pairs $(G,G')$ where ${\rm dim\,Hom}_{G'}(π|_{G'},τ)<\infty$ and $G$ and $G'$ are of real rank one, we classify all symmetry breaking operators explicitly in terms of their distribution kernels. This generalizes previous work by Kobayashi--Speh for $(G,G')=({\rm O}(1,n+1),{\rm O}(1,n))$ to the reductive pairs $$ (G,G') = ({\…
Let G be a split connected reductive group over a local non-archimedean field. We classify all irreducible complex G-representations in the principal series, irrespective of the (dis)connectedness of the centre of G. This leads to a local Langlands correspondence for principal series representations, which satisfies all expected properties. We also prove that the ABPS conjecture about the geometric structure of Bernstein components is valid throughout the principal series of G.
Let $G$ be the group of points of a split reductive group over a finite extension of ${\mathbb Q}_p$. In this paper, we compute the dimensions of certain classes of locally analytic $G$-representations. This includes principal series representations and certain representations coming from homogeneous line bundles on $p$-adic symmetric spaces. As an application, we compute the dimensions in Colmez' unitary principal series of ${\rm GL}_2({\mathbb Q}_p)$.
Let $X$ be a homogeneous space of a real reductive Lie group $G$. It was proved by T. Kobayashi and T. Oshima that the regular representation $C^{\infty}(X)$ contains each irreducible representation of $G$ at most finitely many times if a minimal parabolic subgroup $P$ of $G$ has an open orbit in $X$, or equivalently, if the number of $P$-orbits on $X$ is finite. In contrast to the minimal parabolic case, for a general parabolic subgroup $Q$ of $G$, we find a new example that the regular representation $C^{\infty}(X)$ contains degenerate principal series representations induced from $Q$ with i…
In this paper, we show that, under certain assumptions, a parabolic induction $Ind_B^Gλ$ from the Borel subgroup $B$ of a (real or $p$-adic) reductive group $G$ decomposes into a direct sum of the form: \[ Ind_B^Gλ= \left(Ind_P^G St_M\otimes χ_0\right) \oplus \left(Ind_P^G \mathbf{1}_M\otimes χ_0\right), \] where $P$ is a parabolic subgroup of $G$ with Levi subgroup $M$ of semi-simple rank $1$, $\mathbf{1}_M$ is the trivial representation of $M$, $St_M$ is the Steinberg representation of $M$ and $χ_0$ is a certain character of $M$. We construct examples of this phenomenon for all simply-connec…
Let G be a p-adic connected reductive group with Lie algebra g. For a parabolic subgroup P in G and a finite-dimensional locally analytic representation V of P, we study the induced locally analytic G-representation W = Ind^G_P(V). Our result is the following criterion concerning the topological irreducibility of W: if the Verma module U(g) \otimes_{U(p)} V' associated to the dual representation V' is irreducible then W is topologically irreducible as well.
We establish a method for constructing equivariant distributions on smooth real algebraic varieties from equivariant distributions on Zariski open subsets. This is based on Bernstein's theory of analytic continuation of holonomic distributions. We use this to construct $H$-equivariant functionals on principal series representations of $G$, where $G$ is a real reductive group and $H$ is an algebraic subgroup. We also deduce the existence of generalized Whittaker models for degenerate principal series representations. As a special case, this gives short proofs of existence of Whittaker models on…
In this paper we view pro-$p$ Iwahori subgroups $I$ as rigid analytic groups $\Bbb{I}$ for large enough $p$. This is done by endowing $I$ with a natural $p$-valuation, and thereby generalizing results of Lazard for $\text{GL}_n$. We work with a general connected reductive split group over some $p$-adic field (with simply connected derived group) and study the $\Bbb{I}$-analytic vectors in principal series representations. Our main result is an irreducibility criterion which generalizes results of Clozel and Ray in the $\text{GL}_n$-case.
We combine the geometric realization of principal series representations of the author, with the Bott--Borel--Weil Theorem for direct limits of compact groups of Natarajan, Rodriguez-Carrington and the author, obtaining limits of principal series representations for direct limits of real reductive Lie groups. We introduce the notion of weakly parabolic direct limits and relate it to the conditions that the limit representations are norm--preserving representations on a Banach space or unitary representations on a Hilbert space. We specialize the results to diagonal embedding direct limit group…
Let $G$ be a reductive algebraic group over a $p$-adic field or number field $K$, and let $V$ be a $K$-linear faithful representation of $G$. A lattice $Λ$ in the vector space $V$ defines a model $\hat{G}_Λ$ of $G$ over $\mathscr{O}_K$. One may wonder to what extent $Λ$ is determined by the group scheme $\hat{G}_Λ$. In this paper we prove that up to a natural equivalence relation on the set of lattices there are only finitely many $Λ$ corresponding to one model $\hat{G}_Λ$. Furthermore, we relate this fact to moduli spaces of abelian varieties as follows: let $\mathscr{A}_{g,n}$ be the moduli …
Arthur has conjectured that the unitarity of a number of representations can be shown by finding appropriate automorphic realizations. This has been verified for classical groups by Moeglin and for the exceptional Chevalley group G_2 by Kim. In this paper we extend their results on spherical representations to the remaining exceptional groups E_6, E_7, E_8, and F_4. In particular we prove Arthur's conjecture that the spherical constituent of an unramified principal series of a Chevalley group over any local field of characteristic zero is unitarizable if its Langlands parameter coincides with …
Let G be a connected reductive quasisplit algebraic group over a field L which is a finite extension of the p-adic numbers. We construct an exact sequence modelled on (the dual of) the BGG resolution involving locally analytic principal series representations for G(L). This leads to an exact sequence involving spaces of overconvergent p-adic automorphic forms for certain groups compact modulo centre at infinity.
For a symmetric pair $(G,H)$ of reductive groups we extend to a large class of generalized principal series representations our previous construction of meromorphic families of symmetry breaking operators. These operators intertwine between a possibly vector-valued principal series of $G$ and one for $H$ and are given explicitly in terms of their integral kernels. As an application we give a complete classification of symmetry breaking operators from spinors on a Euclidean space to spinors on a hyperplane, intertwining for a double cover of the conformal group of the hyperplane.
Let F be a nonarchimedean locally compact field with residue characteristic p and G(F) the group of F-rational points of a connected reductive group. Following Schneider and Stuhler, one can realize, in a functorial way, any smooth complex finitely generated representation of G(F) as the 0-homology of a certain coefficient system on the semi-simple building of G(F). It is known that this method does not apply in general for smooth mod p representations of G(F), even when G= GL(2). However, we prove that a principal series representation of GL(n,F) over a field with arbitrary characteristic can…
We complete the results of a previous article. Let $G$ be a split connected reductive group over a finite extension $F$ of $\mathbb{Q}_p$. When $F=\mathbb{Q}_p$, we determine the extensions between unitary continuous $p$-adic and smooth mod $p$ principal series of $G(\mathbb{Q}_p)$ without assuming the centre of $G$ connected nor the derived group of $G$ simply connected. This shows a new phenomenon: there may exist several non-isomorphic non-split extensions between two distinct principal series. We also complete the computations of self-extensions of a principal series in the non-generic cas…
In the representation theory of reductive $p$-adic groups $G$, the issue of reducibility of induced representations is an issue of great intricacy. It is our contention, expressed as a conjecture in [3], that there exists a simple geometric structure underlying this intricate theory. We will illustrate here the conjecture with some detailed computations in the principal series of $G_2$. A feature of this article is the role played by cocharacters $h_c$ attached to two-sided cells $c$ in certain extended affine Weyl groups. The quotient varieties which occur in the Bernstein programme are repla…
Let $p\geq 3$ be a prime number and $F$ a $p$-adic field. Let $I_1$ denote the pro-$p$-Iwahori subgroup of $\textrm{GL}_n(F)$, and $\mathcal{H}$ the pro-$p$-Iwahori--Hecke algebra of $\textrm{GL}_n(F)$ with respect to $I_1$ (over a coefficient field of characteristic $p$). We compute the structure of $\textrm{H}^1(I_1,π)$ as an $\mathcal{H}$-module, where $π$ is a mod-$p$ principal series representation of $\textrm{GL}_n(F)$. We also give some partial results about the structure of $\textrm{H}^1(I_1,π)$ for a general split reductive group with irreducible root system.
The work of Bernstein-Zelevinsky and Zelevinsky gives a good understanding of irreducible subquotients of a reducible principal series representation of $GL_n(F)$, $F$ a $p$-adic field (without specifying their multiplicities which is done by a Kazhdan-Lusztig type conjecture). In this paper we make a proposal of a similar kind for principal series representations of $GL_n({\mathbb R})$. Our investigation on principal series representations naturally led us to consider the Steinberg representation for real groups, which has curiuosly not been paid much attention to in the subject (unlike the $…