20/04/23 10:48:16 Ayy0wuIh.net
>>253
>Stix先生：Cor3.12の証明を読んだ結果、だいたいYY＊）だった。まだ若干疑問点があるが、
> コロナ騒動が落ち着いたら、今年の京都国際会議No4に乗り込んで決着させるつもりだ。一緒に行かないか？
一言追加しておくと、IUTはIVでは 下記
”which imply, for instance, the so-called Vojta Conjecture for hyperbolic curves, the ABC
Conjecture, and the Szpiro Conjecture for elliptic curves. ”
という大風呂敷をかましているわけ
分かると思うけど、数論研究者としては、迷惑なんだよね、IUTの成否が宙ぶらりんっての
つまり、自分の研究室のDR生がいるとする
で、例えば、”the Szpiro Conjecture for elliptic curves” に近い分野をテーマに選ぶとする
で、さあ研究するぞと、文献を集めるとき、IUTの評価が問題になる
１）IUTは認められた
２）IUTには証明に瑕疵があり、瑕疵部分がオープン
３）IUTは全然だめ（箸にも棒にも掛からぬ）
この３つの場合で、研究方針が全く違うのです
分かると思うが
なので、「Stix先生、どうか京都に乗り込んで、IUTの白黒つけてきて下さい。白黒どっちでも良い。応援するからね～」
という気持ちは、プロ数学者にも当然あると思うよ（白黒無視して研究方針を立てるわけにはいかないのですよ）＊）
＊）ほんと蛇足だが、上記２）又は３）の状況下で、”the Szpiro Conjecture for elliptic curves”を独自に証明したら、拍手喝さいだが
上記１）の状況下では、二番煎じの別証明という評価にしかならないのです
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
Abstract.
(抜粋)
In the present paper, estimates arising from these multiradial algorithms for splitting
monoids of LGP-monoids are applied to verify various diophantine results
which imply, for instance, the so-called Vojta Conjecture for hyperbolic curves, the ABC
Conjecture, and the Szpiro Conjecture for elliptic curves.