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

## TL;DR

This paper characterizes when quasi-shuffle Hopf algebras generated by graded commutative algebras are isomorphic, linking algebraic structures to topological properties of spaces and classifying certain Hopf algebras in positive characteristic.

## Contribution

It provides a classification of split, free, graded cocommutative Hopf algebras with Verschiebung maps and relates algebraic isomorphisms to topological invariants of spaces.

## Key findings

- Quasi-shuffle algebras are isomorphic iff their generating algebras are Frobenius-isomorphic.
- Classified a class of free, split Hopf algebras using non-commutative Witt vectors.
- Determined the topological invariance of H^*(Omega Sigma X;k) by the stable homotopy type of X.

## 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.