arxiv: 2605.00774 · v1 · submitted 2026-05-01 · 🧮 math.RA · math.QA· math.RT

Recognition: unknown

Report on AS-Gorenstein Hopf algebras

Ken A. Brown

Authors on Pith no claims yet

Pith reviewed 2026-05-09 14:33 UTC · model grok-4.3

classification 🧮 math.RA math.QAmath.RT

keywords noetherian Hopf algebrasAS-Gorensteininjective dimensionhomological propertiesHopf algebra cohomologyopen questionsnoncommutative Gorenstein rings

0 comments

The pith

Noetherian Hopf algebras are known to have finite injective dimension in many specific classes, but whether this holds in general remains open after thirty years.

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

The paper reviews accumulated progress on the question of whether every noetherian Hopf algebra over a field has finite injective dimension as a bimodule and satisfies the related homological regularity conditions that generalize the Gorenstein property. Positive answers are recorded for several important families, such as finite-dimensional Hopf algebras and those with additional finiteness or growth restrictions, together with sketches of the arguments and the consequences that follow when the property holds. The review also records a list of further open questions that arise once the known cases are taken into account.

Core claim

While noetherian Hopf algebras satisfy the AS-Gorenstein condition in many concrete classes, including all finite-dimensional examples and various infinite-dimensional families defined by growth or dimension constraints, neither a general proof nor a counter-example has been found in the three decades since the question was first posed.

What carries the argument

The AS-Gorenstein property, which requires a noetherian Hopf algebra to have finite injective dimension together with Ext-vanishing conditions that mirror the classical Gorenstein property for commutative rings.

If this is right

When the AS-Gorenstein property holds, the Hopf algebra admits a dualizing complex that controls its cohomology.
The property implies strong restrictions on the possible growth of the algebra and on the structure of its representations.
Positive answers for a class often yield finiteness results for the cohomology ring and for Ext groups between modules.
Such regularity allows transfer of homological information between the algebra and its dual or opposite algebra.

Where Pith is reading between the lines

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

The pattern of positive results suggests that any counter-example would have to violate several standard finiteness conditions simultaneously.
It may be useful to test candidate counter-examples inside the class of quantum groups at roots of unity or in positive characteristic.
If the property fails in general, the search for the minimal additional hypothesis that restores it would become the next natural problem.

Load-bearing premise

The results cited for particular classes of Hopf algebras accurately capture the current state of knowledge without overlooked gaps.

What would settle it

An explicit construction of a noetherian Hopf algebra over a field whose injective dimension as a bimodule is infinite.

read the original abstract

This is a review of progress on the question whether noetherian Hopf algebras always have finite injective dimension and related good homological properties. As well as discussing in detail the main results giving positive answers for particular classes of Hopf algebras, some consequences of such positive answers are also described. Full definitions and references are included, also sketches of some proofs. A considerable number of open questions are listed, additional to the original question, which itself remains open after 30 years.

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.

Desk Editor's Note private letter to a colleague

This is a useful expert survey of known results on homological properties of noetherian Hopf algebras that leaves the main 30-year-old question open.

read the letter

Ken Brown's report is a literature survey on whether noetherian Hopf algebras always have finite injective dimension and related AS-Gorenstein properties. The central question stays open after three decades, but the paper collects the positive results that hold for specific classes such as finite-dimensional Hopf algebras, semisimple ones, and certain quantum groups. It also notes some consequences for other invariants and lists further open problems. Brown includes definitions, references, and brief proof sketches, which makes the material more approachable for readers who know the basics of Hopf algebra theory. The organization is clear and the expert perspective helps show why these properties matter in representation theory and quantum groups. The paper introduces no new theorems, derivations, or resolutions. Its value is entirely in the synthesis and the careful reporting of what is already in the literature. Given the author's long involvement in the area, the summaries and sketches appear reliable, with no signs of circular reasoning or unsupported claims. The main limitation is the absence of progress on the general case, so the report functions as a status update rather than an advance. A reader would still need to consult the original papers for full details on the sketched proofs. This is aimed at specialists in noncommutative algebra or Hopf algebras who want a consolidated view of the homological landscape and the remaining challenges without reading every cited paper. It could work well in a reading group focused on open problems. I would recommend sending it to peer review for a journal that accepts surveys, since a referee could usefully check the coverage and clarity.

Referee Report

0 major / 0 minor

Summary. This paper is a review of the progress made on determining whether noetherian Hopf algebras always have finite injective dimension and related good homological properties. It discusses in detail the main positive results for particular classes of Hopf algebras, describes some consequences, includes full definitions and references, provides sketches of some proofs, and lists a considerable number of open questions. The central question itself remains open after 30 years.

Significance. If the reported results and interpretations hold, this manuscript is significant as a comprehensive survey that gathers and organizes the known results on the homological properties of noetherian Hopf algebras. The inclusion of definitions, references, and proof sketches enhances its utility as a reference tool for experts and newcomers alike in the field of ring theory and Hopf algebras. The listing of open questions provides clear directions for future research.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending acceptance. Their summary correctly identifies the paper as a survey of progress on the homological properties of noetherian Hopf algebras, with the central question remaining open.

Circularity Check

0 steps flagged

Review paper with no original derivations or self-referential claims

full rationale

This is a survey paper that summarizes existing literature on noetherian Hopf algebras and their homological properties, including positive results for specific classes and the fact that the general question of finite injective dimension remains open after 30 years. It includes sketches of proofs from the literature and lists open questions but advances no new theorems, equations, or derivations. All claims are attributed to external references, with no load-bearing steps that reduce by construction to the paper's own inputs, fitted parameters, or self-citations. The central assertion is a status report on the field rather than a derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a survey paper that does not introduce new free parameters, axioms, or invented entities; it relies entirely on the prior literature it cites.

pith-pipeline@v0.9.0 · 5361 in / 968 out tokens · 24219 ms · 2026-05-09T14:33:51.581690+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

82 extracted references · 10 canonical work pages · 1 internal anchor

[1]

Ajitabh, S

K. Ajitabh, S. P. Smith, and J. J. Zhang,Auslander-Gorenstein rings, Comm. Algebra26(1998), 2159– 2180

1998
[2]

Pure Appl

,Injective resolutions of some regular rings, J. Pure Appl. Algebra140(1999), 1–21

1999
[3]

Andruskiewitsch, K.A

N. Andruskiewitsch, K.A. Brown, and J.T. Stafford,Bosonisations of enveloping algebras of finite dimen- sional Lie superalgebras, in preparation
[4]

Artin and W

M. Artin and W. Schelter,Graded algebras of global dimension 3, Advances in Math.66(1987), 171-216

1987
[5]

Aubry and J.-M

M. Aubry and J.-M. Lemaire,Zero divisors in enveloping algebras of graded Lie algebras, J. Pure Appl. Algebra38(1985), no. 2-3, 159–166

1985
[6]

Bass,On the ubiquity of Gorenstein rings, Math

H. Bass,On the ubiquity of Gorenstein rings, Math. Z.82(1963), 8–28

1963
[7]

London Math

,The degree of polynomial growth of finitely generated nilpotent groups, Proc. London Math. Soc. 25(1972), 603-614

1972
[8]

Bj¨ ork,Filtered Noetherian rings,Noetherian rings and their applications, (Oberwolfach, 1983), Math

J.-E. Bj¨ ork,Filtered Noetherian rings,Noetherian rings and their applications, (Oberwolfach, 1983), Math. Surveys Monogr., Amer. Math. Soc., Providence, RI24(1987), 59-97, DOI 10.1090/surv/024/05

work page doi:10.1090/surv/024/05 1983
[9]

Bjork,The Auslander condition on Noetherian rings,Seminaire d’Algebre Paul Dubreil et Marie-Paul Malliavin, Lecture Notes in Math.1404(1989), 137-173

J.-E. Bjork,The Auslander condition on Noetherian rings,Seminaire d’Algebre Paul Dubreil et Marie-Paul Malliavin, Lecture Notes in Math.1404(1989), 137-173

1989
[10]

Bjork and E.K

J.-E. Bjork and E.K. Ekstrom,Filtered Auslander-Gorenstein rings, Progr. Math.92(1990), 425-448

1990
[11]

Bøgvad,Some elementary results on the cohomology of graded Lie algebras, Algebraic homotopy and local algebra (Luminy, 1982), Ast´ erisque, vol

R. Bøgvad,Some elementary results on the cohomology of graded Lie algebras, Algebraic homotopy and local algebra (Luminy, 1982), Ast´ erisque, vol. 113-114, Soc. Math. France, Paris, 1984, pp. 156–166

1982
[12]

K. A. Brown,Representation theory of Noetherian Hopf algebras satisfying a polynomial identity, Trends in the representation theory of finite-dimensional algebras (Seattle, WA, 1997), Contemp. Math., vol. 229, Amer. Math. Soc., Providence, RI, 1998, pp. 49–79

1997
[13]

Math.31(2007), 7–23

,Noetherian Hopf algebras, Turkish J. Math.31(2007), 7–23

2007
[14]

K. A. Brown, P. Gilmartin, and J. J. Zhang,Connected (graded) Hopf algebras, Trans. Amer. Math. Soc. 372(2019), no. 5, 3283–3317

2019
[15]

Brown and K.R

K.A.. Brown and K.R. Goodearl,Homological aspects of Noetherian PI Hopf algebras and irreducible modules of maximal dimension, J. Algebra198(1997), 240-265

1997
[16]

K. A. Brown and K. R. Goodearl,Lectures on Algebraic Quantum Groups, Advanced Courses in Mathe- matics CRM Barcelona, Birkhauser, 2002. AS-GORENSTEIN HOPF ALGEBRAS 23

2002
[17]

K. A. Brown and I. Gordon,Poisson orders, symplectic reflection algebras and representation theory, J. Reine Angew. Math.559(2003), 193–216

2003
[18]

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

1984
[19]

K. A. Brown and M. J. Macleod,The Cohen Macaulay property for noncommutative rings, Algebr. Rep- resent. Theory20(2017), 1433–1465

2017
[20]

K. A. Brown, S. O’Hagan, J. J. Zhang, and G. Zhuang,Connected Hopf algebras and iterated Ore exten- sions, J. Pure Appl. Algebra219(2015), no. 6, 2405–2433, DOI 10.1016/j.jpaa.2014.09.007. MR3299738

work page doi:10.1016/j.jpaa.2014.09.007 2015
[21]

K. A. Brown and M. T. Yakimov,Azumaya loci and discriminant ideals of PI algebras, Adv. Math.340 (2018), 1219–1255

2018
[22]

K. A. Brown and M. Yakimov,Poisson trace orders, Int. Math. Res. Not. IMRN (2024), 2965–2998

2024
[23]

Brown and J.J

K.A. Brown and J.J. Zhang,Dualizing complexes and twisted Hochschild (co)homology for noetherian Hopf algebras, J. Algebra320(2008), 1824-1850

2008
[24]

K. A. Brown and J. J. Zhang,Prime regular Hopf algebras of GK-dimension one, Proc. Lond. Math. Soc. (3)101(2010), no. 1, 260–302, DOI 10.1112/plms/pdp060. MR2661247

work page doi:10.1112/plms/pdp060 2010
[25]

Math., vol

,Survey on Hopf algebras of GK-dimension 1 and 2, Hopf algebras, tensor categories and related topics, Contemp. Math., vol. 771, Amer. Math. Soc., [Providence], RI, [2021]©2021, pp. 43–62

2021
[26]

Eilenberg,Homological Algebra, Princeton Math

H Cartan and S. Eilenberg,Homological Algebra, Princeton Math. Series, vol. 19, Princeton Uiversity Press, 1956

1956
[27]

Chemla,Rigid dualizing complex for quantum enveloping algebras and algebras of generalized differential operators, J

S. Chemla,Rigid dualizing complex for quantum enveloping algebras and algebras of generalized differential operators, J. Algebra276(2004), no. 1, 80-102

2004
[28]

De Concini and C

C. De Concini and C. Procesi,Quantum groups,D-modules, representation theory, and quantum groups (Venice, 1992), Lecture Notes in Math., vol. 1565, Springer, Berlin, 1993, pp. 31–140

1992
[29]

Eisenbud,Commutative algebra, Graduate Texts in Mathematics, vol

D. Eisenbud,Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York,
[30]

With a view toward algebraic geometry
[31]

E. M. Ekstrom,The Auslander condition on graded and filtered Noetherian rings, Seminaire d’Algebre Paul Dubreil et Marie-Paul Malliavin, Lecture Notes in Math.1404(1989), 220-245

1989
[32]

G´ omez-Torrecillas and F

J. G´ omez-Torrecillas and F. J. Lobillo,Auslander-regular and Cohen Macaulay quantum groups, Algebr. Represent. Theory7(2004), no. 1, 35–42, DOI 10.1023/B:ALGE.0000019384.36800.fa. MR2046952

work page doi:10.1023/b:alge.0000019384.36800.fa 2004
[33]

K. R. Goodearl and R. B. Warfield Jr.,An introduction to noncommutative Noetherian rings, 2nd ed., London Mathematical Society Student Texts, vol. 61, Cambridge University Press, Cambridge, 2004

2004
[34]

K. R. Goodearl and J. J. Zhang,Homological properties of quantized coordinate rings of semisimple groups, Proc. Lond. Math. Soc. (3)94(2007), no. 3, 647–671, DOI 10.1112/plms/pdl022. MR2325315

work page doi:10.1112/plms/pdl022 2007
[35]

Algebra324(2010), no

,Noetherian Hopf algebra domains of Gelfand-Kirillov dimension two, J. Algebra324(2010), no. 11, 3131–3168

2010
[36]

Goodearl and J.J

K.R. Goodearl and J.J. Zhang,Non-affine Hopf algebra domains of Gelfand-Kirillov dimension two, Glas- gow Math. J.59(2017), 563-593

2017
[37]

Gromov,Groups of polynomial growth and expanding maps, Pub

M. Gromov,Groups of polynomial growth and expanding maps, Pub. Math. IHES53(1981), 53-73

1981
[38]

Guivarc’h,Croissance polynomiale et p´ eriodes des fonctions harmoniques, Bull

Y. Guivarc’h,Croissance polynomiale et p´ eriodes des fonctions harmoniques, Bull. Soc. Math. France101 (1973), 333–379

1973
[39]

Chevalley property and discriminant ideals of Cayley-Hamilton Hopf Algebras

Y. Huang, Z. Mi, T. Qi, and Q. Wu,Chevalley property and discriminant ideals of Cayley-Hamilton Hopf algebras, arXiv2506.21879v2 (2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[40]

Hu and Q

M. Hu and Q. Wu,Connected Hopf algebras that are not Hopf Ore extensions of enveloping algebras, arXiv2511.22203v1 (2025)

work page arXiv 2025
[41]

Joseph,Quantum groups and their primitive ideals, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol

A. Joseph,Quantum groups and their primitive ideals, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 29, Springer-Verlag, Berlin, 1995

1995
[42]

Krause and T

G. Krause and T. H. Lenagan,Growth of Algebras and Gelfand-Kirillov Dimension, Revised Edition, Graduate Studies in Math., vol. 22, Amer. Math. Soc., 2000

2000
[43]

R. G. Larson and D. E. Radford,Finite-dimensional cosemisimple Hopf algebras in characteristic0are semisimple, J. Algebra117(1988), 267–289

1988
[44]

R. G. Larson and M. E. Sweedler,An associative orthogonal bilinear form for Hopf algebras, Amer. J. Math.91(1969), 75–94

1969
[45]

Le Meur,Smash products of Calabi-Yau algebras by Hopf algebras, J

P. Le Meur,Smash products of Calabi-Yau algebras by Hopf algebras, J. Noncommut. Geom.13(2019), no. 3, 887–961. 24 K. A. BROWN

2019
[46]

Levasseur,Some properties of non-commutative regular graded rings, Glasgow Math

T. Levasseur,Some properties of non-commutative regular graded rings, Glasgow Math. J.34(1992), 277-300

1992
[47]

,Krull dimension of the enveloping algebra of a semisimple Lie algebra, Proc. Amer. Math. Soc. 130(2002), no. 12, 3519-3523

2002
[48]

Levasseur and J.T

T. Levasseur and J.T. Stafford,The quantum coordinate ring of the general linear group, J. Pure Appl. Algebra86(1993), 181-186

1993
[49]

Liu,A classification result on prime Hopf algebras of GK-dimension one, J

G. Liu,A classification result on prime Hopf algebras of GK-dimension one, J. Algebra547(2020), 579–667, DOI 10.1016/j.jalgebra.2019.12.003. MR4042591

work page doi:10.1016/j.jalgebra.2019.12.003 2020
[50]

M. E. Lorenz and M. Lorenz,On crossed products of Hopf algebras, Proc. Amer. Math. Soc.123(1995), no. 1, 33–38

1995
[51]

Lorenz,A tour of representation theory, Graduate Studies in Mathematics, vol

M. Lorenz,A tour of representation theory, Graduate Studies in Mathematics, vol. 193, American Math- ematical Society, Providence, RI, 2018

2018
[52]

L¨ u, S.-Q

J. L¨ u, S.-Q. Oh, X. Wang, and X. Yu,A note on the bijectivity of the antipode of a Hopf algebra and its applications, Proc. Amer. Math. Soc.146(2018), 4619–4631

2018
[53]

Lu, Q.-S

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

2007
[54]

Math.169(2009), 89–108

,Hopf algebras with rigid dualizing complexes, Israel J. Math.169(2009), 89–108

2009
[55]

J. C. McConnell and J. C. Robson,Noncommutative Noetherian Rings, Wiley Interscience, 1987

1987
[56]

Z. Mi, Q. Wu, and M. Yakimov,The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra, Trans. Amer. Math. Soc.378(2025), no. 5, 3471–3505, DOI 10.1090/tran/9354. MR4891381

work page doi:10.1090/tran/9354 2025
[57]

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

1975
[58]

Montgomery,Hopf algebras and their Actions on Rings, CBMS Regional Conference Series in Math., vol

S. Montgomery,Hopf algebras and their Actions on Rings, CBMS Regional Conference Series in Math., vol. 82, Amer. Math. Soc., 1993

1993
[59]

I. M. Musson.Lie superalgebras and enveloping algebras, Grad. Studies in Math.V ol. 131, Amer. Math. Soc., Providence, RI, 2012

2012
[60]

Nguyen, K

B. Nguyen, K. Trampel, and M. Yakimov,Noncommutative discriminants via Poisson primes, Adv. Math. 322(2017), 269–307

2017
[61]

D. S. Passman,The Algebraic Structure of Group Rings, Pure and Applied Mathematics, vol. 82, Wiley Interscience, 1977

1977
[62]

D. E. Radford,The order of the antipode of a finite dimensional Hopf algebra is finite, Amer. J. Math. 98(1976), no. 2, 333–355

1976
[63]

Zhang,Skew Calabi-Yau algebras and homological identities, Adv

Manuel Reyes, Daniel Rogalski, and James J. Zhang,Skew Calabi-Yau algebras and homological identities, Adv. Math.264(2014), 308–354

2014
[64]

Rogalski, R

D. Rogalski, R. Won, and J. J. Zhang,A proof of the Brown-Goodearl conjecture for module-finite weak Hopf algebras, Algebra Number Theory15(2021), 971–997

2021
[65]

Zhang,Homological integrals for weak Hopf algebras, J

Daniel Rogalski, Robert Won, and James J. Zhang,Homological integrals for weak Hopf algebras, J. Algebra692(2026), 173–204

2026
[66]

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. Algebra306(2006), 622-633

2006
[67]

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

2007
[68]

Math.245(2021), 735–772

,Flatness over PI coideal subalgebras, Israel J. Math.245(2021), 735–772

2021
[69]

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

1985
[70]

P. F. Smith,On the dimension of group rings, Proc. London Math. Soc.25(1972), 288-302

1972
[71]

Stafford and J.J

J.T. Stafford and J.J. Zhang,Homological properties of (graded) Noetherian PI rungs, J. Algebra.168 (1994), 988-1026

1994
[72]

Takeuchi,Free Hopf algebras generated by coalgebras, J

M. Takeuchi,Free Hopf algebras generated by coalgebras, J. Math. Soc. Japan23(1971), 561–582

1971
[73]

Van den Bergh,A relation between Hochschild homology and cohomology for Gorenstein rings, Proc

M. Van den Bergh,A relation between Hochschild homology and cohomology for Gorenstein rings, Proc. Amer. Math. Soc.126(1998), no. 5, 1345–1348. Also Erratum:Proc. Amer. Math. Soc., 130, (2002), 2809-2810

1998
[74]

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

2013
[75]

C. A. Weibel,An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. AS-GORENSTEIN HOPF ALGEBRAS 25

1994
[76]

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

2016
[77]

Wu and J.J

Q.-S. Wu and J.J. Zhang,Noetherian PI Hopf algebras are Gorenstein, Trans. Amer. Math. Soc.355 (2003), 1043-1066

2003
[78]

Wu and J

Q.-S. Wu and J. J. Zhang,Regularity of involutory PI Hopf algebras, J. Algebra256(2002), 599–610

2002
[79]

Yakimov,On the spectra of quantum groups, Mem

M. Yakimov,On the spectra of quantum groups, Mem. Amer. Math. Soc.229(2014), no. 1078, vi+91

2014
[80]

Yi,Injective homogeneity and homological homogeneity of the Ore extensions, Acta Math

Z. Yi,Injective homogeneity and homological homogeneity of the Ore extensions, Acta Math. Sinica (N.S.) 13(1997), 433–442. A Chinese summary appears in Acta Math. Sinica40(1997), no. 6, 951

1997

Showing first 80 references.