We show that if a finite dimensional Hopf algebra over ${\bf C}$ has a basis such that all the structure constants are non-negative, then the Hopf algebra must be given by a finite group $G$ and a factorization $G=G_+G_-$ into two subgroups. We also show that Hopf algebras in the category of finite sets with correspondences as morphisms are classified in the similar way. Our results can be used to explain some results in Hopf algebras from set-theoretical viewpoint.
Iterated Hopf Ore extensions (IHOEs) over an algebraically closed base field k of positive characteristic p are studied. We show that every IHOE over k satisfies a polynomial identity, with PI-degree a power of p, and that it is a filtered deformation of a commutative polynomial ring. We classify all 2-step IHOEs over k, thus generalising the classification of 2-dimensional connected unipotent algebraic groups over k. Further properties of 2-step IHOEs are described: for example their simple modules are classified, and every 2-step IHOE is shown to possess a large Hopf center and hence an anal…
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.
We prove that a Hopf algebra of prime dimension $p$ over an algebraically closed field, whose characteristic is equal to $p$, is either a group algebra or a restricted universal enveloping algebra. Moreover, we show that any Hopf algebra of prime dimension $p$ over a field of characteristic $q>0$ is commutative and cocommutative when $q=2$ or $p<4q$. This problem remains open in positive characteristic when $2<q<p/4$.
Masuoka proved (2009) that a finite-dimensional irreducible Hopf algebra $H$ in positive characteristic is semisimple if and only if it is commutative semisimple if and only if the Hopf subalgebra generated by all primitives is semisimple. In this paper, we give another proof of this result by using Hochschild cohomology of coalgebras.
There are two notions of exponent of finite-dimensional Hopf algebras introduced and studied in the literature. In this note, we discuss and compare their properties including invariance and finiteness in this note. Specifically, one notion is invariant under twisting and taking the Drinfeld double, just like the other one. We also find that if the non-cosemisimplicity and dual Chevalley property hold, both exponents are infinite in characteristic $0$ but finite in positive characteristic.
In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is an irreducible projective representation of H over k of dimension |H|^{1/2}, and u\in G is a central element of order \l…
By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact mono…
We discuss the question of whether the global dimension is a monoidal invariant for Hopf algebras, in the sense that if two Hopf algebras have equivalent monoidal categories of comodules, then their global dimensions should be equal. We provide several positive new answers to this question, under various assumptions of smoothness, cosemisimplicity or finite dimension. We also discuss the comparison between the global dimension and the Gerstenhaber-Schack cohomological dimension in the cosemisimple case, obtaining equality in the case the latter is finite. One of our main tools is the new conce…
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories which are oplax coherent for positive numbers of factors and lax coherent for nullary monoidal products. We define $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$-duoidal categories with compatible $\mathsf{Lax}^+\mathsf{Oplax}^0$- and $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal structures. We introduce comonoids in $\mathsf{La…
On the Drinfeld doubles of Laistrygonian algebras in positive characteristic
Vrije Universiteit Brussel（布鲁塞尔自由大学）；Shenzhen International Center for Mathematics, Southern University of Science and Technology（南方科技大学深圳数学中心）；Departamento de Matemática, Universidade Federal de Santa Catarina（圣卡塔琳娜联邦大学数学系）；Departamento de Matemática, Universidade Federal de Santa Maria（圣玛丽亚联邦大学数学系）
For $(Q,W)$ a symmetric quiver with potential satisfying a Künneth-type condition, we construct (positive and negative) extensions of its K-theoretic Hall algebra which are bialgebras. In particular, there are bialgebra extensions of preprojective KHAs of a quiver $Q$ and one can construct their Drinfeld double algebra.
We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials. As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles involved in the deformations of a Nichols algebra of Cartan type $A_2$ with $q=-1$, a.k.a. the positive part of the small quantum group $\mathfrak{u}^+_{\sqrt{\text{-1}}}(\mathfrak{sl}_3)$. We show that t…
Milnor meets Hopf and Toeplitz at the K-theory of quantum projective planes
Università di Napoli Federico II（那不勒斯费德里科二世大学）；INFN Sezione di Napoli（意大利国家核物理研究所那不勒斯分部）；Instytut Matematyczny, Polska Akademia Nauk（波兰科学院数学研究所）；Instytut Matematyki, Uniwersytet Warszawski（华沙大学数学研究所）；Department of Computer Science, University of Łódź（罗兹大学计算机科学系）
