- 1 名前：１３２人目の素数さん [2013/11/16(土) 17:34:10.87 ]
- 数オリとか大学とかそういう話題は他の場所でやって
数学の中身に関する話をしようね
- 41 名前：１３２人目の素数さん [2013/11/23(土) 20:36:25.51 ]
- n圏自体がすでに代数的位相幾何学への応用で使える
弱ｎ圏と強ｎ圏があって強ｎ圏は数学するには条件が厳しいので
条件を弱めようとしたら複数の弱ｎ圏が出現してしまった
だからルーリー達が(∞,ｎ)圏で高次圏を一意にまとめあげようとしている
他にもオペラッドとかオペトープとかハーパーグラフも有効らしい
コホモロジー自体はアンドリュー＝キレンコホモロジーに統一されて、
さらにモデル圏で一般化されて、そのモデル圏もSimpsonによって高次化されてる
望月氏はむしろ圏の高次化を避けている
アナベロイドを集めたものは２圏となってしまうが、
射を２圏の射を同型類でつぶして対象をそのまま移植すれば
１圏でほぼ同じものが再現できるらしい
そしてじっさいに彼のアナベロイドでは成功したが、
その代わりに基点（BasePoint）とそれを探索するCoreの概念に気付いて導入
また擬CoreやIEや弱IEを導入していく過程で宇宙際（IU）の着想を得たらしい
- 42 名前：１３２人目の素数さん mailto:sage [2013/11/23(土) 23:34:19.78 ]
- 問題ごとに適切な一般化がありますから
彼の現時点のvisionに合うように一般化されているのでしょう
他の分野でも注目すべき着想がたくさんあるんだろうなぁ
- 43 名前：１３２人目の素数さん mailto:sage [2013/11/24(日) 00:18:51.51 ]
- >>41
もっちーを彼呼ばわりするとはけしからんな
- 44 名前：１３２人目の素数さん [2013/11/24(日) 00:57:52.78 ]
- もっちー呼ばわりよりはマシだけどな
- 45 名前：１３２人目の素数さん mailto:sage [2013/11/24(日) 07:21:13.56 ]
- 最終的には、IUは圏論に吸収されるのかそれとも圏論の上位理論になるのか
もっちーVSルーリー
- 46 名前：１３２人目の素数さん [2013/11/24(日) 09:59:17.33 ]
- わけわからん
- 47 名前：１３２人目の素数さん mailto:sage [2013/11/24(日) 11:06:15.05 ]
- 天才と天才の戦い・・・
- 48 名前：１３２人目の素数さん [2013/11/24(日) 12:22:32.03 ]
- >>45
ホッジ劇場でバトルのか？・・
- 49 名前：１３２人目の素数さん mailto:sage [2013/11/24(日) 15:05:33.04 ]
- マミvsほむら並の熱戦を期待したい
- 50 名前：狸 ◆2VB8wsVUoo mailto:age [2013/11/24(日) 16:20:07.10 ]
- 狸
- 51 名前：１３２人目の素数さん [2013/11/24(日) 16:45:47.30 ]
- 岡潔対ブルバキセミナーは後者が勝った。
本質的な事は岡がやって、使いやすい仕様にしたのはブルバキセミナー。
- 52 名前：１３２人目の素数さん mailto:sage [2013/11/24(日) 19:49:43.12 ]
- 構造主義っていったい何だったんだろう。
- 53 名前：１３２人目の素数さん mailto:sage [2013/11/25(月) 07:55:44.21 ]
- >>34
最後の部分ってIUTchIVのSection3の事？
定理3.11の証明に関わっていたのかあの部分は
- 54 名前：１３２人目の素数さん [2013/11/27(水) 16:35:20.75 ]
- unkar.org/r/math/1229973685
すでに数年前から解けることがわかっていたんだな（レス１３
- 55 名前：１３２人目の素数さん [2013/12/01(日) 10:50:59.59 ]
- もっちーの海外講演はどうなったの？
- 56 名前：１３２人目の素数さん [2013/12/02(月) 19:36:58.90 ]
- abc予想には「弱いバァージョン」と「強いバァージョン」の二つあり、
望月が証明したのは「弱い」方だという。
「弱い」方ではフェルマー予想の別証明は出来ない。
「弱い」のが証明されるとどう凄いんでしょうか？
宇宙際理論では「強い」のは証明できなかったということなんでしょうか？
- 57 名前：１３２人目の素数さん [2013/12/02(月) 20:47:15.50 ]
- 望月氏は例のラインバンドルの高さの上界を与える式の定数は
１にする（強いABC予想）ことはできないが、
定理1.10の見積もりをもっと強く改善することは簡単にできると主張している
ただし、論文の主旨とずれるので実行していないとしている
（初等的証明ではないけど弱いほうからもフェルマー予想はでる
あくまで今回の見積もりでのABC予想などのディオファントス幾何への応用はIU幾何の一例の紹介にすぎない
数論幾何一般のエタールコホモロジー以上の武器となるだろう
- 58 名前：１３２人目の素数さん mailto:sage [2013/12/02(月) 21:06:40.33 ]
- 望月氏は岡潔と同じ轍を踏もうとしているようにしか見えないなあ
あくまで論文が正しいと仮定してだけど
mathematical communityとのコミュニケーションを拒否すると
（岡もそこまではやっていない）
業績はすべて持っていかれるよという見せしめになるかもな
- 59 名前：１３２人目の素数さん mailto:sage [2013/12/02(月) 22:44:50.16 ]
- だから持って行かれてもなんとも思ってないんだって。
今や若い弟子にIU幾何のサーベイを書かせて弟子に功績を与えようとさえ思ってるのに。
- 60 名前：１３２人目の素数さん [2013/12/03(火) 00:30:21.94 ]
- 望月氏はお釈迦様
例の論文も極めてわかりやすい解説が与えられている
もはや業績などには興味がない
高いところからみんなを見守ってくれていらっしゃる
- 61 名前：１３２人目の素数さん [2013/12/03(火) 02:32:56.47 ]
- エタールコホモロジーは学部三年までに学習して
宇宙祭は学部4年までに勉強してきてくださいね、
てなるのか？
- 62 名前：１３２人目の素数さん mailto:sage [2013/12/03(火) 06:07:33.80 ]
- やはりABC予想はIU幾何のターゲットの一つに過ぎないというわけか
とすると他にはどのようなものがIU幾何の識別圏に入るんだろうね
それにIU幾何自体の進化もある
- 63 名前：１３２人目の素数さん mailto:sage [2013/12/03(火) 10:50:11.40 ]
- IU幾何の解説書って出版されないの？ 黒川氏のゼータ本みたいに
- 64 名前：１３２人目の素数さん mailto:sage [2013/12/03(火) 14:22:30.89 ]
- ラマヌジャンみたいに望月教授の死後に何十年とかけて解明していくしか．．
- 65 名前：１３２人目の素数さん mailto:sage [2013/12/03(火) 16:21:10.99 ]
- ラマヌジャンと違ってちゃんとした数学だけどな
- 66 名前：１３２人目の素数さん [2013/12/03(火) 19:29:56.74 ]
- 弱いsbc予想でもフェルマー予想の別証明が出来るのか。
強いのも証明しようと思えば出来るんだったら、証明したら良いと思うんだが。
ワイルズもフェルマ予想の証明はしたが、谷山・志村予想の証明はしなかった。
谷山・志村予想を証明すればフェルマー予想を証明したことになるのに
フェルマ予想だけを証明した。
谷山・志村予想を証明しようと思えば証明出来ただろう。
後に、リチャード・テイラーらが谷山・志村予想を証明した。
数学的には、谷山・志村予想＞フェルマー予想 だろうに。
- 67 名前：１３２人目の素数さん mailto:sage [2013/12/03(火) 19:35:47.53 ]
- 実際に出来なかったのに
＞証明しようと思えば証明出来ただろう
何の根拠があってこんなこと言うのだろう
- 68 名前：１３２人目の素数さん [2013/12/03(火) 20:48:33.14 ]
- >>66
ワイルズは志村谷山の主要部分を解決したのであり、テイラー等の結果はワイルズの仕事の残りを完成させたものである。
- 69 名前：１３２人目の素数さん mailto:sage [2013/12/03(火) 21:30:40.81 ]
- 山下氏や星氏が仮に証明が真であると世界に表明しても
世界の数学界はそれをはたして信用するだろうか？
- 70 名前：１３２人目の素数さん [2013/12/03(火) 21:56:39.66 ]
- >>69
なんのために証明があるんだよ
- 71 名前：１３２人目の素数さん mailto:sage [2013/12/03(火) 22:35:54.83 ]
- 山下はもうすぐ宇宙際のサーベイをだすよ
星や玉川は宇宙際勉強中
- 72 名前：１３２人目の素数さん [2013/12/03(火) 23:14:40.43 ]
- ごんでるごんで
- 73 名前：１３２人目の素数さん mailto:sage [2013/12/04(水) 13:01:55.27 ]
- 望月理論を信望する高いレベルの欧米の数学者ってまだひとりも存在しないの？
- 74 名前：１３２人目の素数さん mailto:sage [2013/12/04(水) 14:03:20.37 ]
- 強いABC予想証明した所で一般受けする名誉貰えるだけだし
望月氏はそんな名誉別にいらねって事なんだろう
彼は既に一生研究に打ち込める環境にいる
そんな名誉よりIU幾何を発展させたいって動機は理解し難い物なんだろうか
- 75 名前：１３２人目の素数さん mailto:sage [2013/12/04(水) 20:58:59.92 ]
- そういう次元で生きてない
- 76 名前：１３２人目の素数さん [2013/12/05(木) 16:44:11.53 ]
- 査読どうなってる？
- 77 名前：１３２人目の素数さん mailto:sage [2013/12/06(金) 16:01:52.39 ]
- 来年も無理
- 78 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 07:25:39.73 ]
- もちーは査読云々にもはや興味なく、正しいことを前提に次の関心に没頭してる
恐らくは唯一の理解者である山下と議論してるのでは
プレプリントだから査読も何も、検証中なんだろうけど、どのアクションをもって検証完了、となるのかな？
前にも書いたけど、検証が終わってからどっかの雑誌に投稿して、それから査読にさらされ、掲載、でようやく証明完了？
それともペリルマンのようにプレプリントに対して複数の数学者が正しいというコメントなりサーベイなりを出せば証明完了？
恐らくは山下なり玉川なりがそれをするんだろうけど、そのサーベイもプレプリントになるのかな？
- 79 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 07:54:04.35 ]
- 専攻、数学じゃないからよくわからんのだが、
論文って書いたら速やかにどっかの雑誌に投稿するもんじゃないの？
- 80 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 07:54:34.60 ]
- 検証も査読も同じ、だとしたら、恐らくは来年中に山下剛くんがIU幾何の解説論文(証明が正しいという)を発表すると思われるが、そこがまずabc予想が証明された！と報道されるであろうポイント
しかし山下剛くんだけでは心もとない？ので、それこそRIMSの玉川先生や星先生らがコメントなり解説論文なり出した時点が大騒ぎのポイントになるのかなぁ
でもそれじゃあ取り巻き？ばかりの査読になっちゃうから、ここに外国人(Acknowledgement見てるとサイディって人？)の査読が入った時点で、完了ということになるんじゃないか
ペリルマンの時みたいな感じになりそうだ
やっぱり2〜3年ほど(つまり2012年8月だから2014年中には)、という感じだな、論文の正しさが証明されるのは
- 81 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 07:55:33.77 ]
- >>79
ペリルマンの時はプレプリントがインターネットにでた、のみ
- 82 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 08:09:35.09 ]
- こういうとき恵まれた環境の外国に比較して日本の場合は雑務により
研究が阻害されたりしないの？ まあ先入観かもしれないけどアメリカなんか
だったら一定期間は研究者の自由な研究時間が確保され、その研究に
没頭できるようなイメージがあるなぁ。
- 83 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 08:59:09.35 ]
- その点RIMSはニホンでは珍しく研究に没頭できる環境にある
- 84 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 11:21:20.91 ]
- 遠アーベル幾何の専門家が世界でも50人くらいと言われてんだから、
別に海外が恵まれてるって事でも無いんじゃない？
元々の研究者が少なすぎる。
その中でも日本はむしろ恵まれてるほうじゃね？
- 85 名前：１３２人目の素数さん mailto:sage [2013/12/07(土) 23:15:13.53 ]
- グロﾀﾝ「そう・・旨いよ、ドリーニュ・・すごく・・・もうデーンひねりしそうだよ・・」
時間と共に激しさを増すドリーニュのタイヒミュラーに、グロﾀﾝは微分同相写像していた。
正直、いまだ子供のドリーニュでは充分満足できるエタールサイトは得られないと思っていたのだが、
ドリーニュの激しいタイヒミュラーは思った以上の概均質ベクトル空間をつくり出した。
ドリーニュ「お兄ちゃん、どう？トレース・フォーミュラ？」
グロﾀﾝ「あぁ・・・すごく、スキームだよ・・」
グロﾀﾝの上で非アーベル化するドリーニュの微分構造を愛撫する。
グロﾀﾝ「愛してるよ、ドリーニュ・・・こんなにエキゾチックになっちゃった以上、もうお前をホッジ分解したりしないから・・・・・・・」
ドリーニュ「うん・・・ぅ、ん・・ホッジ・・分解しないでっ・・私たち・・もうモチヴィッガロア理論なんだから・・・！」
グロﾀﾝはドリーニュの類体論を舌で分類し、ドリーニュは代数多様体を超高速で双有理変換する。
グロﾀﾝ「ああ・・・お前は最高の遠アーベルな円分体だよ・・！」
ドリーニュ「私・・もう・・・ダメ・・・アイソトピー類・・・！」
ドリーニュのガウス核はもう多重ゼータ値だ。
ドリーニュ「あ、あぁ・・・ぁぁあああっ・・・っっっっ！」
ドリーニュのリーマン多様体が崩壊した・・・・・・。
- 86 名前：１３２人目の素数さん [2013/12/08(日) 04:01:22.76 ]
- 仮にグロタンディークが望月新一氏が記した四つの論文が示す内容を読んだとき、
どのような評価をグロタンディークは当該論文が示す内容に対して与えると、皆様は思いますか。
- 87 名前：１３２人目の素数さん [2013/12/08(日) 04:38:45.32 ]
- 仮にペレルマンが望月新一氏が記した四つの論文が示す内容を読んだとき、
どのような印象をペレルマンは当該論文が示す内容に対して持つと、皆様は思いますか。
厳密でかつ論理的な根拠はなく、主観的な理由に基づく意見ですが、
例えばグロタンディーク、ペレルマン、ファルティングスその他のこれら研究者に相当する研究者は、
望月新一氏の当該論文が示す内容に対する印象、意見その他の評価を持ち得ると、わたしは思いました。
どのように、みなさまは思いますか。
- 88 名前：１３２人目の素数さん [2013/12/08(日) 08:59:50.78 ]
- うるせえ！
- 89 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 09:05:14.97 ]
- グロタンディークとペレルマンは無反応。
ファルティングスは弟子の業績を評価。
それだけ。
- 90 名前：１３２人目の素数さん [2013/12/08(日) 09:07:08.12 ]
- >>87
どのような答えを書いても、それを裏付ける根拠がないので意味がない。
- 91 名前：１３２人目の素数さん [2013/12/08(日) 09:22:44.58 ]
- 例えばグロタンディーク、ペレルマン、ファルティングスその他のこれら研究者に相当する研究者の「知性ないしはインテリジェンス」は、
望月新一氏が記した四つの論文が示す内容に、有効に働く、又は当該内容を見通せる、又は当該内容の先を評価し得ると思いました。
..89
教えていただき、ありがとうございました。
..90
確かに、その意見が存在することは違いはありません。また、意見は、そのような側面を持っていることがないとはいえないと思います。
- 92 名前：１３２人目の素数さん [2013/12/08(日) 09:33:49.02 ]
- 望月新一氏がペレルマンが記した四つの論文が示す内容を読んだとき、
どのような印象を望月新一氏は当該論文が示す内容に対して持っていると、皆様は思いますか。
厳密でかつ論理的な根拠はなく、主観的な理由に基づく意見ですが、
例えば望月新一氏その他のこれら研究者に相当する研究者は、
グロタンディーク、ペレルマン及びファルティングスが記した論文が示す内容に対する印象、意見その他の評価を持ち得ると、わたしは思いました。
どのように、みなさまは思いますか。
- 93 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 09:44:15.65 ]
- コナン＝新一
- 94 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 09:47:43.12 ]
- 貴方の文章は特徴がありますね
- 95 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 09:51:34.77 ]
- 日本人の書く文章ではないね
- 96 名前：１３２人目の素数さん [2013/12/08(日) 14:09:01.61 ]
- グロタンディークって今でも数学できるの？
- 97 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 14:14:15.05 ]
- 1928年3月28日（85歳）
- 98 名前：１３２人目の素数さん [2013/12/08(日) 17:05:27.89 ]
- ゲルファントはその年齢で論文を発表していたな。実質弟子が書いたんだろうが。
- 99 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 17:21:24.38 ]
- 本書いてたんだな初めて知った
www.amazon.co.jp/Foundations-Teichmuller-Studies-Advanced-Mathematics/dp/0821811908/ref=la_B001KI0SHG_1_1?s=books&ie=UTF8&qid=1386490760&sr=1-1
- 100 名前：１３２人目の素数さん [2013/12/08(日) 18:04:49.79 ]
- ペレルマンは分野が違いすぎて無理だと思う
グロタンはもう数学には興味ないと思う
- 101 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 18:30:10.26 ]
- グロタンの死後、大量の未発表論文が公開されるのだろうか
- 102 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 18:43:29.84 ]
- よく出没する
日本語変な
グロタンディエクを実は読んだこともない
勘違いした
引きこもりの
おっさんを
生暖かく
見守るスレ
- 103 名前：１３２人目の素数さん [2013/12/08(日) 21:09:33.88 ]
- >>94 はい。その指摘は次のことを示しているといえると、わたしは思いました。特徴を持っている文章は、対象がそれであることを識別するために、有効であること。
>>100 教えていただき、ありがとうございました。わたしはその意見を教えていただき、わたしは残念でした。
- 104 名前：１３２人目の素数さん mailto:sage [2013/12/08(日) 22:05:05.08 ]
- www.amazon.com/Best-Writing-Mathematics-2013/dp/0691160414/
The Best Writing on Mathematics 2013
Princeton University Press (January 19, 2014)
ロジャー･ペンローズが序文を書いている。
ボストングローブに載った「An abc proof too tough even for mathematicians」も
一番最後に収録されている。
これをみると、今更だけど、望月氏の論文発表はやっぱりかなりインパクトのあった
出来事だったことがわかる。
- 105 名前：１３２人目の素数さん [2013/12/08(日) 22:43:41.47 ]
- 望月VSルーリー
つまり
釈迦VSキリスト
！！
- 106 名前：１３２人目の素数さん [2013/12/09(月) 10:55:37.89 ]
- 望月氏のABC予想の初等的な部分の着想は既に2000年頃にはあったという
当時はABC予想をアーベル多様体の上にのっけるとか楕円曲線にのっけるとかいろいろ考えられていた
Vojtaやフォルティングスもこれに手を出していた
この場合のABC予想はいつもMasser-Oesterle’版といわれる形のものが考えられた、つまり
互いに素な整数a,b,cでa＋b＋c＝0なら任意実数εで
max{|a|,|b|,|c|}≦K(ε)(abcを割り切る素数すべての積)^(1＋ε)
これのlogをとると
log max{|a|,|b|,|c|}≦log K(ε)＋(1＋ε)(abcを割り切る素数のlogのすべての和)
となり、積Πから和Σへのシフトがおきる、そして左辺は楕円曲線の高さである
なぜなら
楕円曲線の有理数解の集合を考えることは比(a/c,b/c,1)を考えることと同等だからだ
望月氏は簡便のために特にy^2＝x(x-a)(x-λ)という楕円曲線を考えて
これから{0,1,∞}の3点を省いて1次元の射影平面と同一視して適宜その間を移動して議論する
- 107 名前：１３２人目の素数さん [2013/12/09(月) 10:56:09.23 ]
- 右辺はネヴァリンナ理論やディオファントス近似の視点から
整数上の線形形式を割る素数ｐのlogにord_p(与えられた既約分数のpの冪を返す関数)など数論で
よく使われる関数をかけたもので上界をつくるという方法が考えられていた
ただし望月氏はこれをinitial-Θ-dataだけから展開することを考えていた
initial-Θ-dataは体F上のl分点楕円曲線EとF上の付値などからだけで決定される
そして楕円曲線上のQ点とその拡大体F点の集合X(Q)⊇X(F)などを考えると（Xはスキームになっているが）、
x∈X(Q)を含む最小のX(F)を考えることでFが点xから一意に決まる、
そしてこの体Fからdifferent idealとconductorに関連して体が一意にきまる
つまりこの体たちの上の付値からつくったカルティエ因子のdegを拡大次数で割った実数をはく関数
X(Q)→R が定義される
different idealとconductorで決まる定義域から決まる関数の和が、高さを抑え込むという論法だった
（実際はアルキメデスか非アルキメデス、楕円曲線の良い還元や悪い還元での場合わけなどがあるが）
以上の議論を望月氏はF_modとKの中間体ごとに複数の世界に分け、
さらにl以下の分点で議論を分け別々に計算をおこない、
それらの重み平均（ガウス積分で着想を得た）をとってさらに総和をかけるという手法でやっている
このときのコンバインする際に必要な添え字などがIU幾何を必要としている
ただしこれらの議論は具体的なレベルの話であって実際は
- 108 名前：１３２人目の素数さん [2013/12/11(水) 01:26:10.57 ]
- 例えば数体FとL分点をもつ楕円曲線Eとが設定される
古典的にはほとんどのEは左にとがった感じになる
このEの有理数解の集合が加法群になる
Eの上の点PとQを通る線分を引くと他に1点で交わるので
そのx軸で対称な点をP＋Qで演算を入れて、
Eの右上と左下の彼方に対応する無限遠点を放り込む
P＋P（＝2P）は接線と考えると
この解の中にはｎ倍すると0になるものがある（最初の接線に戻ってくる
このねじれ元はL分点とか言われる、
つまりL分点を持つという条件でEの部分群E[L]が引っ張ってこれる（有限巡回群
この着想をスキーム化するとFとEとLでひとつのスキーム論が決まる
体から素イデアルとか特定の準同型とかを集めて素元vといって
これらで体を完備化（同値類をとる）してつぶしF_vをつくる
そしてF_vから乗法的部分スキームが決まる
一方でFにE[L]を添加たF(E[L])のような体をつくっても乗法部分スキームがきまる
しかしほとんどのvにおいて両方の乗法部分スキームは一致しない
そこでF(E[L])のFとEを別の宇宙のF’とE'に取り換える
その宇宙でのF’(E’[L])のBase Pointをvが動くことになる（パラメーターとして
ここで元の宇宙と新しい別の宇宙での乗法部分スキームの位置を調整して
すべてのvで乗法部分スキームが一致するように宇宙をもってくる
これを数学でやるためにアナベロイド（遠アーベル、つまり遠い処のアーベル群で基本群がきまる
が必要になった
- 109 名前：１３２人目の素数さん [2013/12/11(水) 04:39:21.48 ]
- >>108
n倍して無限遠点に行くんじゃなくて、もとの接戦に戻った時ねじれになんのか
知らんかった
- 110 名前：１３２人目の素数さん [2013/12/11(水) 20:18:22.05 ]
- 誤解のある書き方でした
無限遠点にいくという解釈でOKだと思います
例えばL分点ならL−１回目の点と最初の点がｘ軸で対称になっているので、
その2点を通る直線は無限遠点で楕円曲線に接しているだろうという考えなので
- 111 名前：109 [2013/12/12(木) 03:17:41.03 ]
- >>110そういうことね
ありがと
- 112 名前：１３２人目の素数さん [2013/12/14(土) 20:32:08.08 ]
- 「望月新一氏が示した四つの論文が示す一又は二以上の定理その他の主張及び結果は、当該主張及び結果の各結論を左右する誤りを含むか否か」について、厳密ないし正確かつ具体的に検証する研究者として、
「ペレルマンが示した三つの論文が示したポアンカレ予想に対する肯定的な解決が正しいか否か」を検証した複数の研究者と
「ワイルズ及びテイラーが示した複数の論文が示したフェルマー予想に対する肯定的な解決が正しいか否か」を検証した複数の研究者とにそれぞれ相当する実力、知性ないしインテリジェンス及び判断力を
備えた研究者はいないのでしょうか。
みなさま、どうか教えてください。
- 113 名前：１３２人目の素数さん mailto:sage [2013/12/14(土) 21:10:11.70 ]
- とりあえず、コテつけようか。
NGに入れたいから
- 114 名前：１３２人目の素数さん mailto:sage [2013/12/15(日) 15:16:22.14 ]
- こういう文体が格好いいとか頭良さそうに見えるとか思ってキャラ付けしてるんだろうな
いつになったら醒めるのやら
- 115 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 19:11:09.78 ]
- 来たぞ！！！
www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Kenshou%20Houkoku%202013-12.pdf
- 116 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 19:49:23.50 ]
- まつもと まこと 東大辞めたのか
辞職しました：3年間東大にお世話になりましたが、実母を連れて 妻子のいる広島に2013年4月より戻ることになりました。
僕の所属は、3年前におりました広島大学数学専攻です
www.ms.u-tokyo.ac.jp/~matumoto/index.html
- 117 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 20:10:55.37 ]
- >>115
非専門家のくだりが笑えた
なんか色々な想いが感じられる
- 118 名前：１３２人目の素数さん [2013/12/18(水) 20:32:09.14 ]
- で、査読は進んでるの？
- 119 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 21:05:32.22 ]
- >>118
自分で>>115くらい読めよ
- 120 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 21:13:51.31 ]
- 望月さん本人が"正しい”とは発表しないんだな。
山下さんの論文を待って、彼が正式に発表するのか？
また大ニュースになるな。
- 121 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 21:19:45.27 ]
- >>119
118が言ってるのは投稿したとする雑誌における査読のことだろ
- 122 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 21:31:06.43 ]
- 学術雑誌に投稿ってRIMS-1756〜1759のことかな
- 123 名前：１３２人目の素数さん mailto:さげ [2013/12/18(水) 22:11:26.60 ]
- あー
4枚目のディオファントス不等式の意味をわかるのにも苦労してる
IU本体には到底入っていけない
結局はｐ進TとかΘ関数みたいな類似理論から入ると挫折しやすいというのは分かる気がする
準備論文からこつこつ読まないとダメと
11月から読み始めて
S. Mochizuki, Arithmetic Elliptic Curves in General Position,Math. J. Okayama
Univ. 52 (2010)
だけ理解するのもなかなか
楕円曲線の高さはQ以外では既約有理数のmaxでは定義できないから
因子と付値で定義しよう、ではなぜ共役差積や剰余体が右辺にきたのか？
こんなところで挫折している
シルバーマンとかVojtaのPDFをネットでひろって読んでる
もちろんアナベロイドとかアラケロフホッジなども意味がわからない
ただし説明はかなり丁寧なので真面目にやれば確実にいけるんだと思う
- 124 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 22:41:02.60 ]
- >>120
ペリルマンの時は本人発表なし
今回もそんな感じ？
山下が論文発表し講演して完了、と
- 125 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 23:12:56.29 ]
- 問題は欧米の大御所連中が何と言うかだろ。
取り巻きが何言っても補強にはならん。
招待講演断って印象悪くなってるからどうにもならんかもしれん。
- 126 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 23:14:55.15 ]
- 大御所連中って誰のことよ
- 127 名前：１３２人目の素数さん [2013/12/18(水) 23:16:18.23 ]
- 結局ひとりよがりがアダになったんだね
- 128 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 23:16:21.26 ]
- つか印象とかそういう叙情的な議論の入り込む話じゃないだろ
- 129 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 23:23:05.27 ]
- もっちー「俺が講演したところでお前らが理解できるわけない。講演するだけ無駄だ」
- 130 名前：１３２人目の素数さん mailto:sage [2013/12/18(水) 23:52:49.82 ]
- 128さんのいうとおり
大御所がどうこうなんてずっと後の話
大御所さんは、愛弟子とか、自分が信じる１、２の若者
（例えば、WeilとSerre &/or Deligneみたいな関係）
の判定を待って自分の判定を下す。
何人かの大御所さんの自伝（あるいは、みたいなもの）を見てみな
- 131 名前：１３２人目の素数さん mailto:sage [2013/12/19(木) 00:12:47.08 ]
- 望月氏が10年以上かけて築いた理論も、半年で踏破されてしまうものなのか。
でも孤独な戦いから、少なくとも2人理解者が現れただけでも嬉しいものなのではなかろうか。
- 132 名前：１３２人目の素数さん mailto:sage [2013/12/19(木) 00:59:20.23 ]
- 非専門家向けの解説も必要じゃないかね？ ひとりよがりに終止符を
- 133 名前：１３２人目の素数さん mailto:さげ [2013/12/19(木) 01:23:56.94 ]
- 学ぶより作るほうが10倍は大変
モハメド氏などは技術的には望月氏を超えているそうだし、
さらにIUを発展させていくのだろう
ところで一々検索したりPDFをフォルダに入れとくのも面倒なので
便利なまとめサイトを勝手にはっておこう
michaelnielsen.org/polymath1/index.php?title=ABC_conjecture
今回の非専門家の除外は原子力工学などを想起させた
つまり専門家として当然の行動だろう
- 134 名前：１３２人目の素数さん mailto:sage [2013/12/19(木) 01:31:53.58 ]
- >>131
数学ってそんなもんです
昔話だが、グロタンディックという人が１０年位かかって考えたことも
ドリーニュという少年が参入して１年くらいでほぼ全部習得したいみたいです
１０年くらいの成熟期間が必要だったようですが
（その間かなりの数のお弟子さん達が苦労したようですが）
- 135 名前：１３２人目の素数さん mailto:sage [2013/12/19(木) 01:41:22.74 ]
- ABC予想ってフェルマーやポアンカレ並みの予想なんでしょ？
BBCあたりがドキュメンタリー作ってくれっかな？
- 136 名前：１３２人目の素数さん mailto:sage [2013/12/19(木) 01:50:07.25 ]
- IUの先には何があるんですか？
- 137 名前：１３２人目の素数さん mailto:sage [2013/12/19(木) 01:57:06.43 ]
- 宇宙際メリン変換じゃね？
それで何を証明しようとしてるかは知らんが。
- 138 名前：１３２人目の素数さん [2013/12/19(木) 10:04:24.40 ]
- www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Kenshou%20Houkoku%202013-12.pdf
望月の考えでは、宇宙際理論 ＞ abc予想 なんだ。
abc予想証明は宇宙際理論構築の副産物だったんだ。
宇宙際理論は今後の数学研究の重要なツールになるんだな。
この論文の正しさが確認されたとしたら、
世界の若手の研究者は宇宙際理論研究に一斉に走り出すだろう。
- 139 名前：１３２人目の素数さん [2013/12/19(木) 10:19:11.20 ]
- 【数学】ＡＢＣ予想の望月新一教授の論文がシングルチェックを通過
engawa.2ch.net/test/read.cgi/poverty/1387415340/
1 名前：依頼 []： 2013/12/19(木) 10:09:00.67 ID:TTXAGp6KO ?BRZ(10001)
宇宙際タイヒミューラー理論の検証：進捗状況の報告（２０１３年１２月現在）
ime.nu/www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Kenshou%20Houkoku%202013-12.pdf
来たぞ。望月教授の発表だ。査読は山下氏のシングルチェックに合格。
今後、複数の研究者のダブルチェックにのりだす予定。
なお、研究者との交流を第一にしており、一般の人との交流は現在はまだ考えていないとのこと。
- 140 名前：１３２人目の素数さん [2013/12/19(木) 10:25:01.53 ]
- きんもー板かよ
- 141 名前：１３２人目の素数さん mailto:sage [2013/12/19(木) 14:51:13.01 ]
- 宇宙際メリン変換でリーマン予想も解けるんですか？
|
 |
