Let $p$ be a prime number and $\Bbbk=\bar{\mathbb{F}}_p$, the algebraic closure of the finite field $\mathbb{F}_p$ of $p$ elements. Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_p$ and ${\bf B}$ be a Borel subgroup of ${\bf G}$ (not necessarily defined over $\mathbb{F}_p$). We show that for each (one-dimensional) character $θ$ of ${\bf B}$ (not necessarily rational), there is a unique (up to isomorphism) irreducible $\Bbbk{\bf G}$-module $\mathbb{L}(θ)$ containing $θ$ as a $\Bbbk{\bf B}$-submodule, and moreover, $\mathbb{L}(θ)$ is isomorphic to a parabolic induction from a finite-dimensional irreducible $\Bbbk{\bf L}$-module for some Levi subgroup ${\bf L}$ of ${\bf G}$. Thus, we have classified and constructed all (abstract) irreducible $\Bbbk{\bf G}$-modules with ${\bf B}$-stable line (i.e. an one-dimensional $\Bbbk{\bf B}$-submodule). As a byproduct, we give a new proof of a result of Borel and Tits on the classification of finite-dimensional irreducible $\Bbbk{\bf G}$-modules.
This paper generalizes the classification in a paper of Dimitrov and Penkov of Borel subalgebras of gl_infty. Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras along inclusions preserving the root spaces with respect to nested Cartan subalgebras. A Borel subalgebra of a root-reductive Lie algebra is by definition a maximal locally solvable subalgebra. The main general result of this paper is that a Borel subalgebra of an infinite-dimensional indecomposable root-reductive Lie algebra is the simultaneous stabilizer of a certain type of generalized flag in…
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $\mathbbm k$ of characteristic zero. We consider the commuting variety $\mathcal C(\mathfrak u)$ of the nilradical $\mathfrak u$ of the Lie algebra $\mathfrak b$ of a Borel subgroup $B$ of $G$. In case $B$ acts on $\mathfrak u$ with only a finite number of orbits, we verify that $\mathcal C(\mathfrak u)$ is equidimensional and that the irreducible components are in correspondence with the {\em distinguished} $B$-orbits in $\mathfrak u$. We observe that in general $\mathcal C(\mathfrak u)$ is not equidim…
Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We study the category $\bar{\mathcal{O}}$ consisting of all $\mathfrak{h}$-weight $\mathfrak{g}$-modules which are locally $\mathfrak{b}$-finite and have finite-dimensional $\mathfrak{h}$-weight spaces. The focus is on very special Borel subalgebras called the Dynkin Borel subalgebras. This paper serves as an initial passage to the understanding of categories $\ma…
For semisimple Lie superalgebras over an algebraically closed field of characteristic zero, whose category of finite dimensional super representations is semisismple, we classify all irreducible super representations for which the alternating or symmetric square representation is irreducible or decomposes into an irreducible representation and a trivial representation.
The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary, infinite-dimensional Lie algebras $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, and $\mathfrak{sp}_\infty(\mathbb{K})$. Here, $\mathbb{K}$ is an algebraically closed field of characteristic $0$. We call these categories "extended categories $\mathcal{O}$" and use the notation $\bar{\mathcal{O}}$. While the categorie…
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.
Let $G_1,G_2$ be real reductive groups and $(π,V)$ a smooth, irreducible, admissible representation of $G_1 \times G_2$. We prove that $(π,V)$ is the completed tensor product of $(π_i,V_i)$, $i=1,2$, where $(π_i,V_i)$ is a smooth,irreducible,admissible representation of $G_i$, $i=1,2$. We deduce this from the analogous theorem for Harish-Chandra modules, for which one direction was proven in [AG] and the other direction we prove here. As a corollary, we deduce that strong Gelfand property for a pair $H \subset G$ of real reductive groups is equivalent to the usual Gelfand property of the pair …
Attached to any reductive Lie group $G$ is a "Cartan motion group" $G_0$ $-$ a Lie group with the same dimension as $G$, but a simpler group structure. A natural one-to-one correspondence between the irreducible tempered representations of $G$ and the unitary irreducible representations of $G_0$, whose existence had been suggested by Mackey in the 1970s, has recently been described by the author. In the present notes, we use the existence of a family of groups interpolating between $G$ and $G_0$ to realize the bijection as a deformation: for every irreducible tempered representation $π$ of G, …
We give a classification of irreducible admissible modulo $p$ representations of a split $p$-adic reductive group in terms of supersingular representations. This is a generalization of a theorem of Herzig.
Let k be an algebraically closed field of characteristic p>0 and let G be a connected reductive group over k. Let B be a Borel subgroup of G and let g and b be the Lie algebras of G and B. Denote the first Frobenius kernels of G and B by G_1 and B_1. Furthermore, denote the algebras of polynomial functions on G and g by k[G] and k[g], and similar for B and b. The group G acts on k[G] via the conjugation action and on k[g] via the adjoint action. Similarly, B acts on k[B] via the conjugation action and on k[b] via the adjoint action. We show that, under certain mild assumptions, the cohomology …
Let G be an almost simple reductive group with Weyl group W. Let B be a Borel subgroup of G. Let C be an elliptic conjugacy class in W and let w be an element of minimal length of C. We investigate the existence of a semisimple class of G whose intersection with BwB has dimension dim(B). We show that in good characteristic such a semisimple class exists almost always.
We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive groups to the split reductive case and the pseudo-split pseudo-reductive commutative case. Moreover, we give the first results on the latter, including a rather complete description of the rank one case.
We prove a bijection between finite-dimensional irreducible modules for an arbitrary quantum affine algebra $U_q(g)$ and finite-dimensional irreducible modules for its Borel subalgebra $U_q(g)^{\geq 0}$.
Let $(G,G')$ be a reductive dual pair of a symplectic group and an orthogonal group over a finite field of odd characteristic. The Howe correspondence establishes a correspondence between a subset of irreducible characters of $G$ and a subset of irreducible characters of $G'$. The Lusztig correspondence is a bijection between the Lusztig series indexed by the conjugacy class of a semisimple element $s$ in the connected component $(G^*)^0$ of the dual group of $G$ and the set of irreducible unipotent characters of the centralizer of $s$ in $G^*$. In this paper, we prove the commutativity (up to…
We introduce the notion of Demazure descent data on a triangulated category C and define the descent category for such data. We illustrate the definition by our basic example. Let G be a reductive algebraic group with a Borel subgroup B. Demazure functors form Demazure descent data on the derived category of Rep(B) and the descent category is equivalent to the derived category of Rep(G).
In this manuscript we consider the extent to which an irreducible representation for a reductive Lie group can be realized as the sheaf cohomolgy of an equivariant holomorphic line bundle defined on an open invariant submanifold of a complex flag space. Our main result is the following: suppose $G_{0}$ is a real reductive group of Harish-Chandra class and let $X$ be the associated full complex flag space. Suppose $\mathcal{O}_λ$ is the sheaf of sections of a $G_{0}$-equivariant holomorphic line bundle on $X$ whose parameter $λ$ (in the usual twisted $\mathcal{D}% $-module context) is antidomin…
We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T.
Let $G$ be a reductive $p$--adic group. Assume that $L\subset G$ is an open--compact subgroup, and $\mathcal H_L$ is the Hecke algebra of $L$--biinivariant complex functions on $G$. It is a well--known and standard result on how to prove existence of a complex smooth irreducible $G$--module out of a maximal left ideal $I\subset \mathcal H_L$. Using theory on Bernstein center we make this construction explicit. This leads us to some very interesting questions.
The restriction of an irreducible unitary representation $π$ of a real reductive group $G$ to a reductive subgroup $H$ decomposes into a direct integral of irreducible unitary representations $τ$ of $H$ with multiplicities $m(π,τ)\in\mathbb{N}\cup\{\infty\}$. We show that on the smooth vectors of $π$, the direct integral is pointwise defined. This implies that $m(π,τ)$ is bounded above by the dimension of the space $\operatorname{Hom}_H(π^\infty|_H,τ^\infty)$ of intertwining operators between the smooth vectors, also called symmetry breaking operators, and provides a precise relation between t…
We present a closed formula, analogous to the Weyl dimension formula, for the signature of an invariant Hermitian form on any finite-dimensional irreducible representation of a real reductive Lie group, assuming that such a form exists. The formula shows in a precise sense that the form must be very indefinite. For example, if an irreducible representation of $GL(n,R)$ admits an invariant form of signature $(p,q)$, then we show that $(p-q)^2 \le p+q$. The proof is an application of Kostant's computation of the kernel of the Dirac operator.
We give an algorithm for computing the irreducible admissible representations of a real reductive group with regular integral infinitesimal character. This algorithm has been implemented on a computer, as part of the Atlas of Lie Groups and Representations project.
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of ${\rm GL}_n(\mathbf{C})$, especially of the Borel subgroup $B$ and of the standard unipotent subgroup $U$ of the latter on the nilpotent cone of complex nilpotent matrices. We obtain generic normal forms of the orbits and describe generating (semi-) invariants for the Borel semi-invariant ring as well as for the $U$-invariant ring. The latter is described in more detail in terms of algebraic quotients by a special toric variety closely related. The study of a GIT-quotient for the Borel-action is initiated.
Let $G$ be a complex reductive group and $H=G^θ$ be its fixed point subgroup under a Galois involution $θ$. We show that any $H$-distinguished representation $π$ (i.e $\mathrm{dim}_{\mathbb{C}}\left(π^{*}\right)^{H}\neq0$) satisfies: 1) $π^θ\simeq\tildeπ$, where $\tildeπ$ is the contragredient representation and $π^θ$ is the twist of $π$ under $θ$. 2) $\mathrm{dim}_{\mathbb{C}}\left(π^{*}\right)^{H}\leq\left|B\backslash G/H\right|$, where $B$ is a Borel subgroup of $G$. By proving Statement 1), we give a partial answer to a conjecture by Lapid.
Let $\bf{G}$ be a connected reductive group with connected center defined over $\mathbb{F}_q$, with Frobenius morphism $F$. We parameterize all of the real-valued irreducible complex characters of ${\bf G}^F$ using the Jordan decomposition of characters.
We show the existence of a unitriangular basic set for unipotent blocks simple reductive groups of classical type in bad characteristic with some exceptions. Then,we introduce an algorithm to count irreducible unipotent Brauer characters and we verify that this algorithm is effective for exceptional adjoint groups.
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.
Let G be a connected reductive group over a field of characteristic zero, and consider an orthogonal representation of G. We give a simple criterion for whether the representation lifts to the spin group, in terms of the highest weights of the irreducible constituents of the representation.
This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. For some pairs of blocks $\overline{\mathcal{O}}[λ]$ and $\overline{\mathcal{O}}[μ]$, the subcategories whose objects have finite length are equivalence via functors obtained by the direct limits of translation functors. Tilting objects can also…
In this paper we construct certain irreducible infinite dimensional representations of algebraic groups with Frobenius maps. In particular, a few classical results of Steinberg and Deligne & Lusztig on complex representations of finite groups of Lie type are extended to reductive algebraic groups with Frobenius maps.
Let (G,V) be a regular prehomogeneous vector space (abbreviated to PV), where G is a connected reductive algebraic group over C. If $V= \oplus_{i=0}^{n}V_{i}$ is a decomposition of V into irreducible representations, then, in general, the PV's $(G,V_{i})$ are no longer regular. In this paper we introduce the notion of quasi-irreducible PV (abbreviated to Q-irreducible), and show first that for completely Q-reducible PV's, the Q-isotopic components are intrinsically defined, as in ordinary representation theory. We also show that, in an appropriate sense, any regular PV is a direct sum of quasi…
The wavefront set is a fundamental invariant arising from the Harish-Chandra-Howe local character expansion of an admissible representation. We prove a precise formula for the wavefront set of an irreducible Iwahori-spherical representation with `real infinitesimal character' and determine a lower bound for this invariant in terms of the Deligne-Langlands-Lusztig parameters. In particular, for the Iwahori-spherical representations with real infinitesimal character, we deduce that the algebraic wavefront set is a singleton, as conjectured by Moeglin and Waldspurger. As a corollary, we obtain an…
In this paper it is shown that the wave front set of a direct integral of singular, irreducible representations of a real, reductive algebraic group is contained in the singular set. Combining this result with the results of the first paper in this series, the author obtains asymptotic results on the occurrence of tempered representations in induction and restriction problems for real, reductive algebraic groups.
For every irreducible Harish-Chandra module of $O^{*}(4)$, we determine its theta lift to $Sp(p,q)$ in terms of the Langlands parameter, for all non-negative integers $p$ and $q$. Our strategy is to determine the desired theta lifts by their infinitesimal characters and lowest $K$-types.
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the…
Let F be a locally compact non-archimedean field, p its residue characteristic, and G a connected reductive group over F. Let C an algebraically closed field of characteristic p. We give a complete classification of irreducible admissible C-representations of G = G(F), in terms of supercuspidal C-representations of the Levi subgroups of G, and parabolic induction. Thus we push to their natural conclusion the ideas of the third-named author, who treated the case G = GL_m, as further expanded by the first-named author, who treated split groups G. As in the split case, we first get a classificati…
A parametrization of irreducible unitary representations associated with the regular adjoint orbits of a hyperspecial compact subgroup of a reductive group over a non-dyadic non-archimedean local filed is presented. The parametrization is given by means of (a subset of) the character group of certain finite abelian groups arising from the reductive group. Our method is based upon Cliffod's theory and Weil representations over finite fields. It works under an assumption of the triviality of certain Schur multipliers defined for an algebraic group over a finite field. The assumption of the trivi…
We study three fundamental topics in the representation theory of disconnected algebraic groups whose identity component is reductive: (i) the classification of irreducible representations; (ii) the existence and properties of Weyl and dual Weyl modules; and (iii) the decomposition map relating representations in characteristic $0$ and those in characteristic $p$ (for groups defined over discrete valuation rings). For each of these topics, we obtain natural generalizations of the well-known results for connected reductive groups.
Let G be a simple complex algebraic group and let K be a reductive subgroup of G such that the coordinate ring of G/K is a multiplicity free G-module. We consider the G-algebra structure of C[G/K], and study the decomposition into irreducible summands of the product of irreducible G-submodules in C[G/K]. When the spherical roots of G/K generate a root system of type A we propose a conjectural decomposition rule, which relies on a conjecture of Stanley on the multiplication of Jack symmetric functions. With the exception of one case, we show that the rule holds true whenever the root system gen…
In this article we initiate a systematic study of irreducible weight modules over direct limits of reductive Lie algebras, and in particular over the simple Lie algebras $A(\infty)$, $B(\infty)$, $C(\infty)$ and $D(\infty)$. Our main tool is the shadow method introduced recently in \cite{DMP}. The integrable irreducible modules are an important particular class and we give an explicit parametrization of the finite integrable modules which are analogues of finite-dimensional irreducible modules over reductive Lie algebras. We then introduce the more general class of pseudo highest weight module…
We compute special unipotent Arthur packets for real reductive groups in many cases. We list the cases that lead to incomplete answers, and in those cases, provide a suitable set of representations that could lead to a complete description of the special Arthur packet. In the process of achieving this goal we classify theta forms of a given even complex nilpotent orbit, and find methods to compute the associated varieties of irreducible group representations.
Let E be a finite extension of Fp. Using Fontaine's theory of (phi,Gamma)-modules, Colmez has shown how to attach to any irreducible E-linear representation of Gal(Qpbar/Qp) an infinite dimensional smooth irreducible E-linear representation of B_2(Qp) that has a central character. We prove that every such representation of B_2(Qp) arises in this way. Our proof extends to algebraically closed fields E of characteristic p. In this case, infinite dimensional smooth irreducible E-linear representations of B_2(Qp) having a central character arise in a similar way from irreducible E-linear represent…
We present a finite algorithm for computing the set of irreducible unitary representations of a real reductive group G. The Langlands classification, as formulated by Knapp and Zuckerman, exhibits any representation with an invariant Hermitian form as a deformation of one of the unitary representations in Harish-Chandra's Plancherel formula. The behavior of these deformations was determined to a first approximation in the Kazhdan-Lusztig analysis of irreducible characters; more complete information comes from the Beilinson-Bernstein proof of the Jantzen conjectures. The basic idea of our algor…
We describe irreducible representations and character formulas of the Renner monoids for reductive monoids, which generalizes the Munn-Solomon representation theory of rook monoids to any Renner monoids. The type map and polytope associated with reductive monoids play a crucial role in our work. It turns out that the irreducible representations of certain parabolic subgroups of the Weyl groups determine the complete set of irreducible representations of the Renner monoids. An analogue of the Munn-Solomon formula for calculating the character of the Renner monoids, in terms of the characters of…
We prove the Grothendieck-Serre conjecture for quasi-split reductive groups schemes. Our method involves reducing to the Borel subgroup in order to conclude the result from purity for tori and the structure theorem for unipotent radicals of parabolic subgroups in a reductive group.
George Mackey suggested in 1975 that there should be analogies between the irreducible unitary representations of a noncompact reductive Lie group $G$ and those of its Cartan motion group $G_0$ $-$ the semidirect product of a maximal compact subgroup of $G$ and a vector space. He conjectured the existence of a natural one-to-one correspondence between "most" irreducible (tempered) representations of $G$ and "most" irreducible (unitary) representations of $G_0$. We here describe a simple and natural bijection between the tempered duals of both groups, and an extension to a one-to-one correspond…
We introduce graded Hecke algebras H based on a (possibly disconnected) complex reductive group G and a cuspidal local system L on a unipotent orbit of a Levi subgroup M of G. These generalize the graded Hecke algebras defined and investigated by Lusztig for connected G. We develop the representation theory of the algebras H. obtaining complete and canonical parametrizations of the irreducible, the irreducible tempered and the discrete series representations. All the modules are constructed in terms of perverse sheaves and equivariant homology, relying on work of Lusztig. The parameters come d…
We prove that for every Bushnell-Kutzko type that satisfies a certain rigidity assumption, the equivalence of categories between the corresponding Bernstein component and the category of modules for the Hecke algebra of the type induces a bijection between irreducible unitary representations in the two categories. This is a generalization of the unitarity criterion of Barbasch and Moy for representations with Iwahori fixed vectors.
Let G be a connected reductive group over an algebraic closure of a finite field Fq. In this paper it is proved that the infinite dimensional Steinberg module of kG defined by N. Xi in 2014 is irreducible when k is a field of positive characteristic and char k is not char Fq. For certain special linear groups, we show that the Steinberg modules of the groups are not quasi-finite with respect to some natural quasi-finite sequences of the groups.
The algorithm of computing generalized Green functions of a finite reductive group contains some unkonwn scalars occuring from the F_q structure of irreducible local systems on unipotent classes on G. In this paper, we determine such scalars in the case where G = SL_n with Frobenius map F of split or non-split type. In the case where F is of non-split type, we use the theory of graded Hecke algebras and their representations on the equivariant homology group due to Lusztig.
Let $U_q(\hat{sl}_2)^{\geq 0}$ denote the Borel subalgebra of the quantum affine algebra $U_q(\hat{sl}_2)$. We show that the following hold for any choice of scalars $ε_0, ε_1$ from the set ${1,-1}$. (i) Let $V$ be a finite-dimensional irreducible $U_q(\hat{sl}_2)^{\geq 0}$-module of type $(ε_0,ε_1)$. Then the action of $U_q(\hat{sl}_2)^{\geq 0}$ on $V$ extends uniquely to an action of $U_q(\hat{sl}_2)$ on $V$. The resulting $U_q(\hat{sl}_2)$-module structure on $V$ is irreducible and of type $(ε_0,ε_1)$. (ii) Let $V$ be a finite-dimensional irreducible $U_q(\hat{sl}_2)$-module of type $(ε_0,ε…
Suppose that $\mathbf{G}$ is a connected reductive group over a finite extension $F/\mathbb{Q}_p$, and that $C$ is a field of characteristic $p$. We prove that the group $\mathbf{G}(F)$ admits an irreducible admissible supercuspidal, or equivalently supersingular, representation over $C$.
For an arbitrary finite monoid $M$ and subgroup $K$ of the unit group of $M$, we prove that there is a bijection between irreducible representations of $M$ with nontrivial $K$-fixed space and irreducible representations of $\mathcal{H}_K$, the convolution algebra of $K\times K$-invariant functions from $M$ to $F$, where $F$ is a field of characteristic not dividing $|K|$. When $M$ is reductive and $K = B$ is a Borel subgroup of the group of units, this indirectly provides a connection between irreducible representations of $M$ and those of $F[R]$, where $R$ is the Renner monoid of $M$. We conc…
In this paper we study certain category of smooth modules for reductive $p$--adic groups analogous to the usual smooth complex representations but with the field of complex numbers replaced by a $\mathbb Q$--algebra. We prove some fundamental results in these settings, and as an example we give a classification of admissible unramified irreducible representations proving by reduction to the complex case that if the space of $K$--invariants is finite dimensional in an irreducible smooth unramified representation that the representation is admissible.
Let $G_\cpl$ be a connected complex reductive Lie group, and $G$ be a real form. Let $(π,V)$ be a finite-dimensional irreducible representation of $G$. Assume $(π,V)$ admits a $G$ invariant hermitian form. {In \cite{Signature-of-a-rep-of-reductive}, an analog of the Weyl dimension formula that instead computes the signature of the invariant form for finite dimensional representations of complex Lie groups is given. The goal of this paper is to give a short alternate proof as an application of a more general twisted character theory of \cite{Dirac-Index-and-Twisted-Characters}.
