[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 23 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
825: 2018/01/21(日)16:54 ID:AwB7zoFl(1) AAS
現代数学の根本概念を解体、再構築するという、独創的かつ新奇的な方法を定式化した。望月新一はグロタンディークの生まれ変わりかもな。
826: 2018/01/21(日)17:11 ID:7jnxWoM9(3/3) AAS
それはちょっと主眼が違うな
この理論で一番ポイントになるのはあくまでも遠アーベル幾何学的な部分だよ
これを何処まで本質的な現象と見るかは、今はトップクラスでも意見が分かれるだろうな
827: 2018/01/21(日)23:59 ID:XUiD1hq3(2/2) AAS
既出だったらゴメン、たまたま見つけた
外部ﾘﾝｸ[html]:golem.ph.utexas.edu
真ん中あたりにKimとTaoのやり取りがあるけど、2007年のこの時点ではKimはIUTTとABC予想という言葉は避けているね
ただ言わんとしていることは同じ
-----------引用開始--------------
I don’t really know how Grothendieck thought about his program, but my friend Shin Mochizuki has the striking view that anabelian geometry is primarily concerned with the relation between the additive and multiplicative structures of rings.
-----------引用終わり-------------
828(2): 2018/01/22(月)01:39 ID:OJCp+4kD(1) AAS
しかし実際にはFrobenioidとAnabelioidという、素朴な遠アーベルを拡張するものが
必要だったのも事実だな
特に>>430>>431だとわかりにくいが、絶対ガロア理論は両輪的な対象になっている
環を分解しても不変性を保ちFrobenioidにもAnabelioidにも作用を持つものとして
829: 2018/01/22(月)06:23 ID:C/MBWxnt(1) AAS
望月の手法、というよりRIMSの遠アーベル学派は異端だよな。だから理解が進まない。
830: 2018/01/22(月)09:18 ID:qR367KFg(1) AAS
RIMSの数理解析ではないね。
グロタンディクの夢を追い求めてでしょ。
831(1): 2018/01/22(月)11:45 ID:wJ3MvUFG(1) AAS
>>828
はったりかますんじゃねぇ！
てめーFrobenioidやAnabelioidの定義をちゃんと理解してましゅか？？
ちょっと数学知ってる人間が一瞥すれば判ることなのでしゅが
どちらも数論幾何の人間なら誰でも見たことあるよねーって感じの
全く新規性のない概念だよーん
832(1): 2018/01/22(月)13:19 ID:BmgB6IrU(1/5) AAS
FrobenioidやAnabelioidって位相空間になるの？
833(1): 2018/01/22(月)13:36 ID:1lsTq91e(1) AAS
>>832
位相空間ではなく圏
834: 2018/01/22(月)13:54 ID:8MPCH3ki(1/8) AAS
>>831
新規性のない概念なら定義する必要がないんだが
数学者の言うこととは思えない。Wikipediaで調べて既成の理論を踏まえてるから
新規性がないと言ってるんだろう。ガロア圏とかな
835(1): 2018/01/22(月)13:55 ID:BmgB6IrU(2/5) AAS
>>833
ああ、圏なんですね
グロタンディーク位相が定義できて
コホモロジーが得られればよいのですが
836: 2018/01/22(月)14:08 ID:8MPCH3ki(2/8) AAS
>>835
素朴な位相空間ではないが幾何学的な圏ですよ
然るべき手順でコホモロジーは作れます
837(1): 2018/01/22(月)14:13 ID:8MPCH3ki(3/8) AAS
FrobenioidとAnabelioidは、結構強い意味で「絶対」な遠アーベル幾何をやるための
スマートな構成になっているので
この辺は文句のつけようがないと思うよ。後は遠アーベルが何処まで不可欠か、だな
838: 2018/01/22(月)14:19 ID:BmgB6IrU(3/5) AAS
然るべきコホモロジーが定義できるならヴェイユ予想の場合のように
ガロア群の表現を通してラングランズへつながるとも考えられますか？
839: 2018/01/22(月)15:33 ID:WIWnZqJa(1) AAS
外部ﾘﾝｸ[pdf]:www.ipmu.jp
840: 2018/01/22(月)15:40 ID:kDUAvJVT(1) AAS
そうですね(棒)
841: 2018/01/22(月)17:16 ID:BmgB6IrU(4/5) AAS
ABCはともかくプロならもっと夢を語ってくれないかな、数学の夢を
842(1): 2018/01/22(月)18:20 ID:8MPCH3ki(4/8) AAS
ラングランズへ繋がるかというか、本人がどう言うかは別として
どう考えてもストリングもラングランズも意識してるんで
ガロア表現と繋がるかなんてのは当たり前の話でしかないんでわざわざ聞くことでもない
能力のある若手はまず確実にコスパで迷うし、迷うくらいならやめたほうがいい
843(1): 2018/01/22(月)18:24 ID:8MPCH3ki(5/8) AAS
そういう意味では迷宮だよね、専門選び
深谷先生も本当は解析的な非可換幾何学をやりたかったんじゃないかって思うw
難しすぎるから手を引いただけで
844: 2018/01/22(月)18:39 ID:mGSUzlSv(1/2) AAS
この件に関しては望月氏本人の仮説と感想があるよ
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
↑のp.7〜9、特に(H3)と(T3)
まぁ、たしかに若手は迷うところだろうね
845: 2018/01/22(月)18:56 ID:mGSUzlSv(2/2) AAS
まぁ〜アレだね、HPにある３つの報告を読んだ上でブログを読めば
ああいうのもアリか、とは思うけどw
M本氏のHPとかもスゴイでしょw
846(1): 2018/01/22(月)19:01 ID:xLwWw7vb(1) AAS
>>828
なんでFrobenioidとAnabelioidが素朴な遠アーベルを拡張するものになってると言えるの？
>>837
具体的にどこのどういう点が絶対遠アーベル幾何をやるためのスマートな構成になってるの？
847: 2018/01/22(月)19:37 ID:8MPCH3ki(6/8) AAS
>>846
とりあえず調べてわかんなかったら聞けばいいんじゃないか。あまりそれが感じられない
逃げたで結構
絶対遠アーベルというだけでなく、IUTTのための必然性が強い概念たち
Arakelovの専門家にはやや物足りないかもしれない、抽象的すぎて
848: 2018/01/22(月)19:51 ID:8MPCH3ki(7/8) AAS
簡単に言うと、「IUTTの環変形論を見越した上で」
「Hodge-Arakelov理論」の圏論的抽象化
「絶対遠アーベル幾何学」の圏論的抽象化
という理念にそれらは対応しているとも取れる
但し、
「何故普通のHodge-Arakelovでは駄目なのか？」
「絶対遠アーベル幾何学の絶対は基本的には絶対ガロア群の話だが、特にIUTTではどういう
省4
849(1): 2018/01/22(月)20:39 ID:Kkkr4w7E(1/2) AAS
京大ｉＰＳ研助教の論文で捏造・改ざん 調査結果を発表
外部ﾘﾝｸ:headlines.yahoo.co.jp
850: 2018/01/22(月)20:44 ID:Kkkr4w7E(2/2) AAS
大学によると、論文は昨年３月に米科学誌「ステム・セル・リポーツ」に掲載され、血中に含まれた薬物や有害物質が脳に入るのを防ぐ「血液脳関門」の機能を持つ構造体を、ｉＰＳ細胞を使って体外で作り出すことに成功したという内容。
昨年、同研究所相談室に「論文の信憑（しんぴょうせい）性に疑義がある」との通報があり、論文掲載のグラフの再構成を試みたが再現できず、７月に大学の通報窓口に通報した。
851(1): 2018/01/22(月)20:59 ID:DCBM5AWT(1/2) AAS
>>843
？？
非可換幾何で量子場 場の量子論を捉えられない
ワイル量子化はウィグナー分布関数 の
統計力学の粗視化だが、実際は量子光学は
弱測定まである。
経路積分もあるが 正準量子化が基本だ。
省16
852: 2018/01/22(月)21:16 ID:DCBM5AWT(2/2) AAS
>>851
訂正
×ウィッテン不変量が ◯グロモフ不変量が
853: 2018/01/22(月)21:19 ID:W74y09p3(1) AAS
>>849
もっちー「」
854: 2018/01/22(月)22:05 ID:/p7IGxhY(1) AAS
数学の場合は盗用だな
855(1): [age] 2018/01/22(月)22:09 ID:BmgB6IrU(5/5) AAS
>>842
当たり前だと言うんならそうゆう方向で
どんどんやったらいいんじゃないですかね
これまで何年間もそういう話は聞かないですが
856: 2018/01/22(月)22:54 ID:8MPCH3ki(8/8) AAS
>>855
それは非常に難しい話だけども、今のところ淘汰されるのかメジャーになるのか不明
「ゴチャゴチャしすぎではないか？」というのは多くの数論研究者が感じているのではないか
勿論それは無知だからかもしれないし、正しい直観かもしれない。不明ですわ
857: 2018/01/22(月)23:00 ID:JhJrCiXo(1) AAS
捏造報道絶賛炎上中
2chｽﾚ:newsplus
858: 2018/01/22(月)23:49 ID:WrKBOnse(1) AAS
査読が終わっているのと内容がただしいかどうかは関係ありませんがそうなります
859: 2018/01/23(火)00:11 ID:Sm3JAUCP(1/2) AAS
139名無しさん＠１周年2018/01/22(月) 23:53:21.64ID:zmG78j1i0
>>110
さすがに医学部の研究不正は有名過ぎて誰でも分かる
理系外国人に知り合いがいたら、日本の医学部は既に捏造天国で中国韓国よりも格下の扱いだって教えてくれる
山中伸弥がノーベル賞を取れたのは、iPS細胞プロトコルに客観的な再現性があったからだもの。
ディオバン事件、鉄門門脇の捏造天国、STAPなんか目じゃ無い程のウソ塗れ
東大医学部の腐敗は有名だったけど、これで京大もダメ大学なのがはっきりしたね
860: 2018/01/23(火)00:13 ID:Sm3JAUCP(2/2) AAS
148名無しさん＠１周年2018/01/23(火) 00:08:35.83ID:qXpPXukY0
>>105
再現性ある細胞としては使えるだろうけど、その一丁目一番地が脳関門の再現なのがコレだからね。
861: 2018/01/23(火)00:22 ID:84flm0Cz(1/2) AAS
前の方のレスで取材合戦がどうのとほざいてたクズがいたが、どんなツラしてんだろ。
862: 2018/01/23(火)00:30 ID:lvCkN9wA(1) AAS
「次世代幾何学研究準備センター」で
「新しい数学思想に基づく幾何学に関して」
は宇宙際タイヒミュラーなのか。
RIMSは何処へ行くんだろ、サッパリわからん
863: 2018/01/23(火)00:58 ID:84flm0Cz(2/2) AAS
客観的な再現性
864(1): 2018/01/23(火)01:04 ID:YIkRENRn(1/7) AAS
合っているかどうかは問題ではない、なんていう詭弁擁護論は通用しない
865: 2018/01/23(火)01:41 ID:ymJX7Ze5(1) AAS
この結論にしようと考えたとして、前提や引用論をあまりにも拡大解釈せざるを得ないとしたら、
それは何かがおかしい証拠といえます。つまり現実を無視した結論をゴリ押ししているために、
あちこちに歪みや修正が出てくるのですね。
866: 2018/01/23(火)08:48 ID:SPbhebIP(1) AAS
iPS騒動見てると、iUTも懐疑的に思えてしまう。
誰も検証できないように抽象的な議論弄んで成果にしてしまおうとしてんじゃないかと邪推したくもなる。
助教の事情ともっちー周辺もどうもオーバーラップして感じる。
867(1): 2018/01/23(火)09:08 ID:rJsksr7d(1) AAS
度々>>864みたいな発言が関係筋から出るのも懐疑的になる要因だ。
RIMSの上層部と編集委員はレアケースの判断力が弱いのではないかと思ってしまう。
868: 2018/01/23(火)10:18 ID:aT3jjLqB(1/4) AAS
iUTw
869: 2018/01/23(火)12:29 ID:3C+cum3D(1/6) AAS
>>867
関係筋のそんな発言あったの？
870: 2018/01/23(火)12:32 ID:mw/Kc912(1) AAS
ブンゲンの講演の冒頭とか前々スレ後半あたりから見りゃわかるだろ
871: 2018/01/23(火)12:36 ID:pTsDD5Kn(1) AAS
PRIMSに掲載されたら、永遠にブラックボックスのまま
872: 2018/01/23(火)12:43 ID:YIkRENRn(2/7) AAS
なんねーよ
873(1): 2018/01/23(火)12:49 ID:3C+cum3D(2/6) AAS
ブンゲン氏の動画の冒頭見たけど、あれはそんな意味じゃないと思うけどね
とりあえず、jinのアンチ版もスルーだな
874: 2018/01/23(火)12:51 ID:DoTOkyWA(1/2) AAS
バカ人乙
875(3): 2018/01/23(火)12:55 ID:DoTOkyWA(2/2) AAS
>>873
分解からの復元の際の歪が一定でなく再現できないのに何を証明したんだ？
アンタの物の見方ってどんだけバイアスかかってんだよ
876: 2018/01/23(火)13:05 ID:tqiJnqOn(1/11) AAS
都合が悪くなると逃走する擁護派
しばらくすると何事もなかったかのように復活してくる鉄面皮ゾンビ一派
877: 2018/01/23(火)13:16 ID:YIkRENRn(3/7) AAS
都合の悪い情報を見てないことにしたり、残っている不具合を魔法のように消せる素晴らしい人達
878: 2018/01/23(火)13:17 ID:3C+cum3D(3/6) AAS
いや、俺は擁護しているのではないよ、IUTはよくわからないし事態を静観しているだけ
>>875 の見解には詳しい人がコメントしてくれるのじゃないかな？
最近のレスを読むと詳しい人がいるみたいだし
879: 2018/01/23(火)13:20 ID:tqiJnqOn(2/11) AAS
＞あれはそんな意味じゃないと思うけどね
思いっきり主観がはいってるけど
880: 2018/01/23(火)13:27 ID:YIkRENRn(4/7) AAS
ここまでの否定論に対して詳しい人のコメントなどない件について
881(1): 2018/01/23(火)13:28 ID:wu7k3Kiw(1) AAS
これで実は証明できませんでしたという結論だとまた朝日の黒星だな。
で、?の不等式の証明の件はどうなのよ？
これは理解できないとかじゃなくてかなり具体的な論理の飛躍の指摘だと思うが。
882: [age] 2018/01/23(火)13:31 ID:1JrX6Zjm(1) AAS
結論出るまでいったい何年かかるねん
883: 2018/01/23(火)13:36 ID:tqiJnqOn(3/11) AAS
>>881
書いてある、定義により自明、では理解を得られないわな
884: 2018/01/23(火)13:37 ID:tqiJnqOn(4/11) AAS
なので実例を出せとかいわれる
885: 2018/01/23(火)14:31 ID:BSz7qTpw(1) AAS
朝日新聞何の根拠もなく一面に出す訳ないだろ。朝日に肩を持つ内通者がいて、情報流してたんじゃねーの？
何なら、観測気球をあげるという意味で、IUT周辺がリークしたんじゃねーかと邪推もしたくなる。お陰でRIMSは準備万端で本格的発表に備えることができてそう。
886: 2018/01/23(火)14:39 ID:bkZgg6L5(1) AAS
何の根拠もなく一面に出すのは朝日新聞のお家芸。
ソースが多すぎてここにカキコすると字数制限にひっかかる。
887: 2018/01/23(火)14:46 ID:aT3jjLqB(2/4) AAS
そもそも>>875は何処から出てきた批判なんだ？
色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか
それを含めアルゴリズム的と言っているんだが
問題点を「あるが」の部分から切り取っただけではないか？
望月がブログで「組合せ論的整理」と言っているのは数学的にはそのことだ
基礎としては集合論で無限集合を論じるのと変わらないというわけだ
888: 2018/01/23(火)14:52 ID:xP8b/PnB(1) AAS
(おそらく)今でも数学板を覗いている織田先生はこの騒動をどう見てるのかな？
889: 2018/01/23(火)14:56 ID:j1fkelI4(1) AAS
(おそらく)数学板をいまでもみていらっしゃる増田哲也氏はどう思ってらっしゃるのか？
890(1): 2018/01/23(火)15:01 ID:aT3jjLqB(3/4) AAS
補足すると、場合に応じ不定性を消す、抑える云々の部分は俺も引っかかっていたんだが
(不定性云々に関わらず)数学自体がある意味でそういう「明示的な判別」を方々で示している
という見方をしたら納得はできた
典型的なのは式変形だな
891(1): 2018/01/23(火)15:29 ID:VEbAxPGL(1) AAS
実際、擁護派と否定派の割合ってどれくらい？
892(1): 2018/01/23(火)15:56 ID:3C+cum3D(4/6) AAS
要するに>>875 の批判は相手にする必要なし、とスルーされたと理解してok？
あと、ブンゲン氏の講演の冒頭での発言は、
「現時点では査読中なのでABC予想の証明の正否についてはコメントを控える、ここではIUTの方法について
素人に向けてラフスケッチを提示する」という意味で俺は理解している
893: 2018/01/23(火)16:10 ID:tqiJnqOn(5/11) AAS
>>890-892
納得しねーな
なら証明したというのはおかしくねーか
892はそうならブンゲンがそういうだろ
894(1): 2018/01/23(火)16:16 ID:tqiJnqOn(6/11) AAS
＞色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか
a,b,cの組み合わせの個数が有限であるかないかとの問いに対してどうなのか
895: 2018/01/23(火)16:17 ID:tqiJnqOn(7/11) AAS
いくつなのか、ｋの上限値でも出してるなら見せてくれということ
896: 2018/01/23(火)17:03 ID:aT3jjLqB(4/4) AAS
>>894
まず、類似するプロの批判をソースとして挙げたら？というのもそういう言い方だと
ちょっと引っかかるんだよな。つまり、ディオファントスの基本的な知識が
ないだけなんじゃねーのと
不等式の由来とか調べたのかと
知識があった上で軽く論理を辿ったらこういう欠陥が見つかったってなら勿論
京大で聞くべきなんだが
897(1): 2018/01/23(火)17:13 ID:YIkRENRn(5/7) AAS
ディオファントスの基礎知識を持ってる国内外の学者さんはなぜ理解できないの
あなたがわかってるなら答えを出してくれればいいじゃないの
898(2): 2018/01/23(火)17:21 ID:tqiJnqOn(8/11) AAS
結局擁護派はもっちーがそういってるから、の1点張りなんだよな
オレがいってることは明快
10＾20までの1400万通りの反例にたいして何を示したのか、という話
不等式と全然関係がなさそうじゃないか
899: 2018/01/23(火)17:24 ID:6mzSj2k9(1/7) AAS
>>897
それは、ディオファントスは単に一部の文脈だからですよ
変形理論自体はまた別のコストがかかる
勿論正直な話、自分もわざわざ論文をおさらいして具体的な話ができるほどの
余裕はない。そういう意味で非力です。レスしてても別のことを考えながらだったりするんで
とは言え、今自分のわかる範囲で言えることもなくはないとしても、
明らかに知識や調査が足りない人に何でも喋るのはどうかと
省2
900: 2018/01/23(火)17:26 ID:YIkRENRn(6/7) AAS
またアホ人が炙り出されて活動再開したな
901: 2018/01/23(火)17:38 ID:6mzSj2k9(2/7) AAS
>>898
反例？
それはともかく、俺は「望月がそう言ってるから」じゃなくて
不等式の由来とそのアプローチの意味を調べたのかと言ってるだけだよ
そこまで全て編み出すほど彼は宇宙人じゃねーからなw
902: 2018/01/23(火)17:58 ID:3C+cum3D(5/6) AAS
否定派に賛成しない人たちを擁護派と見做すのはどうかと思うよ
擁護派と見做されている人たちは慎重なだけではないかと
全肯定しているのはjinみたいな人だけかと
903: 2018/01/23(火)18:06 ID:6mzSj2k9(3/7) AAS
IDを辿ったら「否定派」の二人(一人？)っつうのがどうも怪しいな
そもそも「abcと何の関係があるんだ？」みたいなこと言ってるプロいたっけ？
いたら誰かソース教えてくれ
904: 2018/01/23(火)18:14 ID:6mzSj2k9(4/7) AAS
ちょっと基本的な話なんだけども、関数版のabcは証明されているわけですよ
なので、疑問があるならば「関数版の理論の適切な一般化になっているのか？」という
抽象的な部分がむしろメインになるべきで、不等式から具体的な数値が計算できるかどうか
という話はちょっと違うと思うわけね。あくまで自分の意見ですが
勿論これはフェルマー理論の包含についても同じ
905: 2018/01/23(火)18:16 ID:tqiJnqOn(9/11) AAS
またアスペが
不等式がギャップとされるなら証明と関係ないだろうが
>>898
反例？
10＾20までで1400万の例があればそれは証明として有限なのか
君の理屈では10＾20は確かに有限だな
上下前次1-新書関写板覧索設栞歴
あと 97 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s