We compute $E_G (\prod_i \tr(g^{λ_i}))$, where $G=Sp(2n)$ or $SO(m) (m=2n, 2n+1)$ with Haar measure. This was first obtained by Persi Diaconis and Mehrdad Shahshahani, but our proof is more self-contained and gives a combinatorial description for the answer. We also consider how averages of general symmetric functions $E_G f_n$ are affected when we introduce a Weyl character $χ^G_λ$ into the integrand.
We show that the value of $E_G χ^G_λf_n / E_G f_n$ approaches a constant for large $n$. More surprisingly, the ratio we obtain only changes with $f_n$ and $λ$ and is independent of the Cartan type of $G$. Even in the unitary case, Daniel Bump and Persi Diaconis have obtained the same ratio. Finally, those ratios can be combined with asymptotics for $E_G f_n$ due to Kurt Johansson and provide asymptotics for $E_G χ^G_λf_n$.
It is known that there exists an order isomorphism between the Weyl group orbit through a minuscule weight of a simply-laced finite-dimensional simple Lie algebra and the set of all order filters in a self-dual connected d-complete poset. In this paper, we try to extend this fact to the case of multiply-laced finite-dimensional simple Lie algebras by using the "folding" technique with respect to a Dynkin diagram automorphism.
This note presents a procedure to determine the reduction of the irreducible and the induced characters of the symmetric group in terms of the irreducible and induced characters of the hyperoctahedral group Key Words: Symmetric Group, Hyperoctahedral group, Representations, Characters, Re- duction.
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
A Lie superalgebrea of Riemannian type leads to a representation of a quadratic Lie algebra into a Weyl algebra. A necessary and sufficient condition that such a representation leads to a Lie superalgebra of Riemannian type is that the Casimir maps to a constant.
Using the Moyal *-product and orthosymplectic supersymmetry, we construct a natural non trivial supertrace and an associated non degenerate invariant supersymmetric bilinear form for the Lie superalgebra structure of the Weyl algebra. We decompose adjoint and twisted adjoint actions. We define a renormalized supertrace and a formal inverse Weyl transform in a deformation quantization framework and develop some examples.
We generalize I. Frenkel's orbital theory for non twisted affine Lie algebras to the case of twisted affine Lie algebras using a character formula for certain non-connected compact Lie groups.
Weyl modules were originally defined for affine Lie algebras by Chari and Pressley in \cite{CP}. In this paper we extend the notion of Weyl modules for a Lie algebra $\mathfrak{g} \otimes A$, where $\mathfrak{g}$ is any Kac-Moody algebra and A is any finitely generated commutative associative algebra with unit over $\mathbb{C}$, and prove a tensor product decomposition theorem generalizing \cite{CP}.
The set of weights of a finite-dimensional representation of a reductive Lie algebra has a natural poset structure ("weight poset"). Studying certain combinatorial problems related to antichains in weight posets, we realised that the best setting is provided by the representations associated with $\mathbb Z$-gradings of simple Lie algebras (arXiv: math.CO 1411.7683). If $\mathfrak g$ is a simple Lie algebra, then a $\mathbb Z$-grading of $\mathfrak g$ induces a $\mathbb Z$-grading of the corresponding root system $Δ$. In this article, we elaborate on a general theory of lower ideals (or antich…
We introduce a new family of superalgebras $\overrightarrow{B}_{r,s}$ for $r, s \ge 0$ such that $r+s>0$, which we call the walled Brauer superalgebras, and prove the mixed Scur-Weyl-Sergeev duality for queer Lie superalgebras. More precisely, let $\mathfrak{q}(n)$ be the queer Lie superalgebra, ${\mathbf V} =\mathbb{C}^{n|n}$ the natural representation of $\mathfrak{q}(n)$ and ${\mathbf W}$ the dual of ${\mathbf V}$. We prove that, if $n \ge r+s$, the superalgebra $\overrightarrow{B}_{r,s}$ is isomorphic to the supercentralizer algebra $_{\mathfrak{q}(n)}({\mathbf V}^{\otimes r} \otimes {\mat…
In this paper we study Weyl modules for a toroidal Lie algebra $\CT$ with arbitrary $n$ variables. Using the work of Rao \cite{1995}, we prove that the level one global Weyl modules of $\CT$ are isomorphic to suitable submodules of a Fock space representation of $\CT$ upto a twist. As an application, we compute the graded character of the level one local Weyl module of $\CT$, thereby generalising the work of Kodera \cite{ko}.
We define global and local Weyl modules for $q \otimes A$, where $q$ is the queer Lie superalgebra and $A$ is an associative commutative unital $\mathbb{C}-$algebra. We prove that global Weyl modules are universal highest weight objects in certain category upto parity reversing functor $Π$. Then with the assumption that $A$ is finitely generated and with a special technical condition which simple root system of $q$ satisfy it is shown that the local Weyl modules are finite dimensional. Further they are universal highest map-weight objects in certain category upto $Π$. Finally we prove a tensor…
The main goal of our paper is to establish a connection between the Weyl modules of the current Lie superalgebras (twisted and untwisted) attached to $\mathfrak{osp}(1,2)$ and the nonsymmetric Macdonald polynomials of types $A_2^{(2)}$ and $A_2^{(2)\dagger}$. We compute the dimensions and construct bases of the Weyl modules. We also derive explicit formulas for the t=0 and t=\infty specializations of the nonsymmetric Macdonald polynomials. We show that the specializations can be described in terms of the Lie superalgebras action on the Weyl modules.
Given an algebraically closed field $\Bbbk$ of characteristic zero, a Lie superalgebra $\mathfrak{g}$ over $\Bbbk$ and an associative, commutative $\Bbbk$-algebra $A$ with unit, a Lie superalgebra of the form $\mathfrak{g} \otimes_\Bbbk A$ is known as a map superalgebra. Map superalgebras generalize important classes of Lie superalgebras, such as, loop superalgebras (where $A=\Bbbk[t, t^{-1}]$), and current superalgebras (where $A=\Bbbk[t]$). In this paper, we define Weyl functors, global and local Weyl modules for all map superalgebras where $\mathfrak{g}$ is either $\mathfrak{sl} (n,n)$ with…
We survey some aspects of the pseudo-differential Weyl calculus for irreducible unitary representations of nilpotent Lie groups, ranging from the classical ideas to recently obtained results. The classical Weyl-Hörmander calculus is recovered for the Schrödinger representation of the Heisenberg group. Our discussion concerns various extensions of this classical situation to arbitrary nilpotent Lie groups and to some infinite-dimensional Lie groups that allow us to handle the magnetic pseudo-differential calculus.
We identify level one global Weyl modules for toroidal Lie algebras with certain twists of modules constructed by Moody-Eswara Rao-Yokonuma via vertex operators for type ADE and by Iohara-Saito-Wakimoto and Eswara Rao for general type. The twist is given by an action of $\mathrm{SL}_{2}(\mathbb{Z})$ on the toroidal Lie algebra. As a byproduct, we obtain a formula for the character of the level one local Weyl module over the toroidal Lie algebra and that for the graded character of the level one graded local Weyl module over an affine analog of the current Lie algebra.
We present some recent results on smooth vectors for unitary irreducible representations of nilpotent Lie groups. Applications to the Weyl-Pedersen calculus of pseudo-differential operators with symbols on the coadjoint orbits are also discussed.
For certain nilpotent real Lie groups constructed as semidirect products, algebras of invariant differential operators on some coadjoint orbits are used in the study of boundedness properties of the Weyl-Pedersen calculus of their corresponding unitary irreducible representations. Our main result is applicable to all unitary irreducible representations of arbitrary 3-step nilpotent Lie groups.
Motivated by Brundan-Kleshchev's work on higher Schur-Weyl duality, we establish mixed Schur-Weyl duality between general linear Lie algebras and cyclotomic walled Brauer algebras in an arbitrary level. Using weakly cellular bases of cyclotomic walled Brauer algebras, we classify highest weight vectors of certain mixed tensor modules of general linear Lie algebras. This leads to an efficient way to compute decomposition matrices of cyclotomic walled Brauer algebras arising from mixed Schur-Weyl duality, which generalizes early results on level two walled Brauer algebras.
Let (g,[p]) be a finite-dimensional restricted Lie algebra, defined over an algebraically closed field k of characteristic p>0. The scheme of tori of maximal dimension of g gives rise to a finite group S(g) that coincides with the Weyl group of g in case g is a Lie algebra of classical type. In this paper, we compute the group S(g) for Lie algebras of Cartan type and provide applications concerning weight space decompositions, the existence of generic tori and polynomial invariants.
Let g=g_0+ g_1 be a simple Z_2-graded Lie algebra and let b_0 be a fixed Borel subalgebra of g_0. We describe and enumerate the abelian b_0-stable subalgebras of g_1.
Weyl denominator identity for the affinization of a basic Lie superalgebra with a non-zero Killing form was formulated by Kac and Wakimoto and was proven by them in defect one case. In this paper we prove this identity.
We construct a family of homomorphisms between Weyl modules for affine Lie algebras in characteristic p, which supports our conjecture on the strong linkage principle in this context. We also exhibit a large class of reducible Weyl modules beyond level one, for p not necessarily small.
We prove the Weyl denominator identity for the affine Lie superalgebra gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their paper, this gives another proof of Jacobi identity for the number of presentations of a given integer as a sum of eight squares.
An arbitrary proper parabolic subalgebra ${\mathfrak p}$ of a simple complex Lie algebra ${\mathfrak g}$ induces an embedding ${\mathfrak g}\hookrightarrow \mathbb W_n$, and more generally an embedding ${\mathfrak g}\hookrightarrow \mathbb W_n\otimes \operatorname{End}{} V$, where $\mathbb W_n$ is the Weyl algebra in $n$ variables, $n$ is the dimension of the nilradical of ${\mathfrak p}$, and $V$ is an arbitrary ${\mathfrak p}$-module. We give an elementary proof of this known fact, report on a computer program computing the embeddings, and tabulate exceptional Lie algebra embeddings $G_2 \ho…
We define global and local Weyl modules for Lie superalgebras of the form $\mathfrak{g} \otimes A$, where $A$ is an associative commutative unital $\mathbb{C}$-algebra and $\mathfrak{g}$ is a basic Lie superalgebra or $\mathfrak{sl}(n,n)$, $n \ge 2$. Under some mild assumptions, we prove universality, finite-dimensionality, and tensor product decomposition properties for these modules. These properties are analogues of those of Weyl modules in the non-super setting. We also point out some features that are new in the super case.
We prove that there is a natural grading-preserving isomorphism of $\sl$-modules between the basic module of the affine Lie algebra $\widehat\sl$ (with the homogeneous grading) and a Schur--Weyl module of the infinite symmetric group $\sinf$ with a grading defined through the combinatorial notion of the major index of a Young tableau, and study the properties of this isomorphism. The results reveal new and deep interrelations between the representation theory of $\widehat\sl$ and the Virasoro algebra on the one hand, and the representation theory of $\sinf$ and the related combinatorics on the…
Global Weyl modules for generalized loop algebras $\lie g\tensor A$, where $\lie g$ is a simple finite dimensional Lie algebra and A is a commutative associative algebra were defined, for any dominant integral weight $λ$, by generators and relations. They are expected to play the role similar to that of Verma modules in the study of categories of representations of these algebras. One of the fundamental properties of Verma modules is that the space of morphisms between two Verma modules is either zero or one--dimensional and also that any non--zero morphism is injective. The aim of this paper …
We show that the centraliser of the maximal compact subgroup of the real orthogonal or symplectic groups acting on tensors of their standard representation are isomorphic to cyclotomic Brauer algebras. We also show that for the symplectic group this cyclotomic Brauer algebra splits into summands of walled Brauer algebras.
We investigate continuity properties of the operators obtained by the magnetic Weyl calculus on nilpotent Lie groups, using modulation spaces associated with unitary representations of certain infinite-dimensional Lie groups.
For a semisimple Lie algebra admitting a good enumeration, we prove a parametrization for the elements in its Weyl group. As an application, we give a coordinate-free comparison between the crystal graph description (when it is known) and the Lie-theoretic description of the Weyl group multiple Dirichlet series in the stable range.
From a certain induced representation $\mathcal{P}_\ell$ of a double affine Weyl group, we construct a ring $\mathcal{F}_\ell$ that is isomorphic to the fusion ring, or Verlinde algebra, associated to affine Lie algebras at fixed positive integer level for both twisted and untwisted type. The induced representation, which also has a natural commutative associative algebra structure and is modular invariant with respect to certain congruence subgroups, contains $\mathcal{F}_\ell$ as an ideal and we show how it naturally inherits the modular invariance property from $\mathcal{P}_\ell.$ This cons…
We study the characters of simple modules in the parabolic BGG category of the affine Lie algebra in Deligne's category. More specifically, we take the limit of Weyl-Kac formula to compute the character of the irreducible quotient $L(X,k)$ of the parabolic Verma module $M(X,k)$ of level $k$, where $X$ is an indecomposable object of Deligne's category $\underline{\mathrm{Rep}}(GL_t)$, $\underline{\mathrm{Rep}}(O_t)$, or $\underline{\mathrm{Rep}}(Sp_t)$, under conditions that the highest weight of $X$ plus the level gives a fundamental weight, $t$ is transcendental, and the base field $\Bbbk$ ha…
The weights of finite-dimensional representations of simple Lie algebras are naturally associated with Weyl polytopes. Representation characters decompose into multiplicity-free sums over the weights in Weyl polytopes. The Brion formula for these Weyl polytope sums is remarkably similar to the Weyl character formula. Moreover, the same Lie characters are also expressible as Demazure character formulas. This motivates a search for new expressions for Weyl polytope sums, and we prove such a formula involving Demazure operators. It applies to the Weyl polytope sums of the simple Lie algebras $A_n…
The plethysms of the Weyl characters associated to a classical Lie group by the symmetric functions stabilize in large rank. In the case of a power sum plethysm, we prove that the coefficients of the decomposition of this stabilized form on the basis of Weyl characters are branching coefficients which can be determined by a simple algorithm. This generalizes in particular some classical results by Littlewood on the power sum plethysms of Schur functions. We also establish explicit formulas for the outer multiplicities appearing in the decomposition of the tensor square of any irreducible finit…
Two super-analogs of the Schur-Weyl duality are considered: the duality of actions in $(\mathbb{C}^{m|n})^{\otimes N}$ of the Lie superalgebra $\mathfrak{gl}(m,n)$ and the symmetric group $S_N$, and the duality of actions of the Lie superalgebra $Q(n)$ and a certain finite group $Se(N)$ in $(\mathbb{C}^{n|n})^{\otimes N}$. We construct an isomorphism of symmetric and universal enveloping algebras of these Lie superalgebras called special symmetrization. Using this isomorphism of vector spaces we describe explicitly the duality between the centers of the corresponding universal enveloping algeb…
We classify up to isomorphism all finite-dimensional Lie algebras that can be realised as Lie subalgebras of the complex Weyl algebra $A_1$. The list we obtain turns out to be discrete and for example, the only non-solvable Lie algebras with this property are: $sl(2)$, $sl(2)\times\mathbb C$ and $sl(2)\ltimes{\cal H}_3$. We then give several different characterisations, normal forms and isotropy groups for the action of $Aut (A_1)\times Aut (sl(2))$ on a particular class of realisations of $sl(2)$ in $A_1$.
The orbits of Weyl groups W(A(n)) of simple A(n) type Lie algebras are reduced to the union of orbits of the Weyl groups of maximal reductive subalgebras of A(n). Matrices transforming points of the orbits of W(An) into points of subalgebra orbits are listed for all cases n<=8 and for the infinite series of algebra-subalgebra pairs A(n) - A(n-k-1) x A(k) x U(1), A(2n) - B(n), A(2n-1) - C(n), A(2n-1) - D(n). Numerous special cases and examples are shown.
In this paper we show that the leading coefficient $μ(y,w)$ of some Kazhdan-Lusztig polynomials $P_{y,w}$ with $y,w$ in an affine Weyl group of type $\tilde A_n $ is $n+2$. This fact has some consequences on the dimension of first extension groups of finite groups of Lie type with irreducible coefficients.
Unitary and Nonunitary Representations of the Heisenberg-Weyl Lie Algebra
New York City College of Technology, City University of New York（纽约市立学院，纽约市立大学）；Ph.D. Programs in Mathematics and Physics, Graduate Center, City University of New York（数学与物理博士项目，研究生院，纽约市立大学）；Department of Physics, Lakehead University（湖首大学物理系）；Department of Mathematics, University of Toronto（多伦多大学数学系）
The normalizer $N_G(H_G)$ of a maximal torus $H_G$ in a semisimple complex Lie group $G$ does not in general allow a presentation as a semidirect product of $H_G$ and the corresponding Weyl group $W_G$. Meanwhile, splitting holds for classical groups corresponding to the root systems $A_\ell$, $B_\ell$, $D_\ell$. For the remaining classical groups corresponding to the root systems $C_\ell$ there still exists an embedding of the Tits extension of $W_G$ into normalizer $N_G(H_G)$. We provide explicit unified construction of the lifts of the Weyl groups into normalizers of maximal tori for classi…
We propose a general method to realize an arbitrary Weyl group of Kac-Moody type as a group of birational canonical transformations, by means of a nilpotent Poisson algebra. We also give a Lie theoretic interpretation of this realization in terms of Kac-Moody Lie algebras and Kac-Moody groups.
We examine various consequences of the existence of exceptional representations of an irreducible Weyl group. (These are notes from a talk in the MIT Lie groups seminar.)
The purpose of this paper is to answer the question whether it is possible to realize simultaneously the relations $N_{α,β}=-N_{-α,-β}$, $N_{α,β}=N_{β,-α-β}=N_{-α-β,α}$ and $N_{α,β}N_{-α,-β}=-\frac{1}{2}q(p+1)\langleα,H_α\rangle$ by the structure constants of the Lie algebra ${\mathfrak g}_2$. We show that if the structure constants obey the first relation, the three last ones are violated, and vice versa. Contrary to the second case, the first one uses the Cartan matrix elements to derive the structure constants in the form of $\langleβ,H_α\rangle$. The commutation relations corresponding to …
For a nondegenerate additive subgroup $G$ of the $n$-dimensional vector space $F^n$ over an algebraically closed field $F$ of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type $W(G,n)$ spanned by all differential operators $u D_1^{m_1}... D_n^{m_n}$ for $u\in F[G]$ (the group algebra), and $m_1,...,m_n \ge 0$, where $D_1, ...,D_n$ are degree operators. In this paper, it is proved that an irreducible quasifinite $W(\Z,1)$-module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bo…
We study three related topics in representation theory of classical Lie superalgebras. The first one is classification of primitive ideals, i.e. annihilator ideals of simple modules, and inclusions between them. The second topic concerns Arkhipov's twisting functors on the BGG category O. The third topic addresses deformed orbits of the Weyl group. These take over the role of the usual Weyl group orbits for Lie algebras, in the study of primitive ideals and twisting functors for Lie superalgebras.
Character formulas for Lie superalgebras have been shown to have important applications to number theory and combinatorics. We prove the Kac-Wakimoto character formula for the general linear Lie superalgebra gl(m|n). This formula specializes to the well-known Kac-Weyl character formula when the modules are typical and to the Weyl denominator identity when the module is trivial. We also prove a determinantal character formula for KW-modules using the Kac-Wakimoto character formula.
We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is formulated in terms of a Weyl superalgebra and incorporates inequivalent representations of the bosonic Weyl subalgebra. The new cohomology includes the standard Lie superalgebra cohomology as a special case. Examples of new cohomology groups are computed.
