- 1 名前：１３２人目の素数さん [2011/12/26(月) 17:34:30.71 ]
- これから代数幾何学を学んでみたいけど、何をどういう順にやればいいのかわからない人。
代数幾何学といっても広大なので、どういう分野があって、どんな研究が活発に行われているのか知りたい人。
そんな人たちが玄人から助言を貰ったり、お互いに意見交換したり、勉強の進度を報告しながら
代数幾何学の深遠なる聖域に近づくためのスレです。
学生・社会人・お年寄り・ニート・在日いかなる人にも代数幾何学への道は開かれています。
皆さん頑張りましょう！
前スレ
uni.2ch.net/test/read.cgi/math/1292328055/
- 367 名前：１３２人目の素数さん [2012/01/11(水) 12:19:51.17 ]
- あー、誰もが予想した通りそういう前フリね
- 368 名前：１３２人目の素数さん [2012/01/11(水) 12:22:24.62 ]
- やはりこのスレにはフォルスター君がいないとね
- 369 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 12:22:48.48 ]
- 最近は、すぐに教科書が悪い、著者が悪い、って
言うからなー
>>367
ほんと、気がつかないと思ってんだろうかねえ？
- 370 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 12:23:26.38 ]
- >>368
IDが出る板なら、また違うだろうがなｗｗｗ
- 371 名前：366 [2012/01/11(水) 14:22:59.67 ]
- 一箇所書き間違いがあったので、少し書き直しました。
梶原代数曲線p69L8がわかりません。あっているのでしょうか？
もっと詳しく書きます。
P68-69
命題3.5.7 A^n(k)の閉部分多様体Vの特異点の集合は、Vと異なるVの代数的集合である。
証明。三段階に別れます。
(1)代数的集合であること。これはわかりました。
よって以下で、特異点全体の集合がVの真部分集合であることをいえば良い。
(2)ある既約多項式Fに対し、V=V(F)と書ける場合。これも分かりました。
(3)一般の場合。これがわかりません。
k(V)がd+1個の元{y_1,...,y_{d+1}}でk上生成される。(体として。d=dim V)
X_i mod I(V)をx_iと書くと、k(V)=k(x_1,...,x_n)である。
●ここまでは良いです。
x_i=G_i/G (G_i,G\in k[y_1,...,y_{d+1}])
y_j=H_j/H(H_j,H\in k[x_1,...,x_n]\subset k(V) )
とすると、
k[x_1,...,x_n,1/H]=k[y_1,...,y_{d+1},1/G]
とあります。
この最後のイコールが分かりません。
なぜでしょうか？著者の誤解でしょうか？
- 372 名前：１３２人目の素数さん [2012/01/11(水) 14:25:54.28 ]
- >おやつまだかな
まで読んだが、著者の誤解にしておけば良いじゃん
- 373 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 14:29:41.32 ]
- >>371
著者の誤解です。FA
- 374 名前：Kummer ◆SgHZJkrsn08e [2012/01/11(水) 14:49:13.98 ]
- >>269
>ほんと、気がつかないと思ってんだろうかねえ？
何が？
- 375 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 14:51:58.15 ]
- フォルスター君、熊先生に教えてもらいなさい
- 376 名前：１３２人目の素数さん [2012/01/11(水) 14:52:20.71 ]
- くまーは うらしま過去レスの技を おぼえた！
- 377 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 14:54:37.22 ]
- フォスター梶原君は自分が理解できないと本が間違えていると
思うから嫌われるんだね
- 378 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 15:02:03.84 ]
- コンプ君は人の邪魔をするから嫌われるんだね。
- 379 名前：366 [2012/01/11(水) 15:05:15.87 ]
- 既に少なくとも一箇所、本質的な間違いがあったので
用心するようになっているんです。(命題1.7.1の証明)
この命題3.5.7の証明のこの箇所は、
私が誤解しているのか
説明が足りないのか
間違いが含まれているが修正可能なものなのか
修正不可能な本質的な間違いなのか
この四つのうちのどれかです。
私の誤解ならどなたかが指摘してくれると思ったのですが。
この本は、フルトンをベースに、上野(代数幾何入門)、
桂、セール(フランス語)を参照して書いたとあります。
セール以外の三冊は見たのですが、この命題と
全く同じものは見つかりませんでした。
ここは筆者独自の証明なのでしょうかね。
- 380 名前：１３２人目の素数さん [2012/01/11(水) 15:11:48.32 ]
- ある意味、高校生スレより酷いなｗ
- 381 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 15:17:59.24 ]
- >>377
うちにも、自分が計算間違いをしても「本が間違えている」と
言い出すバカがいてな・・・ 最後は「書き方が悪い」ってさ。
まあ、地方帝大修士ていどを相手にして飯食わざるをえない
俺が悪いと諦めている。愚痴スマン
- 382 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 15:53:11.25 ]
- >>381
ひとくくりにしすぎでは...
まあなんちゃって修士がおおいのは事実だと思うが...
- 383 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 15:55:08.69 ]
- こんなところも劣化猫せんせーかよ
- 384 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 15:56:50.58 ]
- 梶原の代数の部分は著者が不案内だから命題を
そのまま認めて先に進めとあれほど釘を刺したのに・・・
- 385 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 16:01:41.74 ]
- >>381
地方帝大の終身職は今の時代なかなかなれるもんじゃない
学生を甘やかせすぎなんじゃないかな
昔の教授はもっと怖かったよ
- 386 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 16:14:17.23 ]
- >>382
なんとかアカポス路線にのせられるもの（結果的に
崩れても）に数年に一人は当たるが、もう論理の
通用しない相手に3年に一人は当たるって感じかな。
だから、このスレは「参考」にはなるんですよ（笑）
>>385
今は、ちょっと何か言うとアカハラだ〜みたいな時代だから、
学生を甘やかしてしまう。昔みたいなセミナーはできないよ。
レベルの低い学生を入れざるを得ないのは、こっちの事情でも
あるのだから、そこは割り切っている。
むしろ、見込み無いのをわかって院試を通してしまってゴメンね・・・
って、やっぱり甘やかし過ぎだわなｗ
- 387 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 16:23:49.35 ]
- >>386
それを表に出すと、意外と良い先生かもよ
ギリギリであぼんじゃ、墓の用意が間に合わないでしょｗ
- 388 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 16:33:08.92 ]
- >>379
Hartshorneを読め
- 389 名前：366 [2012/01/11(水) 16:48:12.99 ]
- 書き方について。
一般論でなくて、この箇所についてはどうですか？
- 390 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 16:56:17.31 ]
- 一般論？
- 391 名前：１３２人目の素数さん [2012/01/11(水) 16:59:18.96 ]
- >>389
横書きなことまで文句つけるのか
次はフォント？レイアウト？紙質？
- 392 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 19:14:33.56 ]
- >>387
修士の入試は簡単、博士に上げるときにハードルを課すのが
大半です。本人の能力と、博士進学希望は、必ずしも相関しない
ので（苦笑）、明らかに学力的に劣る学生が進学希望することは
少なくありません。また、上に上がって勝負できそうな学生が
あっさり就職するのも普通に良くあります。
基本的には本人の希望に従いますが、進学希望ならセミナーを
厳しくし、将来も難しいことを遅くともM1の秋以前（就活が
はじまるので）には伝えます。
これでやめた学生もいれば、それでも進学した学生もいます。
見込みがないと思われて進学したケースでは、結局は博士の
学位を取ってすぐに民間に行くことが多く、大化けしてアカポスに
ついた例は…私の周囲にはありませんね。
- 393 名前：366 [2012/01/11(水) 19:22:30.23 ]
- いえ、>>371 の命題の証明について、私が悪いのか著者が悪いのか
決着がついていないので。
1/Hをどうやってy_jと1/Gの多項式で表すのか
比較的丁寧なこの本で、ここだけとんでいる気がするのですが。
- 394 名前：１３２人目の素数さん [2012/01/11(水) 19:33:47.51 ]
- Hartshorneとかメジャーな本を読めよ
そんなマイナー本手元にないから何が問題なのかわからん
数学記号の書き方がヘタだから読みにくいし
- 395 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 19:36:10.01 ]
- >>393
疑問点を整理して、梶原：代数曲線入門を持ってない人にも
何が問題なのか、わかるように説明することから始めろよ
- 396 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 19:37:48.89 ]
- 分からん、分からんとゴミ本にしがみつくDQN。
- 397 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 19:38:00.42 ]
- >>394
それは何度も指摘されているのだがどうしてもと梶原本を選んだｗ
- 398 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 19:44:55.82 ]
- >>392
博士に行くのにハードルってどういうの？
そんなの俺にはなかったぞ
- 399 名前：１３２人目の素数さん [2012/01/11(水) 20:02:15.76 ]
- ごちゃごちゃうるせえジャップ共だな
- 400 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine [2012/01/11(水) 20:12:14.64 ]
- >>399
お前は、定職に就くのが先決だろがあああああ！！！！！！！！
- 401 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine [2012/01/11(水) 20:14:08.46 ]
- >>398
お前みたいな、世間知らずの、ゴミ・クズ・カスのクソガキは、死ね！！！！！！！！
- 402 名前：１３２人目の素数さん [2012/01/11(水) 20:24:48.58 ]
- >>400
>>401
稔るほど頭を垂れる稲穂かな
Annalsに掲載が決まったからといって高飛車に出るな
- 403 名前：366 mailto:sage [2012/01/11(水) 20:25:19.20 ]
- >>397
いえ、選ぶ前の時点(クリスマス)では、梶原本が良くないとは誰からも言われていません。
(ハーツホーンとは守備範囲が違うので比べられません。比べるならフルトンACでしょう)
私は全体的に見て悪い本だとは言っていませんよ。具体的に問題となっている箇所を論じているだけで。
>>395
まずは、>>371 の命題の意味はわかりますよね？
(2)の特殊ケースを認めた上で、一般の場合を示したいのです。
フルトン、桂には無いようなのですが、
何処かに同じ命題はありますでしょうか？
- 404 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 20:26:37.37 ]
- 自力で証明。終了。
- 405 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 20:43:31.28 ]
- >>403
Hartshorne Chap. I Th. 5.3
- 406 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 20:44:43.38 ]
- >>398
指導教員にもよるので、何とも言えませんが・・・
あなたは、指導教員が博士にあげても大丈夫、少なくとも
学位は取れると判断したのでしょう。
一般に進学希望の修士の学生には、
・将来の進路が狭いものであることは伝える
・ややレベルの高い論文を渡したりして、これくらい
読めなきゃダメ、みたいなことを言う
などして、進路面でも数学面でもハードルを示します。
できる学生はハードルと感じないでしょう。
3年で学位論文が書けるかどうか怪しい、さらに数学者に
なれるとは思えない学生の場合、それで諦めるケースも
少なくありません。それでも、突撃してくるなら、それは本人の
強い希望ですから、普通、進学は認めます。
大化けして、博士課程で良い仕事したというケースに、
私は残念ながら出会ったことがありません。
- 407 名前：１３２人目の素数さん [2012/01/11(水) 20:47:18.39 ]
- なんちゃって准教授ですか？
一時大学院重点化で誰でも博士に入れたんですよｗ
- 408 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 20:47:59.05 ]
- 木村龍雄みたいなお弟子さんに恵まれなかったようだね。
- 409 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 20:51:34.49 ]
- >>408
彼は修論で良い仕事をしただろｗ
- 410 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 21:03:07.24 ]
- >>408
木村さんのような、あの時代で東大修士に入れるような、
優秀な学生は、うちには最初からいません（苦笑）
I先生にボロボロに言われ、S先生にメチャクチャ怒られたって
だけで、今のほとんどの国内の院生より木村さんはできたでしょう。
地方帝大の状況と、東大京大あたりは全く違います。
学年の上位数人を担当する機会があれば、丁寧に指導してみる
くらいしかやりようがないです。それでも、なんとかなる学生は
少なくはないです。
- 411 名前：１３２人目の素数さん [2012/01/11(水) 21:07:10.74 ]
- >>403
>ハーツホーンとは守備範囲が違うので比べられません
その本の守備範囲とは？
- 412 名前：１３２人目の素数さん [2012/01/11(水) 21:08:32.25 ]
- >>402
＞Annalsに掲載が決まったからといって
脳内掲載だから、高飛車にもなるわさ
- 413 名前：１３２人目の素数さん [2012/01/11(水) 21:12:16.76 ]
- アナルの間違いだろ
- 414 名前：１３２人目の素数さん mailto:sage [2012/01/11(水) 21:12:49.51 ]
- アナリスト
- 415 名前：366 mailto:sage [2012/01/11(水) 22:15:16.00 ]
- >>405 ありがとうございます。
明日、見てみます。
- 416 名前：366 mailto:sage [2012/01/11(水) 22:36:01.01 ]
- 私のあとに続いて読む人の為に。
梶原代数曲線
正誤表に無い誤植。ふたつ。
P309L1:dZ => dY
P60L4: O(tilde{V}) => k[X_1,...,X_{n+1}]/I
(意図:この行の時点では、tilde{V}はまだ閉部分空間だとは確定していない。座標環の定義(P51L1)では閉部分空間にしか定義していない)
- 417 名前：１３２人目の素数さん [2012/01/11(水) 22:57:40.63 ]
- >>406 博士志望の場合、M1の秋までに、代数幾何なら、何をどこまで読んでるのが
基準ですか？例として。
- 418 名前：１３２人目の素数さん [2012/01/12(木) 01:00:48.61 ]
- >>417
代数幾何と言ってもいろいろありますので、一言では言えません、
というのが、冷たいようですが答えになります。
また、学部学生の方がイメージする伝統的な代数幾何をやりたいなら、
東大京大に行ってください、という話になります。うちからは
長い間出てませんので。
はっきり言って「M1の秋までに、代数幾何なら、何をどこまで〜」と
聞く人は研究者には向きません。何をやりたいかという目的意識と
必要になったときに必要な知識を勉強できる底力が「基準」です。
代数幾何の場合、必要な知識の量が多いのは間違いないです。
必ずしもハーツホーンをM1くらいまでに読んでおく必要はないと
思います。別の道も多々ありますから。
- 419 名前：１３２人目の素数さん [2012/01/12(木) 07:06:26.36 ]
- 代数的幾何
- 420 名前：１３２人目の素数さん [2012/01/12(木) 07:18:51.80 ]
- >必要になったときに必要な知識を勉強できる底力が「基準」です。
そうそう、これが>>366にはなさそうなんだよな。
だから前もって必要かどうかわからない知識までも仕入れておこうとする。
数論幾何をやりたいならとりあえずそこに飛び込んでみればいいものを。
そしたら何が必要かわかる。
- 421 名前：１３２人目の素数さん [2012/01/12(木) 08:02:43.55 ]
- 知識の不足を恐れるな。
大胆に飛び込む勇気を失うな
- 422 名前：１３２人目の素数さん mailto:sage [2012/01/12(木) 10:49:57.63 ]
- >>
411 ：１３２人目の素数さん：2012/01/11(水) 21:07:10.74
>>403
>ハーツホーンとは守備範囲が違うので比べられません
その本の守備範囲とは？
＞>
スキーム、コホモロジーは使わない
他方、ハーツホーン → スキーム、コホモロジーを使う
- 423 名前：366 mailto:sage [2012/01/12(木) 10:57:33.57 ]
- >>405
ありがとうございます。ハーツホーンみてみました。
全く同じ定理で、(1)(2)は証明とも同じですが、(3)は
帰着させるところは同じですが、該当の等式はでてきません。
ハーツホーンでは双有理性をつかっていますが、
梶原代数曲線では双有理性の定義はまだです。
梶原先生はなるべく初等的な手法を目指しているので
そこで間違いが入ったのかもしれません。
私が誤解しているだけという可能性も残っていますし、
どちらにしろ証明は長くないので、数行の修正で
すむことと思います。
未読のハーツホーンでも一章目なので、今から読めば
決着はつくと思いますが、いずれ出会う定理で、
しかも、
梶原本ではこの章最後の命題で、無視しても支障はなさそうです。なので、
今回はこだわらないことにして先へ進もうと思います。
405さん、ありがとうございました。
- 424 名前：１３２人目の素数さん mailto:sage [2012/01/12(木) 10:58:49.82 ]
- 50さんへ
>>316 ：50：2012/01/04(水) 17:59:33.33
>>それとは別件ですが、
>>梶原代数曲線p56 問題3.2.13で、
と質問したが、
>>k[X,Y]/(Y−X^2) は k[X] と同型
これは、梶原代数曲線ですでに示されているにもかかわらず、
質問時に明記していない。
これでは、前をキチンと読んでいるのか疑われます。
- 425 名前：１３２人目の素数さん [2012/01/12(木) 11:16:40.11 ]
- >>422
その本がコホモロジーを使わない理由は何なの？
- 426 名前：１３２人目の素数さん [2012/01/12(木) 11:18:29.08 ]
- 永田もホモロジー代数を使わなかったけど理由は何だったのかな？
- 427 名前：１３２人目の素数さん mailto:sage [2012/01/12(木) 11:23:37.43 ]
- 梶原代数曲線の著者自身のページをよむとわかるかも
- 428 名前：１３２人目の素数さん [2012/01/12(木) 11:32:18.09 ]
- コホモロジーは準備が大変だから入門書に使うのは無理だな
- 429 名前：１３２人目の素数さん mailto:sage [2012/01/12(木) 11:35:15.47 ]
- >>424
梶原本もっている方にレスしてもらってうれしい。
そこは一章で確かに示されています。
あの問題はそれを思い出せ、
ということプラスアルファだったわけですね。
あの部分は私にとっては問題ではなかったのですが、
二つの環の同型性を示す命題があったのは
覚えていたのですが、非同形性を示すのは
あそこがはじめてだったのでとまどっていたのです。
でも、おかげさまで今では解決しました。
>>371 はどうですか？
私の凡ミスではなさそうですよね？
- 430 名前：366 mailto:sage [2012/01/12(木) 11:38:33.48 ]
- 429=366です
- 431 名前：１３２人目の素数さん [2012/01/12(木) 14:52:52.80 ]
- 梶原梶原ってうるせえな 低脳め
- 432 名前：１３２人目の素数さん [2012/01/12(木) 15:07:39.33 ]
- 幼稚園入園お芽でとう！
- 433 名前：１３２人目の素数さん mailto:sage [2012/01/12(木) 15:27:22.45 ]
- 梶原と言えばジョージだ
異論は認めんぞ
- 434 名前：１３２人目の素数さん mailto:age [2012/01/12(木) 15:31:32.33 ]
- 一騎だが、オッス
- 435 名前：１３２人目の素数さん [2012/01/13(金) 01:16:21.82 ]
- 名無しになったり、レス番書き込んだり、梶原君も忙しいなｗ
- 436 名前：１３２人目の素数さん [2012/01/13(金) 06:24:46.24 ]
- >>435
誰が自演とかよく言うやつがいるかマジで言ってるならお前は千里眼かとなるし、
冗談で言ってるならつまらん
- 437 名前：１３２人目の素数さん [2012/01/13(金) 07:16:03.34 ]
- 梶原梶原ってうるせえな 低脳め
教えてクンでバカだろ おい 梶原君
- 438 名前：１３２人目の素数さん mailto:sage [2012/01/13(金) 10:14:05.64 ]
- >>
k(V)がd+1個の元{y_1,...,y_{d+1}}でk上生成される。(体として。d=dim V)
X_i mod I(V)をx_iと書くと、k(V)=k(x_1,...,x_n)である。
ってことは、
k(V)=k(x_1,...,x_n) ＝ ｋ（y_1,...,y_{d+1}）
ってこと？
- 439 名前：366 mailto:sage [2012/01/13(金) 10:29:32.80 ]
- >>438
はい。
- 440 名前：１３２人目の素数さん mailto:sage [2012/01/13(金) 10:37:14.08 ]
- ヘタな考えですが。
＞k(V)=k(x_1,...,x_n) ＝ ｋ（y_1,...,y_{d+1}）
ｎ＝１、ｄ＝１として（極端な場合を考えて）、
k(x_1) ＝ ｋ（y_1, y_２）として、求める主張は
成り立つのかな... ？ と考えたところで、知恵が尽きてしまった
- 441 名前：１３２人目の素数さん [2012/01/13(金) 12:55:58.11 ]
- >>436
え？ 千里眼じゃなくても >>429は梶原君が名無しでカキコしてるだろｗ
>>430が梶原君のなりすましってわかるなら、あんたこそエスパーだｗｗｗ
- 442 名前：１３２人目の素数さん mailto:sage [2012/01/13(金) 13:03:26.15 ]
- >間違いが入った
梶原くんの申したてが真なら、この本は間違いだらけで使い物にならん。
- 443 名前：１３２人目の素数さん [2012/01/13(金) 13:37:09.19 ]
- >>441
>>435は暗に梶原君が自演してるってことをからかってるだろ
そうじゃなければ>>435は意味をなさない
- 444 名前：１３２人目の素数さん mailto:sage [2012/01/16(月) 00:38:36.22 ]
- Ｘをスキームとする
このとき任意の開アフィンスキームが既約ならばＸも既約となる
はどうすれば示せますか
教えてください
- 445 名前：366 [2012/01/16(月) 12:57:53.29 ]
- >>442
>この本は間違いだらけで使い物にならん。
私のことならまだしも、これは聞き捨てならないので、明確に否定しておきます。
まだ4.4節途中(プラスA章)ですが、
ここまでで問題となった箇所は二箇所(1.7.1と3.5.7)のみです。
他は問題ありません。(前者はまず本質的な誤りだが、標準的な
代数の本で用意に補える。後者は間違いかどうか確信は持てないが、
ハーツホーン1.5.3などで補えるだろうし、残りの部分に影響はおそらく無い)
- 446 名前：366 [2012/01/16(月) 12:59:29.91 ]
- この本にケチをつけるつもりは毛頭無く、後の学習者の参考のために。
●梶原代数曲線
●正誤表に無い誤植。
●P72L-8:それぞれ円 => それぞれ、その二次曲線と円
●P75L2:命題4.2.4 => 定義4.2.3
●P78L9: \subset => \subsetneq
●P81L5: m>0 => m>=0
(補足 m=0のとき、f\in kである)
●P83L11:に等しく =>を生成し
(正確には等しくない。X_0で割り切れる条件のため)
●P83L-8:補題4.4.4(4)=> 問題4.4.3後半
(少なくとも私の思考過程ではこう。)
●コメント(間違いでは無い。独り言)
●P80:g:=G mod tildeI(V) は、O_h(V)[1/g]_0の定義式の外に出すべき。
●P81L10:deg : 推測できるけど、これは厳密には定義していない。(次数は多項式だけで有理関数には定義していない)
●P83L7:さらに…である。
(3)の証明には不要だが(4)で必要
●P83L-9:(F^N)_# => (F_#)^N
(間違いでないが、この方が分かりやすいと思う。)
- 447 名前：366 mailto:sage [2012/01/16(月) 13:00:28.24 ]
- 私の正誤表自体に誤りがあれば教えてくだされば
うれしいです。
- 448 名前：366 mailto:sage [2012/01/16(月) 13:11:07.87 ]
- >>446
>●P83L-9:(F^N)_# => (F_#)^N
これは削除して下さい。
- 449 名前：366 mailto:sage [2012/01/18(水) 16:41:12.95 ]
- 梶原代数曲線
この本にケチ受けるつもりは毛頭無く、
むしろ私のあとに読む人が増えるように、私が詰まったところは
書いているつもりです。
4.4節に入って読むスピード遅くなりました。
P86問題4.4.15射影多様体tilde{V}(F) (規約斉次多項式F\in k[X_0,...,X_n])
が非特異であることと、
\tilde{V}(F_{X_0},...,F_{X_n},F)={0}であることを証明せよ。
この問題がわかりません。
射影多様体の特異点はp80で、dim_k m_P(V)/m_P(V)^2
で定義しているのですが、その後ほとんど掘り下げていないのですが、
そんなに簡単に示せる物なのでしょうか？
- 450 名前：366 [2012/01/18(水) 23:10:27.27 ]
- あげます
- 451 名前：１３２人目の素数さん [2012/01/18(水) 23:30:39.78 ]
- ３６６はうるせえんだよ バカの分際で
- 452 名前：１３２人目の素数さん [2012/01/19(木) 00:30:24.61 ]
- まったくそうだな 366は低脳
- 453 名前：366 [2012/01/19(木) 17:01:23.88 ]
- 梶原代数曲線p90L11:
O(V):=\bigcap
とあるけど、
\bigcup
の間違いかな？
- 454 名前：366 mailto:sage [2012/01/19(木) 17:04:45.16 ]
- >>453
間違いでは無い。私の勘違いです。
- 455 名前：１３２人目の素数さん [2012/01/19(木) 17:44:03.80 ]
- バカめ 消えろ
- 456 名前：366 mailto:sage [2012/01/19(木) 17:47:25.76 ]
- んー、誰かが4章p88で挫折したと言っていたけど、
少しわかる気がする。p88が悪いのでは無くて，
4.4,4.5節が、今までのサービス精神がいきなり消し飛んでる。
- 457 名前：366 [2012/01/19(木) 18:43:40.09 ]
- P90L-4:である、までは良いとして，最後の一文は正しいですか？
- 458 名前：366 [2012/01/19(木) 18:58:38.54 ]
- 自己解決しました
- 459 名前：366 [2012/01/19(木) 20:14:02.24 ]
- >>458
偽物です。まだわかりません。
- 460 名前：366 [2012/01/19(木) 20:15:53.51 ]
- 荒しはやめてください。
もう解決しているのでレスは不要です。
- 461 名前：366 [2012/01/19(木) 20:20:34.13 ]
- >>460 は、偽物です。
解決したと言うなら，その答えをここに書いて下さい。
- 462 名前：１３２人目の素数さん [2012/01/19(木) 20:25:42.21 ]
- なんで酉つけないの？
偽物が出ても文句言えないよ。
- 463 名前：数学コンプ [2012/01/19(木) 20:26:36.75 ]
- 私は数学が出来る人が羨ましいです
- 464 名前：366 [2012/01/19(木) 20:30:54.33 ]
- 補題2.6.1に適用する時、S:=O(W)とおくのはよいとして、
R:=R_Mで良いのでしょうか？
すると、fx_0^*...x_n^*という物がS係数の多項式の根になるのは
よいのですが、ここで欲しいのはfが根になっているかどうかなので、
そこにギャップがあると思うのですが。
- 465 名前：366 [2012/01/19(木) 20:32:44.80 ]
- すみません
自己解決しました
- 466 名前：366 mailto:sage [2012/01/19(木) 20:34:50.72 ]
- >>465
偽物です。自己解決したら、解決したことだけで無くて、
どうやって解決したか書きます。
- 467 名前：１３２人目の素数さん mailto:sage [2012/01/19(木) 21:01:48.00 ]
- ＞＞456
＞＞4.4,4.5節が、今までのサービス精神がいきなり消し飛んでる。
エェー、図書館で借りようと思ったんだけどなァ
頭のヨイ人が、初心者にも分かるようにと丁寧路線をしていたが
シビレをきらして、筆がはやくなって、初心者おいてけぼり路線に
なったのか〜
|
 |
