OWR-8415341-012 · Explicit counterexample: the count is not always a polynomial in p (polynomial on residue classes mod 3); general behaviour open

A graphical group whose number of irreducible characters of degree p3 is not a polynomial in p

Manuscript 27 October 2026 · Online 27 October 2026

math.GRmath.COUnrefereed preprint

Abstract

For a finite simple graph \(\Gamma\) and an odd prime \(p\), let \(G_\Gamma(\mathbb{F}_p)\) be the largest group of class at most two and exponent dividing \(p\) generated by elements \(x_v\), one for each vertex \(v\), such that \(x_u\) and \(x_v\) commute whenever \(u\) and \(v\) are not adjacent. Rossmann asked (Oberwolfach Report 38/2021; Question 1.10 in Bull. London Math. Soc. 2022) how the number of irreducible characters of \(G_\Gamma(\mathbb{F}_p)\) of degree \(p^i\) depends on \(p\), and suspected that these functions might be wild. We show that they are not always polynomials. Let \(\Gamma_{\mathrm{MK}}\) be the bipartite graph on the points and lines of the Möbius–Kantor configuration \(8_3\) in which a point is joined to the five lines not containing it. For every odd prime \(p\), \(G_{\Gamma_{\mathrm{MK}}}(\mathbb{F}_p)\) has exactly \(p^{10}\bigl(h(p)+\bigl(1+\bigl(\tfrac{-3}{p}\bigr)\bigr)(p-1)^{15}\bigr)\) irreducible characters of degree \(p^3\), where \(h\) is an explicit integer polynomial of degree 15 obtained by an exact computation; the count is a polynomial on each residue class modulo 3, but on no set of primes containing infinitely many primes \(\equiv 1\) and infinitely many \(\equiv 2 \pmod 3\), and this needs no computer. We use the description of character degrees by ranks due to O'Brien and Voll and the fact, classical over the complex numbers, that \(8_3\) can be realised exactly over the fields containing a root of \(t^2-t+1\). The counts are polynomials for \(i=1\), and for \(i\le 2\) if \(\Gamma\) is bipartite. Conditionally on the Mnëv–Sturmfels theorem as stated by Belkale and Brosnan, who sketch its proof, some count is not even a polynomial on residue classes (existence only). The general behaviour remains open. This is an unrefereed note.

Record

Affiliation
Mercury Software GmbH
Result
Explicit counterexample: the count is not always a polynomial in p (polynomial on residue classes mod 3); general behaviour open
Categories
math.GR · math.CO
Manuscript
27 October 2026
Online release
27 October 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 graphical group whose number of irreducible characters of degree p^3 is not a polynomial in p,” EulerSolve Research Papers, OWR-8415341-012, 2026. https://doi.org/10.5281/zenodo.23707514.

BibTeX
@misc{Ferudun2026Owr8415341012,
  author = {Ferudun, Alper},
  title = {A graphical group whose number of irreducible characters of degree p^3 is not a polynomial in p},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/owr-8415341-012/},
  doi = {10.5281/zenodo.23707514},
  note = {OWR-8415341-012; unrefereed preprint}
}

More research papers

Show all 471 other papers

All 472 research papers →