We replace the group of group-like elements of the quantized enveloping algebra $U_q({\frak{g}})$ of a finite dimensional semisimple Lie algebra ${\frak g}$ by some regular monoid and get the weak Hopf algebra ${\frak{w}}_q^{\sf d}({\frak g})$. It is a new subclass of weak Hopf algebras but not Hopf algebras. Then we devote to constructing a basis of ${\frak{w}}_q^{\sf d}({\frak g})$ and determine the group of weak Hopf algebra automorphisms of ${\frak{w}}_q^{\sf d}({\frak g})$ when $q$ is not a root of unity.
We study the Calabi-Yau property of pointed Hopf algebra $U(\mc{D},\lmd)$ of finite Cartan type. It turns out that this class of pointed Hopf algebras constructed by N. Andruskiewitsch and H.-J. Schneider contains many Calabi-Yau Hopf algebras. To give concrete examples of new Calabi-Yau Hopf algebras, we classify the Calabi-Yau pointed Hopf algebras $U(\mc{D},\lmd)$ of dimension less than 5.
In this paper, we present a general method for constructing finite-dimensional quasi-Hopf algebras from finite abelian groups and braided vector spaces of Cartan type. The study of such quasi-Hopf algebras leads to the classification of finite-dimensional radically graded basic quasi-Hopf algebras over abelian groups with dimensions not divisible by $2,3,5,7$ and associators given by abelian $3$-cocycles. As special cases , the small quasi-quantum groups are introduced and studied. Many new explicit examples of finite-dimensional genuine quasi-Hopf algebras are obtained.
We extend the universal differential calculus on an arbitrary Hopf algebra to a ``universal Cartan calculus''. This is accomplished by introducing inner derivations and Lie derivatives which act on the elements of the universal differential envelope. A new algebra is formulated by incorporating these new objects into the universal differential calculus together with consistent commutation relations. We also explain how to include nontrivial commutation relations into this formulation to obtain the ``generalized Cartan calculus''.
We associate to any (suitable) bicovariant differential calculus on a quantum group a Cartan Hopf algebra which has a left, respectively right, representation in terms of left, respectively right, Cartan calculus operators. The example of the Hopf algebra associated to the $4D_+$ differential calculus on $SU_q(2)$ is described.
A generalization of the differential geometry of forms and vector fields to the case of quantum Lie algebras is given. In an abstract formulation that incorporates many existing examples of differential geometry on quantum groups, we combine an exterior derivative, inner derivations, Lie derivatives, forms and functions all into one big algebra. In particular we find a generalized Cartan identity that holds on the whole quantum universal enveloping algebra of the left-invariant vector fields and implicit commutation relations for a left-invariant basis of 1-forms.
In a previous work \cite{AS2} we showed how to attach to a pointed Hopf algebra A with coradical $\kΓ$, a braided strictly graded Hopf algebra R in the category $_Γ^Γ\Cal{YD}$ of Yetter-Drinfeld modules over $Γ$. In this paper, we consider a further invariant of A, namely the subalgebra R' of R generated by the space V of primitive elements. Algebras of this kind are known since the pioneering work of Nichols. It turns out that R' is completely determined by the braiding c:V\otimes V \to V \otimes V. We denote R' = B(V). We assume further that $Γ$ is finite abelian. Then c is given by a matrix…
We examine actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic 0. (By a Hopf action we mean a Hopf module algebra structure.) In all examples considered, we show that the given Hopf algebra does admit a faithful action on a central simple division algebra, and we construct such a division algebra. This is in contrast to earlier work of Etingof and Walton, in which it was shown that most pointed Hopf algebras do not admit faithful actions on fields. We consider all bosonizations of Nichols algebras of finite Cartan type, small quantum groups…
Quantum bialgebras derivable from Uq(sl2) which contain idempotents and von Neumann regular Cartan-like generators are introduced and investigated. Various types of antipodes (invertible and von Neumann regular) on these bialgebras are constructed, which leads to a Hopf algebra structure and a von Neumann-Hopf algebra structure, respectively. For them, explicit forms of some particular R-matrices (also, invertible and von Neumann regular) are presented, and the latter respects the Pierce decomposition.
We complete the classification of Hopf algebras whose infinitesimal braiding is a principal Yetter-Drinfeld realization of a braided vector space of Cartan type $G_2$ over a cosemisimple Hopf algebra. We develop a general formula for a class of liftings in which the quantum Serre relations hold. We give a detailed explanation of the procedure for finding the relations, based on the recent work of Andruskiewitsch, Angiono and Rossi Bertone.
In our previous paper math/0502157 we classified a large class of finite-dimensional pointed Hopf algebras up to isomorphism. However the following problem was left open for Hopf algebras of of type $A,D$ or $E_6$, that is whose Cartan matrix is connected and allows a non-trivial automorphism of the corresponding Dynkin diagram. In this case we described the isomorphisms between two such Hopf algebras with the same Cartan matrix only implicitly. The problem is whether it is possible to compute the isomorphisms in terms of the defining families of parameters. In the present paper we solve this …
Twisted generalized Weyl algebras (TGWAs) are defined as the quotient of a certain graded algebra by the maximal graded ideal I with trivial zero component, analogous to how Kac-Moody algebras can be defined. In this paper we introduce the class of locally finite TGWAs, and show that one can associate to such an algebra a polynomial Cartan matrix (a notion extending the usual generalized Cartan matrices appearing in Kac-Moody algebra theory) and that the corresponding generalized Serre relations hold in the TGWA. We also give an explicit construction of a family of locally finite TGWAs dependi…
Actions of semisimple Hopf algebras H over an algebraically closed field of characteristic zero on commutative domains were classified recently by the authors. The answer turns out to be very simple- if the action is inner faithful, then H has to be a group algebra. The present article contributes to the non-semisimple case, which is much more complicated. Namely, we study actions of finite dimensional (not necessarily semisimple) Hopf algebras on commutative domains, particularly when H is pointed of finite Cartan type. The work begins by reducing to the case where H acts inner faithfully on …
We construct explicit Drinfel'd twists for the generalized Cartan type $H$ Lie algebras in characteristic $0$ and obtain the corresponding quantizations and their integral forms. Via making modular reductions including modulo $p$ reduction and modulo $p$-restrictedness reduction, and base changes, we derive certain modular quantizations of the restricted universal enveloping algebra $\mathbf u(\mathbf{H}(2n;\underline{1}))$ in characteristic $p$. They are new non-pointed Hopf algebras of truncated $p$-polynomial noncommutative and noncocommutative deformation of prime-power dimension $p^{p^{2n…
We construct explicit Drinfel'd twists of Jordanian type for the generalized Cartan type K Lie algebras in characteristic 0 and obtain the corresponding quantizations, especially their integral forms. By making modular reductions including modulo p and modulo p-restrictedness reduction, and base changes, we derive certain modular quantizations of the restricted universal enveloping algebra $\mathbf u(\mathbf{K}(2n{+}1;\underline{1}))$ for the restricted simple Lie algebra of Cartan type K in characteristic p. They are new pointed Hopf algebras of noncommutative and noncocommutative and with di…
Using factorizable Hopf algebras, we construct modular invariant partition functions of charge conjugation, or Cardy, type as characters of coends in categories that share essential features with the ones appearing in logarithmic CFT. The coefficients of such a partition function are given by the Cartan matrix of the theory.
We generalize the notion, introduced by Henri Cartan, of an operation of a Lie algebra $\mathfrak g$ in a graded differential algebra $Ω$. We define the notion of an operation of a Hopf algebra $\mathcal H$ in a graded differential algebra $Ω$ which is refered to as a $\mathcal H$-operation. We then generalize for such an operation the notion of algebraic connection. Finally we discuss the corresponding noncommutative version of the Weil algebra: The Weil algebra $W(\mathcal H)$ of the Hopf algebra $\mathcal H$ is the universal initial object of the category of $\mathcal H$-operations with con…
Nichols algebras are a fundamental building block of pointed Hopf algebras. Part of the classification program of finite-dimensional pointed Hopf algebras with the lifting method of Andruskiewitsch and Schneider is the determination of the liftings, i.e., all possible deformations of a given Nichols algebra. Based on recent work of Heckenberger about Nichols algebras of diagonal type we compute explicitly the liftings of all Nichols algebras with Cartan matrix of type A_2, some Nichols algebras with Cartan matrix of type B_2, and some Nichols algebras of two Weyl equivalence classes of non-sta…
We give an interpretation of the $(q,t)$-deformed Cartan matrices of finite type and their inverses in terms of bigraded modules over the generalized preprojective algebras of Langlands dual type in the sense of Geiß-Leclerc-Schröer [Invent. math. 209 (2017)]. As an application, we compute the first extension groups between the generic kernels introduced by Hernandez-Leclerc [J. Eur. Math. Soc. 18 (2016)], and propose a conjecture that their dimensions coincide with the pole orders of the normalized $R$-matrices between the corresponding Kirillov-Reshetikhin modules.
The generalized Cartan type $\mathbf{S}$ Lie algebras in char 0 with the Lie bialgebra structures involved are quantized, where the Drinfel'd twist we used is proved to be a variation of the Jordanian twist. As the passage from char 0 to char p, their quantization integral forms are given. By the modular reduction and base changes, we obtain certain quantizations of the restricted universal enveloping algebra $\mathbf u(\mathbf{S}(n;\underline{1}))$ (for the Cartan type simple modular restricted Lie algebra $\mathbf{S}(n;\underline{1})$ of $\mathbf{S}$ type). They are new Hopf algebras of trun…
We study a natural construction of Hopf algebra quotients canonically associated to an R-matrix in a finite dimensional Hopf algebra. We apply this construction to show that a quasitriangular Hopf algebra whose dimension is odd and square-free is necessarily cocommutative.
This is a continuation of the authors' study of finite-dimensional pointed Hopf algebras H which act inner faithfully on commutative domains. As mentioned in Part I of this work, the study boils down to the case where H acts inner faithfully on a field. These Hopf algebras are referred to as Galois-theoretical. In this work, we provide classification results for finite-dimensional pointed Galois-theoretical Hopf algebras H of finite Cartan type. Namely, we determine when such H of type A_1^{\times r} and some H of rank two possess the Galois-theoretical property. Moreover, we provide necessary…
In this paper, we continue our study of the Green rings of finite dimensional pointed Hopf algebras of rank one initiated in \cite{WLZ}, but focus on those Hopf algebras of non-nilpotent type. Let $H$ be a finite dimensional pointed rank one Hopf algebra of non-nilpotent type. We first determine all non-isomorphic indecomposable $H$-modules and describe the Clebsch-Gordan formulas for them. We then study the structures of both the Green ring $r(H)$ and the Grothendieck ring $G_0(H)$ of $H$ and establish the precise relation between the two rings. We use the Cartan map of $H$ to study the Jacob…
After the classification of the finite-dimensional Nichols algebras of diagonal type arXiv:math/0411477, arXiv:math/0605795, the determination of its defining relations arXiv:1008.4144, arXiv:1104.0268, and the verification of the generation in degree one conjecture arXiv:1104.0268, there is still one step missing in the classification of complex finite-dimensional Hopf algebras with abelian group, without restrictions on the order of the latter: the computation of all deformations or liftings. A technique towards solving this question was developed in arXiv:1212.5279, built on cocycle deforma…
We show that the matrix embeddings in Bratteli diagrams are iterated direct sums of Hopf-Galois extensions (quantum principle bundles) for certain abelian groups. The corresponding strong universal connections are computed. We show that $ M_{n}(\mathbb{C})$ is a trivial quantum principle bundle for the Hopf algebra $ \mathbb{C}[\mathbb{Z}_{n} \times \mathbb{Z}_{n}] $. We conclude with an application relating known calculi on groups to calculi on matrices.
We consider graded Cartan matrices of the symmetric groups and the Iwahori-Hecke algebras of type A, which have entries in the ring $\mathbb Z[v,v^{-1}]$. These matrices may also be interpreted as Gram matrices of the Shapovalov form on sums of weight spaces of a basic representation of an affine quantum group. We present a conjecture predicting the invariant factors of these matrices and give evidence for the conjecture by proving its implications under a localization and certain specializations of the ring $\mathbb Z[v,v^{-1}]$. This proves and generalizes a conjecture of Ando-Suzuki-Yamada …
The Deligne-Getzler-Hinich--$\infty$-groupoid or Maurer-Cartan simplicial set of an $L_\infty$-algebra plays an important role in deformation theory and many other areas of mathematics. Unfortunately, this construction only works over a field of characteristic $0$. The goal of this paper is to show that the notions of Maurer-Cartan equation and Maurer-Cartan simplicial set can be defined for a much larger number of operads than just the $L_\infty$-operad. More precisely, we show that the Koszul dual of every unital Hopf cooperad (a cooperad in the category of unital associative algebras) with …
We reformulate the method recently proposed for constructing quasitriangular Hopf algebras of the quantum-double type from the R-matrices obeying the Yang-Baxter equations. Underlying algebraic structures of the method are elucidated and an illustration of its facilities is given. The latter produces an example of a new quasitriangular Hopf algebra. The corresponding universal R-matrix is presented as a formal power series.
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 define a noncommutative algebra of four basic objects within a differential calculus on quantum groups: functions, 1-forms, Lie derivatives and inner derivations, as the cross-product algebra associated with Woronowicz's (differential) algebra of functions and forms. This definition properly takes into account the Hopf algebra structure of the Woronowicz calculus. It also provides a direct proof of the Cartan identity.
The differential geometry on a Hopf algebra is constructed, by using the basic axioms of Hopf algebras and noncommutative differential geometry. The space of generalized derivations on a Hopf algebra of functions is presented via the smash product, and used to define and discuss quantum Lie algebras and their properties. The Cartan calculus of the exterior derivative, Lie derivative, and inner derivation is found for both the universal and general differential calculi of an arbitrary Hopf algebra, and, by restricting to the quasitriangular case and using the numerical R-matrix formalism, the a…
We refine the cyclic cohomological apparatus for computing the Hopf cyclic cohomology of the Hopf algebras associated to infinite primitive Cartan-Lie pseudogroups, and for the transfer of their characteristic classes to foliations. The main novel feature is the precise identification as a Hopf cyclic complex of the image of the canonical homomorphism from the Gelfand-Fuks complex to the Bott complex for equivariant cohomology. This provides a convenient new model for the Hopf cyclic cohomology of the geometric Hopf algebras, which allows for an efficient transport of the Hopf cyclic classes v…
We develop intrinsic tools for computing the periodic Hopf cyclic cohomology of Hopf algebras related to transverse symmetry in codimension 1. Besides the Hopf algebra found by Connes and the first author in their work on the local index formula for transversely hypoelliptic operators on foliations, this family includes its `Schwarzian' quotient, on which the Rankin-Cohen universal deformation formula is based, the extended Connes-Kreimer Hopf algebra related to renormalization of divergences in QFT, as well as a series of cyclic coverings of these Hopf algebras, motivated by the treatment of …
We show that some factors of the universal R-matrix generate a family of twistings for the standard Hopf structure of any quantized contragredient Lie (super)algebra of finite growth. As an application we prove that any two isomorphic superalgebras with different Cartan matrices have isomorphic q-deformations (as associative superalgebras) and their standard comultiplications are connected by such twisting. We present also an explicit relation between the generators of the second Drinfeld's realization and Cartan-Weyl generators of quantized affine nontwisted Kac-Moody algebras. Further develo…
The universal R-matrices and, dually, the coquasitriangular structures of the group Hopf algebra of a finite Abelian group (resp. of an arbitrary Abelian group) are determined. This is used to formulate graded multilinear algebra in terms of triangular or cotriangular Hopf algebras. For the convenience of the reader, in a separate section the definitions and basic properties of quasitriangular and coquasitriangular Hopf algebras are recalled.
We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials. As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles involved in the deformations of a Nichols algebra of Cartan type $A_2$ with $q=-1$, a.k.a. the positive part of the small quantum group $\mathfrak{u}^+_{\sqrt{\text{-1}}}(\mathfrak{sl}_3)$. We show that t…
We study the canonical basis for the negative part of the quantum generalized Kac-Moody algebra associated to a symmetric Borcherds-Cartan matrix. The algebras associated to two different matrices satisfying certain conditions may coincide. We show that the canonical bases coincide provided that the algebras coincide. We also answer partially a question by Lusztig.
We determine the corepresentation theory of universal cosovereign Hopf algebras, for generic matrices over an algebraically closed field of characteristic zero.
From the bicovariant first order differential calculus on inhomogeneous Hopf algebra ${\cal B}$ we construct the set of right-invariant Maurer-Cartan one-forms considered as a right-invariant basis of a bicovariant ${\cal B}$-bimodule over which we develop the Woronowicz's general theory of differential calculus on quantum groups. In this formalism, we introduce suitable functionals on ${\cal B}$ which control the inhomogeneous commutation rules. In particular we find that the homogeneous part of commutation rules between the translations and those between the generators of the homogeneous par…
Intrinsic Hopf algebra structure of the Woronowicz differential complex is shown to generate quite naturally a bicovariant algebra of four basic objects within a differential calculus on quantum groups -- coordinate functions, differential 1-forms, Lie derivatives, and inner derivations -- as the cross-product algebra of two mutually dual graded Hopf algebras. This construction, properly taking into account Hopf-algebraic properties of Woronowicz's bicovariant calculus, provides a direct proof of the Cartan identity and of many other useful relations. A detailed comparison with other approache…
For each finite subgroup G of SL(n, C), we introduce the generalized Cartan matrix C_{G} in view of McKay correspondence from the fusion rule of its natural representation. Using group theory, we show that the generalized Cartan matrices have similar favorable properties such as positive semi-definiteness as in the classical case of affine Cartan matrices (the case of SL(2,C)). The complete McKay quivers for SL(3,C) are explicitly described and classified based on representation theory.
Twisted tensor powers of quasitriangular Hopf algebras with diagonal sub-Hopf-algebras (self-diagonal tensor powers) are introduced together with their duals and their mutual *-structures as generalizations of the Drinfel'd double as given by Reshetikhin and Semenov-Tian-Shansky. R-Matrices for tensor products of representations are derived.
We use factorizable finite tensor categories, and specifically the representation categories of factorizable ribbon Hopf algebras H, as a laboratory for exploring bulk correlation functions in local logarithmic conformal field theories. For any ribbon Hopf algebra automorphism omega of H we present a candidate for the space of bulk fields and endow it with a natural structure of a commutative symmetric Frobenius algebra. We derive an expression for the corresponding bulk partition functions as bilinear combinations of irreducible characters; as a crucial ingredient this involves the Cartan mat…
We develop the approach of Faddeev, Reshetikhin, Takhtajan [1] and of Majid [2] that enables one to associate a quasitriangular Hopf algebra to every regular invertible constant solution of the quantum Yang-Baxter equations. We show that such a Hopf algebra is actually a quantum double.
By using twist construction, we obtain a quantum groupoid $\cald\ot_{q}\uqg$ for any simple Lie algebra $\frakg$. The underlying Hopf algebroid structure encodes all the information of the corresponding elliptic quantum group-the quasi-Hopf algebras as obtained by Fronsdal, Arnaudon et. al. and Jimbo et. al..
Jiang-Hua Lu showed that any dynamical r-matrix for the pair $(g,u)$ naturally induces a Poisson homogeneous structure on $G/U$. She also proved that if $g$ is complex simple, $u$ is its Cartan subalgebra and $r$ is quasitriangular, then this correspondence is in fact 1-1. In the present paper we find some general conditions under which the Lu correspondence is 1-1. Then we apply this result to describe all triangular Poisson homogeneous structures on $G/U$ for a simple complex group $G$ and its reductive subgroup $U$ containing a Cartan subgroup.
This is a survey on pointed Hopf algebras over algebraically closed fields of characteristic 0. We propose to classify pointed Hopf algebras $A$ by first determining the graded Hopf algebra $\gr A$ associated to the coradical filtration of $A$. The $A_{0}$-coinvariants elements form a braided Hopf algebra $R$ in the category of Yetter-Drinfeld modules over the coradical $A_{0} = \ku Γ$, $Γ$ the group of group-like elements of $A$, and $\gr A \simeq R # A_{0}$. We call the braiding of the primitive elements of $R$ the infinitesimal braiding of $A$. If this braiding is of Cartan type \cite{AS2},…
