Universality in the algebra and topology of cographs

@misc{mamun2026universality,
  title = {{Universality in the algebra and topology of cographs}},
  author = {Adityo Mamun and Jonathan Nalikka and Eric Ramos},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.04554},
  eprint = {2609.04554},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.04554},
}

TY  - UNPB
TI  - Universality in the algebra and topology of cographs
AU  - Adityo Mamun
AU  - Jonathan Nalikka
AU  - Eric Ramos
PY  - 2026
DA  - 2026/09/03
PB  - arXiv
DO  - 10.48550/arxiv.2609.04554
UR  - https://arxiv.org/abs/2609.04554
AB  - A finite simple graph G is called a cograph if it does not contain the path on four vertices P_4 as an induced subgraph. It is classically known that the family of cographs are well-quasi-ordered by the induced subgraph relation \cite{D}. In preceding work of Knudsen and the third author \cite[Theorem 7.2]{KR}, it was shown that this well-quasi-order statement admitted a categorification, which allowed those authors to prove universal finite generation statements about the homology groups of configuration spaces on cographs \cite[Theorem 1.5]{KR}. In this work, we expand \cite[Theorem 7.2]{KR} to be compatible with the family of polynomial rings on the vertex sets of cographs. By consequence, we are able to prove a number of universality results related with edge and toric ideals of these polynomial ring, partially generalizing and expanding upon work of Kahle \cite{kahle2019binomial}. We also conclude strong restrictions on the kinds of topologies that can arise from graph complexes and anchored configuration spaces associated to cographs, as well as combinatorial constraints on the possible combinatorics of hyperplane arrangements of cographs.
ER  -