We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of $U_q \hat{gl}_N$ in the limit $N \to \infty$. The resulting Hopf algebra $Rep U_q \hat{gl}_\infty$ is a tensor product of its Hopf subalgebras $Rep_a U_q \hat{gl}_\infty$, $a\in\C^\times/q^{2\Z}$. When $q$ is generic (resp., $q^2$ is a primitive root of unity of order $l$), we construct an isomorphism between the Hopf algebra $Rep_a U_q \hat{gl}_\infty$ and the algebra of regular functions on the prounipotent proalgebraic group $SL_\infty^-$ (resp., $\tilde{GL}_l^-$). When $q$ is a root of unity, this isomorphism identifies the Hopf subalgebra of $Rep_a U_q \hat{gl}_\infty$ spanned by the modules obtained by pullback with respect to the Frobenius homomorphism with the algebra generated by the coefficients of the determinant of an element of $\tilde{GL}_l^-$. This gives us an explicit formula for the Frobenius pullbacks of the fundamental representations. In addition, we construct a natural action of the Hall algebra associated to the infinite linear quiver (resp., the cyclic quiver with $l$ vertices) on $Rep_a U_q \hat{gl}_infty$ and describe the span of the tensor products of the evaluation representations taken at fixed points as a module over this Hall algebra.
Elliptic current algebras E_{q,p}(\hat{g}) for arbitrary simply laced finite dimensional Lie algebra g are defined and their co-algebraic structures are studied. It is shown that under the Drinfeld like comultiplications, the algebra E_{q,p}(\hat{g}) is not co-closed for any g. However putting the algebras E_{q,p}(\hat{g}) with different deformation parameters together, we can establish a structure of infinite Hopf family of algebras. The level 1 bosonic realization for the algebra E_{q,p}(\hat{g}) is also established.
New deformed affine algebras A_{\hbar,η}(\hat{g}) are defined for any simply-laced classical Lie algebra g, which are generalizations of the algebra A_{\hbar,η}(\hat{sl_2}) recently proposed by Khoroshkin, Lebedev and Pakuliak (KLP). Unlike the work of KLP, we associate to the new algebras the structure of an infinite Hopf family of algebras in contrast to the one containing only finite number of algebras introduced by KLP. Bosonic representation for A_{\hbar,η}(\hat{g}) at level 1 is obtained, and it is shown that, by repeated application of Drinfeld-like comultiplications, a realization of A…
Let $\hat{\frak g}$ be an untwisted affine Kac-Moody algebra. The quantum group $U_h(\hat{\frak g})$ (over $\mathbb{C}[[h]]$) is known to be a quasitriangular Hopf algebra: in particular, it has a universal $ R $--matrix, which yields an $ R $--matrix for each pair of representations of $U_h(\hat{\frak g})$. On the other hand, the quantum group $U_q(\hat{\frak g})$ (over $\mathbb{C}(q) $) also has an $ R $--matrix for each pair of representations, but it has not a universal $ R $--matrix so that one cannot say that it is quasitriangular. Following Reshetikin, one introduces the (weaker) notion…
We propose a new realization of the elliptic quantum group equipped with the H-Hopf algebroid structure on the basis of the elliptic algebra U_{q,p}(\hat{sl}_2). The algebra U_{q,p}(\hat{sl}_2) has a constructive definition in terms of the Drinfeld generators of the quantum affine algebra U_q(\hat{sl}_2) and a Heisenberg algebra. This yields a systematic construction of both finite and infinite-dimensional dynamical representations and their parallel structures to U_q(\hat{sl}_2). In particular we give a classification theorem of the finite-dimensional irreducible pseudo-highest weight represe…
Let $A$ be a finite-dimensional Hopf algebra. The left and the right integrals on $A$ are related by means of a distinguished group-like element $δ$ of $A$. Similarly, there is this element $\hatδ$ in the dual Hopf algebra $\hat A$. Radford showed that $$S^4(a)=δ^{-1}(\hatδ\triangleright a \triangleleft \hatδ^{-1})δ$$ for all $a$ in $A$ where $S$ is the antipode of $A$ and where $\triangleright$ and $\triangleleft$ are used to denote the standard left and right actions of $\hat A$ on $A$. The formula still holds for multiplier Hopf algebras with integrals (algebraic quantum groups). In the the…
The $\hatκ$-deformed extended Galilei Hopf group algebra, ${\rm Fun}_{\hatκ}(\tilde G_{(m)})$, is introduced. It provides an example of a cocycle bicrossproduct structure, and is shown to be the contraction limit of a pseudoextension of the $κ$-Poincaré group algebra. The possibility of obtaining another deformed extended Galilei groups is discussed, including one obtained from a non-standard Poincaré deformation.
We establish a bijective correspondence between gauge equivalence classes of dynamical twists in a finite-dimensional Hopf algebra $H$ based on a finite abelian group $A$ and equivalence classes of pairs $(K, \{V_λ\}_{λ\in \hat{A}})$, where $K$ is an $H$-simple left $H$-comodule semisimple algebra and $\{V_λ\}_{λ\in \hat{A}}$ is a family of irreducible representations satisfying certain conditions. Our results generalize the results obtained by Etingof-Nikshych on the classification of dynamical twists in group algebras.
In this paper, we extend the generalization of Drinfeld realization of quantum affine algebras to quantum affine superalgebras with its Drinfeld comultiplication and its Hopf algebra structure, which depends on a function $g(z)$ satisfying the relation: $g(z)=g(z^{-1})^{-1}.$ In particular, we present the Drinfeld realization of $U_q(\hat {\frak osp}(1,2))$ and its Serre relations.
The factorization of the universal R-matrix corresponding to so called Drinfeld Hopf structure is described on the example of quantum affine algebra $U_q(\hat{sl}_2)$. As a result of factorization procedure we deduce certain differential equations on the factors of the universal ${\cal R}$-matrix, which allow to construct uniquely these factors in the integral form.
We introduce the quasi-Hopf superalgebras which are $Z_2$ graded versions of Drinfeld's quasi-Hopf algebras. We describe the realization of elliptic quantum supergroups as quasi-triangular quasi-Hopf superalgebras obtained from twisting the normal quantum supergroups by twistors which satisfy the graded shifted cocycle condition, thus generalizing the quasi-Hopf twisting procedure to the supersymmetric case. Two types of elliptic quantum supergroups are defined, that is the face type $B_{q,λ}(G)$ and the vertex type $A_{q,p}[\hat{sl(n|n)}]$ (and $A_{q,p}[\hat{gl(n|n)}]$), where $G$ is any Kac-…
Introducing an H-Hopf algebroid structure into U_{q,p}(\widedhat{sl}_2), we investigate the vertex operators of the elliptic quantum group U_{q,p}(\widedhat{sl}_2) defined as intertwining operators of infinite dimensional U_{q,p}(\widedhat{sl}_2)-modules. We show that the vertex operators coincide with the previous results obtained indirectly by using the quasi-Hopf algebra B_{q,λ}(\hat{sl}_2). This shows a consistency of our H-Hopf algebroid structure even in the case with non-zero central element.
We show that when a co-involutive Hopf C*-algebra $S$ coacts via $δ$ on a C*-algebra $A$, there exists a full crossed product $A\times_δS$, with universal properties analogous to those of full crossed products by locally compact groups. The dual Hopf C*-algebra is then defined by $\hat S:={\Bbb C}\times_{\id} S$.
We show that the Ehresmann-Schauenburg bialgebroid of a quantum principal bundle $P$ or Hopf Galois extension with structure quantum group $H$ is in fact a left Hopf algebroid $L(P,H)$. We show further that if $H$ is coquasitriangular then $L(P,H)$ has an antipode map $S$ obeying certain minimal axioms. Trivial quantum principal bundles or cleft Hopf Galois extensions with base $B$ are known to be cocycle cross products $B\#_σH$ for a cocycle-action pair ($\vartriangleright$,$σ$) and we look at these of a certain `associative type' where $ \vartriangleright$ is an actual action. In this case a…
We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects is equivalent to the category of representations of a weak Hopf algebra (theorem of T. Hayashi) and classify module categories over the fusion category of $\hat{sl}(2)$ at a positive integer level where we meet once again ADE classification pattern.
An algebra homomorphism $ψ$ from the q-deformed algebra $U_q({\rm iso}_2)$ with generating elements $I$, $T_1$, $T_2$ and defining relations $[I,T_2]_q=T_1$, $[T_1,I]_q=T_2$, $[T_2,T_1]_q=0$ (where $[A,B]_q=q^{1/2}AB-q^{-1/2}BA$) to the extension ${\hat U}_q({\rm m}_2)$ of the Hopf algebra $U_q({\rm m}_2)$ is constructed. The algebra $U_q({\rm iso}_2)$ at $q=1$ leads to the Lie algebra ${\rm iso}_2 \sim {\rm m}_2$ of the group ISO(2) of motions of the Euclidean plane. The Hopf algebra $U_q({\rm m}_2)$ is treated as a Hopf $q$-deformation of the universal enveloping algebra of ${\rm iso}_2$ and…
The $(4+4)$-dimensional $κ$-deformed quantum phase space as well as its $(10+10)$-dimensional covariant extension by the Lorentz sector can be described as Heisenberg doubles: the $(10+10)$-dimensional quantum phase space is the double of $D=4$ $κ$-deformed Poincaré Hopf algebra $\mathbb{H}$ and the standard $(4+4)$-dimensional space is its subalgebra generated by $κ$-Minkowski coordinates $\hat{x}_μ$ and corresponding commuting momenta $\hat{p}_μ$. Every Heisenberg double appears as the total algebra of a Hopf algebroid over a base algebra which is in our case the coordinate sector. We exhibi…
We define an algebra $\mathcal{U}_0$ using a simplified set of generators for the quantum toroidal algebra $U_q(sl_{n+1}, tor)$ and show that there exists an epimorphism from $\mathcal{U}_0$ to $U_q(sl_{n+1}, tor)$. We derive a closed formula of the comultiplication on the generators of $\mathcal{U}_0$ that extends that of the quantum affine algebra $U_q(\hat{sl}_{n+1})$. As a consequence, we show that $\mathcal{U}_0$ is a Hopf algebra for $n=1, 2$ and give conjectural formulas in the general case. We further show that $\mathcal{U}_0$ is isomorphic to a double algebra.
Let $\hat{\mathfrak{g}}$ be an untwisted affine Kac-Moody algebra, with its Sklyanin-Drinfel'd structure of Lie bialgebra, and let $\hat{\mathfrak{h}}$ be the dual Lie bialgebra. By dualizing the quantum double construction - via formal Hopf algebras - we construct a new quantum group $U_q(\hat{\mathfrak{h}})$, dual of $U_q(\hat{\mathfrak{g}})$. Studying its restricted and unrestricted integer forms and their specializations at roots of 1 (in particular, their classical limits), we prove that $U_q(\hat{\mathfrak{h}})$ yields quantizations of $\hat{\mathfrak{h}}$ and $\hat{G}^\infty$ (the forma…
We investigate a generalization of Hopf algebra $\mathfrak{sl}_{q}(2)$ by weakening the invertibility of the generator $K$, i.e. exchanging its invertibility $KK^{-1}=1$ to the regularity $K\overline{K}K=K$. This leads to a weak Hopf algebra $w\mathfrak{sl}_{q}(2)$ and a $J$-weak Hopf algebra $v\mathfrak{sl}_{q}(2)$ which are studied in detail. It is shown that the monoids of group-like elements of $w\mathfrak{sl}_{q}(2)$ and $v\mathfrak{sl}_{q}(2)$ are regular monoids, which supports the general conjucture on the connection betweek weak Hopf algebras and regular monoids. Moreover, from $w\mat…
In this paper, for an arbitrary Kac-Moody Lie algebra $\mathfrak g$ and a diagram automorphism $μ$ of $\mathfrak g$ satisfying certain natural linking conditions, we introduce and study a $μ$-twisted quantum affinization algebra $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ of $\mathfrak g$. When $\mathfrak g$ is of finite type, $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ is Drinfeld's current algebra realization of the twisted quantum affine algebra. When $μ=\mathrm{id}$ and $\mathfrak g$ in affine type, $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ is the quantum toroidal al…
We show that the action of universal $R$-matrix of affine $U_qsl_2$ quantum algebra, when $q$ is a root of unity, can be renormalized by some scalar factor to give a well defined nonsingular expression, satisfying Yang-Baxter equation. It reduced to intertwining operators of all representations, corresponding to Chiral Potts, if the parameters of these representations lie on well known algebraic curve. We also show that affine $U_qsl_2$ for $q$ is a root of unity form the autoquasitriangular Hopf algebra in the sence of Reshetikhin.
An algebra homomorphism $ψ$ from the nonstandard q-deformed (cyclically symmetric) algebra $U_q(so_3)$ to the extension ${\hat U}_q(sl_2)$ of the Hopf algebra $U_q(sl_2)$ is constructed. Not all irreducible representations of $U_q(sl_2)$ can be extended to representations of ${\hat U}_q(sl_2)$. Composing the homomorphism $ψ$ with irreducible representations of ${\hat U}_q(sl_2)$ we obtain representations of $U_q(so_3)$. Not all of these representations of $U_q(so_3)$ are irreducible. Reducible representations of $U_q(so_3)$ are decomposed into irreducible components. In this way we obtain all …
Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (Δ,\eps). A is called a Weak Bialgebra if the coproduct Δis multiplicative. We do not require Δ(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := …
Let $A$ and $B$ be two algebraic quantum groups (i.e. multiplier Hopf algebras with integrals). Assume that $B$ is a right $A$-module algebra and that $A$ is a left $B$-comodule coalgebra. If the action and coaction are matched, it is possible to define a coproduct $Δ_#$ on the smash product $A # B$ making the pair $(A # B,Δ_#)$ into an algebraic quantum group. In this paper, we continue the study of these objects. First, we study the various data of the bicrossproduct $A # B$, such as the modular automorphisms, the modular elements, ... and obtain formulas in terms of the data of the componen…
In this work we study the induction theory for Hopf group coalgebra. To reach this goal we define a substructure B of a Hopf group coalgebra $H$, called subHopf group coalgebra. Also, we introduced the definition of Hopf group suboalgebra and group coisotropic quantum subgroup of $H$.
We study Frobenius-Schur indicators of the regular representations of finite-dimensional semisimple Hopf algebras, especially group-theoretical ones. Those of various Hopf algebras are computed explicitly. In view of our computational results, we formulate the theorem of Frobenius for semisimple Hopf algebras and give some partial results on this problem.
The class of graded elementary quasi-Hopf algebras of tame type is classified. Combining with our previous work [19], this completes the trichotomy for such class of algebras according to their representation types. In addition, new examples of genuine elementary quasi-Hopf algebras, and accordingly finite pointed tensor categories, are provided.
In this work we study some properties of comldules over (non-cosemisimple) Hopf algebras possessing integrals, which are also called co-Frobenius Hopf algebras. We apply the result obtained to the classification of representations of quantum groups of type $A_{0|0}$.
Let $G$ be a finite group and $H$ a normal subgroup. Starting from $G$-spin models, in which a non-Abelian field ${\mathcal{F}}_H$ w.r.t. $H$ carries an action of the Hopf $C^*$-algebra $D(H;G)$, a subalgebra of the quantum double $D(G)$, the concrete construction of the observable algebra ${\mathcal{A}}_{(H,G)}$ is given, as $D(H;G)$-invariant subspace. Furthermore, using the iterated twisted tensor product, one can prove that the observable algebra ${\mathcal{A}}_{(H,G)}=\cdots\rtimes H\rtimes\hat{G}\rtimes H\rtimes\hat{G}\rtimes H\rtimes\cdots$, where $\hat{G}$ denotes the algebra of comple…
An polynomial identity is derived from the representation V_m(x)\otimes V_n(y) of U_q(\hat {sl_2}) and a new basis of V_m(x)\otimes V_n(y) is established under some condition.
For a (co)monad T_l on a category M, an object X in M, and a functor Π: M \to C, there is a (co)simplex Z^*:=ΠT_l^{* +1} X in C. Our aim is to find criteria for para-(co)cyclicity of Z^*. Construction is built on a distributive law of T_l with a second (co)monad T_r on M, a natural transformation i:ΠT_l \to ΠT_r, and a morphism w: T_r X \to T_l X in M. The relations i and w need to satisfy are categorical versions of Kaygun's axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads T_l=T \otimes_R (…
In this paper we give two general formulae for the Müger centralizers in the category of representations of a semisimple quasitriangular Hopf algebra. The first formula is given in the terms of the Drinfeld map associated to the quasitriangular Hopf algebra. The second formula for the Müger centralizer is given in the terms of the conjugacy classes introduced by Cohen and Westreich in [J. Algebra 283 (2005), 42-62]. In the case of a factorizable Hopf algebra these formulae extend some particular cases obtained by the author in [Math. Z. 279 (2015), 227-240].
We construct a realization of the central extension of super-Yangian double $DY_{\hbar}(\hat{sl}(M+1|N+1))$ at level-one in terms of free boson fields with a continuous parameter.
For any finite-dimensional Hopf algebra $H$ we construct a group homomorphism $\biga(H)\to \text{BrPic}(\Rep(H))$, from the group of equivalence classes of $H$-biGalois objects to the group of equivalence classes of invertible exact $\Rep(H)$-bimodule categories. We discuss the injectivity of this map. We exemplify in the case $H=T_q$ is a Taft Hopf algebra and for this we classify all exact indecomposable $\Rep(T_q)$-bimodule categories.
We parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work of N. Andruskiewitsch and the second author. Special cases are the multiparameter deformations of the enveloping algebras of semisimple Lie algebras where the deforming parameters are not roots of unity and some of their finite-dimensional versions in the root of unity case.
We study the copointed Hopf algebras attached to the Nichols algebra of the affine rack $\Aff(\F_4,ω)$, also known as tetrahedron rack, and the 2-cocycle -1. We investigate the so-called Verma modules and classify all the simple modules. We conclude that these algebras are of wild representation type and not quasitriangular, also we analyze when these are spherical.
The structure of the tensor product representation v_{λ_1}(x)\otimes V_{λ_2}(y) of U_q(\hat sl_2) is investigated at roots of unity. A polynomial identity is derived as an outcome. Also, new bases of v_{λ_1}(x)\otimes V_{λ_2}(y) are established under certain conditions.
We construct a vertex representation for the quantum toroidal algebra through the quantum general linear algebra. Using a new realization of the quantum general linear algebra we construct vertex operators for root vectors on the basic representation of the affine Lie algebra $gl_n$ and show that the simple generators give rise a realization of the quantum toroidal algebra with two parameters.
The quiver Hopf algebras are classified by means of ramification systems with irreducible representations. This leads to the classification of Nichols algebras over group algebras and pointed Hopf algebras of type one.
We introduce and investigate the basic properties of an involutory (dual) quasi-Hopf algebra. We also study the representations of an involutory quasi-Hopf algebra and prove that an involutory dual quasi-Hopf algebra with non-zero integral is cosemisimple.
We bosonize certain components of level $\ell$ $U_q(\hat{sl}_2)$-intertwiners of $(\ell + 1)$-dimensions. For $\ell = 2$, these intertwiners, after certain modification by bosonic vertex operators, are added to the algebra $U_q(\hat{sl}_2)$ at level 2 to construct all irreducible highest weight representations of level 1 for the quantum affine algebra $U_q(\hat{sp}_4)$.
In a previous paper we prove that any semisimple triangular Hopf algebra A over an algebraically closed field of characteristic 0 (say the field of complex numbers C) is obtained from a finite group after twisting the ordinary comultiplication of its group algebra in the sense of Drinfeld; that is A=C[G]^J for some finite group G and a twist J\in C[G]\ot C[G]. In this paper we explicitly describe the representation theory of co-triangular semisimple Hopf algebras A^*=(C[G]^J)^* in terms of representations of some associated groups. As a corollary we prove that Kaplansky's 6th conjecture from 1…
The classification of finite-dimensional pointed Hopf algebras with group S_3 was finished in "The Nichols algebra of a semisimple Yetter-Drinfeld module", arXiv:0803.2430v1 [math.QA], by Andruskiewitsch, Heckenberger and Schneider: there are exactly two of them, the bosonization of a Nichols algebra of dimension 12 and a non-trivial lifting. Here we determine all simple modules over any of these Hopf algebras. We also find the Gabriel quivers, the projective covers of the simple modules, and prove that they are not of finite representation type. To this end, we first investigate the modules o…
This is a survey on spherical Hopf algebras. We give criteria to decide when a Hopf algebra is spherical and collect examples. We discuss tilting modules as a mean to obtain a fusion subcategory of the non-degenerate quotient of the category of representations of a suitable Hopf algebra.
Let $\k$ be a field and $Q$ a minimal Hopf quiver, i.e., a cyclic quiver or the infinite linear quiver, and let $\rep^{ln}(Q)$ denote the category of locally nilpotent finite dimensional $\k$-representations of $Q.$ The category $\rep^{ln}(Q)$ has natural tensor structures induced from graded Hopf structures on the path coalgebra $\k Q.$ Tensor categories of the form $\rep^{ln} (Q)$ are an interesting class of tame hereditary pointed tensor categories which are not finite. The aim of this paper is to compute the Clebsch-Gordan formulae and Green rings of such tensor categories.
We study representations of nilpotent type nontrivial liftings of quantum linear spaces and their Drinfel'd quantum doubles. We construct a family of Verma- type modules in both cases and prove a parametrization theorem for simple modules. We compute the Loewy and socle series of Verma modules under a mild restriction on the datum of a lifting. We find bases and dimensions of simple modules.
In the category of semisimple Hopf algebras the Hopf kernels introduced by Andruskiewitsch and Devoto in \cite{AD} coincide with kernels of representation as introduced in \cite{Bker}. Some new results concerning the normality of kernels are also presented. It is proven that the property for Hopf algebras to have all kernels normal Hopf subalgebras is a self dual property.
In this paper, we study the representations of the new finite-dimensional pointed Hopf algebras in positive characteristic given in \cite{Cib09}. We find that these Hopf algebras are symmetric algebras. We determine the simple modules and their projective covers over these Hopf algebras. We show that these Hopf algebras are of wild representation type.
For the Klein group $K$, $k\in\mathbb{Z}_{\geqslant 1}$ and $m\in\mathbb{Z}_{\geqslant 4}$, we study the representations of the orbifold vertex operator algebra $L_{\hat{\mathfrak{sl}_2}}(k,0)^{K}$ and the commutant vertex operator algebra of $L_{\hat{\mathfrak{so}_m}}(3,0)$ in $L_{\hat{\mathfrak{so}_m}}(1,0)^{\otimes 3}$ which can be realized as the orbifold vertex operator subalgebra $L_{\hat{\mathfrak{sl}_2}}(2m,0)^{K}$ or its extension. All the irreducible modules for $L_{\hat{\mathfrak{sl}_2}}(k,0)^{K}$ and $C_{{L_{\hat{\mathfrak{so}_m}}(1,0)}^{\otimes 3}}({L_{\hat{\mathfrak{so}_m}}(3,0)}…
We develop a general theory of Hopf image of a Hopf algebra representation, with the associated concept of inner faithful representation, modelled on the notion of faithful representation of a discrete group. We study several examples, including group algebras, enveloping algebras of Lie algebras, pointed Hopf algebras, function algebras, twistings and cotwistings, and we present a Tannaka duality formulation of the notion of Hopf image.
This is an extension of quantum spinor construction of $U_q(\hat {\frak gl}(n))$. We define quantum affine Clifford algebras based on the tensor category and the solutions of q-KZ equations, and construct quantum spinor representations of $U_q(\hat{\frak o}(N))$.
We calculate all irreducible representations over a subfamily of pointed Hopf algebras with group-likes the dihedral group analyzing the possible decompositions of the restriction to the dihedral group and calculating the Jacobson radical of the Hopf algebra
We classify exact indecomposable module categories over the representation category of all non-trivial Hopf algebras with coradical S_3 and S_4. As a byproduct, we compute all its Hopf-Galois extensions and we show that these Hopf algebras are cocycle deformations of their graded versions.
In this paper we prove a formula that relates Müger's centralizer in the category of representations of a factorizable Hopf algebra to the notion of Hopf kernel of a representation of the dual Hopf algebra. Using this relation we obtain a complete description for Müger's centralizer of some fusion subcategories of the fusion category of finite dimensional representations of a Drinfeld double of a semisimple Hopf algebra.
A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$ and vertex operators associated with the fundamental representations are constructed in terms of free bosonic fields. Character formulas of level-one irreducible highest weight modules of $\U_q(\hat{\frak{sl}}(2|1))$ are conjectured.
