We introduce a new quantized enveloping superalgebra $\mathfrak{U}_q{\mathfrak{p}}_n$ attached to the Lie superalgebra ${\mathfrak{p}}_n$ of type $P$. The superalgebra $\mathfrak{U}_q{\mathfrak{p}}_n$ is a quantization of a Lie bisuperalgebra structure on ${\mathfrak{p}}_n$ and we study some of its basic properties. We also introduce the periplectic $q$-Brauer algebra and prove that it is the centralizer of the $\mathfrak{U}_q {\mathfrak{p}}_n$-module structure on ${\mathbb C}(n|n)^{\otimes l}$. We end by proposing a definition for a new periplectic $q$-Schur superalgebra.
In this paper, we give defining relations of the affine Lie superalgebras an and defining relations of a super-version of the Drinfeld[D]-Jimbo[J] affine quantized universal enveloping algebras. As a result, we can exactly define the affine quantized universal enveloping superalgebras with generators and relations. Moreover we give a Drinfeld's realizations of $U_h({\hat {sl}}(m|n)^{(1)})$.
We study certain Poisson structures related to quantized enveloping algebras. In particular, we give a description of the Poisson structure of a certain manifold associated to the ring of differential operators.
We explicitly compute the first and second cohomology groups of the classical Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$ with coefficients in the finite dimensional irreducible modules and the Kac modules. We also show that the second cohomology groups of these Lie superalgebras with coefficients in the respective universal enveloping algebras (under the adjoint action) vanish. The latter result in particular implies that the universal enveloping algebras $U(sl_{m|n})$ and $U(osp_{2|2n})$ do not admit any non-trivial formal deformations of Gerstenhaber type.
The modified quantized enveloping algebra $\dot{\mathbf{U}}$ has a remarkable canonical basis, which was introduced by Lusztig. In this paper, we give an explicit description of all elements of the canonical basis of $\dot{\mathbf{U}}$ for type $A_{2}$.
We will give an explicit description of the center of the De Concini-Kac type specialization of a quantized enveloping algebra at an even root of unity. The case of an odd root of unity was already dealt with by De Concini-Kac-Procesi. Our description in the even case is similar to but a little more complicated than the odd case.
We study a monoid associated to complex semisimple Lie algebras, called the quantic monoid. Its monoid ring is shown to be isomorphic to a degenerate quantized enveloping algebra. Moreover, we provide normal forms and a straightening algorithm for this monoid. All these results are proved by a realization in terms of representations of quivers, namely as the monoid of generic extensions of a quiver with automorphism.
We obtain a presentation of quantum Schur algebras (over the field Q(v)) by generators and relations. This presentation is compatible with the usual presentation of the quantized universal enveloping algebra of the Lie algebra gl(2). We also locate the ``integral'' form of the quantum Schur algebra within the presented algebra and show it has a basis which is closely related to Lusztig's basis of the integral form of the quantized enveloping algebra.
Theory of the quantized flag manifold as a quasi-scheme (non-commutative scheme) has been developed by Lunts-Rosenberg. They have formulated an analogue of the Beilinson-Bernstein correspondence using the $q$-differential operators introduced in their earlier paper. In this paper we shall establish its modified version using a class of $q$-differential operators, which is (possibly) smaller than the one used by Lunts-Rosenberg.
We prove a version of the Poincare-Birkhoff-Witt theorem for the twisted quantized enveloping algebra U'_q(sp_2n). This is a subalgebra of U_q(gl_2n) and a deformation of the universal enveloping algebra U(sp_2n) of the symplectic Lie algebra. We classify finite-dimensional irreducible representations of U'_q(sp_2n) in terms of their highest weights and show that these representations are deformations of the finite-dimensional irreducible representations of sp_2n.
Let $\mathbf{U}$ be the quantized enveloping algebra and $\dot{\mathbf{U}}$ its modified form. Lusztig gives some symmetries on $\mathbf{U}$ and $\dot{\mathbf{U}}$. Since the realization of $\mathbf{U}$ by the reduced Drinfeld double of the Ringel-Hall algebra, one can apply the BGP-reflection functors to the double Ringel-Hall algebra to obtain Lusztig's symmetries on $\mathbf{U}$ and their important properties, for instance, the braid relations. In this paper, we define a modified form $\dot{\mathcal{H}}$ of the Ringel-Hall algebra and realize the Lusztig's symmetries on $\dot{\mathbf{U}}$ b…
For symmetrizable Kac-Moody Lie algebra $\textbf{g}$, Lusztig introduced the modified quantized enveloping algebra $\dot{\textbf{U}}(\textbf{g})$ and its canonical basis in [12]. In this paper, for finite and affine type symmetric Lie algebra $\textbf{g}$ we define a set which depend only on the root category and prove that there is a bijection between the set and the canonical basis of $\dot{\textbf{U}}(\textbf{g})$, where the root category is the $T^2$-orbit category of the derived category of Dynkin or tame quiver. Our method bases on one theorem of Lin, Xiao and Zhang in [9], which gave th…
In this paper we use the Etingof-Kazhdan quantization of Lie bi-superalgebras to investigate some interesting questions related to Drinfeld-Jimbo type superalgebra associated to a Lie superalgebra of classical type. It has been shown that the D-J type superalgebra associated to a Lie superalgebra of type A-G, with the distinguished Cartan matrix, is isomorphic to the E-K quantization of the Lie superalgebra. The first main result in the present paper is to extend this to arbitrary Cartan matrices. This paper also contains two other main results: 1) a theorem stating that all highest weight mod…
Let $\mathfrak{g}$ be a compact simple Lie algebra. We modify the quantized enveloping $^*$-algebra associated to $\mathfrak{g}$ by a real-valued character on the positive part of the root lattice. We study the ensuing Verma module theory, and the associated quotients of these modified quantized enveloping $^*$-algebras. Restricting to the locally finite part by means of a natural adjoint action, we obtain in particular examples of quantum homogeneous spaces in the operator algebraic setting.
We construct a monomial basis of the positive part of the quantized enveloping algebra associated to a finite-dimensional simple Lie algebra. As an application we give a simple proof of the existence and uniqueness of the canonical basis of the positive part.
Let ${\mathbf U}^-_q$ be the negative part of the quantized enveloping algebra associated to a Kac-Moody algebra ${\mathfrak g}$ of symmetric type, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the orbit algebra ${\mathfrak g}^σ$ obtained from an admissible diagram automorphism $σ$ on ${\mathfrak g}$. Lusztig consructed the canonical basis ${\mathbf B}$ of ${\mathbf U}_q^-$ and the canonical signed basis $\underline{\widetilde{\mathbf B}}$ of $\underline{\mathbf U}_q^-$ by making use of the geometric theory of quivers. He proved that there is a natural bijection $\widetilde{\mat…
For a restricted Lie superalgebra g over an algebraically closed field of characteristic p > 2, we generalize the deformation method of Premet and Skryabin to obtain results on the p-power and 2-power divisibility of dimensions of g-modules. In particular, we give a new proof of the Super Kac-Weisfeiler conjecture for basic classical Lie superalgebras. The new proof allows us to improve optimally the assumption on p. We also establish a semisimplicity criterion for the reduced enveloping superalgebras associated with semisimple p-characters for all basic classical Lie superalgebras using the t…
In [ZH], R.B. Zhang found a way to link certain formal deformations of the Lie algebra o(2l+1) and the Lie superalgebra osp(1,2l). The aim of this article is to reformulate the Zhang transformation in the context of the quantum enveloping algebras "à la" Drinfeld-Jimbo and to show how this construction can explain the main theorem of [GL2]: the annihilator of a Verma module over the Lie superalgebra osp(1,2l) is generated by its intersection with the centralizer of the even part of the enveloping algbra.
For the Borel part of a quantized enveloping algebra we classify all right coideal subalgebras for which the intersection with the coradical is a Hopf algebra. The result is expressed in terms of characters of the subalgebras $U^+[w]$ of the quantized enveloping algebra, introduced by de Concini, Kac, and Procesi for any Weyl group element $w$. We explicitly determine all characters of $U^+[w]$ building on recent work by Yakimov on prime ideals of $U^+[w]$ which are invariant under a torus action. Key words: Quantum groups, coideal subalgebras
Let $\mathfrak{g}$ be a semi-simple Lie algebra with fixed root system, and $U_q(\mathfrak{g})$ the quantization of its universal enveloping algebra. Let $\mathcal{S}$ be a subset of the simple roots of $\mathfrak{g}$. We show that the defining relations for $U_q(\mathfrak{g})$ can be slightly modified in such a way that the resulting algebra $U_q(\mathfrak{g};\mathcal{S})$ allows a homomorphism onto (an extension of) the algebra $\mathrm{Pol}(\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q})$ of functions on the quantum flag manifold $\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q}$ corresponding to $\mathcal…
A Bernstein-Gelfand-Gelfand resolution for arbitrary Kac-Moody algebras and arbitrary subsets of the set of simple roots is proven. Moreover, quantum group analogs of the Bernstein-Gelfand-Gelfand resolution for symmetrizable Kac-Moody algebras are established. For quantized enveloping algebras with fixed complex nonzero deformation parameter q exactness is proven for all q which are not a root of unity.
For quantized universal enveloping algebras we construct weight modules by inducing representations of the centralizer of the Cartan subalgebra in the quantized universal enveloping algebra. The induced modules arising from finite-dimensional weight modules the centralizer algebra are studied. In particular, we study the induction of one-dimensional modules, and this is related to the study of commutative subalgebras of the centralizer algebra. For the special case of $U_q(\mathfrak{sl}(2,\mathbb{C}))$ we show that we get the admissible unitary representations corresponding to the non-compact …
Holonomy R-matrices parametrized by finite-dimensional representations are constructed for quantized universal enveloping algebras of simple Lie algebras at roots of 1.
We introduce an integral form U of the quantized enveloping algebra of sl_2. The algebra U is just large enough so that the quasi-R-matrix is contained in a completion of U\otimes U. We study several completions of the algebra U, and determine their centers. This study is motivated by a study of integrality properties of the quantum sl_2 invariants of links and integral homology spheres.
For a quantized enveloping algebra of a complex semisimple Lie algebra with deformation parameter not a root of unity, we classify all homogeneous right coideal subalgebras. Any such right coideal subalgebra is determined uniquely by a triple consisting of two elements of the Weyl group and a subset of the set of simple roots satisfying some natural conditions. The essential ingredients of the proof are the Lusztig automorphisms and the classification of homogeneous right coideal subalgebras of the Borel Hopf subalgebras of quantized enveloping algebras obtained previously by H.-J. Schneider a…
For a class of pointed Hopf algebras including the quantized enveloping algebras, we discuss cleft extensions, cocycle deformations and the second cohomology. We present such a non-standard method of computing the abelian second cohomology that derives information from the non-abelian second cohomology classifying cleft extensions. As a sample computation, a quantum analogue of Whitehead's second lemma for Lie-algebra cohomology is proved.
We give a systematic description of many monomial bases for a given quantized enveloping algebra and of many integral monomial bases for the associated Lusztig $\mathbb Z[v,v^{-1}]$-form. The relations between monomial bases, PBW bases and canonical bases are also discussed.
A generalized Hopf algebra structure for the positive (negative) part of the Drinfeld-Jimbo quantum group of type A_n is established without make any use of the usual deformation of the abelian part of sl_{n+1}.
We use the fusion construction in the twisted quantum affine algebras to obtain a unified method to deform the wedge product for classical Lie algebras. As a byproduct we uniformly realize all non-spin fundamental modules for quantized enveloping algebras of classical types, and show that they admit natural crystal bases as modules for the (derived) twisted quantum affine algebra. These crystal bases are parametrized in terms of the $q$-wedge products.
We construct braid group actions on coideal subalgebras of quantized enveloping algebras which appear in the theory of quantum symmetric pairs. In particular, we construct an action of the semidirect product of Z^n and the classical braid group in n strands on the coideal subalgebra corresponding to the symmetric pair (sl_{2n}(C), sp_{2n}(C)). This proves a conjecture by Molev and Ragoucy. We expect similar actions to exist for all symmetric Lie algebras. The given actions are inspired by Lusztig's braid group action on quantized enveloping algebras and are defined explicitly on generators. Br…
In this paper we describe the right coideal subalgebras containing all group-like elements of the two-parameter quantum groups Uq(g) and uq(g), where g is a simple Lie algebra of type G2. As a consequence, we determine that there are precisely 60 different right coideal subalgebras containing all group-like elements.
Take the matrix Lie superalgebra $gl_{N|N}$ with the standard generators $E_{ij}$ where $i,j=-N,...,-1,1,...,N$. Define an involutive automorphism of $gl_{N|N}$ by sending $E_{ij}$ to $E_{-i,-j}$. Then the corresponding twisted subalgebra $g$ in the polynomial current Lie superalgebra $gl_{N|N}[u]$, has a natural Lie co-superalgebra structure. Here we quantise the universal enveloping algebra $U(g)$ as a co-Poisson Hopf superalgebra. For the quantised algebra we give a description of the centre, and construct the double in the sense of Drinfeld. We also construct a class of irreducible represe…
Degenerating the quantum queer Schur superalgebra ${\mathcal{Q}_q(n,r; R)}$ to the case $q=1$, the queer Schur superalgebra ${\mathcal{Q}(n,r)}$ is obtained. In this article, we reconstruct the universal enveloping algebra ${U({\mathfrak{q}_n})}$ of the queer Lie superalgebra ${\mathfrak{q}_n}$ via ${\mathcal{Q}(n,r)}$, and achieve another explanation of the Schur-Weyl-Sergeev duality. Finally, we depict the Schur-Weyl-Sergeev duality over $\mathbb{Z}$.
We reconstruct the quantum enveloping superalgebra ${\bf U}(\mathfrak{gl}_{m|n})$ over $\mathbb Q(v)$ via (finite dimensional) quantum Schur superalgebras. In particular, we obtain a new basis containing the standard generators of ${\bf U}(\mathfrak{gl}_{m|n})$ and explicit multiplication formulas between the generators and an arbitrary basis element.
Associated to the two types of finite dimensional simple superalgebras, there are the general linear Lie superalgebra and the queer Lie superalgebra. The universal enveloping algebras of these Lie superalgebras act on the tensor spaces of the natural representations and, thus, define certain finite dimensional quotients, the Schur superalgebras and the queer Schur superalgebra. In this paper, we introduce the quantum analogue of the queer Schur superalgebra and investigate the presentation problem for both the queer Schur superalgebra and its quantum analogue.
Let $r,s$ be two parameters chosen from $\C^{\ast}$ such that $r^{m}s^{n}=1$ implies $m=n=0$. We compute the derivations of the two-parameter quantized enveloping algebra $\U$ and calculate its first degree Hochschild cohomology group. We further determine the group of algebra automorphisms for the two-parameter Hopf algebra $\V$. As a result, we determine the group of Hopf algebra automorphisms for $\V$.
We introduce a notion of I-factorial quantum torsor, which consists of an integrable ergodic action of a locally compact quantum group on a type I-factor such that also the crossed product is a type I-factor. We show that any such I-factorial quantum torsor is at the same time a I-factorial quantum torsor for the dual locally compact quantum group, in such a way that the construction is involutive. As a motivating example, we show that quantized compact semisimple Lie groups, when amplified via a crossed product construction with the function algebra on the associated weight lattice, admit I-f…
Using techniques developed in a recent article by the authors, it is proved that the 2-cohomology of the Lie superalgebra sl(m|1); m > 1, with coefficients in its enveloping algebra is trivial. The obstacles in solving the analogous problem for sl(3|2) are also discussed.
Consider the complex matrix Lie superalgebra $gl_{N|N}$ with the standard generators $E_{ij}$ where $i,j=-N,...,-1,1,...,N$. Define an involutive automorphism $η$ of $gl_{N|N}$ by $η(E_{ij})=E_{-i,-j}$. The queer Lie superalgebra $q_N$ is the fixed point subalgebra in $gl_{N|N}$ relative to the automorphism $η$. Consider the twisted polynomial current Lie superalgebra $g=\{X(t)\in\gl_{N|N}[t]:η(X(t))=X(-t)\}$. The enveloping algebra $U(g)$ of the Lie superalgebra $g$ has a deformation, called the Yangian of $q_N$. For each $M=1,2,...$ denote by $A_N^M$ the centralizer of $q_M\subset q_{N+M}$ i…
We construct a nondegenerate symmetric bilinear form on quantized enveloping algebras associated to Borcherds superalgebras. With this, we study its center and its universal R-matrix.
In this paper we construct explicitly natural (from the geometrical point of view) Fock space representations (contragradient Verma modules) of the quantized enveloping algebras. In order to do so, we start from the Gauss decomposition of the quantum group and introduce the differential operators on the corresponding $q$-deformed flag manifold (asuumed as a left comodule for the quantum group) by a projection to it of the right action of the quantized enveloping algebra on the quantum group. Finally, we express the representatives of the elements of the quantized enveloping algebra correspondi…
Motivated by work of R.M. Green, we obtain a presentation of Schur algebras (both the classical and quantized versions) in terms of generators and relations. The presentation is compatible with the usual presentation of the (quantized or classical) enveloping algebra of gl(n). As a result, we obtain a new ``integral'' basis for Schur algebras which is a subset of Kostant's basis of the integral form of the enveloping algebra (or its q-analogue). Projection onto an appropriate component gives a new "integral" basis and a presentation for the Hecke algebra, compatible with the basis and presenta…
By using cocycle deformation, we construct a certain class of Hopf algebras, containing the quantized enveloping algebras and their analogues, from what we call pre-Nichols algebras. Our construction generalizes in some sense the known construction by (generalized) quantum doubles, but unlike in the known situation, it saves us from difficulties in checking complicated defining relations.
We show that for each reduced expression for the longest word in the Weyl group of type A_n, the corresponding cone arising in Lusztig's description of the canonical basis in terms of tight monomials is simplicial, and construct explicit spanning vectors.
It is known that a generalized $q$-Schur algebra may be constructed as a quotient of a quantized enveloping algebra $\UU$ or its modified form $\dot{\UU}$. On the other hand, we show here that both $\UU$ and $\dot{\UU}$ may be constructed within an inverse limit of a certain inverse system of generalized $q$-Schur algebras. Working within the inverse limit $\hat{\UU}$ clarifies the relation between $\dot{\UU}$ and $\UU$. This inverse limit is a $q$-analogue of the linear dual $R[G]^*$ of the coordinate algebra of a corresponding linear algebraic group $G$.
There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories.
We compute the structure of the cohomology ring for the quantized enveloping algebra (quantum group) $U_q$ associated to a finite-dimensional simple complex Lie algebra $\mathfrak{g}$. We show that the cohomology ring is generated as an exterior algebra by homogeneous elements in the same odd degrees as generate the cohomology ring for the Lie algebra $\mathfrak{g}$. Partial results are also obtained for the cohomology rings of the non-restricted quantum groups obtained from $U_q$ by specializing the parameter $q$ to a non-zero value $ε\in \mathbb{C}$.
We introduce a new family of superalgebras, the quantum walled Brauer-Clifford superalgebras ${\mathsf {BC}}_{r,s}(q)$. The superalgebra ${\mathsf {BC}}_{r,s}(q)$ is a quantum deformation of the walled Brauer-Clifford superalgebra ${\mathsf {BC}}_{r,s}$ and a super version of the quantum walled Brauer algebra. We prove that ${\mathsf {BC}}_{r,s}(q)$ is the centralizer superalgebra of the action of ${\mathfrak U}_{q}({\mathfrak q}(n))$ on the mixed tensor space $\mathbf{V}_{q}^{r,s}=\mathbf{V}_{q}^{\otimes r} \otimes (\mathbf{V}_q^*)^{\otimes s}$ when $n \ge r+s$, where ${\mathbf V}_{q}=\mathbb…
We introduce a modified quantum enveloping algebra as well as a (modified) covering quantum algebra for the ortho-symplectic Lie superalgebra osp(1|2). Then we formulate and compute the corresponding canonical bases, and relate them to the counterpart for sl(2). This provides a first example of canonical basis for quantum superalgebras.
A natural family of quantized matrix algebras is introduced. It includes the two best studied such. Located inside ${\s U}_q(A_{2n-1})$, it consists of quadratic algebras with the same Hilbert series as polynomials in $n^2$ variables. We discuss their general properties and investigate some members of the family in great detail with respect to associated varieties, degrees, centers, and symplectic leaves. Finally, the space of rank r matrices becomes a Poisson submanifold, and there is an associated tensor category of $\rank\leq r$ matrices.
Some filtrations of the tensor product of a highest weight module and a lowest weight module over quantum group $U_q(\mathfrak g)$ are constructed in \cite{LZ:2009} and one can use them to define some ideals of the modified quantized enveloping algebra. It is shown that the quotient algebras inherit canonical bases from the modified quantized enveloping algebra and are dual to the quantum coordinate ring defined by Kashiwara for symmetrizable Kac-Moody algebra $\mathfrak g$.
We study quadratic Lie conformal superalgebras associated with No\-vikov superalgebras. For every Novikov superalgebra $(V,\circ)$, we construct an enveloping differential Poisson superalgebra $U(V)$ with a derivation $d$ such that $u\circ v = ud(v)$ and $\{u,v\} = u\circ v - (-1)^{|u||v|} v\circ u$ for $u,v\in V$. The latter means that the commutator Gelfand--Dorfman superalgebra of $V$ is special. Next, we prove that every quadratic Lie conformal superalgebra constructed on a finite-dimensional special Gel'fand--Dorfman superalgebra has a finite faithful conformal representation. This statem…
Lie conformal algebras are useful tools for studying vertex operator algebras and their representations. In this paper, we establish close relations between Poisson conformal algebras and representations of Lie conformal algebras. We also calculate explicitly Poisson conformal brackets on the associated graded conformal algebras of universal associative conformal envelopes of Virasoro conformal algebra and Neveu--Schwartz conformal superalgebra.
