20/04/29 13:16:33.21 k6OCtbXM.net
>>540
Corollary 3.12 の事実関係を補足しておく
１．2020年April 版では、Corollary 3.12.（P173）の証明は、P174～186まで約10ページ強書かれている
２．2018年のＳＳとの京都の議論前には、Corollary 3.12.の証明がしっかり書かれていなかった記憶がある
そして、ＳＳは勝手に 議論を組立て、ＩＵＴのCorollary 3.12が不成立だと言い出した
３．2018年のＳＳとの京都の議論については、望月のホームページに報告があり
Woitブログで、2018年の2年後の今年、「実は望月の論文の定義がしっかり確認できていなかった」とショルツ先生が自白した
４．経緯はそういうことで、いま問題になるのは、上記のP174～186まで約10ページ強の証明が、成立っているのかどうか？
このP174～186まで約10ページ強の証明についての議論は、いま公（おおやけ）には全くないのが事実です
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY III: ¨
CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
Shinichi Mochizuki
April 2020
P173
Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose
that we are in the situation of Theorem 3.11. Write
P174
Proof. We begin by observing that, since |log(q)| > 0, we may assume without loss
of generality in the remainder of the proof that
～
P186
which are not automorphisms. This indeterminacy has the effect of rendering
meaningless any attempt to perform a precise log-volume computation as in (xi).
QED