[Paper Review] New Large-Rank Nichols Algebras Over Nonabelian Groups With Commutator Subgroup Z_2

Simon Lentner|arXiv (Cornell University)|Jun 24, 2013

Algebraic structures and combinatorial models18 references3 citations

TL;DR

This paper constructs new finite-dimensional, indecomposable Nichols algebras of type $A_n$, $C_n$, $D_n$, $E_6$, $E_7$, $E_8$, and $F_4$ over nonabelian groups with commutator subgroup $\mathbb{Z}_2$ using a novel covering construction based on symplectic root systems and twisted symmetries. It provides the first known examples of non-diagonal, finite-dimensional Nichols algebras of rank >2 over nonabelian groups, resolving a long-standing question posed by Susan Montgomery in 1995.

ABSTRACT

In this article, we explicitly construct new finite-dimensional, link-indecomposable Nichols algebras with Dynkin diagrams of type An,Cn,Dn,E6,E7,E8,F4 over any group G with commutator subgroup isomorphic to Z_2.The construction is generic in the sense that the type just depends on the rank and center of G, and thus positively answers for all groups of this class a question raised by Susan Montgomory in 1995 [Mont95][AS02]. Our construction uses the new notion of a covering Nichols algebra as a special case of a covering Hopf algebra [Len12] and produces non-faithful Nichols algebras. However, we give faithful examples of Doi twists for type A3,C3,D4,F4 over several nonabelian groups of order 16 and 32. These are hence the first known examples of faithful, finite-dimensional, link-indecomposable Nichols algebras of rank >2 over nonabelian groups.

Motivation & Objective

• To resolve a 1995 question by Susan Montgomery on the existence of finite-dimensional Nichols algebras over nonabelian groups with $\mathbb{Z}_2$ commutator subgroup.
• To construct explicit, finite-dimensional, indecomposable Nichols algebras of higher rank over nonabelian groups.
• To provide the first examples of non-diagonal Nichols algebras of rank >2 over nonabelian groups, filling a major gap in the classification of pointed Hopf algebras.
• To extend the theory of covering Nichols algebras to nonabelian settings using symplectic root systems over $\mathbb{F}_2$.
• To demonstrate the existence of faithful Doi twists yielding non-diagonal structures in rank 3 and 4 over groups of order 16 and 32.

Proposed method

• Constructing covering Nichols algebras via a generalization of covering Hopf algebras, applied to bosonizations of known Nichols algebras over abelian groups.
• Using symplectic root systems over $\mathbb{F}_2$ to classify and realize Dynkin diagrams of type $A_n$, $C_n$, $D_n$, $E_6$, $E_7$, $E_8$, $F_4$.
• Introducing twisted symmetries via bimultiplicative forms $\langle \bar{g}_i, \bar{g}_j \rangle_p$ induced by group 2-cocycles $\sigma \in Z^2(\Gamma, \Sigma^*)$.
• Applying folding techniques to map unramified or ramified $ADE \times ADE$ root systems to single $ADE$ or $C_n$, $F_4$ types.
• Utilizing Doi twists with nontrivial 2-cocycles to produce non-diagonal Nichols algebras from diagonal ones.
• Verifying the existence of faithful, non-diagonal examples via spectral sequence analysis and PBW basis refinement.

Experimental results

Research questions

• RQ1 Can finite-dimensional, indecomposable Nichols algebras of higher rank be constructed over nonabelian groups with $\mathbb{Z}_2$ commutator subgroup?
• RQ2 Is it possible to generalize the covering construction of Nichols algebras beyond abelian groups?
• RQ3 Do non-diagonal Nichols algebras of rank >2 exist over nonabelian groups, and if so, how can they be constructed?
• RQ4 Can symplectic root systems over $\mathbb{F}_2$ be used to realize all classical Dynkin types in the nonabelian setting?
• RQ5 What role do Doi twists and 2-cocycles play in generating non-diagonal structures in higher-rank Nichols algebras?

Key findings

• The paper constructs finite-dimensional, indecomposable Nichols algebras of type $A_n$, $C_n$, $D_n$, $E_6$, $E_7$, $E_8$, and $F_4$ over nonabelian groups with commutator subgroup $\mathbb{Z}_2$, answering Montgomery’s 1995 question affirmatively.
• For the first time, non-diagonal, finite-dimensional Nichols algebras of rank >2 are explicitly constructed over nonabelian groups, specifically for types $A_3$, $C_3$, $D_4$, $C_4$, and $F_4$.
• The construction yields a Nichols algebra of dimension $2^{36} = 68,719,476,736$ for type $F_4$ via a ramified covering from $E_6$, with Hilbert series $\mathcal{H}(t) = [2]_t^6[2]_{t^2}^5[2]_{t^3}^5[2]_{t^4}^5[2]_{t^5}^4[2]_{t^6}^3[2]_{t^7}^3[2]_{t^8}^2[2]_{t^9}[2]_{t^{10}}[2]_{t^{11}}$.
• Faithful, non-diagonal examples are produced via Doi twists for $A_3$, $C_3$, $D_4$, $C_4$, and $F_4$ over nonabelian groups of order 16 and 32, confirming the existence of such algebras in higher rank.
• The method produces algebras with refined PBW bases of type $E_6$ for $F_4$, $A_7$ for $C_4$, and $D_4 \times D_4$ for $D_4$, indicating deeper root system structures than the standard Dynkin diagram suggests.
• The construction is generic: the Dynkin type depends only on the rank and center of the group, and the method applies uniformly across all groups with $\mathbb{Z}_2$ commutator subgroup.