21/08/17 15:08:37.85 nT2E/2XT.net
>>111
＞ちなみにCor3.12→ABCとか、Cor3.12→南出の道は
＞数論やってる人ならわかる、とScholzeに喝破された
違うよ。おサルは、気取った数学科出身者の悪弊で、
ちょっと難しい論文は、さっぱり入っていけないよねｗ
（ゼミで絞られたトラウマで、悪夢がよみがえるんだろうねｗｗ）
Cor3.12の“μ6-version”を作るって書いてあるよ
6は、n = 6で、n = 2がオリジナルのIUT。2→6で、明示公式用のCor3.12を作らないといけない
Cor3.12のままじゃないよ。Cor3.12への道がブチ切れていたら、Cor3.12の改良とかできるわけない（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
EXPLICIT ESTIMATES IN INTER-UNIVERSAL
TEICHMULLER THEORY ¨
SHINICHI MOCHIZUKI, IVAN FESENKO, YUICHIRO HOSHI,
ARATA MINAMIDE, AND WOJCIECH POROWSKI (2021-06-18)
P7
One fundamental observation - due to Porowski - that underlies the theory
of the present paper is the following:
n satisfies the conditions (1), (2) if and only if n = 6
[cf. Lemma 3.1; Proposition 3.2; the well-known fact that 1 - ζ4, 1 - ζ8
are non-units at places over 2].
P33
Theorem 5.1. (Log-volume estimates for the “μ6-version” of Θpilot objects) Fix a collection of μ6-initial Θ-data [cf. Definition 4.1].
Suppose that we are in the situation of the “μ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6], and that the elliptic curve EF has good reduction at every place
P34
Corollary 3.12 [cf. Remark 4.2.6], to be
式略（ちょっと複雑なのでｗ）
Corollary 3.12 [cf. Remark 4.2.6], conclude that
式略（ちょっと複雑なのでｗｗ）
(引用終り)
以上