- 658 名前：１３２人目の素数さん [03/11/05 22:27]
- >>596の解答
Hartshorne II Ex. 3.10 (射のファイバー)
(a)
f: X → Y をスキームの射とする。y ∈ Y を点とする。
f の y 上のファイバーは、X_y = X x Spec(k(y)) である。
ここで、k(y) は y の剰余体で、X x Spec(k(y)) は
Y 上のファイバー積である。
射影 X x Spec(k(y)) → X を p とする。
射影 X x Spec(k(y)) → Spec(k(y)) を q とする。
以下の図式は可換である。
X x Spec(k(y)) --> Spec(k(y))
↓ ↓
X ---------------> Y
