- 1 名前：１３２人目の素数さん [2021/12/28(火) 23:28:06.67 ID:IQKnQwAx.net]
- （前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62
https://rio2016.5ch.net/test/read.cgi/math/1638933969/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
（参考）
https://twitter.com/math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view
望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。
IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
つづく
(deleted an unsolicited ad)
- 81 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:50:43.88 ID:BG85dKWg.net]
- 947 名前:１３２人目の素数さん :2021/12/29(水) 04:26:31.59 ID:EeC8ikNf
要は抽象化された基礎圏の設定で、その上の対象を規則情報を通じて結びつければ、こうした集合論的な制約を
超えられるという思想だよね
「圏とアルゴリズムまたはプログラム」を使えばZFCの実在論にオルタナティブを作れると
数学的にIUTが正しいか否かはさておき、実在論としては一つの考えじゃないかな
- 82 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:51:03.27 ID:kNZsdhqc.net]
- あちゃー>>68が効いちゃったみたい
- 83 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:51:03.77 ID:BG85dKWg.net]
- 948 名前:１３２人目の素数さん :2021/12/29(水) 04:38:12.40 ID:EeC8ikNf
群には非線形な演算があるので、これで環論として同型でない宇宙とかエイリアンが色々考えられて、
それは基礎圏の同型な素材から構成できるのだと主張している
要点は、望月はショルツやロバーツとは違い、圏論的な問題だけを考えているわけではないこと
もっと別の情報的な文脈からディフェンスしているよね
- 84 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:51:40.36 ID:00LaB1j1.net]
- >>81-90
一応置きあグロ
- 85 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:51:47.01 ID:BG85dKWg.net]
- 950 名前:１３２人目の素数さん [sage] :2021/12/29(水) 05:32:53.91 ID:EeC8ikNf
連投は悪しからずで遊びの話なので、個人的な考えだけ述べておくと
そういう実在論が洗練され将来的に何らかの意味を持つ可能性は否定できないが、そういうことをせずに
圏論やZFCに基づいたABC予想の証明は十分可能だと思っている
ただし「圏の幾何」という書き方は誤解を招くから如何なものかとは思う
確かにIUTのテータ因子なるものはフロベニオイドとかガロア圏とかそういうもので構成されてはいるが
今の数学から見れば特殊な実在論に言及していることを無視するわけにはいかないだろう
- 86 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:52:03.61 ID:BG85dKWg.net]
- 951 名前:１３２人目の素数さん [sage] :2021/12/29(水) 06:09:54.69 ID:EeC8ikNf
一つだけ雑感を追加しておくと、IUTの何が「望月にとって」ホッジ理論的なのか、という心理的推察は
有意義だと思われる。いくつか理由が考えられるが、ヒントしか書かない
そもそもホッジ理論は、言うまでもなくコホモロジーの理論である
コホモロジー論的な考えや構造は、IUTではかなり変わった形になっておりそのままでは存在しない
またlog-shellやtensor-packetのような変わった表現は、定義は勿論何故そう呼ばれるのかということだ
また、IUTらしさとは不定性の存在である。何故ならば不定性は大域理論らしさの反映だからである
※ちなみに数論的な大域ホッジ理論は既成の数学では未解決である
- 87 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:55:39.69 ID:BG85dKWg.net]
- >>71
ID非表示は狂人と区別が付かないので特別扱いしない
一般論として浪人でID非表示オプションを使ったり
コテや1人キャップを使う人物は匿名掲示板に過剰な時間を費やす廃人なので相手にする価値がない
- 88 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:55:53.68 .net]
- EeC8ikNf氏は∈ループについては何も述べていませんね
集合論は知らないのでしょう
そういう数学者は珍しくありませんが
- 89 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:59:30.70 .net]
- >>83
匿名掲示板でIDを表示する意味はありませんよ
>浪人でID非表示オプションを使ったり
>コテや1人キャップを使う人物は
>匿名掲示板に過剰な時間を費やす廃人
おっしゃる通りです
あなたもこんな匿名掲示板で
無断な時間を浪費する廃人に
ならないように書き込みを
一切やめることをお勧めします
私や中卒君>>1のような🐎🦌になりますよ
🐎🦌になりたいですか？
- 90 名前：１３２人目の素数さん mailto:sage [2021/12/29(水) 17:59:50.72 ID:BTt4Yy5S.net]
- >>82
転記ありがとう
前スレの>>82 ID:EeC8ikNf氏の視点は重要と思うし
彼は、ショルツェ氏には全面的には賛成していないよね
つまり、ショルツェ氏には全面的には賛成していないが、望月氏側にも説明不足があって、数学者のコミュニティに受け入れられていないという意見と読みました
それは、妥当な見解だと思う
|
 |
