>>870 補足
> ３．かつ、下記IUT IV ”hence to new Galois or etale fundamental groups, which may only be constructed if one allows oneself to consider new basepoints, relative to new universes. ”
>　が、用語”universe”を正当化する根拠と思うけど、”universe”の世間一般の定義は結構歴史的変遷があったみたいで、望月”universe”が世間一般と合っているのかな？
>　ちょっと疑問です。”new basepoints”とかが、正当化の理由みたいだが、この程度なら集合内では？という気がする

個人的には、下記 Fesenko先生の”On asymptotic equivalence of classes of elliptic curves over Q”
に注目しているんだ
つまり、望月IUT は、Q上の楕円曲線で、漸近的等価なクラスを作って、楕円曲線の高さ不等式を導いた
で、”クラス”となっているけど、望月IUTでは「宇宙」で、実は真のクラスではなく「集合論内」で収まっていたってことじゃね？
というのは、Q上の楕円曲線の漸近的等価な何かを圏論で構築して、それから楕円曲線の高さの近似式（不等式）を出すならば
それって、「集合論内」で出来るんじゃね？　という気がするのです（望月論文では、集合論の内か外かは、厳密な議論ないけど）

(参考)
https://ivanfesenko.org/?page_id=126
[R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020
（google訳 Q上の楕円曲線のクラスの漸近的等価性について）
https://ivanfesenko.org/wp-content/uploads/2021/10/asym2-1.pdf
ABSTRACT. This short paper asks a question about a new asymptotic symmetry of the moduli space of Frey?
Hellegouarch elliptic curves over rational numbers. If the answer to the question is positive then this allows to
deduce an effective (1+ε) abc-inequality from effective abc-inequalities established in [3].

P2
The positive answer to the Question signifies a new asymptotic symmetry of the moduli space of elliptic
curves over Q all of whose 2-torsion points are Q-rational.
2. A recent paper [3] slightly extends the IUT theory of S. Mochizuki [2] and establishes two effective abc inequalities.
(引用終り)
以上