Inter-universal geometry とABC 予想54

**獣姦最高さ～** · 2023/01/31(火) 14:13:57.68

未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。

荒らしはご遠慮願います
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

前スレ
Inter-universal geometry とABC 予想53
http://rio2016.5ch.net/test/read.cgi/math/1671174361/

**１３２人目の素数さん** · 2024/04/13(土) 13:10:37.13

確かに端折りました。

**１３２人目の素数さん** · 2024/04/13(土) 13:20:08.45

Joshiの誤りのある可能性の箇所を、ショルツェは２ケ所あげているようですが、ショルツェは局所的(local) は使っているの訳してみましたが、大域的(global)は使ってないので、、、、

To summarize: There is a clear problem with Joshi's proof, as there is a contradiction between Proposition 6.10.7 and the local inequality proved in the proof of Theorem 9.11.1. The mistake could be in Proposition 6.10.7 (and, given that the proof isn't written down, is the first suspicious place) but it might as well be a mistake in the proof of Theorem 9.11.1.

**１３２人目の素数さん** · 2024/04/13(土) 13:23:51.84

・the local inequality proved in the proof of Theorem 9.11.1.
・（but）it might as well be a mistake in the proof of Theorem 9.11.1.

局所的なTheorem 9.11.1. の不等式の証明で、もしかしたらば、局所で誤りがあるかもしれない。

**１３２人目の素数さん** · 2024/04/13(土) 13:35:36.65

・there is a contradiction between Proposition 6.10.7 and the local inequality proved in the proof of Theorem 9.11.1.

Theorem6.10.7と、Theorem9.11.1の証明で立証された局所的不等式、との間で矛盾が生じている。

局所的な不等式と、それを大域化した不等式の間の矛盾は、大域化の過程でのmistakeとは思いますが、、、

**１３２人目の素数さん** · 2024/04/13(土) 13:41:26.69

The mistake could be in Proposition 6.10.7 (and, given that the proof isn't written down, is the first suspicious place)

おそらく Proposition 6.10.7にミステイクがあるのだろう。

後の（括弧内）は、たぶんですが、
（そして、Theorem6.10.7は書き下ろしでないことを考えると、まず疑われるところである）

**１３２人目の素数さん** · 2024/04/13(土) 13:42:30.27

大域とは書いてなかったので

**１３２人目の素数さん** · 2024/04/13(土) 13:46:46.94

俺が死ぬまでに決着つくのかなこの件
数理研とかなんだっけZ大学？みたいな
”拠点校”が確立されてるか今後何世紀も
”でき組”は維持され他方世界的には
”だめ組”も維持されるというかすでに
顧みられなくなって黙殺？みたくで
一緒の土俵で決着を図る機運はどんどん
なくなっていくんじゃないだろうか
すみません
部外者です

**１３２人目の素数さん** · 2024/04/13(土) 14:08:57.44

もうとっくについてるよ
そもそもiutなどという謎の論理体系などどこにもない
しょうがないから幾人かの有志が善意で標準的数学理論への解釈を試みたが全て失敗
当の本人たちは未だiutの定式化もあたえずほったらかし
定年逃げ切りの体勢に入った
数学の世界は性善説で出来ててこういう不届きな行為の責任を追求する事もできない
ガッツリ退職金貰って後は知らんで終わらすんでしょ

**１３２人目の素数さん** · 2024/04/13(土) 14:25:22.02

>>958
そうだね。その通りだね。

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

意地の張り合いは、せっかくの才能が勿体ない。

**１３２人目の素数さん** · 2024/04/13(土) 15:47:24.09

上で、相性が悪そう。京都で会ったよね。

**１３２人目の素数さん** · 2024/04/13(土) 16:52:07.18

Joshiのペーパーは未完成で、Cor.3.12のギャップがそのままなら、どちらかがごめんなさいか、このままかだけど。

今回のSchulzeのIut-Ⅳの投稿は気になるけど、
MOの場は土俵だったから、>>958さんとちがっているかもしれませんが、残念だったかな。

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

望月の証明にまつわる問題につけるとの理由で、Joshは共同論文を望月に提案していた。

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

Joshiは駄目だろう。何年経ってると思ってるんだ
対数殻の計算部分を形式群で解釈するとかやってた気がするが

**１３２人目の素数さん** · 2024/04/13(土) 20:16:17.95

失敗は成功のもと
一度や二度の失敗でめげるな
失敗を次に生かせ
新プロジェクトX

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

>>965
同意。
ショルツェも、駄目か、あと何年かかるかと思ったのでは。

**１３２人目の素数さん** · 2024/04/13(土) 21:47:27.94

局所的な不等式を単純に合計することによって ABC を証明するアプローチは失敗する。
素点の反例を回避するような、局所的な不等式の合計でないと駄目なのだろ。

**１３２人目の素数さん** · 2024/04/13(土) 21:48:43.98

https://mathoverflow.net/questions/467696/global-character-of-abc-szpiro-inequalities

**１３２人目の素数さん** · 2024/04/13(土) 22:06:54.56

Will Sawin

we've canceled everything on one side of the inequality and are left with nothing nontrivial to bound, and a bound on nothing also cannot prove ABC.

**１３２人目の素数さん** · 2024/04/13(土) 22:13:48.68

CHUAKS
we can't even prove the inequality just for these tuples without assuming ABC

**１３２人目の素数さん** · 2024/04/13(土) 22:39:36.15

局所情報を組織する手段の探索に何年かかる

**１３２人目の素数さん** · 2024/04/13(土) 22:52:04.60

ここ最近のIUTを支持してるのかしてないのか分からない海外の論文は
IUTの内容のうち数論研究に使える部分を抜き取る作業に見えるな
自分は、ラングランズプログラムを進める道具を巡るシマ争いだと疑ってる
なぜなら、双方とも目に見えて条件闘争的なんだよ
"abc is still conjecture"という消極的な書き方が正にそれで、
遠アーベル幾何学の研究者ですらも"IUT is false"と言い切った人が一人もいないのも確かだ
触らぬ神に祟りなしだよ

**１３２人目の素数さん** · 2024/04/13(土) 23:27:51.92

だからJoshi版IUTのように、望月IUTにmistakeがあるの？

**１３２人目の素数さん** · 2024/04/13(土) 23:35:31.00

974は、書きかけを送信してしまった。
以前と違って、確認画面で確認してから送信でなく、
いきなり送信になっている

**１３２人目の素数さん** · 2024/04/13(土) 23:41:03.16

これまでのパターンが繰り返されただけ
標準の数学で解釈しようとするとどこかで不都合が発生する
ショルツが言った通り全部の辻褄が合う解釈は存在しないんやろ

**１３２人目の素数さん** · 2024/04/13(土) 23:48:57.16

>>948

そうですね。

scholzeが強調している点は、望月の証明とjoshiの証明は別で
望月のabc予想の証明の問題点はjoshiのabc証明の間違いに関係ない。
(ただしjoshiの証明は望月の証明と混乱する間違いがある)
よって望月の証明はzbmath scholzeレビューにより
問題はpart IV 4部でなくpart Ⅲ3部cor.3.12。

>>783

・part IV
>part IV contains certain technical computations standard in number
theory to translate Corollary 3.12 of part III into the ABC conjecture.

・cor.3.12について
>at some point in the proof of Corollary 3.12, things are so obfuscated
that it is completely unclear whether some object refers to the q-values
or the Θ-values, as it is somehow claimed to be definitionally equal to
both of them, up to some blurring of course, and hence you get the desired result.

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

Joshi版IUTのような、局所的でなく、大域的な性質の関連づけのところは困難そう。

**１３２人目の素数さん** · 2024/04/13(土) 23:57:16.43

局所的なところは、、、

**１３２人目の素数さん** · 2024/04/14(日) 00:10:14.78

>>0977
違っていたら、ごめんなさいだけど、
IUT-Ⅲのcor.3.12を使ってIUT-ⅣでABC予想の不等式をつくるのだとして、
望月の素点pでABC予想の不等式を検証するのは、IUT-Ⅲのcor.3.12でなくて、
IUT-Ⅳで確かめるのかもしれない、と思いました。

**１３２人目の素数さん** · 2024/04/14(日) 00:30:41.52

IUT-Ⅲを使って、IUT-ⅣでABC予想の不等式をつくれば、IUT-ⅣにIUT-Ⅲが含まれる。

・I do not think that there is a real error internally in IUT IV.
→IUT IV.内に本当のエラーがないならば、過程のIUT-Ⅲにエラーがあってはいけない
→質問者のTheorem 1.10もエラーがあれば、IUT IV.内で本当のエラーを持つ
・"Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12.
→ 望月の Corollary 3.12.は、Joshiの単なる局所不等式の和でない。

誰か違っていたらご指摘ください。。。

**１３２人目の素数さん** · 2024/04/14(日) 00:35:32.58

つまり、
I do not think that there is a real error internally in IUT IV.
IUT-Ⅳの過程も、IUT‐Ⅳに至る過程の前提にも、真のエラーがない

**１３２人目の素数さん** · 2024/04/14(日) 00:43:29.03

>>981
そうだけど、それすごいよ。本当にそこまで言ったかな。

**１３２人目の素数さん** · 2024/04/14(日) 00:52:33.50

ショルツェが降参？　・・・・　それともなりすまし？

**１３２人目の素数さん** · 2024/04/14(日) 01:00:14.06

>>980

>>596
伊原先生は、ABC予想への言及は最後の第4部corollary2.3 p687。
現時点で彼の証明に触れることはできません。
筆者の2012年の論文も4部で引用されていますが、全体が理解できていません。

ABC予想の証明がある本論文が出版された後でも伊原先生は全体が理解できていない
と述べていて私なぞ理解できるわけない。
いやIUTに時間をかけるのは時間の無駄と理解してます。

**１３２人目の素数さん** · 2024/04/14(日) 01:03:22.98

＞俺が死ぬまでに決着つくのかなこの件　
→ついた

**１３２人目の素数さん** · 2024/04/14(日) 01:13:37.46

>>985

>>596は伊原先生

>>0914は、なりすましでなければPeter Scholze

人が違っているのですが、どうやらIUT-Ⅳまで読んで、
I do not think that there is a real error internally in IUT IV.
らしいのですが、、、　

**１３２人目の素数さん** · 2024/04/14(日) 01:31:19.16

>>967
実はjoshiの件は望月IUTもとりまきにも致命傷だな。
必死でIUTとjoshiの証明は無関係とうそついていたがw

**１３２人目の素数さん** · 2024/04/14(日) 02:18:59.08

>>987
第四論文にはとりあえず矛盾はない＝IUT全体に問題はない、では全くないぞ
何もわかってねえな

**１３２人目の素数さん** · 2024/04/14(日) 02:34:53.58

＞必死でIUTとjoshiの証明は無関係とうそついていたがw

客観的に、ショルツェがJoshi版の望月Cor,3.12は、望月のCor. 3.12. と同じ内容を持たないと述べ、無関係なのでは？

＞実はjoshiの件は望月IUTもとりまきにも致命傷だな。
Joshi版IUTで、大域的な性質の関連づけのストーリーができなければ、従来の数学でIUTのような大域化ができない。
IUTを使う以外になくなる。

**１３２人目の素数さん** · 2024/04/14(日) 02:40:10.21

結局数学的には虚構の宇宙騒動がここまで抉れてるのって、、
ブンゲン、ドワンゴが大学でっち上げて文科から金巻き上げるためのスキームでしょ、
そこに過去の人をうまく利用したわけ。。。
出版されたことを大義名分に掲げてるし、数理研の犯した罪は大きいよ

**１３２人目の素数さん** · 2024/04/14(日) 03:09:17.48

>>990

Peter Scholze

I do not think that there is a real error internally in IUT IV.

real error 　→　〇：真のエラー、×：とりあえず矛盾　

ペーター　ショルツェ
私はIUT-Ⅳ内に真のエラーがないと考える。

・IUT-Ⅲを使って、IUT-ⅣでABC予想の不等式をつくるので、IUT-ⅣにはIUT-Ⅲを前提で含んでいる
・従い、IUT-Ⅳ過程とIUT‐Ⅳに至る過程の前提にも、真のエラーがない

**１３２人目の素数さん** · 2024/04/14(日) 03:15:17.85

Peter Scholze

"Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12.

ペーター　ショルツェ
”Joshi版の望月Corollary 3.12”は純粋に局所での証明であるため、望月のCorollary 3.12. と同じ内容を持っていない

→ 望月の Corollary 3.12.は、Joshi版のような単なる局所の不等式の和でない。

**１３２人目の素数さん** · 2024/04/14(日) 06:56:28.91

そろそろショルツェも終わらせたい？

**１３２人目の素数さん** · 2024/04/14(日) 07:38:43.82

IUT Challenger Prizeは2034年まで
賞金かけられている

**１３２人目の素数さん** · 2024/04/14(日) 08:17:57.14

↑
all of this Mochizuki stuff is just hype & drama, I'm afraid

望月のこうしたものはすべてただの誇大宣伝とドラマです、残念ですが

**１３２人目の素数さん** · 2024/04/14(日) 08:18:33.84

>>992
なんでそう読むんだよ。わざわざ、internallyってつけてるんだから、
IVそのものにはエラーはないが、I～IIIにはエラーはありうるっていってる。
Peterも長々と茶番に付き合ってえらいな。

**１３２人目の素数さん** · 2024/04/14(日) 08:20:50.08

素点ｐを満たす式が難しい
https://mathoverflow.net/questions/467696/global-character-of-abc-szpiro-inequalities

**１３２人目の素数さん** · 2024/04/14(日) 08:23:33.12

all of this Mochizuki stuff is just hype & drama, I'm afraid

望月のこうしたものはすべてただの誇大宣伝とドラマです、残念ですが

**１３２人目の素数さん** · 2024/04/14(日) 08:25:26.99

1000でIUT茶番劇終了

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 438日 18時間 11分 30秒

**1002** · Over 1000

5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login