Lemma 60.8.6. Let $A$ be a ring such that every faithfully flat étale ring map $A \to B$ has a section. Let $Z \subset \mathop{\mathrm{Spec}}(A)$ be a closed subscheme of the form $D(f) \cap V(I)$ and let $A \to A_ Z^\sim$ be as constructed in Lemma 60.5.1. Then every faithfully flat étale ring map $A_ Z^\sim \to C$ has a section.

Proof. There exists an étale ring map $A \to B'$ such that $C = B' \otimes _ A A_ Z^\sim$ as $A_ Z^\sim$-algebras. The image $U' \subset \mathop{\mathrm{Spec}}(A)$ of $\mathop{\mathrm{Spec}}(B') \to \mathop{\mathrm{Spec}}(A)$ is open and contains $V(I)$, hence we can find $f \in I$ such that $\mathop{\mathrm{Spec}}(A) = U' \cup D(f)$. Then $A \to B' \times A_ f$ is étale and faithfully flat. By assumption there is a section $B' \times A_ f \to A$. Localizing we obtain the desired section $C \to A_ Z^\sim$. $\square$

Comment #5932 by Mingchen on

According to the proof, in the statement of the lemma $D(f)\cap V(I)$ should be replaced by $V(I)$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).