Inter-universal geometry と ABC 予想 46

**１３２人目の素数さん** · 2020/04/04(土) 11:33:27.89

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

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

**１３２人目の素数さん** · 2020/04/04(土) 11:34:12.15

**１３２人目の素数さん** · 2020/04/04(土) 11:34:45.56

**１３２人目の素数さん** · 2020/04/04(土) 11:35:14.98

**１３２人目の素数さん** · 2020/04/04(土) 11:36:49.50

**１３２人目の素数さん** · 2020/04/04(土) 12:57:49.11

特別号だからいつになるやら

**１３２人目の素数さん** · 2020/04/04(土) 13:02:03.81

会見で不安になるな
本当に京大数理研は責任取れるのかな

**１３２人目の素数さん** · 2020/04/04(土) 13:12:00.27

自分の分野(非数学)だと論文はアクセプトされてすぐwebにあがるんだけど数学はそうじゃないのか？

**１３２人目の素数さん** · 2020/04/04(土) 13:17:47.01

今回のマスコミ発表で、無回答だったショルツは、
∧と∨を誤解したか、数学的に反論する必要な立場になるね。

Dupuy指摘など、IUTeich [Alien]， §3.11， (iv)　に反論しないと、
IUTの正否を問う毎に、初歩的な間違えをしたのでは？と、逆に揶揄され続ける。

**１３２人目の素数さん** · 2020/04/04(土) 13:53:03.55

本来は京都で行われる会議の後に出すつもりだったんじゃないの

コロナの影響で８月だったかに延期されたから
年内に出す予定だと思うけど

**１３２人目の素数さん** · 2020/04/04(土) 13:54:31.30

>>8
分野ってよりは雑誌によるだろ。

**１３２人目の素数さん** · 2020/04/04(土) 14:16:32.92

3/8に4/4アクセプト予想がたってるのでもっちの正月ブログ受けてT先生が必死こいて解読したのではないのかね

**１３２人目の素数さん** · 2020/04/04(土) 14:34:21.76

これあれだろ
エイプリルフールに関係者がポロッと話したのが
翌日とかに広まってしまって収拾付かなくなったんだろ
掲載の話をした担当者は
今更エイプリルフールネタでしたとは言えずに青ざめてると思うぞ

**１３２人目の素数さん** · 2020/04/04(土) 14:49:15.24

ショルツと言う人を初めて知ったけど
32歳なのにとんでもない業績挙げててビビった
この天才が望月教授の論文を否定的に見てる時点で小保方になりそうで怖いんだけど本当に大丈夫なのか？

**１３２人目の素数さん** · 2020/04/04(土) 14:54:13.32

ショルツェ教授もすごいが、もっちーだってまったく負けてないから( ｀Д´)/

**１３２人目の素数さん** · 2020/04/04(土) 15:02:53.94

>>8
アクセプトされてからジャーナルのフォーマット細部をあわせなきゃいけないんだから
ラグはあるだろ

**１３２人目の素数さん** · 2020/04/04(土) 15:03:52.58

>>14
微分・積分以来の数百年ぶりの新しい数学についていけないだけ

モッチーのが格上確定してしまった

**１３２人目の素数さん** · 2020/04/04(土) 15:15:18.37

IUTで強いABC予想までは解けないということは、
IUTをも解体したそれこそ化物みたいな数学を
構築しないとそれを解けないということなんかな？

**１３２人目の素数さん** · 2020/04/04(土) 15:16:01.80

ショルツもあちらでは数十年に一度クラスの天才と評されてるけど望月さんクラスは100年に1度だからな
あんな論文誰にも書けんよ(アイデアとしあったとしてもね)

**１３２人目の素数さん** · 2020/04/04(土) 15:20:20.44

これの隠蓑のための上層の政治的判断かもな
ttps://www3.nhk.or.jp/kansai-news/20200402/2000027401.html

**１３２人目の素数さん** · 2020/04/04(土) 15:27:10.51

>>18
もういちいち説明や後進の育成に時間使わなくて良くなるから、強いABC予想にもIUTで取り組めるんじゃない

**１３２人目の素数さん** · 2020/04/04(土) 15:32:16.02

IUTは微積分に匹敵する新規性なんだからそれこそニュートンやガロア以来の天才でしょ

**１３２人目の素数さん** · 2020/04/04(土) 15:36:27.59

勝った
掲載によって証明完了

**１３２人目の素数さん** · 2020/04/04(土) 15:37:43.93

完全に専門外の素人の、受験レベルでの知識から見ると
強いABC予想の方が縛りがきつく見えるから、いけそうな気もするんだけどな

望月教授の目的はIUTで数学の新たな地平線を切り開く事であって
既存の数学の上に立つ事は興味はそこまでないのかもしれないが

若手で野望をもった人は、すぐ強いABC予想の証明にとりかかるだろうし
それが出てこないという事は、さらに解決しなきゃいけない問題があるんだろうけど

**１３２人目の素数さん** · 2020/04/04(土) 15:40:03.28

もっちーが脱け殻になりませんように！
でもしばらく休んで温泉でもいって焼き肉食いまくればいいとおもう
どうせ京都も5月まで学内閉鎖レベルらしいし

**１３２人目の素数さん** · 2020/04/04(土) 15:57:44.80

第三者が「論文は弱いABC予想を証明してる」と言い出さないうちは信用できない。

**１３２人目の素数さん** · 2020/04/04(土) 16:02:15.52

>>14
シュルツが間違いを指摘してるからこの理論は欧米数学学会で相手にされなくなった
今回はそこは大きく修正されてないみたいだから京大にとっては小保方級の失態になる可能性もあるよ

**１３２人目の素数さん** · 2020/04/04(土) 16:04:58.85

Dupuy and HILADOとDupuy and Joshiが出て、それが本当にアメリカの連中が
読めるものかどうかで今後の流れがきまる。
出るのに1年、アメリカの連中が読むのに1年、向こうの風向きが変わるのに2年必要。
しかも、うまくいったとしての話。

**１３２人目の素数さん** · 2020/04/04(土) 16:10:41.98

あー望月教授が否定される理由が分かった
タイヒミュラーの名前がナチスを連想するからか
世紀のABC予想証明にナチスの功績みたいになるのを阻止したいのね
ドイツらしいな

**１３２人目の素数さん** · 2020/04/04(土) 16:18:44.39

タイヒミュラー空間とか望月関係なく昔からあるんですがそれは……

**１３２人目の素数さん** · 2020/04/04(土) 16:19:10.45

あの口ぶりだと、
ショルツは絶対に1週間前の加筆修正読んでないね。

彼の中では既に決着が着いた問題として
関心を失っているのだろう。

**１３２人目の素数さん** · 2020/04/04(土) 16:24:34.88

今年大きな集会が四つ予定されててそこでその他研究者の評価も出るだろうと思ったけどこの騒動だからな

**１３２人目の素数さん** · 2020/04/04(土) 16:28:05.56

Max Lieblich@algeom　13時間
Didn't Scholze and Stix show that the Corollary in question is wrong?

Taylor Dupuy@DupuyTaylor
They did not. The assertion they made is really really really elementary. Like its equivalent to A !=B and A=B at the same time.
There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here.
https://twitter.com/DupuyTaylor/status/1246142127538614272
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/04/04(土) 16:30:25.80

なぜ専門家でもない人より専門家に近い人の意見を信じないのかわからない。

**１３２人目の素数さん** · 2020/04/04(土) 16:40:08.04

数学ってやっぱすごいな
俺の分野だと嘘論文が量産されとるわ
査読が通って掲載されることと事実であることが全く乖離しとる

**１３２人目の素数さん** · 2020/04/04(土) 16:47:34.64

>>33
自動翻訳
ScholzeとStixは、問題のCorollaryが間違っていることを示したのでは？

テイラー・デュピュイ@DupuyTaylor
彼らはしなかった。彼らの主張は本当に本当に初歩的なものです。 A !=BとA=Bが同時に成立するというようなものです。

他にも論点はありますが、フィールズ受賞者の言が必要なものではありません。ここでは権威へのアピールが多いですね。

**１３２人目の素数さん** · 2020/04/04(土) 16:48:45.15

>>31
その加筆で認識がガラリと変わるとは思えないけど
前にも書いたがあのブログの解説部分も論争の要点であって、反論レポートの内容の単純化でしかない
基本的に、読み込んでその当該部分の認識に必要な装置をちゃんと理解して、組み立てでつまづいてるわけね
ショルツは。普通の数学の感覚だとそれってちょっと珍しいから、深刻なギャップが双方にあるわけ

まあDupuyが東海岸の近所のプール学院に駆り出されるのは間違いないから、そこで認識が変わるかどうかだな

**１３２人目の素数さん** · 2020/04/04(土) 16:49:04.56

テータ関数のモジュラー形式に現れる6つの項を
意味のある不変量として定義した上で、それらを3x3に分けて内積を取る
そして現れるSU(3)
この内の随伴表現の8成分を抜き出して新たに定義する
これがlogテータ格子って感じに見える

まるでクォークとグルーオンのよう

**１３２人目の素数さん** · 2020/04/04(土) 16:54:56.17

とりあえず、RIMSで開催されるワークショップが終わるまでは
国際的な情勢は基本的には変わらなさそうな感じだね

**１３２人目の素数さん** · 2020/04/04(土) 17:02:47.31

>>15
ひとみん嬉し泣き＆悲し泣きが１度に来て混乱してそう…
願いが叶ったらもっち様は月の都の人に…
ますます遠くなっちゃったね…

ひとみんが可哀想だょー…

**１３２人目の素数さん** · 2020/04/04(土) 17:16:08.33

いろいろあるにしても
まさか小保方と比較される日が来ようとは

大きく育ったな

**１３２人目の素数さん** · 2020/04/04(土) 17:23:47.02

Goが悪いんだよ
初っぱなから見た目が胡散臭すぎた

**１３２人目の素数さん** · 2020/04/04(土) 17:25:30.62

Meu Gato
@meu_gato
If Mochizuki wanted acceptance of the paper to be taken seriously, it should have gone to Annals, JAMS, not PRIMS.
If he can't explain why Cor 3.12 is correct, maybe he should let Hoshi, Yamashita, Fesenko, (you?) try. Else they should not claim they understand.

Taylor Dupuy
@DupuyTaylor
No I totally agree. This is shady AF. Especially in Japan with all the deference to authority. It was a mistake for them even to consider it.

Meu Goto
望月氏は論文のアクセプトを真剣に受け止めてほしかったのであれば、PRIMSではなくAnnalsやJAMSに行くべきでした。
もし彼が何故Cor3.12が正しいのかを説明できないのであれば、星、山下、フェセンコ、(あなた？)が挑戦するよう導くべきでしょう。
そうでないなら彼等は理解していると主張するべきではありません。

Taylor Dupuy
(主張するべきではない、という否定形に対するno)
いや、全く同意です。
これはめちゃくちゃ怪しいですよね。
特に日本では権威へのこだわりが強いですからね。
彼らにとってはそんなことを考えることさえ間違いでしたよ。

こういうことよな

**１３２人目の素数さん** · 2020/04/04(土) 17:28:07.51

＞2月にアクセプトされてるのにまた改稿してるの？
＞マジで前回の延長戦やるつもりなのか。

出版する際の微調整とかじゃない？
餅がアクセプト済み論文を改稿する時はCommentsって文章をHP上に公表してるよね
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html

**１３２人目の素数さん** · 2020/04/04(土) 17:38:48.18

ゴールポスト動かし親方って事ね

**１３２人目の素数さん** · 2020/04/04(土) 17:44:37.97

要するにDupuyによれば、SSレポートは補題3.12が「間違っていることを証明する」には全く至っていないが、
結局それ以前に補題3.12が意味不明だから説明できない限り証明したとは思われないし、修正版が出るまで待つしかないってことだな

**１３２人目の素数さん** · 2020/04/04(土) 17:49:26.31

3.12が意味不明なんて言ってないよ

**１３２人目の素数さん** · 2020/04/04(土) 17:55:59.35

>>47
Cor3.12に関するMeu Gotoの意見に完全に同意ですと言ってるね

**１３２人目の素数さん** · 2020/04/04(土) 17:56:34.87

正しいとしても、ショルツが意趣変えの表面をしなけりゃ三年は変わらないだろうな
大体「SSを鵜呑みにしたから海外の研究者は否定的なんだ」ってレスここでも多いけど、
現実はさすがにそこまで低レベルではないし、普通に理解されてないだけ

**１３２人目の素数さん** · 2020/04/04(土) 18:03:17.20

GOTOは3.12の説明を本人ができないなら周りの人に説明させるべきだと言ってるが、DUPUYは前の方で説明責任は果たしていると言っている。
DUPUYが賛同してるのは身内が査読した部分だけだろ。

**１３２人目の素数さん** · 2020/04/04(土) 18:08:53.53

もっちーは単に自分のところの雑誌に乗せたいってだけだろ
Gotoの雑誌に関する権威主義逆に何なんって思うけどな
ワイルズもドリーニュも自分のところの雑誌に出しているっつーの

**１３２人目の素数さん** · 2020/04/04(土) 18:13:25.73

AnnalsやJAMSに行くべきにたいして
Dupuyは権威がどうとか言ってるから
皮肉で言ってるんじゃないかってくらいに矛盾してるな
英語難しいわ

**１３２人目の素数さん** · 2020/04/04(土) 18:15:07.88

お墨付きを得たんだからどんどん議論が出てくればいいんだよ
正誤の判断はその先にしかない

**１３２人目の素数さん** · 2020/04/04(土) 18:17:12.22

雑誌の話じゃなくて単に講義しろで済む話
で、それはDupuyがやるだろう

**１３２人目の素数さん** · 2020/04/04(土) 18:19:03.14

数学で「お墨付き」って意味あるの？

ペレルマンの論文はインターネットで公表されただけじゃん
お墨付きなんてなくても、”みんな”が認めりゃいいんだろ？

**１３２人目の素数さん** · 2020/04/04(土) 18:21:06.50

ある人が架空のabcdef予想から定義と公理作って理論体系作って証明したとする
すると形式的にはその証明は正しいけど、そうなると数学界に受けいられる受け入れられないの判別基準ってどうなんだろうね。

これこれの理論体系の基で、、証明して下さらないと受付ませんよーってなるのかな?
いやこれは記号と多くの人にコンセンサスがある推論規則使ってるんだから「数学」だ、だから認めないとおかしいって終わりのないバトルになりそう。

**１３２人目の素数さん** · 2020/04/04(土) 18:22:03.27

>>54
＞Dupuyがやるだろう

ところでFesenkoって人は何もせんかったの？
理解したんだろ？

**１３２人目の素数さん** · 2020/04/04(土) 18:22:50.38

>もし彼が何故Cor3.12が正しいのかを説明できないのであれば、星、山下、フェセンコ、(あなた？)が挑戦するよう導くべきでしょう。

ほんまそれ
その部分の外部向けの補完というだけで業績になるのに
誰もしない時点で理論ではなく権威に追従してるように見られても仕方ない

**１３２人目の素数さん** · 2020/04/04(土) 18:24:53.47

>>56
非ユークリッド幾何がどうやって認められたか、調べてみればいいんじゃないか？

**１３２人目の素数さん** · 2020/04/04(土) 18:28:57.80

>>58
証明
じゃなくて
自然
なんだよ、ありのまま

星がサーベイで何回もいってるし、文元もツイッターでそういってる

だから、いわゆる「証明」できない

ってかIUT自体「証明ですらない」

**１３２人目の素数さん** · 2020/04/04(土) 18:31:05.97

なんだよそれ宗教か？

**１３２人目の素数さん** · 2020/04/04(土) 18:31:58.90

餅Tさんが副所長じゃなくなってるな
もっちーもまた、論文修正してる
おつかれさま

**１３２人目の素数さん** · 2020/04/04(土) 18:38:28.31

冷静に考えてフィールズ賞受賞者が全く理解できないのに
なぜ特に目立った業績のない弟子は理解できるんだ？

**１３２人目の素数さん** · 2020/04/04(土) 18:51:15.75

初歩的なところで間違えたから、躓いてると、モッチーが言っている。

また報道では、複数の査読者と、ＲＩＭＳの編集者が、再査読で２年かけて
問題がないと判断したから、業績のない弟子達ではないよ。

**１３２人目の素数さん** · 2020/04/04(土) 18:55:57.30

100歩譲って弟子は理解できたとして
8年間も経って１つもIUT絡みの別の新発見がないというのが微妙
機密保持契約でも結んでいるのか？

**１３２人目の素数さん** · 2020/04/04(土) 18:56:01.24

>>57
身内のセミナー仕切っただけ
今のところIUTをちゃんと公的に解説した功績はDupuyとJoshiが候補なだけで皆無だよ
でも、ある程度内容を把握してる人は身内以外にも何人かいるので、機会があれば出てくる可能性もある

**１３２人目の素数さん** · 2020/04/04(土) 18:59:06.97

>>63
ショルツばかり出すのもおかしい。ケドラヤも完全なコミットを留保していた実力者の一人だし、
表に出てないだけで十分納得できなかった一流も他にいるよ。しかし、全否定してる人はショルツくらいしか
俺は知らない