[過去ログ] Inter-universal geometry と ABC予想 40 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
629
(2): 2019/08/06(火)21:57 ID:vQqgYc8+(6/8) AAS
あと、着想もどうかなあ、と思うんですよね
ホッジ・アラケロフの研究過程でディオファントス幾何への応用を思いついたのはいいのだけど、
最初に出てきたのがグロタンディーク宇宙にまたラッセルのパラドックスを導入して、ループ式入れ子宇宙を作り、
単解的構造で解決しようという試み

その中核として単遠アーベルという手続き・ソフトウェアを考えたのだろうけど、それをIUTで展開するにあたって、
forgetting the “histories of operations”やらタイヒミュラーdilationなどをブチ込んで奇妙な同型を作るわけでしょ
圏論屋に理解してもらうのは無理だし、これを必然的で不可避で自然な論理と言い張るのは強弁というより、
省1
633
(1): 2019/08/06(火)23:29 ID:/F0+lWR2(1) AAS
>>629
細かいこと?ですまんが、「ラッセルのパラドックス」ではない
643
(1): 2019/08/07(水)21:40 ID:kkEk4w/5(2/2) AAS
>>629
少し遅れますが、良いなと思ったのは環よりも弱い構造に「遠アーベル幾何学的」な情報を
見いだそうとした点ですかね。微分の一般化に際して
それと連動しての「スキームを統制する遠アーベル幾何学的アルゴリズム」という標語自体もワクワクさせる
まあ普通のアルゴリズムというか実際分子生物学でいうDNAみたいな感じですね、ガロア群の位置付けは
重要なのは基点に依存しないので、各々のスキームの基本群ではなく「ガロア圏のトポス」であること
言い換えれば、ガロア圏のトポスが整数環のスキームの情報や微分を支配している。古典理論とは「逆」
省8
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.599s*