- 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 参照。
