大好き★代数幾何

1 名前：１３２人目の素数さん [03/10/02 00:41] Grothendieckは代数幾何が大好きだったそうです。 331 名前：１３２人目の素数さん [03/10/26 19:28] >>326 >>314はそもそも完全な証明でないでしょ。 Xが局所的にアフィンであることは、どうやって証明するの？ 332 名前：１３２人目の素数さん [03/10/26 19:29] Xが局所的にアフィンであることは、どうやって証明するの？ Xが局所的にアフィンであることは、どうやって証明するの？ Xが局所的にアフィンであることは、どうやって証明するの？ 333 名前：333 mailto:sage [03/10/26 19:30] 333ｹﾞｯﾂ! 334 名前：１３２人目の素数さん mailto:sage [03/10/26 19:31] >>331 なるだろうなとおもってたんですが。なりそうにないですか？ 335 名前：１３２人目の素数さん [03/10/26 19:34] >>334 頭冷やして来い。 336 名前：１３２人目の素数さん [03/10/26 20:01] >>320の解答 ψを f に付随する射 O_Y → f_*(O_X) とする。 x を X の点とし、f(x) = y とおく。 U を y の開近傍とする。h を O_Y(U) の元とする。 ψ(h) はO_X(f^(-1)(U)) の元となる。 ψが誘導する局所環の C-準同型 O_y → O_x は 剰余体の準同型 C(y) → C(x) を引き起こすが、 C(x) = C(y) = C だから、これは C の恒等写像である。 h の y における芽 h_y の剰余類は、h(y) であるから、 h(y) = ψ(h)(x) となる。即ち、hf = ψ(h) となる。 これから、h として局所座標関数 y_i をとれば f のi_成分 f_i = (y_i)f が正則であることが解る。 即ち f は正則である。 証明終 337 名前：１３２人目の素数さん mailto:sage [03/10/26 20:20] おまえら、もっとまともな議論しませんか。 教科書に書いてある事はそれを見ればよいのでは？ 338 名前：１３２人目の素数さん [03/10/26 20:24] >>328 k[x_1,x_2,･･･]/(x_1,x_2,･･･)^2 が Hartshorne II Ex. 2.13.(d) を満たすことの証明は？ 339 名前：１３２人目の素数さん mailto:sage [03/10/26 20:25] いいかげんにしろよボケ。算数だろがそんなもん。 340 名前：１３２人目の素数さん [03/10/26 20:27] >>337 Harshorneには解答が書いてないんだけど。 341 名前：１３２人目の素数さん [03/10/26 20:30] >>339 念のためだよ。勘に頼るだけで証明出来ない人もいるんでね。 342 名前：１３２人目の素数さん mailto:sage [03/10/26 20:33] Harshorneの解答ぐらいどっかに転がってないかな？ 343 名前：１３２人目の素数さん mailto:sage [03/10/26 20:35] >>338 ヒント (i) Specを求めよ (ii) イデアルの無限昇鎖を構成せよ 344 名前：１３２人目の素数さん [03/10/26 20:42] >>342 俺の知る限りネットにはI章の解答しかない。 345 名前：１３２人目の素数さん mailto:sage [03/10/26 21:03] いくらなんでも>>328さんが証明できないとは思えないけど 346 名前：１３２人目の素数さん [03/10/26 21:10] >>345 誰でもいいから証明してみてくれ。 347 名前：１３２人目の素数さん mailto:sage [03/10/26 21:23] 宿題でもでたのか？ 348 名前：１３２人目の素数さん mailto:sage [03/10/26 21:31] R=k[x_1,x_2,･･･]/(x_1,x_2,･･･)^2としてx_iの類をr_iとする。 またp={f∈R|fの定数項=0}とおく。R/p≡だから極大イデアル。 逆にqを任意の真の素イデアルとするでf∈pをとるときf^2=0∈qだからf∈q。 ∴p⊂q。pは極大イデアルなのでp=q。つまりspecRは一点。当然noether sp. イデアル列(r_1)⊂(r_1,r_2)⊂･･･は真の無限増大列なのでRはnotherでない。 　 いくらなんでもちょっと他人を馬鹿にしすぎだと思う。 349 名前：１３２人目の素数さん mailto:sage [03/10/26 21:38] 面白い実例・反例のための伏線であることに期待 350 名前：１３２人目の素数さん [03/10/26 21:43] >>338 簡単。 R = k[x_1,x_2,･･･]、m = (x_1,x_2,･･･) とおく。 R/m = k だから、m は極大イデアル。 よって Spec(R/m^2) = 一点（一般論からでる）。 m^2 ⊂ (x_1) + m^2 ⊂ (x_1, x_2) + m^2 ⊂ (x_1, x_2, x_3) + m^2 ⊂ ・・・ なのでR/m^2はネーターでない。 351 名前：１３２人目の素数さん mailto:sage [03/10/26 22:05] >>337 確かに>>323は俺も簡単すぎると思ったが、いろんな レベルの人がいるんだから別にいいのでは？ 337は「まともな議論」をしたかったら自分でそれを 提示すればよい。 352 名前：１３２人目の素数さん [03/10/26 23:14] >>344 I章の解答のURL求む。検索したけど見つかんなかった。 353 名前：１３２人目の素数さん [03/10/26 23:38] >>350 >イデアル列(r_1)⊂(r_1,r_2)⊂･･･は真の無限増大列なので 何故？ 354 名前：１３２人目の素数さん [03/10/26 23:41] Hartshorn II Ex. 2.13.の(a), (b) の解答は？ それとHartshorn II Ex. 2.3.の解答は？ 355 名前：１３２人目の素数さん [03/10/26 23:47] いいか皆、Hartshorneの問題を解こうと決めたんだろ。 簡単だろうとそうでなかろうと解けばいいんだよ。 ごたごた言うんじゃない。 356 名前：１３２人目の素数さん [03/10/26 23:54] >>353 本当にそれがわからないのか？ ネタか？ 357 名前：１３２人目の素数さん mailto:sage [03/10/27 00:00] >>355 胴衣。簡単だからとばすとかいうのはいくない。 358 名前：１３２人目の素数さん [03/10/27 00:07] Hartshorn II Ex. 2.14. (a) S を次数付き環とする。Proj(S) が空であるためには S+ = S_1 + S_2 + ... のすべての元がベキ零であることが 必要十分であることを示せ。 (b) ψ: S → T を次数付き環の(次数を保存する)射とする。 U = {P ∈ Proj(T) ; P は ψ(S+) を含まない} とする。 U は Proj(T) の開集合であることを示せ。 さらに、ψ は射 f: U → Proj(S) を定めることを示せ。 359 名前：１３２人目の素数さん [03/10/27 00:14] >>356 簡単な問題だと威勢がいいな。ｗ 360 名前：１３２人目の素数さん [03/10/27 00:32] >>352 Google で "solutions to hartshorne" で検索すればいい。 361 名前：１３２人目の素数さん mailto:sage [03/10/27 00:49] >>360 ありがとう！ 見つかった 362 名前：１３２人目の素数さん [03/10/27 01:04] ほんとに初歩的な質問で申し訳ないんですが、 大学で線形代数--行列とか線型空間とか--の授業が「幾何」って名前だったん だけど、いわゆる幾何学って図形とかでしょ？でも線形代数では図形はまず出て 来ないのに、何で「幾何」っていうんですか？ 一応大学は卒業しましたが、最後まで線形代数には図形はほとんど出てこなかった。 回転変換とか合同変換などでほんのわずかに出てきましたが... どちらかというと微積分の授業で図形が出てきましたがその授業の名前は「解析」 だったりする。内積、外積、ストークスの定理とかは「解析」の授業でやりました。 ベクトル解析という名前で。 363 名前：↑ mailto:sage [03/10/27 01:35] n次元空間R^nは最も基本的な幾何学的対象だから。 拘っても無駄。 364 名前：197 [03/10/27 01:37] >>355 同意。じゃ、とりあえず簡単なのから Hartshorne II Ex. 2.13. (a) (>>323) の解答： （以下⊂は真の包含関係を表すとする） X がネーターでないとする。つまりU_1 ⊂U_2⊂ ... という開集合の真の増大列 が存在する。U = ∪U_i とおけば、U は準コンパクトでない。 逆に、準コンパクトでない開集合 U が存在したとする。つまり有限部分開被覆が とれない U = ∪U_i が存在する。まず V_1 を {U_i} の中から勝手にひとつ取る。 仮定から V_1 ≠ U、よってV_1 ⊂ V1∪U_2 なるU_2が{U_i} の中に存在する。 V_2 := V1∪U_2 とおく。仮定から V_2 ≠ U、よって V_2 ⊂ V1∪U_3 なるU_3 が{U_i} の中に存在する。V_3 := V2∪U_3 とおく。以下同様にV_i を構成すれば 開集合の真の増大列が得られる。以上。 365 名前：197 [03/10/27 01:39] 続いてHartshorne II Ex. 2.13. (b) (>>323) の解答 X = Spec A とおく。以下、A のイデアル I に対して X - V(I) を D(I) と書く。 X の開被覆 {U_i} が与えられたとする。U_i = D(I_i) とかける。 X = ∪U_i = ∪D(I_i) = D(ΣI_i) となるので、ΣI_i = (1)。よって有限個の f_1, f_2, ..., f_n (f_i∈I_i) が存在して f_1 + f_2 + ... + f_n = 1。よって X = D(I_1) ∪ ... ∪D(I_n) となる。 アフィンスキームでネーター空間でない例は、Spec k[t_1, t_2, ...] 。 素イデアルの列 (t_1) ⊂ (t_1, t_2) ⊂ ... に対応する閉部分集合の列を考え ればネーター空間でないことがわかる。 366 名前：１３２人目の素数さん [03/10/27 02:50] >>363 それってベクトル(n行1列行列)を扱うから幾何って意味ですか？失礼ですがそれだけ？ 「幾何」という名前にずいぶん混乱させられたけどなあ。 367 名前：１３２人目の素数さん mailto:sage [03/10/27 04:03] あなたは「幾何」ってどんなものだと思ってるの？ 368 名前：１３２人目の素数さん mailto:sage [03/10/27 05:51] >>362 時勢や人事の影響を受けて大学の講義の名前は内容を表さないことも多い。 幾何という講義名にしてあるのが失敗だろう。数学Iとか数学IIとか、 数学序論Iとか数学序論IIとかにしてあればそういう疑問が生じない。 369 名前：１３２人目の素数さん mailto:sage [03/10/27 06:29] >>355 そうなのか？ 漏れとしてはもっと有意義な議論をして欲しい。 最近スキーム論を勉強し始めたので、将来の展望などが知りたい。 370 名前：１３２人目の素数さん [03/10/27 06:31] 貼りなおしておきます。 X を複素多様体とする。 X は局所環付き空間と見なせる。 さらに、標準的射 X → Spec(C) が存在するから、 C上の局所環付き空間と見なせる。 ここで、C は複素数体。 X と Y を複素多様体とする。 f: X → Y をC上の局所環付き空間としての射とする。 f は複素多様体としての射、即ち解析写像とみなせることを示せ。 371 名前：１３２人目の素数さん [03/10/27 07:44] >>370 >>336で解答済。 372 名前：１３２人目の素数さん [03/10/27 07:47] >>369 すればいい。誰も止めないよ。そのことと問題を解くのとは排他的関係 ではないだろ。 373 名前：１３２人目の素数さん [03/10/27 08:24] スキームによる恩恵って何？ 374 名前：１３２人目の素数さん [03/10/27 14:40] >>373 pull back, non-reduced object なんかが存在するようになった。 375 名前：１３２人目の素数さん [03/10/27 16:40] >>374 そういうことが何故うれしいの？ 376 名前：１３２人目の素数さん mailto:sage [03/10/27 17:06] >>374 lisp のスキーム? 377 名前：１３２人目の素数さん [03/10/27 19:16] 誰か>>353に答えてやってくれ。 378 名前：１３２人目の素数さん [03/10/27 19:50] >>358の続き Hartshorne II Ex. 2.14. (c) 射 f はψ が同型射でなくても同型射と成り得る。 例えば、ある整数 d_0 があって、d ≧ d_0 なら ψ_d : S_d → T_d が同型とする。 このとき、U = Proj(T) で f: Proj(T) → Proj(S) は 同型であることを示せ。 (d) V を射影多様体で同次座標環 S を持つとする(I,§2)。 t(V) とProj(S) が同型であることを示せ。 (注) t(V) はV に付随するスキームを表す。II. prop.2.6 参照。 379 名前：１３２人目の素数さん mailto:sage [03/10/27 19:54] >>378 せめてsage進行でやってくれ 380 名前：１３２人目の素数さん [03/10/27 19:56] >>375 例えば、Weil予想が解けるようになった。 381 名前：１３２人目の素数さん [03/10/27 19:58] >>379 2ch用語に疎いんで意味がわからない。 わかるように説明してくれ。 382 名前：１３２人目の素数さん [03/10/27 20:11] Hartshorne II Ex. 2.15. (a) V を代数的閉体 k 上の代数多様体とする。 点 P ∈ t(V) が閉点であるためには、その剰余体が k である ことが必要十分であることを示せ。 (b) f: X → Y を k 上のスキームの射とする。 点 P ∈ X の剰余体が k なら、f(P) の剰余体も k である ことを示せ。 (c) V, W を k 上の代数多様体とする。 標準的写像 Hom(V, W) → Hom(t(V), t(W)) が全単射である ことを示せ。(単射であることは簡単。難しいのは全射を示すこと。) 383 名前：１３２人目の素数さん mailto:sage [03/10/27 20:44] >>381 数学では分からないものをだましだまし使ってみるのも有益ですが 私の知る限り２ｃｈはそうではありません 初心者の質問 etc.2ch.net/qa/ 384 名前：１３２人目の素数さん [03/10/27 21:17] >>383 もったいぶらないで、さっさと説明しろや。 それがイヤなら黙ってろ。 385 名前：１３２人目の素数さん mailto:sage [03/10/27 21:42] >>384 おまいが黙ってろ リア工は学コンでもやってお休み 386 名前：１３２人目の素数さん [03/10/27 21:46] Hartshorne II Ex. 2.18. この問題では環準同型のある種の性質とそれから誘導された スペクトル間の射の性質を比較する。 (a) A を環、X = Spec(A), f ∈ A とする。 f がベキ零であるためには、D(f) が空であることが必要十分である。 (b) ψ: A → B を環準同型とする。f: Y = Spec(B) → X = Spec(A) をψにより誘導された射とする。 ψが単射であるためには、f^#: O_X → f_*(O_Y) が単射であることが 必要十分である。 さらに、この場合、f は支配的、即ち f(Y) が X において稠密で あることを示せ。 (c) 上と同じ記号で、ψが全射なら、f は Y から X のある閉集合への 位相同型であり、f^#: O_X → f_*(O_Y) は全射であることを示せ。 (d) (c) の逆を証明せよ。即ち、f: Y → X が Y のある閉集合への 位相同型であり、f^#: O_X → f_*(O_Y) が全射なら、ψは全射である。 (ヒント) X' = Spec(A/ker ψ) を考えよ、さらに (b) と (c) を使用せよ。 387 名前：１３２人目の素数さん [03/10/27 21:47] >>385 意味不明。日本語を話せ。 388 名前：１３２人目の素数さん [03/10/27 21:51] お前等、ひょっとして２ｃｈ用語を得意になって使ってないか？ だとすると、おめでたいぞ。 389 名前：１３２人目の素数さん [03/10/27 22:04] 337=369=379か？ > 最近スキーム論を勉強し始めたので、将来の展望などが知りたい。 最近勉強し始めたんだったら Hartshorne の問題をじっくり 解くのはとても役立つと思うぞ。 「将来の展望」なんかその後に考えればよい。 390 名前：１３２人目の素数さん [03/10/27 22:14] >>353 m^2 ⊂ (x_1) + m^2 ⊂ (x_1, x_2) + m^2 ⊂ (x_1, x_2, x_3) + m^2 ⊂ ・・・ が真の増加列になることの説明： x_2 ∈ (x_1, x_2) + m^2 だが、x_2 は (x_1) + m^2 には入ってないだろ。 わかった？ イデアルの２乗の定義とかは分かってる？ 391 名前：１３２人目の素数さん [03/10/27 22:34] 何だったら別スレ立てたらどうかな。そのほうが、うるさくなくて良くないか？ 題は｢Hartshorneの演習問題を解くスレその１｣はどうかな？ 賛成が多かったら、この題で誰か立ててくれ。 俺は、スレを立てるのに慣れてないんで。 392 名前：１３２人目の素数さん mailto:sage [03/10/27 22:37] わざわざ新スレをたてなくても、このスレを Hartshorne 専用にしてしまっていいんじゃないの？ 393 名前：１３２人目の素数さん [03/10/27 22:43] そろそろかな 394 名前：１３２人目の素数さん [03/10/27 22:46] >>392 そうすると、演習に興味ない人が迷惑しないか？ 395 名前：１３２人目の素数さん mailto:sage [03/10/27 22:48] せっかくHartshorneの演習問題を解いて盛り上がっているのに、荒らすDQNは 氏んでください。 396 名前：１３２人目の素数さん mailto:sage [03/10/27 22:53] >>394 このスレは最近たったスレだし、書き込みの多くはHartshorneがらみだから問題ないと思うけど？ 397 名前：１３２人目の素数さん [03/10/27 22:54] >>395 だからさ、賛成が多かったらの話だよ。反対の方が多いなら当然このまま行くよ。 398 名前：１３２人目の素数さん mailto:sage [03/10/27 23:06] >>397 じゃあオマエに賛同する香具師がいないことはもうわかってるだろ？ これ以上ここを荒らす気か？ さっさと出て行けよ。 399 名前：１３２人目の素数さん [03/10/27 23:29] >>398 ほんとに出ていってほしいのか？ 400 名前：366 mailto:sage [03/10/27 23:47] >>367 > あなたは「幾何」ってどんなものだと思ってるの 「幾何」という言葉ではユークリッド幾何学をイメージします。平面図形、多角形、作図問題、 正多面体、ピタゴラスの定理、作図問題、二次曲線、二次曲面… ある作図問題などは5次方程式の解が解けないので作図不能と証明できた、 なんてのを聞いたような憶えがあります。 私の大学一般理系学部時代にはそこまで行きませんでしたが、線形代数とか群環体などを勉強して 行けばユークリッド幾何学の問題などは数式的に解けるようになるのかな、と想像してました。 非ユークリッド(リーマン?)幾何学などは図を書いて理解するようなものではないようですし。 >>368 さん、回答ありがとうございます。結局そういうことなんですかね。先に進めば なるほどと思えるようになるのではと思ったのですが… 401 名前：１３２人目の素数さん [03/10/27 23:58] >>362 俺が思うに、昔は大学初年度の数学は「解析」と「代数・幾何」に分かれてて、 「代数・幾何」のほうでは行列や行列式に加え、たとえば初等的な微分幾何 なんかもやってたのではないかな？ それが、（たとえば量子力学でヒルベルト 空間が必要になるなどの理由から）「線型代数をもっと重視すべき」っつ ーことになり、「代数・幾何」→「線型代数」になったんだと思う。362の 大学で線型代数が「幾何」って呼ばれてたのはこの名残でしょう。 ところで362はここが「代数・幾何」のスレだと思って書き込んだのかも しれないが、それはスレ違いです。 402 名前：１３２人目の素数さん mailto:sage [03/10/27 23:58] >>399 はい。 403 名前：１３２人目の素数さん [03/10/28 07:47] >>402 馬鹿野郎。俺がそもそもHartshorneの演習問題をやろうって言った本人だぞ。 問題の翻訳も俺だ。一部手伝ってもらったがな。 404 名前：１３２人目の素数さん [03/10/28 07:54] >>401 >ところで362はここが「代数・幾何」のスレだと思って書き込んだのかも しれないが、それはスレ違いです。 素人：ご専門は何ですか? 数学者：代数幾何です。 素人：あれってまだ研究の余地があるんですか？ 教養でやるやつでしょう？ 405 名前：１３２人目の素数さん [03/10/28 08:16] >>403 目的がわからん。 分からない問題があれば、その都度聞けばいいだけだろ？ 406 名前：１３２人目の素数さん mailto:sage [03/10/28 08:40] >>403 だったら「将来の展望が知りたい」とか意味不明なことを言ってないで このまま黙々と問題演習を続けろよ。 407 名前：１３２人目の素数さん mailto:sage [03/10/28 14:15] >>403 なら、消えてよ。 408 名前：グロタンディエック万歳協会会長 [03/10/28 18:39] ﾏﾝｾｰ! 409 名前：１３２人目の素数さん [03/10/28 19:03] >>405 馬鹿野郎。俺をなめすぎ。 410 名前：１３２人目の素数さん [03/10/28 19:04] >>406 馬鹿野郎。俺はそいつじゃないよ。 411 名前：１３２人目の素数さん [03/10/28 19:05] >>407 馬鹿野郎。お前が消えろ。 412 名前：１３２人目の素数さん [03/10/28 19:19] Hartshorne II Ex. 2.19 A を環とする。以下の条件は同値であることを示せ。 (1) Spec(A) は不連結 (2) A の 0 でない元 e1, e2 で、(e1)(e29 = 0, (e1)^2 = e1 (e2)^2 = e2 となるものが存在する(これらは、直交するベキ等元と呼ばれる)。 (3) A は 二つの 0 でない環の直積 A1 x A2 となる。 413 名前：１３２人目の素数さん mailto:sage [03/10/28 19:27] 馬鹿野郎。おもしろいぞ 414 名前：１３２人目の素数さん [03/10/28 19:31] Hartshorne II Ex. 2.9 X を位相空間、Z を既約な閉集合とする。 Z の生成点(generic point)とは、Z = Cl{ζ} となる点ζのことである。 ここで、Cl{ζ} は、一点からなる集合{ζ}の閉包をあらわす。 X がスキームなら全ての(空でない)既約な閉集合は一意に定まる生成点 を持つことを示せ。 415 名前：グロタンディエック万歳協会会長 [03/10/28 19:33] 416 名前：１３２人目の素数さん [03/10/28 19:36] Hartshorne II Ex. 2.10 R を実数体とする。Spec(R[X]) はどのようなものか述べよ。 417 名前：１３２人目の素数さん [03/10/28 19:41] Hartshorne II Ex. 2.11. k = F_p を素数 p 個の元を持つ有限体とする。 Spec(k[X]) はどのようなものか述べよ。 各点における剰余体は何か。 与えられた剰余体を持つ点の個数はいくつか。 418 名前：１３２人目の素数さん [03/10/28 20:28] バーターしないか？ つまりHartshorneの問題の解答を出し合うわけだ。 おれに解いて欲しい問題と自分が解く問題を指摘してくれ。 ただし、今までに書かれた問題の中だけだ。 あまり難易度が不釣合いなものは駄目だよ。 419 名前：１３２人目の素数さん [03/10/28 20:45] >>416の解答： Spec(R[X]) は点集合としては、実数直線を含む複素上半平面の点全体と それ以外の一点 {*} からなる集合と一対一に対応する。 この空間の閉集合は、複素上半平面の有限個の点の集合と Spec(R[X])自体である。 420 名前：１３２人目の素数さん [03/10/29 08:00] いやに静かになったな。 人が解くのを待ってちゃ駄目だな。 俺はいくつか解いたぞ。もっと解けるが、そうするとなおさら 君たち解かないだろ。 簡単なやつでもいいから解いてくれ。 421 名前：１３２人目の素数さん mailto:sage [03/10/29 08:03] >>420 自作自演。 どうしてこんなに必死なんだ？ 人を利用してハ−ツホーンの解答を作る気なのか？ 422 名前：１３２人目の素数さん mailto:sage [03/10/29 17:40] 421も必死やね 423 名前：１３２人目の素数さん mailto:sage [03/10/29 18:33] >>420 ＞君たち解かないだろ。 ＞簡単なやつでもいいから解いてくれ。 　 こういう他人を見下したような書きこみをどうして平気でできるんだろう？ 424 名前：１３２人目の素数さん mailto:sage [03/10/29 20:05] それは423が見上げてしまうからさ 425 名前：１３２人目の素数さん [03/10/29 20:45] 見下すも見上げるもないんだよ。 ごたごた言わずに解け。こんなところで躓いてちゃ代数幾何なんて 出来ないぞ。 426 名前：１３２人目の素数さん [03/10/29 20:47] ハ−ツホーンの解答に関係しない書き込みは一切禁止します。 427 名前：１３２人目の素数さん [03/10/29 20:55] 話は変わるが、今日、紀ノ国屋で衝動買いしてしまった。 西野利雄の多変数関数論 金子晃の超関数入門 斎藤正彦の線型代数演習(これはジョルダン標準型の幾何的証明につられた) 高瀬正仁の評伝岡潔 山下純一のグロタンディーク 最後の本は電車の中で読んでみたが、すごく面白い。 428 名前：１３２人目の素数さん [03/10/29 20:57] 忘れてた、Algebraic Geometry 3 by Kenji Ueno も買った。 429 名前：１３２人目の素数さん [03/10/29 21:13] Algebraic Geometry 3 の後書きで上野さんがこう書いている。 We do not necessarily recommend [2] (Hartshorne) as an introduction (or as a reference) to algebraic geometry. Even though [2] contains many exercises, some important results are among those exercises which are quoted in proofs of theorems. If one can solve those exercises by oneself, then [2] is a very useful book. The cohomology theory of coherent sheaves, including a proof of Serre's duality, is treated much more carefully in [2] than in other books. One can read [2] focusing on cohomology theory. In [2], only a projective morphism is considered in proofs, which does not cause any problems. It is more important to be able to use cohomology than to be able to prove cohomological results. 430 名前：１３２人目の素数さん mailto:sage [03/10/29 21:58] >>427 厨房ですが、最後の３つは、特に興味深いです。 ジョルダンの標準形の幾何的証明なんてあるんですね！ 431 名前：１３２人目の素数さん mailto:sage [03/10/29 21:59] とすると、ここで1人で延々やったって別に構わないという事か

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef