pith. sign in

arxiv: 2505.06941 · v2 · pith:DWK34ELEnew · submitted 2025-05-11 · 🧮 math.CO

When are Hopf algebras determined by integer sequences?

Nicolas Andrews , Lucas Gagnon , F\'elix G\'elinas , Eric Schlums , Mike Zabrocki This is my paper

Pith reviewed 2026-05-25 07:56 UTC · model grok-4.3

classification 🧮 math.CO
keywords Hopf algebrasgraded dimensionsinteger sequencesINVERTi transformationfree algebrascocommutative coalgebrasconnected Hopf algebrasdimension sequences
0
0 comments X

The pith

A graded Hopf algebra with a prescribed sequence of dimensions exists exactly when the INVERTi transform of the sequence is nonnegative.

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

The paper studies the category of graded connected Hopf algebras that are free as noncommutative algebras and cocommutative as coalgebras. It proves that an algebra in this category realizing any given sequence of graded dimensions exists if and only if the INVERTi transformation applied to the sequence produces only nonnegative integers. The same framework supplies explicit conditions on two dimension sequences that guarantee a surjective homomorphism from one algebra onto the other or an isomorphic copy of one as a Hopf subalgebra of the other. These results turn the existence and comparison questions into direct checks on integer sequences.

Core claim

In the category of graded connected Hopf algebras that are free noncommutative algebras and cocommutative coalgebras, a Hopf algebra with given graded dimension sequence exists if and only if the INVERTi transformation of the sequence is nonnegative. The paper also supplies sequence conditions that ensure the existence of a surjective homomorphism between two such algebras or the occurrence of one as a Hopf subalgebra of the other.

What carries the argument

The INVERTi transformation of a dimension sequence, whose nonnegativity is necessary and sufficient for the existence of a Hopf algebra in the stated category with those graded dimensions.

If this is right

  • A surjective homomorphism from one algebra H to another K in the category exists whenever the dimension sequences satisfy the stated comparison conditions.
  • An isomorphic copy of H occurs as a Hopf subalgebra of K whenever the dimension sequences satisfy the stated subalgebra conditions.
  • Existence of the algebra is completely decided by nonnegativity of the INVERTi transform, without needing to exhibit generators or relations.

Where Pith is reading between the lines

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

  • The same sequence test may classify which combinatorial generating functions can arise as Hilbert series of algebras in this category.
  • The result supplies a practical way to enumerate all admissible dimension sequences by generating nonnegative integer sequences and applying the inverse of INVERTi.
  • Similar transforms might characterize dimension sequences in nearby categories obtained by relaxing commutativity or connectedness.

Load-bearing premise

The Hopf algebras under consideration are required to be free noncommutative as algebras, cocommutative as coalgebras, graded, and connected.

What would settle it

An explicit sequence of nonnegative integers whose INVERTi transform contains a negative entry, together with a concrete Hopf algebra in the category whose graded dimensions match the original sequence.

read the original abstract

We study the category of graded Hopf algebras that are free noncommutative, cocommutative, graded and connected from the perspective of the sequences of dimensions of the graded pieces. We show that a Hopf algebra exists with a given sequence of graded dimensions if and only if the ``INVERTi'' transformation of the sequence is nonnegative. We give conditions on the sequences of graded dimensions for two Hopf algebras $H$ and $K$ in this category under which there exists a surjective homomorphism from $H$ to $K$. We also give conditions such that an isomorphic copy of $H$ occurs as a Hopf subalgebra of $K$.

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

0 major / 2 minor

Summary. The manuscript studies the category of graded connected Hopf algebras that are free as noncommutative algebras and cocommutative as coalgebras. It proves that a sequence (d_n) of nonnegative integers arises as the graded dimensions of such a Hopf algebra if and only if its INVERTi transform (g_n) is a nonnegative integer sequence. The paper further supplies combinatorial conditions on the dimension sequences that guarantee the existence of a surjective Hopf homomorphism from one such algebra onto another, and conditions under which one occurs as a Hopf subalgebra of the other.

Significance. If the central iff statement holds, the result supplies an explicit, easily checkable criterion for realizability by dimension sequences in a well-studied class of Hopf algebras that includes many combinatorial examples. The necessity follows immediately from the fact that the underlying algebra must be the tensor algebra on a graded vector space whose dimensions are the g_n; sufficiency is realized by equipping that tensor algebra with the standard cocommutative coproduct whose primitives form the free Lie algebra on the same space. The additional homomorphism and subalgebra criteria extend the utility of the classification to questions of morphisms between such objects.

minor comments (2)
  1. The definition of the INVERTi transform (presumably the recursive extraction of g_n from the relation D(x) = 1/(1-G(x))) should be stated explicitly in the introduction or in a dedicated preliminary section, with the first few terms written out for clarity.
  2. The statements of the homomorphism and subalgebra criteria (Theorems 3.4 and 4.2, or whichever numbers they receive) would benefit from a short table or example that illustrates the numerical conditions on the sequences d_n and e_n.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity; direct characterization via generating functions and explicit construction

full rationale

The central claim equates existence of a graded connected Hopf algebra (free associative algebra, cocommutative coalgebra) with given dimension sequence d_n to nonnegativity of the INVERTi transform g_n. This is equivalent to the standard fact that any such algebra is isomorphic to T(V) for a graded vector space V with dim V_n = g_n, whose Hilbert series satisfies D(x) = 1/(1-G(x)). The INVERTi operation is precisely the recursive inversion extracting g_n from d_n (g_1 = d_1, g_n = d_n minus lower convolutions). Nonnegativity of g_n is necessary for dimension reasons and sufficient by the explicit construction of T(V) with the standard coproduct. No step reduces by definition to its own output, no parameters are fitted then relabeled as predictions, and no load-bearing premise rests on self-citation. The derivation is self-contained against the external benchmark of the tensor algebra construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper introduces the INVERTi transformation as the key condition, but without full text it is unclear if this is a new definition or from prior work. No free parameters or invented entities are apparent from the abstract.

axioms (1)
  • domain assumption The Hopf algebras are free noncommutative, cocommutative, graded and connected.
    This defines the category under study as per the abstract.

pith-pipeline@v0.9.0 · 5639 in / 1315 out tokens · 55354 ms · 2026-05-25T07:56:40.047693+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

38 extracted references · 38 canonical work pages

  1. [1]

    Marcelo Aguiar, Carlos Andr´ e, Carolina Benedetti, Nantel Bergeron, Zhi Chen, Persi Diaconis, Anders Hendrickson, Samuel Hsiao, I. Martin Isaacs, Andrea Jedwab, Kenneth Johnson, Gizem Karaali, Aaron Lauve, Tung Le, Stephen Lewis, Huilan Li, Kay Magaard, Eric Marberg, Jean-Christophe Novelli, Amy Pang, Franco Saliola, Lenny Tevlin, Jean-Yves Thibon, Natha...

    work page 2012

  2. [2]

    The characteristic polynomial of the Adams operators on graded connected Hopf algebras.Algebra & Number Theory, 9(3):547–583, 2015

    Marcelo Aguiar and Aaron Lauve. The characteristic polynomial of the Adams operators on graded connected Hopf algebras.Algebra & Number Theory, 9(3):547–583, 2015

    work page 2015

  3. [3]

    Cocommutative Hopf algebras of permutations and trees.Journal of Algebraic Combinatorics, 22(4):451–470, 2005

    Marcelo Aguiar and Frank Sottile. Cocommutative Hopf algebras of permutations and trees.Journal of Algebraic Combinatorics, 22(4):451–470, 2005

    work page 2005

  4. [4]

    Structure of the Malvenuto–Reutenauer Hopf algebra of permuta- tions.Advances in Mathematics, 191(2):225–275, 2005

    Marcelo Aguiar and Frank Sottile. Structure of the Malvenuto–Reutenauer Hopf algebra of permuta- tions.Advances in Mathematics, 191(2):225–275, 2005

    work page 2005

  5. [5]

    Pattern groups and a poset based Hopf monoid.Journal of Combinatorial Theory, Series A, 172:105187, 2020

    Farid Aliniaeifard and Nathaniel Thiem. Pattern groups and a poset based Hopf monoid.Journal of Combinatorial Theory, Series A, 172:105187, 2020

    work page 2020

  6. [6]

    Hopf structures in the representation theory of direct products

    Farid Aliniaeifard and Nathaniel Thiem. Hopf structures in the representation theory of direct products. Electronic Journal of Combinatorics, 29:Paper No. 4.39, 2022

    work page 2022

  7. [7]

    Grothendieck bialgebras, partition lattices, and symmetric functions in noncommutative variables.The Electronic Journal of Combinatorics, pages R75–R75, 2006

    Nantel Bergeron, Christophe Hohlweg, Mercedes Rosas, and Mike Zabrocki. Grothendieck bialgebras, partition lattices, and symmetric functions in noncommutative variables.The Electronic Journal of Combinatorics, pages R75–R75, 2006

    work page 2006

  8. [8]

    Shifted quasi- symmetric functions and the Hopf algebra of peak functions.Discrete Mathematics, 246(1–3):57–66, March 2002

    Nantel Bergeron, Stefan Mykytiuk, Frank Sottile, and Stephanie van Willigenburg. Shifted quasi- symmetric functions and the Hopf algebra of peak functions.Discrete Mathematics, 246(1–3):57–66, March 2002

    work page 2002

  9. [9]

    Richard E. Block. Commutative Hopf algebras, Lie coalgebras, and divided powers.Journal of Algebra, 96(1):275–306, 1985

    work page 1985

  10. [10]

    P. Cartier. Hyperalg` ebres et groupes formels.S´ eminaire ”Sophus Lie”, 2:1–6, 1955-1956. talk:2

    work page 1955

  11. [11]

    Springer Berlin Heidelberg, Berlin, Heidel- berg, 2007

    Pierre Cartier.A Primer of Hopf Algebras, pages 537–615. Springer Berlin Heidelberg, Berlin, Heidel- berg, 2007

    work page 2007

  12. [12]

    Free and cofree Hopf algebras.Journal of Pure and Applied Algebra, 216(2):480–494, 2012

    Lo¨ ıc Foissy. Free and cofree Hopf algebras.Journal of Pure and Applied Algebra, 216(2):480–494, 2012

    work page 2012

  13. [13]

    Primitive elements of a connected free bialgebra

    Lo¨ ıc Foissy. Primitive elements of a connected free bialgebra. arXiv preprintarXiv:2309.16199, 2023

    work page arXiv 2023

  14. [14]

    Lie theory of free cocommutative and commutative cofree Hopf alge- bras

    Lo¨ ıc Foissy and Fr´ ed´ eric Patras. Lie theory of free cocommutative and commutative cofree Hopf alge- bras. HAL preprint hal-04773293v1, 2024. 20 NICOLAS ANDREWS, LUCAS GAGNON, F ´ELIX G ´ELINAS, ERIC SCHLUMS, MIKE ZABROCKI

    work page 2024

  15. [15]

    A chromatic symmetric function in noncommuting variables.J

    David Gebhard and Bruce Sagan. A chromatic symmetric function in noncommuting variables.J. Algebr. Comb., 13(3):227–255, 2001

    work page 2001

  16. [16]

    Gelfand, Daniel Krob, Alain Lascoux, Bernard Leclerc, Vladimir S

    Israel M. Gelfand, Daniel Krob, Alain Lascoux, Bernard Leclerc, Vladimir S. Retakh, and Jean-Yves Thibon. Noncommutative symmetric functions.Advances in Mathematics, 112(2):218–348, 1995

    work page 1995

  17. [17]

    Grossman and Richard G

    Robert L. Grossman and Richard G. Larson. Hopf algebras of heap ordered trees and permutations. Communications in Algebra, 37(2):453–459, 2009

    work page 2009

  18. [18]

    The primitives of the Hopf algebra of noncommutative symmetric functions.S˜ ao Paulo Journal of Mathematical Sciences, 1:175–202, dez

    Michiel Hazewinkel. The primitives of the Hopf algebra of noncommutative symmetric functions.S˜ ao Paulo Journal of Mathematical Sciences, 1:175–202, dez. 2007

    work page 2007

  19. [19]

    Commutative combinatorial Hopf algebras.Journal of Algebraic Combinatorics, 28:65–95, 2008

    Florent Hivert, Jean-Christophe Novelli, and Jean-Yves Thibon. Commutative combinatorial Hopf algebras.Journal of Algebraic Combinatorics, 28:65–95, 2008

    work page 2008

  20. [20]

    The on-line encyclopedia of integer sequences, 2024.https://oeis.org

    OEIS Foundation Inc. The on-line encyclopedia of integer sequences, 2024.https://oeis.org

    work page 2024

  21. [21]

    Free Lie algebras, generalized Witt formula, and the denomi- nator identity.Journal of Algebra, 183:560–594, 1995

    Seok-Jim Kang and Myung-Hwan Kim. Free Lie algebras, generalized Witt formula, and the denomi- nator identity.Journal of Algebra, 183:560–594, 1995

    work page 1995

  22. [22]

    The primitives and antipode in the Hopf algebra of symmetric functions in noncommuting variables.Advances in Applied Mathematics, 47(3):536–544, 2011

    Aaron Lauve and Mitja Mastnak. The primitives and antipode in the Hopf algebra of symmetric functions in noncommuting variables.Advances in Applied Mathematics, 47(3):536–544, 2011

    work page 2011

  23. [23]

    The monomial basis and theQ-basis of the Hopf algebra of parking functions

    Teresa Xueshan Li. The monomial basis and theQ-basis of the Hopf algebra of parking functions. Journal of Algebraic Combinatorics, 42(2):473–496, 2015

    work page 2015

  24. [24]

    Numdam, 2008

    Jean-Louis Loday.Generalized bialgebras and triples of operads, volume 320 ofAst´ erisque. Numdam, 2008

    work page 2008

  25. [25]

    Grundlehren der mathematischen Wissenschaften

    Jean-Louis Loday.Cyclic Homology. Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 2013

    work page 2013

  26. [26]

    Combinatorial Hopf algebras

    Jean-Louis Loday and Mar´ ıa Ronco. Combinatorial Hopf algebras. InQuanta of maths. Conference on non commutative geometry in honor of Alain Connes, Paris, France, March 29–April 6, 2007, volume 11, pages 347–383. Amer. Math. Soc., Providence, RI, 2010

    work page 2007

  27. [27]

    Milnor and John C

    John W. Milnor and John C. Moore. On the structure of Hopf algebras.Annals of Mathematics, 81:211–264, 1965

    work page 1965

  28. [28]

    Hopf algebras and dendriform structures arising from parking functions.Fundamenta Mathematicae, 193(1):189–241, 2007

    Jean-Christophe Novelli and Jean-Yves Thibon. Hopf algebras and dendriform structures arising from parking functions.Fundamenta Mathematicae, 193(1):189–241, 2007

    work page 2007

  29. [29]

    L’alg` ebre des descentes d’une big` ebre gradu´ ee.Journal of Algebra, 170:547–566, 1994

    Fr´ ed´ eric Patras. L’alg` ebre des descentes d’une big` ebre gradu´ ee.Journal of Algebra, 170:547–566, 1994

    work page 1994

  30. [30]

    Higher Lie idempotents.Journal of Algebra, 222:51–64, 1999

    Fr´ ed´ eric Patras and Christophe Reutenauer. Higher Lie idempotents.Journal of Algebra, 222:51–64, 1999

    work page 1999

  31. [31]

    Lie representations and an algebra containing Solomon’s

    Fr´ ed´ eric Patras and Christophe Reutenauer. Lie representations and an algebra containing Solomon’s. Journal of Algebraic Combinatorics, 16:301–314, 2002

    work page 2002

  32. [32]

    On descent algebras and twisted bialgebras.Moscow Mathematical Journal, 4(1):199–216, 2004

    Fr´ ed´ eric Patras and Christophe Reutenauer. On descent algebras and twisted bialgebras.Moscow Mathematical Journal, 4(1):199–216, 2004. Author webpage link

    work page 2004

  33. [33]

    London Mathematical Society Monographs New Series

    Christophe Reutenauer.Free Lie Algebras. London Mathematical Society Monographs New Series. Oxford University Press, 1993

    work page 1993

  34. [34]

    Symmetric functions in noncommuting variables.Transactions of the American Mathematical Society, 358(1):215–232, 2006

    Mercedes Rosas and Bruce Sagan. Symmetric functions in noncommuting variables.Transactions of the American Mathematical Society, 358(1):215–232, 2006

    work page 2006

  35. [35]

    William R. Schmitt. Incidence Hopf algebras.Journal of Pure and Applied Algebra, 96:299–330, 1994

    work page 1994

  36. [36]

    Shirshov.Subalgebras of Free Lie Algebras, pages 3–13

    Anatoly I. Shirshov.Subalgebras of Free Lie Algebras, pages 3–13. Birkh¨ auser Basel, Basel, 2009

    work page 2009

  37. [37]

    Die unterringe der freien lieschen ringe.Mathematische Zeitschrift, 64(1):195–216, 1956

    Ernst Witt. Die unterringe der freien lieschen ringe.Mathematische Zeitschrift, 64(1):195–216, 1956

    work page 1956

  38. [38]

    Symmetric functions of non-commutative elements.Duke Math

    Margarete Wolf. Symmetric functions of non-commutative elements.Duke Math. J., 2(1):626–637, 1936

    work page 1936