[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 30 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
408: 2018/09/06(木)22:12 ID:EOk24Dtb(1) AAS
>>405 学者みたいにのんべんだらりと税金で食ってるわけじゃないだろうから、
商業的価値を練ってるんじゃないの？
409(1): 2018/09/06(木)22:24 ID:JbCMSLal(2/2) AAS
こうやって５ちゃんにカキコしたりネット上で安全に決済できるのは
どういう学問・理論が元になっているか知っていれば安直に数学の価値云々、
神経科学と数学云々は言えないと思うけどね
そんな発想は算数までしか知らない落ちこぼれ厨二の妄想か
自称未来人の予言だけだろうｗ
410: 2018/09/06(木)22:37 ID:SR3oKfge(3/3) AAS
と、数学信者が信仰告白しておりますw
411: 2018/09/06(木)23:22 ID:7+86JC7d(1) AAS
数学信者の研究室にプログラム組めるやついないらしいじゃん
412: 2018/09/07(金)00:14 ID:W7JDs7Yn(1) AAS
>>372
斎藤秀の方はその気になれば勉強会が出来るくらいに
若手の弟子が充実してるとは思うが
そもそもサイクルと遠アーベルではなあ
413: 2018/09/07(金)00:33 ID:ZhkkYmgI(1) AAS
>>406
CD表面の凸凹を見れば、音楽が分かると言ってるようなもんだな
床屋外科の床屋談義
414(1): 2018/09/07(金)14:36 ID:ixdPVdaf(1) AAS
>>372
海外の連中からしたら日本から出たくないって言ってるんだからさっさと日本人で何とかしろよってのが本音やろけどなぁ
415: 2018/09/07(金)15:50 ID:mbd0IjUn(1) AAS
>>409
これのどこが安全だろうか？
Twitterﾘﾝｸ:mas20285
Facebookﾘﾝｸ:masaoki.iwasaki.9
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
省4
416: 2018/09/07(金)16:12 ID:74bM11mq(1) AAS
>>414
散々ここでも言われてたが、飛行機がどうとか関係なく異常としか言いようがない
ああこの人ア○ペなんだなと悟らざるをえない。どうせ年中数学考えてるのに引きこもりって
まあガロアやグロタンディークも疑われてるし、珍しくはないけどな
417: 2018/09/07(金)16:31 ID:IaMmk9mi(1) AAS
もひゃぁ！
418(1): 2018/09/08(土)03:00 ID:qBjYY1VK(1) AAS
大阪に遠アーベル幾何の研究してる中村博昭とかいうひといる
微妙な人だけどIUTには近づかないのか
当人の研究よりか勉強会でも組織したほうがはるかに数学に貢献するだろ
419: 2018/09/08(土)04:14 ID:MwcpAMl0(1) AAS
ひでえ言い様w
420: 2018/09/08(土)04:54 ID:H2GyMOlZ(1) AAS
>>418
中村先生の事を微妙って言う人がいるのか(恐怖)
無知って恐ろしい
421(1): 2018/09/08(土)06:36 ID:WuYmAUig(1/2) AAS
望月氏のIUT理論の初等的な部分の着想は2000年代始め頃にはあったという。
当時は何人かの数学者によってABC予想をアーベル多様体の上にのっけるとか楕円曲線にのっけるとか色々と考えられていた。
VojtaやFaltingsもこれに手を出していた。
この場合のABC予想はMasser-Oesterle’版といわれる形のものである。
つまり、互いに素な整数a,b,cでa＋b＋c＝0なら任意実数εに対しあるK(ε)>0が存在しmax{|a|,|b|,|c|}≦K(ε)(abcを割り切る素数すべての積)^(1＋ε)が成り立つ、というもの。
これのlogをとると、log max{|a|,|b|,|c|}≦log K(ε)＋(1＋ε)(abcを割り切る素数のlogのすべての和)となり、積Πから和Σへのシフトがおきる。
ここで左辺は楕円曲線の高さである。
省2
422(2): 2018/09/08(土)06:38 ID:WuYmAUig(2/2) AAS
右辺に関してはネヴァリンナ理論やディオファントス近似の視点から整数上の線形形式を割る素数ｐのlogにord_p(与えられた既約分数のpの冪を返す関数)など数論でよく使われる関数をかけたもので上界をつくるという方法が考えられていた。
ただし望月氏はこれをinitial-Θ-dataだけから展開することを考えていた。
initial-Θ-dataは体F上のl分点楕円曲線EとF上の付値などからだけで決定される。
そして楕円曲線上のQ点とその拡大体F点の集合X(Q)⊇X(F)などを考えるとx∈X(Q)を含む最小のX(F)を考えることでFが点xから一意に決まる。
そしてこの体Fからdifferent idealとconductorに関連して体が一意にきまる。
つまりこの体たちの上の付値からつくったカルティエ因子のdegを拡大次数で割った実数をはく関数X(Q)→Rが定義される。
different idealとconductorで決まる定義域から決まる関数の和が、高さを抑え込むという論法だった。
省4
423: 2018/09/08(土)10:27 ID:ocS0sRpi(1) AAS
なら下界下限も出せるよね
424: 2018/09/08(土)10:43 ID:BoOPhHRc(1) AAS
例の不等式が英語版abc予想のwikipediaのページにある不等式と同一なのが
理解できないのでは
局所的なモデル理論を捉えすぎていて全体の証明が不明とか
外部ﾘﾝｸ:en.wikipedia.org
Examples of triples with small radical 以下の数式部分
425: 2018/09/08(土)11:11 ID:xroUSLgg(1) AAS
また IUTへ誘いですか？
426: 2018/09/08(土)15:36 ID:cCIgBIAF(1) AAS
>>421
>>422
貼るのはいいんだけどリンク元もお願いしますよ
427: 2018/09/08(土)18:30 ID:H72jJoOG(1) AAS
喧嘩論文まだ？
428(1): 2018/09/09(日)04:27 ID:AreDfNww(1) AAS
もうすでにダメだという認識で確定してるって
429: 2018/09/09(日)04:38 ID:P4ipX+2t(1/3) AAS
何か>>422を見てみると「頑張って読んでるがいまいちよくわかんね」感を
受けるのは俺だけかねw 誰が書いたか知らんが
430: 2018/09/09(日)04:39 ID:P4ipX+2t(2/3) AAS
こんな早朝に時間被ったかw
431: 2018/09/09(日)05:16 ID:A6iV9wSb(1) AAS
>>428
そのようだな
なんかもう色々とカオス
432: 2018/09/09(日)05:22 ID:P4ipX+2t(3/3) AAS
第四論文のドタバタ感が酷いのは確か
半分くらい哲学だしw
433: 2018/09/09(日)06:28 ID:soLd6JcK(1) AAS
ちょw望月どーすんのよこれwwww
日本人なら腹切って落とし前つけんとなあ
434(1): 2018/09/09(日)09:13 ID:8RDGPg8r(1/5) AAS
数学の世界には「私だけの真実」「私だけの証明」というのはありえない。
たとえどんな難解な証明でも、それが正しければ、必ずその正しさは
複数の人によって、少しづつ、しかし確実に共有されて行く。
したがって、望月論文の「完全な理解者」と称する人たちが、２０１６年時点で
証明の詳細を把握していないという事が発覚して、海外では一挙に疑惑が広がっていった。
その状況を知らなかったのは日本のみで、とくにRIMS内部では「望月論文は正しい」という雰囲気があった。
それで、フィールズ特別賞を見越して、査読通過させるということとなったのだろう。
省1
435: 2018/09/09(日)09:27 ID:8RDGPg8r(2/5) AAS
朝日、「望月論文の正しさが認められ、近くPRIMSに掲載予定」と報じる
海外で「んなわけないだろ」と疑惑が噴出
ショルツ京都訪問。望月に直接説明を求める。
望月、ショルツの指摘に深刻さを理解し、ブンゲンと相談。
望月、「数学的真理は有限記号列で伝わらない」発言（２０１８年１月）
ブンゲン、朝日報道に八つ当たり。
ショルツ＝スティックスのペーパー掲載予定←いまここ
省1
436: 2018/09/09(日)09:31 ID:BD5wXW0Y(1) AAS
でも、長年正しいと思われていた証明が実は間違っていたということも
数学史にはあるんです。
「正しい」の感覚なんて所詮その程度のもの。
437(1): 2018/09/09(日)09:38 ID:8RDGPg8r(3/5) AAS
しかし望月が苦節１０数年研究し、とりまきたちのサーベイが何百ページもあったのに、
全く何もないナンセンスってことはないと信じたいなあ
まあ「望月新一の中年の夢」というべきか。
438(2): 2018/09/09(日)09:43 ID:hbjbdi6k(1/2) AAS
IUT バイオハザード予想
ポイント！
数論的な変形でも 壁=障害があるから
遠アーベル幾何とIUTしか救いはありません
環を分解したり 障害を半分スルーしたり
FUKUGENします
リーマン予想の1/2も予兆ありま〜す
省6
439(1): 2018/09/09(日)09:45 ID:hbjbdi6k(2/2) AAS
>>438
壁=障害の向こうの世界をあの世と思えば、
あの世でFUKUGENし歪みが 不等式に
表される
→人がゾンビにFUKUGENし歪みが不等式
∵ 罵倒はゾンビの特性で合致し同型がある
対象は何でもありの圏論と思えば
省14
440(2): 2018/09/09(日)11:26 ID:51J1+vpt(1) AAS
>>434
いやいや、すっぱぬいたんじゃなくて
「望月論文は正しいだろう」と判断して大々的に報道したんだろ
朝日が報道したことで海外からの疑惑が明るみになることに繋がったわけではあるが
朝日のアレ自体は大誤報には違いない
∴朝日はマヌケ
441: 2018/09/09(日)11:33 ID:8RDGPg8r(4/5) AAS
>>440
素人の朝日に「正しいだろう」なんて判断できるわけないじゃんｗ
RIMSが査読で「正しい」と判断したんだよｗ
朝日はそれを報じただけ
442: 2018/09/09(日)11:39 ID:8RDGPg8r(5/5) AAS
>>440
もし、あれを「誤報」だといって朝日が争う姿勢を示したら、
びびるのはお前とRIMSだぞｗ
どう考えたって朝日は「RIMSの査読が通ったから、正しいと認められたと報じた」のであって、
朝日ごときに望月の論文の成否を判断する能力なんてあるはずがないｗ
443: 2018/09/09(日)16:05 ID:Q/1KF2OY(1) AAS
朝日の誤報からここまで拗れるとは
444(1): 2018/09/09(日)16:25 ID:TS6j5AKg(1/2) AAS
2017.12.16
朝日新聞
>長年にわたって世界中の研究者を
悩ませてきた数学の超難問「ＡＢＣ予想」
を証明したとする論文が、国際的な数学の
専門誌に掲載される見通しになった。
>今世紀の数学史上、最大級の業績とされ、論文が掲載されることで、その内容の
省17
445: 2018/09/09(日)16:27 ID:6EDTO1re(1/2) AAS
>>437
枠組み自体は救済できるだろうが、遠アーベル幾何学が不可欠かというと違うと思うな
ただ数体の楕円曲線に上手く填まるので、キャリアや簡便から使いたかった気持ちはわかるが
肝心の第四論文はHATに依存してるから浮いた感じでわかりにくいしな
446: 2018/09/09(日)16:36 ID:6EDTO1re(2/2) AAS
当たり前だが、要点は代数体の整数論が激ムズだということ
本格的な成功例がないので、関数論を一般化するにあたって正しい世界像を
自力で探り当てなきゃならない。それを見誤ると空論になっちゃう
447: 2018/09/09(日)16:37 ID:TS6j5AKg(2/2) AAS
>>444
追加
The ABC conjecture has (still) not been proved.
2017.12.21 PS
Thanks for the wonderful post!
I agree with everything that was said.
外部ﾘﾝｸ:galoisrepresentations.wordpress.com
448: 2018/09/09(日)17:17 ID:q8RfajH8(1) AAS
またしばらくしたら何事もなかったかの如くゾンビ軍団が語りだすからまあ見てろよ
449: 2018/09/09(日)17:48 ID:O/xE55JW(1) AAS
日本数学会はIUTからの撤退勧告を出すべき
450: 2018/09/09(日)17:58 ID:e0jNXScU(1) AAS
誰もやらないなら俺がやる。誰もできないなら俺がやる。誰もしていないなら俺がやる。俺しかできないなら俺がやる。今しかできないなら今やる。今できないならやらない。やると言ったことは遅くなっても形が変わっても必ずやる。それが俺の生き方
451: 2018/09/09(日)18:53 ID:/GdnlO3+(1) AAS
取り巻きの強気宣言乙
452: 2018/09/09(日)20:35 ID:7GR+T+2z(1) AAS
もう6年も過ぎてるんやで？
453: 2018/09/09(日)21:46 ID:BOXiSPy7(1) AAS
IUTのニュースでわざわするだけのスレ
454: 2018/09/10(月)01:48 ID:RV81GWuk(1/3) AAS
玉川とか何をやってんだろうな。単にわからないんだとしたらもうどうにもならないだろうな
455: 2018/09/10(月)01:50 ID:GUDmgtZ0(1/3) AAS
もうちょっと取り巻きはなんとかできんのか？
456: 2018/09/10(月)02:12 ID:1YM6imhg(1) AAS
修正しる！
457(1): 2018/09/10(月)12:54 ID:/kOlZVdK(1) AAS
みんなわかってきたんだけど、第４論文の一カ所だけがよくわからんのよ。ショルツもコンラッドも玉川もみんな同じ箇所。
取り巻きもそこはしっかり説明できてないんじゃないの？
ますます怪しい理論になってきたな。
458: 2018/09/10(月)13:27 ID:p/JmKEIm(1) AAS
>>457
本当に全員がその1か所で詰まってるんだったらもっちーがそこだけ丁寧に解説すりゃいいじゃん
459: 2018/09/10(月)13:32 ID:bgnF4wj1(1) AAS
その一箇所以外のとこだけ予想で保留して残りのとこで一旦出せばいいのに。
反例があるわけじゃないんでしょ？
460: 2018/09/10(月)14:12 ID:RV81GWuk(2/3) AAS
本当に限られた一ヶ所だけだったら逆に何とかなるだろ。何とかなる、とは真偽の判断だが
多分実際は違う
461: 2018/09/10(月)14:52 ID:biprrGCO(1) AAS
今の総裁は割と政治的な動きをするようにみえるから
穏便に済ませてほしい、とかいうメッセージを表現したかもしれんなあ
ここまで静かになるのは流石に……と邪推してしまう
462: 2018/09/10(月)15:01 ID:GUDmgtZ0(2/3) AAS
みんなが分からない箇所をモッチー自身は説明できていないの？
463: 2018/09/10(月)15:38 ID:HXs1IE+B(1) AAS
この理論は既に末期癌で救いようが無い。
根幹から腐った似非理論。
464: 2018/09/10(月)17:13 ID:GUDmgtZ0(3/3) AAS
本人が出てきて説明しないんじゃどうしようもないよなぁ
465: 2018/09/10(月)17:42 ID:RV81GWuk(3/3) AAS
６年も経って批判してもらえるだけマシだよ
当時の小学一年生もう中学生じゃねーか
466(1): 2018/09/10(月)19:19 ID:uDLctrn3(1) AAS
モッチッチは「これ以上の説明表現はない」のおっしゃるだろう、と取り巻きが忖度してる。
467: 2018/09/10(月)20:38 ID:5anXdPti(1) AAS
>一箇所
証明で 不都合な点 曖昧な点を一箇所に集めて
論理の飛躍や仮定の追加が許されるなら、
形式の「証明」が 出来上がりw
468(2): 2018/09/10(月)20:58 ID:lQy0VxKF(1/2) AAS
その一か所って具体的にどこがどう怪しいの？
469: 2018/09/10(月)21:00 ID:7CfZzJ1N(1) AAS
ワイルズが一旦行き詰まったのもたった1ヶ所のギャップだったな
470: 2018/09/10(月)21:19 ID:7PWz4wHe(1) AAS
>>468
日本語どころか目も不自由ならお帰り下さい。
471(2): 2018/09/10(月)21:22 ID:8LPCaPvM(1/2) AAS
俺それ何処か知らないわ
証明が完成してからの話しか知らん
でもそれって、Taylorじゃなきゃ絶対にできないことじゃないはずだよね
早かったから良かっただけで。今回はショルツや玉川やStixがずっとわからないんだもんね
472(1): 2018/09/10(月)21:38 ID:ayawMqn2(1) AAS
>>468 >>471
「その一箇所」＝「the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmüller theory part II」
473: 2018/09/10(月)21:39 ID:ZBgcg1Yi(1/3) AAS
>>471
やっぱりワイルズは最初からかなりいい線いってたんだと思うよ。
だからテイラーの助けを借りて穴を埋めることができた。
今回のはやっぱり本質的な解決には程遠いから6年たってもギャップが埋められなかったんだろ。
IUTがらABCが出なかったとしても何か副次的な面白い結果が出ていればまだ救いがあるんだけど、
何も出てないからなあ。IUTは「根本的にナンセンス」なんじゃないかと恐れる。
474: 2018/09/10(月)21:46 ID:ZBgcg1Yi(2/3) AAS
それと玉川さんが証明に疑問を持つという意味で「わからない」発言をしているのが気になるね。
いままでRIMS内部じゃ「望月はABC予想に成功したにちがいない」というのが前提で、
疑いをさしはさむひとはいなかったからね。玉川さんも今までは「本格的に読み込んでないから
自分の理解が及ばないだけで、望月はたしかに証明に成功したんだろう」のスタンスだったから。
だからこそ査読も通過したわけで。
とうとうRIMS所員ですら「証明が間違っている」という疑問の声が上がっているということだろう。
475: 2018/09/10(月)21:46 ID:8LPCaPvM(2/2) AAS
それこそフェルマー証明できるはずなんだよね
系とかそういう話ではなくて、別証明を与えられるはずでしょう
476: 2018/09/10(月)21:52 ID:ZBgcg1Yi(3/3) AAS
>>466
数学でそんなことがあるのはおかしいんだよね。
本当はモッチーが説明に詰まるのなら俺が代わりに説明してやるってことじゃなくっちゃおかしい。
だって「完全な理解者」だろう？
テイラーだって見事にワイルズの苦境を救ったし。
477: 2018/09/10(月)22:09 ID:2m1gklne(1) AAS
まあ、なんだ、理論の成否がその一箇所で決まるって段階まで着てるなら遅かれ早かれ決着つくだろ
478(2): 2018/09/10(月)22:36 ID:w4DABxpE(1) AAS
>>472
＞「その一箇所」＝「the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmüller theory part II」
より詳しく言うと、Scholzeの指摘は
I am entirely unable to follow the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmüller theory part III:
“If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12,
one concludes that the quantity −|logΘ| is finite, and moreover, that −|log q|≦−|logΘ| ∈ R. ”
Note that this proof is in fact the *only* proof in parts II and III that is longer than a few lines which essentially say “This follows from the definitions".
省7
479: 2018/09/10(月)23:05 ID:w0yozdVV(1) AAS
うん、キミにわかるぐらいなら世も末だろうから気にしなくていいよ
480: 2018/09/10(月)23:34 ID:Y7Vvx+w6(1) AAS
まあ、アレだ。ウエイト０．５とやらがリーマン予想に関係していなかったとしたら、
その程度の思い違い論文だったということだな。
481: 2018/09/10(月)23:50 ID:lQy0VxKF(2/2) AAS
1/2がでてきたらなんでもリーマン予想に関連するのか？
482: 2018/09/10(月)23:57 ID:n0+rptb+(1) AAS
魔法のキーワード
遠アーベル幾何 グロタン
483: 2018/09/11(火)00:09 ID:91fQWK09(1) AAS
シンプルに考えて|logΘ|を用いればζ関数の上界を抑えられるとか
考えるには無理があるけどな
484: 2018/09/11(火)00:37 ID:4egWydvv(1/4) AAS
>>478
それだけ調べたら大したもんだよ
テンプレにしてもいいくらいだ
あんなもんかったるくて仕方ないw
485: 2018/09/11(火)01:02 ID:B2kKHfcI(1/2) AAS
望月新一氏は科研費不正申請で起訴されないの？
研究室を新設するのに膨大な税金が投入された訳だが...
この反日アメリカ人を許してええんか？
486(1): 2018/09/11(火)01:04 ID:R49g8doT(1) AAS
研究するんは勝手やから
487: 2018/09/11(火)01:33 ID:4egWydvv(2/4) AAS
上の第四論文の一箇所というのが本当だったら、結局>>478の部分ということになるのかな？
要するに後ろで証明してますよ、と言っているがなってませんよ、と
まだここで揉めてるとしたら、もはやコントの域だな
488: 2018/09/11(火)02:44 ID:d5vofOIx(1) AAS
>>486
税金使わず趣味ならOK
青少年少女を洗脳するな
上下前次1-新書関写板覧索設栞歴
あと 514 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s