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 problem for type $A$.
A detailed presentation of the results obtained during my Ph.D. research. The main investigations concern explicit descriptions of classes of finite dimensional pointed Hopf algebras and their quasi-isomorphism types.
We show that a large class of finite dimensional pointed Hopf algebras is quasi-isomorphic to their associated graded version coming from the coradical filtration, i.e. they are 2-cocycle deformations of the latter. This supports a slightly specialized form of a conjecture of Masuoka.
In this paper, we completely determine the group of algebra automorphisms for the two-parameter Hopf algebra ${\check U}_{r,s}^{\geq 0}({\mathfrak sl_{3}})$. As a result, the group of Hopf algebra automorphisms is determined for $\V$ as well. We further characterize all the derivations of the subalgebra $U^{+}_{r,s}({\mathfrak sl_{3})}$, and calculate its first degree Hochschild cohomology group.
We consider the algebra isomorphism found by Frenkel and Ding between the RLL and the Drinfeld realizations of $U_q(\widehat{gl(2)})$. After we note that this is not a Hopf algebra isomorphism, we prove that there is a unique Hopf algebra structure for the Drinfeld realization so that this isomorphism becomes a Hopf algebra isomorphism. Though more complicated, this Hopf algebra structure is also closed, just as the one found previously by Drinfeld.
We determine the group of algebra automorphisms for the two-parameter quantized enveloping algebra $\V$. As an application, we prove that the group of Hopf algebra automorphisms for $\V$ is isomorphic to a torus of rank two.
With the motivation of giving a more precise estimation of the quantum Brauer group of a Hopf algebra $H$ over a field $k$ we construct an exact sequence containing the quantum Brauer group of a Hopf algebra in a certain braided monoidal category. Let $B$ be a Hopf algebra in $\C=_H ^H\YD$, the category of Yetter-Drinfel'd modules over $H$. We consider the quantum Brauer group $\BQ(\C; B)$ of $B$ in $\C$, which is isomorphic to the usual quantum Brauer group $\BQ(k; B\rtimes H)$ of the Radford biproduct Hopf algebra $B\rtimes H$. We show that under certain symmetricity condition on the braidin…
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 give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the smash coproduct.
Let H be a Hopf algebra with antipode S, and let A be an N-Koszul Artin-Schelter regular algebra. We study connections between the Nakayama automorphism of A and S^2 of H when H coacts on A inner-faithfully. Several applications pertaining to Hopf actions on Artin-Schelter regular algebras are given.
Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded.
The Hopf algebra isomorphism between kappa-Poincare algebra defined by P.Kosinski and P.Maslanka in the case g^{00}=0 and "null plane" quantum Poincare algebra by A.Ballesteros, F.J.Herranz and M.A.del Olmo is defined.
In this Letter, we introduce the Hopf algebra structure of the quantum quaternionic group GL(1,H$_q)$ and discuss the isomorphism between the quantum symplectic group SP$_q(1)$ and the quantum unitary group SU$_q(2)$.
We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for finite-dimensional Hopf algebras fitting into abelian cocentral extensions. We apply our classification results to a number of concrete examples involving special linear groups over finite fields, alternating groups and dihedral groups.
Let g be a simple complex finite dimensional Lie algebra and let U_q^+(g) be the positive part of the quantum enveloping algebra of g. If g is of type A_2, the group of algebra automorphisms of U_q^+(g) is a semidirect product of a 2-dimensional torus and the group of automorphisms of the Dynkin diagram; any algebra automorphism is an automorphism of braided Hopf algebra, and preserves the standard grading [AD1]. This intriguing smallness of the group of algebra automorphisms raises questions about the extent of these phenomena. We discuss some of them in the present paper. We introduce the no…
We investigate the weak Hopf algebras of Li based on $U_q[sl_n]$ and Sweedler's finite dimensional example. We give weak Hopf algebra isomorphisms between the weak generalisations of $U_q[sl_n]$ which are ``upgraded'' automorphisms of $U_q[sl_n]$ and hence give a classification of these structures as weak Hopf algebras. We also show how to decompose these examples into a direct sum which leads to unexpected isomorphisms between their algebraic structure.
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)…
There is no systematic general procedure by which isomorphism classes of Hopf algebras that are extensions of $\k F$ by ${\k}^G$ can be found. We develop the general procedure for classification of isomorphism classes of Hopf algebras which are extensions of the group algebra $\k C_p$ by ${\k}^G$ where $C_p$ is a cyclic group of prime order $p$ and ${\k}^G$ is the Hopf algebra dual of $\k G$, $G$ a finite abelian $p$-group and $\k$ is an algebraically closed field of characteristic $0$. We apply the method to calculate the number of isoclasses of commutative extensions and certain extensions o…
Let $(R^{\vee},R)$ be a dual pair of Hopf algebras in the category of Yetter-Drinfeld modules over a Hopf algebra $H$ with bijective antipode. We show that there is a braided monoidal isomorphism between rational left Yetter-Drinfeld modules over the bosonizations of $R$ and of $R^{\vee}$, respectively. As an application of this very general category isomorphism we obtain a natural proof of the existence of reflections of Nichols algebras of semisimple Yetter-Drinfeld modules over $H$. Key words: Hopf algebras, quantum groups, Weyl groupoid
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".
Let $(H, R)$ be a finite dimensional quasitriangular Hopf algebra over a field $k$, and $_H\mathcal{M}$ the representation category of $H$. In this paper, we study the braided autoequivalences of the Drinfeld center $^H_H\mathcal{YD}$ trivializable on $_H\mathcal{M}$. We establish a group isomorphism between the group of those autoequivalences and the group of quantum commutative bi-Galois objects of the transmutation braided Hopf algebra $_RH$. We then apply this isomorphism to obtain a categorical interpretation of the exact sequence of the equivariant Brauer group $\mathrm{BM}(k, H,R)$ in […
We construct an explicit isomorphism between the quasitriangular quasi-Hopf algebra $D^ω(H)$ defined in \cite{bp} and a certain quantum double quasi-Hopf algebra. We give also new characterizations for a quasitriangular quasi-Hopf algebra to be ribbon and use them to construct some ribbon elements for $D^ω(H)$.
We construct finite-dimensional Hopf algebras whose coradical is the group algebra of a central extension of an abelian group. They fall into families associated to a semisimple Lie algebra together with a Dynkin diagram automorphism. We show conversely that every finite-dimensional pointed Hopf algebra over a non-abelian group with non-simple infinitesimal braiding of rank at least 4 is of this form. We follow the steps of the Lifting Method by Andruskiewitsch--Schneider. Our starting point is the classification of finite-dimensional Nichols algebras over non-abelian groups by Heckenberger--V…
We consider isomorphisms and automorphisms of quantum groups. Let $k$ be a field and suppose $p, q\in k^*$ are not roots of unity. We prove that the two quantum groups $U_q(\mathfrak {sl}_2)$ and $U_p(\mathfrak{sl}_2)$ over a field $k$ are isomorphic as $k$-algebras if and only if $p=q^{\pm 1}$. We also rediscover the description of the group of all $k$-automorphisms of $U_q(\mathfrak{sl}_2)$ of Alev and Chamarie, and that $\text{Aut}_k(U_q(\mathfrak {sl}_2))$ is isomorphic to $\text{Aut}_k(U_p(\mathfrak {sl}_2))$.
In this article -that has also the intention to survey some known results in the theory of compact quantum groups using methods different from the standard and with a strong algebraic flavor- we consider compact o-coalgebras and Hopf algebras. In the case of a o-Hopf algebra we present a proof of the characterization of the compactness in terms of the existence of a positive definite integral, and use our methods to give an elementary proof of the uniqueness - up to conjugation by an automorphism of Hopf algebras- of the compact involution appearing in [4]. We study the basic properties of the…
We study quasi-Hopf algebras and their subobjects over certain commutative rings from the point of view of Frobenius algebras. We introduce a type of Radford formula involving an anti-automorphism and the Nakayama automorphism of a Frobenius algebra, then view several results in quantum algebras from this vantage-point. In addition, separability and strong separability of quasi-Hopf algebras are studied as Frobenius algebras.
Motivated by the fact that the Hopf-cyclic (co)homologies of function algebras over Lie groups and universal enveloping algebras over Lie algebras capture the Lie group and Lie algebra (co)homologies, we hereby upgrade the classical van Est isomorphism to ones between the Hopf-cyclic (co)homologies of quantized algebras of functions and quantized universal enveloping algebras, both in $h$-adic and $q$-deformation frameworks.
We construct and prove a diagrammatic version of the Duflo isomorphism between the invariant subalgebra of the symmetric algebra of a Lie algebra and the center of the universal enveloping algebra. This version implies the original for metrized Lie algebras (Lie algebras with an invariant non-degenerate bilinear form). As an application of this isomorphism, we will compute the Kontsevich integral of the unknot and the Hopf link to all orders. At the core of the proof, we use an elementary property of the Hopf link which can be summarized by the equation ``1+1=2'' in abacus arithmetic: doubling…
We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to characteristic zero (arXiv/math:0203060, Section 9), showing that, moreover, any isomorphism between such structures can be reduced modulo $p$. This fills a gap in arXiv/math:0203060, Subsection 9.3. We also show that lifting of semisimple cosemisimple Hopf algebras is a fully faithful functor, and prove that lifting induces an isomorphism on Picard and Brauer-Pic…
We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute explicitly the canonical isomorphisms in $\yd^{\rm fd}$. Finally, we show that certain duals of $H_0$, the braided Hopf algebra introduced in \cite{bn,bpv}, are isomorphic as braided Hopf algebras if $H$ is a finite dimensional triangular quasi-Hopf algebra.
We discuss an example of a triangulated Hopf category related to SL(2). It is an equivariant derived category equipped with multiplication and comultiplication functors and structure isomorphisms. We prove some coherence equations for structure isomorphisms. In particular, the Hopf category is monoidal.
In one of our recent papers, the associative and the Lie algebras of Weyl type $A[D]=A\otimes F[D]$ were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, a class of the above associative and Lie algebras $A[D]$ with $F$ being a field of characteristic 0, $D$ consisting of locally finite but not locally nilpotent derivations of $A$, are studied. The isomorphism classes and automorphism groups of these as…
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.
Starting from a Hopf algebra endowed with an action of a group G by Hopf automorphisms, we construct (by a twisted double method) a quasitriangular Hopf G-coalgebra. This method allows us to obtain non-trivial examples of quasitriangular Hopf G-coalgebras for any finite group G and for infinite groups G such as GL(n,K). In particular, we define the graded quantum groups.
We show that various cyclic and cocyclic modules attached to Hopf algebras and Hopf modules are related to each other via Connes' duality isomorphism for the cyclic category.
In this paper a general van Est type isomorphism is established. The isomorphism is between the Lie algebra cohomology of a bicrossed sum Lie algebra and the Hopf cyclic cohomology of its Hopf algebra. We first prove a one to one correspondence between stable-anti-Yetter-Drinfeld (SAYD) modules over the total Lie algebra and SAYD modules over the associated Hopf algebra. In contrast to the non-general case done in our previous work, here the van Est isomorphism is found at the first level of a natural spectral sequence, rather than at the level of complexes. It is proved that the Connes-Moscov…
We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an isomorphism implies the existence a finer algebraic structure on the Hopf algebra and on the indecomposables (resp. the primitives). For instance a cofree-cocommutative right-sided combinatorial Hopf algebra is completely determined by its primitive part which is a pre-Lie algebra. The key example is the Connes-Kreimer Hopf algebra. The study of all these co…
We present results relating the Hopf cyclic cohomology of the Hopf algebra of moving frames with that of the DG Hopf algebra of moving coframes, analogous to the van Est isomorphism between Lie algebra cohomology and continuous group cohomology.
Let $H$ be a Hopf algebra over a commutative ring $k$ with unity and $σ:H\otimes H\longrightarrow k$ be a cocycle on $H$. In this paper, we show that the Yetter-Drinfeld module category of the cocycle deformation Hopf algebra $H^σ$ is equivalent to the Yetter-Drinfeld module category of $H$. As a result of the equivalence, the "quantum Brauer" group BQ$(k,H)$ is isomorphic to BQ$(k,H^σ)$. Moreover, the group $\Gal(\HR)$ constructed in \cite{Z} is studied under a cocycle deformation.
For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism omega of H, we establish the existence of the following structure: an H-bimodule F_omega and a bimodule morphism Z_omega from Lyubashenko's Hopf algebra object K for the bimodule category to F_omega. This morphism is invariant under the natural action of the mapping class group of the one-punctured torus on the space of bimodule morphisms from K to F_omega. We further show that the bimodule F_omega can be endowed with a natural structure of a commutative symmetric Frobenius algebra in the monoidal categor…
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…
The hypergraph isomorphism game, Hopf algebras and Galois extensions
Research Institute of Mathematics Seoul National University（首尔大学数学研究所）；NextQuantum Innovation Research Center, Department of Physics and Astronomy Seoul National University（首尔大学物理与天文学系下一代量子创新中心）；School of Electrical and Computer Engineering National Technical University of Athens（雅典国立技术大学电气与计算机工程学院）；Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）；Department of Mathematics Dartmouth College（达特茅斯学院数学系）
Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up to a left $A$-linear Hopf algebra isomorphism, the set of all bicrossed products $A \bowtie H$ associated to all possible matched pairs of Hopf algebras $(A, H, \triangleleft, \triangleright)$ that can be defined between $A$ and $H$. In the construction of ${\mathcal H}^{2} (A, H)$ the key role is played by special elements of $CoZ^{1} (H, A) \times \Aut_{\…
In this article, we study isomorphisms between simple current extensions of a simple VOA. For example, we classify the isomorphism classes of simple current extensions of some VOAs. Moreover, we consider the same simple current extension and describe the normalizer of the abelian automorphism group associated with this extension. In particular, we regard the moonshine module as simple current extensions of five subVOAs V_L^+ for 2-elementary totally even lattices L, and describe corresponding five normalizers of elementary abelian 2-group in the automorphism group of the moonshine module in te…
In the structure theory of quantized enveloping algebras, the algebra isomorphisms determined by Lusztig led to the first general construction of PBW bases of these algebras. Also, they have important applications to the representation theory of these and related algebras. In the present paper the Drinfel'd double for a class of graded Hopf algebras is investigated. Various quantum algebras, including multiparameter quantizations of semisimple Lie algebras and of Lie superalgebras, are covered by the given definition. For these Drinfel'd doubles Lusztig maps are defined. It is shown that these…
In this paper, we study the algebra automorphisms and isomorphisms for a family of "symmetric" multiparameter quantized Weyl algebras $\A$ and some related algebras in the generic case. First, we compute the Nakayama automorphism for $\A$ and give a necessary and sufficient condition for $\A$ to be Calabi-Yau. We also prove that $\A$ is cancellative. Then we determine the automorphism group for $\A$ and its polynomial extension $\E$. As an application, we solve the isomorphism problem for $\{\A\}$ and $\{\E\}$. Similar results will be established for the Maltisiniotis multiparameter quantized …
We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for quasi-Hopf algebras, and conjectured in general in \cite{EO}. When C is braided, we establish a connection between the above isomorphism and the Drinfeld isomorphism of C. We also show that a factorizable…
We prove several results concerning quasi-bialgebra morphisms $\mathcal{D}^ω(G)\to\mathcal{D}^η(H)$ of twisted group doubles. We take a particular focus on the isomorphisms which are simultaneously isomorphisms $\mathcal{D}(G)\to\mathcal{D}(H)$. All such isomorphisms are shown to be morphisms of quasi-Hopf algebras, and a classification of all such isomorphisms is determined. Whenever $ω\in Z^3(G/Z(G),U(1))$ this suffices to completely describe $\operatorname{Aut}(\mathcal{D}^ω(G))$, the group of quasi-Hopf algebra isomorphisms of $\mathcal{D}^ω(G)$, and so generalizes existing descriptions fo…
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a monoidal isomorphism between certain double dual functors.
The $θ$-deformed Hopf fibration $\mathbb{S}^3_θ\to \mathbb{S}^2$ over the commutative $2$-sphere is compared with its classical counterpart. It is shown that there exists a natural isomorphism between the corresponding associated module functors and that the affine spaces of classical and deformed connections are isomorphic. The latter isomorphism is equivariant under an appropriate notion of infinitesimal gauge transformations in these contexts. Gauge transformations and connections on associated modules are studied and are shown to be sensitive to the deformation parameter. A homotopy theore…
The nonsemisimple quantum Cayley-Klein groups $ Fun(SU_{q}(2;\bf j}) $ are realized as Hopf algebra of the noncommutative functions with the dual (or Study) variables. The {\it dual} quantum algebras $ su_q(2;{\bf j}) $ are constructed and their isomorphisms with the corresponding quantum orthogonal algebras $ so_q(3;{\bf j}) $ are established. The possible couplings of the Cayley-Klein and Hopf structures are considered.
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 prove a variety results on tensor product factorizations of finite dimensional Hopf algebras (more generally Hopf algebras satisfying chain conditions in suitable braided categories). The results are analogs of well-known results on direct product factorizations of finite groups (or groups with chain conditions) such as Fitting's Lemma and the uniqueness of the Krull-Remak-Schmidt factorization. We analyze the notion of normal (and conormal) Hopf algebra endomorphisms, and the structure of endomorphisms and automorphisms of tensor products. The results are then applied to compute the automo…
We prove a cyclic cohomological analogue of Haefliger's van Est-type theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential operators on that groupoid, which is shown to carry an intrinsic Hopf algebraic structure. We establish a canonical isomorphism between the periodic Hopf cyclic cohomology of this extended Hopf algebra and the Gelfand-Fuchs cohomology of the Lie algebra of formal vector fields. We then show that this isomorphism can be explicitly implemented at the cochain …
