Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1108.6037

Techniques for classifying Hopf algebras and applications to dimension p^3

Margaret Beattie·Gaston Andres Garcia
View original source ↗Read source document ↗Export metadata ↓

Abstract

The classification of all Hopf algebras of a given finite dimension over an algebraically closed field of characteristic 0 is a difficult problem. If the dimension is a prime, then the Hopf algebra is a group algebra. If the dimension is the square of a prime then the Hopf algebra is a group algebra or a Taft Hopf algebra. The classification is also complete for dimension 2p or 2p^2, p a prime. Partial results for some other cases are available. For example, for dimension p^3 the classification of the semisimple Hopf algebras was done by Masuoka, and the pointed Hopf algebras were classified by Andruskiewitsch and Schneider, Caenepeel and Dascalescu, and Stefan and van Oystaeyen independently. Many classification results for the nonsemisimple, nonpointed, non-copointed case have been proved by the second author but the classification in general for dimension p^3 is still incomplete, up to now even for dimension 27. In this paper we outline some results and techniques which have been useful in approaching this problem and add a few new ones. We give some further results on Hopf algebras of dimension p^3 and finish the classification for dimension 27.

Explore related subjects

math.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Margaret Beattie, Gaston Andres Garcia. 2011-08-30. Techniques for classifying Hopf algebras and applications to dimension p^3. https://doi.org/10.1080/00927872.2012.692004

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Graded Necklace Lie Bialgebras and Batalin-Vilkovisky Formalism

An involutive Lie bialgebra induces a Batalin-Vilkovisky operator on its exterior algebra. We introduce a graded generalization of the necklace Lie bialgebra, which depends on a choice of a quiver $Q$. We relate the resulting Batalin-Vilkovisky structure to the Batalin-Vilkovisky structure coming from a degree $-1$ symplectic form on a suitably defined representation variety of the quiver $Q$. The morphism intertwining these Batalin-Vilkovisky algebras will be given by a twisted trace, recovering the usual (super)trace and the odd trace.

math.QA↗
arXiv2026

Freeness and divisibility for right $H$-simple left $H$-comodule algebras over a pointed Hopf algebra $H$

Let $H$ be a pointed Hopf algebra and let $A$ be a right $H$-simple left $H$-comodule algebra. We show that every relative $(H,A)$-Hopf module is free as an $A$-module and that this freeness characterizes the class of pointed Hopf algebras. We give a criterion for the category of relative $(H,A)$-Hopf modules to be semisimple. We also show that $A$ can be embedded into a left $H$-comodule algebra of a specific form when $H$ and $A$ are $\mathbb{N}_0$-graded. As a consequence, we prove that if $H$ is finite-dimensional and $A^{\mathrm{co} H}=\Bbbk$, then $A$ is finite-dimensional and $\dim A$ divides $\dim H$.

math.QA↗
arXiv2026

$C_2$-Cofiniteness and Rationality of the Icosahedral Orbifold $V_{L_2}^{A_5}$

Let $L_2=\mathbb{Z}α$ be the rank-one root lattice with $(α,α)=2$, and let $A_5$ act on the lattice vertex operator algebra $V_{L_2}$ through an icosahedral subgroup of $\operatorname{Aut}(V_{L_2})\cong PSL_2(\mathbb{C})$. We prove that the fixed-point vertex operator algebra $V_{L_2}^{A_5}$ is strongly rational.

math.QA↗