[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1(4): 2025/11/12(水)03:38 ID:5u0J6jYO(1/36) AAS
未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います
983: 03/31(火)18:41 ID:AUUFhsw3(1) AAS
>>970
これは本当に恥ずかしいですね
Leanに対しても太字で罵倒するんでしょうか？
984(3): 03/31(火)18:48 ID:WtISkHRl(1/2) AAS
LANAプロジェクト、世界一のメンバーを集めたと豪語する割には
望月本人の参加なし（ついでに副所長の参加もなしかよ？！）
というか文元によれば本人がプロジェクトに好意的かどうかすら不明
これではプロジェクトが頓挫して
望月がお決まりの「自分の論文を理解できない方が悪い」を
繰り返す未来しか見えない
985: 03/31(火)19:13 ID:wJWuuQZQ(2/2) AAS
存在しない証明をLeanが通るわけないし
ギャップがありますよって言ったところで望月はまた
精神論で逃げるだけだろ
初めから無意味な小手先の時間稼ぎでしかないのは明らか
986(1): 03/31(火)20:21 ID:sCPWigvO(2/2) AAS
>>984
このプロジェクトが頓挫したら もういよいよ先は無いんじゃないか
987(1): 03/31(火)20:28 ID:WtISkHRl(2/2) AAS
>>986
ネット論争や予言失敗のカルト宗教と同様
本人が諦めない限りいつまでも続きます
988: 03/31(火)20:41 ID:6EhuCNie(1/3) AAS
>>984
>望月本人の参加なし（ついでに副所長の参加もなしかよ？！）
え？
それホント？？？意味あんのそのプロジェクト
989: 03/31(火)20:42 ID:6EhuCNie(2/3) AAS
>>984
>文元によれば本人がプロジェクトに好意的かどうかすら不明
前に
LEANで検証できることに期待してるみたいなことブログに書いてなかったケ？
990: 03/31(火)20:44 ID:6EhuCNie(3/3) AAS
>>981
秋の学会で遠アーベルの企画公演した先生は参加してる？
991: 03/31(火)23:34 ID:k/sIZtir(5/5) AAS
玉川安騎男京大数理研教授.
(PRIMS編集委員長)はプロジェクトへ参加していないと思う。
中核的と称するIUT理解者は
サイディ.山下.星の3名ながら
・内閣府の企画では
玉川教授
>最近望月新一さんが証明したABC予想など、いくつもの数論の大問題が数論幾何学を用いて解かれています。
特に望月さんのABC予想の証明では、遠アーベル幾何学の理論や考え方が重要な役割を果たしています、と発言している。
文中の写真は全て査読中の2017年
省1
992: 04/01(水)01:04 ID:1vy3d++o(1) AAS
ゴー:自分の博論も間違えてるポンコツ こいつが証明何度もチェックしたとか言っても小保方さんレベルの信ぴょう性しかないよ
いつまでも望月に引導渡せないの見るに、他の自称理解者も同レベルなんだろう
993(1): 04/01(水)01:22 ID:O4h0CXmH(1) AAS
そもそものアイデアの説明の所だけど
足し算と掛け算を分離して云々って
F1の言い様とすごく似てるのが気になってる
あるところではF1は集合としてはF2={0,1}と同じで
掛け算は定義されているが足し算は1+1を定義しない
みたいな説明が為されてたりする
何でそんなものが「体」のように扱えるか不明だけど
（二元あるのに）一元体と言い張る人がいるのも
IUTも似て無くも無い感じがする
994(1): 04/02(木)19:34 ID:P5oxOHky(1/5) AAS
>>993
というか、望月の理論はF1を遠アーベル幾何学風に捉えられないかというアイデアだから合ってる。ノートにも書いてある
あれは平たく言うとetale-crystallineの構造からF1のホッジ理論のようなこと
ができないかという理論と取れる
ただ、etale-crystallineではそんなものがないからRの位相群で代替すると
つまり、F1の遠アーベル幾何学を直接構築するアプローチではなかった
995: 04/02(木)19:38 ID:P5oxOHky(2/5) AAS
あと知り合いが、何故IUTが不十分か理由を特定したと言ってる
ショルツの指摘は半分くらい正しいらしい
角川の懸賞金より別証明をまず試みるんだと。三年前後でやると言ってるので
それを見守るつもり
996: 04/02(木)19:48 ID:P5oxOHky(3/5) AAS
>>994
自己レス
etale-crystallineのスキーム論にはそんなものはないから
フロベニオイドとアナベリオイドに両立する構造として位相群を使う話だった
これは圏論的に可換化するとナンセンスになるという指摘がロバーツから
出ていたわけだけど、ナンセンスになるというよりとにかく不等式にならない
それがショルツの主張なんだが、望月らはそもそもそれを認識していたので、ショルツの批判に同意しなかった
それでもああいう仕組みになった。結論から言うとそれはやはり無理筋らしい
997: 04/02(木)19:52 ID:P5oxOHky(4/5) AAS
認識していたとはつまり、ショルツが批判するレイヤーとは別のレベルで不等式になるんだと考えていた
だから望月らからすればあの批判は意味が無かった
これ自体は例の望月─SSペーパーに反映されてる通り
998(1): 04/02(木)20:09 ID:P5oxOHky(5/5) AAS
ともかくざっくりすぎでナンセンスに見えたら申し訳ないけど、数体のabcはそもそも足し算と
掛け算は分離しないと不等式が出ないタイプの問題なんで、IUTでも絶対ガロア群やlogを組み合わせて使ったりしてそれを攻略しようとしたわけね
それでレイヤーを巧妙に分けて掛け算の強い不変量が出たかというとやはり難しいのではないか、ということみたいです
999: 04/02(木)20:20 ID:WYszVHCf(1) AAS
>>998
> ID:P5oxOHky
詳しいですね
専門家ですか
IUTにアプローチできるのはスゴイ
1000: 04/02(木)21:06 ID:ODdc/oy1(1) AAS
>>954の期待通りになったけど
ご本人の参画なしだから決着しそうにない
3.11のステートメントを形式化しようにも
解釈の仕方が立場によって複数あって（それでも数学か？）
弱すぎたら3.12は出せないし（S-Sは大体この立場）
強すぎたら不都合が生じる（形式化不能 or 矛盾発生）
うまく形式化できないところがあるってLANA陣営からの
問い合わせの返事が新年のブログの内容
LEANが「一階述語理論としてのZFC」を扱えないのが悪いってこと
外部ﾘﾝｸ:aitpm.github.io
省2
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 141日 17時間 28分 27秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s