A Degree-24 Obstruction to Hopf Structures on Symmetric-Group Supercharacter Spaces
Manuscript 28 September 2026 · Online 28 September 2026
Abstract
Consider the supercharacter theory of \(S_n\) whose superclasses are the \(S_n\)-conjugacy classes contained in \(A_n\), together with the single block \(S_n\setminus A_n\). We prove that its superclass-function spaces, summed over \(n\) with one-dimensional components in degrees zero and one, admit no connected graded Hopf algebra structure over a field of characteristic zero. The argument uses a known nonnegative Euler-product condition for Hopf Hilbert series. The first negative Euler exponent occurs in degree \(24\) and equals \(-1\): lower degrees force \(795\) basis monomials, but the required dimension is \(794\). The two coarser natural supercharacter families fail the same test in degree \(4\). These obstructions exclude arbitrary graded Hopf operations, not only quotients of symmetric functions. We state the families explicitly and do not claim a classification of all symmetric-group supercharacter theories.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete obstruction (three explicit families)
- Categories
- math.RT · math.QA · math.CO
- Manuscript
- 28 September 2026
- Online release
- 28 September 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “A Degree-24 Obstruction to Hopf Structures on Symmetric-Group Supercharacter Spaces,” EulerSolve Research Papers, AIM-REPRESENTATION_THEORY-0102, 2026. https://doi.org/10.5281/zenodo.23018019.
BibTeX
@misc{Ferudun2026SupercharacterHopf,
author = {Ferudun, Alper},
title = {A Degree-24 Obstruction to Hopf Structures on Symmetric-Group Supercharacter Spaces},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-representation-theory-0102/},
doi = {10.5281/zenodo.23018019},
note = {AIM-REPRESENTATION_THEORY-0102; unrefereed preprint}
}