[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
74(1): 2018/03/08(木)00:06 ID:OWmraArX(1/6) AAS
>>72
俺に何か言いたい事がなければ黙っておけ
俺の方からはおまえみたいなクソに用はない
75: 2018/03/08(木)00:18 ID:f9wltyir(1) AAS
まあ、秀司辺りが本気出して理解できなかったら紛い物だろうな
76(1): 2018/03/08(木)00:44 ID:ynNCcxLc(1) AAS
>>71
YES
クッソ優秀な壮年研究者やで
77: 2018/03/08(木)00:54 ID:I2eowspv(1) AAS
なんだ、単なる気違いか >>74
78: 2018/03/08(木)01:11 ID:5EJvaSA2(1/3) AAS
IUTは証明の保証が怪しい道具ですね
79: 2018/03/08(木)01:37 ID:yAgBHwsO(1) AAS
ガッキーも落胆の〜
80(1): 2018/03/08(木)01:50 ID:v8y/mjq8(1/5) AAS
結局のところ、IUTは終わったと思っていいの？
81: 2018/03/08(木)01:58 ID:kGKR3xCc(1/2) AAS
>>80
「全か無か」みたいな考えはまずい
フレーム自体に不自然さはないので、もし足りなくとも修正の余地はあると考えられる
さすがに望月は馬鹿ではない
82: 2018/03/08(木)02:03 ID:5EJvaSA2(2/3) AAS
2012年から修正多数、、後に海外からダメ出し
83(1): 2018/03/08(木)02:04 ID:kGKR3xCc(2/2) AAS
正しいかどうかに関わらず、現時点では難しすぎることを先取りしてしまった感が
非常に強い
基本的な狙いは多項式や関数体のabc理論を一般化することだから
不可能ということはない。代数的にも十分意味が通るフレームや概念である
しかし、2015年前後ではそれは誰もやったことがないレベルの話でもある
また遠アーベル自体は、数論幾何学者にとってはそこまで見慣れぬものではないだろう
84: 2018/03/08(木)02:09 ID:5EJvaSA2(3/3) AAS
趣味ならOK
85(1): 2018/03/08(木)06:15 ID:/n9kcMQG(1) AAS
>>76
Stixはそうなんだね！ありがとう！
前スレでScholez云々がくるこないの伏せ字情報、彼かなって思ってさ、ちょっと確認してたのよ。合点です。
86(1): 2018/03/08(木)07:31 ID:QG4cR9rw(1/2) AAS
数学の証明の正しさは、業界内の政治力で
決まるんだな？
87: 2018/03/08(木)07:36 ID:QG4cR9rw(2/2) AAS
>>85
来日なら費用は日本の税金も使われるの？
88: 2018/03/08(木)11:52 ID:Zqagozpn(1) AAS
科研費は税金から出ている！国益につながる研究をしろ！
こういうことツイッターで言ってる連中急に増えたな。キモい。
89: 2018/03/08(木)12:06 ID:8vAgM+pu(1) AAS
正解は、
科研費は国民の税金から出ている。
身内でなく公益に使え、
90(1): 2018/03/08(木)12:39 ID:2zCmzrYu(1) AAS
>>83
遠アーベルが見慣れてるって？
またまたご冗談を
91(1): 2018/03/08(木)14:15 ID:6sOY+2ib(1/16) AAS
>>90
面倒だから適当に流すけど、二重の意味がある
遠アーベルの議論に触れたことがあるという意味と、土台になる要素は大体触れたことがある
という意味。どちらも間違いではない
実際はマイナーとは言ってもその程度には近いんだよ
92(1): 2018/03/08(木)15:48 ID:v8y/mjq8(2/5) AAS
遠アーベルって要するに、ガロアの逆問題と思えばいいんでしょ？
93: 2018/03/08(木)16:10 ID:6sOY+2ib(2/16) AAS
>>91に補足だけど、勿論軽く触れたことがあるって程度の話よ
21世紀以降に数論幾何学に入ってきたような人間は特に、後者は勿論、どっかで一度くらいは
前者の意味でも軽く触れているはず
>>92
スキームのガロア群の逆構成問題という意味？雑だけど、意識としては間違いではない
94(1): 2018/03/08(木)16:17 ID:6sOY+2ib(3/16) AAS
で、望月遠アーベルは、絶対ガロア群のトポスによって通常の(古典というほど遠アーベルは
古くない)遠アーベルを一般化している
これもstackに慣れた数論幾何学者ならば、割と呑み込めるはずのもの
95: 2018/03/08(木)16:30 ID:88sa6hBZ(1) AAS
絶対ガロア群のトポスって何だよ
96: 2018/03/08(木)16:57 ID:v8y/mjq8(3/5) AAS
なぜにトポスが出てくるんですか？
97(1): 2018/03/08(木)16:58 ID:v8y/mjq8(4/5) AAS
もしかして、ガロア圏がトポスになるということ？
98: 2018/03/08(木)17:18 ID:6sOY+2ib(4/16) AAS
>>97
ガロア圏をトポス的な抽象性を強調して利用するということ
IUTは「モノイド」と「絶対ガロア群のトポス版」の二本の強い抽象化から宇宙際を扱う
これについて考えると新しい代数幾何学の流れと色々関連付けはできるが、
何か足りない可能性はある。俺は12年以来全く読んでないからよくわからない
99: 2018/03/08(木)17:27 ID:6sOY+2ib(5/16) AAS
あと、ホッジシアターの構造的な由来はホッジフィルトレーションから来てるはず
100: 2018/03/08(木)17:29 ID:6sOY+2ib(6/16) AAS
名前の構造的な由来ね
101: 2018/03/08(木)17:36 ID:6sOY+2ib(7/16) AAS
あと、離散スキームのガウス積分がHodge-Arakelovであって、IUTは要するに
離散スキーム→絶対遠アーベルに変えたものなんだが、これも実は一行でわかりやすく
言い換えたほうが「arithmetic deformation and」integral computationの意味を掴みやすい
そこまではわざわざ言わないけど
102: 2018/03/08(木)18:19 ID:v8y/mjq8(5/5) AAS
IUTの枠組みはかなり目新しく難解に思えるけども
やってることは単に体積の計算だったりするのかな
-deg(q)≦-deg(Θ)
103(1): 2018/03/08(木)18:30 ID:OWmraArX(2/6) AAS
>>86
>数学の証明の正しさは、業界内の政治力で
>決まるんだな？
数学を語る時に「正しい」「正しくない」という言葉を使うのはやめろ
どれだけ稚拙でもいいから価値があるかないかを語れ
「正しい」「正しくない」の競争と捉えると
数学の中身自体に何の興味のバカでも機械的な栄誉獲得競技として
省1
104(1): 2018/03/08(木)18:34 ID:pWnpSnCC(1) AAS
今まで意識したことなかったけど
Anabelioidって確かにトポスになってんのな
とは言っても正直だからどうしたって感じなんだが
IUT論文においてtopos theoricな議論してる？
105(1): 2018/03/08(木)18:38 ID:OWmraArX(3/6) AAS
>>94
安直な質問で恐縮だがIUTの論文中をtoposで検索しても
ほぼ一切hitしないけど
それはなぜ？
モッチーとトポスの関係を
いやもっと一般に21世紀以降の数論幾何とポストの関係が分かる
ソースなりがあれば教えてくれ
106(1): 2018/03/08(木)18:45 ID:OWmraArX(4/6) AAS
トポスって（非常に残念なことに）現代数学では
忘れ去られて置き去りにされてるだろ
107: 2018/03/08(木)19:31 ID:Fb5W0yfR(1/2) AAS
>>103
I受理は予定調和だったんだろ？
108(1): 2018/03/08(木)19:36 ID:Fb5W0yfR(2/2) AAS
>次世代幾何学研究準備センター
新しい数学思想に基づく幾何学に関して，
国内外の研究者との連携研究を準備するため
平成29年12月に設置された．
109(1): 2018/03/08(木)21:42 ID:6sOY+2ib(8/16) AAS
>>106
そんなことはないだろw
少なくともトポス的な考えはむしろ空気のように浸透してきたのではないか
最近は量子重力、非可換化やコンヌの数論でまた対象として注目を浴びてきたと思う
110(1): 2018/03/08(木)21:46 ID:6sOY+2ib(9/16) AAS
>>108
モノイドとpointless的なトポスによる数論幾何という意味では、まあ一応
この標榜には恥じないだろう
111(1): 2018/03/08(木)21:55 ID:6sOY+2ib(10/16) AAS
>>105
Anabelioidに確か出てきたのではないか？
>>104
まず絶対ガロア群に対してbase pointに依らない数論的基本群を考えているわけだし
環構造をモノイドにより分解した対象に対してそのような絶対遠アーベル幾何学的な
復元を考えているわけだろう
つまりFrobenioidとAnabelioidの間での圏論を考えているわけで、完全に
省1
112: 2018/03/08(木)22:07 ID:6sOY+2ib(11/16) AAS
basepointを仮定しない「absolute」な幾何学は圏論(トポス)の対象化によってしか
議論しえない。位相的な入れ物を仮定しないことだから
実際、コンヌの場合のabsoluteな幾何学でもトポスが不可欠だと最近認識された
根は同じものだと言える(はず)
113: 2018/03/08(木)22:11 ID:6sOY+2ib(12/16) AAS
この場合のトポスが位相的な「入れ物」かと言えば違うと言うべきだろうな
スキーム論の本質は関数環の強調による空間概念(代数多様体)の一般化だった
この場合は更にそれを徹底したもので、いわば絶対ガロア群やモノイドが作る
スキーム以上に抽象的な関数空間を作りたかったわけだ
114(1): 2018/03/08(木)22:20 ID:7KQmg085(1) AAS
ふっ俺の中身のない話にどれだけついて来れるかな競争
いつかの無作為の哲学論述に近づいている
115(1): 2018/03/08(木)22:26 ID:6sOY+2ib(13/16) AAS
>>114
普通自信がなければ動揺する所なんだろうが、ただの煽りだなあ、と思う
「俺はわかってた」「用語を並べてるだけ」批判はお腹一杯
より具体的にキチンと解説したいならどうぞw
116: 2018/03/08(木)22:48 ID:7FEZg6oE(1/4) AAS
凄い門外漢なんですけど、ショルツって人のIUTについての批判は同音符
117: 2018/03/08(木)22:51 ID:7FEZg6oE(2/4) AAS
間違って投稿になったスマソ
凄い門外漢なんですけど、ショルツって人のIUTについての批判は思うんですか？
的を射ているんですか？
118: 2018/03/08(木)22:53 ID:7FEZg6oE(3/4) AAS
また間違ったスマソ
凄い門外漢なんですけど、ショルツって人のIUTについての批判はどう思うんですか？
的を射ているんですか？
119(2): 2018/03/08(木)23:02 ID:6sOY+2ib(14/16) AAS
あんましゃべりすぎるとあれなんで一言だけ言うと、ショルツは「IUT自体」は批判してない
証明に問題があると言っている。個人的に少し落ち着いたら当該箇所を見るつもりだが
俺はわからない
しかし、あそこが仮に間違いならまだ致命的とは言い切れないのは確か
120(1): 2018/03/08(木)23:07 ID:qgIRWoMQ(1) AAS
>>115
こちらこそ用語を並べただけのクソレスはお腹一杯や
もう少し論文読み込んで出直してこい
121: 2018/03/08(木)23:14 ID:6sOY+2ib(15/16) AAS
>>120
あんた上で色々言ってた人？結局上から目線で悪口言いたいだけじゃん
「俺のほうがマシだ」と中身の話をしたいならどうぞ御自由にと言ってるんだが
122: 2018/03/08(木)23:16 ID:zX9IR5AF(1/3) AAS
>>110
センター長は望月新一氏で
センターはIUT幾何が中心だろ。
IUT論文は12月中まで修正していた。
12月中にショルツらが、間違いの可能性を
指摘した。
所が、12月中にセンターを設立した、、
123: 2018/03/08(木)23:17 ID:7FEZg6oE(4/4) AAS
>>119
レスサンクス
まあ、IUTの世界でのゲームでも作れば分かりやすいと思う（冗談）ｗ
124(1): 2018/03/08(木)23:31 ID:OWmraArX(5/6) AAS
>>111
>Anabelioidに確か出てきたのではないか？
ホントだ、これだねありがとう。
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
2-categoryとかも出てきてるし最早「圏論幾何」とでも呼びたくなりそう
125: 2018/03/08(木)23:33 ID:zX9IR5AF(2/3) AAS
>>124
趣味の数学ならOK
126(1): 2018/03/08(木)23:34 ID:OWmraArX(6/6) AAS
>>109
>少なくともトポス的な考えはむしろ空気のように浸透してきたのではないか
>最近は量子重力、非可換化やコンヌの数論でまた対象として注目を浴びてきたと思う
もっと最近の標準的な数論幾何（出来れば非可換類体論など）で
トポスが自然に顔を出すトピが知りたいけど他に何かある？
具体的に知ってたら教えてくださいm(_ _)m
アーカイブで検索しても殆ど引っかからない
省1
127: 2018/03/08(木)23:47 ID:zX9IR5AF(3/3) AAS
arxivに、トポスと物理、があったな、
アタマが腐るからチラ見しただけ、
128(4): 2018/03/08(木)23:53 ID:6sOY+2ib(16/16) AAS
>>126
難しい縛りだな。トポス的な考え方自体は前述の通りhigherな理論とかhomotopy化の中で
出てきているといえると思うし、ショルツなんかもそういう論文を書いている
しかし明確にトポスを扱うというなら
外部ﾘﾝｸ[0523]:arxiv.orgが真っ先に思い出されるが
保型表現関連では基本的にないんじゃないかなと思う
あとは数論というかガロア理論の意味で
省3
129(2): 2018/03/09(金)00:26 ID:L4u1kMlD(1/5) AAS
>>128
なんか必死だねw
130(1): 2018/03/09(金)00:28 ID:t/DBldP0(1/3) AAS
>>128
レスありがとうm(_ _)m
せっかくリンクまでして頂いて感謝だけど
数学の「流れ」にまでなってるようなトピじゃなさそう
>higherな理論とかhomotopy化の中で
toenとかの本当にディープな圏論的巨大理論って
それこそモッチーじゃないけど非常に膨大で
省2
131(3): 2018/03/09(金)00:32 ID:t/DBldP0(2/3) AAS
>>128
部外者がこのスレ覗きに来るのもいいけど
有害な撹乱レスはやめてくれよ。
数学の中身の話にはついて興味なくて査読だの賞だのにしか話題に
入って来れないのは分かるけど。
132: 2018/03/09(金)00:58 ID:L4u1kMlD(2/5) AAS
>>131
貴方が部外者
133: 2018/03/09(金)01:17 ID:vTKUh16O(1/2) AAS
>>129
余興だけど真っ赤だし必死に見えるかもね
>>130
>>131
IDが同じだが二重人格？
それはともかく、トポスらしさが強く数論で発揮される状況というのは
かなり抽象的な設定であって、コンヌや望月の方向性で予告されていると言える段階だろう
省1
134(2): 2018/03/09(金)01:38 ID:vTKUh16O(2/2) AAS
あ、アンカミスか
とにかく「トポスと数論」についてはDAGやHAGとはまた別に、これからの話だと思うね
主流ではないと言うけど、上の理論も十分可能性がある。合わせて考えればの話だが
数論とはまた違うけど、圏論的な設定で幾何学的な議論をやると結局はトポスがしっくりくる
という感じの研究もチラホラある
寝るわ
135: 2018/03/09(金)01:40 ID:L4u1kMlD(3/5) AAS
>>134
スレ汚さないでね
136: 2018/03/09(金)01:42 ID:L4u1kMlD(4/5) AAS
概念が整理されていないから単語の羅列になる。
137(1): 2018/03/09(金)02:12 ID:t/DBldP0(3/3) AAS
>>134
>あ、アンカミスか
ゴメンｗ
>>131←はアンカミス
正しくは
×>>128
○>>129
省5
138: 2018/03/09(金)02:13 ID:L4u1kMlD(5/5) AAS
>>137
キチガイ 寝ろ
139: 2018/03/09(金)08:36 ID:yaeWqrS3(1) AAS
外部ﾘﾝｸ:mainichi.jp
140(1): 2018/03/09(金)09:45 ID:Du1s2qRW(1) AAS
>>119
>当該箇所を見るつもりだが 俺はわからない
しかし、あそこが仮に間違いならまだ致命的とは言い切れないのは確か
見ていないのに 致命的ではないと断言して
いますが、
実際 重大箇所だから問題視されています。
仮に間違い 間違ってすらいないなら致命的
省1
141(2): 2018/03/09(金)10:52 ID:rxdRrTJN(1) AAS
・集中講演前に騒ぎを大きくしたくない
・取り下げて再構築は屈辱的なリジェクト扱いなので是が非でも回避したい
・擁護派はそこが理解不能
・よって当面掲載せずダブルスタンダードとしたい
・不等式評価の結果を本人もわかってないので説明できない
・不等式評価の元の明示的予想は仮定の仮定で構成されてるので強弁できない
・意味がわかっていないので具体例も出せない
142: 2018/03/09(金)13:18 ID:n/mZNUQI(1) AAS
>>141
これ昔、某だぎゃあで問題になった事態と同じことになってはないかな
143: 2018/03/09(金)14:32 ID:X8yBImNJ(1/2) AAS
GO氏あたりが啓蒙に駆けずり回ればいいと思うんだが
144: 2018/03/09(金)14:57 ID:etbLU70l(1/2) AAS
啓蒙？
IUTの 論理 明晰性 厳密性へ 多数の質問が必要。
145(6): 2018/03/09(金)15:30 ID:etbLU70l(2/2) AAS
2017年12月21日
Peter Scholze points out possible error
in IUT
>I am entirely unable to follow the logic after
Figure 3.8 in the proof of Corollary 3.12
of Inter-universal Teichmüller theory part III:
If one interprets the above discussion
省12
146: 2018/03/09(金)17:46 ID:rWELfu1X(1/4) AAS
ぼくの研究によると、
女性の性感が最も強いのは女子中学生で、
女性が最も美しいのは女子高生。
女子中学生と女子高生のどっちでやるのか迷う。
男の性感が最も強いのは十七歳。
だから、女子小学生と交尾してしまうというのはありえない。
だけど、女が格好いいと思うのは、二十代以上のおじさんという結果。
省3
147: 2018/03/09(金)19:02 ID:rWELfu1X(2/4) AAS
いちばん典型的なパターンが、
「モテない男が処女卒業式をやると女が自殺する」と思ってる男と処女卒業式をやると女が自殺するんだよな。
女だって若い童貞とやりたいに決まってるじゃん。
男だって、一生で一度も処女とできないと悔いが残るように、
女だって、一生で一度も童貞とできないと悔いが残るんだよ。
基本だよ、基本。
148: 2018/03/09(金)19:17 ID:rWELfu1X(3/4) AAS
全盛期のおれがモテたのは、マジで謙虚だからなんだよ。
モテる女の邪魔をあんまりしないから、モテる女にモテたんだよ。
そして、おれが強引さを出す時に人気が出るんだ。
149: 2018/03/09(金)19:22 ID:cMaAaJpE(1) AAS
擁護派にはモッチーが天才だと前々から流布されているという点だけで支えられいる感じ
がする
150: 2018/03/09(金)19:29 ID:rWELfu1X(4/4) AAS
おまえが自由に恋愛するように手伝ってやる。
とおれがいって、
「おまえがあたしを独占してくれ」といった女は二人しかいないけど、
二人とも超美人で恋愛の達人だったわ。
151: 2018/03/09(金)20:39 ID:qFzRmt0W(1) AAS
これコピペ？
152: 2018/03/09(金)22:28 ID:8zyGsGlv(1) AAS
結局、IUtって一言でいうとどういう理論なの？？
153: 2018/03/09(金)23:31 ID:X8yBImNJ(2/2) AAS
数論的変形理論
154: 2018/03/09(金)23:45 ID:0V5xITFT(1/3) AAS
やっぱり2つの数の間にある公約数を見つけるとか
合同式の計算をして
発明者のガウスの偉大さに感服するとかそういうことの方が楽しいよね
なんだろ抽象代数って（ ＾ω＾）・・・
上下前次1-新書関写板覧索設栞歴
あと 848 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s