HEXAGONbeta

A note of refinements to an algebra of infinite little finitistic dimension

A mix of human-written and AI-generated textHuman understanding: no partsmath.RT — Representation Theorymath.RA — Rings and Algebras

Contributed by 琪越 唐 ↗claimed

A claim means an ORCID-authenticated account linked itself to the matching contributor entry. It grants no control of the record and is not a Hexagon endorsement.

Version 3 / Oct 07, 2026 / CC BY 4.0

Abstract

Building on OpenAI’s An algebra of infinite little finitistic dimension, we simplify the exposition and extend the construction to every field.

Provenance statement

Based on Result No. 198 released by OpenAI, we first used GPT-6-Astra-Pro to conduct a full adversarial review (see the prompts below), and also asked it to make some strengthenings. After obtaining the review comments and strengthenings, we independently used GPT-6-Astra to conduct an adversarial review. Finally, using the built-in writing Skill, we refined the original proof and added strengthenings. Prompt: “Please read our paper and the related supporting materials. I am inclined to think that this paper has errors or gaps. Please help me identify them. If there are errors, you do not need to correct them. If there are gaps that can be fixed, please fix them and write detailed revision suggestions. Method: Please conduct a strong adversarial check, attacking each Lemma, Prop, Thm, etc. in order, without letting any detail slip, and do not trust any memory in the historical records. I hope you will re-derive the entire paper completely and meticulously. When encountering citations, please carefully verify whether the citation scope is correct, whether there are mis-citations, indiscriminate citations, etc. Check whether the proofs are repetitive and verbose, whether they can be optimized, and whether more generalizations can be made based on this counterexample (we want to generalize). If so, please include them in the report as well. What do you think of the writing in this paper? Is its readability very poor? If you can improve it further (by emulating the best human mathematical papers), please write revision suggestions. Finally, just generate an overall report in md.” This paper is not intended for journal submission. Uploading this paper to this platform does not mean that I claim ownership or copyright over it. My sole intention is to share this AI-generated solution and make it available for independent review. Once its correctness has been independently verified, the paper may be cited directly. I welcome anyone who would like to organize this work; if you do so, the credit will be yours. I also welcome further research building on this work, including extensions, new applications, and related questions. For additional references or detailed research materials, please contact me by email. Email: tangqy24@mails.tsinghua.edu.cn

References

  1. Paul Balmer and Marco Schlichting. Idempotent completion of triangulated categories. Journal of Algebra , 236(2):819--834, 2001. https://doi.org/10.1006/jabr.2000.8529 Publisher DOI ; https://webhomes.maths.ed.ac.uk/ v1ranick/papers/balmschl.pdf full text .DOI
  2. Hyman Bass. Finitistic dimension and a homological generalization of semi-primary rings. Transactions of the American Mathematical Society , 95(3):466--488, 1960. https://doi.org/10.1090/S0002-9947-1960-0157984-8 Publisher DOI .DOI
  3. Charley Cummings. Left--right symmetry of finite finitistic dimension. Bulletin of the London Mathematical Society , 56(2):624--633, 2024. https://doi.org/10.1112/blms.12954 Publisher DOI .DOI
  4. Bernhard Keller. Bimodule complexes via strong homotopy actions. Algebras and Representation Theory , 3(4):357--376, 2000. https://doi.org/10.1023/A:1009954126727 Publisher DOI ; https://arxiv.org/abs/math/9910178v1 arXiv:math/9910178v1 .arXivDOI
  5. Hiroyuki Minamoto and Kota Yamaura. Homological dimension formulas for trivial extension algebras. Journal of Pure and Applied Algebra , 224(8):106344, 2020. 30 pp. https://doi.org/10.1016/j.jpaa.2020.106344 Publisher DOI ; https://arxiv.org/abs/1710.01469v1 arXiv:1710.01469v1 . All result numbers in citations to this paper refer to this arXiv version.arXivDOI
  6. Amnon Neeman, Andrew Ranicki, and Aidan Schofield. Representations of algebras as universal localizations. Mathematical Proceedings of the Cambridge Philosophical Society , 136(1):105--117, 2004. https://doi.org/10.1017/S030500410300700X Publisher DOI ; https://arxiv.org/abs/math/0205034v2 arXiv:math/0205034v2 .arXivDOI
  7. OpenAI . An algebra of infinite little finitistic dimension. https://github.com/openai/math/tree/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/An-algebra-of-infinite-little-finitistic-dimension-September-23-2026 OpenAI Math preprint , 2026. September 23, 2026. Source version: repository commit adc7f1241b42e322a6451854ab7e4b4c146bf78a .link
  8. Jeremy Rickard. Unbounded derived categories and the finitistic dimension conjecture. Advances in Mathematics , 354:106735, 2019. https://doi.org/10.1016/j.aim.2019.106735 Publisher DOI ; https://arxiv.org/abs/1804.09801v1 arXiv:1804.09801v1 .arXivDOI
  9. Yuri Santos Rego. On the finiteness length of some soluble linear groups. Canadian Journal of Mathematics , 74(5):1209--1243, 2022. https://doi.org/10.4153/S0008414X21000213 Publisher DOI ; https://arxiv.org/abs/1901.06704v3 arXiv:1901.06704v3 .arXivDOI
  10. The Stacks Project Authors . The Stacks project. r̆l https://stacks.math.columbia.edu , 2026. Tags https://stacks.math.columbia.edu/tag/04VI 04VI , https://stacks.math.columbia.edu/tag/04VJ 04VJ , https://stacks.math.columbia.edu/tag/05RG 05RG , and https://stacks.math.columbia.edu/tag/05RJ 05RJ ; accessed 7 October 2026.link
  11. Birge Zimmermann Huisgen. The finitistic dimension conjectures---a tale of 3.5 decades. In Alberto Facchini and Claudia Menini, editors, Abelian Groups and Modules , volume 343 of Mathematics and Its Applications , pages 501--517. Kluwer Academic Publishers, Dordrecht, 1995. https://doi.org/10.1007/978-94-011-0443-2_41 Publisher DOI ; https://arxiv.org/abs/1407.2383v1 arXiv:1407.2383v1 .arXivDOI

Version history

  1. v1Submitted by 琪越 唐Initial depositSupersededOct 07, 2026
  2. v2Submitted by 琪越 唐Submitted as a new versionSupersededOct 07, 2026
  3. v3Submitted by 琪越 唐Submitted as a new versionCurrentOct 08, 2026