[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
Inter-universal geometry と ABC予想 25 http://rio2016.5ch.net/test/read.cgi/math/1520299291/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
33: １３２人目の素数さん [sage] 2018/03/06(火) 22:56:08.26 ID:Hzxv2xdm >>28 ID:TCByIO9m >abcが散発的というか比較的孤立化した >問題だという認識は違うと思う 俺はそんな事言ってない。。 >>22の俺のレスの中で 「>abcが特殊な問題だと言っているのか？」というあんたの問いに対して 「言ってない」と既に書いてある。 俺の一生懸命（笑）書いた事に全然沿ったレスをくれないどころか 読んでくれた形跡すら全く見当たらないレスをあんたは連投し 「問題解決自体が無価値という言い方は乱暴過ぎる」を ひたすら機械的
に連呼してるだけ。日本語が通じてない。 数学板うんぬんより２ちゃんに向いてないからもう帰ったほうがいい めちゃくちゃツマラナイ http://rio2016.5ch.net/test/read.cgi/math/1520299291/33
34: １３２人目の素数さん [] 2018/03/06(火) 22:56:28.95 ID:+J9SwDmb >>20 ここで芳しくないことの何が問題かとw http://rio2016.5ch.net/test/read.cgi/math/1520299291/34
35: １３２人目の素数さん [sage] 2018/03/06(火) 23:07:15.82 ID:Hzxv2xdm >>28 ID:TCByIO9m >ある程度以上の問題になると必然的に >高いレベルの理論や議論を要求するので 何度も何度も何度も既に書いたが 数学は「高いレベルの理論や議論」なるものを操る事を競うゲームじゃない 数学だけじゃなく学問は「新しい価値を生み出す」作業 そしてじゃあその「価値」とは結局何かとなる訳だが これは「生命とは何か」と同様にいわく言い難いものであるものの、 一言で言えば、世界観や物事の視野そのものを【深く】押し広げるその深み、
と言える。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/35
36: １３２人目の素数さん [] 2018/03/06(火) 23:13:34.54 ID:TCByIO9m >>33 いや、それはこっちの台詞だわ。そんなことは連呼してないし、 だからこそ「特殊な問題とは言ってないが問題解決自体には価値がない」という回答が はっきり言って不自然(乱暴)だと言ったわけだ しかし、abcはともかくディオファントス幾何学が何となく重要なことはわかるだろう http://rio2016.5ch.net/test/read.cgi/math/1520299291/36
37: １３２人目の素数さん [] 2018/03/06(火) 23:19:11.73 ID:TCByIO9m >>35 それもおかしいってw あのさ、俺はゲームの話ではなくて、ヒルベルトの言う有機性の話をしているの 良い問題には良い理論が必然的に要求される ヴェイユ予想だっていくらショートカットとはいえ、スキームやエタールコホモロジー、 モジュラー形式を使わなきゃ証明できなかったし、モーデルヴェイユもそういった 必然性があった http://rio2016.5ch.net/test/read.cgi/math/1520299291/37
38: １３２人目の素数さん [sage] 2018/03/06(火) 23:50:50.13 ID:Hzxv2xdm >>36 >そんなことは連呼してないし いやしてるよ 「問題を解く事自体に意味はない」という俺のレスをあんたは否定し続けてるでしょ？ >「特殊な問題とは言ってないが問題解決自体には価値がない」という回答が >はっきり言って不自然(乱暴)だと言ったわけだ 単純なウソを言っちゃダメだよ、会話の履歴は全部ここに残ってるのに。 ?まずあんたは、俺が「特殊な問題とは言ってない」という前提に立ったレスを そもそもしておらず、あんたのレス>>28←
の中にあるように 「abcが散発的というか比較的孤立化した問題だという認識は違うと思う」という 前提に立ってその（俺の）認識の間違いによってあんた自身の主張を肯定しようと する話をしていたはずだ。 事実関係のウソを言っちゃダメ ?次に、何度も言うように、会話を成立させる気があるなら、 なぜ乱暴なのかを俺のレスに沿って理由を言わなくちゃいけない。 乱暴だ乱暴だと連呼するだけなら幼稚園児でも出来る >しかし、abcはともかくディオファントス幾何学が何となく重要なことはわかるだろう 当たり前でしょ。ディオファントス幾何学は学
問的体系だ。 で、そのabc予想を解こうとすることによってディオファントス幾何とかに何を与えるかが 重要な訳で、何も与えなかったら意味はない。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/38
39: １３２人目の素数さん [sage] 2018/03/06(火) 23:51:08.30 ID:Hzxv2xdm >>37 >ヒルベルトの言う有機性の話をしているの >良い問題には良い理論が必然的に要求される 原因と結果を幼児園児レベルで履き違えてる。 新しい良い理論が生まれる事が期待されるからこそ良い問題な訳であって 新しい良い理論が生まれてきてもないものを良い問題とは言わない。 新しい良い理論が生まれてきてもないのに勝手に「良い問題」であるという 認定を無条件に先取りしその認定によって「良い問題はだから解く事自体に価値がある」 という論法は循環
論法（論点先取）だ。 良い問題かどうかはWeil予想がまさしくそうであったように それを解こうとする過程で新しい良い理論をどれだけ生み出すかで決まる。 スキームやエタールコホモロジーもその過程でグロタンディークが考えだした。 一方でWeil予想を直接解決したのはドリーニュだが その解決の作業自体に新しい概念が何か生まれた訳ではなく それどころかグロタンディークの逆鱗に触れたのは有名な話 http://rio2016.5ch.net/test/read.cgi/math/1520299291/39
40: １３２人目の素数さん [] 2018/03/07(水) 00:03:06.42 ID:b09jSQmy peter scholze points out possible error in IUT https://www.google.c...ssible_error_in_iut/ http://rio2016.5ch.net/test/read.cgi/math/1520299291/40
41: １３２人目の素数さん [] 2018/03/07(水) 00:05:58.95 ID:b09jSQmy peter scholze points out possible error in IUT https://www.google.co.jp/amp/s/amp.reddit.com/r/math/comments/7leoy8/peter_scholze_points_out_possible_error_in_iut/ http://rio2016.5ch.net/test/read.cgi/math/1520299291/41
42: １３２人目の素数さん [] 2018/03/07(水) 00:10:27.15 ID:iYFbmMgC >>38 その孤立的ではない云々という話なら、abcの話をしていて、問題解決自体の価値を 疑っている中で数論の問題は散発的な傾向で〜みたいなことを言っているから、 いくら建前は否定していても念のために釘をさしたという感じ。それだけ まあ、abcとIUTの意図に関して言えば、言うとおりディオファントス幾何学に新しい 意義をもたらすはずのものだと言えるよ 「だからそれを言ってみろ」と言われそうだがw、方向性は間違いではない http://rio2016.5ch.net/test/
read.cgi/math/1520299291/42
43: １３２人目の素数さん [] 2018/03/07(水) 00:14:45.12 ID:iYFbmMgC 前からたまに書いているように、IUTの場合取り合わせ自体は良い方向性だと 俺は思っている。単なる主観とも思わない また、「宇宙際」や「遠アーベル」が果たして本当に不可欠なのかどうかについては 疑問を感じているとも書いている 従って、方向性自体は良いが理論がそれなりに最適化されているかについては微妙と感じる http://rio2016.5ch.net/test/read.cgi/math/1520299291/43
44: １３２人目の素数さん [] 2018/03/07(水) 00:22:47.85 ID:uPLm5+rg コンラッドのいう潜在的なギャップを見落としてる http://rio2016.5ch.net/test/read.cgi/math/1520299291/44
45: １３２人目の素数さん [sage] 2018/03/07(水) 02:39:13.57 ID:6rHwp6dH >>42 >数論の問題は散発的な傾向で〜みたいなことを言っているから そんな事も言ってない。孤立的であるともないとも何も言ってない。 >>10←で、散発的な数論の問題"も"（掃いて捨てるほど）あると言っただけに過ぎない。 いつから「数論の問題は全て散発的だ」「ABC予想は散発的だ」という発言に 曲解したんだか知らんが、しかもその発言は>>10←で一回だけ発言しただけで >>10←以外の俺の全てのレスは>>10←と全く独
立したそれのみで閉じたレスだぞ。 更に加えてあんたは「散発的」＝「初等的な道具だけで解ける」というイメージみたいだけど 最新の数学の道具を使って初めて解ける難問であっても そこから何も新しいモノが生み出されなければ同様に意味がない。 俺は新しい概念が"新しく"生み出される事こそに意味があるからこそ 問題を解くこと自体に意味がないと5,6回以上繰り返し言ってる訳で、 その理由に関しては散発的であるなし孤立的であるなしは関係ない http://rio2016.5ch.net/test/read.cgi/math/1520299291/45
46: １３２人目の素数さん [sage] 2018/03/07(水) 02:55:10.01 ID:6rHwp6dH >>42 >ディオファントス幾何学に新しい >意義をもたらすはずのものだと言えるよ >「だからそれを言ってみろ」と言われそうだがw、方向性は間違いではない じゃあやっと「問題を解く事自体に意味はない」をあんたは ようやく認めたって事でいいんだね？ あんたの主張が、IUTは数学全体をより豊かにするはずだから重要だ、 という主張なら、何も問題はないよ。 ただ世界の数学者はそうは思ってない、あんたがボカシた「だからそれを言ってみろ」 の部分を世
界の数学者は現時点でIUTに見出してないから、興味を持ってないだけ。 あんたがIUTに未来を感じるのはあんたの自由、だがしかし、 「IUTは合ってるかどうかが非常に重要」 「合ってるかも知れないのに無視するのは権威主義な否定だ」というあんたの 意見は前提が間違ってるってこと。 オマケで言えば一番肝心の「だからそれを言ってみろ」に関して あんたが何一つその中身に言及できないなら IUTを重要視しない数学者を建設的に批判できる資格がない。 あるあると200回言っても出せないなら（他人にとっては）ないのと一緒だから。 http://rio2016.5
ch.net/test/read.cgi/math/1520299291/46
47: １３２人目の素数さん [sage] 2018/03/07(水) 03:08:27.78 ID:6rHwp6dH ※以上の会話は数学の議論でなく病的な日本語の素朴な疎通に関するやり取りです http://rio2016.5ch.net/test/read.cgi/math/1520299291/47
48: １３２人目の素数さん [sage] 2018/03/07(水) 03:23:17.63 ID:6rHwp6dH >>19 >>10の意味がよくわからないんだよね。 >>28 >数論の問題は散発的だって話から飛んでないか？ >>10←のレス（特に散発的という3文字）をあんたの頭から完全消去してくれ 俺があんたに言いたい事に関して>>10は全く不必要だから。 俺が他に何を言ってもあんたは全部耳に入ってなくて ひたすら>>10の曲解の周りをグルグル回ってるだけ （俺のその他のレスをちゃんと読んでくれたら>>10も理解して貰えるはず） http://rio
2016.5ch.net/test/read.cgi/math/1520299291/48
49: １３２人目の素数さん [] 2018/03/07(水) 07:41:27.33 ID:CGlZyq5O ラマヌジャン「数学的構造(笑)」「理論の深み(爆笑)」 http://rio2016.5ch.net/test/read.cgi/math/1520299291/49
50: １３２人目の素数さん [] 2018/03/07(水) 08:57:07.11 ID:Ci8c8kds >>48 IUTはABC予想を解くためだけのもので、数学の世界を豊かにするような 新しいアイデアとはなりえないと言い切っていいの？その根拠は？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/50
51: １３２人目の素数さん [] 2018/03/07(水) 10:35:18.97 ID:1APMsdB3 そんなのは市場が決めること http://rio2016.5ch.net/test/read.cgi/math/1520299291/51
52: １３２人目の素数さん [] 2018/03/07(水) 10:48:25.31 ID:UBNdXOnD >>10 カラビヤウみたいな重要な問題を供給する多様体 http://rio2016.5ch.net/test/read.cgi/math/1520299291/52
53: １３２人目の素数さん [] 2018/03/07(水) 10:49:54.50 ID:UBNdXOnD を理解するには一般の高次元多様体を理解する必要がある よって高次元代数幾何は重要 なーんて考え方は出来ないの？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/53
54: １３２人目の素数さん [] 2018/03/07(水) 10:53:29.77 ID:OShlNEHm 複素多様体ですね、 多変数複素関数論からだよ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/54
55: １３２人目の素数さん [] 2018/03/07(水) 11:26:03.24 ID:cDUp+PG8 ガウス曲面論を高次元化したのは リーマンですね http://rio2016.5ch.net/test/read.cgi/math/1520299291/55
56: １３２人目の素数さん [sage] 2018/03/07(水) 13:03:41.83 ID:dtpyEVpD 低次元代数多様体論てなんであんな廃れたの http://rio2016.5ch.net/test/read.cgi/math/1520299291/56
57: １３２人目の素数さん [] 2018/03/07(水) 14:42:34.07 ID:z+ENTrb+ 査読は身近な者たちで終わった→主要な部分が非常に不明瞭と指摘される→ モッチーは自明と言い張る＆身近な者たちは何も言えない→PRIMSはアクセプト したとは言えず、ずっと停滞のまま こんな感じじゃね？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/57
58: １３２人目の素数さん [sage] 2018/03/07(水) 16:11:34.22 ID:LEFOwyBg 21世紀なんたらみたいになる可能性があるのか…… http://rio2016.5ch.net/test/read.cgi/math/1520299291/58
59: １３２人目の素数さん [] 2018/03/07(水) 17:31:03.82 ID:FLumDbEw 代数幾何。 プリンキピアを読むと ニュートンは代数曲線の ベズーの定理を理解し使っていた。 更に 2次曲線と楕円曲線のポンスレの定理に なり、、 抽象化の中で忘れ去られ、、今は グロタンディークがぁ、グロタンディークがぁ http://rio2016.5ch.net/test/read.cgi/math/1520299291/59
60: １３２人目の素数さん [sage] 2018/03/07(水) 19:28:30.76 ID:n5f5sPXI だから何度も言うが、PRIMS掲載に決まったからっていって、理論が正しいと決まらないからね。 PRIMSとしては掲載に値する論文だと認めただけで。 査読者が「まど完全理解してないが間違っていようがいまいが斬新で掲載すべき論文」とレポートし、編集者がそう提案し、編集会議でOK出れば掲載。それだけ。 掲載されてからがIUTの正念場で、もしかしたら大きなギャップが見つかるかもしれない。 でもそれは掲載誌の、査読者の責任じゃなく、著者に最終責任があるちゅーだけの
話。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/60
61: DJ学術 [] 2018/03/07(水) 19:40:05.69 ID:pqv8V2n/ なんか概念が簡単だよな。昔やってた数学って。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/61
62: １３２人目の素数さん [] 2018/03/07(水) 20:02:18.58 ID:5CbnWaTX PRIMの発行は数理解析研究所でしょ？ 間違い論文の掲載を決めたなら、 掲載発行元にも大きな責任がある。 発行元や査読者が責任をもたないなら、 arxivに論文掲載か、注意書きに 「この論文は間違いに可能性があります」 としたらいいじゃん http://rio2016.5ch.net/test/read.cgi/math/1520299291/62
63: １３２人目の素数さん [] 2018/03/07(水) 20:05:32.46 ID:5CbnWaTX >>60 PRIMSとしては掲載に値する論文だと 認めただけで。 責任逃れ http://rio2016.5ch.net/test/read.cgi/math/1520299291/63
64: １３２人目の素数さん [] 2018/03/07(水) 20:19:52.68 ID:IiU8fxfg 責任うんぬんは何とも言えないが、掲載紙の信用失墜につながる。 有名誌でも、間違いを含んだ論文はいくつもある。 有名な未解決問題については慎重に審査されるべきだし、しかも身内の投稿だし。 ５年費やしたから良いということにはならない。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/64
65: １３２人目の素数さん [sage] 2018/03/07(水) 20:26:02.21 ID:6rHwp6dH >>50 日本語読めない奴 藁人形論法を挟まずに一つのレスも出来ない奴 ２ちゃんのガン http://rio2016.5ch.net/test/read.cgi/math/1520299291/65
66: １３２人目の素数さん [] 2018/03/07(水) 21:41:25.84 ID:IiU8fxfg 他人を罵倒ばかりの人こそ２ちゃんのガンだと思います。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/66
67: １３２人目の素数さん [] 2018/03/07(水) 22:09:43.56 ID:gHyCsZhE メインの箇所で指摘されるってアカンのちゃうん？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/67
68: １３２人目の素数さん [sage] 2018/03/07(水) 22:43:56.81 ID:6rHwp6dH >>66 主張が内部矛盾してるぞ http://rio2016.5ch.net/test/read.cgi/math/1520299291/68
69: １３２人目の素数さん [] 2018/03/07(水) 22:51:17.63 ID:mHmnkoxJ >>66 そいつ、ただ頭が少し固い馬鹿真面目な奴かと最初は思ったが、どうもキ印入ってるよな http://rio2016.5ch.net/test/read.cgi/math/1520299291/69
70: １３２人目の素数さん [] 2018/03/07(水) 23:11:43.14 ID:mHmnkoxJ ってか、もし受容に失敗したら一番迷惑なのは遠アーベルの数少ない研究者だな http://rio2016.5ch.net/test/read.cgi/math/1520299291/70
71: １３２人目の素数さん [sage] 2018/03/07(水) 23:34:11.00 ID:RrpeY0Kr Jacob Stixって遠アーベルの専門家なん？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/71
72: １３２人目の素数さん [] 2018/03/07(水) 23:47:32.53 ID:Ci8c8kds >>65 じゃ、ITUについてあなたは何が言いたいの？ 単にわからないってこと？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/72
73: １３２人目の素数さん [] 2018/03/07(水) 23:48:20.24 ID:Ci8c8kds IUTね http://rio2016.5ch.net/test/read.cgi/math/1520299291/73
74: １３２人目の素数さん [] 2018/03/08(木) 00:06:00.36 ID:OWmraArX >>72 俺に何か言いたい事がなければ黙っておけ 俺の方からはおまえみたいなクソに用はない http://rio2016.5ch.net/test/read.cgi/math/1520299291/74
75: １３２人目の素数さん [] 2018/03/08(木) 00:18:41.79 ID:f9wltyir まあ、秀司辺りが本気出して理解できなかったら紛い物だろうな http://rio2016.5ch.net/test/read.cgi/math/1520299291/75
76: １３２人目の素数さん [sage] 2018/03/08(木) 00:44:16.15 ID:ynNCcxLc >>71 YES クッソ優秀な壮年研究者やで http://rio2016.5ch.net/test/read.cgi/math/1520299291/76
77: １３２人目の素数さん [] 2018/03/08(木) 00:54:52.18 ID:I2eowspv なんだ、単なる気違いか >>74 http://rio2016.5ch.net/test/read.cgi/math/1520299291/77
78: １３２人目の素数さん [] 2018/03/08(木) 01:11:09.27 ID:5EJvaSA2 IUTは証明の保証が怪しい道具ですね http://rio2016.5ch.net/test/read.cgi/math/1520299291/78
79: １３２人目の素数さん [] 2018/03/08(木) 01:37:29.37 ID:yAgBHwsO ガッキーも落胆の〜 http://rio2016.5ch.net/test/read.cgi/math/1520299291/79
80: １３２人目の素数さん [sage] 2018/03/08(木) 01:50:38.39 ID:v8y/mjq8 結局のところ、IUTは終わったと思っていいの？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/80
81: １３２人目の素数さん [] 2018/03/08(木) 01:58:54.98 ID:kGKR3xCc >>80 「全か無か」みたいな考えはまずい フレーム自体に不自然さはないので、もし足りなくとも修正の余地はあると考えられる さすがに望月は馬鹿ではない http://rio2016.5ch.net/test/read.cgi/math/1520299291/81
82: １３２人目の素数さん [] 2018/03/08(木) 02:03:37.98 ID:5EJvaSA2 2012年から修正多数、、後に海外からダメ出し http://rio2016.5ch.net/test/read.cgi/math/1520299291/82
83: １３２人目の素数さん [] 2018/03/08(木) 02:04:25.46 ID:kGKR3xCc 正しいかどうかに関わらず、現時点では難しすぎることを先取りしてしまった感が 非常に強い 基本的な狙いは多項式や関数体のabc理論を一般化することだから 不可能ということはない。代数的にも十分意味が通るフレームや概念である しかし、2015年前後ではそれは誰もやったことがないレベルの話でもある また遠アーベル自体は、数論幾何学者にとってはそこまで見慣れぬものではないだろう http://rio2016.5ch.net/test/read.cgi/math/1520299291/83
84: １３２人目の素数さん [] 2018/03/08(木) 02:09:40.24 ID:5EJvaSA2 趣味ならOK http://rio2016.5ch.net/test/read.cgi/math/1520299291/84
85: １３２人目の素数さん [sage] 2018/03/08(木) 06:15:44.21 ID:/n9kcMQG >>76 Stixはそうなんだね！ありがとう！ 前スレでScholez云々がくるこないの伏せ字情報、彼かなって思ってさ、ちょっと確認してたのよ。合点です。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/85
86: １３２人目の素数さん [] 2018/03/08(木) 07:31:37.78 ID:QG4cR9rw 数学の証明の正しさは、業界内の政治力で 決まるんだな？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/86
87: １３２人目の素数さん [] 2018/03/08(木) 07:36:42.17 ID:QG4cR9rw >>85 来日なら費用は日本の税金も使われるの？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/87
88: １３２人目の素数さん [] 2018/03/08(木) 11:52:03.36 ID:Zqagozpn 科研費は税金から出ている！国益につながる研究をしろ！ こういうことツイッターで言ってる連中急に増えたな。キモい。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/88
89: １３２人目の素数さん [] 2018/03/08(木) 12:06:10.09 ID:8vAgM+pu 正解は、 科研費は国民の税金から出ている。 身内でなく公益に使え、 http://rio2016.5ch.net/test/read.cgi/math/1520299291/89
90: １３２人目の素数さん [sage] 2018/03/08(木) 12:39:10.75 ID:2zCmzrYu >>83 遠アーベルが見慣れてるって？ またまたご冗談を http://rio2016.5ch.net/test/read.cgi/math/1520299291/90
91: １３２人目の素数さん [] 2018/03/08(木) 14:15:47.10 ID:6sOY+2ib >>90 面倒だから適当に流すけど、二重の意味がある 遠アーベルの議論に触れたことがあるという意味と、土台になる要素は大体触れたことがある という意味。どちらも間違いではない 実際はマイナーとは言ってもその程度には近いんだよ http://rio2016.5ch.net/test/read.cgi/math/1520299291/91
92: １３２人目の素数さん [sage] 2018/03/08(木) 15:48:39.10 ID:v8y/mjq8 遠アーベルって要するに、ガロアの逆問題と思えばいいんでしょ？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/92
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
95: １３２人目の素数さん [sage] 2018/03/08(木) 16:30:19.33 ID:88sa6hBZ 絶対ガロア群のトポスって何だよ http://rio2016.5ch.net/test/read.cgi/math/1520299291/95
96: １３２人目の素数さん [sage] 2018/03/08(木) 16:57:51.75 ID:v8y/mjq8 なぜにトポスが出てくるんですか？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/96
97: １３２人目の素数さん [sage] 2018/03/08(木) 16:58:43.42 ID:v8y/mjq8 もしかして、ガロア圏がトポスになるということ？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/97
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
102: １３２人目の素数さん [sage] 2018/03/08(木) 18:19:46.83 ID:v8y/mjq8 IUTの枠組みはかなり目新しく難解に思えるけども やってることは単に体積の計算だったりするのかな -deg(q)≦-deg(Θ) http://rio2016.5ch.net/test/read.cgi/math/1520299291/102
103: １３２人目の素数さん [sage] 2018/03/08(木) 18:30:43.30 ID:OWmraArX >>86 >数学の証明の正しさは、業界内の政治力で >決まるんだな？ 数学を語る時に「正しい」「正しくない」という言葉を使うのはやめろ どれだけ稚拙でもいいから価値があるかないかを語れ 「正しい」「正しくない」の競争と捉えると 数学の中身自体に何の興味のバカでも機械的な栄誉獲得競技として このトピを楽しめるからそうしたいだけだろ http://rio2016.5ch.net/test/read.cgi/math/1520299291/103
104: １３２人目の素数さん [sage] 2018/03/08(木) 18:34:18.21 ID:pWnpSnCC 今まで意識したことなかったけど Anabelioidって確かにトポスになってんのな とは言っても正直だからどうしたって感じなんだが IUT論文においてtopos theoricな議論してる？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/104
105: １３２人目の素数さん [sage] 2018/03/08(木) 18:38:23.97 ID:OWmraArX >>94 安直な質問で恐縮だがIUTの論文中をtoposで検索しても ほぼ一切hitしないけど それはなぜ？ モッチーとトポスの関係を いやもっと一般に21世紀以降の数論幾何とポストの関係が分かる ソースなりがあれば教えてくれ http://rio2016.5ch.net/test/read.cgi/math/1520299291/105
106: １３２人目の素数さん [sage] 2018/03/08(木) 18:45:47.56 ID:OWmraArX トポスって（非常に残念なことに）現代数学では 忘れ去られて置き去りにされてるだろ http://rio2016.5ch.net/test/read.cgi/math/1520299291/106
107: １３２人目の素数さん [] 2018/03/08(木) 19:31:02.09 ID:Fb5W0yfR >>103 I受理は予定調和だったんだろ？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/107
108: １３２人目の素数さん [] 2018/03/08(木) 19:36:24.01 ID:Fb5W0yfR >次世代幾何学研究準備センター 新しい数学思想に基づく幾何学に関して， 国内外の研究者との連携研究を準備するため 平成29年12月に設置された． http://rio2016.5ch.net/test/read.cgi/math/1520299291/108
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 889 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s