20/05/22 01:42:16 QHSdqkYA.net
>>535(ｷｺｪﾅ~ｨ!(ﾉ ﾟдﾟ))
567:１３２人目の素数さん
20/05/22 01:45:54 PAD81S3v.net
>>531
Scholzeも出してる結果を見る限りめちゃんこ賢いよ 話したことないけど
Woitのブログにはいきなり間違えたこと書いこんでてふいたけど
そこらへん注意深さはないね
Wiotって日本でいう茂木健一郎的な立ち位置なんかな
568:１３２人目の素数さん
20/05/22 01:48:53 PAD81S3v.net
佐藤幹夫って朝起きたときには数学にとかなんとか
いうてるけど彼自身数学やってないときには全然なんもやってないんだよな
俺はいつもやっていないけどｗ
569:１３２人目の素数さん
20/05/22 01:50:10 T3jZkptd.net
>>539
>話したことないけど
まるで玉川とは話したことがあるかのような書き込みだな
570:１３２人目の素数さん
20/05/22 01:53:26 UQrRsKBf.net
>>539
根性の曲がった竹内薫じゃないか。
研究者じゃないしな。
571:１３２人目の素数さん
20/05/22 01:54:29 PAD81S3v.net
>>541 あったらまずい？ｗｗ
572:１３２人目の素数さん
20/05/22 01:55:51 T3jZkptd.net
>>543
信じられないので証明してください
573:１３２人目の素数さん
20/05/22 01:56:09 UQrRsKBf.net
FaltingsのページのSelected Ph.Dにモッチいるのなw
まあ当然といえばそうだがw
URLﾘﾝｸ(www.hcm.uni-bonn.de)
574:１３２人目の素数さん
20/05/22 01:58:17 PAD81S3v.net
>>544
玉川さんめっちゃ性格いいｗｗ
575:１３２人目の素数さん
20/05/22 02:00:03 T3jZkptd.net
しょーもな
576:１３２人目の素数さん
20/05/22 02:05:04 WyQ/1f2R.net
>>545
これって数学者になったのがここに出てる人だけなのかな？
それとも数学者になったけど業績しょぼい人は載せてないのかな？
フィールズ賞学者でもこんなもんか
577:１３２人目の素数さん
20/05/22 02:12:14 PAD81S3v.net
Faltingsの学生になるだけでもう
ものすごい秀才じゃないといけないんだ
弟子をほとんどとらなかったのでこうなった
USで学部からそのまま同じ大学院にすすんで更にFaltingsにつくなんてほぼ不可能
調べれば分かるが不文律があって
どんなに優秀でもほとんどのUSの学生は学部と院はかえないといけない
望月氏はSGAを全部読んでから来いといわれたらしいし
578:１３２人目の素数さん
20/05/22 02:14:02 UQrRsKBf.net
>>548
さすがにもっといるだろうし、selectedというだけに弟子と認めた�
579:lしか載せてないと思うわ。
580:１３２人目の素数さん
20/05/22 02:16:20 PAD81S3v.net
１９や２０のとき望月氏がよみ終わっていたSGAを俺なんかいまだほとんど読んでないからねｗｗ
絶望する
581:１３２人目の素数さん
20/05/22 02:19:34 PAD81S3v.net
実はFaltingsが一番熱心に指導してたのは娘という説があって、あんまりできないもんだから
親父ががんばっていたという
582:１３２人目の素数さん
20/05/22 02:20:42 UQrRsKBf.net
>>552
それはワロタ
Faltings人相悪くて指導教官としては鬼な感じが滲み出てる。
583:１３２人目の素数さん
20/05/22 02:22:26 UQrRsKBf.net
>>551
BrianConradもあの長いのは全部読まなくても道具は手に入るとかレポートに書いてた気が。
584:１３２人目の素数さん
20/05/22 02:24:05 PAD81S3v.net
彼がドイツに帰った後のMax Planckでは一時期噂になってたらしい
娘以外は優秀でどうせほっておいても大丈夫だろうし
585:１３２人目の素数さん
20/05/22 02:26:27 PAD81S3v.net
>>554
望月氏
Conradすら舌をまく秀才だったので
586:１３２人目の素数さん
20/05/22 02:53:44.66 QHSdqkYA.net
>552
(ﾉд`)。
587:１３２人目の素数さん
20/05/22 02:59:54.77 QHSdqkYA.net
>555
゜。✳゜。゜
○゜。娘以外は優秀で
゜。
✳。゜
。゜○。✳゜。゜(ﾉд)。゜
588:１３２人目の素数さん
20/05/22 03:41:34 qDsLb9zD.net
>>530
ストレスだろうね
この8年の
589:１３２人目の素数さん
20/05/22 05:20:42 QNPTQEnc.net
>>552
Faltingsの言うあまりできないってどのレベルだよ
590:１３２人目の素数さん
20/05/22 05:44:12 QaFEzNvI.net
昨日のID:6EciHgHc（投稿数１３）の言い訳
「望月新一は金もらってない」（だから詐欺ではない）
金は要らんけど名声は欲しいんだろ？
591:１３２人目の素数さん
20/05/22 05:52:17 QaFEzNvI.net
今日のID:PAD81S3v（現在、投稿数１８）の言い訳
「研究の認定はピアレビューのある雑誌での出版
研究は出版して初めて研究論文が完結する世界」
「佐藤幹夫はRIMSでやりたい放題」（だからオレもやりたい放題するぜ）
「Faltingsはひどい人だ」（チクショー見返してやるぜ）
「玉川さんはいい人」（誉めてやったからオレのいうこと聞けよ）
もしかして・・・もっちー？ｗ
592:１３２人目の素数さん
20/05/22 05:57:21 QaFEzNvI.net
>>549
＞望月氏はSGAを全部読んでから来いといわれたらしい
今、某大学の教授やってる某氏はT大でK又先生（当時）の研究室入るときに
「Hartshoneは読んどいてください」といわれたそうだが、その時
まだ読んでなかった、といってた（でも今代数幾何の研究者やってるけど）
某さん、その節は大変お世話になりました
593:１３２人目の素数さん
20/05/22 06:12:42 QaFEzNvI.net
>>494
>研究の認定はピアレビューのある雑誌での出版
>研究は出版して初めて研究論文が完結する世界
自分がピアレビューのある雑誌の編集者になって
独断で自分の論文を出版させれば架空の成果を認定できる
ってことですね？
でも、世の中そんなに甘くなかったようですよ
594:１３２人目の素数さん
20/05/22 06:28:48.20 QaFEzNvI.net
今日のID:UQrRsKBf（現在 投稿数１２）は茶坊主の典型
ID:PAD81S3vとグルだったら笑う
RIMS 緊急事態宣言解除後 初の活動は
深夜の5ch数学板でプロパガンダ！ｗｗｗ
595:１３２人目の素数さん
20/05/22 06:34:09.59 QaFEzNvI.net
余談
娘ってこの人かな
URLﾘﾝｸ(www.genealogy.math.ndsu.nodak.edu)
596:１３２人目の素数さん
20/05/22 07:27:05 ZxOmjIDr.net
>>556
たしかに秀才で天才ではないな
秀才が妄想からなんでもありの暗黒面
へ落ちていっただけ
597:１３２人目の素数さん
20/05/22 07:30:06 6EhJwuRK.net
>>530
白いポロシャツは20代かと思ってた
スーツが32くらい？
数理研の記念講演が42とか
でも51で自分に無頓着ならあんなもんじゃないのか
むしろホームページの地鶏が太って無惨に見えたから持ち直したんだなと安心したわ
598:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 07:38:24 gk5ulKI8.net
>>443
(引用開始)
もし査読者がいるとすれば、フェセンコとサイードだろう
つまり望月の支持者は、本人を除けば
フェセンコ・サイード・玉川・星・南出
の５名か
(引用終り)
非常につまらんジョークで恐縮だが（＾＾；
５名で、2^5=32で、確率は 1-2^5=31/32=0.968＝～
599:97％ ６名で、2^6=64で、確率は 1-2^6=63/64=0.984＝～98％ （６名：本人含む場合） 確かに、これだと99％（>>432）に足りないな～ｗ（＾＾
600:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 07:52:41 gk5ulKI8.net
>>453
ブライアン・コンラッド：谷山?志村予想の人だったのか（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
谷山?志村予想
(抜粋)
数学において、谷山・志村予想は、「すべての有理数体上に定義された楕円曲線はモジュラーである」という主張であり、アンドリュー・ワイルズとその弟子クリストフ・ブロイル（英語版）、ブライアン・コンラッド（英語版）、フレッド・ダイアモンド（英語版）、リチャード・テイラーらによって証明された。
今日ではモジュラー性定理またはモジュラリティ定理と呼ばれ、数論における一つの帰結と考えられている。ワイルズは半安定楕円曲線における谷山・志村予想を証明することで、フェルマーの最終定理も証明した。
モジュラリティ定理は、ロバート・ラングランズによるより一般的な予想の特別な場合でもある。ラングランズ・プログラムは、保型形式、あるいは保型表現（適切なモジュラ形式の一般化）を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする。
拡張された予想のうち、ほとんどのケースは未だ証明されていないが、Freitas, Le Hung & Siksek (2015) が実二次体上定義された楕円曲線がモジュラーであることを証明した。
参考文献
・平方因子を持たない場合 ワイルズ 1995
Andrew Wiles (May 1995). “Modular elliptic curves and Fermat's Last Theorem (モジュラー楕円曲線とフェルマーの最終定理)”. Annals of Mathematics 141 (3): pp. 443-551.
Richard Taylor and Andrew Wiles (May 1995). “Ring-theoretic properties of certain Hecke algebras (ある種のヘッケ環の理論的性質)”. Annals of Mathematics 141 (3): pp. 553-572.
・27で割れない場合 リチャード・テイラー他 1999
Conrad, B.; Diamond, F.; Taylor, R. (1999). “Modularity of Certain Potentially Barsotti-Tate Galois Representations” (PDF). J. Amer. Math. Soc. 12: pp. 521-567.
・一般の場合
Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001), “On the modularity of elliptic curves over Q: wild 3-adic exercises”, Journal of the American Mathematical Society（英語版） 14 (4): pp. 843-939,
601:１３２人目の素数さん
20/05/22 07:53:40 h2ThgtF/.net
数学板で安倍がどうのこうのいう輩は大抵数学とは無縁の人間だろう
602:１３２人目の素数さん
20/05/22 07:56:05 ZxOmjIDr.net
>>1
【閲覧注意】隔離スレ
>なお、このスレは本体IUTスレの43
からの分裂スレ�
603:ﾅすが、実は 分裂した No43スレの中では このスレ立ては 最初だったのです！（＾＾；） スレ主は削除されたガロアスレと 同一人物でコピぺ収集魔。 IUTスレの乗っ取りを謀るも失敗し 現在 スレ主の隔離スレ
604:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 07:56:44 gk5ulKI8.net
>>570
追加
（参考）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
谷山・志村予想について: MATHEMATICS.PDF
整数論の最前線
楕円曲線の数論幾何
フェルマーの最終定理，谷山-志村予想，佐藤-テイト予想，そして・・・ 講演用スライドを加筆・修正したもの
伊藤 哲史
京都大学理学部数学教室 ガロア祭
2007年5月25日(金)
(引用終り)
ところで
>・一般の場合
> Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001), “On the modularity of elliptic curves over Q: wild 3-adic exercises”, Journal of the American Mathematical Society（英語版） 14 (4): pp. 843-939,
pp. 843-939,だから、およそ100ページだけど
この中に、読んで理解した人いる？（＾＾
605:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 08:04:35 gk5ulKI8.net
>>572
1つだけ、ギャップを指摘しておく
>IUTスレの乗っ取りを謀るも失敗し
ここ、ギャップあり！ｗ
１．IUT本体スレには、殆ど書いていない
２．”No43スレ”を立てた経緯は、「自分は立てられないから、だれか立てて」という依頼があったから 立てただけで、あんまり書く気は無かったのだが
（その後、No43が2つ立って、計3つになった。その内の1つは、まだ残っている（下記））
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板)
３．私の立てたNo43は、ずっと放置されていたが、4月3日の記者会見を受けて、放置されていた43を応援スレとして 使い出したってことなのです（＾＾
以上
606:１３２人目の素数さん
20/05/22 08:13:53 QaFEzNvI.net
>>569
＞５名で、2^5=32で、確率は 1-1/2^5=31/32=0.968＝～97％
＞６名で、2^6=64で、確率は 1-1/2^6=63/64=0.984＝～98％
なぜ確率1/2？なぜ独立？
607:１３２人目の素数さん
20/05/22 08:17:57.62 V3+7rBdi.net
もっちの画像ぐぐってたら急にぽんっと和服着たガッキーが出てきて癒される
本当に清楚なお嬢さんだわ
608:１３２人目の素数さん
20/05/22 08:40:12.64 QHSdqkYA.net
ｸﾞｸﾞると…
「ファルティングス」
↓
゜✳。数学者。✳゜(ﾊﾟﾋﾟｰ)
。。。
「ウルリケ」。。。
↓
・・・
「ｳﾙﾘｹ·ﾏﾘｰ·ﾏｲﾝﾎﾌ」…
「西ドイツのテロリスト、ジャーナリスト。
ドイツ赤軍の創設者、指導者の一人。
1960年代末から70年代にかけてドイツ全土で、銀行強盗、誘拐、爆破テロを行い、逮捕後、裁判中に獄死した」
゜○。
。✳゜。゜
一番熱心に指導していたのは娘
あんまりできないもんだから
。
゜。✳゜。○゜。…(ﾉд)゜
。○゜
609:１３２人目の素数さん
20/05/22 08:59:48 QHSdqkYA.net
゜＊。゜
。゜一生懸命やってても
゜早死に獄死テロリストより
。゜。埋もれてて。。。
゜＊苦＊差ｱｧｯ…!ʬʬʬʬʬʬ＊腐＊゜
。＊゜。○゜。゜(ﾉ∀`)。゜
610:１３２人目の素数さん
20/05/22 09:17:25 y0MCuuMW.net
「やりたい放題」て要するに自分の弟子を優遇するとかでしょ？
611:１３２人目の素数さん
20/05/22 09:22:47 QaFEzNvI.net
Tarskiみたいに弟子（♀）と「寝た」とかいうんなら
まさに「ヤリたい放題」だが
612:１３２人目の素数さん
20/05/22 09:34:48 laKZPzR1.net
少なくともEGA、そしてSGAも読んでいる人が多い世界で「準備も含めて1000ページ以上だ」というIUTの大言壮語は通用しないな
EGAだけで1800ページ、SGAは6500ページだし
613:現代数学の系譜 雑談
20/05/22 09:53:54.12 koULGAjk.net
>>575
(引用開始)
＞ ５名で、2^5=32で、確率は 1-1/2^5=31/32=0.968＝～97％
＞
614: ６名で、2^6=64で、確率は 1-1/2^6=63/64=0.984＝～98％ なぜ確率1/2？なぜ独立？ (引用終り) お答えします（＾＾ ベイズ推定（下記）もどきで、初期値として「二択の確率1/2 及び 独立」を仮定した 真値の推定に不足と判断すれば、さらに推定を進めれば良いのです（＾＾ （参考） https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%BA%E6%8E%A8%E5%AE%9A ベイズ推定 (抜粋) ベイズ推定（ベイズすいてい、英: Bayesian inference）とは、ベイズ確率の考え方に基づき、観測事象（観測された事実）から、推定したい事柄（それの起因である原因事象）を、確率的な意味で推論することを指す。 ベイズの定理が基本的な方法論として用いられ、名前の由来となっている。統計学に応用されてベイズ統計学[1]の代表的な方法となっている。 ベイズ推定においては、パラメータ \,Θ}\,Θの点推定を求めることは、ベイズ確率（分布関数）を求めた後に、決められた汎関数： p(Θ)→Θ^の値（平均値もしくは中央値など）を派生的に計算することと見做される。 ・標語的には、「真値は分布する」、「点推定にはこだわらない」などの考え方に依拠している。 ベイズ確率（ベイジアン）の考え方では、A を定数とする必要はなく、上記のような分布に従う確率変数としてよい（客観的に定義できるものではないから、主観確率である）。 この考え方からすると、上のベイズの定理の式は、 主観確率分布 P(A) に、係数 P(X|A) / P(X) を掛けることにより、証拠 X を加味して、より客観性の高い確率分布 P(A|X) を求める と解釈できることがわかる。このように確率分布をより客観的にする方法（ベイズ改訂）を利用して、A を推定する方法が、ベイズ推定である。 さらに新たな証拠が加えられれば、事後確率を新たに事前確率として扱い、ベイズ改訂を繰り返すこともできる（さらに高い客観性が期待される）。
615:１３２人目の素数さん
20/05/22 09:58:34.39 QaFEzNvI.net
>>582
＞ベイズ推定もどきで
「もどき」なんだｗ
＞初期値として「二択の確率1/2 及び 独立」を仮定した
仮定が誤りだと君が認めるのは、いかなる場合？
616:１３２人目の素数さん
20/05/22 10:04:37 ZxOmjIDr.net
>>574
1 うそ
2 スレの趣旨を改変
3 応援隔離スレとなる
隔離スレでがんばれ
617:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:07:00 koULGAjk.net
>>581
>少なくともEGA、そしてSGAも読んでいる人が多い世界で「準備も含めて1000ページ以上だ」というIUTの大言壮語は通用しないな
>EGAだけで1800ページ、SGAは6500ページだし
その話は、下記 Brian Conrad の記事が参考になるだろう
>>453より（参考）
URLﾘﾝｸ(github.com)
on 24 Feb 2016 annonymath
Brian Conrad によるオックスフォードでの IUT ワークショップのノート（試訳）
(抜粋)
2. 基本的な考え方の理解を遅らせたのは何か？
時には IUT より以前に発表された望月の他の論文、一般の数学者にとっては不慣れな内容（Frobenioid や anabeliod）に関する論文への参照がなされ、数多くの新しい概念を理解する必要に迫られる。この結果として無限退行するかのような印象が生み出され、これもまた意欲を削ぐ効果をもたらした。
しばしば望月の議論は一般論から具体論へ進むという形をとるからである（論理としてはよいだろうが、新しい概念を学ぶ際には必ずしもよい順序とは言えない）。
例えば、もし望月の理論における Frobenioid（この単語は「Frobenius」と「monoid」の合成語である）という重要な概念を理解しようとしたとき、この概念を構築しようとするモチベーションが、彼の楕円曲線に関する Hodge-Arakelov 理論の研究から来ていることがわかる。
しかし、この結果として 2 つの（数学的なというよりは）心理的な障害にぶつかる：
１．Hodge-Arakelov 理論は最終的には使われない（数論的な 小平-Spencer 理論を構築することが、関数体の場合に触発された望月の当初の狙いであったが、このアプローチは失敗した）。
最終的には使われないとしたら、ただモチベーションを理解するためだけに、どれだけの時間を非自明な理論の学習に費すべきなのだろうか？（もし費すとしたら、だが）
つづく
618:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:07:31 koULGAjk.net
>>585
つづき
２．Frobenioid の理論に関するほとんどの部分（望月の、IUT より以前に発表された 2 つの論文の内容）も、最終的には使われない（特殊例のみで十分である）。
しかし、初めて学ぼうとした読者は気付かないかもしれず、全ての理論を理解しなければならないと（誤って）思い込むかもしれない。
望月の Web ページに、究極的にはこの理論のほとんどが使われないことを述べている短い注釈があるが、独学中の数学者は気付かないかもしれない。
たとえこの注釈を発見し、これらの論文のうち最終的に使われる重要な特殊例を取り扱った部分のみを読もうとしても、膨大な記号・用語や、前の方で述べられている結果が使用されているのを目のあたりにすることになる。
こうして、「特殊例を理解するためだけでも、結局のところ最も一般的な議論を理解するために最初から読まなければならないのではないか」という恐怖を（間違ってはいるものの）感じ、結局は意欲を失ってしまうかもしれない。
これは Grothendieck のエタール・コホモロジーを学ぶときのことを思い起こさせる。近年では、この理論を一から直接的かつ（多かれ少なかれ）効率的なやりかたで構築し、重要な定理を証明していくようなよい本がいくつかある。
数分冊に渡る SGA4 における Grothendieck の定式化では、非常に抽象的なトポスの一般理論を構築するために最初の何百ページもが割かれている。これは後の様々な一般化のための基礎となることを目指して書かれていた（そして後に実際に一般化された）。
このような非常な一般性はしかし、エタール・コホモロジーのみを理解しようとするためには（任意の圏を理解するためにさえも）完全に不必要である。
3. 宇宙際 Teichmuler 理論 (IUTT = IUT) とは何か？
(引用終り)
619:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:09:45 koULGAjk.net
>>584
応援ありがとうｗ（＾＾；
620:１３２人目の素数さん
20/05/22 10:17:55 QaFEzNvI.net
>>585-586
URLﾘﾝｸ(github.com)
コピペするなら、真っ先にこの箇所だろう
－－－
IUT を理解した数学者たちの責務は、より広い数論幾何学者コミュニティに重要な点を説明するために全力を尽くすことだ。
理解している数学者は、証明がどのように動いており、何が Szpiro 予想につながる最も重要な洞察なのか、他の数論幾何学者に対してよりうまく説明する必要がある。
難しい数学理論を学ぶために時間を費そうと人々を動機付けるのは、文書および口頭で効果的に重要な考え方を伝えるコミュニケーションだ。
最近の例を挙げるなら、perfectoid 空間に関する 1 年あまりのセミナーをやってみて私が気付いたのは、この話題に関して基礎となる理論の詳細はおそろしく膨大であるのにもかかわらず、要領のよいサーベイ論文や、時間・量ともに程
621:々なレクチャが理論の公表後かなり早いうちに現れたことだ。 私がオックスフォードにいた間に経験したことは全て、広く共有されている次の考えを支持している：数学においてこれまでなされた偉大なブレークスルーに対してできたように、IUT について上記のようなことができないとは思えない。 これまで 3 回ワークショップが開催された。3 年が経っている。もう半年次のワークショップまで待つというのは、このような窮状に対する答えではない。 －－－
622:１３２人目の素数さん
20/05/22 10:20:57 QaFEzNvI.net
>>588のつづき
ーーー
私がこれまで理解したどんな数学的内容についても、十分訓練を受けた数学者に対して重要な点を分かり易く示せる教育的で基本的な例や簡潔な命題が存在する。
IUT が特殊だと考える理由は、特にオックスフォードのワークショップに参加したような人々を前提聴衆とするならば、ない。
これを簡単な例で示そう。
ティーブレイクの際、解析学を専門とするポスドクと話していた。
私は、最初はまるで意味を欠く abstract nonsense だと思われたが、その実より具体的な手法では面倒な（あるいは不可能な）取り扱いを非常に効率化するような理論の例として、層論を挙げた。
このポスドクは層論で何ができるのかまったく知らなかったので、私は彼に層コホモロジーを用いて de Rham の定理と複素解析における topological obstruction を統一的に取り扱い、分析する方法を説明した；
20 分のうちに彼は理解し、もっと勉強したいと言った。
誰も IUT の重要部分を 20 分のみで理解できるなどとは思わない。
しかし、もし IUT を理解したという数学者が、教育的かつわかりやすい例や、重要な点を明快に示す簡潔な主張を提示できないのであれば、努力が足りない。
深く強力な考え方に違いないものを学ぶためならば、誰もが全力で理解しようとするだろう。
しかし彼らが旅立つ前に、これから歩を進めようとする場所の地形を頭に入れておかなければならない。
ーーー
623:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:38:39 koULGAjk.net
>>586
(引用開始)
こうして、「特殊例を理解するためだけでも、結局のところ最も一般的な議論を理解するために最初から読まなければならないのではないか」という恐怖を（間違ってはいるものの）感じ、結局は意欲を失ってしまうかもしれない。
これは Grothendieck のエタール・コホモロジーを学ぶときのことを思い起こさせる。近年では、この理論を一から直接的かつ（多かれ少なかれ）効率的なやりかたで構築し、重要な定理を証明していくようなよい本がいくつかある。
数分冊に渡る SGA4 における Grothendieck の定式化では、非常に抽象的なトポスの一般理論を構築するために最初の何百ページもが割かれている。これは後の様々な一般化のための基礎となることを目指して書かれていた（そして後に実際に一般化された）。
このような非常な一般性はしかし、エタール・コホモロジーのみを理解しようとするためには（任意の圏を理解するためにさえも）完全に不必要である。
(引用終り)
思うに、山下サーベイに求められていたのは
厳密な”The exposition was designed to be as self-contained as possible.”ではなく
むしろ、ラフな ガイドブック あるいは 目的地に 楽に到達できる 道筋を示すもの（厳密さを欲する人は IUTの何ページを とか）
だったような気がする
自学自習をするとき、薄い本はかえって読みにくいことがある
分厚いけれども、分かり易く丁寧に書いてある本がある。米国の本に多い
山下サーベイは、ページ数だけ減らして しかし 記載は無理矢理詰め込んだという気がする
山下サーベイを読んで、IUTが分かったと名乗り出た人皆無
かつ、望月サイトから、山下サーベイへのリンクなし（星のIUT入門にはリンクある）
但し、山下サーベイの良いところは、Indexが充実しているので、IUT辞書（あるいは辞典）としての使い道があるように思う
もっとも、IUT辞典と考えるなら、そういう視点で、もう少し改善の余地ありと思う
なんにせよ、現状は 山下サーベイは望月先生に受けていないのが なんともね～（＾＾；
624:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:47:39 koULGAjk.net
>>588-589
あなたが引用した部分については全く同意だ
(引用開始)
私がこれまで理解したどんな数学的内容についても、十分訓練を受けた数学者に対して重要な点を分かり易く示せる教育的で基本的な例や簡潔な命題が存在する。
IUT が特殊だと考える理由は、特にオックスフォードのワークショップに参加したような人々を前提聴衆とするならば、ない。
誰も IUT の重要部分を 20 分のみで理解できるなどとは思わない。
しかし、もし IUT を理解したという数学者が、教育的かつわかりやすい例や、重要な点を明快に示す簡潔な主張を提示できないのであれば、努力が足りない。
深く強力な考え方に違いないものを学ぶためならば、誰もが全力で理解しようとするだろう。
しかし彼らが旅立つ前に、これから歩を進めようとする場所の地形を頭に入れておかなければならない。
(引用終り)
それは、私の>>590
>思うに、山下サーベイに求められていたのは
>厳密な”The exposition was designed to be as self-contained as possible.”ではなく
>むしろ、ラフな ガイドブック あるいは 目的地に 楽に到達できる 道筋を示すもの（厳密さを欲する人は IUTの何ページを とか）
>だったような気がする
とほ�
625:ﾚ同じ趣旨を、もっと適確に数学的に言ったのですしょうね だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できな おれと、同じかそれ以下レベルだよ、あなたは、無限公理さん！ｗｗ（＾＾；
626:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:48:57 koULGAjk.net
>>591 タイポ訂正
だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できな
↓
だが、もし、それが達成されても、あなたがIUTを数学的に理解できないことだけは、断言できるな
分かると思うが（＾＾；
627:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 10:50:45 koULGAjk.net
>>591 補足
>おれと、同じかそれ以下レベルだよ、あなたは、無限公理さん！ｗｗ（＾＾；
ZFCでは、公理が無限にある？か
笑えるぜ（＾＾；
628:１３２人目の素数さん
20/05/22 10:55:37.46 QaFEzNvI.net
>>591
私がIUTを理解する必要はないが
君は、ここ、何言ってるか理解したかい？
「層コホモロジーを用いて de Rham の定理と複素解析における topological obstruction を統一的に取り扱い、分析する方法」
特に”topological obstruction”（位相的な障害）ね
629:１３２人目の素数さん
20/05/22 11:09:19 QaFEzNvI.net
>>593
まだ公理図式を理解してないの？ 実は、数学大嫌いでしょ？
630:１３２人目の素数さん
20/05/22 11:10:21 cUSKSCSg.net
RIMSは天才集団みたいな現実とのギャップがある評価が気になる。
そういう思い上がりが発生させたまちがいだと思うし。
631:１３２人目の素数さん
20/05/22 11:13:38 ERhcpVzW.net
モッチーってふと寂しくなったりすることないのかな
632:１３２人目の素数さん
20/05/22 11:16:03 QaFEzNvI.net
公理型（公理図式）
URLﾘﾝｸ(ja.wikipedia.org)
「高階論理では有限！」と脊髄反射的言訳をする前に
公理図式の具体的な使い方を理解しようね
「数学的帰納法（まさに公理図式）の中の命題Pは公理か定理に限る！」
なんて力みかえって絶叫したら大声で嘲笑されるよ マジで
URLﾘﾝｸ(ja.wikipedia.org)
633:１３２人目の素数さん
20/05/22 11:19:07 QaFEzNvI.net
ところで
星の検索結果「宇宙際 Teichmüller 理論入門」（＆「続・・・」）には
モノドロミーって言葉が全く出てこないね
634:１３２人目の素数さん
20/05/22 11:24:03 IxQXZiFM.net
自称おっちゃんです。
>>590
>自学自習をするとき、薄い本はかえって読みにくいことがある
IUT や数論幾何に限らないが、高度な数学になると、殆どの分野についてその分野の薄い本はないといっていい。
一冊でその分野の標準的なレベル以上の内容は書き切れない。
635:１３２人目の素数さん
20/05/22 11:33:46 QaFEzNvI.net
>>600
高校までの数学とはわけが違うからね
大体、全貌がわかってるような話はまずないから
例えば、トポロジーだったら２次元の場合は
向き付け可能な閉曲面の場合「穴」の数で分類できるし
どうやってそういう曲面を構成するかもわかってる
しかし３次元の場合はもう同様の「全体図」は期待できない
まさに発展途上だから
一般次元の場合、抽象的な一般論とその適用による成果の話が主
だから理屈に興味のない人はほぼ読むところがない
636:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 11:56:15 koULGAjk.net
>>594
ここだけ
私がIUTを理解する必要はないが
↓
私がIUTを理解できるはずがないが！
”あなたには”ね！ ｗｗｗ（＾＾；
637:１３２人目の素数さん
20/05/22 12:11:01 QaFEzNvI.net
>>602
公理図式の使い方、理解したか？
∈と⊂の違いも判らんようじゃ、無理か
あんた、この板で何したいの？
コピペでマウントなんて、無理だって
あんたが大学数学の初歩も分かってないってことはみんな承知だから
数学板のミソッカスで嬉しい？
URLﾘﾝｸ(ja.wikipedia.org)
638:１３２人目の素数さん
20/05/22 12:15:45 QHSdqkYA.net
>>597。○゜*。゜✳。゜
。゜
＊ ま 逃 気 ふ
゜ す れ づ と さ
。 ま る い 我 う
○ す や た に し
゜ 数 う 寂 返 て
。 学 に し っ
＊ に ま さ て
゜ 没 た か
。 頭
639: ら ○ す ゜ る ＊ の 。 で ○ せ 。 う ゜ か
640:１３２人目の素数さん
20/05/22 12:24:01.95 QHSdqkYA.net
>>604
(↑上記レス訂正致します↙)
>没たか → 没たか
>頭ら →→ 頭＊ら
(＊印·一枡空白)
641:１３２人目の素数さん
20/05/22 12:40:52.76 QHSdqkYA.net
゜。○゜。✳゜゜
。゜
＞あんたこの板で何したいの？
゜。
。゜。✳゜
。○゜(…ﾎﾟﾎﾟ…ﾎﾟｪﾑ…(*‥))
✳゜
゜。
。✳゜○。
＞数学板のミソッカスで
゜○。゜嬉しい？
。゜
(;¨)ﾊｯ!
…ｺﾞｯ…ｺﾞｺﾞ…
ｺﾞﾒﾝﾅｻ~ｨ…゜。゜(ﾉд`)゜
642:１３２人目の素数さん
20/05/22 12:47:12.65 QaFEzNvI.net
>>606
癒される書き込みなら許すよ
643:現代数学の系譜 雑談
20/05/22 13:24:28.64 koULGAjk.net
>>603
おっさんの弱点は、できるだけ記号で思考しようとしている点だよ。それで数学科落ちこぼれたんだ
ZFC 9個の公理と言わずに、8個の公理＋1個の公理図式とでもいえばよかったか？
なお、IUTがZFCの公理系に翻訳できるとしても、IUT内では必ずしも 一階述語論理とは言えないよね
∵ 圏論を使いまくりだから
それに、ZFCの保存拡大のフォン・ノイマン＝ベルナイス＝ゲーデル集合論(NBG)は、有限公理化されている
∵ クラスの概念を使うから
おっさんのシッタカは、底が見えているよｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
公理的集合論
ZF 公理系
・置換公理 "関数クラス"による集合の像は集合である：
∀ x∀ y∀ z((ψ (x,y)∧ ψ (x,z))→ y=z)→ ∀ X∃ A∀ y(y∈ A←→ ∃ x∈ Xψ (x,y)) 。
この公理は、論理式 ψ をパラメータとする公理図式である。
つづく
644:現代数学の系譜 雑談
20/05/22 13:24:46.84 koULGAjk.net
>>608
つづき
URLﾘﾝｸ(ja.wikipedia.org)
公理型
（公理図式から転送）
ナビゲーションに移動検索に移動
公理型（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。
有限公理化
型変数に代入されうる部分論理式や項の個数が可算無限だとすれば、ある公理型は可算無限個の公理の集合を表すことになる。
この集合は通常は再帰的に定義できる。公理型を用いずに公理化できる理論は「有限公理化」可能であると言う。
有限公理化可能な理論は、たとえそれらが推論を行う上で実用性に劣っていても、超数学的なエレガントさの上では幾分か優位であると看做される。
公理型の例
公理型の実例としてよく知られているものを二つ挙げる。
帰納型：ペアノ算術の一部であり自然数の算術である。
置換の公理型（英語版）：集合論の標準的なZFC公理系による公理化の一部。
これらの型は除去できないことが証明されている（最初の証明はリチャード・モンタギューによる）。従ってペアノ算術とZFCは有限公理化できない。このことは数学の様々な公理的理論や、哲学、言語学その他についても当てはまる。
有限公理化可能な理論
ZFCで証明できる定理は全てフォン・ノイマン＝ベルナイス＝ゲーデル集合論（英語版）(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。新基礎集合論(NF)は有限公理化可能だが、その場合はエレガントさが幾分か失われる。
つづく
645:現代数学の系譜 雑談
20/05/22 13:25:10.66 koULGAjk.net
>>609
つづき
高階論理において
一階述語論理における型変数は、二階述語論理においては通常は除去できる。何故なら、型変数は何らかの理論中に現れる要素間で成り立つ性質や関係そのものを代入可能な変数として位置付けられることが多いからである。上で挙げた帰納法 と
646:置換 の型は正にそうした例に当る。高階述語論理では量化変数を用いてあらゆる性質や関係を渡るような記述ができる。 https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 圏論 集合論に基づく定式化では不十分だった代数幾何学の公理化を与える言葉として進展した。さらに一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。 (引用終り) 以上
647:１３２人目の素数さん
20/05/22 13:31:54.13 QHSdqkYA.net
|∞(ｺｿｯ…)
|;“）…ﾁｮｯﾄ気ﾆﾅｯﾃ…覗ｨﾃ…)
。○゜
゜。癒される書き込みなら゜*。
゜。✳゜
。○゜
゜(((*“))) 。✳゜
。゜
゜。✳゜🎶。゜
|
|\(*´∀`)/))♪！
648:１３２人目の素数さん
20/05/22 13:36:06.67 QHSdqkYA.net
|≡３
ﾋﾟｭｯ!
649:現代数学の系譜 雑談
20/05/22 13:49:36.16 koULGAjk.net
>>594
別に理解したくはないが、キーワード検索すれば下記だな
URLﾘﾝｸ(ja.wikipedia.org)
特性類
特性類 (Characteristic class)とは、位相空間 X の上のベクトル束やより一般に主束に対してさだまる X のコホモロジー類である。
特性類は、主束の切断がどの程度存在するによって定まるもので、局所的には自明である主束の構造が大域的にどれほど非自明であるかをはかる位相不変量である。
特性類は、代数多様体上のベクトル束に対しても定義され、代数トポロジー、微分幾何学や代数幾何学における統一した幾何学的な考え方の一つである。
1935年の多様体上のベクトル場についてのエドゥアルト・シュティーフェル (Eduard Stiefel) とハスラー・ホイットニー (Hassler Whitney) の仕事より、特性類の考え方が発生した。
動機
特性類は、反変性を持ち、本質的にコホモロジー論的な現象である。ベクトル束の切断は空間上の函数の一種で、変更を必要とする切断の存在から反変性を導く。
ホモロジー論やホモトピー論は空間への写像を基礎とする共変な理論であり、反変な理論であるコホモロジー論はその後に発見された。
障害の理論（英語版）(obstruction theory)の一部として特性類の理論が生まれた1930年代において、ホモロジー論の「双対」な理論を構築しようとする大きな理由として特性類の理論がある。
曲率不変量に対する特性類のアプローチは、一般化されたガウス・ボネの定理を証明するための理論を作ることが目的であった。
つづく
650:現代数学の系譜 雑談
20/05/22 13:50:23.08 koULGAjk.net
>>613
つづき
＜障害の理論（英語版）(obstruction theory)＞
URLﾘﾝｸ(en.wikipedia.org)
Obstruction theory
In mathematics, obstruction theory is a name given to two different mathematical theories, both of which yield cohomological invariants.
In the original work of Stiefel and Whitney, characteristic classes were defined as obstructions to the existence of certain fields of linear independent vectors. Obstruction theory turns out to be an application of cohomology theory to the problem of constructing a cross-section of a bundle.
In homotopy theory
The older meaning for obstruction theory in homotopy theory relates to the procedure, inductive with respect to dimension, for extending a continuous mapping defined on a simplicial complex, or CW complex.
It is traditionally called Eilenberg obstruction theory, after Samuel Eilenberg. It involves cohomology groups with coefficients in homotopy groups to define obstructions to extensions.
(引用終り)
以上
651:１３２人目の素数さん
20/05/22 14:12:05.67 UQrRsKBf.net
>>555
Faltingsが娘に継がせようとしてるのワロタw
652:１３２人目の素数さん
20/05/22 14:26:09.36 iAiYPYhL.net
ブンゲンインタビュー、縦読みしてきたけど確かに既出なことばかりだな
もっちーがブンゲンを聞き手として頼りにしてたのはわかったよ
数学もドラマの感想までも何年もじっくり聞いてもらって論文書き上げたんだから、感謝してるんだろうな
でも2人きりでセミナーしようとか一日中食事して美術館いったりするとか、共同研究ってデートみたい
653:１３２人目の素数さん
20/05/22 15:28:31 QaFEzNvI.net
>>608
そもそもZFCの公理の数を書く必要あったか？
圏論が一階論理上の体系でないならますますZFCを持ち出すのはおかしい
（二階論理上ならZFC2と書くのが正しい）
NBGはZFCとは異なる体系だから公理の数は違うよ
あんた必死に言い訳してるが、あんた、自分が馬鹿だと気付いてないんか
気付いたら恥ずかしくて生きてられないんか なら死ぬか
今死ぬか ここで死ぬか 死ぬならさっさと死んでくれ
あんたに死ぬ勇気があるんなら見せてくれ
死ぬ勇気もないくせに、自分は馬鹿じゃないとか言い訳するな みっともない
654:１３２人目の素数さん
20/05/22 15:34:16.08 QaFEzNvI.net
>>613
＞キーワード検索すれば
あんた、キーワード検索しただけで自惚れる悪い癖やめたら？
結果、読まずにコピペしとるだろ
読んだというなら、障害類とよばれるコホモロジー類は何の「障害」か答えてみろ
そもそも、あんた、コホモロジーが何だか知っとるのか？
655:１３２人目の素数さん
20/05/22 16:08:43 UQrRsKBf.net
またLonelyWolfか
656:１３２人目の素数さん
20/05/22 16:28:48 QaFEzNvI.net
>>619
今日の深夜、暴れてた人だねｗ
RIMSの人なの？
657:１３２人目の素数さん
20/05/22 16:31:50 QaFEzNvI.net
495 ：１３２人目の素数さん[]：2020/05/22(金) 00:06:30.66 ID:UQrRsKBf
妬みがすごいな
503 ：１３２人目の素数さん[]：2020/05/22(金) 00:13:51.10 ID:UQrRsKBf
メディアはいろいろいうけど徐々に若い人も集まってきてる感じするから展開気になってます。
IUTの次にモッチが何をターゲットに研究していくのかも気になるわ。
505 ：１３２人目の素数さん[]：2020/05/22(金) 00:17:38.74 ID:UQrRsKBf
しかし久々にこのスレに6EciHgHc氏みたいなまともなレスをする人間が現れた気がw
507 ：１３２人目の素数さん[]：2020/05/22(金) 00:20:31.82 ID:UQrRsKBf
IUTの研究会、ノッティンガムの他に中国、フランスの参加者が増えてた気がしたけど
中国だと今数論の研究の方向どういう感じで見てるのか気になるなー。
510 ：１３２人目の素数さん[]：2020/05/22(金) 00:29:37.43 ID:UQrRsKBf
そりゃメディアの記事とtwitter周りしか話理解できないから堂々巡りになるわなw
532 ：１３２人目の素数さん[]：2020/05/22(金) 01:29:06.91 ID:UQrRsKBf
これは間違いないな。ラジオ聞いたけどすげー頭いいのがわかるw
534 ：１３２人目の素数さん[]：2020/05/22(金) 01:33:05.11 ID:UQrRsKBf
佐藤幹夫の朝起きて云々に話は才能がなければついてけないわな
どこまでも追い込めるような人たちの世界やねー
542 ：１３２人目の素数さん[]：2020/05/22(金) 01:53:26.58 ID:UQrRsKBf
根性の曲がった竹内薫じゃないか。
研究者じゃないしな。
545 ：１３２人目の素数さん[]：2020/05/22(金) 01:56:09.96 ID:UQrRsKBf
FaltingsのページのSelected Ph.Dにモッチいるのなw
まあ当然といえばそうだがw
URLﾘﾝｸ(www.hcm.uni-bonn.de)
550 ：１３２人目の素数さん[]：2020/05/22(金) 02:14:02.83 ID:UQrRsKBf
さすがにもっといるだろうし、selectedというだけに弟子と認めた人しか載せてないと思うわ。
553 ：１３２人目の素数さん[]：2020/05/22(金) 02:20:42.55 ID:UQrRsKBf
そ�
658:黷ﾍワロタ Faltings人相悪くて指導教官としては鬼な感じが滲み出てる。 554 ：１３２人目の素数さん[]：2020/05/22(金) 02:22:26.57 ID:UQrRsKBf BrianConradもあの長いのは全部読まなくても道具は手に入るとかレポートに書いてた気が。
659:１３２人目の素数さん
20/05/22 16:40:31.52 QaFEzNvI.net
494 ：１３２人目の素数さん[sage]：2020/05/22(金) 00:06:25.13 ID:PAD81S3v
RIMSには共同利用・共同研究拠点って研究所の役割があるだけ そこのテーマ
少しは勉強しよう これ以外にも共同利用の研究会はたくさんある
研究の認定はピアレビューのある雑誌での出版
研究は出版して初めて研究論文が完結する世界であることを理解してからものをいおう
たくさん研究費をとることとよい研究論文を出版することは線形独立
498 ：１３２人目の素数さん[sage]：2020/05/22(金) 00:11:24.38 ID:PAD81S3v
それはともかく
佐藤幹夫氏がRIMSを私物化していた時代だったら
知ったら君ら怒り狂っていたと思うけど
504 ：１３２人目の素数さん[]：2020/05/22(金) 00:16:13.19 ID:PAD81S3v
大学いくなんて俗物
論文を投稿するなんて俗物
研究費応募するなんて俗物
共同利用のテーマにされるなんて俗物
俗物認定の基準がヤバイ
お前らまさか空気吸ってないよな俗物過ぎるぞ
512 ：１３２人目の素数さん[sage]：2020/05/22(金) 00:31:55.42 ID:PAD81S3v
日付かわって昨日のID:6EciHgHcだけど
頭の固くなった頭の大きなおじさまには何をいっても
いまさらどうしようもないし生産性もなく
そういうじいさんはぶつぶついいいながらさっさと棺おけに入ってもらったほうがいいとおもっているんだけど
ちょっと研究者の世界にいればすぐわかるようなことも知らずにデタラメをかたるんで
ついついつっこんでしまいたくなっただけ
佐藤幹夫の件は普通知っていると思うけどブラック過ぎるからやめとく
518 ：１３２人目の素数さん[sage]：2020/05/22(金) 00:49:49.72 ID:PAD81S3v
書くと自分自身が灰色のなりそうなんでやめます
RIMSはそれ以外にも人命にかかわる案件が数件はあるし
絶対口外できない
Faltingsだって毒舌で日本人一人...
521 ：１３２人目の素数さん[sage]：2020/05/22(金) 00:54:23.08 ID:PAD81S3v
詳しくは研究者になってワークショップの懇親会などで
京都出身のおじいさんらに聞いてみると
もしかするとおしえてもらえるかもしれませんよ
525 ：１３２人目の素数さん[sage]：2020/05/22(金) 01:07:29.69 ID:PAD81S3v
(佐藤幹夫は)数学の天才
528 ：１３２人目の素数さん[sage]：2020/05/22(金) 01:18:21.38 ID:PAD81S3v
証明が青と黄色と赤だったら（創価）学会っぽいｗｗｗ
660:１３２人目の素数さん
20/05/22 16:41:23.40 QaFEzNvI.net
531 ：１３２人目の素数さん[sage]：2020/05/22(金) 01:25:42.11 ID:PAD81S3v
心配しなくても玉川さんはお前らの
１００億倍賢くて１００億倍は注意深いから
それ以上にお前らに関係ない話ｗ
539 ：１３２人目の素数さん[sage]：2020/05/22(金) 01:45:54.41 ID:PAD81S3v
Scholzeも出してる結果を見る限りめちゃんこ賢いよ 話したことないけど
Woitのブログにはいきなり間違えたこと書いこんでてふいたけど
そこらへん注意深さはないね
Wiotって日本でいう茂木健一郎的な立ち位置なんかな
540 ：１３２人目の素数さん[sage]：2020/05/22(金) 01:48:53.16 ID:PAD81S3v
佐藤幹夫って朝起きたときには数学にとかなんとか
いうてるけど彼自身数学やってないときには全然なんもやってないんだよな
俺はいつもやっていないけどｗ
543 ：１３２人目の素数さん[sage]：2020/05/22(金) 01:54:29.22 ID:PAD81S3v
（玉川と話したこと）あったらまずい？ｗｗ
546 ：１３２人目の素数さん[sage]：2020/05/22(金) 01:58:17.06 ID:PAD81S3v
玉川さんめっちゃ性格いいｗｗ
549 ：１３２人目の素数さん[sage]：2020/05/22(金) 02:12:14.46 ID:PAD81S3v
Faltingsの学生になるだけでもう
ものすごい秀才じゃないといけないんだ
弟子をほとんどとらなかったのでこうなった
USで学部からそのまま同じ大学院にすすんで更にFaltingsにつくなんてほぼ不可能
調べれば分かるが不文律があって
どんなに優秀でもほとんどのUSの学生は学部と院はかえないといけない
望月氏はSGAを全部読んでから来いといわれたらしいし
551 ：１３２人目の素数さん[sage]：2020/05/22(金) 02:16:20.24 ID:PAD81S3v
１９や２０のとき望月氏がよみ終わっていたSGAを俺なんかいまだほとんど読んでないからねｗｗ
絶望する
552 ：１３２人目の素数さん[sage]：2020/05/22(金) 02:19:34.83 ID:PAD81S3v
実はFaltingsが一番熱心に指導してたのは娘という説があって、あんまりできないもんだから
親父ががんばっていたという
555 ：１３２人目の素数さん[sage]：2020/05/22(金) 02:24:05.32 ID:PAD81S3v
彼がドイツに帰った後のMax Planckでは一時期噂になってたらしい
娘以外は優秀でどうせほっておいても大丈夫だろうし
556 ：１３２人目の素数さん[sage]：2020/05/22(金) 02:26:27.15 ID:PAD81S3v
望月氏
Conradすら舌をまく秀才だったので
661:１３２人目の素数さん
20/05/22 16:49:19 D0q4jktZ.net
天才だと吹聴しておけばなんとなかるって思ってるID:PAD81S3vと、
難しい話題をコピペすれば頭がよくなったと勘違いしてる◆e.a0E5TtKE、
まさにIUTの縮図な気がする。
662:１３２人目の素数さん
20/05/22 16:52:23 UQrRsKBf.net
おぬしはその想像力と執拗さを数学に当てておけば
Lonely Wolf＝桜坂46=革命家ミスター維新
663:１３２人目の素数さん
20/05/22 16:57:57 QaFEzNvI.net
>>624
ID:PAD81S3vがもっちー本人だったら笑う
◆e.a0E5TtKEは大学数学が理解できなかったのが悔しいんでしょう
もうアラ還暦だというのに諦めの悪い人だ
664:１３２人目の素数さん
20/05/22 16:59:54 QaFEzNvI.net
>>625
数学は難しすぎた（ボソッ）
665:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 17:02:45 koULGAjk.net
>>613 追加
大沢健夫先生
複素解析 層 解析接続の障害が ∂￣ コホモロジー類として表せる 話（下記）
（参考）
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
福岡複素解析シンポジウム
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
解析接続の問題に現れる解析と幾何 大沢健夫先生集中講義 2019/07/09（日付 Google 要約より）
大沢健夫
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。 岡潔 『一葉舟』(角川ソフィア文庫 2016)
目次
1. はじめに
2. 解析接続と正則領域
3. 複素多様体上の接続問題と ∂￣ コホモロジー
4. ∂￣ コホモロジーの L
2 理論
5. L
2 拡張定理とその応用
6. Bergman 核の話題から
7. 幾何構造の接続
P5
Poincar´e と Cousin の理論を完成型に導いたのは岡潔による上空移行原理の発見 (1936)
だったが13そこへの最重要の一歩が Hartogs(1906) による擬凸性の発見であった。Hartogs の理論
は多変数の解析関数は孤立特異点を持ちえないこと (Hurwitz,1897) と相対収束半径14の逆数が対
数的劣調和性を持つこと (Faber,1902) を敷衍したものだが、正則領域すなわち正則関数の存在域が
擬凸性という凸性に似た幾何学的性質を持つことを結論付けるもので15、まさに解析接続の原理的
な急所を突くものであった。その結果、それでは任意の擬凸領域は正則領域であろうかという逆問
題が自然に生じた。滑らかな境界を持つ領域に対して擬凸性の微分幾何的表現を与えた Levi(1911)
にちなみ、この問題や同趣旨の一般化された問題は Levi
666:問題の名で知られるようになった。これ はしばらく多変数関数論の中心的課題であった (cf. [Sa], [Siu-1])。 つづく
667:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 17:03:12 koULGAjk.net
>>628
つづき
現代流の層の言葉で言えば、Weierstrass が考案した解析的形成体 (analytische Gebilde) は正則
関数の定義域を Cn の構造層の連結成分と考えたもので、これらはとくに Cn 上の不分岐領域すな
わち Cn への局所正則同型を持つ複素多様体になっている。これと Riemann の導入した分岐被覆
の考えと合わせて、解析関数の自然な定義域は Cn 内の領域だけでなく、Cn のコンパクト化上で
「自然に分岐した」領域であろうということになった。Cn 上の不分岐領域に対する Levi 問題は岡
潔 [O-2,4] により解決されたが、この偉業は金字塔の名にふさわしい。分岐領域については様相は
より複雑で未解明の部分が残されているが、その研究のために H.Cartan の研究 [C-1] に触発され
て岡 [O-3] が導入した不定域イデアルの理論は、Weierstrass の理論 (=予備定理) の射程を大いに
延ばすことになった。さらにこの理論は Cartan[C-3] により層係数コホモロジーの言葉に翻訳され
て Stein 多様体上の基本定理 (Cartan の定理 A,B) として結実し、以後の数学の展開に多大な影響
を与えた。
P16
3 複素多様体上の接続問題と ￣∂ コホモロジー
複素多様体上の ∂￣ コホモロジーは代数幾何を通じて数論の問題とも関連する重要な不変量であ
るが、解析接続の文脈においても自然に現れる。以下では解析接続の障害が ∂￣ コホモロジー類とし
て表せることと、それが消えるための条件について述べる。
(引用終り)
以上
668:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 17:07:03 koULGAjk.net
>>627
＞数学は難しすぎた（ボソッ）
良いタイミング >>628より
”大沢健夫
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。 岡潔 『一葉舟』(角川ソフィア文庫 2016)”
ｗｗｗ（＾＾；
669:１３２人目の素数さん
20/05/22 17:08:02 UQrRsKBf.net
大学数学が理解できたかできないかとかはここで語られる数学者のレベルからすれば誤差。
昨日のfaltingsの話をしてくれた人の降臨希望。
670:１３２人目の素数さん
20/05/22 17:12:24 WyQ/1f2R.net
代数幾何ってフランス語読めて当たり前の世界なの？
英語話せなくてもノーベル物理学賞取れるのに？
671:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/22 17:16:32 koULGAjk.net
>>630 補足
(引用開始)
＞数学は難しすぎた（ボソッ）
良いタイミング >>628より
”大沢健夫
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。 岡潔 『一葉舟』(角川ソフィア文庫 2016)”
(引用終り)
１．以前に、数学のアカデミック ポストの数を、オリンピック陸上100ｍの代表候補に例えたが
走るのが早くても、100ｍで10秒を切るくらいでないと、オリンピック代表になれない
もし、10秒を切る人が何人も出て、代表が3人に限られるとしたら、はみ出る人が出ることを、数学では鳩ノ巣理論というｗ（＾＾；
２．しかし、走ることは、いろんな運動の基本であり、オリンピック代表以外は 100ｍ走 落ちこぼれと思う必要はないのです
３．サッカーやラグビーや、いろんなスポーツで、その走力を生かせる分野があるはず
と同様に、数学以外で その数理能力を生かせる学問分野が 沢山あるはずなのです（＾＾
４．数学で落ちこぼれるのは、真に理解しようとせず、記号の理解で止まってしまっているからではないでしょうかね？ 例えばおサルのようにｗｗ（＾＾；
672:１３２人目の素数さん
20/05/22 17:32:51 y0MCuuMW.net
岡潔は「数学の怖ろしさ」とか書いてたはずだし、数学の発見に関して
「直進しようとするから行き詰る。行き詰ったときは大体7年くらい行き詰ってる。
行きやすいところを選って行けば行き詰ることはないが、それだと
発見という言葉は虚しき言葉です。」と言ってたと思う。
てか、◆e.a0E5TtKE は岡潔の発言が気に入らなくて
「弟子も満足に育てられなかったくせに」とか言�
673:ﾁてたのに 何時から岡信者になったの？ｗ
674:１３２人目の素数さん
20/05/22 17:35:26 QaFEzNvI.net
>>631
なんだ、てっきりコンビでやらせの会話してるのかと思ったが
675:１３２人目の素数さん
20/05/22 17:35:31 IxQXZiFM.net
それじゃ、自称おっちゃんもう寝る。
676:１３２人目の素数さん
20/05/22 17:43:06 QaFEzNvI.net
>>628-629
それが>>618の答えのつもりかい？
それにしても、トポロジーの話なのに
わざわざ多変数関数論のネタもってくるとか
マゾなのかね？
＞解析接続の障害が ∂￣ コホモロジー類として表せる
Q1. 解析接続の障害、って何だい？
Q2. ∂￣ コホモロジー類って何だい？
ああ 面白いｗ
677:１３２人目の素数さん
20/05/22 17:50:41 QHSdqkYA.net
。゜○。゜
。✳゜
゜数学は難しすぎた (ボソッ)
゜✳。゜
。○゜
＼＼＼゜✳。゜
゜*。∞
٩٩\(*´д`)/(…可愛ｽｷﾞｨｨｯ!)
￣￣ﾊﾞﾀｯ!￣￣￣￣￣￣￣￣
678:１３２人目の素数さん
20/05/22 17:51:22 QaFEzNvI.net
>>633
＞走ることは、いろんな運動の基本
＞いろんなスポーツで、その走力を生かせる分野があるはず
＞数学以外で その数理能力を生かせる学問分野が 沢山あるはずなのです
その通りだよ
だから別に数学で新しい発見をしようと思わず
分っている結果を利用するだけでも十分役に立つよ
しかしそういうレベルのことなら
わざわざ数学科にいく必要はないんだよｗ
君は分けも分からずコピペしてるけど、そういうネタは
まさに「どうやって100ｍで10秒を切るか」みたいな話ばっかりなんだな
君の能力に見合ってないの わかる？
君はまず自分の家の近所をランニングするところから始めたほうがいい
いきなり小難しいことやったって君のオツムでは無理
具体的に言うと、理論的な話は無理 まず計算から始めなｗ
論理的思考をしたことない人に、数学書読むのは無理
公理とか定義とか証明とか一切読まないんでしょ？
だったら数学書なんか購入するだけ無駄
結果としての式だけ見るんなら、ネットで十分
679:１３２人目の素数さん
20/05/22 18:03:05.49 QHSdqkYA.net
|゜*。∞
|٩٩((_´д`)_ﾊｯ!
|ｷｮﾛｷｮﾛ
|((”;)三(*“))
|≡3 ﾋﾟｭｯ!
680:１３２人目の素数さん
20/05/22 18:03:40.38 UmN7bckY.net
数学書を読むと訳語のいい加減さにうんざりするから日本語の用語は無視したほうが精神衛生上よろしい
681:１３２人目の素数さん
20/05/22 18:05:32.06 QaFEzNvI.net
>>637
障害っていうのは、連続写像でもバンドルの切断でも解析接続でもなんでもいいけど
要するに「空間からある集合への写像」の延長の障害なんだな
障害類がコホモロジーで表されるってのいうのは、コホモロジーが
コサイクル（サイクルの双対、つまりサイクルからある集合への写像）
で定義されることを考えれば当然なんだな
682:１３２人目の素数さん
20/05/22 18:14:52.17 UmN7bckY.net
classは級だろ
何だよ類って
類はtypeだろが
イメージが意図的にずらされてんだわ
わざと数学が理解できないようにするために
683:１３２人目の素数さん
20/05/22 18:15:31.51 Bx0mrhZY.net
翻訳本は読まないようにしている
しかし自分で訳せるわけでもない
日本人の著書のみを読んでいる
684:１３２人目の素数さん
20/05/22 18:17:38.68 Bx0mrhZY.net
おそらく本気出しても
線型代数の幾つかの本が読める程度
俺に許された時間はそれくらい
685:１３２人目の素数さん
20/05/22 18:36:28.73 QaFEzNvI.net
>>643
なんかつまんないこといってるなあ
classはそもそも種類であって階級は二次的なもの
大体、定義を読まずに語感だけで分かろうってのがダメなんだよ
686:１３２人目の素数さん
20/05/22 18:44:25 QHSdqkYA.net
(>>645)゜
✳(Uﾉ)゜。✳゜
＿uu＿＿○＿。＿＿＿
。✳゜。゜
ｶﾞﾝｶﾞﾚ-!∞
。○゜٩(”*)
687:１３２人目の素数さん
20/05/22 18:52:53 UmN7bckY.net
>>646
語感だけでも分かるからこそ理解が早まるんだろ
わざと分かりにくくして自分たちの地位を守っているだけじゃないのか
688:１３２人目の素数さん
20/05/22 19:06:41 QaFEzNvI.net
>>648
意味がわからん
分かったつもりになるのと分か�
689:驍ﾌは違うぞ お前、数学勉強したことないだろ
690:１３２人目の素数さん
20/05/22 19:22:29 UmN7bckY.net
>>649
だから分からないようにわざと分かりにくくしてるんだろ？ってこと
分かってほしいって気持ちが感じられないんだよ
691:１３２人目の素数さん
20/05/22 19:23:21 T3jZkptd.net
自分が理解できないことを翻訳のせいにしているやつ前もいたよな
たしか群、環、体にいちゃもんつけてて、group, ring, fieldならイメージできるとか
わけのわからないことを言っていた気がする
692:１３２人目の素数さん
20/05/22 19:27:36 QaFEzNvI.net
>>650
あんた睡眠学習の英会話のテープ買って
「ちっとも話せるようにならない」
って文句つける人だろｗ
>>651
勉強する気ないのに理解欲だけ旺盛な馬鹿なんだろうな
693:１３２人目の素数さん
20/05/22 19:46:00 UmN7bckY.net
理解している自分が偉いんだって本音が透けて見えるんだよ…
694:１３２人目の素数さん
20/05/22 20:00:39 e4IVxGOd.net
クラスを類と読むことに理解も何もないだろ
695:１３２人目の素数さん
20/05/22 20:06:35 LPHjJXuC.net
クラスは組でしょ
696:１３２人目の素数さん
20/05/22 20:26:20 T3jZkptd.net
翻訳の問題というよりは、言語特性の問題な気がする
英語の場合は、日常語がそのまま専門用語になっていて、
逆に日本語の場合は、専門用語は日常語とは程遠い
これはどちらにもメリット・デメリットがあると思っていて、
英語の場合は、直感的にわかりやすい一方で、しばしば誤解を招く原因になる
日本語の場合は、誤解の恐れが少ない一方で、直感的にはわかりにくい
特に数学の場合は、英語の日常語からイメージされるようなものと実体は程遠いことがほとんどなので、
結局は定義を自分の中で咀嚼するしかない
その点では、日本語のほうが誤解の恐れが少ないという点で便利
ID:UmN7bckYは英単語から何かをイメージすることが得意なようだが、
そのようなイメージを持つことと定義を理解することはまったく別のことだと思ったほうがいいと思う
697:１３２人目の素数さん
20/05/22 20:37:27.92 6EhJwuRK.net
言語イメージにかみつくってもっちみたいw
698:１３２人目の素数さん
20/05/22 20:45:56.75 QaFEzNvI.net
数学の概念はそもそも日常的なものではないから
語感だけで分かろうなんて甘っちょろい考えは
最初から捨てたほうがいいよ マジで
699:１３２人目の素数さん
20/05/22 22:25:45 UmN7bckY.net
>>657
それは光栄だ…と言っていいのかな？
700:１３２人目の素数さん
20/05/22 22:35:21 UmN7bckY.net
>>656
日本の数学研究がアメリカに後れを取ってる時点でその言い分は負け惜しみにすらなってないんだよね
用語がもっと直観的で分かりやすかったら日本の数学研究の裾野も広くなってたんじゃないかなと思っただけ
701:１３２人目の素数さん
20/05/22 22:48:04 ubjl68OO.net
昔数理ファイナンスの授業をとったときに用語が？だったな
デリバティブとかオプションとか
ネイティブの人も単語の意味想像つかんだろ
702:１３２人目の素数さん
20/05/22 23:04:03 T3jZkptd.net
>>660
根拠になってなくね？
どちらかというと、母国語がグローバルスタンダードで、
世界中のほとんどの文献が難なく読めることのメリットが大きい
あと、アメリカに関して言えば、アメリカの数学研究が日本より優れているというよりは、
単にアメリカが世界中から優秀な人を集めているってだけじゃね？
703:１３２人目の素数さん
20/05/22 23:12:43 y0MCuuMW.net
デリバティブ→金融派生商品
オプション→選択権
みたいな感じでしょ。想像つかんてことはないと思う。
なぜ選択権に理論価格が付くのかという理屈は難しいが
「選択権に価値がある」ということくらいは直感的に分かる。
704:１３２人目の素数さん
20/05/22 23:18:20 UmN7bckY.net
>>662
それは既存の概念を十分に学んだあとの話だろう
日本ではまずスタートラインにすら立てないのが数学者と一般人の断絶を引き起こしているのだと思う
705:１３２人目の素数さん
20/05/22 23:19:58 8xIwo/9o.net
いや、デリバティブって単語だけ聞いただけでそれが何か
706:想像つく人はいないだろ 金融派生商品と聞いたらどういうものか大体想像つくが
707:１３２人目の素数さん
20/05/22 23:21:15 8xIwo/9o.net
けど、物理とかじゃ
物理で使う単位系は日本では日常的に使うけどアメリカじゃ使わない
けどアメリカの物理学の水準は日本を上回っている
708:１３２人目の素数さん
20/05/22 23:21:33 T3jZkptd.net
>>664
そりゃ数学研究の話なんだから当然だろ
>日本ではまずスタートラインにすら立てないのが数学者と一般人の断絶を引き起こしているのだと思う
そんなデータがあるのか？
アメリカよりも日本のほうが数学者と一般人の断絶が大きいとでも？
709:１３２人目の素数さん
20/05/22 23:39:30 5PnvjTcG.net
「当時， Harvard大学では広中平祐教授を中心に代数幾何学関係のセミナーが，
同教授の心配りの下自由潤達な雰囲気の中で週1回定期的に開かれていた．
世界の拠点の 1 つとしてのHarvard 大学に相応しく， 同セミナーにも海外から
数多くの訪問者や滞在者が参加していた．
前回 Berkeley で開催された国際数学者会議で Mordell 予想解決により，
Fields 賞を授与された G. Faltings 氏(Princeton 高等研究所）も我々と同様滞在者の1人であり，
同氏と知り合いになれたのもこのセミナーを通じてであった．
1978 年の年の瀬も押し迫ったある夜半，Hart shorne 予想を解決できたので論文を見て欲しいと
森氏から電話連絡があった．
拝見した論文の最初の部分に， A．Grothendieck, Fondement de la geometrie algebrique,
の中のある内容をこの予想に必要な形に表現した部分多様体の変形に関する定理が示されてあった．
これを最初見た時， その必要性があまり良く分らなかったが，この定理を利用しての有理曲線の存在，
そして Hartshorne予想解決に向けて， 射影空間の直線に対応する有理曲線の見事な処理が示されていた．
彼の論文を一読したM. Artin 教授(M.I.T.）が水晶の如く明晰と称えたと言われる証明であった．」
すばらしい
710:１３２人目の素数さん
20/05/23 00:03:49 e4BFJFJp.net
代数幾何って書かれたものは記号列だったりするが、背景には幾何学的なイメージがあるんでしょ
そういうのは本を読んだだけでは中々伝わらないというのはあるかもね。
本をわざと分かりにくい言葉で書くとかはないな。
コツみたいなものがギルドの中で相伝されているみたいなことはあるかもね。
711:１３２人目の素数さん
20/05/23 00:09:00 e4BFJFJp.net
知の巨人 永田雅宜
URLﾘﾝｸ(sciencechannel.jst.go.jp)
16:50くらいから、森重文が永田の本に書かれてある有名な反例について語っている。
書かれたものだけを見ると記号列だが、背後にはすごいイメージがあると。
712:１３２人目の素数さん
20/05/23 00:34:08 JBLL4dij.net
もっちーて(昔は)ほとんどのドラマみてたんやろ？
結婚できない男も見たんだろうか
713:１３２人目の素数さん
20/05/23 00:43:53 GPYHre8N.net
昨日新しい本だしたんですね
714:１３２人目の素数さん
20/05/23 01:04:02 6uMVSsjs.net
斎藤毅さんがグロタンディークについて語ったpdfの終わりで
「しかし、グロタンディークは、スキームX といえば、ただXだと思っていたのではないかという気もしてくる。」
と書いていた
715:１３２人目の素数さん
20/05/23 04:08:09 0o4iKvuH.net
>>666
物理は単位に基づき国際的にSI単位系
で次元解析を行います。
実用単位の寸などもありますが
物理測定の単位ではありません。
>アメリカの物理学の水準は日本を
上回っている
日本はニュートリノ物理実験を見ても
素粒子物性など少なくともアメリカ
に見劣りしません。
IUTなどポストモダン系の与太話は
相手にされませんし、
woitのブログに賛同します。
念のため
716:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 09:48:13 jlNBK+nU.net
>>609-610
(引用開始)
URLﾘﾝｸ(ja.wikipedia.org)
公理型
（公理図式から転送）
公理型（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。
有限公理化
型変数に代入されうる部分論理式や項の個数が可算無限だとすれば、ある公理型は可算無限個の公理の集合を表すことになる。
この集合は通常は再帰的に定義できる。公理型を用いずに公理化できる理論は「有限公理化」可能であると言う。
有限公理化可能な理論
ZFCで証明できる定理は全てフォン・ノイマン＝ベルナイス＝ゲーデル集合論（英語版）(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。
高階論理において
一階述語論理における型変数は、二階述語論理においては通常は除去できる。何故なら、型変数は何らかの理論中に現れる要素間で成り立つ性質や関係そのものを代入可能な変数として位置付けられることが多いからである。上で挙げた帰納法 と置換 の型は正にそうした例に当る。高階述語論理では量化変数を用いてあらゆる性質や関係を渡るような記述ができる。
(引用終り)
悪いが戻るよ（＾＾；
１．歴史的には、公理図式又は公理型から導かれる式も、公理と扱われる場合があり（下記）、数学的帰納法などを 考えると式は可算無限あることになる
２．ところで、高階論理などで”有限公理化可能”を考えると、これら公理図式かれ出る式たちを、例えば”無限公理”などと同列には扱うべきではないだろう
３．公理図式から導かれる式を二次公理と呼ぶことにして、高階論理で二次公理の無限は消去できる
４．一方、”無限公理”などは一次公理と呼ぶことにして、公理図式自身のみを一次公理に含めるとして 各１個と数えれば、ZFCが一次公理９個から成るとして良いだろう
５．そして、それを簡便に（用語の濫用）”ZFCが公理９個から成る”と表現することも、許容範囲でしょう。そう書いてあるテキストを引用したから、直ちに「（あなた）基礎論 分かってない」とはならないよね、維新さんｗ（＾＾；
つづく
717:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 09:49:04 jlNBK+nU.net
>>675
つづき
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Axiom schema
URLﾘﾝｸ(plato.stanford.edu)
Stanford Encyclopedia of Philosophy
Schema
(抜粋)
First published Fri May 28, 2004; substantive revision Tue Aug 2, 2016
A schema (plural: schemata, or schemas), also known as a scheme (plural: schemes), is a linguistic “template”, “frame”, or “pattern” together with a rule for using it to specify a potentially infinite multitude of phrases, sentences, or arguments, which are called instances of the schema.
Schemas are used in logic to specify rules of inference, in mathematics to describe theories with infinitely many axioms, and in semantics to give adequacy conditions for definitions of truth.
URLﾘﾝｸ(fuchino.ddo.jp)
Forcing入門
2015年10月17日 渕野 昌(神戸大学)
(抜粋)
P4
前提知識の復習
集合論の公理系 ZFC. ZFC は要素記号 ∈ を唯一の非論理記号とする１階の
論理（L∈）の（無限個の）論理式（公理）の集まり（公理系）として導入
される．
ZFC の公理系は，外延性の公理，空集合の公理，対の公理，和集合の公理，
冪集合の公理，無限公理，分離公理，置換公理，基礎の公理，選択公理 か
らなる．? このうち，分離公理と置換公理が無限個の論理式の集まりとし
て表現されている．
以下，ZFC の十分に大きな有限部分というときには，分離公理と置換公理
の論理式うちの（十分に沢山の）有限個と残りの有限個の公理全部を集め
たものとする．“十分に大きな” は，後で必要となる公理はすべて含まれて
いるというほどの意味である．
つづく
718:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 09:49:22 jlNBK+nU.net
>>676
つづき
URLﾘﾝｸ(www.academia.edu)
(PDF) 無限の概念分析 矢田部俊介 京都大学 学部横断授業 2018
(抜粋)
P9
ただ雑然と無限個の公理が並んでいても人間が ZFC はどのような公理を持つかということを把握できない。
そこで登場するのが公理図式というアイディアである。公理図式とは、無限個の公理を一つにまとめて書く方法である。
URLﾘﾝｸ(www.math.mi.i.nagoya-u.ac.jp)
2018 年度 数理情報学 6・講義ノート
木原 貴行
名古屋大学 情報学部・情報学研究科
最終更新日: 2018 年 7 月 5 日
P38
3.3 数学的公理と形式証明
定義 3.17. L-理論 (L-theory) とは，L-文の集合のことを指す．
L-理論は無限集合でもよい．たとえば，ペアノ算術などの自然数論は，和と積などに関する有限
個の公理と，数学的帰納法を表す公理図式を持つ．
ここで，論理式毎に数学的帰納法を公理に加える必要があるので，公理は無限個になる．
(引用終り)
以上
719:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 09:50:52 jlNBK+nU.net
>>677
ついでに
＜宇宙＆Grothendieck universe axiomについて＞
URLﾘﾝｸ(webcache.googleusercontent.com)
これは Google に保存されている URLﾘﾝｸ(pantodon.shinshu-u.ac.jp) のキャッシュです。 このページは 2020年4月23日 17:36:31 GMT に取得されたものです。
集合と写像に関する基本的な概念
(抜粋)
次 の 概 念 は “ 集 合 の 集 合 ” を 扱 うときに 必 要 になる 。 SGA4 [ SGA72 ] の Expose I に ある Bourbaki による appindix をみるとよい 。
universe
例 えば , 位 相 空 間 の category とか Abel 群 の category とかを 考 えると きには , 意 識 しなければならない 。
Grothendieck と Verdier の アイデア は , universe を 一 つ 固 定 してその 中 で 議 論 し , 必 要 にな っ たらその universe を 含 む 少 し 大 きな universe で 考 えるようにする , というものである 。
そうすると , category theory 的 な 構 成 が 選 んだ universe に 依 るのではないか , という 疑 問 が 起 きるが , それについては Low [ Low ] が locally presentable category の 間 の accessible functor に 対 する adjoint は universe に 依 らないということを 示 して いる 。
つづく
720:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 09:52:01 jlNBK+nU.net
>>678
つづき
複 数 の universe がある , とする 視 点 を 提 案 している 人 [ Ham12 ] もいる 。 この Hamkins の 論 文 は , n -Category Cafe や Math Over?ow ( ここ や ここ や ここ ) などで 話 題 にな っ ている 。
References
[Low] Zhen Lin Low. Universes for category theory, arXiv:1304.5227 .
URLﾘﾝｸ(arxiv.org)
[Submitted on 18 Apr 2013 (v1), last revised 28 Nov 2014 (this version, v2)]
Universes for category theory
Zhen Lin Low
The Grothendieck universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set.
One can then work with entities like the category of all U-
721:sets or even the category of all locally U-small categories, where U is an "arbitrary but fixed" universe, all without worrying about which set-theoretic operations one may legitimately apply to these entities. Unfortunately, as soon as one allows the possibility of changing U, one also has to face the fact that universal constructions such as limits or adjoints or Kan extensions could, in principle, depend on the parameter U. We will prove this is not the case for adjoints of accessible functors between locally presentable categories (and hence, limits and Kan extensions), making explicit the idea that "bounded" constructions do not depend on the choice of U. (引用終り) 以上
722:現代数学の系譜 雑談
20/05/23 13:10:58.09 jlNBK+nU.net
このMathOverflowの記事 ”Philosophy behind Mochizuki’s work on the ABC conjecture”も、今読むと、結構含蓄があるな～（＾＾
（アクシェイ・ヴェンカテシュは、見つからなかったが（＾＾； ）
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
2012年8月30日、京都大学数理解析研究所教授の望月新一が abc予想を証明したとする論文をインターネット上に公開した[4][5][6][7]。
それらの論文について、2012年10月に Vesselin Dimitrov とアクシェイ・ヴェンカテシュにより誤りが指摘[11]されたが、望月は指摘を認めつつ本質的結果は影響されないとコメントし、訂正を約束した
11.^ この議論の発端は、MathOverflowの記事 Philosophy behind Mochizuki’s work on the ABC conjecture である
URLﾘﾝｸ(mathoverflow.net)
Philosophy behind Mochizuki's work on the ABC conjecture
edited Jun 28 '13 at 1:13
community wiki
James D. Taylor
Answers
edited May 4 '18 at 5:21
community wiki
Marty
edited Sep 9 '12 at 15:59
community wiki
Minhyong Kim
edited Oct 20 '12 at 17:29
community wiki
Vesselin Dimitrov
723:現代数学の系譜 雑談
20/05/23 13:28:30.68 jlNBK+nU.net
IUT国際会議を、「ズーム（Zoom）」で可能と思ったが
意外に大変みたいだね（＾＾；
URLﾘﾝｸ(style.nikkei.com)
ナショジオニュース
「ズーム疲れ」はなぜ？ 大きな負担、脳にかかる 2020/5/23
（文 JULIA SKLAR、訳＝北村京子、日経ナショナル ジオグラフィック社）
［ナショナル ジオグラフィック ニュース 2020年5月6日付］
2020年4月15日、米リーハイ大学の宗教学教授、ジョディ・アイクラー＝レヴァイン氏はビデオ会議アプリ「ズーム（Zoom）」での講義を終えると、そのまま仕事場として使っている客用寝室で眠りに落ちた。以前から講義は疲れるものではあったが、こんな「昏倒」するように寝入ってしまったのは初めてだという。
つい最近まで、アイクラー＝レヴァイン氏は、実際の教室で大勢の学生を相手に講義を行っていた。そこでは、学生たちがどう感じているかを容易に把握できた。だが、新型コロナウイルス感染症COVID-19のパンデミック（世界的な大流行）によって、その環境は一変した。
世界の人たちと
724:同じように、彼女の生活はバーチャル空間に追いやられた。リモート講義のほかにも、週に一度の学部懇親会、友人たちと芸術について語り合う会、ユダヤ教の「過越（すぎこし）の祭り」など、さまざまな会合にズームを通して参加することになった。その代償が今、彼女に大きくのしかかっている。 「画面上では、自分が小さな四角形の中に押し込められているため、普段よりも感情を大げさに表してしまうのです」とアイクラー＝レヴァイン氏は言う。「私はもうくたくたです」 同じような経験をしている人は非常に多く、「ズーム疲れ（Zoom fatigue）」という言葉も生まれた。今回のパンデミックをきっかけに、さまざまなビデオ会議ツールがかつてない規模で使われるようになった。この思いがけない社会実験から浮かび上がってきたのは、バーチャルな交流は脳に極めて大きな負担をかける、という事実だ。
725:現代数学の系譜 雑談
20/05/23 14:37:41.56 jlNBK+nU.net
静かになって来たな
良いことだ（＾＾
＜ここまでを纏めておくと＞
１．分別ある大人が、数学の論文で STAPもどきが可能と考えているなど、ありえないでしょ？ｗ（＾＾；
２．柏原・玉川両先生、日本が世界に誇るトップ数学者二人揃って記者会見をした
３．”たかが 論文の査読 OK”ごときの記者会見
４．もし 万一にでもやましいことがあれば、「そーっと」PRIMS掲載にしておけば良いだけのこと
５．まあ、何か きっと 思うところがあっての記者会見にせよ、100％の自信がなければ、記者会見などできません
（「そーっと」PRIMS掲載にしておけば、柏原・玉川両先生とも名前が出ず、万一のときに火の粉を被ることもないのだからね（＾＾； ）
６．だから、
１）まずSSレポートはダメで、
２）IUTは100％の自信あり、
３）私見では”IUTが正しいことは 99％確定”（>>1）
と見ました
IUTが世界に普及していくのは、これからです～！！
726:１３２人目の素数さん
20/05/23 15:43:23 v17847IB.net
>>675-677 ま～だ わかってなかったのか
>>678-679 理解できずにコピペ 無駄だからやめとけって
>>680-682 IUTを盲信狂信 100％病気だな ミスターニッポン
727:１３２人目の素数さん
20/05/23 15:48:30 K9SDQBrF.net
>>1
【閲覧注意.妄想.隔離スレ】
PRIMS編集委員(=RIMS教授)は
IUT論文の査読結果が出る前から
IUT論文の結果「abc予想を解決」
と認定しました。
↓
京都大学数理解析研究所
第2期中期目標期間(平成22年～
平成27事業年度)について
1 現況調査表 平成28年6月
P28-3 資料 2. 発表論文数 所員の
発表論文数 査読付き論文のみ p
28-10 事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての
ABC 予想の解決は、特筆 すべき
出来事である。」
「当該論文�
728:ﾍ現在査読中であるが、 」 「望月新一が同理論の概要を解説した 業績番号1― (2)(2014)が、講究録別冊 として刊行されている」 (RIMS現況調査表。 京都大学.数理解析研究所が文科省 所管の独立行政法人 大学改革支援・ 学位授与機構へ提出) https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf
729:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 15:49:20 jlNBK+nU.net
>>3
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory)
星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76
(抜粋)
P83
§ 1. 円分物
この §1 では, その対象の輸送の遂行の際に重要な役割を果たす 円分
物 (cyclotome) という概念についての解説を行います.
円分物とは何でしょうか. それは Tate 捻り “Zb(1)” のことです. 広義には, Zb(1) の
商や, あるいは, “(Q/Z)(1)” という可除な変種も円分物と呼ばれます. 遠アーベル幾何学
において, この円分物の “管理” は非常に重要です. この点について, もう少し説明しましょう.
(引用終り)
冒頭からワカランｗ（＾＾；
Tate 捻り “Zb(1)”？ 下記かな？
URLﾘﾝｸ(en.wikipedia.org)
Tate twist
(抜粋)
In number theory and algebraic geometry, the Tate twist,[1] named after John Tate, is an operation on Galois modules.
For example, if K is a field, GK is its absolute Galois group, and ρ : GK → AutQp(V) is a representation of GK on a finite-dimensional vector space V over the field Qp of p-adic numbers, then the Tate twist of V, denoted V(1), is the representation on the tensor product V?Qp(1), where Qp(1) is the p-adic cyclotomic character
(i.e. the Tate module of the group of roots of unity in the separable closure Ks of K).
More generally, if m is a positive integer, the mth Tate twist of V, denoted V(m), is the tensor product of V with the m-fold tensor product of Qp(1).
Denoting by Qp(?1) the dual representation of Qp(1), the -mth Tate twist of V can be defined as
V ◯X Q_p(-1)^{◯X m}.
References
'The Tate Twist', in Lecture Notes in Mathematics', Vol 1604, 1995, Springer, Berlin p.98-102
730:現代数学の系譜 雑談
20/05/23 16:05:31.53 jlNBK+nU.net
>>685
追加 佐藤 周友先生ね（＾＾
URLﾘﾝｸ(ncatlab.org)
Tate twist Last revised on February 9, 2018
Contents
1. Idea
2. Definition
(抜粋)
1. Idea
Cohomology theories often have two aspects, which one might refer to as geometric and arithmetic. A prototypical example is the l-adic cohomology Hi(X,Zl) of a (sufficiently nice) scheme X over a field k of characteristic p, with l coprime to p.
This is not only an abelian group (the geometric aspect), but a representation of the absolute Galois group of k (the arithmetic aspect).
In the case of the singular cohomology of a complex manifold, the ‘arithmetic’ aspect arises a
731:s the Hodge structure on the cohomology groups. It has been speculated (for example by Manin?) that there should be some kind of ‘Galois group’ whose representations are Hodge structures, (and similarly for mixed Hodge modules vs perverse sheaves, and so on) but this remains mysterious; it may be that a good theory of algebraic geometry over F1 (the would-be “field with one element”) would provide an explanation. Tate twists play an important role in cohomology theories with this dual geometric and arithmetic aspect, allowing one to express Poincare duality canonically, that is, without choosing an orientation of one’s geometric object (scheme, complex manifold, …). 3. References https://arxiv.org/abs/math/0610426 [Submitted on 13 Oct 2006] p-adic etale Tate twists and arithmetic duality Kanetomo Sato Graduate School of Mathematics Nagoya University In this paper, we define, for arithmetic schemes with semistable reduction, p-adic objects playing the roles of Tate twists in etale topology, and establish their fundamental properties. Comments: 66 papges. to appear in Ann. Sci. Ec. Norm. Sup. (4) https://arxiv.org/pdf/math/0610426.pdf https://researchers.chuo-u.ac.jp/Profiles/3/0000248/profile.html?lang=ja 教授 サトウ カネトモ 佐藤 周友
732:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 16:24:33 jlNBK+nU.net
>>685
追加
「the familiar Galois module “Z(1)”, i.e., the “Tate twist”」か（＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
The Mathematics of Mutually Alien Copies: from
Gaussian Integrals to Inter-universal Teichm¨uller Theory
By Shinichi Mochizuki
Received xxxx xx, 2016. Revised xxxx xx, 2020.
(抜粋)
P17
2.6. Positive characteristic model for mono-anabelian transport
One notion of central importance in this
example ? and indeed throughout inter-universal Teichm¨uller theory! ? is the notion
of a cyclotome, a term which is used to refer to an isomorphic copy of some quotient
[by a closed submodule] of the familiar Galois module “Z(1)”, i.e., the “Tate twist” of
the trivial Galois module “Z”, or, alternatively, the rank one free Z-module equipped
with the action determined by the cyclotomic character. Also, if p is a prime number,
then we shall write Z=p for the quotient Z/Zp.
Example 2.6.1. Mono-anabelian transport via the Frobenius morphism
in positive characteristic.
733:現代数学の系譜 雑談
20/05/23 16:45:35.64 jlNBK+nU.net
>>685 追加
P85
"この “円分物の間の正準的な同型”は, 円分同期化同型 (cyclotomic synchronization isomorphism), あるいは, 円分剛性同型(cyclotomic rigidity isomorphism) と呼ばれ,
特に遠アーベル幾何学では, その存在を証明することが重要となります"
（参考）
URLﾘﾝｸ(citeseerx.ist.psu.edu)
Galois群や基本群から元の対象を復元する問題に関する
歴史と最近の発展(代数的整数論とその周辺の研究)
玉川,安騎男
数理解析研究所講究録(1997),998:174-187
[Nakamura8],副有限基本群のガロア剛性,数学47(1995),1-17,Sugaku
URLﾘﾝｸ(www.jstage.jst.go.jp)
734:article/sugaku1947/50/2/50_2_113/_pdf/-char/ja 代数曲線の基本群に関するGrothendieck予想 50 巻 (1998) 2 号 中村博昭 玉川安騎男 望月新一 表題のGrothendieck予想とは,一言でいうとすれば,双曲的代数曲線の数論的基本群は曲線の 代数構造まで完全に決めてしまう,という予想である.この問題の研究は,著者の一人(中村)に より80年代の末に発端が開かれ,もう一人(玉川)により90年代前半から(正標数の場合を含む) 本質的な新展開がもたらされ,つづいて最後の一人(望月)により,新しい(p進的な)解釈を出発 点とする最終的な解決が与えられた. P115 この種の有限性定理のeffectivityは(例外的な場合5)を除いて)orderが途方も なく大きいのが普通であり,一般には双曲的曲線のGrothendieck予想(GC1),(GC2)とそのヤ コビ多様体のTate予想等とはかなりの隔たりがある.Grothendieckは彼の予想の根拠として数 論的基本群π1(X)が「尋常ならざる剛性」を有すること,いいかえればその数論的な‘商’Gal(K) の幾何的‘部分’πL(XK)への外作用(1.2)が「尋常でないほど強い」はずであることを(コホモロ ジー理論においてA.Wei1やP.Deligneらにより解明されてきたガロア表現の非自明性と比較し て)挙げている([G3]). 最後にもう一つ,きちんと定式化できる(未解決)予想として興味深いものに次のSection予想がある. P117 cusp点集合における円分置換表現13)が(階n一1の部分加群として)ほぼ入つて いるので,これを群論的にζり出せればよい.それを保証するのがRiemann-Weil予想である.
735:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 19:49:48 jlNBK+nU.net
>>685
＞Tate 捻り “Zb(1)”
（参考）
URLﾘﾝｸ(blog.goo.ne.jp)
めけめけ様の日々雑感
捻る（ひねる）と捻る（ねじる）の違いとは？
2006年02月04日
さて、「捻り（ひねり）」と「捻り（ねじり）」の違い、あなた説明できますか？
漢字は同じなんですよね。
これテレビで見たのだけれども、違いがあるそうなんです。
ひねりは１方向の回転、ねじりは逆回転が入るということです。
蛇口はひねるものです。雑巾はねじって絞ります。
URLﾘﾝｸ(chigai-allguide.com)
「ひねる」「ねじる」「よじる」 - 違いがわかる事典chigai-allguide.com ? ひねるとねじるとよじる
(抜粋)
ひねるは、「考えをめぐらす」「工夫する」という意味で「頭をひねる」や「首をひねる」、「簡単にやっつける」「負かす」という意味で「軽くひねってやる」や「ひねり潰してやる」といった使われ方もする。
736:現代数学の系譜 雑談
20/05/23 20:15:06.88 jlNBK+nU.net
>>685
Tate先生
佐藤・テイト予想！
アーベル賞 -（2010年）もらっているんだ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
佐藤・テイト予想
URLﾘﾝｸ(ja.wikipedia.org)
ジョン・テイト
ジョン・テイト（John Torrence Tate, 1925年3月13日 - 2019年10月16日[1]）は、アメリカの数学者。 エミール・アルティン
737:のもとで1950年プリンストン大学で学位を取得。長年ハーバード大学に勤め、現在はテキサス大学オースティン校教授。ミネソタ州ミネアポリス生まれ。 現在の研究範囲は代数的整数論、類体論、ガロア・コホモロジー、ガロア表現、L関数とその特殊値、Modular形式、楕円曲線、Abel多様体。 業績 p-divisible群とTate加群の研究によりp進Hodge理論を用意した。 Abel多様体におけるSerre-Tate理論。 Rigid解析空間の幾何学の創始。 Artin-Tate公式、Iwasawa-Tateのゼータ。 Lubin-Tate群、Shafarevich-Tate群、Mumford-Tate群の構成等とまだまだ沢山彼の名前がついた業績が有る。 Tate双対性、Tate曲線、Neron-Tate height、Bass-Tate、Mazur-Tate-Teitelbaum Hodge-Tate分解、Tate twist、Sato-Tate...etc... 受賞歴 コール賞数論部門 -（1956年） スティール賞生涯の業績部門 -（1995年） ウルフ賞数学部門 -（2002/2003年） アーベル賞 -（2010年） https://en.wikipedia.org/wiki/John_Tate John Tate
738:１３２人目の素数さん
20/05/23 21:25:46.64 JBLL4dij.net
IUTあってたらアーベル賞もらえるかな
739:１３２人目の素数さん
20/05/23 21:36:15 JBLL4dij.net
もし懸賞問題とけちゃって一億やるわって言われたら、さすがのもっちーさんも悩むんだろうか
嫁がいなかったら、最終的に辞退するとはおもうけど
740:１３２人目の素数さん
20/05/23 22:06:34 +RE0fuli.net
>>45
URLﾘﾝｸ(adult123com.0-55.com)
エ口ボディｗｗｗｗｗｗwｗｗｗvvｗｗwｗｗｗwwvvwwwｗ
741:１３２人目の素数さん
20/05/23 22:09:54 PowF6H77.net
錬金術のIUTで受賞
742:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 22:10:07 jlNBK+nU.net
>>685 追加
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory)
星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76
(抜粋)
P123
§ 13. 様々な被覆とテータ関数
この
§13 では, §14 や §15 で行われる単テータ環境の解説の準備として, 一点抜き楕円曲線に
関わる様々な曲線やその上の有理関数であるテータ関数を簡単に紹介します. (この §13
の内容について, 詳しくは, [7] の §1 や §2 を参照ください.)
(引用終り)
”一点抜き楕円曲線”下記 中村「楕円曲線ひく１点の基本群は」と同類の話だろう
URLﾘﾝｸ(mathsoc.jp)
日本数学会 代数学分科会 ホームページ
URLﾘﾝｸ(mathsoc.jp)
代数学シンポジウム関連情報
第63回 代数学シンポジウム
2018年9月3日（月）～9月6日（木）
URLﾘﾝｸ(mathsoc.jp)
グロタンディーク・タイヒミュラー理論の話題から 中村博昭（大阪大学理学研究科）
URLﾘﾝｸ(mathsoc.jp)
第63回代数学シンポジウム報告集 - 日本数学会 報告集講演統合版（2019年1月発行）(pdf file)
(*)14:45-15:45 中村 博昭（大阪大学 理学研究科）. 「グロタンディーク・タイヒミュラー理論の話題から」
1980 年頃に，出発点となる X = P1 ? {0, 1, ∞} の場合に，Belyi [3] がガロアの逆問
題への応用を目的とする短い論文の中で，基本完全系列から生じる外ガロア表現の忠実
性 GQ ,→ Out(π1) の証明と，基本完全系列の標準分裂（のちに Q-有理的な接基点 ?→
に対応すると言われる半直積構造）πQ = π1 ? GQ を指摘した．Grothendieck [12] は，
この発見に着目し，X = Mg,n/Q （種数 g, マーク点 n
743: 個（順序付き）の完備代数曲線 のモジュライ空間 ）に拡張することを提唱する，幾何的基本群 π1 は副有限タイヒミュ ラーモジュラー群（向き付け可能な曲面の写像類群の profinite 完備化）となる． つづく
744:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 22:10:37 jlNBK+nU.net
>>695
つづき
P3
2. 伊原ベータ関数とその楕円類似
2.1. π1(P1?{0, 1,∞}). 射影直線ひく3点の数論的基本群につながる研究は，（Grothendieck
とは別の数論的観点から）伊原による研究 (1960年代に遡る [15])があり，1984年のChicago
での講義が論文 [16] として出版されたのを契機に，Anderson, Coleman, Deligne なども
加わり国際的な研究活動が活発に展開された．
P5
2.3. 楕円曲線版.
楕円曲線ひく１点の基本群は，射影直線ひく 3 点の基本群と同様にトポロジカルには階数２の自由群であるが，穴の周りの局所基本
群の入り方に大きな違いがあり，アデリック・ベータ関数の類似の構成は紆余曲折をきわ
めている ([34]).
(引用終り)
以上
745:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 22:12:12 jlNBK+nU.net
>>691
>IUTあってたらアーベル賞もらえるかな
賞の可能性ありと思う
>>692
＞嫁がいなかったら、最終的に辞退するとはおもうけど
もったいない
こちらに回して欲しいよ（＾＾；
746:１３２人目の素数さん
20/05/23 22:17:19.06 Arue/3Qh.net
RIMSに寄付すんじゃないか
747:１３２人目の素数さん
20/05/23 22:22:58.08 kFDuGleR.net
万が一IUTが合ってたとすると、恐らくRIMS以外の全く無関係の研究者が補題3.12のギャップを埋めたときになるだろうけど、
このときどのような形でアーベル賞が授与されるのか
748:１３２人目の素数さん
20/05/23 22:31:19.61 Arue/3Qh.net
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
749:１３２人目の素数さん
20/05/23 22:32:10.45 Arue/3Qh.net
3.12って本当にgapなの？
750:１３２人目の素数さん
20/05/23 22:42:47.18 kFDuGleR.net
ギャップでなければ、今頃RIMSの面々が補題3.12のより細かい証明をしてる
これだけギャップと言われながら自明としか返せないというのがギャップ
751:１３２人目の素数さん
20/05/23 22:46:04.36 3WbEoALD.net
科研費もらってないってことは全部自腹なわけ？
752:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/23 23:06:33 jlNBK+nU.net
>>703
＞科研費もらってないってことは全部自腹なわけ？
例えば、文元先生の 科研費 を、共同研究だとかで
使わせて貰えるなら
自分で科研費を取ってくる必要ないでしょうよ（＾＾
>>702
＞これだけギャップと言われながら自明としか返せないというのがギャップ
所詮、ワカランやつにはワカランさ
たとえ、フィールズといっても、分野がずれていればね
753:１３２人目の素数さん
20/05/23 23:07:21 pHe8Cl7Q.net
本当に正しければ、rimsが全力で文科省も巻き込んでオールジャパンでショルツのこと撃退してるわな
754:１３２人目の素数さん
20/05/23 23:08:47 a8RN5dFT.net
永田自明先生が証明される
755:１３２人目の素数さん
20/05/23 23:10:33 kFDuGleR.net
>>704
分野とか関係なくギャップがあると言われれば、理解してるものはより詳しい証明が書ける
それが数学の証明
しかしながら実際には、補題3.12の証明に著者がいくらか追加した以降、自称理解者全員が補題3.12のより詳細な証明を説明できていない
756:１３２人目の素数さん
20/05/23 23:17:18.90 3WbEoALD.net
>>704
例えばGさんがIUT関連でもらってるから、Gさんに請求書まわしてるってことぉ？
757:１３２人目の素数さん
20/05/23 23:17:27.20 U5efZFyV.net
越川氏とかどうしてるのか
758:現代数学の系譜 雑談
20/05/23 23:29:54.06 jlNBK+nU.net
>>695
>Belyi [3] がガロアの逆問
参考
URLﾘﾝｸ(en.wikipedia.org)
Belyi's theorem
This is a result of G. V. Belyi from 1979.
759:At the time it was considered surprising, and it spurred Grothendieck to develop his theory of dessins d'enfant, which describes nonsingular algebraic curves over the algebraic numbers using combinatorial data. Quotients of the upper half-plane It follows that the Riemann surface in question can be taken to be H/Γ with H the upper half-plane and Γ of finite index in the modular group, compactified by cusps. Since the modular group has non-congruence subgroups, it is not the conclusion that any such curve is a modular curve. Belyi functions A Belyi function is a holomorphic map from a compact Riemann surface S to the complex projective line P1(C) ramified only over three points, which after a Mobius transformation may be taken to be {\displaystyle \{0,1,\infty \}}\{0,1,\infty \}. Belyi functions may be described combinatorially by dessins d'enfants. Belyi functions and dessins d'enfants ? but not Belyi's theorem ? date at least to the work of Felix Klein; he used them in his article (Klein 1879) to study an 11-fold cover of the complex projective line with monodromy group PSL(2,11).[1] Applications Belyi's theorem is an existence theorem for Belyi functions, and has subsequently been much used in the inverse Galois problem. References 1 le Bruyn, Lieven (2008), Klein's dessins d'enfant and the buckyball. http://www.neverendingbooks.org/index.php/kleins-dessins-denfant-and-the-buckyball https://en.wikipedia.org/wiki/G._V._Belyi G. V. Belyi Belyi won a prize of the Moscow Mathematical Society in 1981, and was an invited speaker at the International Congress of Mathematicians in 1986.[1]