[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
Inter-universal geometry と ABC予想 25 http://rio2016.5ch.net/test/read.cgi/math/1520299291/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
91: １３２人目の素数さん [] 2018/03/08(木) 14:15:47.10 ID:6sOY+2ib >>90 面倒だから適当に流すけど、二重の意味がある 遠アーベルの議論に触れたことがあるという意味と、土台になる要素は大体触れたことがある という意味。どちらも間違いではない 実際はマイナーとは言ってもその程度には近いんだよ http://rio2016.5ch.net/test/read.cgi/math/1520299291/91
93: １３２人目の素数さん [] 2018/03/08(木) 16:10:13.80 ID:6sOY+2ib >>91に補足だけど、勿論軽く触れたことがあるって程度の話よ 21世紀以降に数論幾何学に入ってきたような人間は特に、後者は勿論、どっかで一度くらいは 前者の意味でも軽く触れているはず >>92 スキームのガロア群の逆構成問題という意味？雑だけど、意識としては間違いではない http://rio2016.5ch.net/test/read.cgi/math/1520299291/93
94: １３２人目の素数さん [sage] 2018/03/08(木) 16:17:09.74 ID:6sOY+2ib で、望月遠アーベルは、絶対ガロア群のトポスによって通常の(古典というほど遠アーベルは 古くない)遠アーベルを一般化している これもstackに慣れた数論幾何学者ならば、割と呑み込めるはずのもの http://rio2016.5ch.net/test/read.cgi/math/1520299291/94
98: １３２人目の素数さん [] 2018/03/08(木) 17:18:12.88 ID:6sOY+2ib >>97 ガロア圏をトポス的な抽象性を強調して利用するということ IUTは「モノイド」と「絶対ガロア群のトポス版」の二本の強い抽象化から宇宙際を扱う これについて考えると新しい代数幾何学の流れと色々関連付けはできるが、 何か足りない可能性はある。俺は12年以来全く読んでないからよくわからない http://rio2016.5ch.net/test/read.cgi/math/1520299291/98
99: １３２人目の素数さん [] 2018/03/08(木) 17:27:57.39 ID:6sOY+2ib あと、ホッジシアターの構造的な由来はホッジフィルトレーションから来てるはず http://rio2016.5ch.net/test/read.cgi/math/1520299291/99
100: １３２人目の素数さん [] 2018/03/08(木) 17:29:09.37 ID:6sOY+2ib 名前の構造的な由来ね http://rio2016.5ch.net/test/read.cgi/math/1520299291/100
101: １３２人目の素数さん [] 2018/03/08(木) 17:36:40.93 ID:6sOY+2ib あと、離散スキームのガウス積分がHodge-Arakelovであって、IUTは要するに 離散スキーム→絶対遠アーベルに変えたものなんだが、これも実は一行でわかりやすく 言い換えたほうが「arithmetic deformation and」integral computationの意味を掴みやすい そこまではわざわざ言わないけど http://rio2016.5ch.net/test/read.cgi/math/1520299291/101
109: １３２人目の素数さん [] 2018/03/08(木) 21:42:49.42 ID:6sOY+2ib >>106 そんなことはないだろw 少なくともトポス的な考えはむしろ空気のように浸透してきたのではないか 最近は量子重力、非可換化やコンヌの数論でまた対象として注目を浴びてきたと思う http://rio2016.5ch.net/test/read.cgi/math/1520299291/109
110: １３２人目の素数さん [] 2018/03/08(木) 21:46:34.03 ID:6sOY+2ib >>108 モノイドとpointless的なトポスによる数論幾何という意味では、まあ一応 この標榜には恥じないだろう http://rio2016.5ch.net/test/read.cgi/math/1520299291/110
111: １３２人目の素数さん [] 2018/03/08(木) 21:55:02.51 ID:6sOY+2ib >>105 Anabelioidに確か出てきたのではないか？ >>104 まず絶対ガロア群に対してbase pointに依らない数論的基本群を考えているわけだし 環構造をモノイドにより分解した対象に対してそのような絶対遠アーベル幾何学的な 復元を考えているわけだろう つまりFrobenioidとAnabelioidの間での圏論を考えているわけで、完全に トポス的な議論だよ http://rio2016.5ch.net/test/read.cgi/math/1520299291/111
112: １３２人目の素数さん [] 2018/03/08(木) 22:07:31.68 ID:6sOY+2ib basepointを仮定しない「absolute」な幾何学は圏論(トポス)の対象化によってしか 議論しえない。位相的な入れ物を仮定しないことだから 実際、コンヌの場合のabsoluteな幾何学でもトポスが不可欠だと最近認識された 根は同じものだと言える(はず) http://rio2016.5ch.net/test/read.cgi/math/1520299291/112
113: １３２人目の素数さん [] 2018/03/08(木) 22:11:04.74 ID:6sOY+2ib この場合のトポスが位相的な「入れ物」かと言えば違うと言うべきだろうな スキーム論の本質は関数環の強調による空間概念(代数多様体)の一般化だった この場合は更にそれを徹底したもので、いわば絶対ガロア群やモノイドが作る スキーム以上に抽象的な関数空間を作りたかったわけだ http://rio2016.5ch.net/test/read.cgi/math/1520299291/113
115: １３２人目の素数さん [] 2018/03/08(木) 22:26:18.85 ID:6sOY+2ib >>114 普通自信がなければ動揺する所なんだろうが、ただの煽りだなあ、と思う 「俺はわかってた」「用語を並べてるだけ」批判はお腹一杯 より具体的にキチンと解説したいならどうぞw http://rio2016.5ch.net/test/read.cgi/math/1520299291/115
119: １３２人目の素数さん [] 2018/03/08(木) 23:02:00.43 ID:6sOY+2ib あんましゃべりすぎるとあれなんで一言だけ言うと、ショルツは「IUT自体」は批判してない 証明に問題があると言っている。個人的に少し落ち着いたら当該箇所を見るつもりだが 俺はわからない しかし、あそこが仮に間違いならまだ致命的とは言い切れないのは確か http://rio2016.5ch.net/test/read.cgi/math/1520299291/119
121: １３２人目の素数さん [sage] 2018/03/08(木) 23:14:00.59 ID:6sOY+2ib >>120 あんた上で色々言ってた人？結局上から目線で悪口言いたいだけじゃん 「俺のほうがマシだ」と中身の話をしたいならどうぞ御自由にと言ってるんだが http://rio2016.5ch.net/test/read.cgi/math/1520299291/121
128: １３２人目の素数さん [] 2018/03/08(木) 23:53:37.45 ID:6sOY+2ib >>126 難しい縛りだな。トポス的な考え方自体は前述の通りhigherな理論とかhomotopy化の中で 出てきているといえると思うし、ショルツなんかもそういう論文を書いている しかし明確にトポスを扱うというなら https://arxiv.org/abs/1006.0523が真っ先に思い出されるが 保型表現関連では基本的にないんじゃないかなと思う あとは数論というかガロア理論の意味で https://arxiv.org/abs/1301.0300 Anabelioidに非常に似た話ではあるけど ニーズに合うかどうか怪しいけども http://rio2016.5ch.net/test/read.cgi/math/1520299291/128
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.390s*