Inter-universal geometry と ABC予想 21

**１３２人目の素数さん** · 2017/10/31(火) 00:40:59.71

IU幾何やABC予想に関する会話のサロンとして使って下さい。
m村jin美の話題や荒らしはご遠慮願います。

前スレ
Inter-universal geometry と ABC予想 20
https://rio2016.5ch.net/test/read.cgi/math/1504249984/

**１３２人目の素数さん** · 2017/12/20(水) 18:05:57.64

>>977
保留しつつの主張でcompleteだって言ってなにもしないなら無視されるのは本人の責任だと思うぞ。

**１３２人目の素数さん** · 2017/12/20(水) 18:25:11.79

つーかさ、ここまで理解困難って言われるんだったらさ、望月の論文を一般の数学者が理解納得できるように一歩一歩再構成するような論文も意味出てくるんじゃないの。
こういうのはドクターの院生の研究指導にちょうどいい題材だと思うんだけど。数論幾何の院生も研究課題に困ることないしwinwinじゃん。

**１３２人目の素数さん** · 2017/12/20(水) 19:07:45.42

>>970
アンカーミス済まない

>>971 >>978
責任責任って何を言ってんのかな。
モッチーは自分ができることをやっているだけの話で、
それを評価するのは評価する側の責任の話だろ。
別に検証不可能な疑似科学をでっちあげているわけではなく、
少なくとも理論を追いかけてそれを否定する選択肢は、
評価側に残されているんだよ。
それをしないのは評価側の都合の話だし、
それができないなら評価する能力がないってことだろ。
判断保留という評価側の状態がこれまで通り続くだけの話。
彼らもそれがわかっていて気持ちが悪いから、
自分を責める代わりにモッチーを責めているんだよ。
この構図においてどっちが悪いかなんて話をしたところで、
良くて水掛け論にしかならない。

そもそも、まずおまえさんがモッチーを責任を追求する資格があるのかね。
別にオリンピック選手みたい「に応援してくれる国民のために、
なんとしてもabc予想をを証明します！」なんて宣言して、
カップ麺のＣＭとか変なクイズ番組とか出て
売名で飯食ってるわけじゃないし、
誰も応援していないなかで証明を発表したわけだから、
脚光を浴びた後にあらわれた俗物のために、
彼が何かをしなくちゃいけない道義的な責任はないだろう。
自分を信じてくれる部下の教育について考えを巡らせた方が、
よほど有益だろう。普通のことをしてるだけじゃん。

もし「同じ日本人がabc予想を証明してくれた！」
という夢を託していたつもりなら、期待せずに待てばいい。
その代わり「あまりに複雑精緻な数学は、否定が困難」
というボーダーを同じ日本人が問題提起したと考えれば、
それはそれで今の状況を楽しめるだろ。

**１３２人目の素数さん** · 2017/12/20(水) 19:25:36.34

tateの概念からして間違えて混同してるんじゃないの。
素数と合成数じゃ振る舞いが違うだろ。

**１３２人目の素数さん** · 2017/12/20(水) 19:35:43.24

モッチーの眼鏡をかけてない姿は神のみぞ知る
てか相当度がキツイ眼鏡かけてるな。　メガネとると顔変わりそう

**１３２人目の素数さん** · 2017/12/20(水) 19:41:09.13

で、ABC予想はこれで完全決着なの？

**１３２人目の素数さん** · 2017/12/20(水) 20:04:15.24

>>951
中村博昭先生•••

**１３２人目の素数さん** · 2017/12/20(水) 20:04:25.84

abc予想のために小平スペンサーを一般化して、更に高さ関数を利用するっていう
枠組み自体は正攻法ですらある。関数体の拡張だからね
誰もが引っ掛かるのは、絶対遠アーベル幾何学でなければならないのかという点
そこの手続きが非常にわかりにくいからな
絶対ガロア群を使わなければならないのは自然だが、遠アーベル幾何学がabc予想や数体に
不可欠とは思えないな、個人的には

**１３２人目の素数さん** · 2017/12/20(水) 20:30:35.63

つまり宇宙からの電波を受信したと言って不可解なことを主張してるやつは、
そいつが精いっぱいのことをしている以上は理解する努力を怠っている科学界のほうが悪いということか。
なるほど。

**１３２人目の素数さん** · 2017/12/20(水) 20:45:02.23

>>986
自然科学なら実験結果を出せと言われるし、数学なら論証過程を示せと言われるだけ。実験結果を出してない疑似科学者と、論証過程を示している数学者の違いもわからず納得できるって幸せだな。

**１３２人目の素数さん** · 2017/12/20(水) 20:50:21.40

論証過程を出さなければ似非科学者というならラマヌジャンはどうなるよ
てかモッチーは日本のラマヌジャン

**１３２人目の素数さん** · 2017/12/20(水) 20:52:54.70

>>984
その中村って人はp進退避はやってない。
http://www.math.sci.osaka-u.ac.jp/~nakamura/selection.html
Galois-Teichmueller theoryっていうのはやっているようだが、これはp進退避とは全く別物。
p進退避やっているのは望月関係者+joshiだけ。

**１３２人目の素数さん** · 2017/12/20(水) 20:58:57.38

log-theta latticeはHodge theaterの舞台裏みたいなものだな
主役は絶対ガロア群・数論的基本群・エタールテータか

**１３２人目の素数さん** · 2017/12/20(水) 21:04:28.57

何かを表しているのが数学なら何を使っても良いのだろう。
遠アーベル幾何とアーベル幾何が宇宙を交換すれば変換できるのかどうかはわからないが、
少なくとも同じでないならそれは違うと言えるだろう。

**１３２人目の素数さん** · 2017/12/20(水) 21:09:34.85

>>978
頭おかしい人なのかな？

仮定の上に仮定を重ねて平気だったり、自分が言い出したことで腹を立ててけしからん、とか言うタイプの

**１３２人目の素数さん** · 2017/12/20(水) 21:19:29.36

しんちゃんの本心「論文はPRIMSにしか投稿したくない。つーかもてはやされたくない。何十年後かの未来に評価されればそれでいい。」

**１３２人目の素数さん** · 2017/12/20(水) 21:23:42.50

次スレ
https://rio2016.5ch.net/test/read.cgi/math/1513707655

**１３２人目の素数さん** · 2017/12/20(水) 21:32:45.93

数論的次元に分解してから環を復元する際の不変な装置が対数殻なわけでしょう
復元の操作自体は絶対ガロア群を使うわけだけど、それらのシステムはKummer理論的な
対象になっている
そういう性質を利用してmono-analyticな対象から体積を計算すると、
変形・復元してできる環の歪みを計算したことになる
この際、スキームの「変形」空間全体に対応する図式がlog-theta latticeになっている

やっぱり古典を抽象的に捉えるのが一番いいイメトレになるんだろうな

**１３２人目の素数さん** · 2017/12/20(水) 21:33:22.42

>>990
素人質問なんだが基本群はどういう役割で登場してる？

**１３２人目の素数さん** · 2017/12/20(水) 21:35:38.41

対数殻の定義、わけわからんな。

**１３２人目の素数さん** · 2017/12/20(水) 21:36:39.44

次スレ

**１３２人目の素数さん** · 2017/12/20(水) 21:37:03.32

次スレ

**１３２人目の素数さん** · 2017/12/20(水) 21:37:50.55

1000ゲット

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 50日 20時間 56分 51秒