Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0403096

On radically graded finite dimensional quasi-Hopf algebras

Pavel Etingof·Shlomo Gelaki
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let p be a prime, and denote the class of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p, by RG(p). The purpose of this paper is to continue the structure theory of finite dimensional quasi-Hopf algebras started in math.QA/0310253 (p=2) and math.QA/0402159 (p>2). More specifically, we completely describe the class RG(p) for p>2. Namely, we show that if H\in RG(p) has a nontrivial associator, then the rank of H[1] over H[0] is \le 1. This yields the following classification of H\in RG(p), p>2, up to twist equivalence: (a) Duals of pointed Hopf algebras with p grouplike elements, classified in math.QA/9806074. (b) Group algebra of Z_p with associator defined by a 3-cocycle. (c) The algebras A(q), introduced in math.QA/0402159. This result implies, in particular, that if p>2 is a prime then any finite tensor category over C with exactly p simple objects which are all invertible must have Frobenius-Perron dimension p^N, N=1,2,3,4,5 or 7. In the second half of the paper we construct new examples of finite dimensional quasi-Hopf algebras H, which are not twist equivalent to a Hopf algebra. They are radically graded, and H/Rad(H)=C[Z_n^m], with a nontrivial associator. For instance, to every finite dimensional simple Lie algebra g and an odd integer n, coprime to 3 if g=G_2, we attach a quasi-Hopf algebra of dimension n^{dim(g)}.

Explore related subjects

math.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pavel Etingof, Shlomo Gelaki. 2009-02-01. On radically graded finite dimensional quasi-Hopf algebras. https://arxiv.org/abs/math/0403096

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

KEEP EXPLORING

Related papers

arXiv2026

An infinitesimal deformation of the post-Lie and post-Hopf algebra correspondence

We describe infinitesimal deformations of post-Lie algebras and post-Hopf algebras and prove that the universal enveloping algebra and primitive elements adjunction is compatible with the infinitesimal structure. In characteristic zero, this restricts to an equivalence for connected cocommutative infinitesimal post-Hopf algebras, extending the Cartier--Milnor--Moore theorem. We parametrize all infinitesimal post-Lie structures on $\mathfrak{sl}(2)$ and exhibit a second-order obstruction. From a geometric point of view, infinitesimal post-Lie algebras emerge from flat connections with covariantly constant torsion and an additional compatible symmetric $(1,2)$-tensor. This leads to explicit examples of infinitesimal post-Lie structures based on Heisenberg Lie algebras. On the Hopf side, we classify infinitesimal structures above the trivial action, prove rigidity for group algebras, and describe the structures on Sweedler's Hopf algebra. The subadjacent construction induces a Hopf algebra deformation with fixed coproduct. Finally, we prove that the quadratic operad of infinitesimal post-Lie algebras is Koszul, using a filtered distributive law between the operads of Lie algebras and bi-magmas.

math.QA↗
arXiv2026

Galois-modular obstructions to the categorification of near-group fusion rings

In this article we establish new obstructions to the categorification of near-group fusion rings by combining the values of irreducible characters of the Grothendieck ring with the Galois symmetry of the induced unit object $I(1)$ in the Drinfeld center. As a result, we show that a near-group ring of type $G+m$, where $G$ is an abelian group and both $|G|$ and $m$ are odd, can only categorify if $m=|G|$.

math.QA↗
arXiv2026

Reflective algebras over factorizable Hopf algebras

The reflective algebra $(R_H(A),K_{\mathrm{ref}}(A))$, introduced by Laugwitz, Walton and Yakimov, is a quasitriangular left $H$-comodule algebra constructed from a quasitriangular Hopf algebra $(H,R)$ and a left $H$-comodule algebra $A$. We study the structure and factorizability of finite-dimensional reflective algebras. When $(H,R)$ is factorizable, we show that $(R_H(A),K_{\mathrm{ref}}(A))$ is isomorphic, as a quasitriangular left $H$-comodule algebra, to $A\otimes H$ equipped with the trivial left $H$-coaction on $A$ and the universal $K$-matrix induced by $R_{21}R$. In this case, we also classify all universal $K$-matrices on $R_H(A)$. Finally, we prove that $(R_H(A),K_{\mathrm{ref}}(A))$ is factorizable if and only if $(H,R)$ is factorizable and $A$ is simple as an algebra.

math.QA↗