Inter-universal geometry と ABC 予想 46

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ Inter-universal geometry と ABC予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/

10年後の英語版wikipedia
ＡＢＣ予想の項目の隅に、日本の望月が証明したと主張する者もいるって書かれるのか
ＡＢＣ定理の項目に、望月により証明されたって書かれるのか
どっちだろうね

>>255
そのギャップではないよ。
「ショルツの指摘したギャップ」に関して。

望月の[Alien] Example　3.11.4.が正しければ、
ショルツレポートは誤認であればギャップがないという判断であれば、
編集委員会が発表した通り、指摘への修正がなくなる。

まあ前に何度もあったねこんな荒れ具合

もっちーの心が安らかであることを祈ります

望月教授の業績が理解されるのには、時間が必要なんだと思う。

>>254
偽の仮定が、何を、齎す（と言うか仕出かす）のか知る事も論理学じゃが｡
「偽の仮定は常に真」の本当の意味、分かっとらんじゃろ？それじゃあ
「偽の仮定は存在しない」という意味が分かっとらんな｡

> 可能無限派

…は？可能無限派が何でこのスレに茶々入れに来るん？

>>267
何だよ本当の意味ってｗ
おしえてｗ

今後書かれるIUT関連論文は世界的に相手にされず
PRIMS（あるいはKodaiMath？）に載ることになるんだろうな

SSが批判して大方の数学者も同調してるから駄目に違いない
一方査読通って掲載されるから理論の正しさは基本的に証明された事に違いない

結局この二つを形変えながら反復して戦ってるだけだなこのスレw
なにも生産性がないなw

全称命題から存在命題を示すことはできない
これより全称命題から個別に元(数)を選ぶことはできない
これは可能無限派なのかな
無限級数の1とか
無限数列の1は取れない
と考えている

>>270
IUTがそもそも生産的ならこんなことにならないんだよね。
タオがいうとおりIUT自体からは有益な応用がないので、
abc予想が解けているかどうかだけに話が集中する。
つまり現状の生産性のなさはIUTの生産性のなさそのもの。

>>270
ほとんどの人（自分含む）はIUTの定義すら分かってないから、誰々（偉い先生）が言ってたから正しいくらいしか言えないのよね
他の数学スレとは空気が全然違う

>>258
ヤケに堂に入っとるが皮肉？それとも本音？其れを言ったら
相対論だってマクロで通用してミクロで通用しない
量子論だってミクロで通用してマクロで通用しない
だから統一に向けて超弦理論だぁM理論だぁ量子ループ理論だぁと世界で挑戦してる訳で

>>273
ＩＵＴをきちんと論じてるスレがあるんですか？

>>269
関連論文以前に本家IUT論文がPRIMSにしか相手にされてないからな。
これが若手研究者の論文とかなら国内でも無視すればいい話だけど
国内では相当な権威を持った研究者の論文だから頭が痛い。
論理的に否定できても政治的に否定できない状況に陥りかねない。

>>275
そんなスレはない
他のスレと違うのは、他のスレだと正しいかどうかの議論は基本的には数学的な内容含むけど、このスレだとそれがない（できない）

ゴシップしか出ない

数学者でも遠アーベル幾何について語れる人って限られるだろうから仕方ないのでは

ほとんどの数学者から無限遠方

>>199
それを貼ってプリーズ

>>226
スレチだけど、どうもありがとう

>工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
>別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。

有限要素法が出てきたときの売り文句がそれだったよね
メッシュの精粗の自由度が高いみたいな

>別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
>「やばそうなところ」の例は、

それは、数学でも、トポロジーの手術みたいなものでしょ
特異点出てきたら、切って、貼付けて、特異点無くすみたいない

>流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
>賞金とかかけられますが。

数学的にちゃんとした解が存在するかどうかが、数学としては重要ってことでしょうね
それと、乱流の数学的扱いの手法開発という意味もあると思っています

スレチですけど

>>200
違うわけでもない。納得してないやつがいるだけ
きっちり特別号が発刊されて国際会議が終わるまで待て

>>192
誇張でもミスリードでもない
そんなことを京大はやらない
いい加減雑音撒き散らすのは止めろ

Iutには生産性がないのが致命的、みたいな意見があるようだが、フェセンコによると何ダースもの重要な数学的帰結が直ちに導き出されるんだろ？

十分生産的じゃん

>>283
特別号はマイナーチェンジなんだろ。だったら待つ意味がない。
特別号はマイナーチェンジだが国際会議でメジャーチェンジになるとも思えないので、
国際会議の内容にもけっきょくみんな納得しないだろうね。

毎日新聞は「フェルマーの最終定理を簡単に導ける」って誤ったこと書いてた。。

海外でのもっちーへの悪い話というのが気になる
なに言われてたの？

望月は日本の恥だな
第二の小保方がこんなに早く出てきてしまうとは情けない

望月教授のウィキペディアの英語版によると、世界的には認められてないのですね。
「2020年4月3日、日本人の2人の数学者、柏原正樹と玉川明夫は、
望月が主張するabc予想の証明が、望月が編集長である数理科学研究所（RIMS）の
出版物に掲載されると発表しました。
この発表は、キランケドラとエドワードフレンケルによって懐疑的に受け取られ、
ネイチャーからは「多くの研究者を望月のキャンプに移動させる可能性は低い」
と説明されました。」（グーグル翻訳）

世界が認めなかったんじゃない
理解できなかったんだ
日本人誇らしい

RIMSの研究者かなんかをほのめかしてる割に、理解できてない理論を無条件で擁護するのは何なんだ？w
心情を聞きたいわ。それだけ信頼してるってこと？

>>282
いつまで関係ない話題してんだ
二度と書き込むな

>>290-292

１．4月3日のプレス発表は、一般マスコミ向けで、数学の専門的なことはスルーしているから
　ネイチャーの記者も、専門的なことは分からずに、書いているだけでしょ
２．従来懐疑的だった数学者は、プレス発表では、それを覆す情報はないから、意見を変えないのも道理
　だから、プロ用の情報発信が要るってこと
３．一方で、中間派というか、数論分野以外の人達（主に海外）は
　「RIMSも思い切った発表したが、よほど自信があるのですね」と考えるのが普通でしょ
　それだけでも、大きな意義ある

>>293
ありがとう（＾＾

ショルツのように望月から見て理解しきれなくて的外れな指摘で通してきた勢も、ガンガンIUTが活用された時に真剣に見ざるを得なくなるので、どちらにせよ、議論は進むわな。

>>274
ID:8gUORYpi は数学板でも有名なトンデモなので餌を与えないで下さい

しかし整数論は宇宙の取り換えなんていう、非常に基礎論に近い操作までやるなんて凄いと思う
俺のやってた確率論の分野じゃ出てきそうにもない

DupuyのHiladoのサーベイドラフト読了
Lepageの貢献が大きいのがわかる
Tanのサーベイも2年前には出来てたこともわかる
関係者の間では出回ってたのかな？
でもこれ、この内容は完全にショルツ敗北モチー大勝利に帰結じゃん

>>253
逆ｗ
2012年から全然本質的な進歩がないから疑われている。
望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。
だから何の応用も出てこない。
望月の最も優秀な若手は、内心ショルツの言う通りだと思い、矛盾が発生するところまで発見してしまい、
師匠の機嫌を損ねないように沈黙している可能性すらある。
アジアンの限界だろう。

>>285
それが導き出せないところが問題なんだろ
そもそも今回の弱いABC予想の証明ではそこまでは無理みたいだし

>>300
なんで推測で語るの？

応用がないってのは事実だから弟子でも応用できないってのは間違い無いんだよね。

ABC予想って弱いとか強いとかそんな名称正式にあったっけ？

>>201 >>202
ありがとうございます。
まだまだ時間がかかりそうということで理解しました。

>>300
ネガキャン復活おめー
>2012年から全然本質的な進歩がないから疑われている。

お前はMzk研のメンバーにそれを直接聞けるか？きけんよな？嘘だからw

>望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。

これも同じく　お前の空想

>だから何の応用も出てこない。
望月の最も優秀な若手は、内心ショルツの言う通りだと思い、矛盾が発生するところまで発見してしまい、
師匠の機嫌を損ねないように沈黙している可能性すらある。

ここに至っては可能性wwwチラ裏乙www

もうお前の屈折感情をフェイクニュースでたれ流すな！

>>301
あのさ、ABC予想に弱い予想なんてないのよ
標準的なABCトリプルなの今回は
特殊な強いABCではない、というだけ

>>299
Dupuyはもう一本用意してる
Lepageも準備してる

ケドラヤが認めてないとはなんか情報あったっけ？
ウィキじゃなくて
前は確かに証明正しい派に立って検証してたろ

フェルマーの別証明が出てくる共著論文も、関係者には出回ってる臭いな。

＞＞309
Kiran Sridhara Kedlaya

Questions I'm thinking about
https://kskedlaya.org/questions.shtml

Mochizuki's approach to diophantine approximation (last update: 28 Dec 17)

most specialists (including myself) are not currently treating this proof as fully verified.

弱いABC予想、強いABC予想というと、強いABC予想の方がすごそうだけどさ

数学専門外の俺が見ての話だけど、弱いABC予想の方が一般的で
強いABC予想は弱いABC予想の中の特殊な場合だとしか思わんがな

>>308
だから君はポジショニングしてないで>>292に答えてよ

逆転ホームラン来たか

そもそもABC予想の拡張自体が複数種類あるからどれを強いABC予想って呼んでるのかわからん
そもそもフェルマーの最終定理の証明にはK(ε)が一つ求まればよく、ABC予想の拡張版を使う必要はない

>>312
具体的なほうがより情報を含んでるからな
effectiveというのも同じ理由から

ガロア表現に役立つというからには、まあフェルマーというかワイルズの理論と比較的ダイレクトに
関連付けられると期待されるだろう

>>281
アニメ
http://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html

アニメはこれな
http://www.kurims.kyoto-u.ac.jp/~motizuki/2020-01%20Computation%20of%20q-pilot%20(animation).mp4

なんだ先入観なく当初肯定的だった大御所のケドラヤが現在は認めてないんじゃダメじゃん
本編手前のエタールセータ関数の理解までは順調だったんでしょ？この人

ε=1、K(ε)=1のことを「強いABC予想」って言ってる人がいるみたいだけど、この命題からは通常のABC予想は導かれないから「強い」「弱い」という表し方は間違ってる気がする

DupuyとKedlayaがまたお仲間なのが面白いんだよね
「彼は正しいだろう」とは言わなかったわけ。研究分野のリストからもIUTは消えてるしね

儂が此の12年、偶にしか来ん内に、何じゃ此の体堕落。いつの間に此んなトンデモ語りが増えたんじゃ？
此の儂でさえ、此の、儂、「ごとき」でさえ分かるトンデモ語りが増えたと言えるわい｡

>>317 >>318
サンクス！

あな

こんなお絵かきによく研究とか

あな

絵と定義出来る分野間違えなくなるのと後は初等が世界で一つでもあるかで

>>311

Mochizuki's approach to diophantine approximation (last update: 28 Dec 17)

2012年に望月真一は、グロタンディークの遠アーベル幾何学の原理から非常に緩やかに派生したエキゾチックなアイデアのコレクションを使用して、これらの推測の証明を発表しました。
（2017年末現在）望月の「宇宙際タイヒミューラー理論」（IUT）に関する4つの論文は受理されたようですが、中心的な概念に関する独立した説明はほとんどなく、ほとんどの専門家（私を含む）は現在この証明を完全に検証済みとして扱っていない。

この行き詰まりを解決することは、緊急の重要性の問題ですが、恒久的な学術的地位を確保するために研究ポートフォリオを確立する必要がある若い研究者にはお勧めできないかもしれません。
潜在的な開始点の1つは、主題の基礎を明確にすることです。議論の性質は、遠アーベル的再構築によって特定の「不確定性の程度」を定量化することでディオファントス不等式を導き出すことであり、
ホモトピー型理論のような現代のツールは、 「再構築」が実際に何を意味するかをより正確に特定するために用いることができるだろう。

>>180
ふーむなるほど
確かにこれは追跡するのが難しいわ
しかしAlien Copies見ると凄いね
既存の数学への応用がついに始まってるのがわかる
Alien Copiesという名前の付け方もカッコよすぎだろ

査読に時間がかかった理由を墓場に持っていくって言うのも
「超天才にして数学界の権威であるショルツからギャップが指摘されたので
時間をかけて調べてみたが、とくに穴は確認されなかったので問題なしと認めた」
ってことなんだろうけど、それを言うと
属人的な軋轢を産んでしまい、ショルツにも悪いので
「墓場まで持っていく」ってことなんだろうね、いま思うと

そうはっきり言ってしまうと、ショルツのせいで査読に時間がかかったことになり
逆にショルツが攻撃されてしまうからな

有り得んコピーズと読む人間が現れような

第1問（期限： 2020/04/10 0:30 JST）
https://www.youtube.com/watch?v=TAF454Ic35U&;feature=youtu.be

スレチスマソ

京大は妄想トンデモばっか
↓
感染の疑いがある医療関係者は隔離
するのではなく、感染病棟担当にする
のはどうか
by 京大某有名教授

>>330
そう解釈するのは一つだけど、フェアに言って今はまだそこまで決定的と言えないでしょう
もしかしたら興味を持った連中がDHを読んでさっくり理解するかもしれないけど、
やはり欧米の雰囲気がもっと変わらない限り決着とは言えないよ

なんか勝手にショルツが批判の大元って話になってるけど、
SSレポートはM（執筆者ではない）がわざわざ呼んで会談させたあとの話でしょ。
あのレポートが出たのは批判の時系列ではかなりあとっていうかほぼトドメの話でしかないんだけど。

>>335
雰囲気としてはその認識で合ってるが、はっきり疑問を出したのはあれが最初だからな
ショルツが言う前から大丈夫かよこれみたいな雰囲気はあった

はぁ
フェイク　妄想　もう秋田

>>337
基礎論の指摘とかははっきり証明に関係するのか定かではなかったでしょう
証明自体にはっきり異議を出したのはSS。それまでは正否についてははっきりした意見は無かった

>>339
数学の証明は正否不明なら否だっていうのを忘れてない？

しかしフィールズ賞受賞の新進気鋭の数学者が初歩的な間違いをやるかね？
大きな部分で直感的な違和感があってそれをうまく指摘できてないだけな気がするんだが
ただ、簡単に指摘できるほどはっきりした穴はないんだろうなとも思う

>>341
例えばワイルズの査読を例にとると、ワイルズのミスをカッツが指摘した時点では、
なぜそう間違っているのかは判然としていなかった。
ただカッツはワイルズの説明が説明になっていないからrejectした。
ワイルズはそれに対して文句は言っていない。
ワイルズが最初の証明がなぜ間違っているのかに気づいたのは正しい証明を得る直前。

対面して数日議論しても物別れに終わったんだからな
世界の七不思議だろ。もしかしたら数学には真理は二つあるのかもしれん

>>329
IUT本論文[1]〜[4]の方で、査読の方が確かめたのかな。

>>300
お前ニュー即でもおんなじこと繰り返して言って馬鹿にされてたろ

>>338

事実
次世代幾何学研究準備センター

数論幾何学，特に宇宙際タイヒ
ミューラー理論を中心に広く次世代
の幾何学 の研究を推進するため，
研究および研究プロジェクトの
方向性や内容を検討・準 備する
目的で，数理解析研究所教授 3 名を
併任教員として平成 29 年 12 月 1 日 に設置した.
今後，研究プロジェクトの進展と
共に，研究センターとして特任
教 員も含めての運用を予定している.

次世代幾何学研究センター
柏原正樹特任教授
森重文特任教授

墓場まで持っていくというのが隠蔽的な意味じゃなくて
簡単なことを理解できなかったショルツへの配慮って事なら、くだらん世話だと思うけどな
まぁ隠蔽なら墓場まで持っていくなんて堂々と言わんから
なにかしらの京都大学なりのフォローなのかも

>>340
いや、まだ査読段階で判明でないなら否ではなくて「非正」のほうがそれは正確じゃない？
はっきり否定もされずグレーゾーンだったに過ぎない

柏原正樹森重文重鎮過ぎるｗｗｗ
おしっこちびっちゃう

上でも書いてあるけど、ショルツの批判からは2年経ってない。
2015年にあった報道からの3年の遅れはショルツのせいにはできないぞ。

>>347
うん？
京都大学の都合でしょ
↓
>>346

>>348
査読が正否を決めるんじゃなくて数学者コミュニティが決めるんだぞ。
わかんなかったら証明はされてないよ。

すごく皮肉な結果としては、例えばここから別の数学者のXがギャップを埋めたら、
望月＝X理論になる。そういうレベルの話。

>>349
八百長じゃんw

望月さんはアメリカとか欧米主義みたいなのが嫌いっぽいし
自分ところの雑誌で出すなんてという批判は覚悟で意地でもPRISMで出したかったんだろうな
なのに呑気にAnnalsやJAMSに出せばいいのにと言ってる向こうの反応
まさにそれが嫌なんだよ！って事なんだろうな

ねえ
もしかして
これが間違いだったら
京大数理解析研究所は7年間ドブに捨てたことになるの？

Fumiharu Kato 加藤文元@FumiharuKato
2019年11月24日
(1) Scholze-Stixの反論ノートに対して、望月さんは回答しなかったというのは事実に反します。望月さん側は45ページに及ぶ詳細な回答
http://kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
http://kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html
を公開しています。

4) 「理論のとっかかりで破綻」ということですが、これも理論の「とっかかり」がどこにあるのかが明確に述べられていないので、
ステートメントとして無効であると考えます。少なくともScholze-Stixが2018年3月に指摘した「ギャップ」の所在は、
Fumiharu Kato 加藤文元
@FumiharuKato
現在ではIUT理論やその周辺の専門分野に関わる専門家たち（念のために述べますが、日本人に限りません）の間では、
Scholze-Stixによる勘違いであったのだろうという認識であり、現在に至っても「破綻」していたりギャップがあったりしている箇所は指摘されていません。
https://twitter.com/FumiharuKato/status/1198513284502020101
https://twitter.com/5chan_nel (5ch newer account)

BはIUTをきちんと説明できないのに擁護してるのが意味不明なんだよなあ。

ナビエーストークスの定理を代数的に解いたんすか

文元て望月のセミナー相手だったのに説明できないとかあるんか
どの場面でそう思ったんだ

>>333
法の奴隷には思いもつかない合理的な考え方だと思います
感染したお医者さんが、その症状が軽症で感染病棟で続けて勤務していただける希望をお持ちならば、そうするべきでしょう

>>352
>>348
>査読が正否を決めるんじゃなくて数学者コミュニティが決めるんだぞ。

頭大丈夫かな？

>>356
Scholze側はこの反論の存在はちゃんと知ってるんか？