宇宙際タイヒミュラー空間についての雑感｜下部 博一

望月先生により、ABC予想が証明されたとアナウンスされて、１０年以上経った。その証明は、６００ページを超える論文であり、しかも望月先生のほぼオリジナルな理論であるので、およそ誰にとっても専門外であり、論文の信憑性に関しては、多くの議論を呼んだ。論文は査読を通っているが、査読誌が望月先生の所属する機関によるものであり、第三者による査読とは認識されておらず、その議論は決着しかなった。 批判派の筆頭は、ショルツというフィールズ賞受賞者の数学者である。筆者は、宇宙際タイヒミュラー空間論について、専門外ではあるし、それ以上に無理解であるので、宇宙際タイヒミュラー空間論について述べるのは筆者は適当ではないのだが、いくらか勉強して、頑張ってそのいきさつを少し述べてみよう。何度もいうが、以下の記述、断定してる箇所もあるが、全く信用してはならない。宇宙際タイヒミュラー理論とは、素人に語れるような代物でない。

[ys0000]

なんで揉めてるのか雰囲気が分かったのがよかった。自分に理解できる日は来ないので、10年後のAIにでも解説を願う事にする。

[Listlessness]

結局、批判というか質問というかには十分に応えられておらず、穴があるとしたらそのあたりであろうという状況は10年経っても変わっていないわけか。門外漢としてはleanによる検証の結果を待つしかなさそう。

[rainbowviolin]

IUTそのものが面白いのは筆者に同意。/ショルツのCorollary 3.12への指摘に答えられないまま遠吠えするだけで、もはや望月センセにはABC予想証明貫徹への情熱が無いように見受けられる。ワイルズは決して諦めなかったよ。

[augsUK]

数学者の中での質問には誠実に答えるのかと思えば、むしろそこで突き放す感じであったためにアカデミア的に触れるのが難しい話題であり人となってしまった。京都大学は色々よろしくない作法が増えてるとも思う。

[auto_chan]

ZENのガチ研究（ https://zen.ac.jp/news/zmcpostevent0717 ）楽しみ。加藤文元氏は「正直3.12（ https://note.com/math_translator/n/n100a918a25b9 ）は無理があるんじゃね」な雰囲気にじみ出ててどうなることやら。でもIUT＋ABCがポシャっても遠アー

[chaoschk]

「宇宙際タイヒミュラー空間論は壮大で有用」と「望月氏のABC予想の証明には穴がある」は両立しうる。この結論に落ち着くのでは。

[pixmap]

加藤センセイも望月に肩を持つ側で、ショルツ氏の指摘している欠陥がどういうものかほとんど説明したことなかったよね。それに比べるとかなり平明で公平な記述をされているように見える。

[fujihiro0]

素人的には ReHacQがよかった https://www.youtube.com/live/b6JlM_nrM3M?si=TF-2qkkjwySbLdNV

[hom_functor]

Leanに翻訳した結果否定されても「翻訳が間違ってる」と主張して泥沼になりそうだと当初から思っている

[behuckleberry02]

ショルツの指摘について今までで一番わかりやすい説明だった。私が生きている間に決着を見たい。

[kondoly]

要するに複合的な要素が立体的に配置されているのを数字的に測定しても結局は同じ数値に至るので測定方法という原則に乗るという意味になるのか、空間は測定できない事を証明してしまうということかしら。

[aox]

土俵際ププッピドゥー相撲についてはどうでしょうか

[i-komo]

第四段落目を突破できずに死亡…

[ko2inte8cu]

そうこうしている脇で、古代からの未解決問題の双子素数が、最近、大幅に進展。比べちゃいけないが、いい比較対象ではある。

[mekurayanagi]

言ってることがわからな過ぎて面白い。

[lilicarium]

なんかもう正しいか正しくないか以前に絶望的にコミュニケーションとして破綻してるわけじゃん。そりゃ京都大のプレゼンス下がるわけだ。

[plank]

読んでもわかんないけど、読んでわかんない中で一番掘り下げた説明なので助かる。結局わかんないけど。

[pendamadura]

俺もそう思ってた

[ch1248]

もう10年過ぎたのか……

[camellow]

わからないながらもとても興味深そうな雰囲気だけ味わう

[sophizm]

つまり、掛け算の構造を保ったまま、足し算の構造を壊し、あたかも、コンパクトリーマン面の構造を擬等角写像により複素構造をゆがめるがごとく、代数、つまり環の構造をゆがめるってことか！

[l1o0]

ショルツはこれぐらい単純化したモデルでも宇宙の対応を説明できるか？と言っているのに対し、望月はそれだとUTの本質的な構造まで壊していると反論しているように見える。

[kei_1010]

例えばミュトスとかに証明しろと命令したら数千万円かかった上で「 無理でした」とかなる可能性がある、みたいな感じなんだろうな、と。この記事を投げて「妥当か？」と聞く程度なら答えてくれるかな？

[narwhal]

わぁい IUTeich　あかり IUTeich 大好き

[hobbiel55]

こういう分野へのAIの適用というのはどうなのだろう。

[iphone]

足し算、掛け算、宇宙際タイヒミュラー空間

[mag4n]

https://www.youtube.com/live/b6JlM_nrM3M?t=4690 にもあるように等しさの難しさと遠アーベル幾何がクソ難しい、らしい。

[mk173]

ラノベのあらすじにしか見えない(泣)

[shikiarai]

昔のことすぎて望月先生サイドも忘れてしまって質問の意味が理解できずに答えられないのでは？（適当）　いずれにせよABC予想のためだけのものじゃないはずなので、引き続きやる気のある人に頑張ってもらいたい

[suka6411144]

"コンパクトリーマン面の構造を擬等角写像により複素構造をゆがめるがごとく、代数、つまり環の構造をゆがめるのである" ここで読むのを諦めた

[mohno]

「望月先生は、どうやら説得力のある数学的議論で答えてない」「この時点で、ABC予想の証明は、世界中の有力な数学者から突き放された格好になったらしい」

[ffggmm]

異なる法則の宇宙を作ってABC予想を解いたまではいいものの、その違う法則の宇宙の計測そのものが本当にできているのか、ちょっと変えたら色々成り立たなくなったけど？　って疑問に答えることができなかった状況か。