>>49 補足

下記 FAQ about the proof of the abc-conjecture Kirti Joshi November 1, 2025
が面白い

(参考)
https://sites.arizona.edu/kirti-joshi/
Webpage of Kirti Joshi
https://sites.arizona.edu/kirti-joshi/files/2025/11/joshi-mochizuki-FAQ.pdf
FAQ about the proof of the abc-conjecture Kirti Joshi November 1, 2025

Question 11. But there is no mention of any field like K (or even Cp) in [Mochizuki, 2021b]. So why is your claim related to Mochizuki’s claim?
Ans. Mochizuki’s theory is founded on his Key Principle of Inter-Universality [Mochizuki, 2021b, §I3, Page 25-26] (see Question 31). This principle requires one to work with arbitrary geometric base-points for tempered fundamental groups. This is how fields like K,Cp enter Mochizuki’s work.
（References）
Shinichi Mochizuki. Inter-Universal Teichmuller theory I,II,III,IV. Publ. Res. Inst. Math. Sci., 57(1/2):3–207, 209–401, 403–626, 627–723, 2021b. URL https://ems.press/ journals/prims/articles/201525.

Question 31. But your answer above does not discuss universes which I asked about in my previous question? So what about that aspect?
Ans. True. Let me discuss this now. Here is what Mochizuki says ([Mochizuki, 2021b, Page 26]):
It is this fundamental aspect of the theory of the present series of papers– i.e., of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme- theoretic filter– that we refer to as inter-universal.
(this is Mochizuki’s Key Principle of Inter-universality which forms the core strategy for his work).
So Mochizuki’s view is that each geometric base-point be treated as belonging to a distinct universe. I think this is an interesting idea, but Mochizuki does not actually use universes in the main body of the proof [Mochizuki, 2021b, Pages 40–700] (also see Question 39). To use the above principle, geometric base-points would need to be tracked, but he actually does not track geometric base-points, and then, on several occasions (e.g. [Mochizuki, 2021b, Page 580,
略す