Inter-universal geometry と ABC予想 25

1 名前：１３２人目の素数さん [2018/03/06(火) 10:21:31.20 ID:VQUWnGj4.net] IU幾何やABC予想に関する会話のサロン として使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 24 https://itest.5ch.net/rio2016/test/read.cgi/math/1516888340 48 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 02:55:10.01 ID:6rHwp6dH.net] >>42 >ディオファントス幾何学に新しい >意義をもたらすはずのものだと言えるよ >「だからそれを言ってみろ」と言われそうだがw、方向性は間違いではない じゃあやっと「問題を解く事自体に意味はない」をあんたは ようやく認めたって事でいいんだね？ あんたの主張が、IUTは数学全体をより豊かにするはずだから重要だ、 という主張なら、何も問題はないよ。 ただ世界の数学者はそうは思ってない、あんたがボカシた「だからそれを言ってみろ」 の部分を世界の数学者は現時点でIUTに見出してないから、興味を持ってないだけ。 あんたがIUTに未来を感じるのはあんたの自由、だがしかし、 「IUTは合ってるかどうかが非常に重要」 「合ってるかも知れないのに無視するのは権威主義な否定だ」というあんたの 意見は前提が間違ってるってこと。 オマケで言えば一番肝心の「だからそれを言ってみろ」に関して あんたが何一つその中身に言及できないなら IUTを重要視しない数学者を建設的に批判できる資格がない。 あるあると200回言っても出せないなら（他人にとっては）ないのと一緒だから。 49 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 03:08:27.78 ID:6rHwp6dH.net] ※以上の会話は数学の議論でなく病的な日本語の素朴な疎通に関するやり取りです 50 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 03:23:17.63 ID:6rHwp6dH.net] >>19 >>10の意味がよくわからないんだよね。 >>28 >数論の問題は散発的だって話から飛んでないか？ >>10←のレス（特に散発的という3文字）をあんたの頭から完全消去してくれ 俺があんたに言いたい事に関して>>10は全く不必要だから。 俺が他に何を言ってもあんたは全部耳に入ってなくて ひたすら>>10の曲解の周りをグルグル回ってるだけ （俺のその他のレスをちゃんと読んでくれたら>>10も理解して貰えるはず） 51 名前：１３２人目の素数さん [2018/03/07(水) 07:41:27.33 ID:CGlZyq5O.net] ラマヌジャン「数学的構造(笑)」「理論の深み(爆笑)」 52 名前：１３２人目の素数さん [2018/03/07(水) 08:57:07.11 ID:Ci8c8kds.net] >>48 IUTはABC予想を解くためだけのもので、数学の世界を豊かにするような 新しいアイデアとはなりえないと言い切っていいの？その根拠は？ 53 名前：１３２人目の素数さん [2018/03/07(水) 10:35:18.97 ID:1APMsdB3.net] そんなのは市場が決めること 54 名前：１３２人目の素数さん [2018/03/07(水) 10:48:25.31 ID:UBNdXOnD.net] >>10 カラビヤウみたいな重要な問題を供給する多様体 55 名前：１３２人目の素数さん [2018/03/07(水) 10:49:54.50 ID:UBNdXOnD.net] を理解するには一般の高次元多様体を理解する必要がある よって高次元代数幾何は重要 なーんて考え方は出来ないの？ 56 名前：１３２人目の素数さん [2018/03/07(水) 10:53:29.77 ID:OShlNEHm.net] 複素多様体ですね、 多変数複素関数論からだよ。 57 名前：１３２人目の素数さん [2018/03/07(水) 11:26:03.24 ID:cDUp+PG8.net] ガウス曲面論を高次元化したのは リーマンですね 58 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 13:03:41.83 ID:dtpyEVpD.net] 低次元代数多様体論てなんであんな廃れたの 59 名前：１３２人目の素数さん [2018/03/07(水) 14:42:34.07 ID:z+ENTrb+.net] 査読は身近な者たちで終わった→主要な部分が非常に不明瞭と指摘される→ モッチーは自明と言い張る＆身近な者たちは何も言えない→PRIMSはアクセプト したとは言えず、ずっと停滞のまま こんな感じじゃね？ 60 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 16:11:34.22 ID:LEFOwyBg.net] 21世紀なんたらみたいになる可能性があるのか…… 61 名前：１３２人目の素数さん [2018/03/07(水) 17:31:03.82 ID:FLumDbEw.net] 代数幾何。 プリンキピアを読むと ニュートンは代数曲線の ベズーの定理を理解し使っていた。 更に 2次曲線と楕円曲線のポンスレの定理に なり、、 抽象化の中で忘れ去られ、、今は グロタンディークがぁ、グロタンディークがぁ 62 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 19:28:30.76 ID:n5f5sPXI.net] だから何度も言うが、PRIMS掲載に決まったからっていって、理論が正しいと決まらないからね。 PRIMSとしては掲載に値する論文だと認めただけで。 査読者が「まど完全理解してないが間違っていようがいまいが斬新で掲載すべき論文」とレポートし、編集者がそう提案し、編集会議でOK出れば掲載。それだけ。 掲載されてからがIUTの正念場で、もしかしたら大きなギャップが見つかるかもしれない。 でもそれは掲載誌の、査読者の責任じゃなく、著者に最終責任があるちゅーだけの話。 63 名前：DJ学術　 [2018/03/07(水) 19:40:05.69 ID:pqv8V2n/.net] なんか概念が簡単だよな。昔やってた数学って。 64 名前：１３２人目の素数さん [2018/03/07(水) 20:02:18.58 ID:5CbnWaTX.net] PRIMの発行は数理解析研究所でしょ？ 間違い論文の掲載を決めたなら、 掲載発行元にも大きな責任がある。 発行元や査読者が責任をもたないなら、 arxivに論文掲載か、注意書きに 「この論文は間違いに可能性があります」 としたらいいじゃん 65 名前：１３２人目の素数さん [2018/03/07(水) 20:05:32.46 ID:5CbnWaTX.net] >>60 PRIMSとしては掲載に値する論文だと 認めただけで。 責任逃れ 66 名前：１３２人目の素数さん [2018/03/07(水) 20:19:52.68 ID:IiU8fxfg.net] 責任うんぬんは何とも言えないが、掲載紙の信用失墜につながる。 有名誌でも、間違いを含んだ論文はいくつもある。 有名な未解決問題については慎重に審査されるべきだし、しかも身内の投稿だし。 ５年費やしたから良いということにはならない。 67 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 20:26:02.21 ID:6rHwp6dH.net] >>50 日本語読めない奴 藁人形論法を挟まずに一つのレスも出来ない奴 ２ちゃんのガン 68 名前：１３２人目の素数さん [2018/03/07(水) 21:41:25.84 ID:IiU8fxfg.net] 他人を罵倒ばかりの人こそ２ちゃんのガンだと思います。 69 名前：１３２人目の素数さん [2018/03/07(水) 22:09:43.56 ID:gHyCsZhE.net] メインの箇所で指摘されるってアカンのちゃうん？ 70 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 22:43:56.81 ID:6rHwp6dH.net] >>66 主張が内部矛盾してるぞ 71 名前：１３２人目の素数さん [2018/03/07(水) 22:51:17.63 ID:mHmnkoxJ.net] >>66 そいつ、ただ頭が少し固い馬鹿真面目な奴かと最初は思ったが、どうもキ印入ってるよな 72 名前：１３２人目の素数さん [2018/03/07(水) 23:11:43.14 ID:mHmnkoxJ.net] ってか、もし受容に失敗したら一番迷惑なのは遠アーベルの数少ない研究者だな 73 名前：１３２人目の素数さん mailto:sage [2018/03/07(水) 23:34:11.00 ID:RrpeY0Kr.net] Jacob Stixって遠アーベルの専門家なん？ 74 名前：１３２人目の素数さん [2018/03/07(水) 23:47:32.53 ID:Ci8c8kds.net] >>65 じゃ、ITUについてあなたは何が言いたいの？ 単にわからないってこと？ 75 名前：１３２人目の素数さん [2018/03/07(水) 23:48:20.24 ID:Ci8c8kds.net] IUTね 76 名前：１３２人目の素数さん [2018/03/08(木) 00:06:00.36 ID:OWmraArX.net] >>72 俺に何か言いたい事がなければ黙っておけ 俺の方からはおまえみたいなクソに用はない 77 名前：１３２人目の素数さん [2018/03/08(木) 00:18:41.79 ID:f9wltyir.net] まあ、秀司辺りが本気出して理解できなかったら紛い物だろうな 78 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 00:44:16.15 ID:ynNCcxLc.net] >>71 YES クッソ優秀な壮年研究者やで 79 名前：１３２人目の素数さん [2018/03/08(木) 00:54:52.18 ID:I2eowspv.net] なんだ、単なる気違いか >>74 80 名前：１３２人目の素数さん [2018/03/08(木) 01:11:09.27 ID:5EJvaSA2.net] IUTは証明の保証が怪しい道具ですね 81 名前：１３２人目の素数さん [2018/03/08(木) 01:37:29.37 ID:yAgBHwsO.net] ガッキーも落胆の〜 82 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 01:50:38.39 ID:v8y/mjq8.net] 結局のところ、IUTは終わったと思っていいの？ 83 名前：１３２人目の素数さん [2018/03/08(木) 01:58:54.98 ID:kGKR3xCc.net] >>80 「全か無か」みたいな考えはまずい フレーム自体に不自然さはないので、もし足りなくとも修正の余地はあると考えられる さすがに望月は馬鹿ではない 84 名前：１３２人目の素数さん [2018/03/08(木) 02:03:37.98 ID:5EJvaSA2.net] 2012年から修正多数、、後に海外からダメ出し 85 名前：１３２人目の素数さん [2018/03/08(木) 02:04:25.46 ID:kGKR3xCc.net] 正しいかどうかに関わらず、現時点では難しすぎることを先取りしてしまった感が 非常に強い 基本的な狙いは多項式や関数体のabc理論を一般化することだから 不可能ということはない。代数的にも十分意味が通るフレームや概念である しかし、2015年前後ではそれは誰もやったことがないレベルの話でもある また遠アーベル自体は、数論幾何学者にとってはそこまで見慣れぬものではないだろう 86 名前：１３２人目の素数さん [2018/03/08(木) 02:09:40.24 ID:5EJvaSA2.net] 趣味ならOK 87 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 06:15:44.21 ID:/n9kcMQG.net] >>76 Stixはそうなんだね！ありがとう！ 前スレでScholez云々がくるこないの伏せ字情報、彼かなって思ってさ、ちょっと確認してたのよ。合点です。 88 名前：１３２人目の素数さん [2018/03/08(木) 07:31:37.78 ID:QG4cR9rw.net] 数学の証明の正しさは、業界内の政治力で 決まるんだな？ 89 名前：１３２人目の素数さん [2018/03/08(木) 07:36:42.17 ID:QG4cR9rw.net] >>85 来日なら費用は日本の税金も使われるの？ 90 名前：１３２人目の素数さん [2018/03/08(木) 11:52:03.36 ID:Zqagozpn.net] 科研費は税金から出ている！国益につながる研究をしろ！ こういうことツイッターで言ってる連中急に増えたな。キモい。 91 名前：１３２人目の素数さん [2018/03/08(木) 12:06:10.09 ID:8vAgM+pu.net] 正解は、 科研費は国民の税金から出ている。 身内でなく公益に使え、 92 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 12:39:10.75 ID:2zCmzrYu.net] >>83 遠アーベルが見慣れてるって？ またまたご冗談を 93 名前：１３２人目の素数さん [2018/03/08(木) 14:15:47.10 ID:6sOY+2ib.net] >>90 面倒だから適当に流すけど、二重の意味がある 遠アーベルの議論に触れたことがあるという意味と、土台になる要素は大体触れたことがある という意味。どちらも間違いではない 実際はマイナーとは言ってもその程度には近いんだよ 94 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 15:48:39.10 ID:v8y/mjq8.net] 遠アーベルって要するに、ガロアの逆問題と思えばいいんでしょ？ 95 名前：１３２人目の素数さん [2018/03/08(木) 16:10:13.80 ID:6sOY+2ib.net] >>91に補足だけど、勿論軽く触れたことがあるって 96 名前：程度の話よ 21世紀以降に数論幾何学に入ってきたような人間は特に、後者は勿論、どっかで一度くらいは 前者の意味でも軽く触れているはず >>92 スキームのガロア群の逆構成問題という意味？雑だけど、意識としては間違いではない [] [ここ壊れてます] 97 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 16:17:09.74 ID:6sOY+2ib.net] で、望月遠アーベルは、絶対ガロア群のトポスによって通常の(古典というほど遠アーベルは 古くない)遠アーベルを一般化している これもstackに慣れた数論幾何学者ならば、割と呑み込めるはずのもの 98 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 16:30:19.33 ID:88sa6hBZ.net] 絶対ガロア群のトポスって何だよ 99 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 16:57:51.75 ID:v8y/mjq8.net] なぜにトポスが出てくるんですか？ 100 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 16:58:43.42 ID:v8y/mjq8.net] もしかして、ガロア圏がトポスになるということ？ 101 名前：１３２人目の素数さん [2018/03/08(木) 17:18:12.88 ID:6sOY+2ib.net] >>97 ガロア圏をトポス的な抽象性を強調して利用するということ IUTは「モノイド」と「絶対ガロア群のトポス版」の二本の強い抽象化から宇宙際を扱う これについて考えると新しい代数幾何学の流れと色々関連付けはできるが、 何か足りない可能性はある。俺は12年以来全く読んでないからよくわからない 102 名前：１３２人目の素数さん [2018/03/08(木) 17:27:57.39 ID:6sOY+2ib.net] あと、ホッジシアターの構造的な由来はホッジフィルトレーションから来てるはず 103 名前：１３２人目の素数さん [2018/03/08(木) 17:29:09.37 ID:6sOY+2ib.net] 名前の構造的な由来ね 104 名前：１３２人目の素数さん [2018/03/08(木) 17:36:40.93 ID:6sOY+2ib.net] あと、離散スキームのガウス積分がHodge-Arakelovであって、IUTは要するに 離散スキーム→絶対遠アーベルに変えたものなんだが、これも実は一行でわかりやすく 言い換えたほうが「arithmetic deformation and」integral computationの意味を掴みやすい そこまではわざわざ言わないけど 105 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 18:19:46.83 ID:v8y/mjq8.net] IUTの枠組みはかなり目新しく難解に思えるけども やってることは単に体積の計算だったりするのかな -deg(q)≦-deg(Θ) 106 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 18:30:43.30 ID:OWmraArX.net] >>86 >数学の証明の正しさは、業界内の政治力で >決まるんだな？ 数学を語る時に「正しい」「正しくない」という言葉を使うのはやめろ どれだけ稚拙でもいいから価値があるかないかを語れ 「正しい」「正しくない」の競争と捉えると 数学の中身自体に何の興味のバカでも機械的な栄誉獲得競技として このトピを楽しめるからそうしたいだけだろ 107 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 18:34:18.21 ID:pWnpSnCC.net] 今まで意識したことなかったけど Anabelioidって確かにトポスになってんのな とは言っても正直だからどうしたって感じなんだが IUT論文においてtopos theoricな議論してる？ 108 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 18:38:23.97 ID:OWmraArX.net] >>94 安直な質問で恐縮だがIUTの論文中をtoposで検索しても ほぼ一切hitしないけど それはなぜ？ モッチーとトポスの関係を いやもっと一般に21世紀以降の数論幾何とポストの関係が分かる ソースなりがあれば教えてくれ 109 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 18:45:47.56 ID:OWmraArX.net] トポスって（非常に残念なことに）現代数学では 忘れ去られて置き去りにされてるだろ 110 名前：１３２人目の素数さん [2018/03/08(木) 19:31:02.09 ID:Fb5W0yfR.net] >>103 I受理は予定調和だったんだろ？ 111 名前：１３２人目の素数さん [2018/03/08(木) 19:36:24.01 ID:Fb5W0yfR.net] >次世代幾何学研究準備センター 新しい数学思想に基づく幾何学に関して， 国内外の研究者との連携研究を準備するため 平成29年12月に設置された． 112 名前：１３２人目の素数さん [2018/03/08(木) 21:42:49.42 ID:6sOY+2ib.net] >>106 そんなことはないだろw 少なくともトポス的な考えはむしろ空気のように浸透してきたのではないか 最近は量子重力、非可換化やコンヌの数論でまた対象として注目を浴びてきたと思う 113 名前：１３２人目の素数さん [2018/03/08(木) 21:46:34.03 ID:6sOY+2ib.net] >>108 モノイドとpointless的なトポスによる数論幾何という意味では、まあ一応 この標榜には恥じないだろう 114 名前：１３２人目の素数さん [2018/03/08(木) 21:55:02.51 ID:6sOY+2ib.net] >>105 Anabelioidに確か出てきたのではないか？ >>104 まず絶対ガロア群に対してbase pointに依らない数論的基本群を考えているわけだし 環構造をモノイドにより分解した対象に対してそのような絶対遠アーベル幾何学的な 復元を考えているわけだろう つまりFrobenioidとAnabelioidの間での圏論を考えているわけで、完全に トポス的な議論だよ 115 名前：１３２人目の素数さん [2018/03/08(木) 22:07:31.68 ID:6sOY+2ib.net] basepointを仮定しない「absolute」な幾何学は圏論(トポス)の対象化によってしか 議論しえない。位相的な入れ物を仮定しないことだから 実際、コンヌの場合のabsoluteな幾何学でもトポスが不可欠だと最近認識された 根は同じものだと言える(はず) 116 名前：１３２人目の素数さん [2018/03/08(木) 22:11:04.74 ID:6sOY+2ib.net] この場合のトポスが位相的な「入れ物」かと言えば違うと言うべきだろうな スキーム論の本質は関数環の強調による空間概念(代数多様体)の一般化だった この場合は更にそれを徹底したもので、いわば絶対ガロア群やモノイドが作る スキーム以上に抽象的な関数空間を作りたかったわけだ 117 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 22:20:56.82 ID:7KQmg085.net] ふっ俺の中身のない話にどれだけついて来れるかな競争 いつかの無作為の哲学論述に近づいている 118 名前：１３２人目の素数さん [2018/03/08(木) 22:26:18.85 ID:6sOY+2ib.net] >>114 普通自信がなければ動揺する所なんだろうが、ただの煽りだなあ、と思う 「俺はわかってた」「用語を並べてるだけ」批判はお腹一杯 より具体的にキチンと解説したいならどうぞw 119 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 22:48:40.31 ID:7FEZg6oE.net] 凄い門外漢なんですけど、ショルツって人のIUTについての批判は同音符 120 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 22:51:26.17 ID:7FEZg6oE.net] 間違って投稿になったスマソ 凄い門外漢なんですけど、ショルツって人のIUTについての批判は思うんですか？ 的を射ているんですか？ 121 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 22:53:05.27 ID:7FEZg6oE.net] また間違ったスマソ 凄い門外漢なんですけど、ショルツって人のIUTについての批判はどう思うんですか？ 的を射ているんですか？ 122 名前：１３２人目の素数さん [2018/03/08(木) 23:02:00.43 ID:6sOY+2ib.net] あんましゃべりすぎるとあれなんで一言だけ言うと、ショルツは「IUT自体」は批判してない 証明に問題があると言っている。個人的に少し落ち着いたら当該箇所を見るつもりだが 俺はわからない しかし、あそこが仮に間違いならまだ致命的とは言い切れないのは確か 123 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 23:07:21.33 ID:qgIRWoMQ.net] >>115 こちらこそ用語を並べただけのクソレスはお腹一杯や もう少し論文読み込んで出直してこい 124 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 23:14:00.59 ID:6sOY+2ib.net] >>120 あんた上で色々言ってた人？結局上から目線で悪口言いたいだけじゃん 「俺のほうがマシだ」と中身の話をしたいならどうぞ御自由にと言ってるんだが 125 名前：１３２人目の素数さん [2018/03/08(木) 23:16:44.35 ID:zX9IR5AF.net] >>110 センター長は望月新一氏で センターはIUT幾何が中心だろ。 IUT論文は12月中まで修正していた。 12月中にショルツらが、間違いの可能性を 指摘した。 所が、12月中にセンターを設立した、、 126 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 23:17:20.42 ID:7FEZg6oE.net] >>119 レスサンクス まあ、IUTの世界でのゲームでも作れば分かりやすいと思う（冗談）ｗ 127 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 23:31:28.38 ID:OWmraArX.net] >>111 >Anabelioidに確か出てきたのではないか？ ホントだ、これだねありがとう。 www.kurims.kyoto-u.ac.jp/~motizu 128 名前：ki/The%20Geometry%20of%20Anabelioids.pdf 2-categoryとかも出てきてるし最早「圏論幾何」とでも呼びたくなりそう [] [ここ壊れてます] 129 名前：１３２人目の素数さん [2018/03/08(木) 23:33:24.54 ID:zX9IR5AF.net] >>124 趣味の数学ならOK 130 名前：１３２人目の素数さん mailto:sage [2018/03/08(木) 23:34:32.98 ID:OWmraArX.net] >>109 >少なくともトポス的な考えはむしろ空気のように浸透してきたのではないか >最近は量子重力、非可換化やコンヌの数論でまた対象として注目を浴びてきたと思う もっと最近の標準的な数論幾何（出来れば非可換類体論など）で トポスが自然に顔を出すトピが知りたいけど他に何かある？ 具体的に知ってたら教えてくださいm(_ _)m アーカイブで検索しても殆ど引っかからない （コンヌはゲテモノだからパスで） 131 名前：１３２人目の素数さん [2018/03/08(木) 23:47:13.48 ID:zX9IR5AF.net] arxivに、トポスと物理、があったな、 アタマが腐るからチラ見しただけ、 132 名前：１３２人目の素数さん [2018/03/08(木) 23:53:37.45 ID:6sOY+2ib.net] >>126 難しい縛りだな。トポス的な考え方自体は前述の通りhigherな理論とかhomotopy化の中で 出てきているといえると思うし、ショルツなんかもそういう論文を書いている しかし明確にトポスを扱うというなら https://arxiv.org/abs/1006.0523が真っ先に思い出されるが 保型表現関連では基本的にないんじゃないかなと思う あとは数論というかガロア理論の意味で https://arxiv.org/abs/1301.0300 Anabelioidに非常に似た話ではあるけど ニーズに合うかどうか怪しいけども 133 名前：１３２人目の素数さん [2018/03/09(金) 00:26:46.90 ID:L4u1kMlD.net] >>128 なんか必死だねw 134 名前：１３２人目の素数さん mailto:sage [2018/03/09(金) 00:28:10.05 ID:t/DBldP0.net] >>128 レスありがとうm(_ _)m せっかくリンクまでして頂いて感謝だけど 数学の「流れ」にまでなってるようなトピじゃなさそう >higherな理論とかhomotopy化の中で toenとかの本当にディープな圏論的巨大理論って それこそモッチーじゃないけど非常に膨大で あのアブストラクト（極度の抽象）のどこまでが生命入ってるかいないのか まだ不用意に立ち入れない 135 名前：１３２人目の素数さん mailto:sage [2018/03/09(金) 00:32:05.53 ID:t/DBldP0.net] >>128 部外者がこのスレ覗きに来るのもいいけど 有害な撹乱レスはやめてくれよ。 数学の中身の話にはついて興味なくて査読だの賞だのにしか話題に 入って来れないのは分かるけど。 136 名前：１３２人目の素数さん [2018/03/09(金) 00:58:58.83 ID:L4u1kMlD.net] >>131 貴方が部外者 137 名前：１３２人目の素数さん [2018/03/09(金) 01:17:32.83 ID:vTKUh16O.net] >>129 余興だけど真っ赤だし必死に見えるかもね >>130 >>131 IDが同じだが二重人格？ それはともかく、トポスらしさが強く数論で発揮される状況というのは かなり抽象的な設定であって、コンヌや望月の方向性で予告されていると言える段階だろう つまり未だに数論という意味では再発見・黎明期でしかないと理解するのが正しい 138 名前：１３２人目の素数さん mailto:sage [2018/03/09(金) 01:38:36.59 ID:vTKUh16O.net] あ、アンカミスか とにかく「トポスと数論」についてはDAGやHAGとはまた別に、これからの話だと思うね 主流ではないと言うけど、上の理論も十分可能性がある。合わせて考えればの話だが 数論とはまた違うけど、圏論的な設定で幾何学的な議論をやると結局はトポスがしっくりくる という感じの研究もチラホラある 寝るわ 139 名前：１３２人目の素数さん [2018/03/09(金) 01:40:10.51 ID:L4u1kMlD.net] >>134 スレ汚さないでね 140 名前：１３２人目の素数さん [2018/03/09(金) 01:42:13.74 ID:L4u1kMlD.net] 概念が整理されていないから単語の羅列になる。 141 名前：１３２人目の素数さん mailto:sage [2018/03/09(金) 02:12:17.46 ID:t/DBldP0.net] >>134 >あ、アンカミスか ゴメンｗ >>131←はアンカミス 正しくは ×>>128 ○>>129 >これからの話だと思うね じゃあともかく現状ではトポスと数論幾何との芳醇な交錯をたっぷり味わえる既成理論がないのか。 残念。SGA4を読むためだけに必要な理論というのも寂しいね。 （トポスがすごたらしい理論であるだろう事は間違いないだろうけどさ） あとコンヌはポシャると思うｗ 142 名前：１３２人目の素数さん [2018/03/09(金) 02:13:25.19 ID:L4u1kMlD.net] >>137 キチガイ 寝ろ 143 名前：１３２人目の素数さん [2018/03/09(金) 08:36:17.58 ID:yaeWqrS3.net] https://mainichi.jp/articles/20180308/ddm/005/070/017000c 144 名前：１３２人目の素数さん [2018/03/09(金) 09:45:52.35 ID:Du1s2qRW.net] >>119 >当該箇所を見るつもりだが 俺はわからない しかし、あそこが仮に間違いならまだ致命的とは言い切れないのは確か 見ていないのに 致命的ではないと断言して いますが、 実際 重大箇所だから問題視されています。 仮に間違い 間違ってすらいないなら致命的 です。 145 名前：１３２人目の素数さん mailto:sage [2018/03/09(金) 10:52:45.09 ID:rxdRrTJN.net] ・集中講演前に騒ぎを大きくしたくない ・取り下げて再構築は屈辱的なリジェクト扱いなので是が非でも回避したい ・擁護派はそこが理解不能 ・よって当面掲載せずダブルスタンダードとしたい ・不等式評価の結果を本人もわかってないので説明できない ・不等式評価の元の明示的予想は仮定の仮定で構成されてるので強弁できない ・意味がわかっていないので具体例も出せない 146 名前：１３２人目の素数さん mailto:sage [2018/03/09(金) 13:18:19.35 ID:n/mZNUQI.net] >>141 これ昔、某だぎゃあで問題になった事態と同じことになってはないかな 147 名前：１３２人目の素数さん mailto:sage [2018/03/09(金) 14:32:16.06 ID:X8yBImNJ.net] GO氏あたりが啓蒙に駆けずり回ればいいと思うんだが 148 名前：１３２人目の素数さん [2018/03/09(金) 14:57:09.90 ID:etbLU70l.net] 啓蒙？ IUTの 論理 明晰性 厳密性へ 多数の質問が必要。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef