Return to Answer

added 316 characters in body

Source Link

edited Mar 27, 2019 at 7:47

2.9k
10
24

Step 2: Reduce to the case of a local noetherian ring with algebraically closed residue field (the main input is EGA 0_{III} 10.3.1 and faithfully flat descenddescent)

Step 3: Reduce to the case of a local noetherian complete ring with algebraically closed residue field (the main input is faithfully flat descenddescent)

Step 5: Leverage the fact that for any scheme $X$ over an artinian local ring we have a homeomorphism of underlying topological spaces $|X|$ and $|X_s|$ (fiber over a closed point) to prove the claim (with a help of Cohomology and Base Change result from Step 4).

We want to make a bunch of reductions to simplify the ring $R$ in the problem as much as possible. To make these reduction steps we observe that Stein factorization (for qcqs morphisms) commutes with flat base change. This means that it suffices to prove the statement for all localizations of $R$ (since flatness can be checked on the level of local rings). So we can assume that $R$ is local. But still, a ring $R$ can be pretty bad, we want to simplify even more by making its residue field algebraically closed. To actually do this, we use EGA 0_{III}0$_{III}$ 10.3.1 to find a faithfully flat local extension of local rings $R \to R'$ with a residue field of $R'$ being algebraically closed. Since flatness descends along faithfully flat morphisms (and Stein factorization commutes with flat base change!) we can reduce the question to the case of a local ring with algebraically closed residue field. Finally, we look at the completion map $R \to \widehat{R}$, which is also faithfully flat (by noetherianness assumption), to reduce the question to the case of a local complete noetherian ring $R$ with algebraically closed residue field.

This finishes the proof of the claim that $\mathrm{H^0}(X, \mathcal O_X)\otimes_R k(\mathfrak m) \to \mathrm{H^0}(X_s, \mathcal{O}_{X_s})$ is surjective. And this implies flatness of $A$ by Cohomology and Base Change!

UPD: By the way, the result also holds without any noetherianess assumption, if you assume that $f$ is proper and finitely presented. The proof is (as always) a reduction to the noetherian case using the spreading out techniques from EGA IV$_3$. But I guess it is not that interesting.

Step 2: Reduce to the case of a local noetherian ring with algebraically closed residue field (the main input is EGA 0_{III} 10.3.1 and faithfully flat descend)

Step 3: Reduce to the case of a local noetherian complete ring with algebraically closed residue field (the main input is faithfully flat descend)

Step 5: Leverage the fact that for any artinian local ring we have homeomorphism of underlying topological spaces $|X|$ and $|X_s|$ (fiber over a closed point) to prove the claim (with a help of Cohomology and Base Change result from Step 4).

We want to make a bunch of reductions to simplify the ring $R$ in the problem as much as possible. To make these reduction steps we observe that Stein factorization (for qcqs morphisms) commutes with flat base change. This means that it suffices to prove the statement for all localizations of $R$ (since flatness can be checked on the level of local rings). So we can assume that $R$ is local. But still, a ring $R$ can be pretty bad, we want to simplify even more by making its residue field algebraically closed. To actually do this, we use EGA 0_{III} 10.3.1 to find a faithfully flat local extension of local rings $R \to R'$ with a residue field of $R'$ being algebraically closed. Since flatness descends along faithfully flat morphisms (and Stein factorization commutes with flat base change!) we can reduce the question to the case of a local ring with algebraically closed residue field. Finally, we look at the completion map $R \to \widehat{R}$, which is also faithfully flat (by noetherianness assumption), to reduce the question to the case of a local complete noetherian ring $R$ with algebraically closed residue field.

Step 2: Reduce to the case of a local noetherian ring with algebraically closed residue field (the main input is EGA 0_{III} 10.3.1 and faithfully flat descent)

Step 3: Reduce to the case of a local noetherian complete ring with algebraically closed residue field (the main input is faithfully flat descent)

We want to make a bunch of reductions to simplify the ring $R$ in the problem as much as possible. To make these reduction steps we observe that Stein factorization (for qcqs morphisms) commutes with flat base change. This means that it suffices to prove the statement for all localizations of $R$ (since flatness can be checked on the level of local rings). So we can assume that $R$ is local. But still, a ring $R$ can be pretty bad, we want to simplify even more by making its residue field algebraically closed. To actually do this, we use EGA 0$_{III}$ 10.3.1 to find a faithfully flat local extension of local rings $R \to R'$ with a residue field of $R'$ being algebraically closed. Since flatness descends along faithfully flat morphisms (and Stein factorization commutes with flat base change!) we can reduce the question to the case of a local ring with algebraically closed residue field. Finally, we look at the completion map $R \to \widehat{R}$, which is also faithfully flat (by noetherianness assumption), to reduce the question to the case of a local complete noetherian ring $R$ with algebraically closed residue field.

Source Link

created Mar 27, 2019 at 7:33

gdb

2.9k
10
24

The claim is correct, and, actually, even more is true. The map $R \to \mathrm{H}^0(X, \mathcal O_X)$ is (finite) etale, but the difficult part is really to prove flatness. Before going to the actual proof of this statement, let me discuss the main idea of the proof.

Step 1: Reduce to the case of a local noetherian ring $R$ (the main input is local nature of flatness).

Step 2: Reduce to the case of a local noetherian ring with algebraically closed residue field (the main input is EGA 0_{III} 10.3.1 and faithfully flat descend)

Step 3: Reduce to the case of a local noetherian complete ring with algebraically closed residue field (the main input is faithfully flat descend)

Step 4: Reduce to the case of Artinian local ring with algebraically closed residue field (the main input is Formal Function Theorem and Cohomology and Base Change)

Being said this, let us start proving our claim.

Theorem: Let $R$ be a noetherian ring and let $f: X \to \operatorname{Spec} R$ be a proper flat morphism with geometrically reduced fibres, then a natural map $$ g: \operatorname{Spec}(f_*\mathcal O_X) \to \operatorname{Spec} R $$ is a finite etale map.

First of all, note that Proper Mapping Theorem (applied to the morphims $f$) guarantees that $A:=\mathrm{H}^0(X, \mathcal O_X)$ is a finite $R$-algebra. Also we know that fibers of the morphism $g$ are geometrically reduced (since fibers of $f$ are), therefore once we can show that $A$ is a flat $R$-algebra, we automatically conclude that $A$ is a finite etale $R$-algebra. Now we go to the proof of this flatness result.

We want to make a bunch of reductions to simplify the ring $R$ in the problem as much as possible. To make these reduction steps we observe that Stein factorization (for qcqs morphisms) commutes with flat base change. This means that it suffices to prove the statement for all localizations of $R$ (since flatness can be checked on the level of local rings). So we can assume that $R$ is local. But still, a ring $R$ can be pretty bad, we want to simplify even more by making its residue field algebraically closed. To actually do this, we use EGA 0_{III} 10.3.1 to find a faithfully flat local extension of local rings $R \to R'$ with a residue field of $R'$ being algebraically closed. Since flatness descends along faithfully flat morphisms (and Stein factorization commutes with flat base change!) we can reduce the question to the case of a local ring with algebraically closed residue field. Finally, we look at the completion map $R \to \widehat{R}$, which is also faithfully flat (by noetherianness assumption), to reduce the question to the case of a local complete noetherian ring $R$ with algebraically closed residue field.

Now we are in the situation as above and we want to show that $A=\mathrm{H}^0(X, \mathcal O_X)$ is $R$-flat. Recall that there is the Cohomology and Base Change Theorem that says the following:

Theorem (Cohomology and Base Change): Let $f:X \to \operatorname{Spec} R$ be a proper flat morphism, and pick an arbitrary point $y\in \operatorname{Spec} R$ such that a natural morphism $$ \phi^0(y):\mathrm{H^0}(X, \mathcal O_X)\otimes_R k(y) \to \mathrm{H^0}(X_y, \mathcal{O}_{X_y}) $$ is a surjective morphism. Then there is a neighborhood $y\in U$ such that for all $z\in U$ the natural map $\phi^0(z)$ is an isomorphism and $(f_*\mathcal O_X)|_U$ is locally free and commutes with arbitrary base change.

Remark: Cohomology and Base Change Theorem is actually a more general statement. Look at Corollary 8.3.11 and Remark 8.3.11.2 in FGA Explained for the most general form.

Let us now go back to our situation. We know that $R$ is local in our case, so it suffices (for our purposes) to show that the natural map $\mathrm{H}^0(X, \mathcal O_X) \otimes_R k(\mathfrak m) \to \mathrm{H}^0(X_s, \mathcal O_{X_s})$ is surjective for the maximal ideal $\mathfrak m \subset R$ (and a corresponding closed point $s\in \operatorname{Spec} R$). Note that geometric fibers of the map $X \to \operatorname{Spec} R$ are still geometrically reduced, this implies that $\mathrm{H}^0(X_s, \mathcal{O}_{X_s})$ is isomorphic to a finite product of fields $k=k(\mathfrak m)=R/\mathfrak m$ (here we are using that $k$ is algebraically closed!). In other words, $$ \mathrm{H}^0(X_s, \mathcal{O}_{X_s}) \cong \prod_{i \in I} ke_i, $$ where $e_i\in \mathrm{H}^0(X_s, \mathcal{O}_{X_s})$ and each $i$ is labeled by a connected component of $X_s$. In particular, $\mathrm{H}^0(X_s, \mathcal{O}_{X_s})$ is generated by idempotents as a $k$-vector space. This implies that in order to show surjectivity of the map $\mathrm{H}^0(X, \mathcal O_X) \to \mathrm{H}^0(X_s, \mathcal O_{X_s})$ (which is equivalent to the surjectivity of $\mathrm{H}^0(X, \mathcal O_X) \otimes_R k(\mathfrak m) \to \mathrm{H}^0(X_s, \mathcal O_{X_s})$), it is sufficient to show that each idempotent of $\mathrm{H}^0(X_s, \mathcal O_{X_s})$ can be lifted to $\mathrm{H}^0(X, \mathcal O_X)$. This is a pretty standard question on the Formal Function Theorem.

The Formal Function Theorem guarantees that $$ \mathrm{H}^0(X,\mathcal O_X)\hat{} \cong \lim_n \mathrm{H}^0(X_n, \mathcal O_{X_n}), \text{where } X_n = X\times_{R} \operatorname{Spec} R/\mathfrak{m}^{n+1}. $$ Since $R$ is complete(!) we conclude that $$ \mathrm{H}^0(X,\mathcal O_X)\hat{} =\mathrm{H}^0(X,\mathcal O_X) \otimes_R R\hat{} =\mathrm{H}^0(X,\mathcal O_X). $$ Therefore, we see that $\mathrm{H}^0(X,\mathcal O_X) \cong \lim_n \mathrm{H}^0(X_n, \mathcal O_{X_n})$. So, in order to lift idempotents from $\mathrm{H}^0(X_s, \mathcal O_{X_s})$ to $\mathrm{H}^0(X, \mathcal O_{X})$ it is actually sufficient to lift idempotents from each $\mathrm{H}^0(X_n, \mathcal O_{X_n})$ to $\mathrm{H}^0(X_{n+1}, \mathcal O_{X_{n+1}})$.

But this is pretty easy to do, the key is that the underlying topological spaces of schemes $|X_{n}|$ and $|X_{n+1}|$ are the same. Choose an idempotent $e\in \mathrm{H}^0(X_n, \mathcal O_{X_n})$, then a vanishing locus $V(e)$ is a union of connected components of $X_n$, and $e$ is a function, which is equal to $0$ on them and $1$ on all other connected components. Since the underlying topological space of $X_{n+1}$ is equal to $X_n$, we can choose the function $e'\in \mathrm{H}^0(X_{n+1}, \mathcal O_{X_{n+1}})$ such that it is equal to $0$ on the same connected components and it is equal to $1$ on all other connected components. Then $e'$ lifts $e$, so we are done!