トップページ⇒math
1001コメント304KB

Inter-universal geometry と ABC予想　５

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2014/10/02(木) 21:55:44.05
みんな仲良く「専門的会話」のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ
Inter-universal geometry と ABC予想　４
http://wc2014.2ch.net/test/read.cgi/math/1407655369/
0002１３２人目の素数さん2014/10/02(木) 22:19:50.01
乙BC予想
0003１３２人目の素数さん2014/10/02(木) 22:28:52.25
乙カレー予想
0004１３２人目の素数さん2014/10/02(木) 22:29:05.80
ABC conjecture - Polymath1Wiki - Michael Nielsen
http://michaelnielsen.org/polymath1/index.php?title=ABC_conjecture
0005１３２人目の素数さん2014/10/02(木) 23:02:44.50
>>1
乙
0006１３２人目の素数さん2014/10/02(木) 23:22:04.58
信じられるものは数と不等式だけだなんて言わないよ絶対〜
0007１３２人目の素数さん2014/10/03(金) 03:17:32.46
気がついたら日本人が一番IU幾何に疎くなってました、とかあり得るかもなw
0008１３２人目の素数さん2014/10/03(金) 11:41:46.01
D加群だって、今はフランスの方が盛んなんじゃないの？
導来軒が退職した今、日本の若手はほとんどやってない

もっちーが退職になったころ、IU幾何やってる日本人は退職前の
老人ばかりで、主流は外国になっててもなんの不思議もないよ
0009１３２人目の素数さん2014/10/04(土) 14:37:03.23
モチーが本気でリーマン予想の証明に着手したってマジか
0010１３２人目の素数さん2014/10/04(土) 15:53:07.14
>>9
マジですか？
IU幾何を使って？
0011１３２人目の素数さん2014/10/04(土) 18:16:08.59
>>10
ああ
abc予想関連やリーマン予想関連の専門家を呼んで本格的に議論するらしいと風の噂に聞いた
0012１３２人目の素数さん2014/10/04(土) 18:52:16.73
IU幾何を使ってモチーより先にリーマン予想を証明したら
ドリーニュになれるぞい
0013１３２人目の素数さん2014/10/04(土) 19:20:24.84
>>11
オラ、ワクワクしてきたぜ
0014１３２人目の素数さん2014/10/04(土) 22:34:40.93
>>8
>もっちーが退職になったころ、IU幾何やってる日本人は退職前の老人ばかり

今の日本の無関心っぷりを見てると
「IU幾何やってる日本人」とやらが一時的にでも沢山現れるかどうか
0015１３２人目の素数さん2014/10/04(土) 22:36:23.22
>abc予想関連やリーマン予想関連の専門家を呼んで本格的に議論するらしいと風の噂に聞いた

この一文だけでデタラメだってわかるからな、お前が数学なんかとは無縁な人間ということも。
0016１３２人目の素数さん2014/10/04(土) 22:43:07.18
>>14
D加群やってた日本人だって、両手持ってきたら余りそうだがｗ
IU幾何なら片手で余るかもｗ
0017１３２人目の素数さん2014/10/04(土) 23:59:50.59
2015年3月：山下剛氏による九大での連続講演会（第2回目）
2015年8月：山下剛氏による九大での連続講演会（第3回目）

2016年2月：山下剛氏によるサーベイが公開される

2017年6月：望月新一氏のIUTeich理論の連続論文の査読が完了
2017年7月：山下剛氏、IUTeich理論を使いリーマン予想解決

2018年8月：山下剛氏、リーマン予想を解決した業績によりフィールズ賞受賞

2020年1月：フランスの新進気鋭の若手数学者がIUTeich理論を使いグロタンディークのスタンダード予想を解決

2021年3月：望月新一氏、望月予想を提唱

↑今後こんな感じになる
0018１３２人目の素数さん2014/10/05(日) 00:18:37.32
>>15
その言葉おぼえとけ
来年度前半にはこれが真かどうか答えが出るからな
0019１３２人目の素数さん2014/10/05(日) 00:20:29.54
なんかかっけー
0020１３２人目の素数さん2014/10/05(日) 00:22:53.05
>>17
連続講演会第３回はもすこし早くなる
サーベイも

でもリーマン予想解決はそう簡単にいかんだろ
そもそもその時点でもIU幾何の理解者が絶対的に少ないはず
0021１３２人目の素数さん2014/10/05(日) 00:36:31.71
ICMで招待講演の経験の無いものがフィールズ賞もらおうとすると
リーマン予想解くか、それと同等みたいな仕事になるからのぉ

年齢制限あるから厳しいけど、これまでオリジナルワークの少ない人が
いきなり大きな仕事がどこまでできるかのぉ
0022１３２人目の素数さん2014/10/05(日) 00:48:49.77
>>17
テョンじゃあるまいしそんな誇大妄想するな
0023１３２人目の素数さん2014/10/05(日) 00:56:09.95
記念碑を準備したらフラグが立つな
0024１３２人目の素数さん2014/10/05(日) 01:00:22.99
数論幾何のほぼ全ての分野を研究してる山下剛とかいうウルトラ優秀な若手ｗ
http://www.kurims.kyoto-u.ac.jp/ja/list/yamashita.html
0025１３２人目の素数さん2014/10/05(日) 01:26:39.48
リーマン示す次元まで来るとフィールズ賞なんてどうでも良いだろ。
0026１３２人目の素数さん2014/10/05(日) 02:01:59.08
もう今年のフィールズ賞受賞者が誰だったか、
何の業績で貰ったのかさえ忘れた。
毎回、受賞者の影が薄くなっている気がする。
同僚に聞いてもさあ？の一言。
0027１３２人目の素数さん2014/10/05(日) 02:09:50.80
イケ面のおねえさん以外すっかり忘れた
0028１３２人目の素数さん2014/10/05(日) 02:12:52.45
>>26
バルガヴァは凄いでしょ
0029１３２人目の素数さん2014/10/05(日) 02:40:13.41
たぶん四人ともそれぞれの分野ではすごい研究者なんだと思うけどね
0030１３２人目の素数さん2014/10/05(日) 02:53:58.62
フィールズの影が薄いとか言って奴は
興味が無いだけ。
上にも出てるバルガヴァは凄い。
と言っても、何がすごいのかは実は俺も知らん。
0031１３２人目の素数さん2014/10/05(日) 03:03:57.55
>>上にも出てるバルガヴァは凄い。
と言っても、何がすごいのかは実は俺も知らん。


正直ですね。わからないのにすごいと断言するのもすごいw
0032１３２人目の素数さん2014/10/05(日) 03:33:04.68
Introductory remarks on Mochizuki's works on absolute anabelian geometry and inter-universal Teichmuller theory
Chung Pang Mok (Purdue)
https://www.math.duke.edu/mcal?listgroup-29

前スレでも話題になったこのＩＵＴＴについてセミナーするMokという男、
調べてみるとハーバードでPh.Dを取って、いまPurdueの准教授で、J Number Theory
やCompositio Mathematicaなどに単著論文出していたりと、どうも相当やる奴の
ような気配。（少なくともこのスレのメンバーよりは。）
0033１３２人目の素数さん2014/10/05(日) 03:35:01.59
フィールズ賞をもらったドリンフェルトは天才だと思う。
ドリンフェルト加群、量子群、対称空間のp進一意化、
ソリトン、Chiral代数など等
下のサイトを見ろと彼の父親が出てくる。
確かに親子ともよく似ている。

http://www.mathsociety.kiev.ua/Drinfeld_G.html
0034１３２人目の素数さん2014/10/05(日) 06:07:09.76
>>32
Chungは朝鮮に多い名字だが、中国系のようだな。
ペレルマンの業績奪おうとした中国系の数学者でも
研究者がいなくて全然普及できないIU幾何からすると宣教師として今は貴重な存在か。
0035１３２人目の素数さん2014/10/05(日) 07:29:45.55
まとめると現状こうか？

初の外国人研究者（パデュー大学のMok）の宇宙際理論に関するセミナーが11月に開催

宇宙際理論の第一の理解者、山下剛は来年3月と6月？にQ大で連続講演会ののちほどなくサーベイを発表、投稿

そしてモチー御大はabc予想とリーマン予想の専門家で宇宙際理論の理解者のある研究者と、来年共同研究を計画中

査読はどうなっとんか知らん
RIMSの玉川とか星とかは何やってんの？
0036１３２人目の素数さん2014/10/05(日) 09:04:42.43
そのリーマン予想の専門家って日本人だと黒川氏だろうけど、海外の専門家も呼ぶ予定なの？
そうでなくてもIU幾何は内輪だけで進行してると言われてるのに、外人も呼ばないとあんまり意味なさそうだけど
0037１３２人目の素数さん2014/10/05(日) 09:55:39.39
俺は門外漢だけど、リーマン予想は、F1スキームとか、コンヌという人がやってる非可換幾何学とかいう切り口や
三角関数や因数分解からの切り口もありそうだっていうから、IU幾何がそういうものと接続していると思うのが普通なんかな
0038１３２人目の素数さん2014/10/05(日) 10:06:08.45
三角関数や因数分解からの切り口って大雑把過ぎて何言いたいのか分からんが
IUTT自体関数論的な理論とのアナロジーを求めて作られているんじゃなかったっけ
0039１３２人目の素数さん2014/10/05(日) 10:07:31.95
＞そうでなくてもIU幾何は内輪だけで進行してると言われてる

たいがいの新しい分野はそういうものですよ。
やってる人たちが、必要もない外人を呼ぶことはない
部外者がそれが嫌なら、論文読んで外から参入すればいい
0040１３２人目の素数さん2014/10/05(日) 10:10:11.08
内輪だけってのは、研究集会でちゃんとした質問とかしても
「部外者の方ですか？それはちょっと……」
とか言われてまともに取り合って貰えないこととかを言ってるんじゃないの？
0041１３２人目の素数さん2014/10/05(日) 10:15:03.80
次元は全然違うけど、自分の専門分野に素人さんが訪ねてきてもそりゃちょっと、ってなるよ

その人のことバカにしてるとか、お高くとまってるって話とは全然別だと思うけど
0042１３２人目の素数さん2014/10/05(日) 10:17:50.82
だから「ちゃんとした質問」って書いてるじゃまいか
そりゃ教科書や既刊の論文に書いてるような事聞いても
〜〜を参照してください、以上、で終わりだよ
0043１３２人目の素数さん2014/10/05(日) 10:43:17.08
>>40 みたいなことって、私の周囲（数学だが数論幾何ではない）の
研究会では、一度も見たことがないな
0044１３２人目の素数さん2014/10/05(日) 11:02:17.35
サーベイというぬるいことをしていると、せっかくの膨大な思い付きが忘れそうになるくらい、
張りつめているとか？
0045１３２人目の素数さん2014/10/05(日) 11:04:42.36
山下はサーベイが昔から得意で逆にオリジナル論文は少ない、
いわゆる秀才()だが、もっちー本人はそんなことなんじゃないの？

また、500ページ級の論文を準備していそうな気がする…
0046１３２人目の素数さん2014/10/05(日) 11:09:03.40
望月さんというのは
まるで未来の数学が
見えているかのような
不思議な頭脳だ。
0047１３２人目の素数さん2014/10/05(日) 11:10:41.17
新しい革新的な理論が生まれると必ず、ブルバキセミナーでその理論の創始者
またはその理論の理解者の誰かがその理論を紹介する講演が行われていますが、
ブルバキセミナーでIUTeich理論の講演が行われるのはいつになるのでしょうか？
http://www.bourbaki.ens.fr/
0048１３２人目の素数さん2014/10/05(日) 11:18:28.63
>>42
そっかすまん。
ひとつ気になるのは、あるレベル以上の力をもった人になれば、少なくとも自分の発する質問が、いい質問か悪い質問かはわかるものなの？
ちゃんとした質問、っていうのが実はちっともちゃんとしてないってこともあるんかな、と思って。
0049１３２人目の素数さん2014/10/05(日) 11:59:16.06
グロタンディークは詰まらない質問ばかりしているうちに大理論を構築してくる。
0050１３２人目の素数さん2014/10/05(日) 12:30:25.65
普通は、つまらない質問されても、よほど粘着されなければ答える。
「つまらない質問をして結果を出す人」もいれば、学会などでいつも
くだらない質問ばかりする有名人ｗ（元教授らしいね、あの人）もいる

>>40は自分がそういう経験をしたのか、脳内研究会を妄想してるのか
はっきりしないなｗ
0051１３２人目の素数さん2014/10/05(日) 12:36:46.37
秀才ですらない人間が秀才()などと言ってるのかと思うと滑稽
0052１３２人目の素数さん2014/10/05(日) 13:05:57.16
（Gokun、このスレ気になるんだろうけど、はやくサーベイ書いた方がいいよ）
0053１３２人目の素数さん2014/10/05(日) 14:08:58.44
IUTTってグロタンの方向の数学？それを超える勢いの人って他に誰がいるのかなあ
wikiでマキシム・コンツェビッチって人のを見ると何か凄そうと思うけど、やっぱ凄いんだろうな
0054１３２人目の素数さん2014/10/05(日) 14:33:06.69
>>18
お前ホントバカだな
もっと絞ると
>abc予想関連やリーマン予想関連の専門家
0055１３２人目の素数さん2014/10/05(日) 14:39:12.39
グロタンの後継者はルーリー、日本だと竹内外史、清水義夫 だと思う
むしろグロタンの研究って基礎論系に受け継がれてるんだよ
0056182014/10/05(日) 14:40:59.17
>>54
数論関連の専門家ってことだけど何かおかしなところあるか？
弟子に講演をさせて当人がリーマン予想に着手したって関係者から聞いた。
0057１３２人目の素数さん2014/10/05(日) 14:46:31.57
>>55
サンクス
0058１３２人目の素数さん2014/10/05(日) 14:48:27.62
関係者って誰やねんイニシャルとか研究分野くらい晒しなハレ
0059１３２人目の素数さん2014/10/05(日) 14:49:11.17
>>56
gokunも講演、普及担当に見えるけど、本人も公言しているように、宇宙際メリン変換の構築の先にリーマン予想の解決を見据えている
0060１３２人目の素数さん2014/10/05(日) 14:55:57.86
ホントにここって、数論幾何の関係者いないんだなw
0061１３２人目の素数さん2014/10/05(日) 15:07:33.22
>>57
もーちょいググりやすくすると
グロタンが目指したものの一つにカテゴリーによる数学および形式体系のシステム化ってのがあって
そのカテゴリーの中にトポスってのがある、
これらは基礎論系の人がキャッチしてる
もっちーら数論幾何の人もグロタンの結果使ってんだけど
グロタンが最終的にめざしてた方向とはスこち違う
とりあえず清水さんの圏論の論理学をAmazonでポチるとよい！

ここら辺にもトポスでてる
https://sites.google.com/site/kota3takeuchi/announcement/category_seminar_3/sato

あとこーゆー人もいる
https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%AA%E3%82%A2%E3%83%A0%E3%83%BB%E3%83%AD%E3%83%BC%E3%83%B4%E3%82%A7%E3%82%A2

素人のブログとか
http://d.hatena.ne.jp/m-hiyama/20130426/1366947189

トポスに詳しいひとのTwitter
http://twilog.org/ym_duality/search?word=%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF&;ao=a
0062１３２人目の素数さん2014/10/05(日) 15:28:42.02
>>60
>ホントにここって、数論幾何の関係者いないんだなw

ニュースで知ったミーハーが押しかけるのはまだ許せるとして、
そいつらが何故だか、学歴がどうだのタダ自分自身に言い聞かせたいだけの
底の浅いオナニー主張を、ドヤ顔で書き散らしまくるから、
スレの質が落ちて、中の人があまり寄りつかなくなった。

そんなのvipでやりゃいいのに、なぜわざわざ此処でオナりたいのか意味不明。
0063１３２人目の素数さん2014/10/05(日) 15:31:09.78
頼むから今後学歴話やIUに関係ないクソみたいな雑談はこのスレに書かないようにしてくれ！
0064１３２人目の素数さん2014/10/05(日) 15:35:14.35
>>17みたいなポエムならいいんですかｗ
0065１３２人目の素数さん2014/10/05(日) 15:40:17.62
>>55
>グロタンの後継者はルーリー、日本だと竹内外史、清水義夫 だと思う
>むしろグロタンの研究って基礎論系に受け継がれてるんだよ

無関係じゃないだろうけど、後継者が基礎論屋ってのは噛ませ過ぎ。
あんた自身が基礎論屋なんだろうが、手前味噌もほどほどにという感じ。

>>61
>グロタンが目指したものの一つにカテゴリーによる
>数学および形式体系のシステム化ってのがあって
>これらは基礎論系の人がキャッチしてる

構造主義的な事を言いたいんだろうけど、
少し言葉尻をあげつらいになってしまうが、【数学】は形式主義的に
還元できないからこそ無尽蔵に豊かなのだ、
というのはヒルベルトの偉大なる誤解で明らかになったと思うんだが。

それに、構造主義的な思想哲学を基礎論屋が受け継いでるなんてのも
噛ませすぎ。モーデル予想などごくごく一部に、
純粋数学の実質が基礎論とリンクしたのは面白い現象だけど、
だからと言って特に幹線道路が出来た訳でもない。スレチ過ぎ。
0066１３２人目の素数さん2014/10/05(日) 15:45:52.86
数学基礎論≠数学
数理論理学≠数学

一部に数学科に籍を置く人もいるが
殆どが情報学科の人
0067１３２人目の素数さん2014/10/05(日) 15:58:06.14
日本人が全員ゴミすぎて
0068１３２人目の素数さん2014/10/05(日) 16:17:14.91
>>65
ただ、トポスもフォーシングもヒルベルトの業績の中に萌芽があるという意味ではそんなにおかしくないんだよ。
超準解析が推論のツールであるという意味で、グロタンディークの理論も推論のツールとして捉えて良いんじゃないの？
0069１３２人目の素数さん2014/10/05(日) 18:00:19.85
ttp://www.cambridge.org/us/academic/subjects/mathematics/number-theory/riemann-hypothesis-function-fields-frobenius-flow-and-shift-operators
0070１３２人目の素数さん2014/10/05(日) 19:00:37.00
>清水義夫
この人はよくお勉強してまあまあ纏まった教科書は書いてるかもしれないが
オリジナルな業績はほとんど無い気がするが。
そういう人がどうしてグロタンディークの後継者になるの？
0071１３２人目の素数さん2014/10/05(日) 19:01:43.25
>トポスもフォーシングもヒルベルトの業績の中に萌芽がある
本当？
ヘルマンダーの仕事は解析学だから
その萌芽はニュートンとライブニッツにある、というくらい遠いような
0072１３２人目の素数さん2014/10/05(日) 19:06:28.94
>>71
強制法の方はかなり直接的。
0073１３２人目の素数さん2014/10/05(日) 19:06:52.37
萌芽なんて殆どの数学は
ユークリッドに…
0074１３２人目の素数さん2014/10/05(日) 19:08:25.55
私は強制法はきちんと理解している自信があるが
ヒルベルトとどういう関係があると言っているのかさっぱり分からない

名称とかの定義がヒルベルトの一階述語論理と関係あるとかそのレベルの話？
0075１３２人目の素数さん2014/10/05(日) 19:56:21.12
数論幾何がわからないからって数学史に逃げるスレ
カコワル
0076１３２人目の素数さん2014/10/05(日) 20:12:08.21
頼むから今後数学史話とかIUに関係ないクソみたいな雑談はこのスレに書かないようにしてくれ！　ｷﾘｯ！
0077１３２人目の素数さん2014/10/05(日) 20:34:20.92
つかモッチーの基礎論まちがってんしょ？
・保存拡大になってない
・宇宙をとりかえても意味ない

この部分
0078１３２人目の素数さん2014/10/05(日) 20:37:25.41
ほれ
http://uni.2ch.net/test/read.cgi/math/1348851752/30-69
0079１３２人目の素数さん2014/10/05(日) 20:48:37.60
その部分は最近見たらもう綺麗さっぱり直されてたよ
0080１３２人目の素数さん2014/10/05(日) 20:57:13.32
>>65
基礎論屋とか専門家などではなく、そいつは単なる分析哲学ワナビーだろ…
0081１３２人目の素数さん2014/10/05(日) 21:17:33.19
>>66が基礎論か数学のどちらかを分かってないことは分かったw
0082１３２人目の素数さん2014/10/05(日) 21:26:26.39
もう、基礎論も、数学史もいいから・・・

もっちーが間違ってた部分が直ってるand本論に関係ないことが
自分で理解できない程度の数哲評論家なら黙っててくれ
0083１３２人目の素数さん2014/10/05(日) 21:45:56.21
数学クソ論
0084１３２人目の素数さん2014/10/05(日) 21:49:00.39
基礎論馬鹿は、手に負えないよ
0085１３２人目の素数さん2014/10/05(日) 21:59:00.74
までもそうやってIU幾何がよりブラッシュアップされて行けばいんでないの。
0086１３２人目の素数さん2014/10/05(日) 22:07:41.14
論文の構成としては、全般的にあれこれの伏線に寄り道しながらうねうねと進む感じなの？

もしそうなら最終的な教科書はもっとソリッドに薄くできるのかもね
0087１３２人目の素数さん2014/10/05(日) 22:30:22.52
もう、幾何も、解析も代数もいいから・・・
もっちーが間違ってた部分が直ってるand本論に関係ないことが
自分で理解できない程度の数学評論家なら黙っててくれ
0088１３２人目の素数さん2014/10/05(日) 22:31:00.31
広中の電話帳だって、今ではかなり薄くできるが、まだサーベイも
できてないのに、教科書が出るのに何年かかると思ってるんだｗ
そういうのが出てこないうちがチャンスなのに
0089１３２人目の素数さん2014/10/05(日) 22:44:28.82
お前らには関係ないことだ
0090１３２人目の素数さん2014/10/05(日) 22:47:38.60
学者ですらない人が数学クソ論とか言ってると思うと滑稽
0091１３２人目の素数さん2014/10/05(日) 22:53:01.88
数理論理学は馬鹿にしないが、日本で数理論理学をやっていると自称する
グループの中には、どうしようもない閉鎖的ガラパゴスが存在する
0092１３２人目の素数さん2014/10/05(日) 23:37:18.88
もしかして林っちとか？
もへぇ〜〜〜〜〜〜〜〜〜〜〜〜〜〜っ！！
今基礎論きまっくてんよふぁいっひぃいい
0093１３２人目の素数さん2014/10/06(月) 00:47:46.74
なにきめたんだ
0094１３２人目の素数さん2014/10/06(月) 00:52:35.15
>数論関連の専門家ってことだけど何かおかしなところあるか？
>弟子に講演をさせて当人がリーマン予想に着手したって関係者から聞いた。

これマジ？ 胸が熱くなるな...
ちなみにその関係者とは？
0095１３２人目の素数さん2014/10/06(月) 01:07:59.17
king
0096１３２人目の素数さん2014/10/06(月) 01:08:32.66
あの数論幾何の大家ファルティングスが匙をなげた
しかし日本の若手の中からポツポツと理解者が現れている
日本の数学界の未来は明るいとみてよい？
0097１３２人目の素数さん2014/10/06(月) 01:16:29.58
Faltingsももうじじいだからな
余生を穏やかに生きてるのだよ
0098１３２人目の素数さん2014/10/06(月) 01:19:27.39
少なくとも数論幾何に限れば優秀な若手が多いように見えるな。
数論以外の分野の研究をやらせてみても普通に良い実績を出しそうなヤツがゴロゴロいそう。
0099１３２人目の素数さん2014/10/06(月) 01:29:58.97
ただ基礎論が弱いね
学部でやらんしね
0100１３２人目の素数さん2014/10/06(月) 02:01:57.86
望月がリーマン予想を解決したとのアナウンスがあったら
世界の数学界に何が起るの？　
また、その次のターゲットになりそうな大きい数学上の未解決問題は何が考えられそう??
0101１３２人目の素数さん2014/10/06(月) 02:04:47.83
リーマン予想が解かれてもラングランズ予想やスタンダード予想がまだある
■ このスレッドは過去ログ倉庫に格納されています