Twisted exterior derivatives for universal enveloping algebras I
Zoran Škoda
备注：
v2, v3: radical revisions, background more detailed, expositional corrections and, in the last section some mathematical. Slightly changed title, now part I with sequel planned. v4: 2.5 corrected/expanded to take care of completions, 15 pages. To appear in Contemporary Mathematics (2020), Proceedings of the conference "Representation Theory XVI", Dubrovnik IUC, June 19-25, 2019
Consider any representation $ϕ$ of a finite-dimensional Lie algebra $g$ by derivations of the completed symmetric algebra $\hat{S}(g^*)$ of its dual. Consider the tensor product of $\hat{S}(g^*)$ and the exterior algebra $Λ(g)$. We show that the representation $ϕ$ extends canonically to the representation $\tildeϕ$ of that tensor product algebra. We construct an exterior derivative on that algebra, giving rise to a twisted version of the exterior differential calculus with the enveloping algebra in the role of the coordinate algebra. In this twisted version, the commutators between the noncommutative differentials and coordinates are formal power series in partial derivatives. The square of the corresponding exterior derivative is zero like in the classical case, but the Leibniz rule is deformed.
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.
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 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.
A $Z_3$-graded Hopf algebra structure of exterior algebra with two generators is introduced. Two covariant differential calculus on the $Z_3$-graded exterior algebra are presented. Using the generators and their partial derivatives a Grassmann-Heisenberg algebra is constructed. An R-matrix which satisfies graded Yang-Baxter equations is obtained. A $Z_3$-graded universal enveloping algebra $U_q(\widetilde{gl}(2))$ is constructed with the quadratic elements of the Grassmann-Weyl algebra.
We construct an action of the braid group B_N on the twisted quantized enveloping algebra U'_q(o_N) where the elements of B_N act as automorphisms. In the classical limit q -> 1 we recover the action of B_N on the polynomial functions on the space of upper triangular matrices with ones on the diagonal. The action preserves the Poisson bracket on the space of polynomials which was introduced by Nelson and Regge in their study of quantum gravity and re-discovered in the mathematical literature. Furthermore, we construct a Poisson bracket on the space of polynomials associated with another twiste…
Given a finite-dimensional Lie algebra, and a representation by derivations on the completed symmetric algebra of its dual, a number of interesting twisted constructions appear: certain twisted Weyl algebras, deformed Leibniz rules, quantized ``star'' product. We first illuminate a number of interrelations between these constructions and then proceed to study a special case in certain precise sense corresponding to the symmetric or Weyl ordering. This case has been known earlier to be related to computations with Hausdorff series, for example the expression for the star product is in such term…
We define the twisted affine Yangian of type $C$ and construct surjective homomorphisms from twisted affine Yangians of type $C$ to the universal enveloping algebra of the rectangular $W$-algebra associated with $\mathfrak{so}(ln)$ and a nilpotent element whose Jordan form corresponds to the partition $(l^n)$ in the case when $l$ and $n$ are even.
In the paper we introduce the notion of twisted derivation of a bialgebra. Twisted derivations appear as infinitesimal symmetries of the category of representations. More precisely they are infinitesimal versions of twisted automorphisms of bialgebras. Twisted derivations naturally form a Lie algebra (the tangent algebra of the group of twisted automorphisms). Moreover this Lie algebra fits into a crossed module (tangent to the crossed module of twisted automorphisms). Here we calculate this crossed module for universal enveloping algebras and for the Sweedler's Hopf algebra.
We define the Drinfeld generators for $Y_3^+$, the twisted Yangian associated to the Lie algebra $\mathfrak{so}_3(\mathbb{C})$. This allows us to define shifted twisted Yangians, which are certain subalgebras of $Y_3^+$. We show that there are families of homomorphisms from the shifted twisted Yangians in $Y_3^+$ to the universal enveloping algebras of various orthogonal and symplectic Lie algebras, and we conjecture that the images of these homomorphisms are isomorphic to various finite $W$-algebras.
We continue the study of twisted automorphisms of Hopf algebras started in "Twisted automorphisms of Hopf algebras". In this paper we concentrate on the group algebra case. We describe the group of twisted automorphisms of the group algebra of a group of order coprime to 6. The description turns out to be very similar to the one for the universal enveloping algebra given in "Twisted automorphisms of Hopf algebras".
Twisted homomorphisms of bialgebras are bialgebra homomorphisms from the first into Drinfeld twistings of the second. They possess a composition operation extending composition of bialgebra homomorphisms. Gauge transformations of twists, compatible with adjacent homomorphisms, give rise to gauge transformation of twisted homomorphisms, which behave nicely with respect to compositions. Here we study (gauge classes of) twisted automorphisms of cocommutative Hopf algebras. After revising well-known relations between twists, twisted forms of bialgebras and $R$-matrices (for commutative bialgebras)…
We construct an universal enveloping algebra associated to the ternary extension of Lie (super)algebras called Lie algebra of order three. A Poincaré-Birkhoff-Witt theorem is proven is this context. It this then shown that this universal enveloping algebra can be endowed with a structure of Hopf algebra. The study of the dual of the universal enveloping algebra enables to define the parameters of the transformation of a Lie algebra of order three. It turns out that these variables are the variables which generate the three-exterior algebra.
Let (S,L) be a Lie-Rinehart algebra over a commutative ring R. This article proves that, if S is flat as an R-module and has Van den Bergh duality in dimension n, and if L is finitely generated and projective with constant rank d as an S-module, then the enveloping algebra of (S,L) has Van den Bergh duality in dimension n+d. When, moreover, S is Calabi-Yau and the d-th exterior power of L is free over S, the article proves that the enveloping algebra is skew-Calabi-Yau, and it describes a Nakayama automorphism of it. These considerations are specialised to Poisson enveloping algebras. They are…
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…
We construct spectral parameter dependent R-matrices for the quantized enveloping algebras of twisted affine Lie algebras. These give new solutions to the spectral parameter dependent quantum Yang-Baxter equation.
We study analogues of the Yangian of the Lie algebra $gl_N$ for the other classical Lie algebras $so_N$ and $sp_N$. We call them twisted Yangians. They are coideal subalgebras in the Yangian $Y(gl_N)$ of $gl_N$ and admit homomorphisms onto the universal enveloping algebras $U(so_N)$ and $U(sp_N)$ respectively. In every twisted Yangian we construct a family of maximal commutative subalgebras parametrized by the regular semisimple elements of the corresponding classical Lie algebra. The images in $U(so_N)$ and $U(sp_N)$ of these subalgebras are also maximal commutative.
A two parametric deformation of the enveloping Heisenberg algebra ${\cal H}(4)$ which appear as a combination of the standard and a nonstandard quantization given by Ballesteros and Herranz is defined and proved to be Ribbon Hopf algebra. The universal ${\cal R}$-matrix and its associated quantum group are constructed. New solution of Braid group are obtained. The contribution of these parameters in invariants of links and WZW model are analyzed. General results for twisted Ribbon Hopf algebra are derived.
For a Hopf algebra A, we define the structures of differential complexes on two dual exterior Hopf algebras: 1) an exterior extension of A and 2) an exterior extension of the dual algebra A^*. The Heisenberg double of these two exterior Hopf algebras defines the differential algebra for the Cartan differential calculus on A. The first differential complex is an analog of the de Rham complex. In the situation when A^* is a universal enveloping of a Lie (super)algebra the second complex coincides with the standard complex. The differential is realized as an (anti)commutator with a BRST- operator…
We study a class of quantized enveloping algebras, called twisted Yangians, associated with the symmetric pairs of types B, C, D in Cartan's classification. These algebras can be regarded as coideal subalgebras of the extended Yangian for orthogonal or symplectic Lie algebras. They can also be presented as quotients of a reflection algebra by additional symmetry relations. We prove an analogue of the Poincare-Birkoff-Witt Theorem, determine their centres and study also extended reflection algebras.
We show that many noetherian Hopf algebras A have a rigid dualising complex R with R isomorphic to ^νA^1 [d]. Here, d is the injective dimension of the algebra and νis a certain k-algebra automorphism of A, unique up to an inner automorphism. In honour of the finite dimensional theory which is hereby generalised we call νthe Nakayama automorphism of A. We prove that ν= S^2\XXi, where S is the antipode of A and \XXi is the left winding automorphism of A determined by the left integral of A. The Hochschild homology and cohomology groups with coefficients in a suitably twisted free bimodule are s…
We study quantized enveloping algebras called twisted Yangians. They are analogues of the Yangian Y(gl(N)) for the classical Lie algebras of B, C, and D series. The twisted Yangians are subalgebras in Y(gl(N)) and coideals with respect to the coproduct in Y(gl(N)). We give a complete description of their finite-dimensional irreducible representations. Every such representation is highest weight and we give necessary and sufficient conditions for an irreducible highest weight representation to be finite-dimensional. The result is analogous to Drinfeld's theorem for the ordinary Yangians. Its de…
Analogs of the classical Sylvester theorem have been known for matrices with entries in noncommutative algebras including the quantized algebra of functions on GL(N) and the Yangian for gl(N). We prove a version of this theorem for the twisted Yangians Y(g(N)) associated with the orthogonal and symplectic Lie algebras g(N)=o(N) or sp(N). This gives rise to representations of the twisted Yangian Y(g(N-M)) on the space of g(M)-homomorphisms Hom(W,V), where W and V are finite-dimensional irreducible modules over g(M) and g(N), respectively. In the symplectic case these representations turn out to…
We consider an abstract Wick ordering as a family of relations on elements a_i and define *-algebras by these relations. The relations are given by a fixed operator T:h\otimes h --> h \otimes h, where h is one-particle space, and they naturally define both a *-algebra and an inner-product space H_T, <.,.>_T. If a_i^* denotes the adjoint, i.e., <a_iϕ,ψ>_T=<ϕ,a_i^*ψ>_T, then we identify when <.,.>_T is positive semidefinite (the positivity question). In the case of deformations of the CCR-relations (the q_{ij}-CCR and the twisted CCR's), we work out the universal C*-algebras A, and we prove that…
For every element w in the Weyl group of a simple Lie algebra g, De Concini, Kac, and Procesi defined a subalgebra U_q^w of the quantized universal enveloping algebra U_q(g). The algebra U_q^w is a deformation of the universal enveloping algebra U(n_+\cap w.n_-). We construct smash products of certain finite-type De Concini-Kac-Procesi algebras to obtain ones of affine type; we have analogous constructions in types A_n and D_n. We show that the multiplication in the affine type De Concini-Kac-Procesi algebras arising from this smash product construction can be twisted by a cocycle to produce c…
We construct two associative algebras from a vertex operator algebra $V$ and a general automorphism $g$ of $V$. The first, called $g$-twisted zero-mode algebra, is a subquotient of what we call $g$-twisted universal enveloping algebra of $V$. These algebras are generalizations of the corresponding algebras introduced and studied by Frenkel-Zhu and Nagatomo-Tsuchiya in the (untwisted) case that $g$ is the identity. The other is a generalization of the $g$-twisted version of Zhu's algebra for suitable $g$-twisted modules constructed by Dong-Li-Mason when the order of $g$ is finite. We are mainly…
By twisted quantum invariants we mean polynomial invariants of knots in the three-sphere endowed with a representation of the fundamental group into the automorphism group of a Hopf algebra $H$. These are obtained by the Reshetikhin-Turaev construction extended to the $\mathrm{Aut}(H)$-twisted Drinfeld double of $H$, provided $H$ is finite dimensional and $\mathbb{N}^m$-graded. We show that the degree of these polynomials is bounded above by $2g(K)\cdot d(H)$ where $g(K)$ is the Seifert genus of a knot $K$ and $d(H)$ is the top degree of the Hopf algebra. When $H$ is an exterior algebra, our t…
This paper is a continuation of math.QA/9907181 and math.QA/9908115. We consider traces of intertwiners between certain representations of the quantized enveloping algebra associated to a semisimple complex Lie algebra g, which are twisted by a ``generalized Belavin-Drinfeld triple'', i.e a triple consisting of two subdiagrams of the Dynkin diagram of g together with an isomorphism between them. The generating functions F(lambda,mu) for such traces depend on two weights lambda and mu. We show that F(lambda,mu) satisfy two sets of difference equations in the variable lambda: the Macdonald-Ruijs…
We introduce a new algebra B_l(z,q) depending on two nonzero complex parameters such that B_l(q^n,q) at q=1 coincides with the Brauer algebra B_l(n). We establish an analog of the Brauer-Schur-Weyl duality where the action of the new algebra commutes with the representation of the twisted deformation U'_q(o_n) of the enveloping algebra U(o_n) in the tensor power of the vector representation.
The Connes-Kreimer renormalization Hopf algebras are examples of a canonical quantization procedure for pre-Lie algebras. We give a simple construction of this quantization using the universal enveloping algebra for so-called twisted Lie algebras (Lie algebras in the category of symmetric sequences of k-modules). As an application, we obtain a simple proof of the (quantized) PBW theorem for Lie algebras which come from a pre-Lie product (over an arbitrary commutative ring). More generally, we observe that the quantization and the PBW theorem extend to pre-Lie algebras in arbitrary abelian symm…
The properties of Hopf star operations and twisted Hopf stars operations on quantum groups are discussed in relation with the theory of representations (star representations). Invariant Hermitian sesquilinear forms (scalar products) on modules or module-algebras are then defined and analyzed. Particular attention is paid to scalar products that can be associated with the Killing form (when it exists) or with the left (or right) invariant integrals on the quantum group. Our results are systematically illustrated in the case of a family of non semi-simple and finite dimensional quantum groups th…
In this paper we analyze the structure of some subalgebras of quantized enveloping algebras corresponding to unipotent and solvable subgroups of a simple Lie group G. These algebras have the non--commutative structure of iterated algebras of twisted polynomials with a derivation, an object which has often appeared in the general theory of non-commutative rings. In particular, we find maximal dimensions of their irreducible representations. Our results confirm the validity of the general philosophy that the representation theory is intimately connected to the Poisson geometry.
For each of the classical Lie algebras $g(n)=o(2n+1), sp(2n), o(2n)$ of type B, C, D we consider the centralizer of the subalgebra $g(n-m)$ in the universal enveloping algebra $U(g(n))$. We show that the $n$th centralizer algebra can be naturally projected onto the $(n-1)$th one, so that one can form the projective limit of the centralizer algebras as $n\to\infty$ with $m$ fixed. The main result of the paper is a precise description of this limit (or stable) centralizer algebra, denoted by $A_m$. We explicitly construct an algebra isomorphism $A_m=Z\otimes Y_m$, where $Z$ is a commutative alge…
We study supersymmetric sectors at half-BPS boundaries and interfaces in the 4d $\mathcal{N}=4$ super Yang-Mills with the gauge group $G$, which are described by associative algebras equipped with twisted traces. Such data are in one-to-one correspondence with an infinite set of defect correlation functions. We identify algebras and traces for known boundary conditions. Ward identities expressing the (twisted) periodicity of the trace highly constrain its structure, in many cases allowing for the complete solution. Our main examples in this paper are: the universal enveloping algebra $U(\mathf…
A rigid framework for the Cartan calculus of Lie derivatives, inner derivations, functions, and forms is proposed. The construction employs a semi-direct product of two graded Hopf algebras, the respective super-extensions of the deformed universal enveloping algebra and the algebra of functions on a quantum group. Relations in the Cartan calculus follow as consistency conditions. The approach is not a priori based on the Leibniz rule for the exterior derivative and might hence also be of interest in the recent work on its deformations. The Cartan identity for the Lie derivatives is proven. (T…
We obtain the universal R-matrix of the non-standard quantum group associated to the Alexander-Conway knot polynomial. We show further that this non-standard quantum group is related to the super-quantum group $U_qgl(1|1)$ by a general process of superization, which we describe. We also study a twisted variant of this non-standard quantum group and obtain, as a result, a twisted version of $U_qgl(1|1)$ as a $q$-supersymmetry of the exterior differential calculus of any quantum plane of Hecke type, acting by mixing the bosonic $x_i$ co-ordinates and the forms $d x_i$.
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…
Ian Grojnowski has developed a purely algebraic way to connect the representation theory of affine Hecke algebras at an (l+1)-th root of unity to the highest weight theory of the affine Kac-Moody algebra of type A_l^(1). The present article is devoted to extending Grojnowski's machinery to the twisted case: we replace the affine Hecke algebras with the affine Hecke-Clifford superalgebras of Jones and Nazarov, and the Kac-Moody algebra A_l^(1) with the twisted algebra A_2l^(2). In particular, we obtain an algebraic construction purely in terms of the representation theory of Hecke-Clifford supe…
