pith. sign in

arxiv: 1907.10527 · v1 · pith:3ALDDILSnew · submitted 2019-07-24 · 🧮 math.QA · math.RA

Affine commutative-by-finite Hopf algebras

Kenneth Brown , Miguel Couto This is my paper

Pith reviewed 2026-05-24 16:24 UTC · model grok-4.3

classification 🧮 math.QA math.RA
keywords Hopf algebrascommutative-by-finiteaffine Hopf algebrassimple modulessemisimplecosemisimpleextensionsmodule dimensions
0
0 comments X

The pith

Hopf algebras extending a commutative one by a finite-dimensional Hopf algebra have bounds on the dimensions of their simple modules.

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

The paper studies Hopf algebras H that are finitely generated over an algebraically closed field and arise as extensions of a commutative Hopf algebra by a finite-dimensional Hopf algebra. It recalls basic structural and homological properties, lists classes of examples, derives bounds on the dimensions of simple H-modules, and proves that the overall structure of H is severely constrained whenever the finite-dimensional extension is both semisimple and cosemisimple. A sympathetic reader would care because these algebras include many objects arising in quantum groups and related areas, so limits on module dimensions directly restrict what representations and algebras are possible.

Core claim

The central claim is that bounds exist on the dimensions of simple modules over such an H. In addition, when the finite-dimensional extension is semisimple and cosemisimple, the structure of H itself is severely constrained.

What carries the argument

The extension of a commutative Hopf algebra by a finite-dimensional Hopf algebra, which permits the recalled homological properties to bound module dimensions and impose structural restrictions.

If this is right

  • The dimensions of all simple H-modules are bounded in terms of the finite-dimensional extension.
  • When the finite extension is semisimple and cosemisimple, H must obey additional structural restrictions.
  • The recalled homological properties apply directly to limit the possible simple modules.
  • Classes of examples listed in the paper satisfy these dimension bounds and structural constraints.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same extension technique might be applied to other classes of Hopf algebras beyond the commutative-by-finite case.
  • The bounds could be used to classify low-dimensional examples by enumerating possible module dimensions.
  • Results may connect to the representation theory of algebraic groups or finite group schemes via the listed examples.

Load-bearing premise

The paper assumes the objects are extensions of a commutative Hopf algebra by a finite-dimensional Hopf algebra over an algebraically closed field, with the recalled basic structural and homological properties holding as stated in the literature cited.

What would settle it

A concrete counterexample would be any Hopf algebra of this form possessing a simple module whose dimension lies outside the bounds derived from the dimension of the finite extension.

read the original abstract

The objects of study in this paper are Hopf algebras $H$ which are finitely generated algebras over an algebraically closed field and are extensions of a commutative Hopf algebra by a finite dimensional Hopf algebra. Basic structural and homological properties are recalled and classes of examples are listed. Bounds are obtained on the dimensions of simple $H$-modules, and the structure of $H$ is shown to be severely constrained when the finite dimensional extension is semisimple and cosemisimple.

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 / 2 minor

Summary. The paper studies finitely generated Hopf algebras H over an algebraically closed field that arise as extensions of a commutative Hopf algebra by a finite-dimensional Hopf algebra. It recalls basic structural and homological properties of such extensions, lists classes of examples, derives bounds on the dimensions of simple H-modules, and shows that the structure of H is severely constrained when the finite-dimensional extension is semisimple and cosemisimple.

Significance. If the derived bounds and structural constraints hold, the work supplies concrete restrictions on the representation theory and algebra structure of this class of Hopf algebras, building directly on standard facts from the literature on Hopf algebra extensions. The absence of free parameters or ad-hoc constructions in the central claims is a strength.

minor comments (2)
  1. [Abstract / Introduction] The abstract claims bounds are obtained, but the introduction or §2 should explicitly state the precise form of these dimension bounds (e.g., in terms of the dimensions of the commutative base and the finite-dimensional quotient) to make the main results immediately visible.
  2. [§2] When recalling homological properties from the cited literature, a brief sentence clarifying which results are used verbatim versus which are adapted would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work on affine commutative-by-finite Hopf algebras and for recommending minor revision. No major comments appear in the report, so there are no specific points requiring point-by-point response or defense.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper recalls standard structural and homological properties of Hopf algebra extensions (commutative base by finite-dimensional quotient) from external literature citations, lists example classes, and derives module-dimension bounds plus semisimplicity constraints. No load-bearing step reduces by the paper's own equations or self-citation to its inputs; there are no fitted parameters renamed as predictions, no self-definitional claims, no uniqueness theorems imported from the authors' prior work, and no ansatz smuggled via citation. The central claims rest on independent recalled facts and algebraic derivations that remain falsifiable against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based solely on abstract; full text unavailable so ledger entries are inferred at high level from stated assumptions. No free parameters or invented entities mentioned. Axioms are standard background in Hopf algebra theory.

axioms (1)
  • standard math Standard structural and homological properties of Hopf algebras over algebraically closed fields hold as recalled from prior literature.
    The abstract states these are recalled before deriving new results.

pith-pipeline@v0.9.0 · 5587 in / 1222 out tokens · 19526 ms · 2026-05-24T16:24:36.858619+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

76 extracted references · 76 canonical work pages · 1 internal anchor

  1. [1]

    Allman, Actions of finite dimensional, non-commutative, non-cocom mutative Hopf algebras on rings, M.Sc

    J. Allman, Actions of finite dimensional, non-commutative, non-cocom mutative Hopf algebras on rings, M.Sc. thesis, Wake-Forest University (2009), https://services.math.duke.edu/~jma/allman ma.pdf

    work page 2009

  2. [2]

    Andruskiewitsch & G.A

    N. Andruskiewitsch & G.A. Garc ´ ıa, Quantum subgroups of a simple quantum group at roots of one , Compos. Math. 145 (2009), 476-500

    work page 2009

  3. [3]

    Arkhipov & D

    S. Arkhipov & D. Gaitsgory, Another realization of the category of modules over the smal l quantum group, Adv. Math. 173 (2003), 114-143

    work page 2003

  4. [4]

    Benson Polynomial Invariants of Finite Groups , London Math

    D.J. Benson Polynomial Invariants of Finite Groups , London Math. Soc. Lecture Note Ser. vol.190, Cambridge Univ. Press, Cambridge, 1993

    work page 1993

  5. [5]

    Brion, Some structure theorems for algebraic groups , Proc

    M. Brion, Some structure theorems for algebraic groups , Proc. Sympos. Pure Math. 94, Amer. Math. Soc., Providence, RI (2017)

    work page 2017

  6. [6]

    Brown, Representation theory of noetherian Hopf algebras satisfy ing a polynomial identity , Trends in the representation theory of finite-dimensional a lgebras, Contemp

    K.A. Brown, Representation theory of noetherian Hopf algebras satisfy ing a polynomial identity , Trends in the representation theory of finite-dimensional a lgebras, Contemp. Math. 229, Amer. Math. Soc., Providence, RI (1998), 49-79

    work page 1998

  7. [7]

    Brown, Noetherian Hopf algebras , Turkish J

    K.A. Brown, Noetherian Hopf algebras , Turkish J. Math. 31 (2007), 7-23

    work page 2007

  8. [8]

    Brown & K.R

    K.A. Brown & K.R. Goodearl, Homological aspects of noetherian PI Hopf algebras and irre ducible modules of maximal dimension , J. Algebra 198 (1997), 240-265

    work page 1997

  9. [9]

    Brown & K.R

    K.A. Brown & K.R. Goodearl, Lectures on Algebraic Quantum Groups , Advanced Courses in Math- ematics - CRM Barcelona, Birkh¨ auser Basel (2002)

    work page 2002

  10. [10]

    O_e(G) is a free module over O(G)

    K.A. Brown, I. Gordon & J.T. Stafford, Oǫ[G] is a free module over O[G], arXiv:math/0007179 (2000)

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  11. [11]

    Brown & C.R

    K.A. Brown & C.R. Hajarnavis, Homologically homogeneous rings , Trans. Amer. Math. Soc. 281 (1984), 197-208

    work page 1984

  12. [12]

    Brown & C.R

    K.A. Brown & C.R. Hajarnavis, Injectively homogeneous rings , J. Pure Appl. Algebra 51 (1988), 65-77. 32 K. A. BROWN AND M. COUTO

    work page 1988

  13. [13]

    Brown & M.J

    K.A. Brown & M.J. Macleod, The Cohen Macaulay property for noncommutative rings , Algebra Rep. Theory 20 (2017), 1433-1465

    work page 2017

  14. [14]

    Brown & J.J

    K.A. Brown & J.J. Zhang, Dualising complexes and twisted Hochschild (co)homology f or noetherian Hopf algebras, J. Algebra 320 (2008), 1814-1850

    work page 2008

  15. [15]

    Brown & J.J

    K.A. Brown & J.J. Zhang, Prime regular Hopf algebras of GK-dimension one , Proc. Lond. Math. Soc. 101 (2010), 260-302

    work page 2010

  16. [16]

    Cartan & S

    H. Cartan & S. Eilenberg, Homological Algebra, Princeton Univ. Press (1956)

    work page 1956

  17. [17]

    Chari & A

    V. Chari & A. Pressley, A Guide to Quantum Groups , Cambridge Univ. Press, 1994

    work page 1994

  18. [18]

    Chin, Spectra of smash products , Israel J

    W. Chin, Spectra of smash products , Israel J. Math. 72 (1990), 84-98

    work page 1990

  19. [19]

    De Concini & V

    C. De Concini & V. Lyubashenko, Quantum function algebra at roots of 1 , Adv. Math. 108 (1994), 205-262

    work page 1994

  20. [20]

    De Concini & C

    C. De Concini & C. Procesi, Quantum Groups, in D-modules, Representation Theory, and Quantum Groups, Lecture Notes in Mathematics 1565, Springer-Verlag, Berl in (1993), 31-140

    work page 1993

  21. [21]

    C. W. Curtis & I. Reiner, Methods of representation theory. Vol. I. With application s to finite groups and orders John Wiley & Sons, New York, 1981

    work page 1981

  22. [22]

    N. Ding, G. Liu & J. Wu, Classification of affine prime regular Hopf algebras of GK-dim ension one , Adv. Math. 296 (2016), 1-54

    work page 2016

  23. [23]

    Y. Doi & M. Takeuchi, Cleft comodule algebras for a bialgebra , Comm. Algebra 14 (1986), 801-817

    work page 1986

  24. [24]

    Eisenbud, Commutative Algebra: with a View Toward Algebraic Geometry , Graduate Texts in Mathematics 150 (2004)

    D. Eisenbud, Commutative Algebra: with a View Toward Algebraic Geometry , Graduate Texts in Mathematics 150 (2004)

    work page 2004

  25. [25]

    Etingof & C

    P. Etingof & C. Walton, Semisimple Hopf actions on commutative domains , Adv. Math. 251 (2014), 47-61

    work page 2014

  26. [26]

    Facchini, D

    A. Facchini, D. Herbera & I. Sakhajev, Finitely generated flat modules and a characterization of semiperfect rings, Comm. Algebra 31 (2003), 4195-4214

    work page 2003

  27. [27]

    Formanek & A

    E. Formanek & A. Jategaonkar, Subrings of noetherian rings , Proc. Amer. Math. Soc. 46 (1974), 181-186

    work page 1974

  28. [28]

    Gelaki & E.S

    S. Gelaki & E.S. Letzter, An affine PI Hopf algebra not finite over a normal commutative Ho pf subalgebra, Proc. Amer. Math. Soc. 131 (2003), 2673-2679

    work page 2003

  29. [29]

    Goodearl & J.J

    K.R. Goodearl & J.J. Zhang, Noetherian Hopf algebra domains of Gelfand-Kirillov dimen sion two , J. Algebra 324 (2010), 3131-3168

    work page 2010

  30. [30]

    Jantzen, Representations of Lie algebras in prime characteristic , NATO Adv

    J.C. Jantzen, Representations of Lie algebras in prime characteristic , NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 514, Representation theories and algebrai c geometry (Montreal, PQ, 1997), Kluwer Acad. Publ., Dordrecht (1998), 185-235

    work page 1997

  31. [31]

    Jacobson, A note on Lie algebras of characteristic p, Amer

    N. Jacobson, A note on Lie algebras of characteristic p, Amer. J. Math. 74 (1952), 357-359

    work page 1952

  32. [32]

    Kaplansky, Commutative Rings (Revised Edition), Univ

    I. Kaplansky, Commutative Rings (Revised Edition), Univ. of Chicago Press (1974)

    work page 1974

  33. [33]

    Kr¨ ahmer,On the Hochschild (co)homology of quantum homogeneous spac es, Israel J

    U. Kr¨ ahmer,On the Hochschild (co)homology of quantum homogeneous spac es, Israel J. Math. 189 (2012), 237-266

    work page 2012

  34. [34]

    Krause & T.H

    G. Krause & T.H. Lenagan, Growth of Algebras and Gelfand-Kirillov Dimension , Graduate Studies in Mathematics 22, Amer. Math. Soc., Providence, RI, (2000)

    work page 2000

  35. [35]

    Larson & D.E

    R.G. Larson & D.E. Radford, Finite-dimensional cosemisimple Hopf algebras in charact eristic 0 are semisimple , J. Algebra 117 (1988), 267-289

    work page 1988

  36. [36]

    Larson & D.E

    R.G. Larson & D.E. Radford, Semisimple cosemisimple Hopf algebras , Amer. J. Math. 110 (1988), 187-195

    work page 1988

  37. [37]

    Groups, Rings, Lie and Hopf Algebras

    V. Linchenko, Nilpotent subsets of Hopf module algebras , in “Groups, Rings, Lie and Hopf Algebras” (St. Johns, NF, 2001), Math. Appl. 555, Kluwer Acad. Publ., D ordrecht (2003), 121-127

    work page 2001

  38. [38]

    Linchenko & S

    V. Linchenko & S. Montgomery, Semiprime smash products and H-stable prime radicals for PI - algebras, Proc. Amer. Math. Soc. 135 (2007), 3091-3098

    work page 2007

  39. [39]

    Liu, A classification result on prime Hopf algebras of GK-dimensi on one , arXiv:1804.08973 (2018)

    G. Liu, A classification result on prime Hopf algebras of GK-dimensi on one , arXiv:1804.08973 (2018)

    work page arXiv 2018

  40. [40]

    Lorenz & M

    M.E. Lorenz & M. Lorenz, On crossed products of Hopf algebras , Pro. Amer. Math. Soc. 123 (1995), 33-38

    work page 1995

  41. [41]

    Lu, Q.-S

    D.-M. Lu, Q.-S. Wu & J.J. Zhang, Homological integral of Hopf algebras , Trans. Amer. Math. Soc. 359 (2007), 4945-4975

    work page 2007

  42. [42]

    Masuoka, On Hopf algebras with cocommutative coradical , J

    A. Masuoka, On Hopf algebras with cocommutative coradical , J. Algebra 144 (1991), 451-466

    work page 1991

  43. [43]

    Masuoka, Freeness of Hopf algebras over coideal subalgebras , Comm

    A. Masuoka, Freeness of Hopf algebras over coideal subalgebras , Comm. Algebra 20 (1992), 1353- 1373. PI HOPF ALGEBRAS 33

    work page 1992

  44. [44]

    Masuoka, Quotient theory of Hopf algebras , Advances in Hopf algebras, Lecture Notes in Pure and Applied Mathematics 158, Dekker, New York (1994)

    A. Masuoka, Quotient theory of Hopf algebras , Advances in Hopf algebras, Lecture Notes in Pure and Applied Mathematics 158, Dekker, New York (1994)

    work page 1994

  45. [45]

    Masuoka & D

    A. Masuoka & D. Wigner, Faithful flatness of Hopf algebras , J. Algebra 170 (1994), 156-164

    work page 1994

  46. [46]

    McConnell & J.C

    J.C. McConnell & J.C. Robson, Noncommutative Noetherian Rings , Graduate Studies in Mathe- matics 30, Amer. Math. Soc., Providence, RI (1987)

    work page 1987

  47. [47]

    Molnar, A commutative noetherian Hopf algebra over a field is finitely generated, Proc

    R.K. Molnar, A commutative noetherian Hopf algebra over a field is finitely generated, Proc. Amer. Math. Soc. 51 (1975), 501-502

    work page 1975

  48. [48]

    Montgomery, Hopf Algebras and Their Actions on Rings , Conference Board of the Mathematical Sciences, American Mathematical Society, Providence, RI ( 1993)

    S. Montgomery, Hopf Algebras and Their Actions on Rings , Conference Board of the Mathematical Sciences, American Mathematical Society, Providence, RI ( 1993)

    work page 1993

  49. [49]

    Montgomery & H.-J

    S. Montgomery & H.-J. Schneider, Prime ideals in Hopf Galois extensions , Israel J. Math. 112 (1999), 187-235

    work page 1999

  50. [50]

    M¨ uller & H.-J

    E.F. M¨ uller & H.-J. Schneider, Quantum homogeneous spaces with faithfully flat module stru ctures, Israel J. Math. 111 (1999), 157-190

    work page 1999

  51. [51]

    Passman, The Algebraic Structure of Group Rings , Pure and Applied Mathematics, John Wiley & Sons, Inc, (1977)

    D.S. Passman, The Algebraic Structure of Group Rings , Pure and Applied Mathematics, John Wiley & Sons, Inc, (1977)

    work page 1977

  52. [52]

    Passman, Infinite Crossed Products , Pure and Applied Mathematics 135, Academic Press, (1989)

    D.S. Passman, Infinite Crossed Products , Pure and Applied Mathematics 135, Academic Press, (1989)

    work page 1989

  53. [53]

    Radford, Operators on Hopf algebras , Amer

    D.E. Radford, Operators on Hopf algebras , Amer. J. Math. 99 (1977), 139-158

    work page 1977

  54. [54]

    Radford, Pointed Hopf algebras are free over Hopf subalgebras , Journal of Algebra 45 (1977), 266-273

    D.E. Radford, Pointed Hopf algebras are free over Hopf subalgebras , Journal of Algebra 45 (1977), 266-273

    work page 1977

  55. [55]

    Radford, Freeness (projectivity) criteria for Hopf algebras over Ho pf subalgebras, J

    D.E. Radford, Freeness (projectivity) criteria for Hopf algebras over Ho pf subalgebras, J. Pure Appl. Algebra 11 (1977), 15-28

    work page 1977

  56. [56]

    Radford, On an analog of Lagrange’s theorem for commutative Hopf alge bras, Proc

    D.E. Radford, On an analog of Lagrange’s theorem for commutative Hopf alge bras, Proc. Amer. Math. Soc. 79 (1980), 164-166

    work page 1980

  57. [57]

    Radford, Hopf Algebras, Series on Knots and Everything 49, World Scientific (2012)

    D.E. Radford, Hopf Algebras, Series on Knots and Everything 49, World Scientific (2012)

    work page 2012

  58. [58]

    Rotman, An Introduction to Homological Algebra , Academic Press (1979)

    J. Rotman, An Introduction to Homological Algebra , Academic Press (1979)

    work page 1979

  59. [59]

    Sarraille, Module finiteness of low-dimensional PI rings , Pacific J

    J.J. Sarraille, Module finiteness of low-dimensional PI rings , Pacific J. Math. 102 (1982), 189-208

    work page 1982

  60. [60]

    Schneider, Normal basis and transitivity of crossed products for Hopf a lgebras, J

    H.-J. Schneider, Normal basis and transitivity of crossed products for Hopf a lgebras, J. Algebra 152 (1992), 289-312

    work page 1992

  61. [61]

    Schneider, Some remarks on exact sequences of quantum groups , Comm

    H.-J. Schneider, Some remarks on exact sequences of quantum groups , Comm. Algebra 21 (1993), 3337-3357

    work page 1993

  62. [62]

    Shafarevich, Basic Algebraic Geometry , Springer Study Edition, Translated from the Russian by K.A

    I.R. Shafarevich, Basic Algebraic Geometry , Springer Study Edition, Translated from the Russian by K.A. Hirsch, Springer (1977)

    work page 1977

  63. [63]

    Skryabin, Invariants of finite Hopf algebras , Adv

    S. Skryabin, Invariants of finite Hopf algebras , Adv. Math. 183 (2004), 209-239

    work page 2004

  64. [64]

    Skryabin, New results on the bijectivity of antipode of a Hopf algebra , J

    S. Skryabin, New results on the bijectivity of antipode of a Hopf algebra , J. Algebra 306 (2006), 622-633

    work page 2006

  65. [65]

    Skryabin, Projectivity and freeness over comodule algebras , Trans

    S. Skryabin, Projectivity and freeness over comodule algebras , Trans. Amer. Math. Soc. 359 (2007), 2597-2623

    work page 2007

  66. [66]

    Skryabin, Hopf algebra orbits on the prime spectrum of a module algebra , Algebra Rep

    S. Skryabin, Hopf algebra orbits on the prime spectrum of a module algebra , Algebra Rep. Theory 13 (2010), 1-31

    work page 2010

  67. [67]

    Skryabin, Finiteness of the number of coideal subalgebras , Proc

    S. Skryabin, Finiteness of the number of coideal subalgebras , Proc. Amer. Math. Soc. 145 (2017), 2859-2869

    work page 2017

  68. [68]

    Skryabin & F

    S. Skryabin & F. van Oystaeyen, The Goldie theorem for H-semiprime algebras , J. Algebra 305 (2006), 292-320

    work page 2006

  69. [69]

    Small, J.T

    L.W. Small, J.T. Stafford & R.B. Warfield Jr., Affine algebras of Gel’fand-Kirillov dimension one are PI , Math. Proc. Cambridge Philos. Soc. 97 (1985), 407-414

    work page 1985

  70. [70]

    Stafford & J.J

    J.T. Stafford & J.J. Zhang, Homological properties of (graded) noetherian PI rings , J. Algebra 168 (1994), 988-1026

    work page 1994

  71. [71]

    Stenstrom, Rings of Quotients , Graduate Texts in Mathematics 217, Springer-Verlag, New Y ork- Berlin (1975)

    B. Stenstrom, Rings of Quotients , Graduate Texts in Mathematics 217, Springer-Verlag, New Y ork- Berlin (1975)

    work page 1975

  72. [72]

    Takeuchi, A correspondence between Hopf ideals and Hopf subalgebras , Manuscripta Math 7 (1972), 251-270

    M. Takeuchi, A correspondence between Hopf ideals and Hopf subalgebras , Manuscripta Math 7 (1972), 251-270

    work page 1972

  73. [73]

    Wang, J.J

    D.-G. Wang, J.J. Zhang & G. Zhuang, Hopf algebras of GK-dimension two with vanishing Ext-group , J. Algebra 388 (2013), 219-247

    work page 2013

  74. [74]

    Waterhouse, Introduction to Affine Group Schemes , Graduate Texts in Mathematics 66, Springer-Verlag, New York-Berlin (1979)

    W.C. Waterhouse, Introduction to Affine Group Schemes , Graduate Texts in Mathematics 66, Springer-Verlag, New York-Berlin (1979)

    work page 1979

  75. [75]

    Wu & J.J

    Q.-S. Wu & J.J. Zhang, Regularity of involutory PI Hopf algebras , J. Algebra 256 (2002), 599-610. 34 K. A. BROWN AND M. COUTO

    work page 2002

  76. [76]

    Wu & J.J

    Q.-S. Wu & J.J. Zhang, Noetherian PI Hopf algebras are Gorenstein , Trans. Amer. Math. Soc. 355 (2003), 1043-1066. School of Mathematics and Statistics, University of Glasgo w, Glasgow G12 8QQ, Scot- land E-mail address : Ken.Brown@glasgow.ac.uk School of Mathematics and Statistics, University of Glasgo w, Glasgow G12 8QQ, Scot- land E-mail address : M.Co...

    work page 2003