HEXAGONbeta

Hall polynomials for representation-finite algebras

A mix of human-written and AI-generated textHuman understanding: some partsmath.RT — Representation Theory

Contributed by Qiyue Tang ↗

Version 1 / Oct 20, 2026 / CC BY 4.0

Abstract

We prove the Hall polynomial existence conjecture for representation-finite algebras over finite fields.

Provenance statement

This conversation was produced through approximately 20 rounds of extended interaction with GPT-6-Astra-Pro and codex (conservatively estimated at 50 hours). The text has undergone multiple revisions using the built-in writing Skill, so its readability will be slightly better. At the same time, the text has undergone two independent, strongly adversarial reviews by GPT-6-Astra-Pro, as well as correctness verification by Rethlas-OSV (4 parallel runs, with reasoning intensity set to GPT-6-Astra-Xhigh). Rethlas-OSV: https://github.com/OSVerify/Rethlas-OSV

References

  1. R. Bennett--Tennenhaus and W. Crawley-Boevey, Semilinear clannish algebras , arXiv:2204.12138v3, 2022.arXiv
  2. K. Bongartz, On mild contours in ray categories , arXiv:1201.1434v1.arXiv
  3. K. Bongartz, On representation-finite algebras and beyond , arXiv:1301.4088v2.arXiv
  4. K. Bongartz, On representation-finite selfinjective algebras, coverings, multiplicative bases , arXiv:2305.17418v1.arXiv
  5. C. Fu, Hall polynomials for representation-finite cluster-tilted algebras , arXiv:1212.4689v1.arXiv
  6. A. Hubery, Ringel--Hall algebras of cyclic quivers , São Paulo J. Math. Sci. 4 (2010), 351--398.
  7. P. Jiao, Auslander's defect formula and a commutative triangle in an exact category , Front. Math. China 15 (2020), 115--125.
  8. S. Lang, Algebraic groups over finite fields , Amer. J. Math. 78 (1956), 555--563.
  9. C. Riedtmann, Algebren, Darstellungsköcher, Überlagerungen und zurück , Comment. Math. Helv. 55 (1980), 199--224.
  10. C. M. Ringel, Hall polynomials for the representation-finite hereditary algebras , Adv. Math. 84 (1990), 137--178.

Version history

  1. v1Submitted by Qiyue TangInitial depositCurrentOct 20, 2026