トップページ⇒math
992コメント331KB

Inter-universal geometry と ABC予想　11 [無断転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2015/12/17(木) 16:43:59.39ID:tv0M+EMN
IU幾何とABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ
Inter-universal geometry と ABC予想　10
http://wc2014.2ch.net/test/read.cgi/math/1447408765/
0652１３２人目の素数さん2016/01/12(火) 09:00:05.51ID:4HUPQX+V
>>651
フレンケルに何か動きでも？
0653１３２人目の素数さん2016/01/12(火) 09:35:17.30ID:4zJteqTx
資格の市場価値が一目で分かる！
安定した仕事を得るには学歴よりも、価値ある資格を取ることが大切です。
また、日本経済が求めている人材も、これで明らか。

■資格の求人市場評価ランキング
http://jobinjapan.jp/license/ranking.html
■すべての資格の平均月給一覧
http://jobinjapan.jp/license/

全資格の平均最低月給197,800円
提供： http://jobinjapan.jp
0654１３２人目の素数さん2016/01/12(火) 11:34:42.38ID:Qo+iwlxX
何だ？
ポスドクに対する嫌がらせか？
0655１３２人目の素数さん2016/01/12(火) 12:17:46.68ID:QYC9+C4Z
>>652
https://twitter.com/edfrenkel/status/686652157228089345
0656１３２人目の素数さん2016/01/12(火) 13:10:54.31ID:M+cYTjPX
>>655
jin乙
リプライにモチーサーベイ読んでるけど正しいと分かった、とか言ってるな。フレンケルも参戦か？
0657１３２人目の素数さん2016/01/12(火) 13:40:04.04ID:aTAUAn8x
ラングランズとの関連か．．
0658１３２人目の素数さん2016/01/12(火) 13:50:02.92ID:M+cYTjPX
でもモチーは報告でIUTのラングランズへの統一を否定してなかったか？
0659１３２人目の素数さん2016/01/12(火) 18:26:19.68ID:Qo+iwlxX
ワークショップのハイライトは12月9日にKiran Kedlaya,
an arithmetic geometer from the University of California, San Diego.になされた講義とすることで合意された
0660１３２人目の素数さん2016/01/12(火) 18:37:15.26ID:Qo+iwlxX
言葉のハンディはあるが、最悪の講義と合意されないようにしよう
0661１３２人目の素数さん2016/01/12(火) 19:21:46.69ID:eC6qwUtl
ラングランズと関係ないわけないだろな
なぜならラングランズは統一理論だから
0662１３２人目の素数さん2016/01/12(火) 19:40:54.12ID:4HUPQX+V
数論における全ての本質的な現象はラングランズ・プログラムに見られるような表現論的なアプローチに帰着すると信じているが、IUTeichの基本的な考え方はそのような表現論的なアプローチに則っているものではない。
0663１３２人目の素数さん2016/01/12(火) 19:46:45.22ID:4HUPQX+V
ラングランズ・プログラムに代表されるような「表現論的なアプローチ」は確かに現代数論の大きな研究の流れの一つですが、
数論における全ての本質的な現象は「その傘下に入る」、あるいは「その特別な場合に当たる」と言ったような考え方は
様々な重要な数論的事象の実態と整合しないものであると理解しております。
0664１３２人目の素数さん2016/01/12(火) 21:13:40.45ID:rkRTURZ4
すべての概念はカン拡張なのだよ
表現論の関係しないわけないのだ
0665１３２人目の素数さん2016/01/12(火) 21:47:20.73ID:caGpl6Ex
>>664
全ての「圏論の」概念は、だろ
0666１３２人目の素数さん2016/01/12(火) 21:52:17.05ID:eC6qwUtl
もしIUTに表現論が関係しないなら数学理論としては
不十分なので表現が含まれるように一般化されるべき
例えば、ゼータ関数 ＋ 表現 ＝ L関数みたいなイメージ
0667１３２人目の素数さん2016/01/12(火) 22:57:05.62ID:Ch9/zeBs
うわぁ・・・・・
0668１３２人目の素数さん2016/01/13(水) 14:57:29.36ID:Xx/D1PoO
東工大の加藤文元教授の今日のtweetは現在の状況を深く捉えていると思うんだけれど。
0669１３２人目の素数さん2016/01/13(水) 19:59:01.06ID:mjPoBik5
IUTの一般化まだかい？
0670１３２人目の素数さん2016/01/13(水) 20:12:19.47ID:q4lR+Hco
集合論と圏論の関係はどう理解したらいいの？
0671１３２人目の素数さん2016/01/13(水) 20:39:29.31ID:mjPoBik5
集合論 ＋ 表現 ＝ 圏論
ζ関数 ＋ 表現 ＝ L関数
0672１３２人目の素数さん2016/01/14(木) 08:17:50.17ID:8H6kNgHD
つか、望月先生自身が有名な数学者が判定するとは考えていないのだから
今の論文誌でアクセプトとか無い
0673１３２人目の素数さん2016/01/14(木) 20:49:20.34ID:u/xIS/mY
報告ないから盛り下がるわー
ちゃんと報告してくれよもっちゃん
0674１３２人目の素数さん2016/01/14(木) 21:58:54.92ID:vgNcb8eH
毎月燃料投下して常にネタであり続けるなんてもっちゃんの一番嫌がるところだろ
静かに研究させてやれ
0675１３２人目の素数さん2016/01/14(木) 22:00:22.19ID:iJu2XsY3
モチリンはツンデレ
0676１３２人目の素数さん2016/01/15(金) 09:32:22.68ID:1K8ZI2Ir
IUT Summit, RIMS workshop, July 18-27 2016
https://www.maths.nottingham.ac.uk/personal/ibf/files/kyoto.iut.html

あと半年か、わくわくしますね。
0677１３２人目の素数さん2016/01/15(金) 09:43:15.05ID:Kd/YTqoe
>>676
お前jinだろ？
https://twitter.com/math_jin/status/687750692488921088

フレンケル参戦！
0678１３２人目の素数さん2016/01/15(金) 11:37:28.74ID:0EHcsDHL
>>676
Speakers:
Taylor Dupuy, Ivan Fesenko, Kazumi Higashiyama, Yuichiro Hoshi, Shinichi Mochizuki, Chung Pang Mok, Ippei Nagamachi, Fucheng Tan, Yuki Wada, Go Yamashita, Boris Zilber
ーーーーーーーーーーー
Kazumi Higashiyama
Ippei Nagamachi,
Yuki Wada

聞いたことのない日本人の名前が三人いますね．学生さんでしょうか？
0679１３２人目の素数さん2016/01/15(金) 11:42:09.04ID:0EHcsDHL
下に書いてあった．IUT関連は東大にもいるのか
Kazumi Higashiyama (RIMS, Kyoto Univ.)
Ippei Nagamachi (Tokyo Univ.)
Yuki Wada (RIMS, Kyoto Univ.)
0680１３２人目の素数さん2016/01/15(金) 11:49:15.12ID:/cJ2ELvP
３人とも院生らしいね
http://blog.livedoor.jp/abc_conjecture/archives/52634776.html
東山さんは星さんとこの学生、和田さんはモチーの学生、長町さんは東大の院生っぽい。
0681１３２人目の素数さん2016/01/15(金) 12:06:40.75ID:Dqd3iNPD
南出氏ももちーの学生？
0682１３２人目の素数さん2016/01/15(金) 12:11:27.01ID:Dqd3iNPD
昨年の夏にもちーのとこに来た解析接続の専門家も参戦か。
0683１３２人目の素数さん2016/01/15(金) 12:31:16.11ID:/cJ2ELvP
Machiel van Frankenhuijsen だね。

今回の面子見ると、大御所が減って
「わかる奴だけ先いくよ」
的なメンバー集めたな気がするな。
0684１３２人目の素数さん2016/01/15(金) 13:11:11.74ID:1K8ZI2Ir
>677
違いますよ。

先、行き過ぎてIUTTによる
リーマン予想証明の可能性なんて講演あったら湧きますね。
0685１３２人目の素数さん2016/01/15(金) 14:10:17.80ID:U/oGVU3z
今さっき jin がツイートしていた Dimitrov の論文、IUT の主定理から effective な Faltings theorem を出せると主張しているぞ…。
Arithmetic elliptic curves in general position での abc 予想から Szpiro への帰着を背理法を使わずに証明可能らしい。ホンマかいな。
0686１３２人目の素数さん2016/01/15(金) 14:53:52.56ID:/cJ2ELvP
jinのストーカー乙
つかjinはどこからそんな論文見つけてくるんだ？
ところでその論文はIUTで回りくどいことせずに、簡単により強力な証明ができますよってことなの？
0687１３２人目の素数さん2016/01/15(金) 14:54:03.48ID:rd+nHcXh
Vesselin Dimitrov 2010年にハーバード卒業しているのにまだYaleでPh.D.取得してないのか？
さっさと卒業してRIMSに来ればいいのに。
0688１３２人目の素数さん2016/01/15(金) 15:18:44.30ID:0EHcsDHL
jinさんプレプリントまでチェックしてんのかｗ　
0689１３２人目の素数さん2016/01/15(金) 15:21:35.79ID:mdipdRhf
毎日のプレプリチェックは研究忙しい本業者より、
むしろミーハーな傍観者の方が適任だったり
0690１３２人目の素数さん2016/01/15(金) 15:45:01.56ID:lyeN+6CY
なんだ、理解者ドンドン増えてるじゃないか。
ダメだな。2chの玄人は
JINの方が役に立つ
0691１３２人目の素数さん2016/01/15(金) 15:55:41.11ID:rnUSxICr
jinはRIMSの関係者とばかり思ってたが、無職っぽいな。
0692１３２人目の素数さん2016/01/15(金) 16:12:45.66ID:xfH/l+dT
なんか、胸アツな展開になって来たなあ…

そのうちＮＨＫあたりの科学番組で特集やりそうだな。
0693１３２人目の素数さん2016/01/15(金) 20:19:17.28ID:3hEZ2/f/
和田や東山がスピーカーで本当に大丈夫なのか？彼らはちょうど一年前はハーツホーンとかEGAをやっていた修士課程のヒヨッコだぜ？本当にIUTTの講演をやれるのか？
0694１３２人目の素数さん2016/01/15(金) 20:54:27.03ID:/cJ2ELvP
>>693
そうなのか？
それが本当なら、モチーは本気で若手育成にシフトしてるな、老害の説得など諦めて。
0695１３２人目の素数さん2016/01/15(金) 21:04:36.46ID:mxhnjilU
もしかしてjinって日本一の金持ち数学者？
0696１３２人目の素数さん2016/01/15(金) 22:48:35.36ID:wCpxgkLb
jinさんが自分の数学の理解度の低さを棚に上げて、日本のマスコミの数学の理解度の
低さを嘆く姿は、とても滑稽である
0697１３２人目の素数さん2016/01/15(金) 23:57:50.45ID:E6wBcMpO
jinは数楽者
0698１３２人目の素数さん2016/01/16(土) 06:56:19.75ID:sboacW1M
何気にVesselin Dimitrovの論文、スゴくね？
誰か説明してみろや、スゲーってわかってんだろ？板張ってる数学者さんたちよぉ。
0699１３２人目の素数さん2016/01/16(土) 09:06:34.38ID:FYnx8QGf
Vesselin Dimitrov氏の論文は簡潔で読みやすい
0700１３２人目の素数さん2016/01/16(土) 09:09:18.77ID:4r9xz9R4
Assuming the proof is correct.

Dimitrovはこの間のオクスフォードでのやりとりを聞いて、
急遽、upしたんかな？

今度のサミットに参加する日本の若手はまじめに先生のいうとおり
半年間頑張ったんだろうな。
みんな、見習わないと…
0701１３２人目の素数さん2016/01/16(土) 10:51:50.70ID:frW+w7hb
dimitrovにabcの成果をとられたかも
0702１３２人目の素数さん2016/01/16(土) 15:43:05.94ID:xrTN171I
Dimitrovは、望月論文の正当性を前提にexplicitにabc予想を証明したってこと？
0703１３２人目の素数さん2016/01/16(土) 16:07:30.24ID:76NuRJH7
よくやる手だ
IUTは正しいを前提に既にリーマン研究始まっているかも
0704１３２人目の素数さん2016/01/16(土) 16:31:45.16ID:Gm3GtjKH
Dimitrovの論文の件、オックスフォード会議のスカイプでも望月さんはeffectiveでないと認めてたよね。それをDimitrovがeffectiveに導いたということは、望月さんも驚くべき事じゃないかな。
これ、もっと話題になっていいよ、Dimitrov凄すぎ！！！
0705１３２人目の素数さん2016/01/16(土) 16:37:58.20ID:dAhjw2La
effectiveってどういうこと？
0706１３２人目の素数さん2016/01/16(土) 17:59:46.08ID:UwTN/581
谷山志村予想からフェルマーの最終予想が導きかれるというゲルハルトの主張を思い出させる。
0707１３２人目の素数さん2016/01/16(土) 18:36:13.22ID:/GXsARzs
根本的にIUT 3, 4でのindeterminacyのせいで完全な
explicit formは無理なんで、単に背理法を使わない
構成的な別証明あたりに思っておいた方がよいかと。
0708１３２人目の素数さん2016/01/16(土) 21:44:09.32ID:FYnx8QGf
望月よ、真面目にやらんと海外勢に先を越されるで？
0709１３２人目の素数さん2016/01/16(土) 22:16:41.88ID:yVuoDPnb
未だにはっきりした心証が持てずにいる
こういうことってあるんだな
0710１３２人目の素数さん2016/01/16(土) 23:34:43.11ID:76NuRJH7
dimitrovは一番最初にもっちの論文の間違いを指摘したんだよな
それでテレンスタオがIUTは間違いのようだと言ったんだっけ

その後モッチが修正したので、dimitrovは指摘をあっさり取り下げた

今思えば、その頃からIUTに対してストーカーをしていて、かなり詳しい
気配がある
0711１３２人目の素数さん2016/01/17(日) 00:09:49.42ID:Mk29wPI6
ちょっと眺めてみたけど、Dimitrovの論文は普通の
数論的代数幾何してるから多くの人がよめるで
0712１３２人目の素数さん2016/01/17(日) 00:47:11.41ID:bF5klXXx
ＩＵＴ４の解析数論のところをちょこちょこといじられてもな。
最難関の２と３を理解して、ガリガリ改編するくらいの奴じゃないと
ＩＵＴを別の大物未解決問題に応用なんて期待できないだろう。
0713１３２人目の素数さん2016/01/17(日) 00:53:31.06ID:3IRtH5RQ
表現を組み込まないとリーマンとかは無理やで？
0714１３２人目の素数さん2016/01/17(日) 07:40:34.16ID:pWQrxkhw
天才が透けてんよ〜Dimitrov
0715１３２人目の素数さん2016/01/17(日) 09:55:53.67ID:ZZH5ni+j
正真正銘の天才　テレンス・タオが登壇するのも近いかも
若いし
0716１３２人目の素数さん2016/01/17(日) 10:59:33.61ID:QCp6pEOJ
Dimitrov が最初から頭一つ図抜けているように見えるのは
真剣に学ぼうとする姿勢の問題なのか、能力の問題なのかね。
これからはその両者の力積によって成果の差が出て来そう
現時点でも既に使い物にならない大家もいるようだし
0717１３２人目の素数さん2016/01/17(日) 11:00:42.35ID:ZZH5ni+j
dimitorovは2chの数学徒が指摘することぐらい十分知っているだろうから

さて、相手も十分知っていることを前提に、GOKUNどう戦略を展開する
0718１３２人目の素数さん2016/01/17(日) 11:02:49.92ID:GTyfRo1n
往々にして院生やポスドクの理解が早く、FelipeやConradなどの老害の理解が遅い、だけならまだしも文句ばかりたれてる。
この数論のコミュニティーの腐り具合といったら鼻が曲がっちまうほどだな。
0719１３２人目の素数さん2016/01/17(日) 11:37:42.92ID:ZZH5ni+j
dimitrovを読み解いた人、結論を教えてくれ
彼はeffectiveなabcを解決したのかどうか
0720１３２人目の素数さん2016/01/17(日) 14:25:36.08ID:/MyF+W+b
理解するのがやっとのレベルか
　
手足のように用い、ひらめく人
いないか？
0721１３２人目の素数さん2016/01/17(日) 14:49:38.29ID:7hNUWpCL
>>718
なにこれ
0722１３２人目の素数さん2016/01/17(日) 15:08:13.41ID:yU9k8Skk
workshop参加者なら、現時点の
彼らのレベルが読める
参加してない孤独の天才が多分
かなりいると見た。
0723１３２人目の素数さん2016/01/17(日) 16:43:28.87ID:gDQ3F6ft
dimitrovの論文、眉唾物なのでは？
ABC予想のeffectiveな証明があんなたった１２頁程度で
できるようならあのもっちーが気づかないはずがないと思うんだが。
0724１３２人目の素数さん2016/01/17(日) 16:47:05.29ID:mRUpg/HG
しかしこんだけIU幾何の周辺で色々動きがあれば、モチーも報告書出せないよねー。
ちょっと落ち着くまで期待薄かなー。
日本語だけならまだしも英語版も同時に掲載しなきゃならんしな。
0725１３２人目の素数さん2016/01/17(日) 17:21:32.53ID:ZZH5ni+j
ところで、モッチって英語で考えているのか？
それとも日本語？
0726１３２人目の素数さん2016/01/17(日) 17:52:49.59ID:tH92onA3
望月さんは英語余裕だろ
0727１３２人目の素数さん2016/01/17(日) 18:07:05.52ID:/u2XH2li
アイアムフルムーン！って自己紹介するの？
0728１３２人目の素数さん2016/01/17(日) 19:53:54.62ID:GKquz+yQ
>>715
>正真正銘の天才　テレンス・タオが登壇するのも近いかも

タオってそんなにすごくねーだろ。
フィールズ賞取ったって以外あまりパッとしない奴。

こいつの論文をチラ見した事あるけど
数学の高級な道具を殆ど使わないゴチャゴチャした感じだった。

コイツが世間でチヤホヤされてんのは単に早熟だったとか数オリだとか
非本質的な要素が大半だろ
0729１３２人目の素数さん2016/01/17(日) 20:08:21.87ID:rD+TdakY
教えてほしいんだけど、dimitrovの論文はabc予想の証明になってるの？
0730１３２人目の素数さん2016/01/17(日) 20:11:28.98ID:osAN84PW
ワイルズにとってのテイラーみたいなもんか
0731１３２人目の素数さん2016/01/17(日) 20:39:19.82ID:xjzPzJkb
テレンスタオは典型的なプロブレムソルバーやからな
0732１３２人目の素数さん2016/01/17(日) 20:58:58.27ID:xx4f5dn7
プロブレムソルバー批判する奴はリーマン予想解いてもそういうの？
0733１３２人目の素数さん2016/01/17(日) 21:23:14.74ID:ZZH5ni+j
スカイプでもっちがeffectiveでないといったのを聞いて、
「あっ気づいてない」とばかりに自分が既に気づいていたことを
発表したのかな。demitrovは。
0734１３２人目の素数さん2016/01/17(日) 22:04:22.18ID:xx4f5dn7
Dimitrovの論文についてのもっちーの公式コメントまだか。
0735１３２人目の素数さん2016/01/17(日) 22:53:27.04ID:7hNUWpCL
>>728
タオは、グロモフ距離という画期的概念が産まれたグロモフの論文の問題を、そんな大がかりな道具を使わなくても解けることを示した。
そういう種類の才能を軽視してはいけないと思う。
0736１３２人目の素数さん2016/01/17(日) 23:53:35.14ID:bF5klXXx
もっちーは遠アーベルの抽象化された議論ばっかりやりすぎて
IUTT4に出てくるような解析的数論はほとんどやっていなかった
わけだから、その部分ではぽっと出に先を行かれてもなんの
不思議もないだろ。
0737１３２人目の素数さん2016/01/18(月) 00:09:11.35ID:ZMyeqDh6
Thomas Scanlonってモデル理論の専門家（バークレーの教授）が7月のトーク内定らしいぞ。
IUT論文の一番最後の部分の担当者か。
バークレーから教授クラス三人来日。
0738１３２人目の素数さん2016/01/18(月) 01:53:32.64ID:+MPGZn/5
（モーデルでボツボツあるのは聞いたことあるけど）
モデル理論が本格的に数学と連動する事なんて将来あるのかな。
あったらなんか怖いｗ
0739１３２人目の素数さん2016/01/18(月) 02:07:33.68ID:Xw76DDQh
すでにモデル理論は数論幾何などに応用されてたりしてるんだが。
http://www.ams.org/journals/jams/1996-9-03/S0894-0347-96-00202-0/S0894-0347-96-00202-0.pdf
0740１３２人目の素数さん2016/01/18(月) 02:43:42.79ID:+MPGZn/5
>>739
一行目が読めない馬鹿か。
だからわざわざ面倒くさいが一行目を書いておいたのに。
0741１３２人目の素数さん2016/01/18(月) 04:04:00.72ID:5V4pmPRR
いつの時代の方ですか？
0742１３２人目の素数さん2016/01/18(月) 07:52:50.53ID:oUw7/G/q
もしこの証明が正しいとすると、もっちーはうれしい限りだろうが
Goなんかは出し抜かれて悔しいだろうなｗ
0743１３２人目の素数さん2016/01/18(月) 08:44:55.07ID:3FaJjBiG
Goはもうだめだな。
500ページの原論文を半分に圧縮しすごいとモチーにいわしめながら、ダラダラ三年。もしかしたら1000ページになるかもなど言い訳も言い始め、Dimitrovには出し抜かれ、散々だなGo。
0744１３２人目の素数さん2016/01/18(月) 08:50:42.11ID:BBPxEPTV
グダグダやってるからこうなる
0745１３２人目の素数さん2016/01/18(月) 10:28:27.72ID:sFCFQmy3
IUTは公開された
それを疑って停まっている人もいれば、
それを信じ、どんどん先に進む人もいる
0746１３２人目の素数さん2016/01/18(月) 11:37:33.98ID:8FL1t++g
でおまいらはIUT使いこなしてるの？
0747１３２人目の素数さん2016/01/18(月) 11:53:08.13ID:iRPEhJMq
７月のIUT Summit, RIMS workshopにはDimitrovを特別ゲストとして招待して、Dimitrov論文について講演させたら良い。
大いに盛り上がるはず。
0748１３２人目の素数さん2016/01/18(月) 11:57:22.60ID:ZHoNtWeP
その前に、強いバージョンの証明本当に正しいのか？
0749１３２人目の素数さん2016/01/18(月) 11:58:31.08ID:BBPxEPTV
GOは袴なんか着てる場合やないで
0750１３２人目の素数さん2016/01/18(月) 17:52:40.59ID:l5fKI098
タオって天才だとは思う。
典型的なプロブレムソルバーで、その点では超一流だろ。
なんか、数オリの延長線上で数学やってもこれくらいはなれるという
良い見本というかｗ
0751１３２人目の素数さん2016/01/18(月) 18:28:05.23ID:suQjYWPK
>>728

まあ、数論でそれなりの実績をあげている時点で
というより数論やってる時点ですごいと思うんだよね

このスレハードルたけーな。まあ、あたりまえか
■ このスレッドは過去ログ倉庫に格納されています