Nicolas Andruskiewitsch

National University of Cordoba, Argentina | UNC

We classify finite-dimensional Nichols algebras of Yetter-Drinfeld modules with indecomposable support over finite solvable groups in characteristic 0, using a variety of methods including reduction to positive characteristic. As a consequence, all Nichols algebras over groups of odd order are of diagonal type, which allows us to describe all point...

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...

It is shown that the universal enveloping algebra of an infinite-dimensional simple $\mathbb Z^n$-graded Lie algebra is not Noetherian.

This is a survey on pointed Hopf algebras with finite Gelfand-Kirillov dimension and related aspects of the theory of infinite-dimensional Hopf algebras.

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...

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,...

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 in...

We show that the Nichols algebra of a simple Yetter-Drinfeld module over a projective special linear group over a finite field whose support is a semisimple orbit has infinite dimension, provided that the elements of the orbit are reducible; we obtain a similar result for all semisimple orbits in a finite symplectic group except in low rank. We pro...

We consider a class of Nichols algebras B(Lq(1,G))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathscr {B}(\mathfrak L_q( 1, \mathscr {G}))$$\end{document} introduc...

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...

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 [N. Andruskiewitsch, I. Angiono and I. Heckenberger, Liftings of Jordan and super Jordan planes, Proc. Edinb. Math. Soc., II. Ser. 61(3) (2018), 661–67...

Finite tensor categories are, despite their many applications and great interest, notoriously hard to classify. Among them, the semisimple ones (called fusion categories) have been intensively studied. Those with non-integral dimensions form a remarkable class. Already more than 20 years ago, tilting modules have been proposed as a source of such f...

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.

We consider a class of Nichols algebras $\mathscr{B} (\mathfrak L_q( 1, \mathscr{G}))$ introduced in arXiv:1606.02521 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.

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 de...

Let $\mathcal{B}_{\mathfrak{q}}$ be a finite-dimensional Nichols algebra of diagonal type with braiding matrix $\mathfrak{q}$, $\mathcal{L}_{\mathfrak{q}}$ be the corresponding Lusztig algebra as in [ 4], and $\operatorname{Fr}_{\mathfrak{q}}: \mathcal{L}_{\mathfrak{q}} \to U(\mathfrak{n}^{\mathfrak{q}})$ be the corresponding quantum Frobenius map...

We show that all classes that are neither semisimple nor unipotent in finite simple Chevalley or Steinberg groups different from $$\mathbf {PSL}_n(q)$$ 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...

The article title was originally published with typographical error.

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 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 Gelfa...

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...

We study pre-Nichols algebras of quantum linear spaces and of Cartan type with finite GK-dimension. We prove that except for 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-Kac-Procesi quantum gr...

This is a contribution to the classification of finite-dimensional Hopf algebras (over an algebraically closed field $\Bbbk$ of characteristic 0) whose coradical is not necessarily a Hopf subalgebra, fitting in the lifting method. Concretely, we determine the finite-dimensional Nichols algebras of semisimple Yetter-Drinfeld modules over finite-dime...

We present new examples of finite-dimensional Nichols algebras over fields of characteristic 2 from braided vector spaces that are not of diagonal type, admit realizations as Yetter–Drinfeld modules over finite abelian groups, and are analogous to Nichols algebras of finite Gelfand–Kirillov dimension in characteristic 0. New finite-dimensional poin...

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 a...

In positive characteristic the Jordan plane covers a finite-dimensional Nichols algebra that was described by Cibils et al. 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 algebr...

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).

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 present...

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...

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. The proof has three parts. Part I itself splits further into two steps. First, we reduce the problem to finite generation of cohomology for finite dimensional Nichols algebras of diagonal type. Se...

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 where the Gelfand–Kirillov dimension attains any natural number greater than one.

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. Th...

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...

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.0451(8) and let $\operatorname{Fr}_{\mathfrak{q}}: \mathcal{L}_{\mathfrak{q}} \to U(\mathfrak{n}^{\mathfrak{q}})$ be the corresponding...

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 Gelfan...

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 sl(2) at -1. The finite-dimensional simple modules over H and K, are classified; they all have dimension 1, respectively ≤ 2. The indecomposable L-modul...

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 $\...

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)...

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$.

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.

Nichols algebras, Hopf algebras in braided categories with distinguished properties, were discovered several times. They appeared for the first time in the thesis of W. Nichols [72], aimed to construct new examples of Hopf algebras. In this same paper, the small quantum group \(u_q(sl_3)\), with q a primitive cubic root of one, was introduced. Inde...

This monograph presents various ongoing approaches to the vast topic of quantization, which is the process of forming a quantum mechanical system starting from a classical one, and discusses their numerous fruitful interactions with mathematics. The opening chapter introduces the various forms of quantization and their interactions with each other...

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 Hop...

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 underst...

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.

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

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 pow...

The simple finite-dimensional modules over the Drinfeld double of the bosonization of the Nichols algebra $\mathfrak{ufo}(7)$ are classified.

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 fin...

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 htt...

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.

Let $H$ be a Hopf algebra. A finite-dimensional lifting of $V\in{}^{H}_{H}\mathcal{YD}$ arising a cocycle deformation of $A=\mathfrak{B}(V)\#H$ naturally defines a twist in the dual Hopf algebra $A^*$. We follow this recipe to write down explicit examples and show that this construction extends known techniques for defining twists. We also contribu...

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.

After the classification of the finite-dimensional Nichols algebras of diagonal type [17, 18], the determination of its defining relations [7, 6], and the verification of the generation in degree-s1 conjecture [6], there is still one step missing in the classification of complex finite-dimensional Hopf algebras with abelian group, without restricti...

We give some examples of, and raise some questions on, extensions of semisimple Hopf algebras.

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...

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

This is a survey on the state-of-the-art of the classification of finite-dimensional complex Hopf algebras. This general question is addressed through the consideration of different classes of such Hopf algebras. Pointed Hopf algebras constitute the class best understood; the classification of those with abelian group is expected to be completed so...

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to non-semisimple orbits, have infinite dimension. We spell out a new criterium to show that a rack collapses.

We develop a strategy to compute all liftings of a Nichols algebra over a finite dimensional cosemisimple Hopf algebra. We produce them as cocycle deformations of the bosonization of these two. In parallel, we study the shape of any such lifting.

We present examples of color Hopf algebras, i.e. Hopf algebras in color categories (braided tensor categories with braiding induced by a bicharacter on an abelian group), related with quantum doubles of pointed Hopf algebras. We also discuss semisimple color Hopf algebras.

A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a co-Frobenius Hopf algebra is finite; this confirms a conjecture by Sorin D\u{a}sc\u{a}lescu and the first autho...

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.

We investigate a family of Hopf algebras of dimension 72 whose coradical is isomorphic to the algebra of functions on S_3. We determine the lattice of submodules of the so-called Verma modules and as a consequence we classify all simple modules. We show that these Hopf algebras are unimodular (as well as their duals) but not quasitriangular; also,...

We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a c...

We classify finite-dimensional Hopf algebras whose coradical is isomorphic to the algebra of functions on S_3. We describe a new infinite family of Hopf algebras of dimension 72.

We study Poisson symmetric spaces of group type with Cartan subalgebra “adapted” to the Lie cobracket.

We discuss the relationship between Hopf superalgebras and Hopf algebras. We list the braided vector spaces of diagonal type with generalized root system of super type and give the defining relations of the corresponding Nichols algebras.

We develop some techniques to check when a twisted homogeneous rack of class (L,t,\theta) is of type D. Then we apply the obtained results to the cases L an alternating group on n letters, n\geq 5, or L a sporadic group.

This is a report on the present state of the problem of determining the dimension of the Nichols algebra associated to a rack and a cocycle. This is relevant for the classification of finite-dimensional complex pointed Hopf algebras whose group of group-likes is non-abelian. We deal mainly with simple racks. We recall the notion of rack of type D,...

We investigate the representation theory of a large class of pointed Hopf algebras, extending results of Lusztig and others. We classify all simple modules in a suitable category and determine the weight multiplicities; we establish a complete reducibility theorem in this category.

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-dimen...

In this notes we give details of the proofs performed with GAP of the theorems of our paper "Pointed Hopf Algebras over the Sporadic Simple Groups". Comment: 22 pages, final version

The notion of inner linear Hopf algebra is a generalization of the notion of discrete linear group. In this paper, we prove two general results that enable us to enlarge the class of Hopf algebras that are known to be inner linear: the first one is a characterization by using the Hopf dual, while the second one is a stability result under extension...

Any finite-dimensional complex pointed Hopf algebra with group of group-likes isomorphic to a sporadic group, with the possible exception of the Fischer group Fi22, the Baby Monster B and the Monster M, is a group algebra. Soit G un groupe sporadique différent du groupe de Fischer Fi22, du bébé monstre B et du monstre M. Soit H une algèbre de Hopf...

Any finite-dimensional complex pointed Hopf algebra with group of group-likes isomorphic to a sporadic group G, where G is one of the groups M12, M22, M23, M24, J1, J2, J3, Suz, HS, Co2, Co3, Ru, ON or T, is a group algebra.

We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our description goes as follows: to any double groupoid, we associate an abelian group bundle and a second double group...

This is a sequel to arXiv:0807.2406. It is shown that the Nichols algebras over the symmetric groups S_m, m > 4, are all infinite-dimensional, except (maybe) those related to the transpositions considered by Fomin and Kirillov, resp. Milinski and Schneider, and the class of type (2,3) in S_5. Comment: This paper has been withdrawn because it is inc...

Let G be a connected, simply connected, simple complex algebraic group and let e be a primitive l-th root of 1, with l odd and 3 does not divide l if G is of type G_{2}. We determine all Hopf algebra quotients of the quantized coordinate algebra of G at e.

We consider issues related to the origins, sources and initial motivations of the theory of Hopf algebras. We consider the two main sources of primeval development: algebraic topology and algebraic group theory. Hopf algebras are named from the work of Heinz Hopf in the 1940's. In this note we trace the infancy of the subject back to papers from th...

It is shown that Nichols algebras over alternating groups A_m, m>4, are infinite dimensional. This proves that any complex finite dimensional pointed Hopf algebra with group of group-likes isomorphic to A_m is isomorphic to the group algebra. In a similar fashion, it is shown that the Nichols algebras over the symmetric groups S_m are all infinite-...

We prove that every slim double Lie groupoid with proper core action is completely determined by a factorization of a certain canonically defined "diagonal" Lie groupoid.

It is an important open problem whether the dimension of the Nichols algebra B(O,\rho) is finite when O is the class of the transpositions and \rho is the sign representation, with m>= 6. In the present paper, we discard most of the other conjugacy classes showing that very few pairs (O,\rho) might give rise to finite-dimensional Nichols algebras....

We study the Nichols algebra of a semisimple Yetter-Drinfeld module and introduce new invariants including the notions of real roots and the Weyl groupoid. The crucial ingredient is a "reflection" defined on arbitrary such Nichols algebras. Our construction generalizes the restriction of Lusztig's automorphisms of quantized Kac-Moody algebras to th...

We present techniques that allow to decide that the dimension of some pointed Hopf algebras associated with non-abelian groups is infinite. These results are consequences of arXiv:0803.2430v1. We illustrate each technique with applications. Comment: 29 pages, small changes