The Stacks project

61.5 Constructing w-local affine schemes

An affine scheme $X$ is called w-local if its underlying topological space is w-local (Definition 61.2.3). It turns out given any ring $A$ there is a canonical faithfully flat ind-Zariski ring map $A \to A_ w$ such that $\mathop{\mathrm{Spec}}(A_ w)$ is w-local. The key to constructing $A_ w$ is the following simple lemma.

Lemma 61.5.1. Let $A$ be a ring. Set $X = \mathop{\mathrm{Spec}}(A)$. Let $Z \subset X$ be a locally closed subscheme which is of the form $D(f) \cap V(I)$ for some $f \in A$ and ideal $I \subset A$. Then

  1. there exists a multiplicative subset $S \subset A$ such that $\mathop{\mathrm{Spec}}(S^{-1}A)$ maps by a homeomorphism to the set of points of $X$ specializing to $Z$,

  2. the $A$-algebra $A_ Z^\sim = S^{-1}A$ depends only on the underlying locally closed subset $Z \subset X$,

  3. $Z$ is a closed subscheme of $\mathop{\mathrm{Spec}}(A_ Z^\sim )$,

If $A \to A'$ is a ring map and $Z' \subset X' = \mathop{\mathrm{Spec}}(A')$ is a locally closed subscheme of the same form which maps into $Z$, then there is a unique $A$-algebra map $A_ Z^\sim \to (A')_{Z'}^\sim $.

Proof. Let $S \subset A$ be the multiplicative set of elements which map to invertible elements of $\Gamma (Z, \mathcal{O}_ Z) = (A/I)_ f$. If $\mathfrak p$ is a prime of $A$ which does not specialize to $Z$, then $\mathfrak p$ generates the unit ideal in $(A/I)_ f$. Hence we can write $f^ n = g + h$ for some $n \geq 0$, $g \in \mathfrak p$, $h \in I$. Then $g \in S$ and we see that $\mathfrak p$ is not in the spectrum of $S^{-1}A$. Conversely, if $\mathfrak p$ does specialize to $Z$, say $\mathfrak p \subset \mathfrak q \supset I$ with $f \not\in \mathfrak q$, then we see that $S^{-1}A$ maps to $A_\mathfrak q$ and hence $\mathfrak p$ is in the spectrum of $S^{-1}A$. This proves (1).

The isomorphism class of the localization $S^{-1}A$ depends only on the corresponding subset $\mathop{\mathrm{Spec}}(S^{-1}A) \subset \mathop{\mathrm{Spec}}(A)$, whence (2) holds. By construction $S^{-1}A$ maps surjectively onto $(A/I)_ f$, hence (3). The final statement follows as the multiplicative subset $S' \subset A'$ corresponding to $Z'$ contains the image of the multiplicative subset $S$. $\square$

Let $A$ be a ring. Let $E \subset A$ be a finite subset. We get a stratification of $X = \mathop{\mathrm{Spec}}(A)$ into locally closed subschemes by looking at the vanishing behaviour of the elements of $E$. More precisely, given a disjoint union decomposition $E = E' \amalg E''$ we set
\begin{equation} \label{proetale-equation-stratum} Z(E', E'') = \bigcap \nolimits _{f \in E'} D(f) \cap \bigcap \nolimits _{f \in E''} V(f) = D(\prod \nolimits _{f \in E'} f) \cap V( \sum \nolimits _{f \in E''} fA) \end{equation}

The points of $Z(E', E'')$ are exactly those $x \in X$ such that $f \in E'$ maps to a nonzero element in $\kappa (x)$ and $f \in E''$ maps to zero in $\kappa (x)$. Thus it is clear that
\begin{equation} \label{proetale-equation-stratify} X = \coprod \nolimits _{E = E' \amalg E''} Z(E', E'') \end{equation}

set theoretically. Observe that each stratum is constructible.

Lemma 61.5.2. Let $X = \mathop{\mathrm{Spec}}(A)$ as above. Given any finite stratification $X = \coprod T_ i$ by constructible subsets, there exists a finite subset $E \subset A$ such that the stratification ( refines $X = \coprod T_ i$.

Proof. We may write $T_ i = \bigcup _ j U_{i, j} \cap V_{i, j}^ c$ as a finite union for some $U_{i, j}$ and $V_{i, j}$ quasi-compact open in $X$. Then we may write $U_{i, j} = \bigcup D(f_{i, j, k})$ and $V_{i, j} = \bigcup D(g_{i, j, l})$. Then we set $E = \{ f_{i, j, k}\} \cup \{ g_{i, j, l}\} $. This does the job, because the stratification ( is the one whose strata are labeled by the vanishing pattern of the elements of $E$ which clearly refines the given stratification. $\square$

We continue the discussion. Given a finite subset $E \subset A$ we set
\begin{equation} \label{proetale-equation-ring} A_ E = \prod \nolimits _{E = E' \amalg E''} A_{Z(E', E'')}^\sim \end{equation}

with notation as in Lemma 61.5.1. This makes sense because ( shows that each $Z(E', E'')$ has the correct shape. We take the spectrum of this ring and denote it
\begin{equation} \label{proetale-equation-spectrum} X_ E = \mathop{\mathrm{Spec}}(A_ E) = \coprod \nolimits _{E = E' \amalg E''} X_{E', E''} \end{equation}

with $X_{E', E''} = \mathop{\mathrm{Spec}}(A_{Z(E', E'')}^\sim )$. Note that
\begin{equation} \label{proetale-equation-closed} Z_ E = \coprod \nolimits _{E = E' \amalg E''} Z(E', E'') \longrightarrow X_ E \end{equation}

is a closed subscheme. By construction the closed subscheme $Z_ E$ contains all the closed points of the affine scheme $X_ E$ as every point of $X_{E', E''}$ specializes to a point of $Z(E', E'')$.

Let $I(A)$ be the partially ordered set of all finite subsets of $A$. This is a directed partially ordered set. For $E_1 \subset E_2$ there is a canonical transition map $A_{E_1} \to A_{E_2}$ of $A$-algebras. Namely, given a decomposition $E_2 = E'_2 \amalg E''_2$ we set $E'_1 = E_1 \cap E'_2$ and $E''_1 = E_1 \cap E''_2$. Then observe that $Z(E'_2, E''_2) \subset Z(E'_1, E''_1)$ hence a unique $A$-algebra map $A_{Z(E'_1, E''_1)}^\sim \to A_{Z(E'_2, E''_2)}^\sim $ by Lemma 61.5.1. Using these maps collectively we obtain the desired ring map $A_{E_1} \to A_{E_2}$. Observe that the corresponding map of affine schemes
\begin{equation} \label{proetale-equation-transition} X_{E_2} \longrightarrow X_{E_1} \end{equation}

maps $Z_{E_2}$ into $Z_{E_1}$. By uniqueness we obtain a system of $A$-algebras over $I(A)$ and we set
\begin{equation} \label{proetale-equation-colimit-ring} A_ w = \mathop{\mathrm{colim}}\nolimits _{E \in I(A)} A_ E \end{equation}

This $A$-algebra is ind-Zariski and faithfully flat over $A$. Finally, we set $X_ w = \mathop{\mathrm{Spec}}(A_ w)$ and endow it with the closed subscheme $Z = \mathop{\mathrm{lim}}\nolimits _{E \in I(A)} Z_ E$. In a formula
\begin{equation} \label{proetale-equation-final} X_ w = \mathop{\mathrm{lim}}\nolimits _{E \in I(A)} X_ E \supset Z = \mathop{\mathrm{lim}}\nolimits _{E \in I(A)} Z_ E \end{equation}

Lemma 61.5.3. Let $X = \mathop{\mathrm{Spec}}(A)$ be an affine scheme. With $A \to A_ w$, $X_ w = \mathop{\mathrm{Spec}}(A_ w)$, and $Z \subset X_ w$ as above.

  1. $A \to A_ w$ is ind-Zariski and faithfully flat,

  2. $X_ w \to X$ induces a bijection $Z \to X$,

  3. $Z$ is the set of closed points of $X_ w$,

  4. $Z$ is a reduced scheme, and

  5. every point of $X_ w$ specializes to a unique point of $Z$.

In particular, $X_ w$ is w-local (Definition 61.2.3).

Proof. The map $A \to A_ w$ is ind-Zariski by construction. For every $E$ the morphism $Z_ E \to X$ is a bijection, hence (2). As $Z \subset X_ w$ we conclude $X_ w \to X$ is surjective and $A \to A_ w$ is faithfully flat by Algebra, Lemma 10.39.16. This proves (1).

Suppose that $y \in X_ w$, $y \not\in Z$. Then there exists an $E$ such that the image of $y$ in $X_ E$ is not contained in $Z_ E$. Then for all $E \subset E'$ also $y$ maps to an element of $X_{E'}$ not contained in $Z_{E'}$. Let $T_{E'} \subset X_{E'}$ be the reduced closed subscheme which is the closure of the image of $y$. It is clear that $T = \mathop{\mathrm{lim}}\nolimits _{E \subset E'} T_{E'}$ is the closure of $y$ in $X_ w$. For every $E \subset E'$ the scheme $T_{E'} \cap Z_{E'}$ is nonempty by construction of $X_{E'}$. Hence $\mathop{\mathrm{lim}}\nolimits T_{E'} \cap Z_{E'}$ is nonempty and we conclude that $T \cap Z$ is nonempty. Thus $y$ is not a closed point. It follows that every closed point of $X_ w$ is in $Z$.

Suppose that $y \in X_ w$ specializes to $z, z' \in Z$. We will show that $z = z'$ which will finish the proof of (3) and will imply (5). Let $x, x' \in X$ be the images of $z$ and $z'$. Since $Z \to X$ is bijective it suffices to show that $x = x'$. If $x \not= x'$, then there exists an $f \in A$ such that $x \in D(f)$ and $x' \in V(f)$ (or vice versa). Set $E = \{ f\} $ so that

\[ X_ E = \mathop{\mathrm{Spec}}(A_ f) \amalg \mathop{\mathrm{Spec}}(A_{V(f)}^\sim ) \]

Then we see that $z$ and $z'$ map $x_ E$ and $x'_ E$ which are in different parts of the given decomposition of $X_ E$ above. But then it impossible for $x_ E$ and $x'_ E$ to be specializations of a common point. This is the desired contradiction.

Recall that given a finite subset $E \subset A$ we have $Z_ E$ is a disjoint union of the locally closed subschemes $Z(E', E'')$ each isomorphic to the spectrum of $(A/I)_ f$ where $I$ is the ideal generated by $E''$ and $f$ the product of the elements of $E'$. Any nilpotent element $b$ of $(A/I)_ f$ is the class of $g/f^ n$ for some $g \in A$. Then setting $E' = E \cup \{ g\} $ the reader verifies that $b$ is pulls back to zero under the transition map $Z_{E'} \to Z_ E$ of the system. This proves (4). $\square$

Remark 61.5.4. Let $A$ be a ring. Let $\kappa $ be an infinite cardinal bigger or equal than the cardinality of $A$. Then the cardinality of $A_ w$ (Lemma 61.5.3) is at most $\kappa $. Namely, each $A_ E$ has cardinality at most $\kappa $ and the set of finite subsets of $A$ has cardinality at most $\kappa $ as well. Thus the result follows as $\kappa \otimes \kappa = \kappa $, see Sets, Section 3.6.

Lemma 61.5.5 (Universal property of the construction). Let $A$ be a ring. Let $A \to A_ w$ be the ring map constructed in Lemma 61.5.3. For any ring map $A \to B$ such that $\mathop{\mathrm{Spec}}(B)$ is w-local, there is a unique factorization $A \to A_ w \to B$ such that $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A_ w)$ is w-local.

Proof. Denote $Y = \mathop{\mathrm{Spec}}(B)$ and $Y_0 \subset Y$ the set of closed points. Denote $f : Y \to X$ the given morphism. Recall that $Y_0$ is profinite, in particular every constructible subset of $Y_0$ is open and closed. Let $E \subset A$ be a finite subset. Recall that $A_ w = \mathop{\mathrm{colim}}\nolimits A_ E$ and that the set of closed points of $\mathop{\mathrm{Spec}}(A_ w)$ is the limit of the closed subsets $Z_ E \subset X_ E = \mathop{\mathrm{Spec}}(A_ E)$. Thus it suffices to show there is a unique factorization $A \to A_ E \to B$ such that $Y \to X_ E$ maps $Y_0$ into $Z_ E$. Since $Z_ E \to X = \mathop{\mathrm{Spec}}(A)$ is bijective, and since the strata $Z(E', E'')$ are constructible we see that

\[ Y_0 = \coprod f^{-1}(Z(E', E'')) \cap Y_0 \]

is a disjoint union decomposition into open and closed subsets. As $Y_0 = \pi _0(Y)$ we obtain a corresponding decomposition of $Y$ into open and closed pieces. Thus it suffices to construct the factorization in case $f(Y_0) \subset Z(E', E'')$ for some decomposition $E = E' \amalg E''$. In this case $f(Y)$ is contained in the set of points of $X$ specializing to $Z(E', E'')$ which is homeomorphic to $X_{E', E''}$. Thus we obtain a unique continuous map $Y \to X_{E', E''}$ over $X$. By Lemma 61.3.7 this corresponds to a unique morphism of schemes $Y \to X_{E', E''}$ over $X$. This finishes the proof. $\square$

Recall that the spectrum of a ring is profinite if and only if every point is closed. There are in fact a whole slew of equivalent conditions that imply this. See Algebra, Lemma 10.26.5 or Topology, Lemma 5.23.8.

Lemma 61.5.6. Let $A$ be a ring such that $\mathop{\mathrm{Spec}}(A)$ is profinite. Let $A \to B$ be a ring map. Then $\mathop{\mathrm{Spec}}(B)$ is profinite in each of the following cases:

  1. if $\mathfrak q,\mathfrak q' \subset B$ lie over the same prime of $A$, then neither $\mathfrak q \subset \mathfrak q'$, nor $\mathfrak q' \subset \mathfrak q$,

  2. $A \to B$ induces algebraic extensions of residue fields,

  3. $A \to B$ is a local isomorphism,

  4. $A \to B$ identifies local rings,

  5. $A \to B$ is weakly étale,

  6. $A \to B$ is quasi-finite,

  7. $A \to B$ is unramified,

  8. $A \to B$ is étale,

  9. $B$ is a filtered colimit of $A$-algebras as in (1) – (8),

  10. etc.

Proof. By the references mentioned above (Algebra, Lemma 10.26.5 or Topology, Lemma 5.23.8) there are no specializations between distinct points of $\mathop{\mathrm{Spec}}(A)$ and $\mathop{\mathrm{Spec}}(B)$ is profinite if and only if there are no specializations between distinct points of $\mathop{\mathrm{Spec}}(B)$. These specializations can only happen in the fibres of $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$. In this way we see that (1) is true.

The assumption in (2) implies all primes of $B$ are maximal by Algebra, Lemma 10.35.9. Thus (2) holds. If $A \to B$ is a local isomorphism or identifies local rings, then the residue field extensions are trivial, so (3) and (4) follow from (2). If $A \to B$ is weakly étale, then More on Algebra, Lemma 15.104.17 tells us it induces separable algebraic residue field extensions, so (5) follows from (2). If $A \to B$ is quasi-finite, then the fibres are finite discrete topological spaces. Hence (6) follows from (1). Hence (3) follows from (1). Cases (7) and (8) follow from this as unramified and étale ring map are quasi-finite (Algebra, Lemmas 10.151.6 and 10.143.6). If $B = \mathop{\mathrm{colim}}\nolimits B_ i$ is a filtered colimit of $A$-algebras, then $\mathop{\mathrm{Spec}}(B) = \mathop{\mathrm{lim}}\nolimits \mathop{\mathrm{Spec}}(B_ i)$ in the category of topological spaces by Limits, Lemma 32.4.2. Hence if each $\mathop{\mathrm{Spec}}(B_ i)$ is profinite, so is $\mathop{\mathrm{Spec}}(B)$ by Topology, Lemma 5.22.3. This proves (9). $\square$

Lemma 61.5.7. Let $A$ be a ring. Let $V(I) \subset \mathop{\mathrm{Spec}}(A)$ be a closed subset which is a profinite topological space. Then there exists an ind-Zariski ring map $A \to B$ such that $\mathop{\mathrm{Spec}}(B)$ is w-local, the set of closed points is $V(IB)$, and $A/I \cong B/IB$.

Proof. Let $A \to A_ w$ and $Z \subset Y = \mathop{\mathrm{Spec}}(A_ w)$ as in Lemma 61.5.3. Let $T \subset Z$ be the inverse image of $V(I)$. Then $T \to V(I)$ is a homeomorphism by Topology, Lemma 5.17.8. Let $B = (A_ w)_ T^\sim $, see Lemma 61.5.1. It is clear that $B$ is w-local with closed points $V(IB)$. The ring map $A/I \to B/IB$ is ind-Zariski and induces a homeomorphism on underlying topological spaces. Hence it is an isomorphism by Lemma 61.3.8. $\square$

Lemma 61.5.8. Let $A$ be a ring such that $X = \mathop{\mathrm{Spec}}(A)$ is w-local. Let $I \subset A$ be the radical ideal cutting out the set $X_0$ of closed points in $X$. Let $A \to B$ be a ring map inducing algebraic extensions on residue fields at primes. Then

  1. every point of $Z = V(IB)$ is a closed point of $\mathop{\mathrm{Spec}}(B)$,

  2. there exists an ind-Zariski ring map $B \to C$ such that

    1. $B/IB \to C/IC$ is an isomorphism,

    2. the space $Y = \mathop{\mathrm{Spec}}(C)$ is w-local,

    3. the induced map $p : Y \to X$ is w-local, and

    4. $p^{-1}(X_0)$ is the set of closed points of $Y$.

Proof. By Lemma 61.5.6 applied to $A/I \to B/IB$ all points of $Z = V(IB) = \mathop{\mathrm{Spec}}(B/IB)$ are closed, in fact $\mathop{\mathrm{Spec}}(B/IB)$ is a profinite space. To finish the proof we apply Lemma 61.5.7 to $IB \subset B$. $\square$

Comments (2)

Comment #8539 by DU Changjiang on

It seems that there is a typo in the discussion before the formula \ref{}: it should be instead of .

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 096U. Beware of the difference between the letter 'O' and the digit '0'.