Let K be an algebraically closed field of characteristic p>0 and let Sp(2m) be the symplectic group of rank m over K. The main theorem of this article gives the character of the rational simple Sp(2m)-modules with fundamental highest weight as an explicit alternating sum of characters of Weyl modules. One obtains several formulae for the dimensions of these simple modules, what allows us to investigate the asymptotic behavior of these dimensions, for a given p, when the rank m is growing towards infinity. One also gets the simple Weyl modules with fundamental highest weight, and the article ends with an application to the modular representation theory of the symmetric group.
Assume $G$ is a finite symplectic group $\mathrm{Sp}_{2n}(q)$ over a finite field $\mathbb{F}_q$ of odd characteristic. We describe the action of the automorphism group $\mathrm{Aut}(G)$ on the set $\mathrm{Irr}(G)$ of ordinary irreducible characters of $G$. This description relies on the equivariance of Deligne--Lusztig induction with respect to automorphisms. We state a version of this equivariance which gives a precise way to compute the automorphism on the corresponding Levi subgroup; this may be of independent interest. As an application we prove that the global condition in Späth's crite…
This paper classifies irreducible, integrable highest weight modules for "current Kac-Moody Algebras" with finite dimensional weight spaces. We prove that these modules turn out to be modules of appropriate direct sums of finitely many copies of Kac-Moody Lie algebras.
We formulate and establish a super duality which connects parabolic categories $O$ between the ortho-symplectic Lie superalgebras and classical Lie algebras of $BCD$ types. This provides a complete and conceptual solution of the irreducible character problem for the ortho-symplectic Lie superalgebras in a parabolic category $O$, which includes all finite-dimensional irreducible modules, in terms of classical Kazhdan-Lusztig polynomials.
Let $A$ be a ring with $1\neq 0$, not necessarily finite, endowed with an involution~$*$, that is, an anti-automorphism of order $\leq 2$. Let $H_n(A)$ be the additive group of all $n\times n$ hermitian matrices over $A$ relative to $*$. Let ${\mathcal U}_n(A)$ be the subgroup of $\mathrm{GL}_n(A)$ of all upper triangular matrices with 1's along the main diagonal. Let $P=H_n(A)\rtimes {\mathcal U}_n(A)$, where ${\mathcal U}_n(A)$ acts on $H_n(A)$ by $*$-congruence transformations. We may view $P$ as a unipotent subgroup of either a symplectic group $\mathrm{Sp}_{2n}(A)$, if $*=1_A$ (in which c…
We use the theory of skew duality to show that decomposing the tensor product of $k$ irreducible representations of the symplectic group $Sp_{2m} = Sp_{2m}(C)$ is equivalent to branching from $Sp_{2n}$ to $Sp_{2n_1}\times\cdots\times Sp_{2n_k}$ where $n, n_1,\ldots, n_k$ are positive integers such that $n = n_1+\cdots+n_k$ and the $n_j$'s depend on $m$ as well as the representations in the tensor product. Using this result and a work of J. Lepowsky, we obtain a skew Pieri rule for $Sp_{2m}$, i.e., a description of the irreducible decomposition of the tensor product of an irreducible representa…
We prove a character formula for the irreducible modules from the category $\mathcal{O}$ over the simple affine vertex algebra of type $A_n$ and $C_n$ $(n \geq 2)$ of level $k=-1$. We also give a conjectured character formula for types $D_4$, $E_6$, $E_7$, $E_8$ and levels $k=-1, \cdots, -b$, where $b=2,3,4,6$ respectively.
We study the crystal graphs of irreducible $U_{v}(\hat{sl}}_{e})$-modules of higher level l. Generalizing works of the first author, we obtain a simple description of the bijections between the classes of multipartitions which naturally label these graphs: the Uglov multipartitions. This is achieved by expliciting an embedding of the $U_{v}(\hat{sl}}_{e})$-crystals of level l into $U_{v}(\hat{sl}_{\infty})$-crystals associated to highest weight modules.
Characteristic cycles and leading term cycles of irreducible highest weight Harish-Chandra modules of regular integral infinitesimal character are determined. In the simply laced cases they are irreducible, but in the nonsimply laced cases they are more complicated.
The behavior of the images of a fixed element of order p in irreducible representations of a classical algebraic group in odd characteristic p with highest weights large enough with respect to p and this element is investigated. Lower estimates for the number of Jordan blocks of size p in images of such elements that lie in naturally embedded subgroups of the same type as the initial group and smaller ranks are obtained.
For each integer $t>0$ and each complex simple Lie algebra $\mathfrak{g}$, we determine the least dimension of an irreducible highest weight representation of $\mathfrak{g}$ whose highest weight has height $t$. As a corollary, we classify all irreducible modules whose dimension equals a product of two primes.
Perhaps the most important problem in representation theory in the 1970s and early 1980s was the determination of the multiplicity of composition factors in a Verma module. This problem was settled by the proof of the Kazhdan-Lusztig Conjecture which states that the multiplicities may be computed via Kazhdan-Lusztig polynomials. In this paper, we introduce signed Kazhdan-Lusztig polynomials, a variation of Kazhdan-Lusztig polynomials which encodes signature information in addition to composition factor multiplicities and Jantzen filtration level. Careful consideration of Gabber and Joseph's pr…
We shall derive Kazhdan-Lusztig type character formula for the irreducible modules with arbitrary non-critical highest weights over affine Lie algebras from the rational case by using the translation functor, the Enright functor and Jantzen's deformation argument.
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.
Branching of symplectic groups is not multiplicity-free. We describe a new approach to resolving these multiplicities that is based on studying the associated branching algebra $B$. The algebra $B$ is a graded algebra whose components encode the multiplicities of irreducible representations of $Sp_{2n-2}$ in irreducible representations of $Sp_{2n}$. Our first theorem states that the map taking an element of $Sp_{2n}$ to its principal $n \times (n+1)$ submatrix induces an isomorphism of $\B$ to a different branching algebra $\B'$. The algebra $\B'$ encodes multiplicities of irreducible represen…
We construct two supercharacter theories (in the sense of P. Diaconis and I.M. Isaacs) for the parabolic subgroups in orthogonal and symplectic groups. For each supercharacter theory, we obtain a supercharacter analog of the A.A.Kirillov formula for irreducible characters of finite unipotent groups.
We prove that the weight multiplicities of the integrable irreducible highest weight module over the Kac-Moody algebra associated to a quiver are equal to the root multiplicities of the Kac-Moody algebra associated to some enlarged quiver. To do this, we use the Kac conjecture for indivisible roots and a relation between the Poincare polynomials of quiver varieties and the Kac polynomials, counting the number of absolutely irreducible representations of the quiver over finite fields. As a corollary of this relation, we get an explicit formula for the Poincare polynomials of quiver varieties, w…
The main aim of this paper is to classify the irreducible admissible representations of ${\rm GL}_{4}(F)$ and ${\rm GL}_{6}(F)$ for a nonarchimedean local field $F$, which bear a nontrivial linear form invariant under the groups ${\rm Sp}_{4}(F)$ and ${\rm Sp}_{6}(F)$ respectively. We propose a few conjectures for the general case.
In the representation theory of simple Lie algebras, we consider the problem of constructing a "canonical" weight basis in an arbitrary irreducible finite-dimensional highest weight module. Vinberg suggested a method for constructing such bases by applying the lowering operators corresponding to all positive roots to the highest weight vector. He proposed several conjectures on the parametrization and structure of such bases. It is already known that these conjectures are true for the cases $A_n$, $C_n$, $G_2$, $B_3$. In this paper, we prove these conjectures for the Lie algebra of type $D_4$.
A highest weight theory for a finite W-algebra U(g,e) was developed in [BGK]. This leads to a strategy for classifying the irreducible finite dimensional U(g,e)-modules. The highest weight theory depends on the choice of a parabolic subalgebra of g leading to different parameterizations of the finite dimensional irreducible U(g,e)-modules. We explain how to construct an isomorphism preserving bijection between the parameterizing sets for different choices of parabolic subalgebra when g is of type A, or when g is of types C or D and e is an even multiplicity nilpotent element
In this paper, we study irreducible weight modules with infinite dimensional weight spaces over the mirror-twisted Heisenberg-Virasoro algebra $\mathcal{D}$. More precisely, the necessary and sufficient conditions for the tensor products of irreducible highest weight modules and irreducible modules of intermediates series over $\mathcal{D}$ to be irreducible are determined by using "shifting technique". This leads to a family of new irreducible weight modules over $\mathcal{D}$. Then we obtain that any two such tensor products are isomorphic if and only if the corresponding highest weight modu…
The classification of irreducible, spherical characters of the infinite-dimensional unitary/orthogonal/symplectic groups can be obtained by finding all possible limits of normalized, irreducible characters of the corresponding finite-dimensional groups, as the rank tends to infinity. We solve a q-deformed version of the latter problem for orthogonal and symplectic groups, extending previously known results for the unitary group. The proof is based on novel determinantal and double-contour integral formulas for the q-specialized characters.
The Sato-Tate distributions for genus 2 curves (conjecturally) describe the statistics of numbers of rational points on the curves. In this paper, we explicitly compute the auto-correlation functions of Sato-Tate distributions for genus 2 curves as sums of irreducible characters of symplectic groups. Our computations bring about families of identities involving irreducible characters of symplectic groups $Sp(2m)$ for all $m \in \mathbb Z_{\ge 1}$, which have interest in their own rights.
We define and study supercharacters of the classical finite unipotent groups of symplectic and orthogonal types (over any finite field of odd characteristic). We show how supercharacters for groups of those types can be obtained by restricting the supercharacter theory of the finite unitriangular group, and prove that supercharacters are orthogonal and provide a partition of the set of all irreducible characters. We also describe all irreducible characters of maximum degree in terms of the root system, and show how they can be obtained as constituents of particular supercharacters.
A. Dzhumadil'daev classified all irreducible finite dimensional representations of the simple n-Lie algebra. Using a slightly different approach, we obtain in this paper a complete classification of all irreducible, highest weight modules, including the infinite-dimensional ones. As a corollary we find all primitive ideals of the universal enveloping algebra of this simple n-Lie algebra.
We will construct a family of irreducible generic supercuspidal representations of the symplectic groups over non-archimedian local field $F$ of odd residual characteristic. The supercuspidal representations are compactly induced from irreducible representations of the hyperspecial compact subgroup which are inflated from irreducible representations of finite symplectic groups over the finite quotient ring of the integer ring of $F$ modulo high powers of the prime element.
Two classes of irreducible highest weight modules of the general linear Lie superalgebra $gl(1/\infty)$ are constructed. Within each module a basis is introduced and the transformation relations of the basis under the action of the algebra generators are written down.
A basis for each finite-dimensional irreducible representation of the symplectic Lie algebra sp(2n) is constructed. The basis vectors are expressed in terms of the Mickelsson lowering operators. Explicit formulas for the matrix elements of generators of sp(2n) in this basis are given. The basis is natural from the viewpoint of the representation theory of the Yangians. The key role in the construction is played by the fact that the subspace of sp(2n-2)-highest vectors in any finite-dimensional irreducible representation of sp(2n) admits a natural structure of a representation of the Yangian Y(…
The loop-Virasoro algebra is the Lie algebra of the tensor product of the Virasoro algebra and the Laurent polynomial algebra. This paper classifies irreducible Harish-Chandra modules over the loop-Virasoro algebra, which turn out to be highest weight modules, lowest weight modules and evaluation modules of the intermediate series (all wight spaces are 1-dimensional). As a by-product, we obtain a classification of irreducible Harish-Chandra modules over truncated Virasoro algebras. We also determine the necessary and sufficient conditions for highest weigh irreducible modules over the loop-Vir…
The symplectic group branching algebra, B, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp(2n-2,C) in each irreducible representation of Sp(2n,C). By describing on B an ASL structure, we construct an explicit standard monomial basis of B consisting of Sp(2n-2,C) highest weight vectors. Moreover, B is known to carry a canonical action of the n-fold product SL(2) \times ... \times SL(2), and we show that the standard monomial basis is the unique (up to scalar) weight basis associated to this representation. Finally, using the theory of Hibi alg…
We give the first two-dimensional pictorial presentation of Berele's correspondence \cite{Berele}, an analogue of the Robinson-Schensted (R-S) correspondence \cite{Robinson, Schensted} for the symplectic group $Sp(2n, \Cpx )$. From the standpoint of representation theory, the R-S correspondence combinatorially describes the irreducible decomposition of the tensor powers of the natural representation of $GL(n,\Cpx)$. Berele's insertion algorithm gives the bijection that describes the irreducible decomposition of the tensor powers of the natural representation of $Sp(2n, \Cpx)$. Two-dimensional …
We consider the symplectic group $\mathrm{Sp}_{2n}$ defined over a $p$-adic field $F$, where $p=2$. We prove that every simple supercuspidal representation (in the sense of Gross--Reeder) of $\mathrm{Sp}_{2n}(F)$ corresponds to an irreducible $L$-parameter under the local Langlands correspondence for $\mathrm{Sp}_{2n}$ established by Arthur.
Let $\SF^a_λ$ be the degenerate symplectic flag variety. These are projective singular irreducible $\bG_a^M$ degenerations of the classical flag varieties for symplectic group $Sp_{2n}$. We give an explicit construction for the varieties $\SF^a_λ$ and construct their desingularizations, similar to the Bott-Samelson resolutions in the classical case. We prove that $\SF^a_\la$ are normal locally complete intersections with terminal and rational singularities. We also show that these varieties are Frobenius split. Using the above mentioned results, we prove an analogue of the Borel-Weil-Bott theo…
The character formula of any finite dimensional irreducible module $L_λ$ for Lie superalgebra $\mathfrak{osp}(n|2)$ is computed. As a by-product, the decomposition of tensor module $L_λ\otimes \mathbb{C}^{n|2}$, where $\mathbb{C}^{n|2}$ is the natural representation, is obtained.
We show that if an irreducible admissible representation of $\mathrm{SO}_{4n}(F)$ has a generalized Shalika model, then its small theta lift to $\mathrm{Sp}_{4n}(F)$ has the symplectic linear model, thus answering a question posed by D. Jiang. Here $F$ is a non-archimedean field of characteristic zero.
We classify the irreducible complex characters of the symplectic groups $Sp_{2n}(q)$ and the orthogonal groups $Spin_{2n}^\pm(q)$, $Spin_{2n+1}(q)$ of degrees up to the bound D, where $D=(q^n-1)q^{4n-10}/2$ for symplectic groups, $D=q^{4n-8}$ for orthogonal groups in odd dimension, and $D=q^{4n-10}$ for orthogonal groups in even dimension.
We give explicit realizations of irreducible representations of the Yangian of the general linear Lie algebra and of its twisted analogues, corresponding to symplectic and orthogonal Lie algebras. In particular, we develop the fusion procedure for twisted Yangians. For the non-twisted Yangian, this procedure goes back to the works of Cherednik.
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…
We study the existence of symplectic resolutions of quotient singularities V/G where V is a symplectic vector space and G acts symplectically. Namely, we classify the symplectically irreducible and imprimitive groups, excluding those of the form $K \rtimes S_2$ where $K < \SL_2(\C)$, for which the corresponding quotient singularity admits a projective symplectic resolution. As a consequence, for $\dim V \neq 4$, we classify all quotient singularities $V/G$ admitting a projective symplectic resolution which do not decompose as a product of smaller-dimensional quotient singularities, except for …
We show that a certain symmetry exists in the stable irreducible decomposition of the Lie algebra consisting of symplectic derivations of the free Lie algebra generated by the first homology group of compact oriented surfaces.
The multidimensional quantization procedure, proposed by the first author and its modifications (reduction to radicals and lifting on U(1)-coverings) give us a almost universal theoretical tools to find irreducible representations of Lie groups. By using this method and the root theory, we realize in this paper the representations of the degenerate principal series of symplectic groups.
We study the level-one irreducible highest weight representations of $U_q[\hat{gl(1|1)}]$ and associated q-vertex operators. We obtain the exchange relations satisfied by the vertex operators. The characters and supercharacters associated with these irreducible representations are calculated.
Let $F$ be a totally real field and $n\leq 4$ a natural number. We study the monodromy groups of any $n$-dimensional strictly compatible system $\{ρ_λ\}_λ$ of $λ$-adic representations of $F$ with distinct Hodge-Tate numbers such that $ρ_{λ_0}$ is irreducible for some $λ_0$. When $F=\mathbb{Q}$, $n=4$, and $ρ_{λ_0}$ is fully symplectic, the following assertions are obtained. (i) The representation $ρ_λ$ is fully symplectic for almost all $λ$. (ii) If in addition the similitude character $μ_{λ_0}$ of $ρ_{λ_0}$ is odd, then the system $\{ρ_λ\}_λ$ is potentially automorphic and the residual image …
We determine the exchange relations of the level-one q-vertex operators of the quantum affine superalgebra $U_q[\hat{gl(N|N)}]$. We study in details the level-one irreducible highest weight representations of $U_q[\hat{gl(2|2)}]$, and compute the characters and supercharacters associated with these irreducible modules.
We define and study category $\mathcal O$ for a symplectic resolution, generalizing the classical BGG category $\mathcal O$, which is associated with the Springer resolution. This includes the development of intrinsic properties parallelling the BGG case, such as a highest weight structure and analogues of twisting and shuffling functors, along with an extensive discussion of individual examples. We observe that category $\mathcal O$ is often Koszul, and its Koszul dual is often equivalent to category $\mathcal O$ for a different symplectic resolution. This leads us to define the notion of a s…
Results on symplectic spinors and their higher spin versions, concerning representation theory and cohomology properties are presented. Exterior forms with values in the symplectic spinors are decomposed into irreducible modules including finding the hidden symmetry (Schur--Weyl--Howe type duality) given by a representation of the Lie superalgebra $\mathfrak{osp}(1|2)$ in this case. We also determine ranges of the induced exterior symplectic spinor derivatives when they are restricted to bundles induced by the irreducible submodules mentioned. This duality is used to decompose curvature tensor…
Affine Lie algebras admit non-classical highest-weight theories through alternative partitions of the root system. Although significant inroads have been made, much of the classical machinery is inapplicable in this broader context, and some fundamental questions remain unanswered. In particular, the structure of the reducible objects in non-classical theories has not yet been fully understood. This question is addressed here for affine sl(2), which has a unique non-classical highest-weight theory, termed "imaginary". The reducible Verma modules in the imaginary theory possess an infinite desc…
