The Stacks project

Lemma 60.11.5. Let $A \to B$ be a quasi-finite and finitely presented ring map. If the residue fields of $A$ are separably algebraically closed and $\mathop{\mathrm{Spec}}(A)$ is extremally disconnected, then $\mathop{\mathrm{Spec}}(B)$ is extremally disconnected.

Proof. Set $X = \mathop{\mathrm{Spec}}(A)$ and $Y = \mathop{\mathrm{Spec}}(B)$. Choose a finite partition $X = \coprod X_ i$ and $X'_ i \to X_ i$ as in √Čtale Cohomology, Lemma 58.71.3. Because $X$ is extremally disconnected, every constructible locally closed subset is open and closed, hence we see that $X$ is topologically the disjoint union of the strata $X_ i$. Thus we may replace $X$ by the $X_ i$ and assume there exists a surjective finite locally free morphism $X' \to X$ such that $(X' \times _ X Y)_{red}$ is isomorphic to a finite disjoint union of copies of $X'_{red}$. Picture

\[ \xymatrix{ \coprod _{i = 1, \ldots , r} X' \ar[r] \ar[d] & Y \ar[d] \\ X' \ar[r] & X } \]

The assumption on the residue fields of $A$ implies that this diagram is a fibre product diagram on underlying sets of points (details omitted). Since $X$ is extremally disconnected and $X'$ is Hausdorff (Lemma 60.5.6), the continuous map $X' \to X$ has a continuous section $\sigma $. Then $\coprod _{i = 1, \ldots , r} \sigma (X) \to Y$ is a bijective continuous map. By Topology, Lemma 5.17.8 we see that it is a homeomorphism and the proof is done. $\square$

Comments (1)

Comment #5950 by Owen on

The reference to tag 0978 suggests that is presumed profinite; perhaps that hypothesis should be added to the statement of the lemma? (Definition 08YI of extremally disconnected space doesn't presume compact Hausdorff and I believe there are extremally disconnected spectral spaces that aren't profinite.)

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0985. Beware of the difference between the letter 'O' and the digit '0'.