Pointed Hopf algebras revisited, with a view from tensor categories

Technical Summary: Pointed Hopf Algebras Revisited, with a View from Tensor Categories

Problem Statement
The paper addresses the classification of finite-dimensional pointed Hopf algebras over an algebraically closed field $k$ of characteristic zero. A Hopf algebra $H$ is pointed if its coradical $H_0$ (the sum of all simple subcoalgebras) is the group algebra $kG(H)$ of its group-like elements. While significant progress has been made in classifying these algebras, particularly through the work of Andruskiewitsch and Schneider, the paper aims to review the current state of the art, state the classification theorems, identify open problems, and reframe the classification strategy through the lens of tensor categories. The central challenge involves determining the structure of the "diagram" (a graded Hopf algebra in the category of Yetter-Drinfeld modules) and classifying all possible "liftings" (deformations) of this diagram back to the original Hopf algebra.

Methodology: The Lifting Method and Categorical Viewpoint
The primary tool employed is the Lifting Method, originally defined by Andruskiewitsch and Schneider. This method proceeds in three main steps for a fixed finite-dimensional cosemisimple Hopf algebra $K$ (the coradical):

1. LM1: Classify all Yetter-Drinfeld modules $V \in {}^K_K\mathcal{YD}$ such that the associated Nichols algebra $B(V)$ is finite-dimensional.
2. LM2: Determine all coradically graded connected Hopf algebras $R$ in ${}^K_K\mathcal{YD}$ such that $R_1 = V$. A key conjecture (Conjecture 2.2) posits that for $K=kG$, such $R$ are generated by $R_1$, implying $R \cong B(V)$.
3. LM3: Classify all Hopf algebras $H$ such that their associated graded algebra $\text{gr } H$ is isomorphic to the bosonization $R \# K$.

The paper emphasizes a categorical perspective, utilizing the theory of tensor categories to refine these steps. Specifically, it highlights that the classification of liftings (LM3) can be reduced to the study of cocycle deformations. If $H$ and $H'$ are Hopf algebras with isomorphic associated graded algebras, their categories of comodules are tensor equivalent if and only if $H'$ is a cocycle deformation of $H$. This allows the authors to describe liftings via 2-cocycles, simplifying the structural analysis.

Key Contributions and Results

• Nichols Algebras over Abelian Groups:
  For $K = kG$ with $G$ abelian, the classification relies on the theory of Weyl groupoids and root systems. The paper reviews Heckenberger's classification of finite-dimensional Nichols algebras of diagonal type, which are determined by a braiding matrix $q$. These fall into four families: Cartan type, super type, modular type, and unidentified type. The paper cites Theorem 2.9, establishing that for abelian $G$, any finite-dimensional coradically graded Hopf algebra is generated by its infinitesimal braiding, i.e., $R \cong B(V)$. Consequently, the classification of pointed Hopf algebras with abelian coradical reduces to classifying the liftings of $B(V) \# kG$.

• Nichols Algebras over Non-Abelian Groups:
  For non-abelian $G$, the problem is more complex. The paper discusses the "collapsing" phenomenon, where most groups admit only infinite-dimensional Nichols algebras. It details the classification of finite-dimensional Nichols algebras for specific cases, particularly those involving sums of simple Yetter-Drinfeld modules. Theorem 2.13 provides a complete list of finite-dimensional Nichols algebras for braided-indecomposable modules with support generating $G$, involving specific group structures like $\Gamma_n$ and $T$. Theorem 2.16 confirms the generation in degree one for several specific cases (including Fomin-Kirillov algebras and "almost abelian" types).

• Classification of Liftings (Cocycle Deformations):
  The paper presents a unified strategy for constructing all liftings (Theorems 2.17 and 2.19). For both abelian and specific non-abelian cases, any finite-dimensional pointed Hopf algebra $H$ with a given infinitesimal braiding is isomorphic to a cocycle deformation of the bosonization $B(V) \# kG(H)$. The liftings are parameterized by a set $\Lambda$ of scalars associated with the defining relations of the Nichols algebra, subject to specific constraints (e.g., vanishing if the relation is not invariant under the group action).

• Applications to Tensor Categories:
  The paper extends the Lifting Method to finite pointed tensor categories (categories where every simple object is invertible). These are modeled by coquasi-Hopf algebras. The authors describe how the classification of such categories with abelian groups of invertible elements reduces to the classification of Hopf algebras via equivariantization and de-equivariantization. Specifically, for cyclic groups, the classification of pointed tensor categories is shown to be equivalent to the classification of pointed Hopf algebras with a larger coradical (e.g., $\mathbb{Z}/p^2\mathbb{Z}$).

• Hopf Algebras without the Chevalley Property:
  The paper addresses the case where the coradical is not a Hopf subalgebra (violating the Chevalley property). It introduces the standard filtration and a generalized Lifting Method. The authors discuss the classification of basic Hopf algebras generated by their coradical, utilizing the equivalence between the category of Yetter-Drinfeld modules over the dual algebra and the category of modules over the Drinfeld double.

• Module Categories:
  Finally, the paper outlines a method for classifying exact indecomposable module categories over the representation category of a pointed Hopf algebra. This is achieved by relating module categories to H-comodule algebras. The classification of coideal subalgebras of Nichols algebras is linked to morphisms in the Weyl groupoid (Duflo order), providing a combinatorial tool to construct these module categories.

Significance and Scope
The paper serves as a comprehensive survey of the classification of finite-dimensional pointed Hopf algebras, synthesizing results from the last few decades. Its primary significance lies in:

1. Unifying the Framework: It consolidates the classification of liftings under the concept of cocycle deformations, providing a clear structural description for both abelian and specific non-abelian cases.
2. Categorical Integration: It explicitly demonstrates how tensor category theory (via fiber functors, equivariantization, and module categories) offers a powerful alternative viewpoint that simplifies and generalizes the classification problems.
3. Identifying Open Problems: The paper clearly delineates the remaining challenges, such as the full classification of Nichols algebras over arbitrary non-abelian groups, the explicit description of recursive deformation parameters for complex root systems, and the extension of the categorical classification to non-abelian tensor categories.

The work does not claim to have solved the general classification problem for all Hopf algebras but rather provides the definitive state-of-the-art for the pointed case, highlighting the interplay between algebraic structures and categorical properties.