The Suzuki algebra $A_{Nn}^{μλ}$ was introduced by Suzuki Satoshi in 1998, which is a class of cosemisimple Hopf algebras. It is not categorically Morita-equivalent to a group algebra in general. In this paper, the author gives a complete set of simple Yetter-Drinfeld modules over the Suzuki algebra $A_{N\,2n}^{μλ}$ and investigates the Nichols algebras over those simple Yetter-Drinfeld modules. The involved finite dimensional Nichols algebras of diagonal type are of Cartan type $A_1$, $A_1\times A_1$, $A_2$, $A_2\times A_2$, Super type ${\bf A}_{2}(q;I_2)$ and the Nichols algebra ufo(8). There are $64$, $4m$ and $m^2$-dimensional Nichols algebras of non-diagonal type over $A_{N\,2n}^{μλ}$. The $64$-dimensional Nichols algebras are of dihedral rack type $\Bbb{D}_4$. The $4m$ and $m^2$-dimensional Nichols algebras $\mathfrak{B}(V_{abe})$ discovered first by Andruskiewitsch and Giraldi can be realized in the category of Yetter-Drinfeld modules over $A_{Nn}^{μλ}$. By using a result of Masuoka, we prove that $\dim\mathfrak{B}(V_{abe})=\infty$ under the condition $b^2=(ae)^{-1}$, $b\in\Bbb{G}_{m}$ for $m\geq 5$.
We study the Nichols algebra of a semisimple Yetter-Drinfeld module and introduce new invariants such as real roots. The crucial ingredient is a `reflection' in the class of such Nichols algebras. We conclude the classifications of finite-dimensional pointed Hopf algebras over S_3, and of finite-dimensional Nichols algebras over S_4. The revised version contains an extended introduction with references to recent applications, and a simplified definition of the Weyl groupoid of a semisimple Yetter-Drinfeld module. Key words: Hopf algebras, quantum groups, Weyl groupoid
In this paper, the author gives a complete set of simple Yetter-Drinfeld modules over Suzuki algebra $A_{N\,2n+1}^{μλ}$ and investigates the Nichols algebras over those irreducible Yetter-Drinfeld modules. The finite dimensional Nichols algebras of diagonal type are of Cartan type $A_1$, $A_1\times A_1$, $A_2$, Super type ${A}_{2}(q;I_2)$ and the Nichols algebra $\mathfrak{ufo}(8)$. And the involved finite dimensional Nichols algebras of non-diagonal type are $12$, $4m$ and $m^2$ dimensional. The left three unsolved cases are set as open problems.
We construct reflection functors for Yetter-Drinfeld modules over Nichols systems and discuss their fundamental properties. We will obtain properties about the geometry of the support of Nichols systems and their Yetter-Drinfeld modules, by looking at iterated reflections. We will also study the maximal subobject of Yetter-Drinfeld modules over Nichols systems and find a special morphism, that we name Shapovalov morphism, whose kernel coincides with this maximal subobject. Moreover, we will use this morphism to characterize properties about the reflections of the Yetter-Drinfeld modules. We ca…
In this paper, we continue to investigate finite-dimensional Nichols algebras over simple Yetter-Drinfeld modules of the Suzuki algebras $A_{N\, n}^{μλ}$. It is finished for the case $A_{N\, 2n}^{μλ}$. As for the case $A_{N\, 2n+1}^{μλ}$, it boils down to the long-standing open problem: calculate dimensions of Nichols algebras of dihedral rack type $\Bbb D_{2n+1}$. It is interesting to see that the Suzuki algebras are of set-theoretical type. We pose some question or problems for our future research. In particular, we are curious about how to generalize the correspondence between braidings of …
Yetter--Drinfel'd modules of diagonal type admit an equivalence relation which conjecturally preserves dimension and Gel'fand--Kirillov dimension of the corresponding Nichols algebras. This relation is determined explicitly for all rank 2 Yetter--Drinfeld modules where the Gel'fand--Kirillov dimension is known to be finite. Key Words: Brandt groupoid, Hopf algebra, pseudo-reflections, Weyl group
Over fields of arbitrary characteristic we classify all braid-indecomposable tuples of at least two absolutely simple Yetter-Drinfeld modules over non-abelian groups such that the group is generated by the support of the tuple and the Nichols algebra of the tuple is finite-dimensional. Such tuples are classified in terms of analogs of Dynkin diagrams which encode much information about the Yetter-Drinfeld modules. We also compute the dimensions of these finite-dimensional Nichols algebras. Our proof uses the Weyl groupoid of a tuple of simple Yetter-Drinfeld modules.
We rederive a popular nonsemisimple fusion algebra in the braided context, from a Nichols algebra. Together with the decomposition that we find for the product of simple Yetter-Drinfeld modules, this strongly suggests that the relevant Nichols algebra furnishes an equivalence with the triplet W-algebra in the (p,1) logarithmic models of conformal field theory. For this, the category of Yetter-Drinfeld modules is to be regarded as an \textit{entwined} category (the one with monodromy, but not with braiding).
We classify Nichols algebras of irreducible Yetter-Drinfeld modules over nonabelian groups satisfying an inequality for the dimension of the homogeneous subspace of degree two. All such Nichols algebras are finite-dimensional, and all known finite-dimensional Nichols algebras of nonabelian group type appear in the result of our classification. We find a new finite-dimensional Nichols algebra over fields of characteristic two.
This is a contribution to the classification program of pointed Hopf algebras. We give a generalization of the quantum Serre relations and propose a generalization of the Frobenius-Lusztig kernels in order to compute Nichols algebras of diagonal group type. With this, we classify Nichols algebras B(V) with dimension < 32 or with dimension p^3, p a prime number, when V lies in a Yetter-Drinfeld category over a finite group. With the so called Lifting Procedure, this allows to classify pointed Hopf algebras of index < 32 or p^3. In recent articles by Etingof-Schedler-Soloviev and Lu-Yan-Zhu, the…
We investigate the Nichols algebra $\mathfrak{B}(V_{abe})$ which are from the Yetter-Drinfeld category of Suzuki algebras. The $4n$ and $n^2$ dimensional Nichols algebras, first appeared in \cite{Andruskiewitsch2018}, are obtained again via a different method. And the connection between the Nichols algebra $\mathfrak{B}(V_{abe})$ and a class of combinatorial numbers on the subgroups of symmetric groups is established.
We prove that Nichols algebras of irreducible Yetter-Drinfeld modules over classical Weyl groups $A \rtimes \mathbb S_n$ supported by $\mathbb S_n$ are infinite dimensional, except in three cases. We give necessary and sufficient conditions for Nichols algebras of Yetter-Drinfeld modules over classical Weyl groups $A \rtimes \mathbb S_n$ supported by $A$ to be finite dimensional.
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 compute necessary conditions on Yetter-Drinfeld modules over the groups SL(2,Fq) and GL(2,Fq) to generate finite dimensional Nichols algebras. This is a first step towards a classification of pointed Hopf algebras with a group of group-likes isomorphic to one of these groups.
Motivated by work of Kac and Lusztig, we define a root system and a Weyl groupoid for a large class of semisimple Yetter-Drinfeld modules over an arbitrary Hopf algebra. The obtained combinatorial structure fits perfectly into an existing framework of generalized root systems associated to a family of Cartan matrices, and provides novel insight into Nichols algebras. We demonstrate the power of our construction with new results on Nichols algebras over finite non-abelian simple groups and symmetric groups. Key words: Hopf algebra, quantum group, root system, Weyl group
We classify Nichols algebras of irreducible Yetter-Drinfeld modules over groups such that the underlying rack is braided and the homogeneous component of degree three of the Nichols algebra satisfies a given inequality. This assumption turns out to be equivalent to a factorization assumption on the Hilbert series. Besides the known Nichols algebras we obtain a new example. Our method is based on a combinatorial invariant of the Hurwitz orbits with respect to the action of the braid group on three strands.
We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the a…
We classify all groups G and all pairs (V,W) of absolutely simple Yetter-Drinfeld modules over G such that the support of the direct sum of V and W generates G, the square of the braiding between V and W is not the identity, and the Nichols algebra of the direct sum of V and W admits a finite root system. As a byproduct, we determine the dimensions of such Nichols algebras, and several new families of finite-dimensional Nichols algebras are obtained. Our main tool is the Weyl groupoid of pairs of absolutely simple Yetter-Drinfeld modules over groups.
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.
We contribute to the classification of Hopf algebras with finite Gelfand-Kirillov dimension, GK-dimension for short, through the study of Nichols algebras over $\mathbb{D}_{\infty}$, the infinite dihedral group. We find all the irreducible Yetter-Drinfeld modules $V$ over $\mathbb{D}_{\infty}$, and determine which Nichols algebras $\mathcal{B}(V)$ of $V$ are finite GK-dimensional.
We compute necessary conditions on Yetter-Drinfeld modules over the groups $\mathbf{PGL}(2,q)=\mathbf{PGL}(2,\FF_q)$ and $\mathbf{PSL}(2,q)=\mathbf{PSL}(2,\FF_q)$ to generate finite dimensional Nichols algebras. This is a first step towards a classification of pointed Hopf algebras with group of group-likes isomorphic to one of these groups. As a by-product of the techniques developed in this work, we prove that there is no non-trivial finite-dimensional pointed Hopf algebra over the Mathieu groups $M_{20}$ and $M_{21}=\mathbf{PSL}(3,4)$.
In this paper, we initiate the study of nondiagonal finite quasi-quantum groups over finite abelian groups. We mainly study the Nichols algebras in the twisted Yetter-Drinfeld module category $_{\k G}^{\k G}\mathcal{YD}^Φ$ with $Φ$ a nonabelian $3$-cocycle on a finite abelian group $G.$ A complete clarification is obtained for the Nichols algebra $B(V)$ in case $V$ is a simple twisted Yetter-Drinfeld module of nondiagonal type. This is also applied to provide a complete classification of finite-dimensional coradically graded pointed coquasi-Hopf algebras over abelian groups of odd order and co…
We show that the definition of unrolled Hopf algebras can be naturally extended to the Nichols algebra $\mathcal{B}$ of a Yetter-Drinfeld module $V$ on which a Lie algebra $\mathfrak g$ acts by biderivations. Specializing to Nichols algebras of diagonal type, we find unrolled versions of the small, the De Concini-Procesi and the Lusztig divided power quantum group, respectively.
We realise the cohomology ring of a flag manifold, more generally the coinvariant algebra of an arbitrary finite Coxeter group W, as a commutative subalgebra of a certain Nichols algebra in the Yetter-Drinfeld category over W. This gives a braided Hopf algebra version of the corresponding Schubert calculus. Our proof is based on methods of braided differential calculus rather than on working directly with the relations in the Nichols algebra, which are not known explicitly. We also discuss the relationship between Fomin-Kirillov quadratic algebras, Kirillov-Maeno bracket algebras and our const…
We show that except in several cases conjugacy classes of classical Weyl groups $W(B_n)$ and $W(D_n)$ are of type {\rm D}. We prove that except in three cases Nichols algebras of irreducible Yetter-Drinfeld ({\rm YD} in short )modules over the classical Weyl groups are infinite dimensional.
Let $H$ be the Hopf algebra $H_{c: σ_{0}}$ of Kashina [J. Algebra, 232(2000),pp.617-663]. We give all simple Yetter-Drinfel'd modules $V$ over $H$, then classify all finite-dimensional Nichols algebras of $V$. The finite dimensional Nichols algebras of diagonal type are either $A_{1}, A_{2}$ or quantum planes, and non-diagonal type ones are $8$ or $16$ dimensional.
We prove that a finite-dimensional Hopf algebra with the dual Chevalley Property over a field of characteristic zero is quasi-isomorphic to a Radford-Majid bosonization whenever the third Hochschild cohomology group in the category of Yetter-Drinfeld modules of its diagram with coefficients in the base field vanishes. Moreover we show that this vanishing occurs in meaningful examples where the diagram is a Nichols algebra.
We compute liftings of the Nichols algebra of a Yetter-Drinfeld module of Cartan type $B_2$ subject to the small restriction that the diagonal elements of the braiding matrix are primitive $n$th roots of 1 with odd $n\neq 5$. As well, we compute the liftings of a Nichols algebra of Cartan type $A_2$ if the diagonal elements of the braiding matrix are cube roots of 1; this case was not completely covered in previous work of Andruskiewitsch and Schneider. We study the problem of when the liftings of a given Nichols algebra are quasi-isomorphic. The Appendix (with I. Rutherford) contains a genera…
For $n,m\in \mathbb{N}$, let $H_{n,m}$ be the dual of the Radford algebra of dimension $n^{2}m$. We present new finite-dimensional Nichols algebras arising from the study of simple Yetter-Drinfeld modules over $H_{n,m}$. Along the way, we describe the simple objects in ${}^{H_{n,m}}_{H_{n,m}}\mathcal{YD}$ and their projective envelopes. Then, we determine those simple modules that give rise to finite-dimensional Nichols algebras for the case $n=2$. There are 18 possible cases. We present by generators and relations the corresponding Nichols algebras on five of these eighteen cases. As an appli…
It is shown that except in three cases conjugacy classes of classical Weyl groups $W(B_{n})$ and $W(D_{n})$ are of type ${\rm D}$. This proves that Nichols algebras of irreducible Yetter-Drinfeld modules over the classical Weyl groups $\mathbb W_{n}$ (i.e. $H_{n}\rtimes \mathbb{S}_{n}$) are infinite dimensional, except the class of type $(2, 3),(1^{2}, 3)$ in $\mathbb S_{5}$, and $(1^{n-2}, 2)$ in $\mathbb S_{n}$ for $n >5$.
We present new examples of finite-dimensional Nichols algebra over fields of characteristic 2 starting from braided vector spaces that are not of diagonal type, admit realizations as Yetter-Drinfeld modules over finite abelian groups and are analogous to braidings over fields of odd characteristic with finite-dimensional Nichols algebras presented in arXiv:1905.03074. As these last ones, they are related to the Nichols algebras of finite Gelfand-Kirillov dimension in characteristic 0 described in arXiv:1606.02521. New finite-dimensional pointed Hopf algebras over fields of characteristic 2 are…
We formulate the generation of finite dimensional pointed Hopf algebras by group-like elements and skew-primitives in geometric terms. This is done through a more general study of connected and coconnected Hopf algebras inside a braided fusion category $\mathcal{C}$. We describe such Hopf algebras as orbits for the action of a reductive group on an affine variety. We then show that the closed orbits are precisely the orbits of Nichols algebras, and that all other algebras are therefore deformations of Nichols algebras. For the case where the category $\mathcal{C}$ is the category $^G_G\mathcal…
We compute the finite-dimensional Nichols algebras over the sum of two simple Yetter-Drinfeld modules V and W over non-abelian quotients of a certain central extension of the dihedral group of eight elements or SL(2,3), and such that the Weyl groupoid of the pair (V,W) is finite. These central extensions appear in the classification of non-elementary finite-dimensional Nichols algebras with finite Weyl groupoid of rank two. We deduce new information on the structure of primitive elements of finite-dimensional Nichols algebras over groups.
We introduce a general framework for associating to a homogeneous quantum principal bundle a Yetter-Drinfeld module structure on the cotangent space of the base calculus. The holomorphic and anti-holomorphic Heckenberger-Kolb calculi of the quantum Grassmannians are then presented in this framework. This allows us to express the calculi in terms of the corresponding Nichols algebras. The extension of this result to all irreducible quantum flag manifolds is then conjectured.
This is a contribution to the classification of finite-dimensional Hopf algebras over an algebraically closed field $\Bbbk$ of characteristic 0. Concretely, we show that a finite-dimensional Hopf algebra whose Hopf coradical is basic is a lifting of a Nichols algebra of a semisimple Yetter-Drinfeld module and we explain how to classify Nichols algebras of this kind. We provide along the way new examples of Nichols algebras and Hopf algebras with finite Gelfand-Kirillov dimension.
We show that except in several cases conjugacy classes of classical Weyl groups $W(B_n)$ and $W(D_n)$ are of type {\rm D}. We prove that except in three cases Nichols algebras of irreducible Yetter-Drinfeld ({\rm YD} in short )modules over the classical Weyl groups are infinite dimensional. We establish the relationship between Fomin-Kirillov algebra $\mathcal E_n$ and Nichols algebra $\mathfrak{B} ({\mathcal O}_{(1, 2)} , ε\otimes {\rm sgn})$ of transposition over symmetry group by means of quiver Hopf algebras. We generalize {\rm FK } algebra. The characteristic of finiteness of Nichols alge…
Let $H_8$ be the neither commutative nor cocommutative semisimple eight dimensional Hopf algebra, which is also called Kac-Paljutkin algebra \cite{MR0208401}. All simple Yetter-Drinfel'd modules over $H_8$ are given. As for simple objects and direct sums of two simple objects in ${}_{H_8}^{H_8}\mathcal{YD}$, we calculated dimensions for the corresponding Nichols algebras, except four semisimple cases which are generally difficult. Under the assumption that the four undetermined Nichols algebras are all infinite dimensional, we determine all the finite dimensional Nichols algebras over $H_8$. I…
We classify all non-abelian groups G such that there exists a pair (V,W) of absolutely simple Yetter-Drinfeld modules over G such that the Nichols algebra of the direct sum of V and W is finite-dimensional under two assumptions: the square of the braiding between V and W is not the identity, and G is generated by the support of V and W. As a corollary, we prove that the dimensions of such V and W are at most six. As a tool we use the Weyl groupoid of (V,W).
We construct a model of the affine nil-Hecke algebra as a subalgebra of the Nichols-Woronowicz algebra associated to a Yetter-Drinfeld module over the affine Weyl group. We also discuss the Peterson isomorphism between the homology of the affine Grassmannian and the small quantum cohomology ring of the flag variety in terms of the braided differential calculus.
We classify finite-dimensional pointed Hopf algebras with abelian coradical, up to isomorphism, and show that they are cocycle deformations of the associated graded Hopf algebra. More generally, for any braided vector space of diagonal type $V$ with a principal realization in the category of Yetter-Drinfeld modules of a cosemisimple Hopf algebra $H$ and such that the Nichols algebra $\mathfrak{B}(V)$ is finite-dimensional, thus presented by a finite set $\mathcal G$ of relations, we define a family of Hopf algebras $\mathfrak{u}(\boldsymbolλ)$, $\boldsymbolλ\in \Bbbk^{\mathcal G}$, which are c…
We classify finite-dimensional Nichols algebras over finite nilpotent groups of odd order in group-theoretical terms. The main step is to show that the conjugacy classes of such finite groups are either abelian or of type C; this property also holds for finite conjugacy classes of finitely generated nilpotent groups whose torsion has odd order. To extend our approach to the setting of finite GK-dimension, we propose a new Conjecture on racks of type C. We also prove that the bosonization a of Nichols algebra of a Yetter-Drinfeld module over a group whose support is an infinite conjugacy class …
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…
Two related constructions are associated with screening operators in models of two-dimensional conformal field theory. One is a local system constructed in terms of the braided vector space X spanned by the screening species in a given CFT model and the space of vertex operators Y and the other is the Nichols algebra B(X) and the category of its Yetter--Drinfeld modules, which we propose as an algebraic counterpart, in a "braided" version of the Kazhdan--Lusztig duality, of the representation category of vertex-operator algebras realized in logarithmic CFT models.
We show that every finite-dimensional complex pointed Hopf algebra with group of group-likes isomorphic to a sporadic group is a group algebra, except for the Fischer group Fi22, the Baby Monster and the Monster. For these three groups, we give a short list of irreducible Yetter-Drinfeld modules whose Nichols algebra is not known to be finite-dimensional.
Braided doubles provide a unifying framework for classical and quantum universal enveloping algebras and rational Cherednik algebras. They are a class of algebras with triangular decomposition, arising from a deformation problem, the solutions to which are called quasi-Yetter-Drinfeld modules. A basic family of quasi-YD modules is provided by braidings (matrices satisfying the quantum Yang-Baxter equation); these give rise to quantum versions of the Weyl algebra, where the role of polynomial rings is played by Nichols-Woronowicz algebras. Rational Cherednik algebras for t = 0 emerge as subalge…
The quantized enveloping algebra $U_q$ is constructed as a quotient of the generalized quantum double $ U^{\leq 0}_q \cmdbicross_τ U^{\geq 0}_q $ associated to a natural skew pairing $ τ: U^{\leq 0}_q \otimes U^{\geq 0}_q \to k $. This double is generalized by $\cmdcalD = (\cmdfrakB (V) \cmddotrtimes F) \cmdbicross_τ (\cmdfrakB (W) \cmddotrtimes G)$, where $F$, $G$ are abelian groups, $ V \in {}^F_F \cmdcalYD $, $ W \in {}^G_G \cmdcalYD $ are Yetter-Drinfeld modules and $ \cmdfrakB (V) $, $ \cmdfrakB (W) $ are their Nichols algebras. We prove some results on Hopf ideals of $ \cmdcalD $, includ…
