pith. sign in

arxiv: 2606.01646 · v2 · pith:4QMPWZQMnew · submitted 2026-06-01 · 🧮 math.RA · math.QA

A Noetherian Hopf algebra is affine iff its Hopf coradical is affine

Huan Jia , Yinhuo Zhang This is my paper

Pith reviewed 2026-06-28 12:08 UTC · model grok-4.3

classification 🧮 math.RA math.QA
keywords Noetherian Hopf algebraaffine Hopf algebraHopf coradicalcoradical filtrationWu-Zhang questiondual Chevalley property
0
0 comments X

The pith

A left or right Noetherian Hopf algebra over a field is affine if and only if its Hopf coradical is affine.

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

This paper establishes a necessary and sufficient condition for the affineness of left or right Noetherian Hopf algebras. Such a Hopf algebra is affine precisely when its Hopf coradical is affine. This reduces the verification of affineness to the first step of the coradical filtration. The result also shows that the Hopf coradical of an affine Hopf algebra is always affine. It yields several corollaries for Hopf algebras satisfying additional properties like having a cocommutative coradical.

Core claim

We prove that a left or right Noetherian Hopf algebra over K is affine if and only if its Hopf coradical is affine. This characterization concentrates the burden of verification onto the first filtration step, yielding a criterion that is structurally transparent and highly operational. To establish necessity, we show that the Hopf coradical of an affine Hopf algebra inherits the property of being affine.

What carries the argument

The Hopf coradical, the sub Hopf algebra generated at the base of the coradical filtration, which determines the affineness of the full algebra under the Noetherian hypothesis.

If this is right

  • If the Hopf coradical is affine then the Noetherian Hopf algebra is affine.
  • If the Noetherian Hopf algebra is affine then its Hopf coradical is affine.
  • A left or right Noetherian Hopf algebra is affine when its coradical forms a subalgebra.
  • A left or right Noetherian Hopf algebra is affine when its coradical is cocommutative.
  • A left or right Noetherian Hopf algebra is affine when its Hopf coradical is commutative.

Where Pith is reading between the lines

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

  • The criterion might allow systematic checks for affineness in families of Hopf algebras by first examining their coradicals.
  • This equivalence could connect to questions about the structure of filtered algebras in noncommutative algebra.
  • Testing on known examples of Noetherian Hopf algebras would verify the practical utility of the reduction.

Load-bearing premise

The non-commutative reduction orders, factorization theory, and generalized lifting methodology from the cited prior work extend without obstruction to the Noetherian Hopf algebra setting.

What would settle it

A left or right Noetherian Hopf algebra over a field that is affine while its Hopf coradical is not affine, or the reverse, would disprove the claimed equivalence.

read the original abstract

Let $\K$ denote a field. Extending the structural frameworks established in \cite{JZ2025-2}, this paper introduces novel techniques utilizing non-commutative reduction orders, factorization theory, and the generalized lifting methodology. We establish a definitive necessary and sufficient criterion for the affineness of Noetherian Hopf algebras, thereby providing a significant advancement toward resolving the long-standing Wu--Zhang question \cite{WZ2003}. Specifically, we prove that a left or right Noetherian Hopf algebra over $\K$ is affine if and only if its Hopf coradical is affine. This characterization fundamentally concentrates the burden of verification onto the first filtration step, yielding a criterion that is structurally transparent and highly operational. To establish necessity, we provide an essential intrinsic result demonstrating that the Hopf coradical of an affine Hopf algebra inherits the property of being affine. Furthermore, as direct applications of this equivalence, we prove that a left or right Noetherian Hopf algebra $H$ is affine provided that its coradical $H_{(0)}$ forms a subalgebra (the dual Chevalley property), its coradical $H_{(0)}$ is cocommutative, or its Hopf coradical $H_{[0]}$ is commutative.

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

1 major / 0 minor

Summary. The manuscript proves that over a field K, a left or right Noetherian Hopf algebra H is affine if and only if its Hopf coradical is affine. Necessity follows from an intrinsic result that the Hopf coradical of any affine Hopf algebra remains affine. Sufficiency is obtained by extending non-commutative reduction orders, factorization theory, and generalized lifting from the authors' prior work JZ2025-2, with novel techniques introduced for the Hopf setting. Applications establish affineness when the coradical H_{(0)} is a subalgebra (dual Chevalley property), when H_{(0)} is cocommutative, or when the Hopf coradical H_{[0]} is commutative. The result is framed as reducing the affineness question to the first filtration step and advancing the Wu-Zhang question.

Significance. If the central iff statement holds, the criterion is structurally transparent and operationally useful, as it concentrates verification on the Hopf coradical. The necessity direction supplies an intrinsic fact independent of the sufficiency argument. The paper explicitly credits the extension of frameworks from JZ2025-2 while claiming novel techniques for the Noetherian Hopf case, and the applications to the listed special cases follow directly from the main theorem.

major comments (1)
  1. The sufficiency direction rests on the claim that the non-commutative reduction orders and generalized lifting from JZ2025-2 extend without obstruction to the Noetherian Hopf algebra setting. The manuscript should supply, in the introduction or the section introducing the novel techniques, an explicit verification that the Hopf algebra axioms and the Noetherian hypothesis do not introduce new obstructions to the factorization theory used in the prior work.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We appreciate the recognition of the result's significance and its potential to advance the Wu-Zhang question. We address the single major comment below.

read point-by-point responses

  1. Referee: The sufficiency direction rests on the claim that the non-commutative reduction orders and generalized lifting from JZ2025-2 extend without obstruction to the Noetherian Hopf algebra setting. The manuscript should supply, in the introduction or the section introducing the novel techniques, an explicit verification that the Hopf algebra axioms and the Noetherian hypothesis do not introduce new obstructions to the factorization theory used in the prior work.

    Authors: We agree that an explicit verification would improve the clarity of how the frameworks from JZ2025-2 extend to the Hopf setting. In the revised manuscript, we will add a dedicated paragraph in the introduction (immediately following the statement of the main theorem) that verifies the compatibility: the Hopf algebra axioms (coassociativity, counit, and antipode) are preserved under the non-commutative reduction orders because the coradical filtration is a Hopf filtration, and the Noetherian hypothesis ensures that the factorization theory applies without new obstructions, as the generalized lifting respects the Hopf structure. This addition will not alter the existing proofs but will make the extension transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a new if-and-only-if theorem: a left or right Noetherian Hopf algebra over K is affine iff its Hopf coradical is affine. Necessity rests on an intrinsic result that the Hopf coradical of an affine Hopf algebra remains affine. Sufficiency applies extended techniques (non-commutative reduction orders, factorization, generalized lifting) from the cited prior work, but the central claim does not reduce by construction to those inputs, nor does any equation or definition equate the theorem to a self-citation or fitted parameter. No self-definitional, fitted-prediction, uniqueness-imported, or renaming patterns appear. The self-citation supports methodological extension in a standard mathematical manner and does not render the derivation equivalent to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard field and ring axioms plus the assumption that the techniques of the cited prior paper apply; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math K is a field
    Standard base ring assumption stated at the opening of the abstract.
  • domain assumption H is left or right Noetherian
    The theorem is conditioned on the Noetherian property throughout the abstract.

pith-pipeline@v0.9.1-grok · 5753 in / 1216 out tokens · 28684 ms · 2026-06-28T12:08:33.323427+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

30 extracted references · 5 canonical work pages · 3 internal anchors

  1. [1]

    On infinite-dimensional Hopf algebras

    N. Andruskiewitsch, On infinite-dimensional Hopf algebras, Preprint (2023) arxiv:2308.13120

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  2. [2]

    Andruskiewitsch and J

    N. Andruskiewitsch and J. Cuadra, On the structure of (co-Frobenius) Hopf algebras, J. Noncomm. Geom. 7(2013), 83–104

    2013

  3. [3]

    Andruskiewitsch and H-J

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

    1998

  4. [4]

    Brown, Noetherian Hopf algebras, Turkish J

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

    2007

  5. [5]

    Report on $AS$-Gorenstein Hopf algebras

    K.A. Brown, Report onAS-Gorenstein Hopf algebras, Preprint (2026) arXiv:2605.00774

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  6. [6]

    Brown and P

    K.A. Brown and P. Gilmartin, Hopf algebras under finiteness conditions, Palestine Journal of Mathematics 3, 2014

    2014

  7. [7]

    Chirvasitu, Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras, Algebra Number Theory 8(2014), 1179–1199

    A. Chirvasitu, Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras, Algebra Number Theory 8(2014), 1179–1199

    2014

  8. [8]

    Noetherian Hopf algebras

    K.R. Goodearl, Noetherian Hopf algebras, Glasgow Math. J.55(2013), 75–87; arXiv:1201.4854

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  9. [9]

    Goodearl and R.B

    K.R. Goodearl and R.B. Warfield Jr., An Introduction to Noncommutative Noetherian Rings, second edition, London Math. Soc. Stud. Texts, vol. 61, Cambridge University Press, Cambridge, 2004

    2004

  10. [10]

    Goodearl and J.J

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

    2017

  11. [11]

    Jia, Graded pointed Hopf algebras, PBW bases and noncommutative binomial theorem, PhD thesis at Uhasselt, 2023

    H. Jia, Graded pointed Hopf algebras, PBW bases and noncommutative binomial theorem, PhD thesis at Uhasselt, 2023

    2023

  12. [12]

    Jia and Y.H

    H. Jia and Y.H. Zhang, Affineness on Noetherian graded algebras and graded Hopf algebras, Commun. Algebra (2026); arXiv:2503.12268

    work page arXiv 2026

  13. [13]

    Jia and Y.H

    H. Jia and Y.H. Zhang, Noetherian pointed Hopf algebras are affine, Preprint (2025) arXiv:2511.19293

    work page arXiv 2025

  14. [14]

    Kharchenko, A quantum analogue of the Poincar´ e-Birkhoff-Witt theorem, Algebra Log.38(1999), 476–507

    V.K. Kharchenko, A quantum analogue of the Poincar´ e-Birkhoff-Witt theorem, Algebra Log.38(1999), 476–507

    1999

  15. [15]

    Larson, Characters of Hopf algebras, J

    R.G. Larson, Characters of Hopf algebras, J. Algebra17, 352–368

  16. [16]

    Lothaire, Combinatorics on words, Cambridge Mathematical Library

    M. Lothaire, Combinatorics on words, Cambridge Mathematical Library. Cambridge University Press, Cam- bridge, 1997. With a foreword by Roger Lyndon and a preface by Dominique Perrin, Corrected reprint of the 1983 original, with a new preface by Perrin

    1997

  17. [17]

    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

  18. [18]

    Montgomery, Hopf algebras and their actions on rings, CMBS 82, Amer

    S. Montgomery, Hopf algebras and their actions on rings, CMBS 82, Amer. Math. Soc., 1993

    1993

  19. [19]

    Nichols and M.B

    W.D. Nichols and M.B. Zoeller, A Hopf algebra freeness theorem, Amer. J. Math.111(1989), 381–385

    1989

  20. [20]

    Radford, Pointed Hopf algebras are free over Hopf subalgebras, J

    D.E. Radford, Pointed Hopf algebras are free over Hopf subalgebras, J. Algebra45(2) (1977), 266–273

    1977

  21. [21]

    Radford, The structure of Hopf algebras with a projection, J

    D.E. Radford, The structure of Hopf algebras with a projection, J. Algebra92(1985), 322–347

    1985

  22. [22]

    Radford, Hopf algebras, volume 49 of Series on Knots and Everything, World Scientific Publishing Co

    D.E. Radford, Hopf algebras, volume 49 of Series on Knots and Everything, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2012. A NOETHERIAN HOPF ALGEBRA IS AFFINE IFF ITS HOPF CORADICAL IS AFFINE 33

    2012

  23. [23]

    M. Rosso, Lyndon words and Universal R-matrices, talk at MSRI, October 26, 1999, available at http://www.msri.org/workshops/39/schedules/25453; Lyndon basis and the multiplicative formula for R- matrices, preprint (2003)

    1999

  24. [24]

    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

  25. [25]

    Sweedler, Hopf Algebras, Benjamin, New York, 1969

    M.E. Sweedler, Hopf Algebras, Benjamin, New York, 1969

    1969

  26. [26]

    Takeuchi, A correspondence between Hopf ideals and sub-Hopf algebras, Manuscripta Math.7(1972), 251–270

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

    1972

  27. [27]

    Ufer, PBW bases for a class of braided Hopf algebras, J

    S. Ufer, PBW bases for a class of braided Hopf algebras, J. Algebra280(2004), 84–119

    2004

  28. [28]

    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

  29. [29]

    G.-S. Zhou, Y. Shen and D.-M. Lu, The structure of connected (graded) Hopf algebras, Adv. Math.372 (2020), 107292

    2020

  30. [30]

    Zhuang, Properties of pointed and connected Hopf algebras of finite Gelfand-Kirillov dimension, J

    G.-B. Zhuang, Properties of pointed and connected Hopf algebras of finite Gelfand-Kirillov dimension, J. London Math. Soc. (2)87(2013), 877–898. 1 Department of Mathematics, Suqian University, Suqian City 223800, Jiangsu Province, China 2 Department of Mathematics and Statistics, University of Hasselt, Universitaire Campus, 3590 Diepenbeek, Belgium Huan J...

    2013