closed immersion onto an affine scheme - showing affineness

1.1k Views Asked by At

Let $A$ be a ring, $X=\operatorname{Spec}A$ and $f: Z \rightarrow X$ a morphism of schemes such that i) $f$ is a homeomorphism of topological spaces and ii) $f^{\#}:\mathcal{O}_X \rightarrow f_* \mathcal{O}_Z$ is a surjective morphism of sheaves.

Question 1: How can we show that $Z$ is an affine scheme?

I am trying to follow the hint of exercise II.3.11(b) in Hartshorne, but i am getting stuck: i can show that $Z$ can be covered by a finite number of $\operatorname{Spec}B_i$ and each $\operatorname{Spec}B_i$ can be covered by finitely many $D(\phi_i(a_{ij}))$, where $a_{ij} \in A$, and $\phi_i: A \rightarrow B_i$ is the ring homomorphism that corresponds to the restriction of $f$ to $\operatorname{Spec}B_i$. Now, if i am to apply exercise II.2.17(b), i would need to show that each of the $Z_{\phi(a_{ij})}$ is affine, where $\phi: A \rightarrow \Gamma(Z,\mathcal{O}_Z)$ is the ring homomorphism of global sections.

Question 2: Any ideas how we can show that $Z_{\phi(a_{ij})}$ is affine?

Question 3: Alternatively, i have been able to show that each $\operatorname{Spec}B_i$ is isomorphic as a scheme with $\operatorname{Spec}(A/I_i)$, where $I_i$ is the kernel of $\phi_i$. Any ideas how to continue for there?

1

There are 1 best solutions below

7
On BEST ANSWER

Take an affine open covering of $Z$ by principal open sets, which will come from principal open sets in $X$. Extend to a covering of $X$ by adding principal open sets. $X$ is quasi-compact since it is affine, so this is a finite covering. Now we have a finite covering of $X$ by principal opens $D(f_i)$ so $f_1, \dots, f_r$ generate the unit ideal of $A$.

Each $Z_{f}$ is a principal open subset of $D(f) \cap Z$, since $Z_f = X_f \cap Z$ and $D(f) = X_f$. $D(f) \cap Z$ was affine, therefore, $Z_f$ is affine.

Ex 2.17b (affineness criterion) applies to show that $Z$ is affine.

As shown, $Z = \text{Spec } B$. By Ex 2.18d now, the map of rings $A \to B$ is surjective. By the Isomorphism Theorem, then we know that $B \cong A / I$.