In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with respect to a group whose connected component is a torus. Character computation is done in two steps. First, we treat the case of distinguished $p$-characters: those that are not contained in a proper Levi. Here we essentially show that the category of equivariant modules we consider is a cell quotient of an affine parabolic category $\mathcal{O}$. For this, we prove an equivalence between two categorifications of a parabolically induced module over the affine Hecke algebra conjectured by the first named author. For the general nilpotent $p$-character, we get character formulas by explicitly computing the duality operator on a suitable equivariant K-group.
In this note, we formulate an observation that "almost all" irreducible ordinary characters of finite groups of Lie type remain irreducible when restricted to the derived subgroups. To see this, key ingredients are some asymptotic results for conjugacy classes of finite groups of Lie type and strongly regular semisimple elements in dual groups.
The extended weight semigroup of a homogeneous space G/H of a connected semisimple algebraic group G characterizes the spectra of the representations of G on the spaces of regular sections of homogeneous linear bundles over G/H, including the space of regular functions on G/H. We compute the extended weight semigroups for all strictly irreducible affine spherical homogeneous spaces G/H, where G is a simply connected non-simple semisimple complex algebraic group and H a connected closed subgroup of it. In all the cases we also find the highest weight functions corresponding to the indecomposabl…
Let $\mathfrak{g}$ be a semisimple Lie algebra over $\mathbb{C}$ having rank $l$ and let $V=L(λ)$ be an irreducible finite-dimensional $\mathfrak{g}$-module having highest weight $λ.$ Computations of weight multiplicities in $V,$ usually based on Freudenthal's formula, are in general difficult to carry out in large ranks or for $λ$ with large coefficients (in terms of the fundamental weights). In this paper, we first show that in some situations, these coefficients can be "lowered" in order to simplify the calculations. We then investigate how this can be used to improve the aforementioned for…
The main goal of this paper is to prove the following theorem: Let $\frak k$ be an $\frak {sl}_2$-subalgebra of a semisimple Lie algebra $\frak g$, none of whose simple factors is of type $A1$. Then there exists a positive integer $b(\frak k, \frak g)$, such that for every irreducible finite dimensional $\frak g$-module $V$, there exists an injection of $\frak k$-modules $W \to V$, where $W$ is an irreducible $\frak k$-module of dimension less than $b(\frak k, \frak g)$. This result was announced in math.RT/0310140.
In this paper we investigate the growth with respect to $p$ of dimensions of irreducible representations of a semisimple Lie algebra $\mathfrak{g}$ over $\overline{\mathbb{F}}_p$. More precisely, it is known that for $p\gg 0$, the irreducibles with a regular rational central character $λ$ and $p$-character $χ$ are indexed by a certain canonical basis in the $K_0$ of the Springer fiber of $χ$. This basis is independent of $p$. For a basis element, the dimension of the corresponding module is a polynomial in $p$. We show that the canonical basis is compatible with the two-sided cell filtration f…
This paper is the continuation of \cite{CXY}. Let ${\bf G}$ be a simply connected semisimple algebraic group over $\Bbbk=\bar{\mathbb{F}}_q$, the algebraically closure of $\mathbb{F}_q$ (the finite field with $q=p^e$ elements), and $F$ be the standard Frobenius map. Let ${\bf B}$ be an $F$-stable Borel subgroup and ${\bf T}$ an $F$-stable maximal torus contained in ${\bf B}$. This paper studies the original induced module $\op{Ind}_{\bf B}^{\bf G}λ=\Bbbk{\bf G}\otimes_{\Bbbk{\bf B}}λ$ (here $\Bbbk{\bf H}$ is the group algebra of the group ${\bf H}$, and $λ$ is a rational character of ${\bf T}$…
Let g be a semisimple Lie algebra of finite dimension. The nullcone N of g is the set of (x,y) in g x g such that x and y are nilpotents and are in the same Borel sualgebra. The main result of this paper is that N is a closed and irreducible subvariety of g x g, its normalisation has rational singularities and its normalization morphism is bijective.
Let g be a semisimple Lie algebra of finite dimension. The nullcone N of g is the set of (x, y) in g\timesg such that x and y are nilpotents and are in the same Borel subalgebra. The main result of this paper is that N is a closed and irreducible subvariety of g \times g whose normalization has rational singularities and such that the normalization morphism is bijective.
Let $G_n=\operatorname{GL}_n(F)$, where $F$ is a non-archimedean local field with residue characteristic $p$. Our starting point is the Bernstein-decomposition of the representation category of $G_n$ over an algebraically closed field of characteristic $\ell \neq p$ into blocks. In level zero, we associate to each block a replacement for the Iwahori-Hecke algebra which provides a Morita-equivalence just as in the complex case. Additionally, we will explain how this gives rise to a description of an arbitrary $G_n$-block in terms of simple $G_m$-blocks (for $m\leq n$), paralleling the approach …
The aim of this paper is to give verifiable criteria for the existence of {\em irreducible} homomorphisms of $π_{1}(\mathbb P^1 - \mathcal R)$ into compact semisimple groups, for a finite subset $\mathcal R$ such that the conjugacy classes of the images of lassos around the marked points are fixed. By a theorem in \cite{bs}, this question reduces into one of giving verifiable criteria for the existence of stable $\mathcal G$-torsors on $\mathbb{P}^1_{\mathbb{C}}$, where $\mathcal{G} \to \mathbb{P}^1_\mathbb{C}$ is a a Bruhat-Tits group scheme.
Although degree bounds and algorithms for the generators of various invariant rings have been known for decades, little is known about the cardinality of minimal generating sets. Estimates of such would provide lower bounds for the runtime of algorithms that compute invariants. Fix a semisimple linear algebraic group, choose an irreducible representation of highest weight w, and consider the irreducible representations of highest weight nw. As n goes to infinity, the cardinality of a minimal set of generating invariants grows faster than any polynomial in n. On the other hand, combinatorial me…
We account some detailed calculation of irreducible character values of $G_n$ with application to estimate fiber size of the commutator map over regular semisimple and central elements of $\SL_n$.
The Lie algbera of a compact semisimple Lie group G is determined by the degrees of the irreducible representations of G. However, two different groups can have the same representation degrees.
A description of all the irreducible representations of generalized quantum doubles associated to skew pairings of semisimple Hopf algebras is given. In particular a description of the irreducible representations of semisimple Drinfeld doubles is obtained. It is shown that the Grothendieck ring of these generalized quantum doubles have a structure similar to the rings that arise from Green functors. In order to do this we give a formula for the tensor product of any two such irreducible representations.
We give a complete classification of irreducible symmetric spaces for which there exist proper SL(2,R)-actions as isometries, using the criterion for proper actions by T. Kobayashi [Math. Ann. '89] and combinatorial techniques of nilpotent orbits. In particular, we classify irreducible symmetric spaces that admit surface groups as discontinuous groups, combining this with Benoist's theorem [Ann. Math. '96].
We show that stationary characters on irreducible lattices $Γ< G$ of higher-rank connected semisimple Lie groups are conjugation invariant, that is, they are genuine characters. This result has several applications in representation theory, operator algebras, ergodic theory and topological dynamics. In particular, we show that for any such irreducible lattice $Γ< G$, the left regular representation $λ_Γ$ is weakly contained in any weakly mixing representation $π$. We prove that for any such irreducible lattice $Γ< G$, any uniformly recurrent subgroup (URS) of $Γ$ is finite, answering a questio…
We study the spectra of non-regular semisimple elements in irreducible representations of simple algebraic groups. More precisely, we prove that if G is a simply connected simple linear algebraic group and f is a non-trivial irreducible representation of G in some GL(V) for which there exists a non-regular non-central semisimple element s in G such that f(s) has almost simple spectrum, then, with few exceptions, G is of classical type and dim V is minimal possible. Here the spectrum of a diagonalizable matrix is called simple if all eigenvalues are of multiplicity 1, and almost simple if at mo…
We define alternating cyclotomic Hecke algebras in higher levels as subalgebras of cyclotomic Hecke algebras under an analogue of Goldman's hash involution. We compute the rank of these algebras and construct a full set of irreducible representations in the semisimple case, generalising Mitsuhashi's results.
This paper computes the irreducible characters of the alternating Hecke algebras, which are deformations of the group algebras of the alternating groups. More precisely, we compute the values of the irreducible characters of the semisimple alternating Hecke algebras on a set of elements indexed by minimal length conjugacy class representatives and we show that these character values determine the irreducible characters completely. As an application we determine a splitting field for the alternating Hecke algebras in the semisimple case.
The classical Erd{\" o}s-Turan Inequality bounds how far a sequence of points in the circle is from being equidistributed in terms of its exponential moments. We prove an analogous inequality for all compact simply-connected semisimple Lie groups, bounding how far a sequence is from being equidistributed in the conjugacy classes of the group in terms of the moments of irreducible characters.
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.
Let G be an almost simple, simply connected algebraic group over an algebraically closed field of characteristic p>0. In this paper we restate our conjecture from 1979 on the characters of irreducible modular representations of G so that it is now directly applicable to any dominant highest weight.
In this paper we show how a theorem of Jantzen relating the character of a finite dimensional irreducible representation of a disconnected semisimple algebraic group on elements outside the connected component of identity to character of an irreducible representation of another connected semisimple algebraic group can be deduced from properties of the canonical bases.
For a root system R, a field K and an invertible element q in K let U be the associated quantum group, defined via Lusztig's divided powers construction. We study the irreducible characters of this algebra with integral (but not necessarily dominant) highest weight. If the l-th cyclotomic polynomial vanishes when evaluated at q, then these characters exhibit a certain l-periodicity.
We prove an analogue of the celebrated Hall-Higman theorem, which gives a lower bound for the degree of the minimal polynomial of any semisimple element of prime power order $p^{a}$ of a finite classical group in any nontrivial irreducible cross characteristic representation. With a few explicit exceptions, this degree is at least $p^{a-1}(p-1)$.
Consider the character of an irreducible admissible representation of a p-adic reductive group. The Harish-Chandra-Howe local expansion expresses this character near a semisimple element as a linear combination of Fourier transforms of nilpotent orbital integrals. Under mild hypotheses, we describe an explicit region on which the local character expansion is valid. We assume neither that the group is connected nor that the underlying field has characteristic zero.
Let $U_l$ be a quantum group at an $l$th root of unity. Many tilting modules for $U_l$ have been shown to have what we call a balanced semisimple filtration, or a Loewy series whose semisimple layers are symmetric about some middle layer. The existence of such filtrations suggests a remarkably straightforward algorithm for calculating these characters if the irreducible characters are already known. We first show that the results of this algorithm agree with Soergel's character formula for the regular tilting modules. We then show that these balanced semisimple filtrations really do exist for …
This is the first of a series of papers devoted to certain pairs of commuting nilpotent elements in a semisimple Lie algebra that enjoy quite remarkable properties and which are expected to play a major role in Representation theory. The properties of these pairs and their role is similar to those of the principal nilpotents. To any principal nilpotent pair we associate a two-parameter analogue of the Kostant partition function, and propose the corresponding two-parameter analogue of the weight multiplicity formula. In a different direction, each principal nilpotent pair gives rise to a harmon…
In the present paper, we prove that any finite non-trivial irreducible module over a rank two Lie conformal algebra $\mathcal{H}$ is of rank one. We also describe the actions of $\mathcal{H}$ on its finite irreducible modules explicitly. Moreover, we show that all finite non-trivial irreducible modules of finite Lie conformal algebras whose semisimple quotient is the Virasoro Lie conformal algebra are of rank one.
An algorithm is described to compute the canonical basis of an irreducible module over a quantized enveloping algebra of a finite-dimensional semisimple Lie algebra. The algorithm works for modules that are constructed as a submodule of a tensor product of modules with known canonical bases.
We give a full classification, in terms of periodic skew diagrams, of irreducible semisimple modules in category O for the degenerate double affine Hecke algebra of type A which can be realized as submodules of Verma modules.
We survey some results on tensor products of irreducible Harish-Chandra bimodules. It turns out that such tensor products are semisimple in suitable Serre quotient categories. We explain how to identify the resulting semisimple tensor categories and describe some applications to representation theory.
Consider a simple Lie algebra $\mathfrak{g}$ and $\overline{\mathfrak{g}}% \subset \mathfrak{g}$ a Levi subalgebra. Two irreducible $\overline{% \mathfrak{g}}$-modules yield isomorphic inductions to $\mathfrak{g}$ when their highest weights coincide up to conjugation by an element of the Weyl group $W$ of $\mathfrak{g}$ which is also a Dynkin diagram automorphism of $% \overline{\mathfrak{g}}$. In this paper we study the converse problem: given two irreducible $\overline{\mathfrak{g}}$-modules of highest weight $μ$ and $ν$ whose inductions to $\mathfrak{g}$ are isomorphic, can we conclude that…
Let G be a semisimple almost simple algebraic group defined and split over a nonarchimedean local field K and let S be the Steinberg representation of G(K). Let t be be a very regular semisimple element of G(K). In this paper we give a simple formula (not as an alternating sum) for the value of the character of S at t; we show that this value is plus or minus an integer power of q, the cardinal of the residue field of K. We also give an explicit formula for the character at a split very regular element of any irreducible admissible representation of G(K) with nonzero vectors invariant under an…
We use tilting modules to study the structure of the tensor product of two simple modules for the algebraic group $\SL_2$, in positive characteristic, obtaining a twisted tensor product theorem for its indecomposable direct summands. Various other related results are obtained, and numerous examples are computed.
We show that Haar measures of connected semisimple groups, embedded via a representation into a matrix space, have a homogeneous asymptotic limit when viewed from far away and appropriately rescaled. This is still true if the Haar measure of the semisimple group is replaced by the Haar measure of a irreducible lattice of the group, and the asymptotic measure is the same. In the case of an almost simple group of rank greater than 2, a remainder term in obtained. This extends and precises anterior results of Duke, Rudnick and Sarnak, and Eskin-McMullen in the case of a group variety.
Let $H$ be a semisimple Hopf algebra over an algebraically closed field $\mathbbm{k}$ of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$ and $p\nmid 2\dim_{\mathbbm{k}}(H)$. In this paper, we consider the smash product semisimple Hopf algebra $H\#\mathbbm{k}G$, where $G$ is a cyclic group of order $n:=2\dim_{\mathbbm{k}}(H)$. Using irreducible representations of $H$ and those of $\mathbbm{k}G$, we determine all non-isomorphic irreducible representations of $H\#\mathbbm{k}G$. There is a close relationship between the Grothendieck algebra $(G_0(H\#\mathbbm{k}G)\otimes_{\mathbb{Z}}\mathbbm{k},*)$ …
In this paper we prove that every irreducible representation of a Leibniz algebra can be obtained from irreducible representations of the semisimple Lie algebra from the Levi decomposition. We also prove that - in general - for (semi)simple Leibniz algebras it is not true that a representation can be decomposed to a direct sum of irreducible components.
Let $G = {\rm U}(2m, {\mathbb F}_{q^2})$ be the finite unitary group, with $q$ the power of an odd prime $p$. We prove that the number of irreducible complex characters of $G$ with degree not divisible by $p$ and with Frobenius-Schur indicator -1 is $q^{m-1}$. We also obtain a combinatorial formula for the value of any character of ${\rm U}(n, {\mathbb F}_{q^2})$ at any central element, using the characteristic map of the finite unitary group.
The article is about the representation theory of an inner form~$G$ of a general linear group over a non-archimedean local field. We introduce semisimple characters for~$G$ whose intertwining classes describe conjecturally via Local Langlands correspondence the behavior on wild inertia. These characters also play a potential role to understand the classification of irreducible smooth representations of inner forms of classical groups. We prove the intertwining formula for semisimple characters and an intertwining implies conjugacy like theorem. Further we show that endo-parameters for~$G$, i.e…
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 study the structure of the indecomposable direct summands of tensor products of two restricted simple $SL_3(K)$-modules, where $K$ is an algebraically closed field of characteristic $p \geq 5$. We give a characteristic-free algorithm for the computation of the decomposition of such a tensor product into indecomposable modules. The $p<5$ case for $\SL_3(K)$ was studied in the authors' earlier paper. In this paper we show that for characteristics $p\geq 5$ all the indecomposable summands are rigid, in contrast to the situation in characteristic 3.
Let L be a finite-dimensional Lie algebra over a field of non-zero characteristic. By a theorem of Jacobson, L has a finite-dimensional faithful module which is completely reducible. We show that if the field is not algebraically closed, then L has an irreducible such module. We also give a necessary and sufficient condition for a finite-dimensional Lie algebra over an algebraically closed field of non-zero characteristic to have a faithful irreducible module.
Finite W-algebras are certain associative algebras arising in Lie theory. Each W-algebra is constructed from a pair of a semisimple Lie algebra g (our base field is algebraically closed and of characteristic 0) and its nilpotent element e. In this paper we classify finite dimensional irreducible modules with integral central character over W-algebras. In more detail, in a previous paper the first author proved that the component group A(e) of the centralizer of the nilpotent element under consideration acts on the set of finite dimensional irreducible modules over the W-algebra and the quotien…
Let $E/F$ be a unramified quadratic extension of non-archimedean local fields of odd characteristic $p$, and $G$ be the unramified unitary group $U(2, 1)(E/F)$. For an irreducible smooth representation $π$ of $G$ over $\overline{\mathbf{F}}_p$, with an underlying irreducible smooth representation $σ$ of a maximal compact open subgroup $K$, we prove that $π$ admits eigenvectors for an appropriate Hecke operator $T_σ$, and we classify those $π$ with non-zero eigenvalues for $T_σ$ by a tree argument; as a corollary, we show $π$ is supersingular if and only if it is supercuspidal.
Given a quaternionic form G of a p-adic classical group (p odd) we classify all cuspidal irreducible representations of G with coefficients in an algebraically closed field of characteristic different from p. We prove two theorems: At first: Every irreducible cuspidal representation of G is induced from a cuspidal type, i.e. from a certain irreducible representation of a compact open subgroup of G, constructed from a beta-extension and a cuspidal representation of a finite group. Secondly we show that two intertwining cuspidal types of G are up to equivalence conjugate under some element of G.
Let g be a semisimple complex Lie algebra. Let O be a nilpotent orbit in g. Fix a triangular decomposition g=n+h+n^-. An irreducible component of the intersection of O and n is called an orbital variety associated to O. It is a Lagrangian subvariety of O. In this note we discuss the closure of an orbital variety as a union of varieties. We show that if g contains factors not of type A_n then there are orbital varieties whose closure contains components which are not Lagrangian. We show that the argument does not work if all the factors are of type A_n and provide the facts supporting the conje…
The purpose of this paper is to give a construction of representations of the group of currents for semisimple groups of rank greater than one. Such groups have no unitary representations in the Fock space, since the semisimple groups of this form have no nontrivial cohomology in faithful irreducible representations. Thus we first construct cohomology of the semisimple groups in nonunitary representations. The principal method is to reduce all constructions to Iwasawa subgroups (solvable subgroups of the semisimple groups), with subsequent extension to the original group. The resulting represe…
In a previous paper, the authors studied the radical filtration of a Weyl module $Δ_ζ(λ)$ for quantum enveloping algebras $U_ζ(\overset\circ{\mathfrak g})$ associated to a finite dimensional complex semisimple Lie algebra $\overset\circ{\mathfrak g}$. There $ζ^2=\sqrt[e]{1}$ and $λ$ was, initially, required to be $e$-regular. Some additional restrictions on $e$ were required---e.g., $e>h$, the Coxeter number, and $e$ odd. Translation to a facet gave an explicit semisimple series for all quantum Weyl modules with singular, as well as regular, weights. That is, the sections of the filtration are…
