大好き★代数幾何

1 名前：１３２人目の素数さん [03/10/02 00:41] Grothendieckは代数幾何が大好きだったそうです。 313 名前：１３２人目の素数さん [03/10/25 18:54] >>288 >で外出の問題なんですが埋め込みi:sch/R→fun(alg/R)はpull backとprojective limit 保つとおもうんですがどうでしょう？そもそもsch/Rがcompleteな圏かどうかも 自信ないんですが。 pull backとprojective limitを保つのは、定義から明らか。 スキームのprojective limitが必ず存在するかどうかは、知らない。 314 名前：１３２人目の素数さん [03/10/25 22:13] >>313 以下のようにしてsch/Rがprojective limitが構成できると思うんですが どうでしょう？ 　 Π=(Xi,πij)がprojective system、X=proj.limXi (ただし位相空間の圏におけるprojective limit) とおく。πi:X→Xiを(位相空間の圏の)cannonical projectionとする。 πi^*(O_{X_i})はX上のR代数の層のinductive systemになる。このinductive systemの inductive limitをO_Xとおく。(前層のinductive limitの層化が層のinductive limitになる。) 　 でたぶん(X,O_X)はΠのprojective limitになってると思うんですが。もひとつ自信がありません。 どうでしょう？ 315 名前：１３２人目の素数さん mailto:sage [03/10/25 23:52] どうでしょう？ 316 名前：１３２人目の素数さん [03/10/26 12:13] >>314 無条件では成り立たないと思う。 i ≦ j のとき X_j → X_i がアフィン射なら存在する(と思う)。 この場合、任意の添え字 0 を固定して S = X_0 とおく。 0 ≦ i のとき (f_i_0)*(O_X_i)を考える。 これは、f_i_0 がアフィン射だから、準連接なO_S-algebra の層である。 従って、(f_i_0)*(O_X_i) の帰納的極限 A~ も準連接な O_S-algebra の層となる。 従って、スキーム X とアフィン射 X → S が存在して、 O_X = A~ (同型)となる。この X が　proj.lim X_i である（と思う）。 詳しくはEGA IV (4) に書いてある。 317 名前：１３２人目の素数さん [03/10/26 13:27] >>302 悪いが先に解答する。 k上の有理点 x ∈X と T_xの元 ψ が与えれたとする。 O_x の元は、a + t の形に一意に書ける。ここで、a は k の元で t　は m_x の 元。そこで、f(a + t) = a + ψ(t mod m_x)ε と置く。 f が O_x から k[ε]/ε^2　への局所環のk-準同型を与えることは 簡単な計算で解る(ε^2 = 0 を使う)。 このfにより Spec k[ε]/ε^2 → X　が定まる。 逆は、もっと簡単。 318 名前：１３２人目の素数さん mailto:sage [03/10/26 14:04] Birger Iversen 319 名前：１３２人目の素数さん [03/10/26 15:40] Hartshorn II Ex. 2.3. スキーム X は任意の開集合 U に対して, O_X(U) が0以外の ベキ零元を持たないとき、被約と呼ばれる。 (a) スキーム X が被約であるための必要十分な条件は、 任意の点 x で O_xが 0 以外のベキ零元を持たないことである。 (b) X をスキームとする。前層 U → O_X(U)_red から層化により 得られる層を、(O_X)_red と書く。ここで、環 A に対してA_red は、A/nil(A) を表す。nil(A) は A のベキ零元イデアル。 (X, (O_X)_red) がスキームであることを示せ。 これを、スキーム X に付随する被約スキームと呼び、X_red と書く。 射 X_red → X が存在し、これは、sp(X_red) と sp(X) の位相同型を 引き起こすことを示せ。ここでsp(X) は X を位相空間と考えたもの。 (c) X →　Y をスキーム間の射とし、X は被約とする。 X →　Y_red が一意に存在し、X →　Y は X →　Y_red → Y と分解される。 320 名前：１３２人目の素数さん [03/10/26 16:01] ここで俺が問題を出す。 X を複素多様体とする。 X は局所環付き空間と見なせる。 さらに、標準的射 X → Spec(C) が存在するから、 C上の局所環付き空間と見なせる。 ここで、C は複素数体。 X と Y を複素多様体とする。 f: X → Y をC上の局所環付き空間としての射とする。 f は複素多様体としての射、即ち解析写像とみなせることを示せ。 321 名前：１３２人目の素数さん [03/10/26 16:54] >>320 それ正しいのか？ 322 名前：１３２人目の素数さん [03/10/26 17:12] >>321 さあどうかな。教えないよ。 間違っていると思うなら反例を示せ。 323 名前：１３２人目の素数さん [03/10/26 18:27] Hartshorn II Ex. 2.13. 位相空間の任意の開被覆が有限部分被覆を持つとき準コンパクトという。 位相空間 X の閉集合の任意の降列 F_1 ⊃ F_2 ⊃ ... に対して 整数 r が存在して、F_r = F_(r+1) = ... となるとき X をネーター空間という。 (a)　位相空間がネーター空間であるためには、任意の開集合が 準コンパクトであることが必要十分であることを示せ。 (b) X がアフィンスキームなら sp(X) は準コンパクトであることを 示せ。X がアフィンスキームで sp(X) がネーター空間でない例を 示せ。 (c) A がネーター環なら、sp(Spec(A))はネーター空間であることを 示せ。 (d) sp(Spec(A))はネーター空間だが、A はネーター環でないような 環 A の例を示せ。 324 名前：１３２人目の素数さん [03/10/26 18:29] >>323 いい加減にして下さい。 >>322 解答を教えて下さい。 325 名前：１３２人目の素数さん [03/10/26 18:50] >>324 >>323を解いたら(どれか一つでいい)、>>322の解答を教えてあげよう。 326 名前：１３２人目の素数さん [03/10/26 18:59] >>316 >>314の証明まちがってますか？ 327 名前：１３２人目の素数さん mailto:sage [03/10/26 18:59] 試してみるか (d) k[x_1,x_2,･･･]/(x_1^2,x_2^2,･･･) 328 名前：１３２人目の素数さん mailto:sage [03/10/26 19:01] 書き間違い k[x_1,x_2,･･･]/(x_1,x_2,･･･)^2 329 名前：１３２人目の素数さん [03/10/26 19:01] >>325 じゃ(c)の解答 閉集合の減少列をとる。 そのラジカルをとるとイデアルの増大列が出来る。 この増大列は有限で止まるので、それが定義する閉集合を 考えれば証明おわり。 330 名前：１３２人目の素数さん mailto:sage [03/10/26 19:04] >>323 Hartshorn II Ex. 2.13. (c) の解答 sp(Spec(A))の閉集合の降列 F_1 ⊃ F_2 ⊃ ... をとる. F_i = V(I_i) (I_i は A のイデアル) とかける(∀i). V(I_1) ⊃ V(I_2) ⊃ ... から 昇列 I_1 ⊂ I_2 ⊂ ... がいえ, A がネーター環であるから 整数 r>0 が存在して I_i = I_r (∀i>r) が成立. よって F_r=V(I_r)=V(I_i)=F_i (∀i>r) となるから sp(Spec(A)) はネーター空間である. 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] 馬鹿野郎。おもしろいぞ

---

---

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

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