14/01/05 19:12:31.78
これから代数幾何学を学んでみたいけど、何をどういう順にやればいいのかわからない人。
代数幾何学といっても広大なので、どういう分野があって、どんな研究が活発に行われているのか知りたい人。
そんな人たちが玄人から助言を貰ったり、お互いに意見交換したり、勉強の進度を報告しながら
代数幾何学の深遠なる聖域に近づくためのスレです。
学生・社会人・お年寄り・ニート・在日いかなる人にも代数幾何学への道は開かれています。
皆さん頑張りましょう!
前スレ
スレリンク(math板)
2:132人目の素数さん
14/01/06 03:09:27.88
標準環って何や?
3:132人目の素数さん
14/01/06 09:55:12.03
多重標準束の断面全体のなす環
4:132人目の素数さん
14/01/06 12:18:56.58
まじレスご苦労さん
canonical bundle,「標準」束、この言葉違和感がある俺は素人か?
5:132人目の素数さん
14/01/06 15:56:21.84
曲線の場合は「標準」因子という感じは出てるけど
6:132人目の素数さん
14/01/06 16:46:44.80
それが有限生成やと何がええのかの?
7:検便のナウシカ ◆UVkh7uHFoI
14/01/06 17:26:38.11
双有理不変量としては有効なのでしょうかね。
8:132人目の素数さん
14/01/06 17:39:38.85
標準環のProjを取ると良い事がある
9:132人目の素数さん
14/01/06 17:43:50.29
環(あるいは代数?)のProjとは何ぞ?
10:132人目の素数さん
14/01/06 18:08:37.95
gradedな環のProjならある
一般の環ではない
要するに射影スキーム(多様体)を作る操作
入門書を見てね
11:132人目の素数さん
14/01/06 23:28:58.60
Proj はプロージって読むの?
Ann は あんっ て読むの?
12:132人目の素数さん
14/01/06 23:30:24.73
読み方をいちいち気にする奴は例外なく低能
13:132人目の素数さん
14/01/07 09:24:50.23
そもそもBaily-Borel-Satakeのコンパクト化の話を知らずに
標準環を論じることにどんな意味があるというのか
14:132人目の素数さん
14/01/07 13:39:18.62
ハーツホーン読んだ後には何を読むのが一般的?
15:132人目の素数さん
14/01/07 13:50:17.09
読み終わってから聞けば
16:132人目の素数さん
14/01/07 13:53:21.76
視野が広くなるから読み終わったら勝手にわかる
17:132人目の素数さん
14/01/07 14:07:50.55
>>14
Abelian varieties by Mumford
Hartshorne is just a language learning book so to say.
18:132人目の素数さん
14/01/07 15:03:58.17
アーベル多様体の本て
和書で何かある?
フランス語で読みやすいのは
O.Debarreのだったが
19:132人目の素数さん
14/01/07 15:07:28.74
>>14
EGA,SGA読めば何も気にする事はないぞ
20:132人目の素数さん
14/01/07 16:08:00.25
うん、ハーツホルンは読まなくてもいいぜ
21:132人目の素数さん
14/01/07 16:36:09.03
だからと言ってEGAもSGAも読まなくてもいい気がするがな。
代数幾何学やるのにも
22:132人目の素数さん
14/01/07 16:40:56.05
754 :132人目の素数さん:2012/11/01(木) 13:29:45.95
飯高さんの「Algebraic geometry」は非常にいいと思う。
あれでスキームの勉強して、
Gabber「p-adic Hodge theory」のpp1-100でToposを勉強して、
Kashiwara,Schapira「Sheaves on manifolds」の2章でGrothendieckの6operationsを勉強して、
Milne「Etale cohomology」をザット読み、
そのあと、Deligne「SGA4+1/2」を読み、
Andre「Introduction aux motifs」
Voedvodski「MotivicCohomology]
で研究できる。
これが最短コース。
自分の経験です。
23:132人目の素数さん
14/01/07 17:20:54.05
最後のはClayのか。読んだことないな。
24:132人目の素数さん
14/01/07 17:24:25.12
>Gabber「p-adic Hodge theory」
こんなのある?アマゾンでもarxivでも探したけどない
25:132人目の素数さん
14/01/07 17:27:15.00
こういうの沢山出てくればEgaやSgaの重要性も減ってるんだらうね
26:132人目の素数さん
14/01/07 17:33:09.24
>>24
GabberのAlmost Ring Theory関連のpdfを探すべし
27:132人目の素数さん
14/01/07 17:41:55.05
>>26
それなら持ってますが目次見てもtoposなんて一言も出てこないけど
これはtoposなんだろうか??
28:132人目の素数さん
14/01/07 17:54:59.15
>>27
Foundationの方のpdfだったと思う
29:132人目の素数さん
14/01/07 18:02:44.09
>>28
ありがとう。arxivから落とせました
30:132人目の素数さん
14/01/07 18:41:00.35
ハーツホーン読むなら岩波の代数幾何学の方がいいと思う
31:132人目の素数さん
14/01/07 19:10:45.67
永田丸山宮西の本はどうですか抽象代数幾何学
32:132人目の素数さん
14/01/07 19:23:11.99
岩波のは600p超えの厚い方ね。あれはハーツホーンと違って証明丁寧に書いてあるのがいい
33:132人目の素数さん
14/01/07 19:25:39.11
どの教科書がいいかはその後何をやりたいかによって違う
例えば数論幾何をやりたいならこれ双有理幾何をやりたいならこれという
34:132人目の素数さん
14/01/07 19:32:08.67
代数群をやるにはどれでしょう
35:132人目の素数さん
14/01/07 19:45:32.89
数論幾何ならLiu,双有理幾何ならIitaka
代数群なら・・・知らん
36:132人目の素数さん
14/01/07 21:56:37.46
Gabberの本ていつ完成するの?
今見たら1000ページを超えてたけど。。。
37:132人目の素数さん
14/01/08 01:17:20.67
ターンパイク理論、
トリクルダウン理論、
どちらもダメだ
38:132人目の素数さん
14/01/13 01:02:42.04
ハーツホーン読み終わって、より高度な専門書を読みたいのですが、なにか数論幾何学向きのありますか?
39:132人目の素数さん
14/01/13 06:01:49.87
Gaitsgory
40:132人目の素数さん
14/01/13 08:42:00.70
Fu、斎藤・佐藤、Silverman
41:132人目の素数さん
14/01/13 09:25:06.49
>>38
君はハーツホーンを読み終わってない
42:132人目の素数さん
14/01/13 09:33:55.35
だな
43:132人目の素数さん
14/01/13 21:00:02.19
25 名前:132人目の素数さん[] 投稿日:2005/11/16(水) 13:22:16
Neukirch (number theory), Serre(local fields),
Artin Tate(local fields), Silverman(Elliptic curve),
Hartshorne(algebraic geometry), Milne(Shimura varieties, modular forms), Milnor(K-theory), Diamonds(modular forms),
Markus(number fields),Faltings(Arithmetic Rimeann Roch),
Gillet(Arakelov geometry),
Fontaine(p-adic Galois representation (online lecture notes))
を読破!!!
44:132人目の素数さん
14/01/13 21:38:07.61
ハーツホーンは数論幾何をやるには物足りない、特にホモロジーの章は使えない、と聞きました。
45:132人目の素数さん
14/01/13 21:56:21.39
そうですか。
46:132人目の素数さん
14/01/13 22:01:07.35
>>43
内容が重複しすぎ
47:132人目の素数さん
14/01/13 23:41:35.46
リジッド幾何やアラケロフ幾何もありかな
加藤先生や森脇先生のやつ
48:132人目の素数さん
14/01/14 00:15:18.47
代数的スタックとかも
49:132人目の素数さん
14/01/14 00:59:38.91
ブラック企業講義
50:132人目の素数さん
14/01/15 22:55:08.22
スタックそれだけを勉強するってのはどうかなぁ
モジュライとかから始めるべきだと思うが
51:132人目の素数さん
14/01/15 23:27:39.67
Deligne-Mumford?
52:132人目の素数さん
14/01/17 23:13:37.93
Deligne-Mumfordはオススメだと思う
53:132人目の素数さん
14/01/18 18:42:36.14
1969
はや半世紀になるか
あの時は、宇宙語で書かれてんか?と思って、
でもコピーを2、3年持ち歩いていた。
その後の生涯に全く役に立たなかった、甘酸っぱい思い出...
54:132人目の素数さん
14/01/18 19:33:48.74
チーン
55:132人目の素数さん
14/01/18 20:06:01.26
1匹つれた
56:132人目の素数さん
14/01/18 20:28:04.55
この掲示板はやはり老人が多いな
57:132人目の素数さん
14/01/18 21:02:00.03
Goligne
58:132人目の素数さん
14/01/18 21:12:22.35
Deligne-Mumfordって何ですか?
59:132人目の素数さん
14/01/18 21:38:46.58
Moduliと言えば向井氏の本が良いのかな?
60:132人目の素数さん
14/01/18 22:17:57.45
この掲示板はやはり未熟なひよっこが多いな
61:132人目の素数さん
14/01/19 08:26:00.21
所詮はエロサイト
62:132人目の素数さん
14/01/19 12:04:14.11
エロい人が多いの?
63:132人目の素数さん
14/01/19 22:25:11.23
みんなマスかいてるからね
64:わし!
14/01/20 00:42:24.60
工学部卒、数論幾何の楽園目指して猛進中!
現在西田線形代数2章章末演習!
65:132人目の素数さん
14/01/20 09:32:23.09
頑張れ
66:検便のナウシカ ◆UVkh7uHFoI
14/01/24 19:05:31.38
射影代数多様体の連接層の導来圏が同値なら双有理同値なんだっけ?複素3次元で。
Moishezonに拡張できないの?
67:132人目の素数さん
14/01/25 00:00:31.67
その問題を考える前に、
MoishezonでまずMMPが作れるかが問題だがそれは難しいそうだ。
昔、PeternellらがKahlerだとかなりMMPに近いものが
出来るという論文を発表したが、それ以降の進展は知らない。
解析空間だとコンパクト集合の近傍でBlow-upやFlipを
施さないと、そもそもプログラムが意味を成さない。
87年だったか?仙台で開催された代数幾何の報告集
(Advances in Pure Math)を読んでみるとそういう話が沢山載っている。
解析空間で考える人は日本では少なくなったかも知れない。
68:検便のナウシカ ◆UVkh7uHFoI
14/01/25 00:55:04.22
貴重な話ありがとう。
確かにこの手の話を俺は聞いたことないからね。
何か概念が出ればすぐにそれを拡張しようという考えは誰でも思いつくけど、話を聞かないってことは
あまり面白い結果には結びついていないみたいだね。
非ケーラーMoishezonってのは大量のあるけど、どうやって分類すればいいのだろう。
69:132人目の素数さん
14/01/25 01:05:19.72
>>68
昔の文献だけど、
Campana-Peternell、Toward a Mori theoy
on compact Kahler threefolds (Math. Nachrichten) 1997
自分の専門でないので最近の事情は知らないけど、
MMPを正標数でやるという話も最近になって
進展し始めたから、Kahlerで考える方向はやる価値があると思う。
70:検便のナウシカ ◆UVkh7uHFoI
14/01/25 01:07:31.79
これはありがとう!
早速取り寄せてみたいと思います。
71:132人目の素数さん
14/01/25 04:05:37.25
>>70
その論文は続編があって3?まで出ているみたい。
Peternellさんに直接メールを出すという手もある。
72:仙石60
14/01/25 17:24:08.56
うるせえ!
73:検便のナウシカ ◆UVkh7uHFoI
14/01/25 17:43:30.30
>>71
ありがとう。
確認しています。
紹介してくれた1はネット上にpdfでアップされてました。
2と3もネット上にありそうです。
74:132人目の素数さん
14/01/30 01:34:53.46
>>73
2と3はarxivにあるけど1が見当たらないorz
urlきぼんぬです
75:検便のナウシカ ◆UVkh7uHFoI
14/01/30 17:59:34.85
>>74
ごめんごめん。俺の勘違いだった。
1は大学へ行かないと手に入らない。
詳しくは、これ。
Math. Nachr. 187 (1997), 29-59
76:132人目の素数さん
14/01/30 18:02:27.03
Math. Nachr. はたいした雑誌じゃないと思っていたが
77:検便のナウシカ ◆UVkh7uHFoI
14/01/30 18:07:01.85
ただ著者がCampana-Peternellだから、内容はあると思われる。
俺はまだ読んでないんだけど。
78:132人目の素数さん
14/01/30 19:09:58.38
CampanaでもPeternellでもいいけど
何を読んでそう評価したわけ?
79:132人目の素数さん
14/01/30 19:27:19.45
>>75
おおおんガッデム!
80:132人目の素数さん
14/01/30 19:29:19.43
>>78
いまmathsci使える環境にないけど
Campana, F., On twistor spaces of the class C
これの引用数ってかなり高いはず
かなーり有名な論文
81:検便のナウシカ ◆UVkh7uHFoI
14/01/30 19:37:23.78
>>78
超ケーラー多様体の代数次元に関する論文。
クラスCが複素構造の微小変形に関して安定ではないという論文。
Campanaの名はよく耳にするし。
一般的には超一流ではないかもしれないけど、俺から見たら超一流だな。
82:132人目の素数さん
14/01/31 09:53:51.98
なら源流に戻るとすれば藤木だな
83:132人目の素数さん
14/01/31 19:43:23.55
誰か、AngellaのLNM読んだ?
84:132人目の素数さん
14/01/31 20:49:13.06
Chow schemeの本?
85:132人目の素数さん
14/02/01 21:12:36.12
non-Kaehlerの本
86:132人目の素数さん
14/02/01 22:57:14.30
ぐぐったけどよくわからにゃい
題名おすえてちょ
87:132人目の素数さん
14/02/01 23:14:45.25
AngellaのLNM Chow schemeの本?non-Kaehlerの本
でぐぐってもダメだぞ
lecture note mathematics Angella
でぐぐった一番上
88:132人目の素数さん
14/02/01 23:31:56.63
Cohomological Aspects in Complex Non-Kähler Geometry
やっぱこれかぁトンクスですm(_ _)m
89:132人目の素数さん
14/02/02 04:20:18.57
>>6
>それが有限生成やと何がええのかの?
誰か標準環についてこれに答えられる人いねえの?
90:132人目の素数さん
14/02/02 11:44:58.75
答えられるがお前の態度が気に入らない
91:132人目の素数さん
14/02/02 12:20:36.26
答を欲しいんじゃないからいいんだよ
92:132人目の素数さん
14/02/02 18:11:01.94
>>89
その答を言うには
やはり楕円モジュラー函数に戻らないと
93:132人目の素数さん
14/02/02 18:27:59.28
適当な事ばっか言ってんじゃねえよ
94:132人目の素数さん
14/02/02 18:33:18.16
じゃあ藤田予想
95:132人目の素数さん
14/02/03 09:33:20.47
>>93
楕円モジュラー関数が何の生成元か
知っていますか
96:132人目の素数さん
14/02/03 14:52:31.88
ばかばっかり
97:132人目の素数さん
14/02/03 14:57:03.50
スレタイ嫁かす
98:132人目の素数さん
14/02/03 15:03:35.38
じゃあ仕方ないな
99:132人目の素数さん
14/02/03 17:01:47.88
標準環の生成元を決定する問題を解くことが
決定的に重要な意味を持つことになるから
100:132人目の素数さん
14/02/03 17:04:31.79
MMPにとって?
101:132人目の素数さん
14/02/03 17:07:09.40
総実体が幾何学的モデルを持つことはよいことだ
102:132人目の素数さん
14/02/03 19:14:48.61
>>99
具体的な例を2,3お願いしますm(_ _)m
103:132人目の素数さん
14/02/04 02:29:39.47
楕円モジュラー関数。
J不変量にWeirestrassのP関数
104:132人目の素数さん
14/02/04 09:43:31.50
ていうか専門外の人間だが
高次元代数多様体論の何が嬉しいのかよくわからない。
パズルとしては豊かで楽しそうだけど定義やら人工的だし
高次元代数多様体の諸結果が一体何に役立つのかよくわからん。
アバンダンス予想が解決されたら終わっちゃう分野じゃないの?
105:132人目の素数さん
14/02/04 10:45:40.05
緻密な数学的思考力を用いて
今まで誰もやらなかった試みに成功する
アバンダンスが解決されたとしても
まだまだそれができる分野であることは確か
分け入っても分け入っても...
106:132人目の素数さん
14/02/04 13:26:26.81
才能が無けりゃ分からんわな
107:132人目の素数さん
14/02/04 14:39:51.71
才能=活動の潜在的多様性
刺激を与えれば何にでもなる
STAP
Stimulus Triggered Acquisition of Pluripotency
108:132人目の素数さん
14/02/04 17:10:30.69
>>104
何か新しい見解でも出れば別だが、
アバンダンスで終了な分野かもしれない。
109:検便のナウシカ ◆UVkh7uHFoI
14/02/04 17:58:39.08
でもわからないことはたくさんあるけどね。
そういうのはパズルチックなの?
110:132人目の素数さん
14/02/04 22:25:33.88
カタストロフィ理論っていまでも研究されてるんですか?
111:132人目の素数さん
14/02/04 23:08:02.08
モジュライ空間とかってどの本でやったらいいですか?
112:132人目の素数さん
14/02/05 08:31:02.92
>>89
標準環が有限生成である事と
フリップが存在する事が同値ならしい。
113:132人目の素数さん
14/02/05 10:42:41.05
>>108
デカルトで始まりアバンダンスで終わりでは
シャレにもならない
114:132人目の素数さん
14/02/06 09:07:13.55
STAP
Stupid Teinou Aho Paadesu
115:132人目の素数さん
14/02/06 11:54:38.12
それではおやじギャグにもならない
116:132人目の素数さん
14/02/06 21:51:42.75
STAP
sexy Tshatsu antano pantie
訳「小保方さんのエロいTシャツとエロいパンティ」
117:132人目の素数さん
14/02/08 13:33:02.32
90歳になる親父が小保方さんに萌えておった
118:132人目の素数さん
14/02/08 14:24:29.30
EGA IVやHartshorne(の古いrevision)には、有理形関数の層K_Xの定義に間違いがあります。
URLリンク(freedommathdance.blogspot.jp)
119:118
14/02/08 14:29:56.44
ちなみに、10年くらい前に2chでこのEGA IVの間違い(?)について聞いたんですが、そんときは結局いまいち納得のいく答えは得られませんでした。
俺は以下の過去ログの520。
URLリンク(viva2ch.net)
120:118
14/02/08 14:34:02.57
まさかKleimanがずっと前にこれについて論文にしていたとは知りませんでした。
実は学生のときにHartshonreののK_Xの定義がおかしいと思って、何日も悩んだことがある。
最近ふとしたことで上のブログとKleimanの過去の論文を見つけて溜飲を下げました。
121:132人目の素数さん
14/02/08 14:38:38.13
ハーツホーン等の教本の様なものからではなく、代数幾何学やるのに最初からEGAから読む人いるんですか?
122:132人目の素数さん
14/02/08 14:44:16.65
あんまいないでしょ。Deligneとかはそうだったみたいだけど
123:132人目の素数さん
14/02/08 16:46:59.25
そりゃハーツホーンは出版されてないからな
124:132人目の素数さん
14/02/08 16:50:32.28
>>123
写真集想像してわろた
125:132人目の素数さん
14/02/08 18:03:55.16
ぼくはDeligneさんよりの年寄りの爺さんですが,RedBook見ていきなりEGA,SGAに行くしか
道はありませんでした。(Dさんは10代でいきなりGさんのセミナーに入ったんだもんな)
でもそのおかげで、EGA3の2分冊目や、SGA4,5,7などに新鮮な感動を憶えちょっぴりは仕事
に役たちました。
因に、私は代数幾何の専門家ではなく別分野のモンです
126:132人目の素数さん
14/02/08 18:25:06.34
EGAの中に誤った定義があるんですか?
ハーツホーンの代数幾何学やらずに最初からEGA読もうと思ったんだけど不安になりました。
127:132人目の素数さん
14/02/08 18:40:52.96
どこだって間違いはあるでしょ
ハーツホーンやらずにEGAやろうと思う君は
マイナーな間違いや誤植は何の障害にもならないと思うよ
無駄な駄本は無視してどんどんホンマモンに取り組んだらいいよ
128:132人目の素数さん
14/02/08 19:40:26.97
なんでいきなり論文をよんだらいかんの
129:132人目の素数さん
14/02/08 20:07:21.22
できるんならそうすればいいんじゃない?
130:132人目の素数さん
14/02/08 21:39:33.06
>>126
そんな質問するくらいなら普通にハーツ読もうよ
EGAは歴史上最初のスキームの本だから後から不必要な仮定とかが
いろいろ見つかってる
そいうこと含めて君が最初に読む本としては難しいと思う
131:132人目の素数さん
14/02/08 21:55:36.98
はーとしょんと読む人は少数派でsか
うぇいゆとかは
132:132人目の素数さん
14/02/09 02:54:07.77
気持ちは分からんでもないんだが、「誤った定義」という言い回しには何か違和感があるw
133:132人目の素数さん
14/02/09 07:58:06.85
>>131
本人が日本に来るまでは、代数幾何の学生もハートショーンと言ってたが、
初来日(まだあの教科書はなく、R&Dで知られてた)のとき、自分のことを
ハーツホーン(英語風に)と言った。
因にうぇいゆさんは英語でしゃべる時は、自分のこと「ゔぁいる」と言ってた、
H. Weylと紛らわしいが、と言いながら。また、類体論に出てくるWeil groupは
リー群のWeyl groupと混同しやすいし、Galois群のちょっとした拡張に過ぎないから、
W-groupと言え、と言ってた。後ろの席の方で、あるアメリカ人が、ならなんでWなんだ?
G-groupでいいじゃん、とかつぶやいてた。
134:132人目の素数さん
14/02/09 09:56:02.55
ハーツホーンの代数幾何学から何を読めばいいのか全く情報がなくて困ります
135:132人目の素数さん
14/02/09 09:57:56.56
ハーツホーンを読んでそれでは数学には向いてない
136:132人目の素数さん
14/02/09 09:57:57.63
どこをどう読めばいいかも自分で決められないのか
勉強向いてないから他のことやったほうがいい
137:132人目の素数さん
14/02/09 10:03:59.88
>>133
面白い逸話どうもです。
138:132人目の素数さん
14/02/09 12:14:47.85
>>133
ロビンさんは津田塾大のハーツホンホールには行ったのかな。
津田梅子の恩人のハーツホン一家とは親類なんだそうだ。
139:132人目の素数さん
14/02/09 12:48:36.28
それは知りません、
飯高先生あたりに聞いたら
140:132人目の素数さん
14/02/09 23:51:32.40
>>138
自分の英語が下手くそで、
前にバークレーで日本語で会話したことがあるのだけれど、
津田塾のハーツホーンは自分の叔母にあたる人で
お祝いの席に招待されたとか言ってた。
141:132人目の素数さん
14/02/10 03:09:53.59
ただ教科書を書くのがうまかっただけの
はーとしょん
しかも駄本w
142:132人目の素数さん
14/02/10 08:23:35.72
うるせえ!
143:132人目の素数さん
14/02/10 11:25:42.98
>>141
> 書くのがうまかった
のに、
>しかも駄本w
とはこれいかに。
あの時代あの分野で、書くのがうまかったのはまむふぉーど
がピカイチでは。
144:132人目の素数さん
14/02/10 11:58:29.00
シャファレヴィッチがダントツだろう
145:132人目の素数さん
14/02/10 17:02:47.32
ピカイチとダントツは違うのか?
どちらも書くのがうまいが、内容の選び方が
大分違ってるように思った。
Mのほうがスキームのテクニックを教わるのに焼く達
146:132人目の素数さん
14/02/10 18:55:42.62
いまはWedhorn
147:132人目の素数さん
14/02/10 18:57:43.04
だまずれがぶりえる は
148:132人目の素数さん
14/02/10 19:19:42.42
Liu
149:132人目の素数さん
14/02/10 20:31:48.87
スキームはテクニックなのか
150:132人目の素数さん
14/02/10 20:38:18.14
うん
グロタンヂェクのいろんな話のタイトルは
テクニーク・ド・なんたらなんたら、と付いてるではないかい
151:132人目の素数さん
14/02/10 20:44:03.18
降下とかのこと?
152:132人目の素数さん
14/02/10 20:45:08.70
そう
153:132人目の素数さん
14/02/10 21:41:45.52
>>143
ハーツホーンの本は手際よくまとめてあるのがうまいってだけ、って事だろ。
本来は中心に据えて読むべき本じゃない。
154:132人目の素数さん
14/02/11 08:32:54.67
あくまでスキーム論は言葉だからね
位相空間論や多様体論みたく
155:132人目の素数さん
14/02/11 09:41:57.62
スキームって何の役に立つの?
可換環上の代数幾何にしか使えないの?
156:132人目の素数さん
14/02/11 09:43:26.54
ハーツホーンやってエタールコホモロジーやったら代数幾何学の研究できるまでいきますか?
157:132人目の素数さん
14/02/11 09:53:47.56
>>155
>スキームって何の役に立つの?
>可換環上の代数幾何にしか使えないの?
ほえ?もしや非可換環上に使いたいの??wwww
そりゃああ豪気だのぉw
158:132人目の素数さん
14/02/11 10:47:38.91
非可換環をやりたいと言っているご仁は
有限群論が嫌いなことが多い
159:132人目の素数さん
14/02/11 10:51:25.12
群環は…
160:132人目の素数さん
14/02/11 12:25:22.68
可換環論の専門家による
群論のテキストは
初等ガロア理論の域を出ないものが多い
161:132人目の素数さん
14/02/11 12:28:20.69
>>156
もう一息
162:132人目の素数さん
14/02/11 12:30:58.72
>>156
>>ハーツホーンやってエタールコホモロジーやったら
やって好きになったら
163:132人目の素数さん
14/02/11 12:42:48.70
ていうか、もっとも重要な複素数体上の代数幾何を考える場合スキームって不要なの?
164:132人目の素数さん
14/02/11 12:48:26.45
被約でない解析空間
165:132人目の素数さん
14/02/13 20:26:24.43
q-line bundleの定義ってなんですか?
166:132人目の素数さん
14/02/14 11:33:49.96
q-analogue
167:132人目の素数さん
14/02/15 02:33:56.60
q係数
168:132人目の素数さん
14/02/15 23:58:24.40
バケラッタ
169:132人目の素数さん
14/02/16 10:03:37.26
順極限逆極限のイメージがつかめません
∩とか∪とかの極限とはちがうのですか
170:132人目の素数さん
14/02/16 10:24:22.62
順極限や逆極限によって定義されているものの例を考えてみれば?
171:132人目の素数さん
14/02/16 11:37:04.81
イメージなんて後からついてくるもの
とりあえず進め
172:132人目の素数さん
14/02/16 11:55:49.75
会話にも帰納極限があるとするなら、帰納極限が空集合と感じた瞬間その会話に価値を感じなくなる。
173:132人目の素数さん
14/02/18 20:23:11.71
?
どういうこと?
174:132人目の素数さん
14/02/18 22:34:27.68
テンサー積のイメージも難しいです
直積との関係は?
175:132人目の素数さん
14/02/19 16:37:29.18
線型代数からやり直せ
176:132人目の素数さん
14/02/19 22:19:16.47
なんで代数幾何学のスレで
テンサー積とか・・・ゆとりか
177:132人目の素数さん
14/02/19 22:20:23.49
リューローの定理の証明って空でできるものここの住人って
178:132人目の素数さん
14/02/19 22:44:16.47
質問内容がすごくゆとり
179:132人目の素数さん
14/02/19 22:48:47.87
証明なんていちいち覚えなくてよろしい。
必要なときに確認できる力が付いていたらいい。
180:132人目の素数さん
14/02/19 22:55:23.40
SGAなんて読んでられません
181:132人目の素数さん
14/02/20 10:16:32.73
FACは?
182:132人目の素数さん
14/02/20 19:44:11.03
FACってどう発音するの?
ふぁっく
でいいの?英語圏だとぶっ殺されそうで怖いんだけど
183:132人目の素数さん
14/02/20 19:45:27.64
あーおもしろいなー
184:132人目の素数さん
14/02/21 12:59:24.13
ファークでいいんじゃ
185:狸 ◆2VB8wsVUoo
14/02/21 13:15:03.18
URLリンク(www.college-de-france.fr)
狸
186:132人目の素数さん
14/02/21 13:29:40.68
久しぶりに読んでみるか
なんか再発見があるかもしれない
にしても、これが60年前か…
187:132人目の素数さん
14/02/21 13:45:05.57
セールの時代はともかく、いまだにフランス語で論文を書いてるやついるよね。
カッコつけてるのかどうかしらないけど、やめてほしい。
188:132人目の素数さん
14/02/21 13:54:28.09
おまえに読んでもらいたくないからだ
別にカッコつけてるんじゃない
189:132人目の素数さん
14/02/22 09:06:22.15
Atiyah MacDonaldの「可換代数入門」と堀田先生の「可換環と体」を読んだんだが、ハーツホーンってもう読めるかな?
190:132人目の素数さん
14/02/22 10:13:04.73
命取られるわけじゃないんだから立ち読みなりして自分で確かめろよ
191:132人目の素数さん
14/02/22 10:50:35.57
>>189
あんたがハーツホーンを読めるかどうかは知らんが、普通はその位読み終えたらハーツホーンに行ける
192:132人目の素数さん
14/02/22 12:17:54.56
ハーツホーンは
根を失った数学が到達したものとしては
最高の形式美であろう
193:132人目の素数さん
14/02/22 13:12:48.19
プラトン風にいえば
それもイデアの一形式
真理を究めるためには欠かせないものの一つ
194:132人目の素数さん
14/02/22 14:06:40.86
しょせん30年以上前の本だし、現代はcoherentだけでは話はすまない。
いつまでも古い本をあがめても仕方ないよ
195:132人目の素数さん
14/02/22 17:22:18.13
しかしあれが読めないと論文も読めないよ。
196:132人目の素数さん
14/02/22 17:26:56.95
あれが悪いんじゃなくてあれをあがめるのが悪いだけだな
197:132人目の素数さん
14/02/22 17:29:36.61
フランシス・ベーコン
な… 何を言ってるのか わからねーと思うが
おれも何をされたのかわからなかった…
198:132人目の素数さん
14/02/23 16:33:02.92
「あれが読めないと論文も読めない」けど「あれだけ読んでも仕方ない」って
話、けっこうあるよなあ。だんだん数学の研究に入るのが難しくなって
いくんだろうか。たいてい、どっかでリセットされるとか言う人もいるが
199:132人目の素数さん
14/02/23 17:29:13.58
そうでもないよ。
今でも修士課程でオリジナルな結果を出す人はちょくちょくいるし。
まあ指導教官の出した問題が当たっていただけの話なんだけど。
でも修士課程でオリジナルな問題に挑戦できるってことは、研究する敷居ってのは思われているほど高くない。
200:132人目の素数さん
14/02/23 17:56:15.27
> まあ指導教官の出した問題が当たっていただけの話なんだけど。
問題発見という、数学で一番たいせつな「研究する敷居」を
指導教員に手を引いてまたがせてもらって、何か意味があるのでしょうか?
修論なら、お作法を習うだけでもよいけどね。
201:132人目の素数さん
14/02/23 18:01:55.89
仕方ないじゃん。
修士に入ったペーペーが1年くらいかけて考えると解ける様な自明でない問題なんて見つけられないよ。
指導教官のやり残した問題とかおこぼれをもらって、研究する醍醐味を味わえるのは、高い学費を払っている
のだから当然のことで、それがなければ大学院なんて行く意味ない。
202:132人目の素数さん
14/02/23 18:03:54.72
研究ごっこをできるのは学生の特権だからな
203:132人目の素数さん
14/02/23 18:29:40.90
>>201
だからハーツホーンは2年生までに読んでこい、とあれほどw
3,4年でいろんな論文読んで、修士で研究の前線にたてるようにしてこいと。
それが当然のことで、それがなければ大学院なんて行く意味ないw
204:132人目の素数さん
14/02/23 18:33:41.31
そういえば、大学1年の時に「リー群で何ですか?」と教授に
質問したら「君は何をしに京大に入ってきたのか?」と問い返され、
本を一冊教えてもらった人の話を聞いたことがあるな。
しばらくして、廊下でまたあったら「あの本はもう読んだか?」と。
1年生がすぐにリー群の本を読めるわけじゃなし。でも、研究者を
目指すなら、1年からリー群くらいは勉強しておいた方がいいのは確か。
205:132人目の素数さん
14/02/23 23:34:59.33
スキームをファンクタとして定義している本が時にあるますが
普通の定義のスキームとの関係はどうなってるんでしょうか
206:132人目の素数さん
14/02/24 09:28:16.76
同値
207:132人目の素数さん
14/02/24 11:18:25.83
「リー群てなんですか」という質問に対し
「群の定義は言えますか」と聞き返す人もいる
208:132人目の素数さん
14/02/24 12:36:01.63
美少女戦士アイリーン
209:132人目の素数さん
14/02/24 13:50:45.03
大学1年でリー群の本が読めないなんて寝ぼけてるんか
210:132人目の素数さん
14/02/24 14:25:27.23
スキーム理論を勉強しはじめて、幾何学的内容の無さにあわてて
複素幾何を含む微分幾何全般とホモロジー代数を勉強して少しわかった。
代数曲線、代数曲面だけでは代数多様体が見えてこない。
局所理論としてのネーター環がわかってくると代数幾何ビギナーは修了だと思う。
今は、数論幾何みたいなことを勉強中。アラケロフ、リジッドなど。
211:132人目の素数さん
14/02/24 14:35:42.53
ディリクレの単数定理みたいなことは卒業したわけ?
212:132人目の素数さん
14/02/24 17:55:25.69
ノヴム・オルガヌム
な… 何を言ってるのか わからねーと思うが
おれも何をされたのかわからなかった…
213:132人目の素数さん
14/02/24 18:36:57.03
院試で「リー群の定義を言ってください」と聞かれ、リー群の定義の
代りに、群スキームの定義を答えた人を知っている。
214:132人目の素数さん
14/02/24 19:06:29.03
その人はその後どうなったの?
215:132人目の素数さん
14/02/24 20:02:16.48
>>210
>代数曲線、代数曲面だけでは代数多様体が見えてこない。
具体的にはどういうものがありますか?
216:132人目の素数さん
14/02/24 21:41:27.59
>>214
アカポスゲットして、ごく平均的な数学者になってます。
217:132人目の素数さん
14/02/25 20:53:48.92
>>201
受験勉強と同じくらい有害
回り道しても自分で探す方が結局血肉になる
218:132人目の素数さん
14/02/25 20:56:11.15
>>210
>今は、数論幾何みたいなことを勉強中。アラケロフ、リジッドなど。
絵に描いたような後追い乙
まぁそれぐらいしかやることないもんな
代数幾何全体が
219:132人目の素数さん
14/02/25 20:58:41.57
>>203
>だからハーツホーンは2年生までに読んでこい、とあれほどw
そんな奴そんなに多くないしそんな必要もない
ペラペラめくってなんとなく雰囲気掴むだけで良い
それ以上に首を突っ込む価値の無い駄本
220:132人目の素数さん
14/02/25 22:40:36.43
>>216
ああ、いいこと言うねえ。
指導教員から手取り足取りされてる院生を見た時の
なんとも言えない不愉快感は、確かに、いつまでも受験勉強
から抜けられない学生を見てるのに似てる。
221:132人目の素数さん
14/02/26 00:52:37.46
とか言ってるけど、お前らは研究できんの?
222:132人目の素数さん
14/02/26 06:43:50.13
>>220
それはどっちかというと指導する側が悪いんだろ
223:132人目の素数さん
14/02/26 21:16:23.70
>>222
学生のやってる様子が見ちゃいられないからって、問題とか
教えちゃう先生はダメなんだろうね。
突き放す方が結局は育つ。もちろん、それで崩れる学生も多い
けど、それは学生側が悪いんだろうね。
224:132人目の素数さん
14/02/27 22:16:34.05
このスレを守りたい人はなるべくsageましょう。
メール欄にsageと記入すればスレはあがりません
225:132人目の素数さん
14/02/27 23:41:07.76
まぁでも、優秀な学生を放任主義で鍛えるより、
凡庸な学生でも手取り足取り指導してどんどん論文出させた方が
研究業績の見映えは良くなって就職させやすいのは確かかもしれん
後者みたいな育て方で就職させて意味あんのか、みたいな議論もあろうが
全員が就職出来る訳でもなく、形だけでも論文数だの引用数だのが取分け大事なこのご時世に
理想論言っても学生を路頭に迷わすだけだし
226:132人目の素数さん
14/02/28 01:12:43.41
>>224
無意味
227:132人目の素数さん
14/02/28 01:13:51.27
だよな
228:132人目の素数さん
14/02/28 02:36:17.72
>>225
そうだと思う。
それには賛成だが、ただ自分の指導教官は
そのやり方もあと何年かくらいかで
行き詰まるだろうとか言ってた。
まあ大学そのものが潰れていく話だけど、今の世の中
何が起こってもおかしくないからな。
229:132人目の素数さん
14/02/28 09:24:49.19
ドクターを出たら急に仕事のできなくなる人が多いね。
誰も教えてくれなくなるからな。
230:132人目の素数さん
14/02/28 12:44:24.48
助教になって急にできなくなった人の割合は
そんなに多くない
231:132人目の素数さん
14/02/28 12:55:59.96
京大みたいにAコースとBコースに分けた方が良いんじゃない?
ドクターに進む人は放任のAコース。
修士で研究の真似事をしたい人はBコース。
232:132人目の素数さん
14/02/28 13:42:23.11
研究のまねごとよりも
研究の追っかけの方が重要だと思っている
ドクターの学生に手を焼いています
233:132人目の素数さん
14/02/28 15:23:22.78
>>232
タオとメイナードの素数分布の結果もZhangの追っかけじゃん
234:132人目の素数さん
14/02/28 15:35:57.29
結果を出せるだけマシ
235:132人目の素数さん
14/02/28 22:01:14.00
>>229
逆のパターンもある。院生時代教授の顔色伺って三番煎じ論文を
Cランクジャーナルにしか出せなかったけど、就職してから
のびのびやって、Bランク、まれにAランク出せたりとか。
理由はともあれZhangみたいな遅咲きホームランもあるわけだし。
236:132人目の素数さん
14/03/01 19:50:10.42
>>235
>Zhangみたいな遅咲きホームランもあるわけだし。
何歳くらいから咲いたの?
237:132人目の素数さん
14/03/01 19:51:56.13
混迷を極めるシリア、タイのクーデター、
ロシアから離脱するウクライナ。
これらの動乱の原因はすべて資源枯渇にある。
本気で世界が崩壊する日は近いと思う。
238:132人目の素数さん
14/03/01 20:54:07.37
>>230
今の助教は、PD経験してたりするから。
40歳以上だと、昔の万年助教がまだけっこう残ってるだろ。
その意味では、重点化で博士取得後しばらく任期付きで競う
というのは機能してるんだ。若手は任期なしになるまで地獄だけどね。
239:132人目の素数さん
14/03/01 22:13:10.95
まあ森さんも今は仕事してないようだし、教授や准教授でも仕事してない、あるいはワンパターンな
仕事しかしてない人は結構いると思う。
人間にはピークがあるからな。
ピークを過ぎると、もうだめです。
240:132人目の素数さん
14/03/01 23:00:30.60
柏原さんは退職してもまだまだ現役だし、人によるんじゃ
ないかなあ。
40過ぎて教授になって終わる人が最悪ですね。論文書かない
だけじゃなくて、下から学生が全然育ってない旧帝大教授も
けっこういる。
241:132人目の素数さん
14/03/01 23:08:47.61
>>240
昔と比べると論文をきっちりと書く
教授は結構いるんじゃないか?
面白いことや斬新なことをやってるかは別だけど。
242:132人目の素数さん
14/03/01 23:31:20.33
>>240
フィールズ賞を貰い損なった人で死ぬまで馬力が落ちない人は結構いるね
(同じパターンの延長かもしれぬが,それも大家の印)
表現論の指導者達や日本人だと志村氏など.
243:132人目の素数さん
14/03/02 01:13:17.44
50過ぎても馬力が落ちない人を見てると、もうその人でないと
できないような仕事になってることも多いな。
斬新さはないかもしれないが、その教授が研究を辞めたら
その後、理論を続けていける人が他にいないので、本人も
辞められないのかもしれん。
244:132人目の素数さん
14/03/02 13:01:02.95
代数幾何はゴミ
245:132人目の素数さん
14/03/02 14:13:14.16
代数曲線論くらいはどの分野の人も理解しておいた方がいいんじゃない?
246:132人目の素数さん
14/03/02 15:26:50.70
>>245
ごもっともだけど
曲面論自体はもう完成された理論で
曲面論自体にやることはもうあまりない。
なのでなかなか今やってる事で手一杯で手が回らない
247:132人目の素数さん
14/03/02 22:40:39.07
代数曲線と代数曲面くらいが、もう少し広い分野の人に知られて
使われるようになれば、そこから新しい何かが生まれるかもしれない。
リーマン面は深い、汲めどもつきない。
曲面論だって、一般型は全然といって良いほどわかってない。
248:検便のナウシカ ◆UVkh7uHFoI
14/03/02 23:14:18.93
一般型の代数曲面にウィッテン流のゲージ理論を使ってフリードマンが色々と面白い結果を出してたけど。
ああいった議論で、高次元の代数多様体の微分同相類で何かわかることってないの?
249:132人目の素数さん
14/03/03 00:48:24.91
>>248
>一般型の代数曲面にウィッテン流のゲージ理論を使って
>フリードマンが色々と面白い結果を出してたけど。
ゲージ理論との融合って未来がある感じで興味深そうだけど
フリードマンのはチョロっと見た感じゲージ理論色があんまりないよね
250:132人目の素数さん
14/03/03 06:01:50.81
>>248
見るからに面白そう
251:検便のナウシカ ◆UVkh7uHFoI
14/03/03 13:13:55.79
フリードマンの著作「Smooth Four-Manifolds and Complex Surfaces 」が参考になる。
バカ高いので、数学図書で借りるといいよ。
俺はアーカイブで色々と見たけど、残念ながら内容を全く覚えていない。
面白い結果もあったということだけ覚えている。
その後の進展はどうなんだろうね。
252:132人目の素数さん
14/03/03 16:08:32.34
久しぶりだなけんなう
253:132人目の素数さん
14/03/03 16:18:05.06
ケンナウマニアならtwitterまで追いかけるべし
254:132人目の素数さん
14/03/03 17:28:25.20
検ナウのこと考えると胸のドキドキがおさまりません
255:132人目の素数さん
14/03/03 17:38:47.58
>>251
サンクスです
さすがケンナウさん、いいネタ拾うセンスがありますね。
256:132人目の素数さん
14/03/03 18:46:34.71
古典群や半単純リー環の表現論と
曲面論とが関係する話ってありますか?
257:132人目の素数さん
14/03/04 03:11:00.83
>>248
一般型曲面そのものが
分からないことだらけだしな。
高次元で位相同型と微分同相の
本質的な大きな違いてあったけ?
258:検便のナウシカ ◆UVkh7uHFoI
14/03/04 09:38:52.79
確かに4次元の特異性かもしれない。
俺は球面以外では聞いたことないね。
何かあれば面白いんだけど。
259:132人目の素数さん
14/03/05 01:26:51.64
URLリンク(twitter.com)
260:132人目の素数さん
14/03/05 07:13:02.19
今アクティブで、複素(代数)曲面論を主題にしてる
研究者って今野先生くらい?
261:132人目の素数さん
14/03/05 19:50:01.02
前から疑問だが
ナウシカさんてなんで「検便」なんて名前に使ってるんだろw
262:132人目の素数さん
14/03/09 10:34:50.39
ナウシカが検便するところを想像して楽しむフェチなんだろうな~くらいに考えていました
263:132人目の素数さん
14/03/12 06:15:09.71
広中氏が講義したものを森氏が記録した冊子を読んでみたが、なかなか良いな
264:132人目の素数さん
14/03/12 06:21:54.38
あのでかいやつか
265:132人目の素数さん
14/03/12 10:28:01.32
詳しく
266:132人目の素数さん
14/03/12 10:58:53.09
>>265
代数幾何学
廣中平祐 講義/森重文 記録/丸山正樹・森脇 淳・川口 周 編
京都大学学術出版会
可換代数の基本的なことからはじめて、スキームやコホモロジーの定義と基本的な性質まで書かれている
267:132人目の素数さん
14/03/13 02:10:35.09
本気で代数幾何習得したいならやめた方が良いよRedBookもダメ、面白いだけだから
268:132人目の素数さん
14/03/13 08:15:38.11
別に研究者になりたいわけじゃないですし
269:132人目の素数さん
14/03/13 23:00:51.25
>>267
本気で代数幾何習得したい人は何読むと良いのですか?
270:132人目の素数さん
14/03/14 00:26:48.03
Hartshorne or Liu
271:132人目の素数さん
14/03/14 00:41:57.94
なんだ、EGA+SGA 一択(キリッ じゃないのか
272:132人目の素数さん
14/03/14 00:47:47.49
恥ずかしいやつだなおまえは
273:132人目の素数さん
14/03/15 01:30:00.43
今の代数幾何の若い人はEGA、SGAは読まないみたいだな
だが数論幾何の人は今でも読んでるようだ
274:132人目の素数さん
14/03/15 16:40:30.27
引用元はEGAでお願いしたいんだよぉ。
ハーツホーン参照なんて論文や本はげんなりする。
しかもハーツホーンのexerciseの結果なんかを
参照元にすんじゃねええぞバァカ
275:132人目の素数さん
14/03/15 17:16:40.56
>>274
ワロタw
276:132人目の素数さん
14/03/15 18:04:36.11
それはひどいな
277:132人目の素数さん
14/03/15 18:27:46.21
アティヤのエキササイズの結果参照だといいですか?
278:132人目の素数さん
14/03/16 05:15:35.09
同意。
エキササイズって
答え載ってないのに、参照されても困るんだが。
279:132人目の素数さん
14/03/16 09:08:20.41
なんで練習問題の答えが巻末に書かれていない本が多いのですか
不親切ぢゃないですか
280:132人目の素数さん
14/03/16 10:43:23.93
まあ、書いてないよりは書いてるに越したことはないよな
不親切とは思わないけど
281:132人目の素数さん
14/03/16 11:08:25.56
ハーツホーンは教科書に指定されているところが多いから
答えをのせるわけにはいかないんだ
282:132人目の素数さん
14/03/16 12:24:23.00
ゆとりは、講義しても模範解答模範解答wうるさいからね
レベル下がりすぎやわ
283:132人目の素数さん
14/03/16 13:03:45.01
解けなかった問題を小さいころから責め立てられるからこうなる
284:132人目の素数さん
14/03/25 06:00:17.00
>>279
英語の教科書はついてないのが普通だね
解けないってことは本文が理解できてないってことじゃん
そしたらもう一度勉強するじゃん
そうやって理解度が上がっていくじゃん
初めから答え付いてたら読んでふんふんって勉強しないじゃん
285:132人目の素数さん
14/03/26 20:52:53.66
アティヤとかハーツホーンの章末問題を解いて
解説まとめたら修論になりますか
286:132人目の素数さん
14/03/26 20:53:47.73
コピペ修論ですか
287:132人目の素数さん
14/03/26 22:06:09.67
>>284
勿論読み直すということも大事だが
答え見てそれも写経して覚えるというのもまた大事な勉強法であるよ
どういう方法とるかは各人の勝手だが
288:132人目の素数さん
14/03/27 00:55:22.91
大抵は、本文で説明しきれなかった定理や証明をexerciseにまわすが、
問題と著者が想定していた解答が間違っていたらどうすんだろ。
289:132人目の素数さん
14/03/27 14:37:56.79
数学の論文が滅びる日は近い
290:132人目の素数さん
14/03/27 16:15:55.55
数学におけるロストテクノロジーというのはどうなっているんだろうか。
291:132人目の素数さん
14/03/27 16:42:03.15
Kummer
292:132人目の素数さん
14/03/28 11:03:57.35
>>290
フェルマーは実は証明を持っていたけど書ききれなかったとかか
293:132人目の素数さん
14/03/28 16:18:11.86
いやそれはなんかちがくね
294:132人目の素数さん
14/03/28 22:50:52.93
>>282
講義の演習問題に答えがないことと、
基礎を構築する土台を、答えのない演習問題に依存することとは
全然違うし、上野先生もその点に関してハーツを批判していた。
295:132人目の素数さん
14/03/28 22:56:41.19
>基礎を構築する土台を、答えのない演習問題に依存する
この点は常に批判されるが該当する問題などおそらく多くて5つくらいだろう
親切な人が回答用意して基礎理論に該当する旨を宣言すれば事足りると思うが
誰もやらないな
296:132人目の素数さん
14/03/28 22:58:50.54
大学院から代数幾何勉強しはじめるのはほぼ不可能?
研究者になるんでなければ、統計かプログラミングでもやってた方が修士課程を有意義に過ごせる?(笑)
297:132人目の素数さん
14/03/28 23:06:52.42
勉強する気がないなら代数幾何は最悪の選択だと思うよ
298:132人目の素数さん
14/03/29 08:53:49.49
>>296
統計とかプログラミングは本気でやらないと修論書きづらいよ。
299:132人目の素数さん
14/03/29 21:19:49.81
わしなんか御年70歳じゃが
2年前からredbook読んでますわい