[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
367: 2020/03/20(金)20:48 ID:6dj/840T(1) AAS
>>354
その文章はガロアスレの主が書いてます
368(1): 2020/03/20(金)20:57 ID:LujqVKPB(7/7) AAS
>>366
よく知らないんだろ
369(1): 2020/03/20(金)21:52 ID:76pmu9tc(6/13) AAS
>>368
よくは知らないがそういうことだろ
一切反論していないあんたの主張には説得性がない
370(1): 2020/03/20(金)22:21 ID:jqWJxlSK(1) AAS
>>369
よくは知らないがそういうことだろ
予言ですかね、
371(1): 2020/03/20(金)22:33 ID:K1gi6rTR(2/2) AAS
>>361
昔ほど◯◯予想というのが出てこないかもな
372(1): 2020/03/20(金)22:43 ID:hwwUilom(1/6) AAS
そういう論文がありうるとすれば、粗い話をしているかどうかだろう
勿論ミラー対称性やラングランズ予想、モチーフもそれなりに粗いが、ミラー対称性は物理、
ラングランズ予想は経験則でゲルファントが気付いていたからそれなりのデータはあった
グロタンディークはどちらかといえば証明より構造や概念を直接考えることを重視していただろうね
これは今の数学では難しいスタイルだが、個人的には工夫して具体性のないアイデアも
たまに発表できるようにしてる
373: 2020/03/20(金)22:49 ID:76pmu9tc(7/13) AAS
>>370
>よくは知らないがそういうことだろ
>予言ですかね、
「100％絶対に正しい」とは俺は言ってない
「100％絶対に正しい」とは言えない範囲で
根拠を述べる行為を予言と呼ぶなら、予言の何が悪い？
俺・・・よく知らない範囲で考えうる範囲で
省4
374(1): 2020/03/20(金)22:49 ID:hwwUilom(2/6) AAS
要は上のようなグロタンディークのスタイルばかりだと実績に繋がらない危険があるんだよな
グロタンディークは成功していたから厳密でない文書にも他人が関心を持ったわけだが
だから手堅い理論も持っておかないとやっていけない
Dupuyには指導教官が開発したそういう分野があって余裕があるからIUTに手を出せたってのもある
375: 2020/03/20(金)22:51 ID:76pmu9tc(8/13) AAS
>>371
>昔ほど◯◯予想というのが出てこないかもな
そういうことじゃない
数学は問題を解く学問ではない
376(2): 2020/03/20(金)22:52 ID:76pmu9tc(9/13) AAS
>>372
>そういう論文がありうるとすれば、粗い話をしているかどうかだろう
粗いとかじゃなくて
非常に煩雑な結果を伴う例外的な論文は細部まで丁寧に書いてられない
377: 2020/03/20(金)22:55 ID:76pmu9tc(10/13) AAS
>>374
>要は上のようなグロタンディークのスタイルばかりだと実績に繋がらない危険があるんだよな
>グロタンディークは成功していたから厳密でない文書にも他人が関心を持ったわけだが
グロタンディークは圧倒的な有意な威力をまざまざと見せつけたから
他人が関しを持ち成功もしたんだろ
378: 2020/03/20(金)22:57 ID:76pmu9tc(11/13) AAS
おまえら厨房はドヤりに来るな
書き込むなとは言わん
幼稚な考えをドヤろうとすんな
わきまえることを知れ
ドヤりたいだけなら受験板でやってろ
379(1): 2020/03/20(金)22:58 ID:eJCAzIz7(1) AAS
グロタンディークが直観を重視してたとか冗談もいいとこだろ
380(2): 2020/03/20(金)22:59 ID:hwwUilom(3/6) AAS
>>376
いやそれはサーベイの話じゃん
確信できない仮説的で思想的な理論の話をしてるんだよ
381: 2020/03/20(金)23:00 ID:76pmu9tc(12/13) AAS
>>380
>いやそれはサーベイの話じゃん
だから例外的に著しく煩雑な結果を伴う論文は
得てして細部がサーベイになる
382(2): 2020/03/20(金)23:03 ID:76pmu9tc(13/13) AAS
>>380
>確信できない仮説的で思想的な理論の話をしてるんだよ
論文になるためには「特別なケースでは言える」とか
何らかの多少の確かなものは要る
んでそもそも論は
数学は問題を解く学問じゃないから
難問自体は解けなくても解けてもどっちでもいい
383: 2020/03/20(金)23:08 ID:n+Bndfd9(1) AAS
ワニが死んだよ
みんなも死を意識して落ち着こう
１日１日大事なんだよ
384(1): 2020/03/20(金)23:12 ID:hwwUilom(4/6) AAS
>>379
無知すぎる。じゃあ何だと？
385: 2020/03/20(金)23:18 ID:hwwUilom(5/6) AAS
>>382
それは当たり前。当たり前すぎる
で、>>376だが完全な証明に遠いアイデアは粗いとしか言い様がないの。予想にも色々レベルがある
提案時点のモチーフなんかほとんど予想のうちに入らない。哲学に近い
意見するのはいいが無駄に偉そうにドヤるのはやめてくれ
386(1): 2020/03/20(金)23:21 ID:hwwUilom(6/6) AAS
>>382への同意は前半の話ね
難問が解けるかどうかと正しく深く有用かどうかは連動するから無関係な訳がない
例えばIUTはディオファントス幾何学には今のところインパクトを与えてない
それもタオらが苦言を呈してる理由だったろ
387: 2020/03/21(土)00:04 ID:xg3an1xD(1) AAS
>>384
元ブルバキメンバーで構成主義もある程度理解してただろうしな
グロタンディーク宇宙を用いて真のクラスを回避しようとするくらい厳密な証明にこだわっていたし、
有名な話かは分からないがグロタンディークは「自慢の理論(トポス)を使ってくれるのはlogicianだけだ」と論理に寄り添ったことも言っていた
388: 2020/03/21(土)00:04 ID:nhMdNRoF(1/2) AAS
同じ場の量子論でも素粒子では
ローレンツ対称性(ポアンカレ対称性)が
要求され物性では一般的に要求されない。以下略
389: 2020/03/21(土)02:11 ID:WFJnyoPN(1) AAS
フィリピン人Hiladoに負けたドイツ人Scholze
390: 2020/03/21(土)03:32 ID:jQOr4WBa(1) AAS
IUTは天気予報を改善する可能性がある！
I いんちき .
U うそ
T tウィルスに冒された
391(2): 2020/03/21(土)07:21 ID:CaXnw1Xy(1) AAS
外部ﾘﾝｸ:www.math.arizona.edu
講演アブストを読めば分かるけど（別のスライドにはもっと詳しく書いてある）、
DupuyはIUTの「証明」が成立しているとは考えてないよ（成立していないとも言っていない）。
IUTの「主定理」を通常の数学者に分かるよう翻訳して、
その応用への道を示したというのがDH論文の主内容だけど、
出版したければPRIMSに投稿するよりほかにないんじゃないか。
392(1): 2020/03/21(土)11:52 ID:gPebnXHG(1/8) AAS
DupuyはIUTの「証明」が成立していると書いていないが、考えてはいるでしょ
そうでないと、話があわない
あと、DHは、Dupuy、Hiladoだと思うが
Hilado氏は、博士課程で Ph.D. Mathematics at the University of Vermont
IUTは、彼の博士論文ネタじゃないかな
（参考）
Twitterﾘﾝｸ:anton_hilado
省5
393(1): 2020/03/21(土)12:58 ID:gPebnXHG(2/8) AAS
>>391
それ、一番上の”Fall 2019, University of Arizona How to work with Mochizuki's Inequality”ですよね
（参考）
外部ﾘﾝｸ[html]:www.uvm.edu
[ Taylor Dupuy's Homepage]
tdupuy at uvm dot edu
[ talks ]
省8
394(1): 2020/03/21(土)17:47 ID:1NqH+CFF(1) AAS
>>392
>そうでないと、話があわない
↑
理由を書いてないので失格
395(1): 2020/03/21(土)18:42 ID:gPebnXHG(3/8) AAS
>>394
リーマン予想を例に説明する
ご存知 リーマン予想 は、未解決の問題ではあるが、成立するとして、研究している人が多数（そういう意味ではABCと同じ）
「リーマン予想が成立すると仮定して うんぬん」という論文も多い
それらの著者は、多くは ”リーマン予想”成立を信じているのでしょう
たいていは、これ
例えば、”深リーマン予想”（小山）も似たようなもので、”深リーマン予想”→リーマン予想成立という主張だ
省13
396(1): 2020/03/21(土)18:44 ID:gPebnXHG(4/8) AAS
>>395 補足
Dupuy先生は、前者で
IUTが成立するとして、それを平易に言い換えるとうんぬん というPDFでしょ
397: 2020/03/21(土)19:39 ID:1jYsD1e4(1) AAS
>>391は笑える
Dupuyは
IUTの「証明」が成立しているとは考えてないよ
成立していないとも言っていない
この言い換えね。典型的な詭弁
考えていない
言っていない
398(1): 2020/03/21(土)20:03 ID:hVYoyaNb(1/3) AAS
>>396
パラダイムの異なるIUT語で書かれた
IUT論文を平易に言い換えることは
可能なの？
399: 2020/03/21(土)20:14 ID:gPebnXHG(5/8) AAS
>>398
>IUT論文を平易に言い換えることは
>可能なの？
さあ？
Taylor Dupuy's Homepage 下記に
こんなのがあるよ
直接聞いてみて
省12
400: 2020/03/21(土)20:39 ID:hVYoyaNb(2/3) AAS
RIMS 訪問滞在型研究
宇宙際タイヒミュラー理論の拡がり
IUTについて
公式な本と公式な講演ビデオは
加藤文元著
「宇宙と宇宙をつなぐ数学」
加藤文元講演
省3
401(1): 2020/03/21(土)20:58 ID:gPebnXHG(6/8) AAS
文元は、文科省の文系お役人向け
専門家向けは、下記、Yuichiro Hoshiもあるでしょ
それよか、G氏のサーベイが載らないのはなぜ？
（参考）
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
講究録別冊
RIMS Kokyuroku Bessatsu B76:
省11
402: 2020/03/21(土)21:05 ID:hVYoyaNb(3/3) AAS
大学改革支援・学位授与機構の皆さん
このとおりです
↓
> 文元は、文科省の文系お役人向け
403: 2020/03/21(土)21:42 ID:gPebnXHG(7/8) AAS
> 文元は、文科省の文系お役人向け
そんなの プロ数学者から見れば、自明も自明じゃない？
まさか
本 加藤文元著
「宇宙と宇宙をつなぐ数学」
ビデオ 加藤文元講演
「ABC予想と新しい数学」
省4
404: 2020/03/21(土)21:46 ID:gPebnXHG(8/8) AAS
逆に、文科省の文系お役人向けに
講究録別冊 宇宙際 Teichm¨uller 理論入門 Yuichiro Hoshi とか
そりゃ、東大数学科卒から法学部へ入り直して、文科省勤務ならともかく
いくら東大法学部でも、宇宙際 Teichm¨uller 理論入門 Yuichiro Hoshi とか
絶対読めないとおもうよ
405: 2020/03/21(土)22:43 ID:nhMdNRoF(2/2) AAS
> 文元は、文科省の文系お役人向け
いやはや
406: 2020/03/22(日)07:29 ID:TMbOZsnt(1/3) AAS
何が いやはやなのか？
本 加藤文元著
「宇宙と宇宙をつなぐ数学」
ビデオ 加藤文元講演
「ABC予想と新しい数学」
の両方とも、一般大衆向け
数学の知識としては、大学の一般教養数学レベル
省13
407(1): 2020/03/22(日)07:52 ID:C/fW3z07(1) AAS
文科省所管の独立行政法人 大学
改革支援・学位授与機構
京都大学数理解析研究所
第2期中期目標期間(平成22年〜
平成27事業年度)
平成28年6月
1 現況調査表
省23
408: 2020/03/22(日)09:04 ID:TMbOZsnt(2/3) AAS
そして、2019年に発行の宇宙際 Teichmuller 理論入門 Yuichiro Hoshi
の謝辞（下記）に、名前が上がっている 4名
玉川安騎男先生、 松本眞先生（広大）、安田正大先生（阪大）、田口雄一郎先生（東工大）
の方々は、IUTを今なお支持していると見て良いのでしょうね
Scholze-Stix (SS) と望月-星との議論が、2018年3月で、報告が出たのが2018年9月。その後の2019年のRIMS別冊ですから
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
だから、SSの後もなお、多くのプロ数学者が支持していると考えて良いでしょう
省24
409: 2020/03/22(日)12:07 ID:CLquehw4(1) AAS
一番状況を容易に理解する方法は、DupuyにSSの問題などIUTの正否について聞くことだろうな
410: 2020/03/22(日)13:07 ID:DCy3Y5HF(1) AAS
つーかCorollary 3.12が問題と言われてるんだから
何時間かかけて日本人の数人いるという理解者が解説すりゃいいんじゃないの？
サーベイでも逃げてるしDのプレプリントも言えばくれるようだが公開してない
411: 2020/03/22(日)15:10 ID:HEaeOMxM(1) AAS
スターサーベイでも本論分を参照しろではハナシにならんだろ
Dもプログラムで検証するといって事実上失敗してるだろ
似て異なるとか異なるが同じなんてのはプログラムで作動しないのさ
412(1): 2020/03/22(日)18:02 ID:tmTdk6uK(1/7) AAS
RIMS 講究録別冊 B76
星裕一郎
「宇宙際 Teichmu ̈ller 理論入門」
編集者(共同責任者)望月新一が
掲載しただけ。
公正さが全くないね
413(1): 2020/03/22(日)18:04 ID:tmTdk6uK(2/7) AAS
>>412
共同責任者→研究代表者
414: 2020/03/22(日)18:36 ID:tmTdk6uK(3/7) AAS
conjecturalではプログラムも
作動しないし証明も一意性がなくて
不可能。
数学科プロ数学者は圏論も学ぶはずだが？？
415: 2020/03/22(日)19:50 ID:DPge5Fdq(1/3) AAS
>>413
査読ありなので第三者が入ってるはずだけど
416(2): 2020/03/22(日)20:14 ID:tmTdk6uK(4/7) AAS
講究録の投稿規定
投稿論文は未投稿でFinal Formの
ものとし、 編集者（研究代表者）
の責任において査読の作業を行って
いただくものです。
編集者望月新一の責任だよ。
IUT論文を投稿後も修正しまくった
省1
417: 2020/03/22(日)20:17 ID:tmTdk6uK(5/7) AAS
>>416
講究録別冊の投稿規定ね
418: 2020/03/22(日)20:28 ID:TMbOZsnt(3/3) AAS
そう心配しなくても
今年の４つの国際会議が成功裏に終われば
論文は受理され 出版されるでしょう
419: 2020/03/22(日)21:49 ID:ZIWcl1eo(1) AAS
もっちーの誕生日まであと一週間
420: 2020/03/22(日)21:50 ID:DPge5Fdq(2/3) AAS
>>416
代表者が査読をしているんじゃない
代表者がエディターになって査読者を探すんだよ
421(1): 2020/03/22(日)22:25 ID:tmTdk6uK(6/7) AAS
>代表者がエディターになって査読者を
探すんだよ
投稿規定に反する考えをお持ちの代表者が査読者を探すのですね
422: 2020/03/22(日)22:27 ID:DPge5Fdq(3/3) AAS
>>421
意味不明
423: 2020/03/22(日)22:45 ID:tmTdk6uK(7/7) AAS
講究録別冊の投稿規定
>投稿論文は未投稿でFinal Formの
ものとし、 編集者（研究代表者）
の責任において査読の作業を行って
いただくものです。
Final Form！です
2012年8月4篇のIUT論文を
省2
424: 2020/03/22(日)23:00 ID:pQt2MAEr(1) AAS
IUTくらいの数学を形式化するようなレベルの事ができるならチューリング賞ものじゃないかなw
パーフェクトイドが形式化されたりはしているけど
425(1): 2020/03/23(月)10:09 ID:xglhSCbj(1/2) AAS
2020年RIMS滞在型共同研究
「ワークショップ日程」
・遠アーベル幾何学
5月18日から5月22日
代表 フェセンコ 英国
講演者
米国2人 英国1人仏1人阪大1人
省49
426: 2020/03/23(月)10:23 ID:xglhSCbj(2/2) AAS
>>425
4月4日→4月3日 227人→226人
吉村大阪府知事
「専門家の試算では最悪の場合、３月20日からの27日までの間で大阪と兵庫で新たに586人が感染。さらに28日から４月３日までの間に3374人が感染し、累計で266人が重症になると予測されたのです。」
外部ﾘﾝｸ:headlines.yahoo.co.jp
427: 2020/03/23(月)11:03 ID:NPhPT0Cu(1) AAS
星くんも大変だな
ほんとはやりたくないんじゃ・・
428: 2020/03/23(月)15:50 ID:Ks+XO6mC(1/2) AAS
星くん「さぁ、早くCorollary 3.12の証明を見せてくれ」
望「でも、いくら友達でも、それだけは……」
星くん「だから人目につかないここまで来たんじゃないか。1回きり見せてくれれば、
それで僕は満足するんだ。お願いだから、ネネ、いいだろう？」
望「でも、みんなが真似すると、僕困るから」
星くん「僕、絶対喋らないよ。だから、ネ。見せてくれるかい？」
望「うん……1回きりだからね。やあああああ」
省1
429: 2020/03/23(月)17:06 ID:mxZaHCoS(1) AAS
IUTワークショップは密室密集密接に
密教まで加わるから予測不可能
430: 2020/03/23(月)18:29 ID:4TLfNDJ2(1) AAS
三大宗教
台密
東密
望密
431(1): 2020/03/23(月)21:02 ID:8hlHRLPg(1) AAS
モッチ「3.12の証明？ ホシちゃん、君はまだ PDF NEW !! (2020-03-22) を見ていないようだね」
ホシ「モッチ先生、まだ見てなかったです」
モッチ「NEW !! (2020-03-22)に書いたから、Corollary 3.12の証明は、もう秘密ではないのだよ」
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一論文
宇宙際Teichmuller理論
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-03-22)
省23
432: 2020/03/23(月)23:11 ID:Ks+XO6mC(2/2) AAS
これでSS側のターンになるのかどうか
SSのターンとしてどういう展開になるのか
433: 2020/03/24(火)06:35 ID:6W8nuLKY(1) AAS
>>431
この10ページ弱の証明を書いてなかったの？そんな行間読めんだろ、普通。
434: 2020/03/24(火)08:08 ID:eSkQ42wC(1/2) AAS
いやいや、もう狂ってるでしょw
435(1): 2020/03/24(火)10:46 ID:vr+OyYNX(1/3) AAS
論点ずれてない？
問題は、NEW !! (2020-03-22)で提示された
Corollary 3.12 の Proof が
証明として、成り立っているかどうかだ？
で、星、南出、Ivan Fesenko 、
加藤文元、田口雄一郎、安田正大、玉川安騎男、松本眞、山下剛
Taylor Dupuy、AntonHilado、Kirti Joshi たちは
省1
436: 2020/03/24(火)12:19 ID:xAwCAuA8(1/2) AAS
多分な どうでもいい
437: 2020/03/24(火)12:26 ID:xAwCAuA8(2/2) AAS
まあ密教といわれている
438: 2020/03/24(火)12:42 ID:eRmTrzOC(1/4) AAS
>>435
彼らは「知ってた」か「従来の証明より簡潔になった」かと思ってるはず
知らんけど
439: 2020/03/24(火)12:57 ID:7/MyvQAo(1) AAS
10
440: 2020/03/24(火)13:14 ID:vr+OyYNX(2/3) AAS
論点ずれてない？
問題は、NEW !! (2020-03-22)で提示された
Corollary 3.12 の Proof が
証明として、成り立っているかどうかだ？
その傍証として
星、南出、Ivan Fesenko 、
加藤文元、田口雄一郎、安田正大、玉川安騎男、松本眞、山下剛
省3
441: 2020/03/24(火)14:25 ID:eRmTrzOC(2/4) AAS
思っているとか言われても 知 ら ん が な
442(1): 2020/03/24(火)15:10 ID:vr+OyYNX(3/3) AAS
星：RIMS 講究録別冊 B76 「宇宙際 Teichmu ̈ller 理論入門」を出す
南出：Ivan Fesenko のところで、IUTの共同研究
Ivan Fesenko：英国政府から補助金獲得
加藤文元：IUT本大ヒット
田口雄一郎：東工大で、IUTの講演企画＆実施
安田正大：講究録別冊 B76 「宇宙際 Teichmu ̈ller 理論入門」の査読
玉川安騎男、松本眞：「宇宙際 Teichmu ̈ller 理論入門」の謝辞で、100時間の共同セミナー実施と暴露される
省10
443: 2020/03/24(火)15:28 ID:RrfeVPQ2(1) AAS
ほっしーやGOとその家族の生活が肩にかかってるとは、もっちーも責任重大だなぁ
444: 2020/03/24(火)15:59 ID:eRmTrzOC(3/4) AAS
B「焼肉うめー」
445: 2020/03/24(火)17:53 ID:R4aJcVDf(1) AAS
あれから10年以上たっておっさんになられたわけだが、まだ焼肉大好きなの？
446: 2020/03/24(火)18:21 ID:eSkQ42wC(2/2) AAS
今更ながら厄介な問題だな
やたら膨大な理論だから、関係者からしたら「わからない奴は時間かけてない馬鹿だ」で済んでしまう
深刻な問題の割に科学メディアもあまり機能していないからな
数学者がつべで英語のインタビューを上げていったら批評性が出るんじゃないか？
447: 2020/03/24(火)19:14 ID:lsxpgoVj(1) AAS
つべには親切な人がいるもんだな
俺に圏論を紹介してくれた人がいる
今読んでいるものが終わったら
圏論を読んでみたいと思う
ネット上の出会いも悪くない
上下前次1-新書関写板覧索設栞歴
あと 555 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s