pith. sign in

arxiv: 1907.04411 · v1 · pith:MHPMR3CInew · submitted 2019-07-09 · 🧮 math.RA · math.AT· math.CO

Split Hopf algebras, quasi-shuffle algebras, and the cohomology of Omega Sigma X

Nicholas J. Kuhn This is my paper

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

classification 🧮 math.RA math.ATmath.CO
keywords quasi-shuffle algebrasHopf algebrasFrobenius mapVerschiebungOmega Sigma Xstable homotopyDitters conjecture
0
0 comments X

The pith

Quasi-shuffle algebras generated by A and B are isomorphic as Hopf algebras precisely when A and B are isomorphic as graded vector spaces with Frobenius map.

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

The paper proves that over a perfect field of positive characteristic, two connected graded commutative algebras generate isomorphic quasi-shuffle Hopf algebras if and only if the algebras are isomorphic as graded vector spaces equipped with their p-th power maps. The proof proceeds by dualizing to a classification of free connected graded cocommutative Hopf algebras whose projection to indecomposables splits compatibly with the Verschiebung operator, drawing on non-commutative Witt vector constructions. A direct topological consequence follows for the cohomology of loop-suspension spaces. The work also treats the characteristic-zero case and characterizes when the resulting algebras are polynomial.

Core claim

The quasi-shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only if A and B are isomorphic as graded k-vector spaces equipped with a Frobenius map. This equivalence is obtained by classifying the dual objects: connected graded cocommutative Hopf algebras that are free as associative algebras and whose projection to indecomposables splits as a map of graded vector spaces with Verschiebung.

What carries the argument

Quasi-shuffle product on the tensor algebra, together with the classification of free split cocommutative Hopf algebras via non-commutative Witt vectors.

If this is right

  • The Hopf algebra H^*(Omega Sigma X; k) is determined by the stable homotopy type of X.
  • A characterization is given of when quasi-shuffle algebras are polynomial, generalizing the Ditters conjecture.
  • Analogous but simpler results hold when the base field has characteristic zero.
  • The split free cocommutative Hopf algebras are classified using non-commutative Witt vector theory.

Where Pith is reading between the lines

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

  • The result suggests that certain stable homotopy invariants can be read off directly from algebraic data in cohomology.
  • Similar splitting and classification techniques may apply to other Hopf algebra constructions arising in algebraic topology.

Load-bearing premise

The projection onto indecomposables splits as a morphism of graded vector spaces equipped with a Verschiebung map.

What would settle it

Two graded commutative algebras of finite type that are not isomorphic as vector spaces with Frobenius maps but whose generated quasi-shuffle algebras are isomorphic as Hopf algebras.

read the original abstract

Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only if A and B are isomorphic as graded k-vector spaces equipped with a Frobenius (pth-power) map. For the hardest part of this analysis, we work with the dual construction, and are led to study connected graded cocommutative Hopf algebras H with two additional properties: H is free as an associative algebra, and the projection onto the indecomposables is split as a morphism of graded k-vector spaces equipped with a Verschiebung map. Building on work on non-commutative Witt vectors by Goerss, Lannes, and Morel, we classify such free, `split' Hopf algebras. A topological consequence is that, if X is a based path connected space, then the Hopf algebra H^*(Omega Sigma X;k) is determined by the stable homotopy type of X. We also discuss the much easier analogous characteristic 0 results, and give a characterization of when our quasi--shuffle algebras are polynomial, generalizing the so-called Ditters conjecture.

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

2 major / 2 minor

Summary. The paper proves that for connected graded commutative k-algebras A and B of finite type over a perfect field k of positive characteristic p, the quasi-shuffle algebras they generate are isomorphic as Hopf algebras if and only if A and B are isomorphic as graded k-vector spaces equipped with a Frobenius (p-th power) map. The proof reduces the hard direction to a classification of connected graded cocommutative Hopf algebras that are free as associative algebras with a split projection onto indecomposables compatible with the Verschiebung map, building on Goerss-Lannes-Morel; a topological consequence is that H^*(ΩΣX; k) is determined by the stable homotopy type of X. The paper also treats the characteristic-zero case and characterizes when the quasi-shuffle algebras are polynomial, generalizing the Ditters conjecture.

Significance. If the classification of split free cocommutative Hopf algebras holds, the result gives a clean algebraic criterion for isomorphism of quasi-shuffle Hopf algebras and a determination theorem for the cohomology of loop-suspension spaces in terms of stable homotopy type. The dual-construction approach and the explicit use of prior classification results from Goerss-Lannes-Morel are strengths; the generalization of the Ditters conjecture is a further contribution.

major comments (2)
  1. [the classification section (dual construction)] The central iff statement rests on the classification of free split cocommutative Hopf algebras in the dual construction; a self-contained statement of the precise theorem invoked from Goerss-Lannes-Morel (including the exact hypotheses on the Verschiebung compatibility) should be recorded so that the reduction can be checked without external lookup.
  2. [dual construction paragraph] The assumption that the projection onto indecomposables is split as a morphism of graded vector spaces equipped with Verschiebung is load-bearing for the hardest case; the manuscript should verify that this splitting is preserved under the quasi-shuffle construction or explicitly note where it is inherited from the input algebras A and B.
minor comments (2)
  1. Notation for the Frobenius map and Verschiebung should be fixed consistently across the algebraic and topological sections.
  2. The finite-type and connectedness hypotheses are used repeatedly; a single preliminary paragraph collecting all standing assumptions would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the results, and recommendation for minor revision. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: [the classification section (dual construction)] The central iff statement rests on the classification of free split cocommutative Hopf algebras in the dual construction; a self-contained statement of the precise theorem invoked from Goerss-Lannes-Morel (including the exact hypotheses on the Verschiebung compatibility) should be recorded so that the reduction can be checked without external lookup.

    Authors: We agree that a self-contained statement will improve accessibility. In the revised manuscript we will insert, in the dual-construction section, a precise statement of the relevant classification theorem from Goerss-Lannes-Morel, including the exact hypotheses on the Verschiebung compatibility that are used in the reduction. revision: yes

  2. Referee: [dual construction paragraph] The assumption that the projection onto indecomposables is split as a morphism of graded vector spaces equipped with Verschiebung is load-bearing for the hardest case; the manuscript should verify that this splitting is preserved under the quasi-shuffle construction or explicitly note where it is inherited from the input algebras A and B.

    Authors: The splitting on the indecomposables is inherited directly from the given Frobenius structure on the input algebras A and B; the dual construction and the quasi-shuffle product preserve this compatibility by construction. We will add an explicit sentence in the dual-construction paragraph recording this inheritance so that the load-bearing assumption is clearly traced to the hypotheses on A and B. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external classification

full rationale

The paper establishes an if-and-only-if equivalence between isomorphisms of quasi-shuffle Hopf algebras and isomorphisms of graded vector spaces equipped with Frobenius maps. The hardest direction proceeds by dualizing to a classification of connected graded cocommutative Hopf algebras that are free as associative algebras with split projection to indecomposables compatible with Verschiebung; this classification is explicitly credited to the external work of Goerss-Lannes-Morel rather than derived internally or via self-citation. No equations reduce a claimed prediction to a fitted input by construction, no ansatz is smuggled through prior self-work, and the topological consequence follows directly from the algebraic equivalence. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard algebraic background without introducing new free parameters or invented entities; the classification uses existing structures under stated assumptions.

axioms (2)
  • domain assumption A and B are connected graded commutative k-algebras of finite type over perfect field k of positive characteristic p
    This is the explicit setup for the main theorem in the abstract.
  • standard math Standard properties of Hopf algebras, quasi-shuffle constructions, and Verschiebung maps
    Invoked as background for the dual construction and classification.

pith-pipeline@v0.9.0 · 5751 in / 1471 out tokens · 65396 ms · 2026-05-24T23:45:34.423381+00:00 · methodology

discussion (0)

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