[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
737: 2019/06/27(木)13:04 ID:jSjUaawY(1/6) AAS
>>730
そういう導出力がありそうにない事はかなり早い段階から認識されている
類体論のオルタナティブという割にはフェルマーの導出もできない
IUTがeffectiveで本物なら、多分フェルマーは30ページくらいで証明できないと不自然だろうね
ワイルズの理論よりは凄いはずだから
749: 2019/06/27(木)18:59 ID:jSjUaawY(2/6) AAS
>>744
整数環の群による微分を使って楕円曲線の高さを計算するのがIUTなので
実は全くそのようなスキップは通用しないと見るべきだね
テレンスタオも含め、数論研究者が懐疑的な理由の一つはABCより弱いが重要な結果がないってことだ
750: 2019/06/27(木)19:01 ID:jSjUaawY(3/6) AAS
元々はこれ線形の理論ではないんだけど、何らかの上手い操作を使えば何らかのモチーフも
計算できるはずだしね。Voevodskyとは違うような形で
正しければそれくらいの理論のはずなんだよ
754(1): 2019/06/27(木)20:28 ID:jSjUaawY(4/6) AAS
>>633
今更ですが、IUTがこのポストの観点から見ても厄介なのは、やはり抽象化による曖昧さを利用しようと
していることですね
「ちゃんと同型の意味について見る必要がある」という問題自体は認識してやってるから厄介なんですよ
自然同型というよりもっと抽象的でhigherな話なんだというスタンスですね
一部の学派よりの数学者がはっきり否定できないのも、そういう圏論と群論の微妙な差異が難しいからに尽きる
実際、望月寄りに見てお人好しに考えたらSSの批判は単純過ぎるように見えるわけです
これは論理学的には非常に古典的で、ポストモダンや西田を必ずしも持ち出すまでの話ではないとも言える
つまり、外延ですね。位相群に緩めることで単スキーム論的な外延が増えるのだ、という話に過ぎない
その増えた情報量がちょうと変形の微分になっているという理屈です
省4
755: 2019/06/27(木)20:32 ID:jSjUaawY(5/6) AAS
まあ少なくとも、何か通常の圏論を超えた話をしてるのは間違いないね
それでも正しいというならそれはそれでいいと思う。やめろ、とは思わない
759: 2019/06/27(木)22:41 ID:jSjUaawY(6/6) AAS
やっぱりテータ写像が結局自明なことを強調して示したSSはさすがだな
一番論点としてクリティカル、ピンポイントだわ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s