いよいよ佳境である（笑）。 第2章 スキーム 2.7 射影的射 φ : X --> P^n_A が A 射であるとき、 φ^*(O(1)) は X 上の可逆層で、大域切断 s_i = φ^*(x_i) で生成される。 逆に、L が X 上の可逆層で s_i ∈ L(X) で生成されるとすると、上のようなφがある。 …