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.
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.
We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime factorisation of natural numbers.
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.
Let F be a non-Archimedean locally compact field with residual characteristic p, let G be an inner form of GL(n,F) for a positive integer n and let R be an algebraically closed field of characteristic different from p. When R has characteristic $\ell>0$, the image of an irreducible smooth R-representation $π$ of G by the Aubert involution need not be irreducible. We prove that this image (in the Grothendieck group of G) contains a unique irreducible term $π$* with the same cuspidal support as $π$. This defines an involution on the set of isomorphism classes of irreducible R-representations of …
We give an algorithm for working out the indecomposable direct summands in a Krull--Schmidt decomposition of a tensor product of two simple modules for G=SL_3 in characteristics 2 and 3. It is shown that there is a finite family of modules such that every such indecomposable summand is expressible as a twisted tensor product of members of that family. Along the way we obtain the submodule structure of various Weyl and tilting modules. Some of the tilting modules that turn up in characteristic 3 are not rigid; these seem to provide the first example of non-rigid tilting modules for algebraic gr…
We completely describe the decompositions (into indecomposable submodules) of the tensor products of irreducible sl(2)-modules in characteristic 3. The answer resembles analogous decompositions for the Lie superalgebra sl(1|1).
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.
Motivated by the study of an Hecke action on iterated Shimura integrals undertaken in [H], in this appendix to [H] we prove that, for any prime $p \geq 5$ and for any integer $n \geq 1$, every complex irreducible representation of $G=\mathrm{SL}_2(\mathbb{Z}/p^n \mathbb{Z})$ that are trivial on $\mathbf{Z}(G)$ appears as an irreducible constituent of the conjugation representation of $G$.
An algorithm for irreducible decomposition of representations of finite groups over fields of characteristic zero is described. The algorithm uses the fact that the decomposition induces a partition of the invariant inner product into a complete set of mutually orthogonal projectors. By expressing the projectors through the basis elements of the centralizer ring of the representation, the problem is reduced to solving systems of quadratic equations. The current implementation of the algorithm is able to split representations of dimensions up to hundreds of thousands. Examples of calculations a…
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.
We compute the l-modular decomposition matrices of the simple Ree groups 2F4(q^2), where q^2=2^{2n+1} and n is a positive integer, for all primes l > 3 up to some entries in the unipotent characters. Using these matrices we determine the smallest degree of a non-trivial irreducible l-modular representation of 2F4(q^2) for all primes l > 3. We also obtain results on the 3-modular decomposition matrices of 2F4(q^2).
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.
In this paper we consider symmetric powers representation and exterior powers representation of finite groups, which generated by the representation which has finite dimension over the complex field. We calculate the multiplicity of irreducible component of two representations of some representation by using a character theory of representation and a pre-lambda-ring, for example, the regular representation.
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…
We prove for an arbitrary complex $^*$-algebra $A$ that every topologically irreducible $^*$-representation of $A$ on a Hilbert space is finite dimensional precisely when the Lebesgue decomposition of representable positive functionals over $A$ is unique. In particular, the uniqueness of the Lebesgue decomposition of positive functionals over the $L^1$-algebras of locally compact groups provides a new characterization of Moore groups.
There exist principal $\mathfrak{sl}_2$ subalgebras for hyperbolic Kac-Moody Lie algebras. In the case of rank 2 symmetric hyperbolic Kac-Moody Lie algebras, certain $\mathfrak{sl}_2$ subalgebras are constructed. These subalgebras are generalizations of principal $\mathfrak{sl}_2$ subalgebras. We show that the rank 2 symmetric hyperbolic Kac-Moody Lie algebras themselves are irreducibly decomposed under the action of this $\mathfrak{sl}_2$ subalgebras. Furthermore, we classify irreducible components of the decomposition. In particular, we obtain multiplicities of unitary principal series and c…
We give the decomposition into irreducible factors of Weil representations of the symplectic groups at even levels, generalizing previous decompositions at odd levels. We then derive the decomposition of the quantum representations of SL2(Z) arising in the SU(2) and SO(3) TQFTs. As application we show that, when the level indexing the TQFT is not a multiple of 4, the universal construction applied to a cobordism category without framed links leads to the same TQFT.
Recently, there has been considerable progress in classifying the irreducible representations of Iwahori--Hecke algebras at roots of unity. Here, we present an application of these results to $\ell$-modular Harish--Chandra series for a finite group of Lie type $G(q)$. Under some mild condition on $\ell$, we show that the $\ell$-modular principal series representations of $G(q)$ are naturally parametrized by a {\em subset} of the set of complex irreducible characters of the Weyl group of $G(q)$. We also show that this subset is ``generic'' in a precise sense.
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, w…
We consider non-trivial irreducible tensor products of modular representations of a symmetric group $S_n$ in characteristic 2 for even $n$ completing the proof of a classification conjecture of Gow and Kleshchev about such products.
Building on prior work, we analyze the decomposition of the restriction of an irreducible representation of SL_2(k), for k a p-adic field of odd residual characteristic, to a maximal compact subgroup K. The pattern of the decomposition varies between principal series and different supercuspidal representations, whereas the K-representations which occur in the "tail end" of these decompositions are precisely those occurring in the decomposition of depth-zero supercuspidal representations. Various applications are considered.
This paper contains the decomposition matrices for blocks of defect at most $2$ in Category $\mathcal{O}_c(W)$ of the rational Cherednik algebra when $W=E_8$ or $F_4$ with equal parameters $c=1/d$, $d>2$ a regular number of $W$. A corollary of the result is a classification of the dimensions of support of the irreducible modules $L(τ)$ in $\mathcal{O}_{1/d}(W)$ except in the following cases: $W=E_8$, $d=4$ or $6$ and $L(τ)$ is in the principal block, or $d=2$ or $3$; $W=F_4$, $d=2$. In particular, this classifies the finite-dimensional modules of $H_c(E_8)$ when $d\neq 2,3,4,6$.
The Springer correspondence makes a link between the characters of a Weyl group and the geometry of the nilpotent cone of the corresponding semisimple Lie algebra. In this article, we consider a modular version of the theory, and show that the decomposition numbers of a Weyl group are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent cone. We give some decomposition numbers which can be obtained geometrically. In the case of the symmetric group, we show that James' row and column removal rule for the symmetric group can be derived from a smooth equival…
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…
We study the irreducible constituents of the reduction modulo p of irreducible algebraic representations V of Res_{K/Q_p} GL_2 for K a finite extension of Q_p. We show that asymptotically, the multiplicity of each constituent depends only on the dimension of V and the central character of its reduction modulo p. As an application, we compute the asymptotic value of multiplicities that are the object of the Breuil-Mézard conjecture.
We show that in characteristic 2, the Steinberg representation of the symplectic group Sp(2n,q), q a power of an odd prime p, has two irreducible constituents lying just above the socle that are isomorphic to the two Weil modules of degree (q^n-1)/2.
Let F be a non-Archimedean locally compact field of residue characteristic p, let D be a finite dimensional central division F-algebra and let R be an algebraically closed field of characteristic different from p. To any irreducible smooth representation of G=GL(m,D) with coefficients in R, we can attach a uniquely determined inertial class of supercuspidal pairs of G. This provides us with a partition of the set of all isomorphism classes of irreducible representations of G. We write R(G) for the category of all smooth representations of G with coefficients in R. To any inertial class O of su…
We introduce a path-theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher level generalisations over fields of arbitrary characteristic. Our first main result is a "super-strong linkage principle" which provides degree-wise upper bounds for graded decomposition numbers (this is new even in the case of symmetric groups). Next, we generalise the notion of homomorphisms between Weyl/Specht modules which are "generically" placed (within the associated alcove geometries) to cyclotomic Hecke and diagrammatic Cherednik algebr…
It is well known that using the weight lattice of type $E_6$, $P$, and the lattice construction for vertex operator algebras one can obtain all three level 1 irreducible $\tilde{g}$-modules with $V_P = V^{\Lamba_0} \oplus V^{\Lamba_1} \oplus V^{\Lamba_6}$. The Dynkin diagram of type $E_6$ has an order 2 automorphism, $τ$, which can be lifted to $\tilde{τ}$, a Lie algebra automorphism of $\tilde{g}$ of type $E_6^(1)$. The fixed points of $\tilde{τ}$ are a subalgebra $\tilde{a}$ of type $F_4^(1)$. The automorphism $τ$ lifts further to $\hat{τ}$ a vertex operator algebra automorphism of $V_P$. We…
Let $\mathcal{R}$ be the Grothendieck ring of complex smooth finite-length representations of the sequence of p-adic groups $\{GL_n(F)\}_{n=0}^\infty$, with multiplication defined through parabolic induction. We study the problem of the decomposition of products of irreducible representations in $\mathcal{R}$. We obtain a necessary condition on irreducible factors of a given product by introducing a width invariant. Width $1$ representations form the previously studied class of ladder representations. We later focus on the case of a product of two ladder representations, for which we establish…
Character measure is a probability measure on irreducible representations of a semisimple Lie algebra. It appears from the decomposition into irreducibles of tensor power of a fundamental representation. In this paper we calculate the asymptotics of character measure on representations of so(2n+1) in the regime near the boundary of weight diagram. We find out that it converges to a Poisson-type distribution.
We give a simple description of the natural bijection between the set of FLOTW bipartitions and the set of Uglov bipartitions (which generalizes the set of Kleshchev bipartitions). These bipartitions, which label the crystal graphs of irreducible $\mathcal{U}\_v({\hat{\mathfrak{sl}}\_e})$-modules of level two, naturally appear in the context of the modular representation theory of Hecke algebras of type $B\_n$.
We compare the dimensions of the irreducible Sp(2g,K)-modules over a field K of characteristic p constructed by Gow with the dimensions of the irreducible Sp(2g,F_p)-modules that appear in the first approximation to representations of mapping class groups of surfaces in Integral Topological Quantum Field Theory. For this purpose, we derive a trigonometric formula for the dimensions of Gow's representations. This formula is equivalent to a special case of a formula contained in unpublished work of Foulle. Our direct proof is simpler than the proof of Foulle's more general result, and is modeled…
Let E/Q be a real quadratic field and pi_0 a cuspidal, irreducible, automorphic representation of GL(2,A_E) with trivial central character and infinity type (2,2n+2) for some non-negative integer n. We show that there exists a non-zero Siegel paramodular newform F with weight, level, Hecke eigenvalues, epsilon factor and L-function determined explicitly by pi_0. We tabulate these invariants in terms of those of pi_0 for every rational prime p.
We construct an endoscopic decomposition for local L-packets associated to irreducible cuspidal Deligne-Lusztig representations. Moreover, the obtained decomposition is compatible with inner twistings.
We conjecture an explicit bound on the prime characteristic of a field, under which the Weyl modules of affine $\mathfrak{sl}_2$ and the minimal series modules of Virasoro algebra remain irreducible, and Goddard-Kent-Olive coset construction for affine $\mathfrak{sl}_2$ is valid.
There is a decomposition of a Lie algebra for open matrix chains akin to the triangular decomposition. We use this decomposition to construct unitary irreducible representations. All multiple meson states can be retrieved this way. Moreover, they are the only states with a finite number of non-zero quantum numbers with respect to a certain set of maximally commuting linearly independent quantum observables. Any other state is a tensor product of a multiple meson state and a state coming from a representation of a quotient algebra that extends and generalizes the Virasoro algebra. We expect the…
We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.
We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms in terms of $\widehat{sl(2)}$ characters leads to vector-valued modular forms. We obtain closed formulae for these vector-valued modular forms. In the Lie algebraic context, the Fourier coefficients …
In this paper we further analyze modular invariants for subfactors, in particular the structure of the chiral induced systems of M-M morphisms. The relative braiding between the chiral systems restricts to a proper braiding on their ``ambichiral'' intersection, and we show that the ambichiral braiding is non-degenerate if the original braiding of the N-N morphisms is. Moreover, in this case the dimensions of the irreducible representations of the chiral fusion rule algebras are given by the chiral branching coefficients which describe the ambichiral contribution in the irreducible decompositio…