[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 43 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(4): 2019/12/27(金)21:13 ID:ZfY9bIio(1/2) AAS
IU幾何やABC予想に関する会話の
サロンと して使って下さい。
荒らしはご遠慮願います。
2: 2019/12/27(金)21:15 ID:ZfY9bIio(2/2) AAS
前スレ Inter-universal geometry
と ABC予想 42
2chｽﾚ:math
過去のスレは前スレより検索願います
3(1): 2019/12/28(土)14:14 ID:lcynnV4v(1) AAS
>>1 スレ建て乙です
先にPart 43が建っていますが、テンプレが違うので自分はここを本スレとします
先に立ったやつはオカルトマニア、学部に毛が生えた程度のオカルト系、ガロアスレ主に執着している共依存の人の隔離スレにしましょう
物理屋さんへ
RIMSの報告書、文科省の文書等の貼り付けお願いします
4(1): 2019/12/28(土)23:03 ID:SNYBEO2f(1) AAS
RIMSの報告 文科省の報告書などは
さらに整理し来年初めに貼ります。
5: 2019/12/29(日)05:36 ID:gjA/NHYc(1/3) AAS
>>4
よろしくお願いします
物理屋さんにとっては不本意でしょうが、私はこのスレが過疎スレになっても構わないと思っています
ただ、あなたが調べてきたものは５ｃｈに残るだけでなく、人づてに伝わったりしています
海外の友人にメールで内容を伝えたところ、彼らは一様に驚き呆れていました
まあ、私は気が向いたら書くだけですし、息抜きや暇潰しです
気長にやりましょうｗ
6(3): 2019/12/29(日)15:40 ID:K9d/Q/E4(1) AAS
0次元の単遠アーベル幾何って可能でしょうか？
つまり、Qの絶対ガロア群の正規開部分群Gを与えられた時、GのQの閉体への作用や、絶対ガロア群への埋め込みの様子は全て忘れた群Gの情報だけで、対応すガロア拡大は復元できるのでしょうか？
7: 2019/12/29(日)18:30 ID:gjA/NHYc(2/3) AAS
>>6
それ、IUTに対する皮肉ですか？ ちょっと面白いんですけどｗ
8(1): 2019/12/29(日)18:48 ID:gjA/NHYc(3/3) AAS
結局、単遠アーベルを使うというのは体は非同型にしたいということでしょうね
で、クンマー理論と結びつけるのは自然同型もありうる形で充満多重同型ということにしたい、と
つまり、同型⊂充満多重同型
9(1): 2019/12/29(日)23:43 ID:5nv5z8Qt(1) AAS
上の0次元単遠アーベルについて聞いた者ですが、どこが面白いのか知りたいです
自分はただ星さんのサーベイの最初の方に書いてる内容と単遠アーベルという用語から妄想して、ちょっと疑問に思っただけで深い意味はないです
10: 2019/12/30(月)00:41 ID:eMK3OQxI(1/6) AAS
>>9
いや、自分も深い意味はないですよ。ただ、グロタンディークの遠アーベル予想の、
遠アーベル的な体としての「遠アーベル的な0次元スキーム」のことを思い出しただけです
「単」はmono-、「双」はbi-、ですよね。前スレでも書きましたが、前者はabsolute、後者はrelativeです
後者だと比較するので体について同型・非同型を言えるわけですよね
前者だと何も言えない
望月がIUTで単遠アーベルを使ったのは（正確には絶対遠アーベルを構築してIUTで使ったのは）、
省4
11(1): 2019/12/30(月)00:47 ID:N15k+dXo(1) AAS
ただただ内田ノイキルヒの絶対版はあるのかな？程度の質問ですよ
12: 2019/12/30(月)19:44 ID:tNjwmM2L(1/2) AAS
>>6
一見情報が退化するという意味でそう言いたいのだろうが、「0次元」という表現に拘る必要は全くないですね
内田ーノイキルヒ同型を一般化できるかといえばできますよ。しかし、IUTが主張しているようなのとは
違うやや複雑な方法しかむしろ自分には思い付かない
13: 2019/12/30(月)19:50 ID:tNjwmM2L(2/2) AAS
エタール基本群についてはいくつか一般化のルートがある
そういうものを更に一般化しておいて代数体に対する内田ーノイキルヒ同型を超えた遠アーベル幾何を
構成する。一見誇大妄想的だが、間違いなくできますね。変形空間のモジュライも構成できる
但し現段階で証明は全く持ってませんw
しかし、自分が考えるのはIUTのやり方とは全く違うし、>>6さんがIUT自体をどう考えるのかはわからない
14(1): 2019/12/30(月)21:49 ID:eMK3OQxI(2/6) AAS
ノイキルヒ・内田の定理と双遠アーベル、単遠アーベルの話を整理しておくと、元々はノイキルヒ・内田の定理の証明方法です
双遠アーベル、単遠アーベルの名付け親は望月です
①双遠アーベルは、2つの対象の体や絶対ガロア群を比較して、体として同型⇔絶対ガロア群として同型、を論ずるもの
②単遠アーベルは、1つの対象の絶対ガロア群から出発して体を復元する、というものです
①は関数体でも数体でも証明できる。②は関数体では「復元可能性」であり、さらに数体では非常に煩瑣な議論になり同じく「復元可能性」です
なぜ「可能性」なのかというと、見れば分かるようにガロアの逆問題があるからです
で、望月は単遠アーベル的復元/構成について、「所望の手続きの存在を証明する」ことが目的ではなく、
省3
15: 2019/12/30(月)22:00 ID:eMK3OQxI(3/6) AAS
ではなぜIUTでは単遠アーベルを用いるのかというと、「非常に似ている対象の異質な環構造のコピー」を作りたいからです
自然同型になる対象を作ったら無意味になるからです（SSレポのようになる）
宇宙際幾何学の前提として基点を動かすというアナベリオイド幾何学があり、さらに単遠アーベル的復元/構成をもって宇宙際幾何学とし、
数体のタイヒミュラー理論を構築したわけです
16: 2019/12/30(月)22:10 ID:eMK3OQxI(4/6) AAS
ここで多くの数学者にとって疑問になっているのがコンラッドのオックスフォード・メモに書かれているようなことです
「これらの対象（非常に似ている対象の異質な環構造のコピー）を同型とします」
「えっ？」
「さらにこれらの同型にラベルを貼って管理します」
「えっ、えー？なにそれー？！」
さらに、SSの主要な関心事であるpilot objectの抽象v.s.具象ですが、上記のようにガロア圏で極めて抽象的な議論をしているのに、
ラベルによって常に具体的なものがくっ付いているということです。つまり、テータ関数の特殊値の代入点を示すラベルj^2のことです
17: 2019/12/30(月)22:22 ID:eMK3OQxI(5/6) AAS
ふ～、疲れました。とりあえず分岐したスレなので、自分なりの理解と現状を誤解を恐れず極めて大雑把にまとめてみました
単数群と値群を分離して値群部分を変形するとか、他にもいろいろあるんですけどね
書きだしたらきりがありません orz
18(1): 2019/12/30(月)22:34 ID:T5b6gLYP(1/2) AAS
>>8
横ですが、そもそも非同型にしたかったというのはspecZの変形射のモジュライ空間にしたいからです
それはそのままテータのアラケロフ幾何学的情報に対応する
正則構造の自己同型ではそれが実現しえない
SSが言っているのはある意味で、そのような無数の非自明な幾何学的空間など見当たらないということ
19(1): 2019/12/30(月)23:05 ID:T5b6gLYP(2/2) AAS
根本的な矛盾は、テータ写像と幾何学的空間を巧妙に分けようとする所から生まれている
つまり、テータ写像の抽象的イデアと各宇宙の具体的な幾何学を分けることで平均の計算が達成されるはずだが
それは成り立たないということ。少なくとも圏論と両立するIUTの解釈は存在しない
この書き方がやや適当なのは自覚しているが、別に丁寧な説明が目的ではないので悪しからず
20: 2019/12/30(月)23:59 ID:eMK3OQxI(6/6) AAS
>>18-19
補足ありがとうございます。
さらに「そもそも」ですがｗ、「数論的正則構造を解体する」という大げさな表現を用いたことをやりたいわけです
つまり、乗法構造のみをTeichmuller dilationし、「非常に似ている対象の異質な環構造のコピー」を作って膨大な計算をしたいわけです
また、ループ式入れ子宇宙と言ってもこれはメタファーです。つまり、単解構造とそっくりハウスのことですねｗ
対称性通信だけで単遠アーベル的復元/構成し、その様を「大文字Θが目に似ている」という子供っぽいたとえで表現しているわけです
「対称性通信というΘの目で、コピー元とほとんど同じだがほんのわずかに構造が変わったコピー先を見ている様子」ということです
省1
21(1): 2019/12/31(火)01:35 ID:p/tdPvTh(1/2) AAS
すみません、一旦流れを無視して横からまた一言なんですけども、まず圏論的にIUTが奇妙な理由は
かなり洗練された言い方ができる。ただこれはまだ懐に隠しておくとしてw、まず充満多重同型とテータ関数は
言うまでもなく不可分の関係にあるし、これは対数テータ格子という最終装置に対応する鋳型になっている
望月さんは例えばテータ関数については、そのイデアはテータモノイドという絶対的な分裂対象に
求められると考えてるんですね。後は変幻自在。しかしSSはそういう都合の良い考え方を認めない
というのはこの理論のテータ関数は、充満多重同型上の環構造の幾何学的情報に基づいてこそ格子という装置で
存在できるものだから。従って都合の良い、環構造に対しても超越的だがΘリンクのdomain/codomain
省4
22: 2019/12/31(火)01:37 ID:p/tdPvTh(2/2) AAS
しかしこのスレが主流になるには、最低限物理屋さんは必要なんじゃないでしょうかw
他は荒れてるみたいですしね。勝手なレスをしてすみませんでした。また明日以降従います
23(3): 2019/12/31(火)09:16 ID:TB3QxOWI(1) AAS
>>11
Hさんの Mono-anabelian Reconstruction of Number Fields は面白い論文で、
mono-anabelian geometryの0次元版に当たる
ただ、不定性を扱うという意味でのIUTの0次元版には当たらない
質問の答えになっているでしょうか
24: 2019/12/31(火)09:45 ID:/CLOv7Pn(1/2) AAS
>>21
＞圏論図式的にありえない
圏論で正当化できないんなら圏論やめれば？
なんか無理に圏論で考えようとしてかえっておかしくなってる希ガス
25: 2019/12/31(火)10:55 ID:h4CYk2OB(1/4) AAS
>>23
それを知りながら質問してるんだと思われ
中学生が学校の先生の力量を測るために数オリの質問するようなもの
26: 2019/12/31(火)11:09 ID:/CLOv7Pn(2/2) AAS
∈-loopsの件もそうだけど、なんか必要ないことに拘って
おかしくなってる希ガス
27: 2019/12/31(火)13:41 ID:g2o3fpbU(1) AAS
文元お得意のリジッド幾何も創始者はトポスで定式化して、
点のない幾何学であることが意義深いと見なされていたそうだ
その手の、後から見たら不要な意味付けかもしれない
28: 2019/12/31(火)13:46 ID:PG6R9UeN(1/3) AAS
AA省
29: 2019/12/31(火)13:50 ID:PG6R9UeN(2/3) AAS
AA省
30: 2019/12/31(火)13:50 ID:PG6R9UeN(3/3) AAS
AA省
31(1): 2019/12/31(火)16:12 ID:PhWwQrDV(1/6) AAS
>>23
そういう論文があるんだ
でもIUTは明らかに0次元の単遠アーベルより強い理論だよね。その0次元理論でどんな数論的命題を出せるのか
いまいちよくわからないけど
32(1): 2019/12/31(火)17:32 ID:PhWwQrDV(2/6) AAS
IUTがそういう理論より強いっていうのは勿論、pointlessな所から話をしているからだが
じゃあIUTでやりたかった事をそういう理論で代替しきれるかというと、多分無理なんじゃないかな
従って別ルートからの一般化を考えるか、もしくはIUTに留まるしかない
33: 2019/12/31(火)17:43 ID:gAkcDmrJ(1) AAS
>>31-32
その星の論文は>>14で書いたことを論文にまとめたものですよ
2014年に講演して、2019年に講究録別冊に掲載されるまで5年もかかっているｗ
数体でノイキルヒ・内田の定理を単遠アーベル的復元で証明できるか、という話で、
「手続きを与える」、「復元が可能である」というだけの話です
望月のAbsⅢをまとめただけの論文ですよ
というか、なんで「0次元」なんて話になるんですかね？
省1
34: 2019/12/31(火)18:21 ID:fSO2AXPj(1) AAS
0次元にこだわってんのは
どうせ空集合の警察か偽の命題の警察だよ
35: 2019/12/31(火)18:49 ID:PhWwQrDV(3/6) AAS
というか読んでないとわからないですよね？0次元っていうのは普通のエタール基本群が定義できない設定だと
思うので、そういう所で理論を考えるのはわかるんですが、>>23だけだとよくわからない
36(1): 2019/12/31(火)20:31 ID:h4CYk2OB(2/4) AAS
＞0次元っていうのは普通のエタール基本群が定義できない設定だと思う
それはネタで言っているのかな？
SGA1を読んで出直してきなさい(´･ω･`)
37(1): 2019/12/31(火)21:02 ID:PhWwQrDV(4/6) AAS
>>36
いや普通にエタール射の層で話ができるのはわかってるよw
確かにおかしかった。単遠アーベルが抜けてた。知らないけど何か条件を制限してんでしょ
38: 2019/12/31(火)21:04 ID:vBHZSUaV(1/2) AAS
AA省
39: 2019/12/31(火)21:04 ID:vBHZSUaV(2/2) AAS
AA省
40(1): 2019/12/31(火)21:26 ID:PhWwQrDV(5/6) AAS
元々の0次元のエタール基本群ってのは多分一種のArtinモチーフだよね
でもその論文ではそれより難しい話してんでしょ？まあ読めばいいって話だけどね
41: 2019/12/31(火)21:29 ID:h4CYk2OB(3/4) AAS
>>37
エタール射の層ってお前何の話をしとるんや(´･ω･`)
42(2): 2019/12/31(火)21:33 ID:h4CYk2OB(4/4) AAS
>>40
お前自分の言ってることの意味分かっとらんやろ
ここでいう0次元のエタール基本群ってのはただの絶対ガロア群やがな(´･ω･`)
43: 2019/12/31(火)22:09 ID:dbXi/8rx(1) AAS
0次元単遠アーベルについて最初に聞いた者ですが、自分は0次元を単純に代数体って意味で使ってました
それと星さんのreconstructionの論文は知りませんでした。ありがとうございます。
正直どこがreconstructionになってるかわかりませんでしたが....
44: 2019/12/31(火)23:59 ID:PhWwQrDV(6/6) AAS
>>42
要は自己同型が絶対ガロア群に同型になるってだけでしょ。その論文はコホモロジーの文脈ではないだろうが
Artinモチーフの一種と言っても別に良くないか？
知識競争じゃないんだからあんたも何か意見したらいいじゃん。何も言うことないなら別にいいけどさ
45: 2020/01/01(水)00:48 ID:+n4nyC0t(1) AAS
何か切り替わり時に妙な絡み方されて困るんだけどw、IUTとは違う切り口で単遠アーベル幾何学の理論が
あるみたいな話でそれなんなのって流れだよね。普通のエタール被覆の基本群の話じゃないんでしょ
で、モチーフって言ったのもそれは普通の数論じゃないですよねって意味で対照に言ったつもりなんですよ
知識探り合い競争みたいなのやるのは嫌なんで、>>42の偉い人がざっくり解説レスしてくれたら嬉しいね
自分は身を引きますのでw
46(2): 2020/01/01(水)02:12 ID:3Zo/MQ6y(1) AAS
Stixのエタールホモトピータイプ使った遠アーベル幾何があるけど、エタールホモトピータイプ一致したらl進実現も一致するしAyoubの予想からモチーフもかなり近いよね
遠アーベル幾何みたいな幾何的一致は難しくても、モチーフの一致なら高次元でも狙えるんじゃない？
47: 2020/01/01(水)08:11 ID:FDA1EBwH(1) AAS
謹賀新年
48: 2020/01/01(水)08:35 ID:VmKAwE3Z(1/6) AAS
AA省
49: 2020/01/01(水)08:35 ID:VmKAwE3Z(2/6) AAS
AA省
50: 2020/01/01(水)10:40 ID:rPuaN3te(1) AAS
ガッキーで抜いとるんか？
51(1): 【大吉】 【72円】 2020/01/01(水)12:18 ID:Btckhr5W(1/2) AAS
ことしのIUTは勝負の年なので占ってみた
52: 2020/01/01(水)12:18 ID:Btckhr5W(2/2) AAS
>>51
今年のIUTは大吉だが金にはならんな
53: 2020/01/01(水)13:54 ID:0vvVE7uB(1) AAS
AA省
54: 2020/01/01(水)14:40 ID:QpZSKWFd(1/5) AAS
マモノが棲み憑いてる
パラレルＩＵＴスレはど↑こ↓？
こ↑こ↓・・・？
55: 【はずれ】 2020/01/01(水)14:42 ID:QpZSKWFd(2/5) AAS
あ、おみくじ引き忘れた・・・
ｴｨｯ!ついでに占いも・・・
↑「桁ハズレ」ッ！
どやッ！！？
56: 【羊】 2020/01/01(水)14:43 ID:QpZSKWFd(3/5) AAS
惜しいッ！今度こそっ！！
↑【末吉】っ！？
57: 2020/01/01(水)14:47 ID:VmKAwE3Z(3/6) AAS
AA省
58: 2020/01/01(水)14:47 ID:VmKAwE3Z(4/6) AAS
AA省
59: 【大吉】 ! 2020/01/01(水)14:47 ID:QpZSKWFd(4/5) AAS
さよなら。。。
びっくりするほどＩＵＴ！スレの皆様
旧年中は大変お邪魔になりしまて
ありがとうごぜぇmatheた。。。
本年も引き続きお邪魔致しmathe＊＊
60: 【吉】 2020/01/01(水)14:48 ID:QpZSKWFd(5/5) AAS
無欲の勝利。
61: 【マジ吉】 2020/01/01(水)14:55 ID:FFzQ5z2V(1) AAS
(^^)
62: 2020/01/01(水)16:24 ID:VmKAwE3Z(5/6) AAS
AA省
63(1): 2020/01/01(水)17:44 ID:asGxjKi6(1) AAS
一旦身を引くと書いたつもりが一旦が抜けて永久離脱宣言になってたなw
迷惑になりそうならちゃんと逃げるが。>>1さんも醜いいざこざで引いてないかと…
>>46
グロタンディークからしても基本群と表現論ってかなり近いものだし、色々な意味で一緒に考えられる方向に
向かってるよね。でもそういうことはこういうとこに書くもんじゃないと思うんだな。コソコソ進めないとw
それにしてもブログは更新されるのかね？
64(1): 2020/01/01(水)17:47 ID:HwhwwuD3(1) AAS
ブログ更新されてる件について
外部ﾘﾝｸ:plaza.rakuten.co.jp
65: 2020/01/01(水)19:03 ID:HKRktad1(1) AAS
>>64
仁美ストーカー乙
66(1): 【大吉】 2020/01/01(水)19:15 ID:GGvCRTFL(1) AAS
>>63
ここも嵐は出禁なんですね...
・・・ですよね～！
( ´∀`)ﾔｯﾊﾟﾘ～♪
短い間でしたが、お騒がせ致しmatheた！
皆様のmathematheのご健勝と
ご発見をお祈り申し上げmathe＊＊
67: 2020/01/01(水)20:40 ID:VmKAwE3Z(6/6) AAS
AA省
68: 2020/01/02(木)08:47 ID:lJNP8tAT(1) AAS
>>66
>嵐は出禁なんですね...
ウッソ、マジ？！
動画ﾘﾝｸ[YouTube]
69: 2020/01/02(木)14:37 ID:cln718YM(1) AAS
>>46
ディオファントス幾何から
始まるSSレポートのStixは興味深いね
70: 2020/01/02(木)23:12 ID:WuPIl7fa(1) AAS
「習熟者を一人ずつ育ててきており」ってどういうこと？
だったら、なぜ肝心な箇所をきちんと説明する人間が現れない？
なんだか、オウムのことを思い出してきたよ。
71: 2020/01/03(金)10:40 ID:QhOGRpGW(1) AAS
書いてある文章が何かおかしい
本当に人を育てて自分の理論を発展させているなら違う表現になる
なのでもう袋小路なのを認められないまま変な方向に走っている
トップ研究者が暗黒面に落ちると周りも止められずグダグダになる
72: 2020/01/03(金)12:20 ID:1pUYB1AW(1) AAS
IUTってまだやってたんだ・・
73: 2020/01/03(金)20:06 ID:3sAsSAL+(1/2) AAS
2020年度が本番なんだからそりゃそうですよ
最期の宴になるかもしれないけど
74(1): 2020/01/03(金)22:37 ID:BDEo4nBh(1) AAS
並の習熟者を量産する必要ないよな
欲しいのは天才、秀才
75: 2020/01/03(金)22:52 ID:SLKJgLdP(1/8) AAS
>>74
それは生まれつきの素質と早期教育の成果が大きいから、資質と母親を選ぶよ
母親が高校数学教師か、物理教師、医師位の理系の高等教育受けてる人で、息子の数学教育をその臨界期前、髄鞘化現象前までに、しっかり基礎から培ってないと。
体質と刈り込み時期前の教育が重要だよね。
76: 2020/01/03(金)22:54 ID:SLKJgLdP(2/8) AAS
高等教育に繋げる前の段階で、体質が向いてる子達をしっかり大量に掘り起こして、数学の素養を培ってないと。
早期教育段階からの課題だよ。
77: 2020/01/03(金)22:57 ID:SLKJgLdP(3/8) AAS
そもそもそういうパフォーマンスが期待出来るレベルの数学力が備わりそうな体質者って、１万人に１人くらいしか該当しないんじゃないの？
湯川スクールこども園(０才児～)の仕事だよ。
78: 2020/01/03(金)23:02 ID:SLKJgLdP(4/8) AAS
ある程度複雑解に正答し得る生物集団の正答率が高くなるのに影響する要因は
１番目に優等個体比率が高い事
２番目に優等個体比率が同じなら
個体数がより多い事
だから、鬼才の数が多い程正答率は高くなるよ。
鬼才の量産化が必要だよ。
１人しか理解出来なきゃ、確認に時間が掛かり過ぎるし。
省1
79: 2020/01/03(金)23:06 ID:SLKJgLdP(5/8) AAS
でもそもそも“モンゴロイド”系や“オーストラロイド”系は“コケージアン”系や“ニグロイド”系に比較して
高知能者は少ないでしょうね
80(2): 2020/01/03(金)23:12 ID:SLKJgLdP(6/8) AAS
北米の機関の調査に寄れば
日本でのＳＮＰｓ２５調査結果は
高知能者は２.７％程度だったはず。
更にその中で２％程しか、理系に適した材に該当しない可能性が有ります。
アメリカでは高知能者の比率は３４％程でした。
比率が悪過ぎます。
そもそも生物学上、知的集約段階の社会としては、他人種が多い社会と競争するのは、不利な可能性が有るのです。
81: 2020/01/03(金)23:14 ID:SLKJgLdP(7/8) AAS
>>80←訂正します
＞理系に適した材に該当 誤
理系に適した人材に該当 正
上下前次1-新書関写板覧索設栞歴
あと 921 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.301s*