代数幾何学ビナギーズスレット（4°） [転載禁止]©2ch.net

このエントリーをはてなブックマークに追加
1 ：１３２人目の素数さん：
誰も立てないというのが情けない
怠け者共
2 ：１３２人目の素数さん：2015/01/31(土) 09:44:10.77 ID:kOYO8kWi
これから代数幾何学を学んでみたいけど、何をどういう順にやればいいのかわからない人。
代数幾何学といっても広大なので、どういう分野があって、どんな研究が活発に行われているのか知りたい人。
そんな人たちが玄人（加齢臭強）から助言を貰ったり、お互いに意見交換したり、勉強の進度を報告しながら
代数幾何学の深遠なる聖域に近づくためのスレです。
学生・社会人・お年寄り・ニート・在日いかなる人にも代数幾何学への道は開かれています。
皆さん頑張りましょう！

前スレ
http://wc2014.2ch.net/test/read.cgi/math/1388916751/
3 ：１３２人目の素数さん：2015/01/31(土) 09:44:16.08 ID:SPecjTs1
３年まではハーツホーン（Liuでも和書でもなんでもいい）
4 ：１３２人目の素数さん：2015/01/31(土) 10:04:47.51 ID:P2LQfFZQ
代数幾何ではコホモロジーは出てきても基本群は出てこないのですか？
5 ：１３２人目の素数さん：2015/01/31(土) 11:26:12.10 ID:LaNwvlJH
>>4
数論幾何へGo
6 ：１３２人目の素数さん：2015/01/31(土) 11:51:28.32 ID:YxKFq12z
ガロア理論を使わない分野を教えてください
7 ：１３２人目の素数さん：2015/01/31(土) 12:58:24.03 ID:WqAfW8rV
代数幾何で基本群って言ったらガロア群のこと？
8 ：１３２人目の素数さん：2015/01/31(土) 14:25:04.43 ID:xqPKKwJ+
algebraic fundamental group
9 ：１３２人目の素数さん：2015/01/31(土) 17:39:21.89 ID:kOYO8kWi
>>7
そうだよ
10 ：１３２人目の素数さん：2015/01/31(土) 19:19:48.51 ID:SPecjTs1
P進周期環って言ったらガロア群のこと？
11 ：１３２人目の素数さん：2015/01/31(土) 19:25:50.81 ID:r24LRY69
いくら馬鹿でもringとgrpくらい区別しろよ
12 ：１３２人目の素数さん：2015/01/31(土) 19:38:05.62 ID:SPecjTs1
間違えた。
P進周期環って言ったら、ガロア表現のこと？

って聞こうとした
13 ：１３２人目の素数さん：2015/01/31(土) 19:44:15.67 ID:qOGByUTk
運営乙
14 ：１３２人目の素数さん：2015/01/31(土) 20:12:56.04 ID:eBw5DqZy
３年まではハーツホーンって、そういう層かｗ
IDって便利だね
15 ：１３２人目の素数さん：2015/01/31(土) 20:25:15.21 ID:vd2e4wYn
http://wc2014.2ch.net/test/read.cgi/math/1420998630/
「コホモロジー」もよろしこ
16 ：１３２人目の素数さん：2015/01/31(土) 20:51:57.49 ID:vd2e4wYn
SPecさん、いい名だ・・・
17 ：１３２人目の素数さん：2015/01/31(土) 20:56:36.47 ID:kOYO8kWi
>>10
そうだよ
18 ：１３２人目の素数さん：2015/02/05(木) 14:28:27.90 ID:avsMEukH
スキームは表現可能関手として定義できるらしいのですが、関手としてのスキームからどうやって位相や層を回復するのですか？
19 ：１３２人目の素数さん：2015/02/05(木) 15:40:30.84 ID:Tpz2Xxwe
帰納極限で前層から層を作る操作と類似していますか？
20 ：１３２人目の素数さん：2015/02/08(日) 20:29:38.34 ID:lVoZwQYJ
あげ
21 ：１３２人目の素数さん：2015/02/09(月) 00:54:05.54 ID:9M4M5eO/
>>18
スキームが表現可能関手として定義できるってどういうことなの？？？
意味不明なんだけどｗｗｗ
22 ：１３２人目の素数さん：2015/02/12(木) 11:58:10.24 ID:zDB9EHC6
アフィンスキームなら可換代数で表現される集合関手のことだが
23 ：１３２人目の素数さん：2015/02/12(木) 19:24:38.08 ID:0Z5ug0ek
スキームってあれでしょ？
素イデアル全体の集合にザリスキ位相を入れたものでしょ？
だからスキームって位相空間じゃんｗ
関手じゃないじゃんｗｗｗ
スキームが関手とかお前何言ってんのって感じなんだけどｗｗｗｗｗ
24 ：１３２人目の素数さん：2015/02/12(木) 19:39:35.17 ID:YwutJeK5
（´･∀･`）ﾍｰ
25 ：１３２人目の素数さん：2015/02/12(木) 20:03:05.72 ID:P1lC5pnw
Kが代数閉体じゃないときのSpecK[x1,…,xn]/(f1,…,fm)って何なの？
変な点まで入ってんだけど
26 ：１３２人目の素数さん：2015/02/12(木) 20:05:29.27 ID:YwutJeK5
へんな点って？
まさか generic point のこと、ってことはないだろうしな
27 ：１３２人目の素数さん：2015/02/13(金) 01:27:15.06 ID:3qXr18SB
>>23
自然な圏同値があるだろ

既約代数的集合としての代数多様体(そのもの)はスキームではないけど、スキームは代数多様体の一般化と見るのが普通だと思うが？
28 ：１３２人目の素数さん：2015/02/13(金) 01:36:41.89 ID:3qXr18SB
>>18
表現可能関手としての(群)スキームの本としてはWaterhouse, "Introduction to Affine Group Schemes", GTM 66 がある
他にもネット上にMilneのcourse notesがある
29 ：１３２人目の素数さん：2015/02/13(金) 08:20:48.00 ID:y8Oi0qY9
頭良い人ｷﾀ━━━━ヽ(ﾟ∀ﾟ )ﾉ━━━━!!!!
30 ：１３２人目の素数さん：2015/02/13(金) 08:51:41.20 ID:JHuhLiGM
うるせえ！
31 ：１３２人目の素数さん：2015/02/13(金) 19:03:21.75 ID:a0LeMgny
スキームを関手として定義するってどうすんの？
32 ：１３２人目の素数さん：2015/02/13(金) 19:49:32.36 ID:Uao18Juv
>>31
そこに疑問を持つとは... やはり天才か...
33 ：１３２人目の素数さん：2015/02/14(土) 02:56:37.27 ID:0Mt631jA
グロタンの頭の中は矢印のことしかないんじゃ
34 ：１３２人目の素数さん：2015/02/16(月) 22:55:52.33 ID:kYBT6foa
スキームっていったい何者なん？
35 ：１３２人目の素数さん：2015/02/16(月) 23:04:30.27 ID:XKOWp3NZ
それは俺も知りたい
36 ：１３２人目の素数さん：2015/02/17(火) 00:19:07.10 ID:1S3wqWkR
赤本読めよ
37 ：１３２人目の素数さん：2015/02/17(火) 21:24:27.72 ID:A1mdFwR3
頭良い人 ﾏﾀﾞｧ-? （･∀･ ）っ/凵⌒☆ﾁﾝﾁﾝ
38 ：１３２人目の素数さん：2015/02/28(土) 20:51:11.24 ID:DANKmI0i
宇宙際幾何学と申しますのは
それはそれは膨大な学問でございます。
その全てを修め、身につけるとなると
それはそれは・・・・・・とてもとても・・・・・・。
薄皮を貼り重ねていくように
功をいかなる条件にも屈すること無く
筆舌に尽くし難い時間（トキ）を
永く永く堪えた者のみが
身につける人ならぬ技巧（ワザ）！
その技を身に付け極めたとき
彼のペンは悉く数学上の難問を
破砕してゆくのでございます。
39 ：１３２人目の素数さん：
リーマン予想以外は