>>56
そうですね
下記の Benjamin Collasの解説に詳しい説明があります

https://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
ANABELIAN ARITHMETIC GEOMETRY-A NEW GEOMETRY OF FORMS AND NUMBERS:Inter-universal Teichmüller theory or “beyond Grothendieck’svision” Benjamin Collas‡ Version02/07/2024
目次
2.2-Anabelian Reconstructions-Schemes and Monoids . . . . . . . . . . . . . 9
2.2.1-“Fukugen”-From Classical to Absolute Mono-anabelian................ 10
2.2.2-“There exists a group-theoretic algorithm...”.......................... 10
2.2.3-Mono-anabelian Transport........................................ 11

INTER-UNIVERSAL TEICHMÜLLER GEOMETRY 13
3.1-Categorification of a Diophantine Problem. . . . . . . . . . . . . . . . . . 14
3.1.1-Hodge Theaters & Synchronization between Geometry and Arithmetic..... 14
3.1.2-Log-theta wandering-Algorithms to relate distinct Frobenius-like objects .. 16
3.1.3-Universes,Species,and Logical Structure ............................ 17

3.2-New Anabelian & Diophantine Frontiers... . . . . . . . . . . . . . . . . . . 18
3.2.1-An Anabelian abc Inequality...................................... 18
3.2.2-An Extended Fermat’s Last Theorem............................... 20
3.2.3-Anabelian progress in Grothendieck-Teichmüller theory................. 20