Search

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–672.].

International audience; We compute the simple finite-dimensional modules and the center of the Drinfeld double of the Jordan plane introduced in [AP1] assuming that the characteristic is zero.

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

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., Final version accepted in Glasg. Math. J

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

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)

The finite-dimensional simple modules over the Drinfeld double of the bosonization of the Nichols algebra ufo(7) are classified. Fil: Andruskiewitsch, Nicolas. Universidad Nacional de Córdoba; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Centro de Investigación y Estudios de Matemática. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina Fil: Angiono, Iván Ezequiel. Universidad Nacional de Córdoba; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Centro de Investigación y Estudios de Matemática. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina Fil: Mejia Castaño, Luz Adriana. Universidade Federal de Santa Catarina; Brasil Fil: Renz, Carolina. Universidade Do Vale Do Rio Dos Sinos; Brasil

It is shown that the finite-dimensional simple representations of the superJordan 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. Fil: Andruskiewitsch, Nicolas. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomia y Física. Sección Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Centro de Investigación y Estudios de Matemática. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina Fil: Bagio, Dirceu. Universidade Federal de Santa Maria; Brasil Fil: Della Flora, Saradia. Universidade Federal de Santa Maria; Brasil Fil: Flôres, Daiana. Universidade Federal de Santa Maria; Brasil

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., Postprint version: Minor changes in Table 1 of Theorem 1.1 and Corollary 3.5

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

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

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

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

Damos algunos ejemplos de, y planteamos algunas preguntas sobre, extensiones de álgebras de Hopf semisimples.

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., Facultad de Ciencias Exactas

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

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., Final version. Accepted for publication in Publicacions Matem\`atiques

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

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

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. Independently they arose in the paper [84] by Woronowicz as the invariant part of his non-commutative differential calculus. Later there were two unrelated attempts to characterize abstractly the positive part \(U^+_q(\mathfrak g)\) of the quantized enveloping algebra of a simple finite-dimensional Lie algebra \(\mathfrak g\) at a generic parameter q. First, Lusztig showed in [64] that \(U^+_q(\mathfrak g)\) can be defined through the radical of a suitable invariant bilinear form. Second, Rosso interpreted \(U^+_q(\mathfrak g)\) in [74, 75] via quantum shuffles. These two viewpoints were conciliated later, as alternative definitions of the same notion of Nichols algebra. Other early appearances of Nichols algebras are in [65, 77]. As observed in [17, 18], Nichols algebras are basic invariants of pointed Hopf algebras, their study being crucial in the classification program of Hopf algebras; see also [10]. More recently, they are the subject of an intriguing proposal in Conformal Field Theory [79]. This is an introduction from scratch to the notion of Nichols algebra. I was invited to give a mini-course of two lessons, 90 min each, at the Geometric, Algebraic and Topological Methods for Quantum Field Theory, Villa de Leyva, Colombia, in July 2015. The theme was Nichols algebras that requires several preliminaries and some experience to be appreciated; a selection of the ideas to be presented was necessary. These notes intend to preserve the spirit of the course, discussing some motivational background material in Sect. 4.1, then dealing with braided vector spaces and braided tensor categories in Sect. 4.2, arriving at last to the definition and main calculation tools of Nichols algebras in Sect. 4.3. I hope that the various examples and exercises scattered through the text would serve the reader to absorb the beautiful concept of Nichols algebra and its many facets. Section 4.4 is a survey of the main examples of, and results on, Nichols algebras that I am aware of; here the pace is faster and the precise formulation of some statements is referred to the literature. I apologize in advance for any possible omission. This section has intersection with, and is an update of, the surveys [1, 2, 19], to which I refer for further information.

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., 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)., 38 pages

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

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., Comment: 16 pages, final version

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

We classify finite-dimensional complex Hopf algebras A which are pointed, that is, all of whose irreducible comodules are one-dimensional, and whose group of group-like elementsG.A/ is abelian such that all prime divisors of the order of G.A/ are> 7. Since these Hopf algebras turn out to be deformations of a natural class of generalized small quantum groups, our result can be read as an axiomatic description of generalized small quantum groups.

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 groupoid, its frame. The frame satisfies that every box is determined by its edges, and thus is called a `slim' double groupoid. In a first step, we prove that every double groupoid is obtained as an extension of its associated abelian group bundle by its frame. In a second, independent, step we prove that every slim double groupoid with filling condition is completely determined by a factorization of a certain canonically defined `diagonal' groupoid., Comment: amslatex, 28 pages, revised version to appear in J. Pure Appl. Algebra

LetGbe a connected, simply connected, simple complex algebraic group and let ϵ be a primitiveℓth root of one,ℓodd and 3∤ℓifGis of typeG2. We determine all Hopf algebra quotients of the quantized coordinate algebra 𝒪ϵ(G).

We give a necessary and sufficient condition for two Hopf algebras presented as central extensions to be isomorphic, in a suitable setting. We then study the question of isomorphism between the Hopf algebras constructed in 0707.0070v1 as quantum subgroups of quantum groups at roots of 1. Finally, we apply the first general result to show the existence of infinitely many non-isomorphic Hopf algebras of the same dimension, presented as extensions of finite quantum groups by finite groups., Comment: final version, to appear in Transformation Groups

We show that any pointed Hopf algebra with infinitesimal braiding associated to the conjugacy class of π ∈ S n \pi \in \mathbb {S}_n is infinite-dimensional, if either the order of π \pi is odd, or all cycles in the decomposition of π \pi as a product of disjoint cycles have odd order except for exactly two transpositions.

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

We construct explicit examples of weak Hopf algebras (actually face algebras in the sense of Hayashi) via vacant double groupoids as explained in \http://arxiv.org/abs/math.QA/0308228. To this end, we first study the Kac exact sequence for matched pairs of groupoids and show that it can be computed via group cohomology. Then we describe explicit examples of finite vacant double groupoids., Comment: 19 pages

Quivers over a fixed base set form a monoidal category with tensor product given by pullback. The quantum Yang–Baxter equation, or more properly the braid equation, is investigated in this setting. A solution of the braid equation in this category is called a “solution” for short. Results of Etingof–Schedler–Soloviev, Lu–Yan–Zhu and Takeuchi on the set-theoretical quantum Yang–Baxter equation are generalized to the context of quivers, with groupoids playing the role of groups. The notion of “braided groupoid” is introduced. Braided groupoids are solutions and are characterized in terms of bijective 1-cocycles. The structure groupoid of a non-degenerate solution is defined; it is shown that it is a braided groupoid. The reduced structure groupoid of a non-degenerate solution is also defined. Non-degenerate solutions are classified in terms of representations of matched pairs of groupoids. By linearization we construct star-triangular face models and realize them as modules over quasitriangular quantum groupoids introduced in papers by M. Aguiar, S. Natale and the author.