pith. sign in

arxiv: 2504.12206 · v3 · submitted 2025-04-16 · 🧮 math.QA · math.RA

On the classification of finite GK-dimensional pre-Nichols algebras and quasi-quantum groups

Yuping Yang This is my paper

Pith reviewed 2026-05-22 19:59 UTC · model grok-4.3

classification 🧮 math.QA math.RA
keywords pre-Nichols algebrasNichols algebrasGelfand-Kirillov dimensiontwisted Yetter-Drinfeld categorycoquasi-Hopf algebrasbosonizationarithmetic root systems
0
0 comments X

The pith

Pre-Nichols algebras of nondiagonal objects in twisted Yetter-Drinfeld categories always have infinite Gelfand-Kirillov dimension.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that every pre-Nichols algebra attached to a nondiagonal object in the twisted Yetter-Drinfeld category over a finite abelian group G with 3-cocycle Φ has infinite Gelfand-Kirillov dimension. This distinction between diagonal and nondiagonal objects yields a clean if-and-only-if criterion: a finite-dimensional object V produces a Nichols algebra of finite GK-dimension precisely when V is diagonal and its root system is finite. The same criterion, after bosonization, classifies the finite GK-dimensional coradically graded pointed coquasi-Hopf algebras over finite abelian groups that are generated by group-like and skew-primitive elements.

Core claim

For any finite abelian group G and 3-cocycle Φ on G, every pre-Nichols algebra of a nondiagonal object in the twisted Yetter-Drinfeld category _kG^G YD^Φ has infinite Gelfand-Kirillov dimension. Consequently, for finite-dimensional V in this category the Nichols algebra B(V) has finite GK-dimension if and only if it is of diagonal type whose associated root system is an arithmetic root system.

What carries the argument

The nondiagonal condition inside the twisted Yetter-Drinfeld category _kG^G YD^Φ, which blocks the finite root systems that would otherwise allow finite GK-dimension.

Load-bearing premise

The nondiagonal condition on objects in the twisted Yetter-Drinfeld category is well-defined and forces infinite GK-dimension for the corresponding pre-Nichols algebra.

What would settle it

An explicit example of a nondiagonal finite-dimensional object V in _kG^G YD^Φ whose pre-Nichols algebra has finite Gelfand-Kirillov dimension.

read the original abstract

We prove that every pre-Nichols algebra of a nondiagonal object in the twisted Yetter-Drinfeld category ${_{\k G}^{\k G} {\mathcal{YD}^\Phi}}$ has infinite Gelfand-Kirillov dimension, where $G$ is a finite abelian group and $\Phi$ is a $3$-cocycle on $G$. This leads to a complete characterization of finite GK-dimensional Nichols algebras in this category. Specifically, for any finite-dimensional $V\in {_{\k G}^{\k G} {\mathcal{YD}^\Phi}}$, we show that the Nichols algebra $B(V)$ has finite Gelfand-Kirillov dimension if and only if it is of diagonal type and its associated root system is finite, that is, an arithmetic root system. Via bosonization, this result yields a classification of finite GK-dimensional coradically graded pointed coquasi-Hopf algebras over finite abelian groups that are generated by group-like and skew-primitive elements.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that every pre-Nichols algebra of a nondiagonal object in the twisted Yetter-Drinfeld category _{kG}^{kG} YD^Φ (G finite abelian, Φ a 3-cocycle) has infinite Gelfand-Kirillov dimension. This yields a complete characterization: for finite-dimensional V in the category, the Nichols algebra B(V) has finite GK dimension if and only if V is of diagonal type whose associated root system is finite (i.e., an arithmetic root system). Via bosonization, the result classifies all finite GK-dimensional coradically graded pointed coquasi-Hopf algebras over finite abelian groups that are generated by group-like and skew-primitive elements.

Significance. If the central implication holds, the work supplies a clean classification theorem that extends known results on Nichols algebras of diagonal type to the twisted (quasi) setting. The reduction from pre-Nichols algebras to the Nichols algebra itself, followed by a growth or PBW-basis obstruction when the braiding is nondiagonal, aligns with standard techniques in the field and appears internally consistent. The explicit link to coquasi-Hopf algebras via bosonization broadens the scope beyond ordinary Hopf algebras.

minor comments (3)
  1. §2: the precise definition of a 'nondiagonal object' in the twisted YD^Φ category should be stated explicitly (rather than only by reference to the braiding matrix), including how the 3-cocycle Φ modifies the usual diagonal condition.
  2. §4, Theorem 4.3: verify that the arithmetic root system condition is both necessary and sufficient; the sufficiency direction appears to rest on known results for diagonal Nichols algebras, but a short self-contained argument or precise citation would strengthen the claim.
  3. §5: the bosonization construction for coquasi-Hopf algebras is sketched; adding a brief diagram or explicit coassociator formula would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. No specific major comments were raised in the report, so there are no individual points requiring point-by-point response. We appreciate the referee's recognition that the central implication provides a clean classification extending diagonal-type results to the twisted quasi-setting, and that the reduction and obstruction arguments align with standard techniques.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation is self-contained: the central claim is proved directly from the definitions of pre-Nichols algebras, the twisted Yetter-Drinfeld category with 3-cocycle, and the nondiagonal condition, using standard growth arguments and PBW-type obstructions when the braiding is nondiagonal. No step reduces a prediction to a fitted parameter by construction, invokes a self-citation as the sole justification for a uniqueness theorem, or renames a known result as a new derivation. The characterization of finite-GK Nichols algebras follows as a corollary without circular dependence on the target statement itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions from Hopf algebra theory and the theory of Nichols algebras; no new free parameters or invented entities are visible in the abstract.

axioms (2)
  • domain assumption The twisted Yetter-Drinfeld category over a finite abelian group with 3-cocycle is a well-defined braided category in which pre-Nichols algebras are defined.
    Invoked throughout the abstract as the ambient setting.
  • domain assumption The notions of diagonal type, nondiagonal object, arithmetic root system, and Gelfand-Kirillov dimension behave as in prior literature on Nichols algebras.
    Used to state the if-and-only-if criterion.

pith-pipeline@v0.9.0 · 5698 in / 1337 out tokens · 72423 ms · 2026-05-22T19:59:43.922157+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Andruskiewitsch, I

    N. Andruskiewitsch, I. Angiono, I. Heckenberger, On finite GK-dimensional Nichols algebras over abelian groups . Mem. Am. Math. Soc. 1329 (2021), 125 p

    work page 2021

  2. [2]

    Andruskiewitsch, I

    N. Andruskiewitsch, I. Angiono, I. Heckenberger, On finite GK-dimensional Nichols algebras of diagonal type . Contemp. Math. 728 (2019), 1-23

    work page 2019

  3. [3]

    Andruskiewitsch, H-J

    N. Andruskiewitsch, H-J. Schneider. Lifting of quantum linear spaces and pointed Hopf algebras of order p3. J. Algebra 209 (1998), 658-691

    work page 1998

  4. [4]

    Andruskiewitsch, H-J

    N. Andruskiewitsch, H-J. Schneider. On the classification of finite-dimensional pointed Hopf algebras. Ann. of Math. (2) 171 (2010), no. 1, 375-417

    work page 2010

  5. [5]

    Andruskiewitsch, H-J

    N. Andruskiewitsch, H-J. Schneider. A characterization of quantum groups . J. Reine Angew. Math. 577 (2004), 81-104. PRE-NICHOLS ALGEBRAS AND QUASI-QUANTUM GROUPS 45

    work page 2004

  6. [6]

    I. Angiono. Basic quasi-Hopf algebras over cyclic groups . Adv. Math. 225 (2010), no. 6, 3545- 3575

    work page 2010

  7. [7]

    I. Angiono. On Nichols algebras of diagonal type . J. Reine Angew. Math. 683 (2013), 189-251

    work page 2013

  8. [8]

    I. Angiono. Distinguished Pre-Nichols algebras . Transf. Groups 21 (2016), 1-33

    work page 2016

  9. [9]

    Angiono, E

    I. Angiono, E. Campagnolo. Posets of finite GK-dimensional graded pre-Nichols algebra s of of diagonal type . arXiv:2403.18465v1

    work page arXiv

  10. [10]

    Angiono, A

    I. Angiono, A. Garc ´ ıa Iglesias. Finite GK-dimensional Nichols algebras of diagonal type an d finite root systems . arXiv:2212.08169

    work page arXiv

  11. [11]

    Angiono, A

    I. Angiono, A. Garc ´ ıa Iglesias. Liftings of Nichols algebras of diagonal type II: all liftin gs are cocycle deformations. Sel. Math. New Series. 25 (2019), no. 1, Paper No. 5, 95 pp

    work page 2019

  12. [12]

    Drinfeld, Quantum groups

    V. Drinfeld, Quantum groups. Proc. Int. Congr. Math. Berkeley 1986, Vol. 1, (1987) 798-8 20

    work page 1986

  13. [13]

    Etingof, S

    P. Etingof, S. Gelaki. Finite-dimensional quasi-Hopf algebras with radical of co dimension 2 . Math. Res. Lett. 11 (2004), no. 5-6, 685-696

    work page 2004

  14. [14]

    Etingof, S

    P. Etingof, S. Gelaki. On radically graded finite-dimensional quasi-Hopf algebra s. Mosc. Math. J. 5 (2005), no. 2, 371-378

    work page 2005

  15. [15]

    Etingof, S

    P. Etingof, S. Gelaki. Liftings of graded quasi-Hopf algebras with radical of prim e codimension. J. Pure Appl. Algebra 205 (2006), no. 2, 310-322

    work page 2006

  16. [16]

    Etingof, S

    P. Etingof, S. Gelaki; D. Nikshych, V. Ostrik. Tensor categories. Mathematical Surveys and Monographs, Volume 205, 2015

    work page 2015

  17. [17]

    S. Gelaki. Basic quasi-Hopf algebras of dimension n3. J. Pure Appl. Algebra 198 (2005), no. 1-3, 165-174

    work page 2005

  18. [18]

    Heckenberger

    I. Heckenberger. The Weyl groupoid of a Nichols algebra of diagonal type . Invent. Math. 164 (2006), no. 1, 175-188

    work page 2006

  19. [19]

    Heckenberger

    I. Heckenberger. Classification of arithmetic root systems . Adv. Math. 220 (2009), no. 1, 59-124

    work page 2009

  20. [20]

    Heckenberger, H-J

    I. Heckenberger, H-J. Schneider. Hopf algebras and root systems . Mathematical Surveys and Monographs, Volume 247, 2024

    work page 2024

  21. [21]

    Heckenberger, E

    I. Heckenberger, E. Meir, L. Vendramin. Finite-dimensional Nichols algebras of simple Yetter- Drinfeld modules (over groups) of prime dimension . Adv. Math. 444 (2024), 109637

    work page 2024

  22. [22]

    Heckenberger, L

    I. Heckenberger, L. Vendramin. A classification of Nichols algebras of semisimple Yetter-D rinfeld modules over non-abelian groups . J. Eur. Math. Soc. 19 (2017), no. 2, 299-356

    work page 2017

  23. [23]

    Heckenberger, L

    I. Heckenberger, L. Vendramin. The classification of Nichols algebras over groups with finit e root system of rank two . J. Eur. Math. Soc. 19 (2017), no. 7, 1977-2017

    work page 2017

  24. [24]

    Huang, G

    H-L. Huang, G. Liu, Y. Yang, Y. Ye. Finite quasi-quntum groups of rank two . Trans. Amer. Math. Soc. Ser. B 8 (2021), 635-678

    work page 2021

  25. [25]

    Huang, G

    H-L. Huang, G. Liu, Y. Yang, Y. Ye. Finite quasi-quntum groups of diagonal type . J. Reine. Angew. Math. 759 (2020), 201-243

    work page 2020

  26. [26]

    Huang, G

    H-L. Huang, G. Liu, Y. Yang, Y. Ye. On the classification of finite quasi-quntum groups over abelian groups. arXiv:2403.04455

    work page arXiv

  27. [27]

    Haung, G

    H-L. Haung, G. Liu, Y. Ye. Quivers, quasi-quantum groups and finite tensor categories . Comm. Math. Phys. 303 (2011), no. 3, 595-612

    work page 2011

  28. [28]

    Haung, G

    H-L. Haung, G. Liu, Y. Ye. Graded elementary quasi-Hopf algebras of tame representat ion type . Israel J. Math. 209 (2015), no. 1, 157-186

    work page 2015

  29. [29]

    Huang, Y

    H-L. Huang, Y. Yang. Quasi-quantum linear spaces. J. Noncommut. Goem. 9 (2015), 1227-1259

    work page 2015

  30. [30]

    Huang, Y

    H-L. Huang, Y. Yang, Y. Zhang. On nondiagonal finite quasi-quantum groups over finite abeli an groups. Sel. Math. New Series. 24 (2018), 4197-4221

    work page 2018

  31. [31]

    G. Lusztig. Finite-dimensional Hopf algebras arising from quantized u niversal enveloping algebra . J. Amer. Math. Soc. 3 (1990), 257-296

    work page 1990

  32. [32]

    M. Rosso. Quantum groups and quantum shuffles . Invent. Math. 133 (1998), 399-416. School of Mathematics and statistics, Southwest Universit y, Chongqing 400715, China Email address : yupingyang@swu.edu.cn

    work page 1998