HEXAGONbeta

Bounded Presentations and Normalization in Arithmetic Reconstruction

A mix of human-written and AI-generated textHuman understanding: some partsmath.LO — Logicmath.CT — Category Theorymath.NT — Number Theory

Contributed by Zhenyu Sun ↗

Version 1 / Nov 13, 2026 / CC BY 4.0

Abstract

We study bounded presentations of selected constructions in absolute anabelian geometry and Frobenioid theory. In bounded Zermelo set theory with Choice, we prove uniform recursion for a common state space and a uniformly supplied transition rule. Under explicit index bounds, membership-table codes place the states and their histories at the same finite type level. We construct coherent comparisons for representative quotients, fiberwise full skeletons, isofibrational base changes, and countable towers, and verify the lifting properties for model Frobenioids and angular presentations. For nonzero numerical observables transforming by positive scalars, compatible normalization exists exactly when the associated character is trivial on every isotropy group. A self-equivalence of the realified arithmetic Frobenioid over Q\mathbb{Q} preserves degree and every object isomorphism class but does not lift to the unit-trivialized perfection. The structural results give a relative uniform interpretation theorem: the weak theory constructs the bounded presentations and comparison maps, and specified arithmetic recognition theorems identify the resulting structures.

Author comments: 25 pages.

Provenance statement

This work combines human-written and AI-generated text. OpenAI Codex was used to review the manuscript, check mathematical arguments and references, revise the exposition, and prepare and verify the LaTeX submission files. Some, but not all, parts have been checked and understood by a human.

Tools used

OpenAI
Codex

References

  1. Richard M. Karp. A characterization of the minimum cycle mean in a digraph. Discrete Mathematics, vol. 23, no. 3, pp. 309–311. 1978. doi:10.1016/0012-365X(78)90011-0 (https://doi.org/10.1016/0012-365X(78)90011-0)DOI
  2. Stephen Lack. Homotopy-theoretic aspects of 22-monads. Journal of Homotopy and Related Structures, vol. 2, no. 2, pp. 229–260. 2007. arXiv:math/0607646v1 (https://arxiv.org/abs/math/0607646v1)arXiv
  3. Colin McLarty. A finite order arithmetic foundation for cohomology. Author manuscript (https://artscimedia.case.edu/wp-content/uploads/2013/07/14182624/Derived_functor.pdf). Author preprintlink
  4. Colin McLarty. The large structures of Grothendieck founded on finite-order arithmetic. The Review of Symbolic Logic, vol. 13, no. 2, pp. 296–325. 2020. doi:10.1017/S1755020319000340 (https://doi.org/10.1017/S1755020319000340)DOI
  5. Shinichi Mochizuki. The geometry of Frobenioids I: The general theory. Kyushu Journal of Mathematics, vol. 62, no. 2, pp. 293–400. 2008. doi:10.2206/kyushujm.62.293 (https://doi.org/10.2206/kyushujm.62.293); author version, June 2008 (https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20I.pdf)DOI
  6. Shinichi Mochizuki. The geometry of Frobenioids II: Poly-Frobenioids. Kyushu Journal of Mathematics, vol. 62, no. 2, pp. 401–460. 2008. doi:10.2206/kyushujm.62.401 (https://doi.org/10.2206/kyushujm.62.401); author version, June 2008 (https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20II.pdf)DOI
  7. Shinichi Mochizuki. The Étale Theta function and its Frobenioid-theoretic manifestations. Publications of the Research Institute for Mathematical Sciences, vol. 45, no. 1, pp. 227–349. 2009. Author version, December 2008 (https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Etale%20Theta%20Function%20and%20its%20Frobenioid-theoretic%20Manifestations.pdf)link
  8. Shinichi Mochizuki. Topics in Absolute Anabelian Geometry II: Decomposition Groups and Endomorphisms. Journal of Mathematical Sciences, the University of Tokyo, vol. 20, no. 2, pp. 171–269. 2013. Author version, October 2013 (https://www.kurims.kyoto-u.ac.jp/~motizuki/Topics%20in%20Absolute%20Anabelian%20Geometry%20II.pdf)link
  9. Shinichi Mochizuki. Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms. Journal of Mathematical Sciences, the University of Tokyo, vol. 22, no. 4, pp. 939–1156. 2015. Author version, November 2015 (https://www.kurims.kyoto-u.ac.jp/~motizuki/Topics%20in%20Absolute%20Anabelian%20Geometry%20III.pdf)link
  10. Shinichi Mochizuki. Comments on ``The Geometry of Frobenioids II''. 2019. Author corrections (https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20II%20(comments).pdf)link
Show all 17 referencesShow fewer references
  1. Shinichi Mochizuki. Comments on ``Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms''. 2019. Author corrections (https://www.kurims.kyoto-u.ac.jp/~motizuki/Topics%20in%20Absolute%20Anabelian%20Geometry%20III%20(comments).pdf)link
  2. Shinichi Mochizuki. Inter-universal Teichmüller theory I: Construction of Hodge theaters. Publications of the Research Institute for Mathematical Sciences, vol. 57, no. 1/2, pp. 3–207. 2021. doi:10.4171/PRIMS/57-1-1 (https://doi.org/10.4171/PRIMS/57-1-1); author version, May 2020 (https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf)DOI
  3. Shinichi Mochizuki. Comments on ``The Étale Theta Function and its Frobenioid-theoretic Manifestations''. 2022. Author corrections (https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Etale%20Theta%20Function%20and%20its%20Frobenioid-theoretic%20Manifestations%20(comments).pdf)link
  4. Shinichi Mochizuki. Comments on ``The Geometry of Frobenioids I''. 2024. Author corrections (https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20I%20(comments).pdf)link
  5. Greg Oman. Unifying some notions of infinity in ZC and ZF. Reports on Mathematical Logic, vol. 51, pp. 43–56. 2016. doi:10.4467/20842589RM.16.004.5281 (https://doi.org/10.4467/20842589RM.16.004.5281); journal full text (https://rml.tcs.uj.edu.pl/rml-51/04-oman.pdf)DOI
  6. Michael A. Shulman. Set theory for category theory. 2008. arXiv:0810.1279v2 (https://arxiv.org/abs/0810.1279v2)link
  7. The Stacks Project Authors. The Stacks Project: First cohomology and torsors. Online reference (https://stacks.math.columbia.edu/tag/03AG), consulted 13 November 2026. Section 21.4, Tag 03AGlink

Version history

  1. v1 · 25 pagesSubmitted by Zhenyu Sun25 pages.CurrentNov 13, 2026