It is shown that the fixed point subalgebra of an EALA under a finite order automorphism (satisfying certain properties) is a sum of EALA's, an abelian subalgebra, and a subspace which is contained in the centralizer of the core.
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}$.
We use affine W-algebras to quantize Mishchenko-Fomenko subalgebras for centralizers of nilpotent elements in simple Lie algebras under certain assumptions that are satisfied for all cases in type A and all minimal nilpotent cases outside type $E_8$.
Given a finite-dimensional complex Lie algebra g equipped with a nondegenerate, symmetric, invariant bilinear form B, let V_k(g,B) denote the universal affine vertex algebra associated to g and B at level k. For any reductive group G of automorphisms of V_k(g,B), we show that the invariant subalgebra V_k(g,B)^G is strongly finitely generated for generic values of k. This implies the existence of a new family of deformable W-algebras W(g,B,G)_k which exist for all but finitely many values of k.
In his paper "A Construction for Coisotropic Subalgebras of Lie Bialgebras", Marco Zambon gave a way to use a long root of a complex semisimple Lie biaglebra $\mathfrak{g}$ to construct a coisotropic subalgebra of $\mathfrak{g}$. In this paper, we generalize Zambon's construction. Our construction is based on the theory of Lagrangian subalgebras of the double $\mathfrak{g}\oplus\mathfrak{g}$ of $\mathfrak{g}$, and our coisotropic subalgebras correspond to torus fixed points in the variety $\mathcal{L}(\mathfrak{g}\oplus\mathfrak{g})$ of Lagrangian subalgebras of $\mathfrak{g}\oplus\mathfrak{g}…
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,ε…
Let $\mathcal{O}$ be the category of representations of the Borel subalgebra of a quantum affine algebra introduced by Jimbo and the first author. We show that the Grothendieck ring of a certain monoidal subcategory of $\mathcal{O}$ has the structure of a cluster algebra of infinite rank, with an initial seed consisting of prefundamental representations. In particular, the celebrated Baxter relations for the 6-vertex model get interpreted as Fomin-Zelevinsky mutation relations.
We introduce an odd double affine Hecke algebra (DaHa) generated by a classical Weyl group W and two skew-polynomial subalgebras of anticommuting generators. This algebra is shown to be Morita equivalent to another new DaHa which are generated by W and two polynomial-Clifford subalgebras. There is yet a third algebra containing a spin Weyl group algebra which is Morita (super)equivalent to the above two algebras. We establish the PBW properties and construct Verma-type representations via Dunkl operators for these algebras.
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford's biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1,1), provides a noetherian prime counterexample.
This paper builds on the previous paper arXiv:math/0612730 by the author, where a relationship between Zhedanov's algebra AW(3) and the double affine Hecke algebra (DAHA) corresponding to the Askey-Wilson polynomials was established. It is shown here that the spherical subalgebra of this DAHA is isomorphic to AW(3) with an additional relation that the Casimir operator equals an explicit constant. A similar result with q-shifted parameters holds for the antispherical subalgebra. Some theorems on centralizers and centers for the algebras under consideration will finally be proved as corollaries …
We introduce two subalgebras in the type A quantum affine algebra which are coideals with respect to the Hopf algebra structure. In the classical limit q -> 1 each subalgebra specializes to the enveloping algebra U(k), where k is a fixed point subalgebra of the loop algebra over gl_N with respect to a natural involution corresponding to the embedding of the orthogonal or symplectic Lie algebra into gl_N. We also give an equivalent presentation of these coideal subalgebras in terms of generators and defining relations which have the form of reflection-type equations. We provide evaluation homom…
A construction of the quantum affine algebra $U_q(g)$ is given in two steps. We explain how to obtain the algebra from its positive Borel subalgebra $U_q(b^+)$, using a construction similar to Drinfeld's quantum double. Then we show how the positive Borel subalgebra can be constructed with quantum shuffles.
Given a Lie bialgebra (g,g*), we present an explicit procedure to construct coisotropic subalgebras, i.e. Lie subalgebras of g whose annihilator is a Lie subalgebra of g*. We write down families of examples for the case that g is a classical complex simple Lie algebra.
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n…
In the present note we suggest an affinization of a theorem by Kostrikin et.al. about the decomposition of some complex simple Lie algebras ${\cal G}$ into the algebraic sum of pairwise orthogonal Cartan subalgebras. We point out that the untwisted affine Kac-Moody algebras of types $A_{p^m-1}$ ($p$ prime, $m\geq 1$), $B_r, \, C_{2^m}, D_r,\, G_2,\, E_7,\, E_8$ can be decomposed into the algebraic sum of pairwise or\-tho\-go\-nal Heisenberg subalgebras. The $A_{p^m-1}$ and $G_2$ cases are discussed in great detail. Some possible applications of such decompositions are also discussed.
We classify anti-involutions of Lie superalgebra $\hsd$ preserving the principal gradation, where $\hsd$ is the central extension of the Lie superalgebra of differential operators on the super circle $S^{1|1}$. We clarify the relations between the corresponding subalgebras fixed by these anti-involutions and subalgebras of $\hat{gl}_{\infty|\infty}$ of types $OSP$ and $P$. We obtain a criterion for an irreducible highest weight module over these subalgebras to be quasifinite and construct free field realizations of a distinguished class of these modules. We further establish dualities between …
The aim of this article is to give a quantization of some coisotropic subalgebras in complex semisimple Lie bialgebras. The coisotropic subalgebras that will be quantized are those given by Zambon in his paper "`A Construction for coisotropic subalgebras of Lie Bialgebras"' [Zam08]. We will also extend the construction for the exceptional complex semisimple Lie bialgebras.
A new non-standard deformation of all types of classical Lie algebras is constructed by means of Drinfel'd twist based on a six dimensional subalgebra. This is an extension of extended twists introduced by Kulish et al. For the algebra M_3 = so(3,2), a relation to a known non-standard deformation is discussed.
A well-known Peterson's theorem says that the number of abelian ideals in a Borel subalgebra of a rank-$r$ finite dimensional simple Lie algebra is exactly $2^r$. In this paper, we determine the dimensional distribution of abelian ideals in a Borel subalgebra of finite dimensional simple Lie algebras, which is a refinement of the Peterson's theorem capturing more Lie algebra invariants.
It is known that the semi-infinite cohomology spaces of the infinitely twisted nilpotent subalgebra in an affine Lie algebra $g$ with coefficients in an integrable simple module over the affine Lie algebra have a base enumerated by elements of the corresponding affine Weyl group graded by the semiinfinite length function. Let $U$ be the affine quantum group corresponding to $g$. It is possible to define a subalgebra in $U$ being the quantum analogue of the universal enveloping algebra of the infinitely twisted nilpotent subalgebra in $g$. In this paper we prove that for general values of the p…
We solve a functional version of the problem of twist quantization of a coboundary Lie bialgebra (g,r,Z). We derive from this the following results: (a) the formal Poisson manifolds g^* and G^* are isomorphic; (b) we construct a subalgebra of U(g^*), isomorphic to S(g^*)^g. When g can be quantized, we construct a deformation of the morphism S(g^*)^g subset U(g^*). When g is quasitriangular and nondegenerate, we compare our construction with Semenov-Tian-Shansky's construction of a commutative subalgebra of U(g^*). We also show that the canonical derivation of the function ring of G^* is Hamilt…
We study maximal Poisson-commutative subalgebras in the Poisson algebra $S(\mathfrak{g})$ of a semisimple Lie algebra $\mathfrak{g}$ constructed by Mischenko and Fomenko with the help of the argument shift method. We prove that these subalgebras are Poisson centralizers of certain quadratic elements of $S(\mathfrak{g})$. We deduce from this that there is a unique quantization of Mischenko--Fomenko subalgebras, i.e. there is a unique way to lift Mischenko--Fomenko subalgebras to commutative subalgebras of the universal enveloping algebra $U(\mathfrak{g})$.
Filtration and gradation of quantum affine vertex algebras
Key Laboratory of Computing and Stochastic Mathematics (Ministry of Education), School of Mathematics and Statistics, Hunan Normal University(湖南师范大学数学与统计学院,计算与随机数学教育部重点实验室)
We construct new irreducible weight modules over quantum affine algebras of type I with all weight spaces infinite-dimensional. These modules are obtained by parabolic induction from irreducible modules over the Heisenberg subalgebra.
In this paper we review the coset construction for winding subalgebras of affine Lie algebras. We classify all cosets of central charge $\hat c<1$ and calculate their branching rules. The corresponding character identities give certain `doubling formulae' for the affine characters. We discuss some applications of our construction, in particular we find a simple proof of a crucial identity needed for the computation of the level-2 root multiplicities of the hyperbolic Kac-Moody algebra $E_{10}$.