Inter-universal geometry と ABC予想 21

レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん2017/10/31(火) 00:40:59.71ID:dqBz84cb
IU幾何やABC予想に関する会話のサロンとして使って下さい。
m村jin美の話題や荒らしはご遠慮願います。

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

0952132人目の素数さん2017/12/19(火) 17:50:50.92ID:di1/Y/qG
>>950
RIMSの反応をみるに、編集者が現時点で掲載云々の情報を公表すべきと判断していることはなさそう
ゆえにその意味において朝日のアレは報道的に正しくない

0953132人目の素数さん2017/12/19(火) 19:59:38.46ID:TU+ZoZb3
>>952
報道的に正しくないけど、朝日はドジった訳じゃない。スクープっちゃスクープ。素直にすごいわ。

0954132人目の素数さん2017/12/19(火) 20:07:24.86ID:+Ox716Lp
本当にスクープと言えるのか?
掲載がまだ機関決定されてないのに

0955132人目の素数さん2017/12/19(火) 20:19:06.92ID:ucPNI+OA
でもやっぱりコツがあるよな
影響で言ったらグロタン、ファルティングス、マンフォード(代数的テータ)がでかいし
更に言えばやっぱりノイキルヒだな
Anabelian geometry of etale fundamental group for hyperbolic curve
Hodge-Arakelov based on l-torsion galois
p-adic teichmuller based on p-adic Hodge

上手く繋がってるよね。特にホッジ理論と遠アーベル。それで大域化ができる
12年の時点では用語と分量・前提理論が多すぎてかなりしんどく見えたが
実際には基本は古典理論の合成と抽象化。新しいのはあくまで抽象性の強さ
特に目新しいのはメタ宇宙的な絶対遠アーベル的明示化とlog-theta latticeの非可換性か
どちらも絶対ガロア理論・圏論的な抽象化によってできる大域化に変わりはない

0956132人目の素数さん2017/12/19(火) 20:23:14.82ID:ucPNI+OA
何が言いたいかって言うと、
「ファルティングス+ノイキルヒ+遠アーベル」でやってきた本人からしたら
非常に必然的な理論なんだろうなということ。しかしその影響的な流れは他人には無縁だから
訳わからん印象を与えても仕方ないな

0957132人目の素数さん2017/12/19(火) 23:08:43.70ID:GkJ1nzeV
何を偉そうにと言われそうですが、事は重大だと思います。IUTがコミュニティーでゆっくりでも理解していってもらえる土壌作りは、
まずこの混乱について、正式に来年掲載が認められた時に、学術誌の編集者として、発行元のトップとして、的確でシンプルなコメントを出すべきだ。
https://twitter.com/math_jin

この馬鹿は何を浮足立ってんだ?
日本語も微妙におかしいし。こいつ酒飲んでツイートしてんな。

0958132人目の素数さん2017/12/20(水) 00:07:21.09ID:Hhgkf6b+
日本人研究者でもダメ出ししてるの出始めたな(間接的にだけど)

0959132人目の素数さん2017/12/20(水) 01:04:48.12ID:KtOu7p4V
某新聞が根拠の不明な一面記事を出してる。それを引用する形で海外から記事があがっている。それを受けて、一部の著名な数学者が、改めて否定的なコメントを出してる。それを受けて、jinが騒ぎ立てる…

RIMSもモッチーも何も言ってないのに、内容を理解する気もない人間が、まるで自分の成果であるかのように、決定していないことについて勝手に騒いだり、あるいは否定的な態度をとったり、どうなってんだよ。
マスメディアは総じてこの分野に明るくないんだからさ、他社を出し抜こうなんて考えずに、RIMSやモッチーの公式コメントを待って、慎重な態度で情報を発信すべきないんじゃないのか。
誠実に真面目に頑張ってる人達に、自分の都合で負担をかけるなよ。

0960132人目の素数さん2017/12/20(水) 01:27:16.96ID:AgHzqIxD
912132人目の素数さん2017/12/18(月) 20:06:13.95ID:r/SAlDmi>>914>>915
>>911
勘違いじゃないと思うけど?
朝日の記者はそれなりのソースを元に記事を書いてるようだし
まあ、あと1,2カ月ではっきりするからいんじゃない

0961132人目の素数さん2017/12/20(水) 01:48:29.65ID:cSYJZMBb
jinはミーハーのゴミアカウントでしかなかったのにフォロワー数が増えてきて普通に害になってるな

0962132人目の素数さん2017/12/20(水) 02:09:14.28ID:AgHzqIxD
微分するのが遅過ぎたんじゃないの

0963132人目の素数さん2017/12/20(水) 02:20:44.39ID:oGvLbP4B
jinは数学史に残る害虫と化すのかw

0964132人目の素数さん2017/12/20(水) 02:25:44.86ID:DwrWWev+
無二な数学史における業績www羨ましいわw

0965132人目の素数さん2017/12/20(水) 03:03:05.05ID:uNsuxo+y
TaoやCnrdの声は傾聴に値するが
jinのツイートはハエがブンブン喚いているようなもん
もし可能ならハエ叩きで潰してやりたい

0966132人目の素数さん2017/12/20(水) 06:20:47.84ID:S7ugEVwq
>>959
朝日が見出しに勝手に「証明」とか付けたのが、この騒動の根源じゃないの?w

0967132人目の素数さん2017/12/20(水) 08:35:31.11ID:i/XyyJiR
仮に誤報で、PRIMSってのも間違いだったりしたら、単なる嫌がらせにしかならないな。
朝日はどれくらい裏を取ってるんだろう?

0968132人目の素数さん2017/12/20(水) 09:35:17.70ID:S7ugEVwq
IUT論文は通常の意味での査読は有り得ない

論文雑誌に投稿→査読→却下、修正要求→掲載→

このような流れから最初から大きくズレている


IUT論文は最初に望月が個人的に公開した(事になって居る)

それを読んだ人間が、望月氏に個人的に間違いを指摘して、修正を反映しているのだ、
というのが本当の体裁だろう
これを新聞社が勝手に追随して「査読」と呼んでいるに過ぎない

通常の査読者は、論文執筆者の論証の全てを完全にフォローする必要がある
だが、IUTに措いて外部の誰がそれが可能なのだ?

そして、IUT論文は、修正し尽したファイナルカットをプリント版として、
望月氏が自分が編集長をやってるPRIMSに掲載するだけだ


論証の内容に間違いがあれば数学誌を通して内容自体に公式に反論しろという事なのだろう
だが、誰も批判出来なかったからと言って、証明した事が担保された事にはならない

数学界はスタートラインに立っていないのだ

0969132人目の素数さん2017/12/20(水) 09:40:37.35ID:S7ugEVwq
こんな情況で勝手にABC予想が「証明」された事にされて、海外の数学者が批判するのは当然の事だ

朝日新聞には是非、「証明」された事を「証明」して頂きたい

jinが記者会見を求めるべきなのは朝日新聞ではないのか?w

0970132人目の素数さん2017/12/20(水) 10:22:49.41ID:5rs21dLt
ON THE VERIFICATION OF INTER-UNIVERSAL
TEICHM¨ULLER THEORY: A PROGRESS
REPORT (AS OF DECEMBER 2014) Shinichi Mochizuki
(検証についての箇所抜粋)
My understanding, at present, concerning the verification
of IUTeich is that
at least with regard to the substantive mathematical aspects of such a
verification, the verification of IUTeich is, for all practical purposes, complete;
nevertheless, as a precautionary measure, in light of the importance
of the theory and the novelty of the techniques that underlie the theory,
it seems appropriate that a bit more time be allowed to elapse before a
final official declaration of the completion of the verification of IUTeich
is made.
On the other hand, I should also state that, although such precautionary measures
may serve a meaningful role for a limited amount of time, I am not of the opinion
that such precautionary measures should be maintained for periods of, say, the
order of 20 ∼ 30 years. That is to say, although there are perhaps numerous
approaches to the issue of computing an appropriate length of duration for such
precautionary measures, my current sense is that the length of duration of such
precautionary measures should not exceed 10 years, i.e., counting from the time
of the first oral presentation of the theory (i.e., in October 2010) and the posting
of the series of papers on the theory (i.e., in August 2012). Put another way, my
current sense is that some date during the latter half of the 2010’s would be an
appropriate time for the termination of such precautionary measures.

日本語版の方が簡潔だけど、文字化けするので。
改めて読むと2010年代後半というスケジュールどおり進めている。。
また全体の文章を通読すると査読についても十分認識しているし、
今回の論文のPRIMS掲載は詳細は分からないが、
彼にとっては通過儀礼で「正しい理論」の検証は
だれがなんと言おうが終了したということだろう。

0971132人目の素数さん2017/12/20(水) 10:25:42.33ID:H0PD+m/+
言っちゃ悪いけどこういう本人のコメント見ると本人にも責任あるよな。
どうみても通常の手続きを終えてないのに一方的に勝利宣言しちゃいかんよ。

0972132人目の素数さん2017/12/20(水) 11:52:23.75ID:TpjrtGjj
リークしたのは左の反戦、反原発やろ。朝日だけに

0973132人目の素数さん2017/12/20(水) 12:21:55.27ID:yTFVXnUx
>>970
出だしにMy understandingってある通り、一方的な勝利宣言なんてしてないじゃん。
モッチーは正しいと思っていることを自分なりの方法で発表しているだけだろ。
モッチーがどうこうではなく、それを捉える側の問題だと思う。
「論文が長すぎる」という理解力の問題、「海外に行って説明しようとしない」という
情緒的な問題、これらも含めて、認めるか認めないか、結論を出せばいいと思う。

興味のある人間、正しいと思う人間だけが付いていけばいい。
学問の多様性を考えれば、こういう分断が起こるのは不思議じゃない。
変な話、「abc予想を証明するのに300ページの論文を読まなければならない」というのが、
仮に真理だとしたら、今の状況というのは、その真理に
コンセンサスを得ながら到達するのは不可能という事だろ。
でも「abc予想」を「宇宙の成り立ち」に置き換えれてみれば、その事情は変わる。
門外漢の自分ですら、残りの人生を全て捧げて、その論文を読み始めるかもしれない。

つまり、モッチーのブログに書いてある通り、
コミュニケーションの費用対効果の話でしかないよ。
これからの数学が、
「abc予想の証明という問題(ないしIUT)は、300ページの論文を読んで理解するには値しない」
と思う人と、そう思わない人に分かれるだけの話じゃん。

0974132人目の素数さん2017/12/20(水) 12:37:44.43ID:Hc3Gxn9Q

09759702017/12/20(水) 13:15:18.81ID:5rs21dLt
>>973
誤解があるようだが、おれは一方的な勝利宣言なんて書いてないよ。
3年前に検証終了にしても良かったのに一応保留して、
約束通り2010年後半には終了するんだろう。
朝日が正しければ、外部査読もあるんだろうし、
彼としても筋は通していると思うよ。通過儀礼は言い過ぎだったかも知れないが。
あと「だれがなんと言おうと」は、海外の本質的でない批判について言ったつもり。

0976132人目の素数さん2017/12/20(水) 13:20:30.17ID:H0PD+m/+
>>973
私見では、って書いたら断言してないからセーフというのはただの日本の文化だよ。

0977132人目の素数さん2017/12/20(水) 15:10:39.24ID:oGvLbP4B
>>976
英語でもIMHOは保留しつつの主張だから問題ないよ

0978132人目の素数さん2017/12/20(水) 18:05:57.64ID:H0PD+m/+
>>977
保留しつつの主張でcompleteだって言ってなにもしないなら無視されるのは本人の責任だと思うぞ。

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

0980132人目の素数さん2017/12/20(水) 19:07:45.42ID:lxIIRESZ
>>970
アンカーミス済まない

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

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

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

0981132人目の素数さん2017/12/20(水) 19:25:36.34ID:/dgbXGph
tateの概念からして間違えて混同してるんじゃないの。
素数と合成数じゃ振る舞いが違うだろ。

0982132人目の素数さん2017/12/20(水) 19:35:43.24ID:e/2Qhd08
モッチーの眼鏡をかけてない姿は神のみぞ知る
てか相当度がキツイ眼鏡かけてるな。 メガネとると顔変わりそう

0983132人目の素数さん2017/12/20(水) 19:41:09.13ID:xuafg4Xy
で、ABC予想はこれで完全決着なの?

0984132人目の素数さん2017/12/20(水) 20:04:15.24ID:0c5yGVni
>>951
中村博昭先生•••

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

0986132人目の素数さん2017/12/20(水) 20:30:35.63ID:H0PD+m/+
つまり宇宙からの電波を受信したと言って不可解なことを主張してるやつは、
そいつが精いっぱいのことをしている以上は理解する努力を怠っている科学界のほうが悪いということか。
なるほど。

0987132人目の素数さん2017/12/20(水) 20:45:02.23ID:bNrr3sA4
>>986
自然科学なら実験結果を出せと言われるし、数学なら論証過程を示せと言われるだけ。実験結果を出してない疑似科学者と、論証過程を示している数学者の違いもわからず納得できるって幸せだな。

0988132人目の素数さん2017/12/20(水) 20:50:21.40ID:e/2Qhd08
論証過程を出さなければ似非科学者というならラマヌジャンはどうなるよ
てかモッチーは日本のラマヌジャン

0989132人目の素数さん2017/12/20(水) 20:52:54.70ID:l3X0gVgv
>>984
その中村って人はp進退避はやってない。
http://www.math.sci.osaka-u.ac.jp/~nakamura/selection.html
Galois-Teichmueller theoryっていうのはやっているようだが、これはp進退避とは全く別物。
p進退避やっているのは望月関係者+joshiだけ。

0990132人目の素数さん2017/12/20(水) 20:58:57.38ID:p5oXxkC4
log-theta latticeはHodge theaterの舞台裏みたいなものだな
主役は絶対ガロア群・数論的基本群・エタールテータか

0991132人目の素数さん2017/12/20(水) 21:04:28.57ID:9WleVIUt
何かを表しているのが数学なら何を使っても良いのだろう。
遠アーベル幾何とアーベル幾何が宇宙を交換すれば変換できるのかどうかはわからないが、
少なくとも同じでないならそれは違うと言えるだろう。

0992132人目の素数さん2017/12/20(水) 21:09:34.85ID:iqxBCixr
>>978
頭おかしい人なのかな?

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

0993132人目の素数さん2017/12/20(水) 21:19:29.36ID:00doAOWG
しんちゃんの本心「論文はPRIMSにしか投稿したくない。つーかもてはやされたくない。何十年後かの未来に評価されればそれでいい。」

0994132人目の素数さん2017/12/20(水) 21:23:42.50ID:M3RZwd7D

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

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

0996132人目の素数さん2017/12/20(水) 21:33:22.42ID:BS9vCVrv
>>990
素人質問なんだが基本群はどういう役割で登場してる?

0997132人目の素数さん2017/12/20(水) 21:35:38.41ID:BS9vCVrv
対数殻の定義、わけわからんな。

0998132人目の素数さん2017/12/20(水) 21:36:39.44ID:BS9vCVrv
次スレ

0999132人目の素数さん2017/12/20(水) 21:37:03.32ID:BS9vCVrv
次スレ

1000132人目の素数さん2017/12/20(水) 21:37:50.55ID:BS9vCVrv
1000ゲット

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

10021002Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php

レス数が1000を超えています。これ以上書き込みはできません。