Pith. sign in

REVIEW 3 major objections 3 minor 31 references

Hopf formulae for cocommutative Hopf algebras

T0 review · 3 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every cocommutative Hopf algebra has a fundamental group computed by a Hopf formula, and every cleft extension yields a five-term homology exact sequence.

desk verdict A serious adaptation of categorical Galois theory to cocommutative Hopf algebras; the Hopf formula and 5-term sequence are new, and the one flagged gap in Prop 5.4 is standard and easily fixed. read the letter →

arxiv 2509.09992 v1 pith:CLD33PJR submitted 2025-09-12 math.CT math.QAmath.RAmath.RT

Marino Gran , Andrea Sciandra This is my paper · ORCID
classification math.CTmath.QAmath.RAmath.RT MSC 18E1316T0518G50
keywords cocommutativeHopfalgebrascleftextensionscategoricalGaloistheoryformulafundamentalgrouphomologyofsemi-abeliancategoriesprojectivepresentations
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that the homological machinery developed for groups and other semi-abelian categories applies to cocommutative Hopf algebras. Its main result is an explicit Hopf formula: for any cocommutative Hopf algebra B, the fundamental group π1(B) is isomorphic to a quotient of the intersection of the kernel and the commutator of any projective presentation with respect to the class of cleft extensions, so this quotient is a presentation-independent invariant. The paper also proves that every cleft extension gives a five-term exact sequence linking the low-dimensional homology Hopf algebras of the kernel, the total algebra, and the base, mirroring a classical sequence from group theory. A reader should care because this turns an abstract Galois-theoretic fundamental group into concrete, computable algebraic data and opens cocommutative Hopf algebras to the same homological analysis as groups.

What carries the argument

The carrying mechanism is the class E of cleft extensions: surjective morphisms of cocommutative Hopf algebras that admit a section as coalgebra maps. Because the free Hopf algebra on any cocommutative coalgebra is E-projective, every B has an E-projective presentation and a weak E-universal normal extension f:A→B. The Galois groupoid of f is obtained by abelianising its kernel pair, and π1(B) is the automorphism group of zero of that groupoid. The concrete commutator formulas available in this category let the abstract group be rewritten as the explicit quotient in the Hopf formula, and the snake lemma applied to a diagram of such presentations yields the five-term exact sequence.

What would settle it

Take B=k[G] for a finite nonabelian group G and build two different E-projective presentations of B, for instance using free Hopf algebras on different coalgebras; computing the quotient from the Hopf formula in both cases and finding non-isomorphic results would falsify the claimed presentation-independence.

Watch

Extended reading notes

Core claim

For any cocommutative Hopf algebra B, the fundamental group π1(B), defined as the automorphism group of zero of the Galois groupoid of a weak universal cleft extension, is isomorphic to the quotient (Hker(p) ∩ [P,P]) / ((Hker(p) ∩ [P,P])[Hker(p),P]_+), for every E-projective presentation p:P→B. Here Hker(p) is the Hopf kernel of p and [·,·] is the categorical commutator of Hopf subalgebras. This quotient is a presentation-independent invariant, so it defines the second homology H2(B). Moreover, every cleft extension f:A→B fits into the five-term exact sequence H2(A)→H2(B)→Hker(f)/([Hker(f),A])_+→H1(A)→H1(B)→0, a Hopf-algebra analogue of the classical five-term exact sequence in group homolog

Load-bearing premise

The classification theorem assumes, without proof in the paper, that every weak universal cleft extension is an effective descent morphism in the category of cocommutative Hopf algebras; this is what lets discrete fibrations over the Galois groupoid be pulled back to genuine extensions of B. The Hopf formula and the five-term exact sequence do not depend on this step.

Editorial extensions

If this is right

  • The quotient in the Hopf formula is independent of the chosen E-projective presentation, so π1(B)=H2(B) is a well-defined invariant of every cocommutative Hopf algebra.
  • Every cleft extension f:A→B yields a computable five-term exact sequence, with the middle term measuring the failure of the kernel to be central in A.
  • Normal cleft extensions of B are classified by split epic discrete fibrations over the Galois groupoid of a weak universal extension, reducing extension problems to data in an abelian category.
  • The existence of enough E-projective objects makes further homological invariants of cocommutative Hopf algebras available in principle.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The authors leave open the possibility that the Hopf formula lifts to higher homology H_n(B) via n-dimensional E-projective presentations, in analogy with higher Hopf formulae for groups; this is an inference, not a proved statement.
  • If the effective-descent assumption in the classification theorem can be established, normal extension problems for cocommutative Hopf algebras would become concretely computable from discrete fibrations.
  • The same categorical setup may adapt to cocommutative Hopf braces and other semi-abelian Hopf-like structures, since the required category-theoretic hypotheses already appear to hold there.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper develops categorical Galois theory for cocommutative Hopf algebras over a field k, with respect to the class E of cleft extensions (surjective Hopf algebra maps admitting a coalgebra section). It proves that the free Hopf algebra functor provides enough E-projective objects, constructs a weak E-universal normal extension for every cocommutative Hopf algebra B by centralizing the canonical free presentation, and states a classification of normal E-extensions by split discrete fibrations over the Galois groupoid. The central result is a Hopf formula: for any E-projective presentation p:P→B, the fundamental group (second homology) π1(B) is isomorphic to (Hker(p)∩[P,P]) / ((Hker(p)∩[P,P])[Hker(p),P]_+). The paper also derives a 5-term exact sequence H2(A)→H2(B)→Hker(f)/(Hker(f)[Hker(f),A]_+)→H1(A)→H1(B)→0 for any cleft extension f:A→B, as a Hopf-algebra analogue of the Stallings–Stammbach sequence.

Significance. If the results hold, they give an explicit, checkable description of the second homology of cocommutative Hopf algebras and a new Hopf-theoretic analogue of classical group homology sequences. A clear strength is that the main formula is presentation-independent and expressed by concrete commutator quotients; the proofs are largely detailed and built on established semi-abelian and categorical Galois theory. The paper involves no fitted parameters or numerical data, and the main derivation is algebraic and reproducible from the stated lemmas. The classification theorem and the exact sequence are natural contributions that would be of interest to readers working in categorical algebra and Hopf algebra theory.

major comments (3)
  1. [§5.1, proof of Prop. 5.4] The proof twice uses the statement that f is an effective descent morphism in Hopf_{k,coc} without proof or reference. This assertion is load-bearing: it is used to pass from split discrete fibrations over Gal(f) back to extensions of B. The statement is true—Hopf_{k,coc} is semi-abelian, hence Barr-exact, and regular epimorphisms in Barr-exact categories are effective descent by Janelidze–Tholen—but the manuscript should cite the theorem explicitly and verify that f∈E is a regular epimorphism. As written, the classification theorem depends on an unproved premise.
  2. [§6, Remark 6.1 and definition of π1(B)] The claim that any two weak E-universal normal extensions f:A→B and g:C→B have equivalent kernel pairs is not established. Weak universality only gives morphisms h:A→C and k:C→A with gh=f and fk=g; the induced morphism on kernel pairs need not be an isomorphism, since the composite involves kh, which is not forced to be the identity. This matters because π1(B) is defined as Aut_{Gal(f)}(0); without a proof of independence, the fundamental group is not yet well-defined. Please either prove directly that the two induced maps on Aut(0) are mutually inverse, or define π1(B) via the Hopf formula of Proposition 6.3 and then identify it with the Galois-theoretic automorphism group.
  3. [§6, Prop. 6.3] The proof states that centralizing an arbitrary E-projective presentation p:P→B yields a weak E-universal normal extension 'as in the proof of Proposition 5.2,' but the universality step is only sketched. One needs to show that for any normal extension g:C→B in E, the E-projectivity of P gives a map h:P→C with gh=p, and that h kills [Hker(p),P] because Hker(g) is central in C and h preserves Huq commutators up to inclusion. The present proof asserts the factorization through the centralization without these details; please expand this argument.
minor comments (3)
  1. [§6, Eq. (15)] The index bookkeeping in formula (15) looks inconsistent: the displayed generator is a1 b1 S(a2) S(b2), but the condition uses a2 b2 S(a3) S(b3) and also swaps to b1 a1 while the right-hand side is ba⊗1. Please align the indices with the derivation in the proof of Theorem 6.2.
  2. [§5.1] The notation SSpl_E(E,p) uses E both for the class of extensions and for the object E that is the domain of p. This is confusing; use a different letter such as X for the object, or write p:X→B.
  3. [Throughout] Minor typos: 'througout' in Section 3, 'parallelipiped' in the proof of Proposition 6.3. Also, in the display of Theorem 6.7 the quotient Hker(f)/(Hker(f)[Hker(f),A]_+) should be parenthesized for readability.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the Hopf formula is derived from independent background results; the only flagged gap is an omitted justification in Prop 5.4, not a circular step.

full rationale

The central derivation is self-contained relative to published, independent background: Takeuchi's adjunction [31], semi-abelianness and Huq commutator facts from [16] (a published JPAA paper, not a restatement of the target result), and Janelidze's categorical Galois method [19]. No fitted parameters or data are involved, and no quotient or homology group is introduced as a 'prediction' that is actually an input by construction. The fundamental group π1(B) is defined via the Galois groupoid of a weak E-universal normal extension, then Theorem 6.2 identifies it with Hker(f)∩[A,A] by pullback/kernel arguments, and Proposition 6.3 computes the same object from an arbitrary E-projective presentation by centralization. The Hopf formula is therefore a genuine theorem, not a renaming or a re-insertion of the definition. The later definition of H2(B) as that invariant quotient is a convenient notation after the invariance proof, not the source of the formula. The 5-term exact sequence is proved from E-projectivity, commutator identities, and the double-quotient isomorphism theorem, again without assuming the conclusion. The only flagged gap is in the proof of Proposition 5.4, where the text states 'Since f is an effective descent morphism in Hopf_{k,coc}' without proof or reference. This is an omitted justification, not a circular reduction: it is a standard fact for regular epimorphisms in the Barr-exact semi-abelian category Hopf_{k,coc}, and it is not used in the proof of the Hopf formula (Theorem 6.2, Proposition 6.3) or in the Stallings–Stammbach sequence (Theorem 6.7). The self-citation [15] appears only in the motivational remark about Hopf braces and is not load-bearing; [16] is load-bearing but is an independent published theorem. Thus the paper shows no circularity in its main derivation, and the score reflects only the minor non-load-bearing self-citation and the terseness of the effective-descent step.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

The central claims rest on an extensive background of categorical algebra; all inputs are imported theorems, not fitted parameters. No entity is invented. The most fragile imported input is the effective-descent property used in Prop 5.4.

assumptions (9)
  • domain assumption Hopf_{k,coc} is semi-abelian, and regular epimorphisms coincide with surjective Hopf algebra maps.
    Imported from [16]; used throughout, e.g. Props 4.1, 5.2 and Thm 6.7.
  • domain assumption The Takeuchi adjunction F -| U: Hopf_{k,coc} -> Coalg_{k,coc} exists and Hopf_{k,coc} is monadic over Coalg_{k,coc}.
    From [31] and [27]; yields counit components in E (Lemma 3.3) and E-projectivity of free Hopf algebras (Lemma 3.6).
  • domain assumption The unit of the Takeuchi adjunction is a monomorphism.
    From [31, Corollaries 6 and 9]; used in the free Hopf algebra construction.
  • domain assumption The abelianisation reflector ab to Hopf^{com}_{k,coc} is a Birkhoff subcategory, making the Galois structure admissible.
    From [20] and [16]; characterizes normal extensions as central extensions, used in Props 4.1 and 5.4.
  • domain assumption The Huq commutator of normal Hopf subalgebras is preserved by regular images.
    From [16, Prop 4.2]; used in Prop 5.2 and Thm 6.7 to push commutators through quotients.
  • standard math Newman's bijection: ker([p]) = [P,P] Hker([p])_+ for a regular epimorphism p.
    Cited [26, Thm 4.1]; load-bearing in Lemma 6.6 to identify kernels.
  • standard math The Snake Lemma holds in the semi-abelian category Hopf_{k,coc}.
    Cited [5]; used in the proof of Thm 6.7.
  • domain assumption Every regular epimorphism in Hopf_{k,coc} is an effective descent morphism.
    Used without proof in Prop 5.4; a known type of fact for semi-abelian categories, but no reference is supplied.
  • domain assumption For cocommutative Hopf algebras, the antipode satisfies S^2 = id and the crossed-product compatibility conditions hold automatically.
    Used in Remark 2.6 and Lemma 3.3; restricts the whole paper to the cocommutative case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hopf formulae for cocommutative Hopf algebras." pith.science (2026). https://pith.science/paper/CLD33PJR

@misc{pith2026250909992,
  author       = {Pith},
  title        = {Pith review of: Hopf formulae for cocommutative Hopf algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CLD33PJR}},
  note         = {Machine review of arXiv:2509.09992}
}
abstract

The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class $\mathcal{E}$ of cleft extensions. One then proves that, for any cocommutative Hopf algebra, there exists a weak $\mathcal{E}$-universal normal (=central) extension. This fact allows one to apply the methods of categorical Galois theory to classify normal $\mathcal{E}$-extensions and to provide an explicit description of the fundamental group of a cocommutative Hopf algebra in terms of a generalized Hopf formula. Moreover, with any cleft extension, we associate a 5-term exact sequence in homology that can be seen as a Hopf-theoretic analogue of the classical Stallings-Stammbach exact sequence in group theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 2 linked inside Pith

  1. [8]

    Duckerts-Antoine, T

    M. Duckerts-Antoine, T. Everaert,A classification theorem of normal extensions, preprint (2016), arXiv:1604.02604v1

    arXiv 2016

  2. [1]

    Agore, C.G

    A.L. Agore, C.G. Bontea, G. Militaru,Classifying coalgebra split extensions of Hopf algebras. J. Algebra Appl. 12 (2013), no. 5, 1250227, 24 pp

    2013

  3. [2]

    Angiono, C

    I. Angiono, C. Galindo, L. Vendramin,Hopf braces and Yang–Baxter operators. Proc. Amer. Math. Soc. 145, 5 (2017), 1981–1995

    2017

  4. [3]

    Ardizzoni, C

    A. Ardizzoni, C. Menini, P. Saracco,On the Hopf envelope of finite-dimensional bialgebras, preprint (2025), arXiv:2504.05821

    arXiv 2025

  5. [4]

    Borceux, M.M

    F. Borceux, M.M. Clementino,Topological semi-abelian algebras. Adv. Math. 190 (2005), 425–453

    2005

  6. [5]

    Bourn,3×3-Lemma and Protomodularity

    D. Bourn,3×3-Lemma and Protomodularity. J. Algebra 236 (2001) 778-795

    2001

  7. [6]

    Bourn, M

    D. Bourn, M. Gran,Central extensions in semi-abelian categories. J. Pure Appl. Algebra 175 (2002) 31-44

    2002

  8. [7]

    Duckerts-Antoine,Fundamental group functors in descent-exact homological categories

    M. Duckerts-Antoine,Fundamental group functors in descent-exact homological categories. Adv. Math. 310 (2017), 64–120

    2017

Show all 31 references
  1. [9]

    Everaert, M

    T. Everaert, M. Gran,On low-dimensional homology in categories. Homology, Homotopy and Appl. 9 (1) (2007) 275-293

    2007

  2. [10]

    Everaert, M

    T. Everaert, M. Gran,Monotone-light factorisation systems and torsion theories. Bull. Sci- ences Mathématique 137 (2013), 996-1006. 22 MARINO GRAN AND ANDREA SCIANDRA

    2013

  3. [11]

    Everaert, M

    T. Everaert, M. Gran,Protoadditive functors, derived torsion theories, and homology. J. Pure Appl. Algebra 219 (8) (2015), 3629-3676

    2015

  4. [12]

    Everaert, M

    T. Everaert, M. Gran, T. Van der Linden,Higher Hopf formulae for homology via Galois theory. Adv. in Math. 217 (2008) 2231-2267

    2008

  5. [13]

    Everaert, T

    T. Everaert, T. Van der Linden,Baer invariants in semi-abelian categories II: Homology. Theory Appl. Categ. 12 (4) (2004) 195–224

    2004

  6. [14]

    Galois Theory, Hopf Algebras and Semiabelian Categories

    M. Gran,Applications of Categorical Galois Theory in Universal Algebra, in “Galois Theory, Hopf Algebras and Semiabelian Categories", The Fields Institute Communications Series, Vol. 43, (2004) 243-280

    2004

  7. [15]

    M. Gran, A. Sciandra,Hopf braces and semi-abelian categories, preprint (2025), arXiv:2411.19238

    2025 arXiv

  8. [16]

    M. Gran, F. Sterck, J. Vercruysse,A semi-abelian extension of a theorem by Takeuchi. J. Pure Appl. Algebra 223 (10) (2019) 4171–4190

    2019

  9. [17]

    Huq,Commutator, nilpotency, and solvability in categories

    S.A. Huq,Commutator, nilpotency, and solvability in categories. Q. J. Math. Oxf. Ser. (2) 19 (1968) 363–389

    1968

  10. [18]

    Janelidze,Pure Galois theory in categories

    G. Janelidze,Pure Galois theory in categories. J. Algebra 132 (1990), no. 2, 270–286

    1990

  11. [19]

    Janelidze,Galois Groups, Abstract Commutators, and Hopf Formula

    G. Janelidze,Galois Groups, Abstract Commutators, and Hopf Formula. Appl. Categ. Struc- tures 16 (2007) 653–668

    2007

  12. [20]

    Janelidze, G.M

    G. Janelidze, G.M. Kelly,Galois theory and a general notion of central extension. J. Pure Appl. Algebra 97 (1994) 135-161

    1994

  13. [21]

    Janelidze, G.M

    G. Janelidze, G.M. Kelly,The reflectiveness of covering morphisms in algebra and geometry. Theory Appl. Categ. 3 (1997), no. 6, 132-159

    1997

  14. [22]

    Janelidze, L

    G. Janelidze, L. Márki, W. Tholen,Semi-abelian categories. J. Pure Appl. Algebra 168 (2002) 367-386

    2002

  15. [23]

    Kreimer, M

    H.F. Kreimer, M. Takeuchi,Hopf algebras and Galois extensions of an algebra. Indiana Univ. Math. J. 30 (1981), no. 5, 675–692

    1981

  16. [24]

    Manin,Quantum Groups and Noncommutative Geometry

    Y.I. Manin,Quantum Groups and Noncommutative Geometry. Université de Montreal, Cen- tre de Recherches Mathematiques, Montreal, QC, 1988

    1988

  17. [25]

    Montgomery,Hopf Algebras and Their Actions on Rings

    S. Montgomery,Hopf Algebras and Their Actions on Rings. CBMS Regional Conference Series in Math., vol. 82, AMS, 1994

    1994

  18. [26]

    Newman,A correspondence between bi-ideals and sub-Hopf algebras in cocommutative Hopf algebras

    K. Newman,A correspondence between bi-ideals and sub-Hopf algebras in cocommutative Hopf algebras. J. Algebra 36 (1) (1975) 1–15

    1975

  19. [27]

    Porst.The formal theory of Hopf algebras

    H.-E. Porst.The formal theory of Hopf algebras. Part II: The case of Hopf algebras. Quaest. Math., 38(5):683–708, 2015

    2015

  20. [28]

    Rodelo, T

    D. Rodelo, T. Van der Linden,Higher central extensions and cohomology. Adv. Math. 287 (2016) 31-108

    2016

  21. [29]

    Stallings,Homology and central series of groups

    J. Stallings,Homology and central series of groups. J. Algebra 2 (1965), 170-181

    1965

  22. [30]

    Sweedler,Hopf Algebras

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

    1969

  23. [31]

    G. Peano

    M. Takeuchi,Free Hopf algebras generated by coalgebras. J. Math. Soc. Japan 23 (1971), 561–582. Institut de Recherche en Mathématique et Physique, Université Catholique de Louvain, Chemin du Cyclotron 2, B-1348 Louvain-la-Neuve, Belgium. Email address:marino.gran@uclouvain.be ...

    1971

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.