Search

A finite-dimensional Hopf algebra is called quasi-split if it is Morita equivalent to a split abelian extension of Hopf algebras. Combining results of Schauenburg and Negron, it is shown that every quasi-split finite-dimensional Hopf algebra satisfies the finite generation cohomology conjecture of Etingof and Ostrik. This is applied to a family of pointed Hopf algebras in odd characteristic introduced by Angiono, Heckenberger and the first author, proving that they satisfy the aforementioned conjecture., Comment: 28 pages, amslatex

It is shown that the universal enveloping algebra of an infinite-dimensional simple $\mathbb Z^n$-graded Lie algebra is not Noetherian., Comment: 14 pages. Comments are welcome

We exhibit a PI Hopf algebra that is not a finite module over its center. We survey some ring-theoretical properties of the bosonizations of enveloping algebras of Lie superalgebras.

This is a survey on pointed Hopf algebras with finite Gelfand-Kirillov dimension and related aspects of the theory of infinite-dimensional Hopf algebras., Comment: Comments are welcome! Version 2: references and a few details are added

We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a Tannakian perspective. We determine when the new Hopf algebras are co-Frobenius, or cosemisimple, or Noetherian, or regular, or have finite Gelfand-Kirillov dimension., Comment: 25 pages, comments are welcome

We consider the restricted Jordan plane in characteristic $2$, a finite-dimensional Nichols algebra quotient of the Jordan plane that was introduced by Cibils, Lauve and Witherspoon. We extend results from \texttt{arXiv:2002.02514} on the analogous object in odd characteristic. We show that the Drinfeld double of the restricted Jordan plane fits into an exact sequence of Hopf algebras whose kernel is a normal local commutative Hopf subalgebra and the cokernel is the restricted enveloping algebra of a restricted Lie algebra $\mathfrak m$ of dimension 5. We show that $\mathfrak u(\mathfrak m)$ is tame and compute explicitly the indecomposable modules. An infinite-dimensional Hopf algebra covering the Drinfeld double of the restricted Jordan plane is introduced. Various quantum Frobenius maps are described., Comment: 27 pages

We continue the study of the Drinfeld double of the Jordan plane, denoted by $\mathcal D$ and introduced in arXiv:2002.02514. The simple finite-dimensional modules were computed in arXiv:2108.13849; it turns out that they factorize through $U(\spl_2(\Bbbk))$. Here we introduce the Verma modules and the category $\mathfrak O$ for $\mathcal D$, which have a resemblance to the similar ones in Lie theory but induced from indecomposable modules of the 0-part of the triangular decomposition. Accordingly, there is the notion of highest weight rank (hw-rk). We classify the indecomposable modules of hw-rk one and find families of hw-rk two. The Gabriel quiver of $\mathcal D$ is computed implying that it has a wild representation type.

We complete the classification of the pointed Hopf algebras with finite Gelfand-Kirillov dimension that are liftings of the Jordan plane over a nilpotent-by-finite group, correcting the statement in arXiv:1512.09271., Comment: 9 pages. v2: small changes

We consider a class of Nichols algebras $\mathscr{B} (\mathfrak L_q( 1, \mathscr{G}))$ introduced in [3] which are domains and have many favorable properties like AS-regular and strongly noetherian. We classify their finite-dimensional simple modules and their point modules., Comment: To appear in J. Algebraic Combin

We compute the simple finite-dimensional modules and the center of the Drinfeld double of the Jordan plane introduced in $\texttt{arXiv:2002.02514}$ assuming that the characteristic is zero.

We classify finite GK-dimensional Nichols algebras ${\mathscr B}(V)$ of rank 4 such that $V$ arises as a Yetter-Drinfeld module over an abelian group but it is not a direct sum of points and blocks.

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 has infinite GK-dimension. We apply this to the study of the finite GK-dimensional pointed Hopf algebras over finitely generated torsion-free nilpotent groups., Comment: 26 pages

We develop a Poisson geometric framework for studying the representation theory of all contragredient quantum super groups at roots of unity. This is done in a uniform fashion by treating the larger class of quantum doubles of bozonizations of all distinguished pre-Nichols algebras arXiv:1405.6681 belonging to a one-parameter family; we call these algebras \emph{large} quantum groups. We prove that each of these quantum algebras has a central Hopf subalgebra giving rise to a Poisson order in the sense of arXiv:math/0201042.. We describe explicitly the underlying Poisson algebraic groups and Poisson homogeneous spaces in terms of Borel subgroups of complex semisimple algebraic groups of adjoint type. The geometry of the Poisson algebraic groups and Poisson homogeneous spaces that are involved and its applications to the irreducible representations of the algebras $U_{\mathfrak{q}} \supset U_{\mathfrak{q}}^{\geqslant} \supset U_{\mathfrak{q}}^+$ are also described. Besides all (multiparameter) big quantum groups of De Concini--Kac--Procesi and big quantum super groups at roots of unity, our framework also contains the quantizations in characteristic 0 of the 34-dimensional Kac-Weisfeler Lie algebras in characteristic 2 and the 10-dimensional Brown Lie algebras in characteristic 3. The previous approaches to the above problems relied on reductions to rank two cases and direct calculations of Poisson brackets, which is not possible in the super case since there are 13 kinds of additional Serre relations on up to 4 generators. We use a new approach that relies on perfect pairings between restricted and non-restricted integral forms., Comment: 52 pages. v2: we adapt some proofs splitting in two cases: super A and other. Type super A has the peculiarity that the rank of the associated Lie algebra is 1 less than the rank of Nichols algebra. Hence we enlarge the central subalgebra from arXiv:1405.6681 adding an extra group-like element so the large quantum group is module-finite over the new central sub algebra. v3: two references added

We consider the super Jordan plane, a braided Hopf algebra introduced--to the best of our knowledge--in works of N. Andruskiewitsch, I. Angiono, I. Heckenberger, and its restricted version in odd characteristic introduced by the same authors. We show that their Drinfeld doubles give rise naturally to Hopf superalgebras justifying a posteriori the adjective super given in their work. These Hopf superalgebras are extensions of super commutative ones by the enveloping, respectively restricted enveloping, algebra of $\mathfrak{osp}(1|2)$.

We study the Hopf algebra structure of Lusztig's quantum groups. First we show that the zero part is the tensor product of the group algebra of a finite abelian group with the enveloping algebra of an abelian Lie algebra. Second we build them from the plus, minus and zero parts by means of suitable actions and coactions within the formalism presented by Sommerhauser to describe triangular decompositions., Comment: 21 pages. v2: 22 pages; we give more details in the proof of Lemma 4.2; we change the convention on \ell' according with Lusztig's book and restate the formulas (2.3) and (2.4)

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 obtained by bosonization with group algebras of suitable finite abelian groups., Comment: Final version accepted in Glasg. Math. J

We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolution reducing the problem further to specific combinatorial properties. Finally, to check these properties we turn to the classification of Nichols algebras of diagonal type due to Heckenberger. In this paper we complete the verification of these combinatorial properties for major parametric families, including Nichols algebras of Cartan and super types and develop all the theoretical foundations necessary for the case-by-case analysis. The remaining discrete families are addressed in a separate publication. As an application of the main theorem we deduce finite generation of cohomology for other classes of finite-dimensional Hopf algebras, including basic Hopf algebras with abelian groups of characters and finite quotients of quantum groups at roots of one., Comment: 120 pages; the last version has only exposition changes

We study pre-Nichols algebras of quantum linear spaces and of Cartan type with finite GK-dimension. We prove that out of a short list of exceptions involving only roots of order 2, 3, 4, 6, any such pre-Nichols algebra is a quotient of the distinguished pre-Nichols algebra introduced by Angiono generalizing the De Concini-Procesi quantum groups. There are two new examples, one of which can be thought of as $G_2$ at a third root of one., Comment: 34 pages

In positive characteristic the Jordan plane covers a finite-dimensional Nichols algebra that was described by Cibils, Lauve and Witherspoon and we call the restricted Jordan plane. In this paper the characteristic is odd. The defining relations of the Drinfeld double of the restricted Jordan plane are presented and its simple modules are determined. A Hopf algebra that deserves the name of double of the Jordan plane is introduced and various quantum Frobenius maps are described. The finite-dimensional pre-Nichols algebras intermediate between the Jordan plane and its restricted version are classified. The defining relations of the graded dual of the Jordan plane are given.

Let ${\mathcal B}_{\mathfrak{q}}$ be a finite-dimensional Nichols algebra of diagonal type with braiding matrix $\mathfrak{q}$, let $\mathcal{L}_{\mathfrak{q}}$ be the corresponding Lusztig algebra as in arXiv:1501.04518 and let $\operatorname{Fr}_{\mathfrak{q}}: \mathcal{L}_{\mathfrak{q}} \to U(\mathfrak{n}^{\mathfrak{q}})$ be the corresponding quantum Frobenius map as in arXiv:1603.09387. We prove that the finite-dimensional Lie algebra $\mathfrak{n}^{\mathfrak{q}}$ is either 0 or else the positive part of a semisimple Lie algebra $\mathfrak{g}^{\mathfrak{q}}$ which is determined for each $\mathfrak{q}$ in the list of arXiv:math/0605795., Comment: v2: some references were added. v3: 27 pages, we added an appendix with explicit computations in type B2. Accepted in IMRN

We present new examples of finite-dimensional Nichols algebras over fields of positive characteristic. The corresponding braided vector spaces are not of diagonal type, admit a realization as Yetter-Drinfeld modules over finite abelian groups and are analogous to braidings over fields of characteristic zero whose Nichols algebras have finite Gelfand-Kirillov dimension described in arXiv:1606.02521. We obtain nex examples of finite-dimensional pointed Hopf algebras by bosonization with group algebras of suitable finite abelian groups., Comment: 30 pages. arXiv admin note: text overlap with arXiv:1606.02521. v2: minor changes. To appear in Progr. Math., a volume in honor of Prof. Reshetikhin

Let $H$ and $K$ be the bosonizations of the Jordan and super Jordan plane by the group algebra of a cyclic group; the algebra $K$ projects onto an algebra $L$ that can be thought of as the quantum Borel of $\mathfrak{sl}(2)$ at $-1$. The finite-dimensional simple modules over $H$ and $K$, are classified; they all have dimension $1$, respectively $\le 2$. The indecomposable $L$-modules of dimension $\leq 5$ are also listed. An interesting monoidal subcategory of $\operatorname{rep} L$ is described., Comment: 23 pages

We show that all classes that are neither semisimple nor unipotent in finite simple Chevalley or Steinberg groups different from $PSL_n(q)$ collapse (i.e. are never the support of a finite-dimensional Nichols algebra). As a consequence, we prove that the only finite-dimensional pointed Hopf algebra whose group of group-like elements is $PSp_{2n}(q)$, $P\Omega^+_{4n}(q)$, $P\Omega^-_{4n}(q)$, $^3D_4(q)$, $E_7(q)$, $E_8(q)$, $F_4(q)$, or $G_2(q)$ with q even is the group algebra., Comment: Use of CHEVIE for dealing with E6 is introduced. For explicit calculations see version 2. Further minor corrections

We classify infinite-dimensional decomposable braided vector spaces arising from abelian groups whose components are either points or blocks such that the corresponding Nichols algebras have finite Gelfand-Kirillov dimension. In particular we exhibit examples with $\operatorname{GKdim} = n$ for any natural number $n$., Comment: 21 pages

It was conjectured in \texttt{\small arXiv:1606.02521} that a Nichols algebra of diagonal type with finite Gelfand-Kirillov dimension has finite (generalized) root system. We prove the conjecture assuming that the rank is 2. We also show that a Nichols algebra of affine Cartan type has infinite Gelfand-Kirillov dimension., Comment: 25 pages

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., Comment: v4: 45 pages, minor changes. To appear in Math. Z. v3: 45 pages. Substantial improvement of the previous one; we show that a finite-dimensional Hopf algebra with basic Hopf coradical is a lifting of a Nichols algebra of a semisimple YD module. This follows from the previous version plus two new results

It is shown that the finite-dimensional simple representations of the super Jordan plane $B$ are one-dimensional. The indecomposable representations of dimension $2$ and $3$ of $B$ are classified. Two families of indecomposable representations of $B$ of arbitrary dimension are presented.

This is a survey on Nichols algebras of diagonal type with finite dimension, or more generally with arithmetic root system. The knowledge of these algebras is the cornerstone of the classification program of pointed Hopf algebras with finite dimension, or finite Gelfand-Kirillov dimension; and their structure should be indispensable for the understanding of the representation theory, the computation of the various cohomologies, and many other aspects of finite dimensional pointed Hopf algebras. These Nichols algebras were classified in [H-classif RS] as a notable application of the notions of Weyl groupoid and generalized root system [H-Weyl gpd,HY]. In the first part of this monograph, we give an overview of the theory of Nichols algebras of diagonal type. This includes a discussion of the notion of generalized root system and its appearance in the contexts of Nichols algebras of diagonal type and (modular) Lie superalgebras. In the second and third part, we describe for each Nichols algebra in the list of [H-classif RS] the following basic information: the generalized root system; its label in terms of Lie theory; the defining relations found in [A-jems,A-presentation]; the PBW-basis; the dimension or the Gelfand-Kirillov dimension; the associated Lie algebra as in [AAR2]. Indeed the second part deals with Nichols algebras related to Lie algebras and superalgebras in arbitrary characteristic, while the third contains the information on Nichols algebras related to Lie algebras and superalgebras only in small characteristic, and the few examples yet unidentified in terms of Lie theory., Comment: 182 pages

We compute all Nichols algebras of rigid vector spaces of dimension 2 that admit a non-trivial quadratic relation., Comment: 29 pages

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., Comment: 11 pages

We show that all unipotent classes in finite simple Chevalley or Steinberg groups, different from PSL_n(q) and PSp_{2n}(q), collapse (i.e. are never the support of a finite-dimensional Nichols algebra), with a possible exception on one class of involutions in PSU_n(2^m)., Comment: 38 pages

The simple finite-dimensional modules over the Drinfeld double of the bosonization of the Nichols algebra $\mathfrak{ufo}(7)$ are classified., Comment: 37 pages; the second version is shorter (26 pages)

We contribute to the classification of Hopf algebras with finite Gelfand-Kirillov dimension, $\operatorname{GKdim}$ for short, through the study of Nichols algebras over abelian groups. We deal first with braided vector spaces over $\mathbb Z$ with the generator acting as a single Jordan block and show that the corresponding Nichols algebra has finite $\operatorname{GKdim}$ if and only if the size of the block is 2 and the eigenvalue is $\pm 1$; when this is 1, we recover the quantum Jordan plane. We consider next a class of braided vector spaces that are direct sums of blocks and points that contains those of diagonal type. We conjecture that a Nichols algebra of diagonal type has finite $\operatorname{GKdim}$ if and only if the corresponding generalized root system is finite. Assuming the validity of this conjecture, we classify all braided vector spaces in the mentioned class whose Nichols algebra has finite $\operatorname{GKdim}$. Consequently we present several new examples of Nichols algebras with finite $\operatorname{GKdim}$, including two not in the class alluded to above. We determine which among these Nichols algebras are domains., Comment: 129 pages, accepted in Mem. Amer. Math. Soc

Let $\mathcal{B}_{\mathfrak{q}}$ be a finite-dimensional Nichols algebra of diagonal type corresponding to a matrix $\mathfrak{q} \in \mathbf{k}^{\theta \times \theta}$, where $\mathbf{k}$ is an algebraically closed field of characteristic 0. Let $\mathcal{L}_{\mathfrak{q}}$ be the Lusztig algebra associated to $\mathcal{B}_{\mathfrak{q}}$, see http://arxiv.org/abs/1501.04518. We present $\mathcal{L}_{\mathfrak{q}}$ as an extension (as braided Hopf algebras) of $\mathcal{B}_{\mathfrak{q}}$ by $\mathfrak Z_{\mathfrak{q}}$ where $\mathfrak Z_{\mathfrak{q}}$ is isomorphic to the universal enveloping algebra of a Lie algebra $\mathfrak n_{\mathfrak{q}}$. We compute the Lie algebra $\mathfrak n_{\mathfrak{q}}$ when $\theta = 2$., Comment: 19 pages

We classify pointed Hopf algebras with finite Gelfand-Kirillov dimension whose infinitesimal braiding has dimension 2 but is not of diagonal type, or equivalently is a block. These Hopf algebras are new and turn out to be liftings of either a Jordan or a super Jordan plane over a nilpotent-by-finite group., Comment: 11 pages, comments are welcome

Let $H$ be a Hopf algebra. Any finite-dimensional lifting of $V\in {}^{H}_{H}\mathcal{YD}$ arising as a cocycle deformation of $A=\mathfrak{B}(V)\#H$ defines a twist in the Hopf algebra $A^*$, via dualization. We follow this recipe to write down explicit examples and show that it extends known techniques for defining twists. We also contribute with a detailed survey about twists in braided categories., Comment: 20 pages

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 deformations. In this paper, we elaborate further and present an explicit algorithm to compute liftings. In our main result we classify all liftings of finite-dimensional Nichols algebras of Cartan type $A$, over a cosemisimple Hopf algebra $H$. This extends arXiv:math/0110136, where it was assumed that the parameter is a root of unity of order $>3$ and that $H$ is a commmutative group algebra. When the parameter is a root of unity of order 2 or 3, new phenomena appear: the quantum Serre relations can be deformed, this allows in turn the power root vectors to be deformed to elements in lower terms of the coradical filtration, but not necessarily in the group algebra. These phenomena are already present in the calculation of the liftings in type $A_2$ at a parameter of order 2 or 3 over an abelian group arXiv:math/0204075, arXiv:1003.5882, done by a different method using a computer program. As a by-product of our calculations, we present new infinite families of finite-dimensional pointed Hopf algebras., Comment: 71 pages. We corrected a few typos and updated the references. Following a remark from a referee, we added a Remark 1.3 about pre-Nichols algebras. In this direction, we modified the statement in Proposition 1.1

We present new Hopf algebras with the dual Chevalley property by determining all semisimple Hopf algebras Morita-equivalent to a group algebra over a finite group, for a list of groups supporting a non-trivial finite-dimensional Nichols algebra., Comment: Final version. Accepted for publication in Publicacions Matem\`atiques

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to semisimple orbits, have infinite dimension. We introduce a new criterium to determine when a conjugacy class collapses and prove that for infinitely many pairs (n,q), any finite-dimensional pointed Hopf algebra H with G(H) = PSL(n,q) or SL(n,q) is isomorphic to a group algebra., Comment: Postprint version: Minor changes in Table 1 of Theorem 1.1 and Corollary 3.5

We give some examples of, and raise some questions on, extensions of semisimple Hopf algebras., Comment: 15 pages, to appear in Revista Colombiana de Matem\'aticas (2015)

Let $\mathcal{B}_\mathfrak{q}$ be a finite-dimensional Nichols algebra of diagonal type corresponding to a matrix $\mathfrak{q}$. We consider the graded dual $\mathcal{L}_{\mathfrak{q}}$ of the distinguished pre-Nichols algebra $\widetilde{\mathcal{B}}_{\mathfrak{q}}$ from [A3] and the divided powers algebra $\mathcal{U}_{\mathfrak{q}}$, a suitable Drinfeld double of $\mathcal{L}_{\mathfrak{q}} # \mathbf{k} \mathbb{Z}^{\theta}$. We provide basis and presentations by generators and relations of $\mathcal{L}_{\mathfrak{q}}$ and $\mathcal{U}_{\mathfrak{q}}$, and prove that they are noetherian and have finite Gelfand-Kirillov dimension., Comment: 20 pages; second version has a new title: 'The quantum divided power algebra of a finite-dimensional Nichols algebra of diagonal type'. Accepted in Math. Res. Letters

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective symplectic linear group over a finite field, corresponding to unipotent orbits, have infinite dimension. We give a criterium to deal with unipotent classes of general finite simple groups of Lie type and apply it to regular classes