The Stacks project

36.27 Connected components meeting a section

The results in this section are in particular applicable to a group scheme $G \to S$ and its neutral section $e : S \to G$.

Situation 36.27.1. Here $f : X \to Y$ be a morphism of schemes, and $s : Y \to X$ is a section of $f$. For every $y \in Y$ we denote $X^0_ y$ the connected component of $X_ y$ containing $s(y)$. Finally, we set $X^0 = \bigcup _{y \in Y} X^0_ y$.

Lemma 36.27.2. Let $f : X \to Y$, $s : Y \to X$ be as in Situation 36.27.1. If $g : Y' \to Y$ is any morphism, consider the base change diagram

\[ \xymatrix{ X' \ar[r]_{g'} \ar[d]^{f'} & X \ar[d]_ f \\ Y' \ar@/^1pc/[u]^{s'} \ar[r]^ g & Y \ar@/_1pc/[u]_ s } \]

so that we obtain $(X')^0 \subset X'$. Then $(X')^0 = (g')^{-1}(X^0)$.

Proof. Let $y' \in Y'$ with image $y \in Y$. We may think of $X^0_ y$ as a closed subscheme of $X_ y$, see for example Morphisms, Definition 28.25.3. As $s(y) \in X^0_ y$ we conclude from Varieties, Lemma 32.7.14 that $X_ y^0$ is a geometrically connected scheme over $\kappa (y)$. Hence $X_ y^0 \times _ y y' \to X'_{y'}$ is a connected closed subscheme which contains $s'(y')$. Thus $X_ y^0 \times _ y y' \subset (X'_{y'})^0$. The other inclusion $X_ y^0 \times _ y y' \supset (X'_{y'})^0$ is clear as the image of $(X'_{y'})^0$ in $X_ y$ is a connected subset of $X_ y$ which contains $s(y)$. $\square$

Lemma 36.27.3. Let $f : X \to Y$, $s : Y \to X$ be as in Situation 36.27.1. Assume $f$ of finite type. Let $y \in Y$ be a point. Then there exists a nonempty open $V \subset \overline{\{ y\} }$ such that the inverse image of $X^0$ in the base change $X_ V$ is open and closed in $X_ V$.

Proof. Let $Z \subset Y$ be the induced reduced closed subscheme structure on $\overline{\{ y\} }$. Let $f_ Z : X_ Z \to Z$ and $s_ Z : Z \to X_ Z$ be the base changes of $f$ and $s$. By Lemma 36.27.2 we have $(X_ Z)^0 = (X^0)_ Z$. Hence it suffices to prove the lemma for the morphism $X_ Z \to Z$ and the point $x \in X_ Z$ which maps to the generic point of $Z$. In other words we have reduced the problem to the case where $Y$ is an integral scheme (see Properties, Lemma 27.3.4) with generic point $\eta $. Our goal is to show that after shrinking $Y$ the subset $X^0$ becomes an open and closed subset of $X$.

Note that the scheme $X_\eta $ is of finite type over a field, hence Noetherian. Thus its connected components are open as well as closed. Hence we may write $X_\eta = X_\eta ^0 \amalg T_\eta $ for some open and closed subset $T_\eta $ of $X_\eta $. Next, let $T \subset X$ be the closure of $T_\eta $ and let $X^{00} \subset X$ be the closure of $X_\eta ^0$. Note that $T_\eta $, resp. $X^0_\eta $ is the generic fibre of $T$, resp. $X^{00}$, see discussion preceding Lemma 36.22.5. Moreover, that lemma implies that after shrinking $Y$ we may assume that $X = X^{00} \cup T$ (set theoretically). Note that $(T \cap X^{00})_\eta = T_\eta \cap X^0_\eta = \emptyset $. Hence after shrinking $Y$ we may assume that $T \cap X^{00} = \emptyset $, see Lemma 36.22.1. In particular $X^{00}$ is open in $X$. Note that $X^0_\eta $ is connected and has a rational point, namely $s(\eta )$, hence it is geometrically connected, see Varieties, Lemma 32.7.14. Thus after shrinking $Y$ we may assume that all fibres of $X^{00} \to Y$ are geometrically connected, see Lemma 36.26.4. At this point it follows that the fibres $X^{00}_ y$ are open, closed, and connected subsets of $X_ y$ containing $\sigma (y)$. It follows that $X^0 = X^{00}$ and we win. $\square$

Lemma 36.27.4. Let $f : X \to Y$, $s : Y \to X$ be as in Situation 36.27.1. If $f$ is of finite presentation then $X^0$ is locally constructible in $X$.

Proof. Let $x \in X$. We have to show that there exists an open neighbourhood $U$ of $x$ such that $X^0 \cap U$ is constructible in $U$. This reduces us to the case where $Y$ is affine. Write $Y = \mathop{\mathrm{Spec}}(A)$ and $A = \mathop{\mathrm{colim}}\nolimits A_ i$ as a directed limit of finite type $\mathbf{Z}$-algebras. By Limits, Lemma 31.10.1 we can find an $i$ and a morphism $f_ i : X_ i \to \mathop{\mathrm{Spec}}(A_ i)$ of finite presentation, endowed with a section $s_ i : \mathop{\mathrm{Spec}}(A_ i) \to X_ i$ whose base change to $Y$ recovers $f$ and the section $s$. By Lemma 36.27.2 it suffices to prove the lemma for $f_ i, s_ i$. Thus we reduce to the case where $Y$ is the spectrum of a Noetherian ring.

Assume $Y$ is a Noetherian affine scheme. Since $f$ is of finite presentation, i.e., of finite type, we see that $X$ is a Noetherian scheme too, see Morphisms, Lemma 28.14.6. In order to prove the lemma in this case it suffices to show that for every irreducible closed subset $Z \subset X$ the intersection $Z \cap X^0$ either contains a nonempty open of $Z$ or is not dense in $Z$, see Topology, Lemma 5.16.3. Let $x \in Z$ be the generic point, and let $y = f(x)$. By Lemma 36.27.3 there exists a nonempty open subset $V \subset \overline{\{ y\} }$ such that $X^0 \cap X_ V$ is open and closed in $X_ V$. Since $f(Z) \subset \overline{\{ y\} }$ and $f(x) = y \in V$ we see that $W = f^{-1}(V) \cap Z$ is a nonempty open subset of $Z$. It follows that $X^0 \cap W$ is open and closed in $W$. Since $W$ is irreducible we see that $X^0 \cap W$ is either empty or equal to $W$. This proves the lemma. $\square$

Lemma 36.27.5. Let $f : X \to Y$, $s : Y \to X$ be as in Situation 36.27.1. Let $y \in Y$ be a point. Assume

  1. $f$ is of finite presentation and flat, and

  2. the fibre $X_ y$ is geometrically reduced.

Then $X^0$ is a neighbourhood of $X^0_ y$ in $X$.

Proof. We may replace $Y$ with an affine open neighbourhood of $y$. Write $Y = \mathop{\mathrm{Spec}}(A)$ and $A = \mathop{\mathrm{colim}}\nolimits A_ i$ as a directed limit of finite type $\mathbf{Z}$-algebras. By Limits, Lemma 31.10.1 we can find an $i$ and a morphism $f_ i : X_ i \to \mathop{\mathrm{Spec}}(A_ i)$ of finite presentation, endowed with a section $s_ i : \mathop{\mathrm{Spec}}(A_ i) \to X_ i$ whose base change to $Y$ recovers $f$ and the section $s$. After possibly increasing $i$ we may also assume that $f_ i$ is flat, see Limits, Lemma 31.8.7. Let $y_ i$ be the image of $y$ in $Y_ i$. Note that $X_ y = (X_{i, y_ i}) \times _{y_ i} y$. Hence $X_{i, y_ i}$ is geometrically reduced, see Varieties, Lemma 32.6.6. By Lemma 36.27.2 it suffices to prove the lemma for the system $f_ i, s_ i, y_ i \in Y_ i$. Thus we reduce to the case where $Y$ is the spectrum of a Noetherian ring.

Assume $Y$ is the spectrum of a Noetherian ring. Since $f$ is of finite presentation, i.e., of finite type, we see that $X$ is a Noetherian scheme too, see Morphisms, Lemma 28.14.6. Let $x \in X^0$ be a point lying over $y$. By Topology, Lemma 5.16.4 it suffices to prove that for any irreducible closed $Z \subset X$ passing through $x$ the intersection $X^0 \cap Z$ is dense in $Z$. In particular it suffices to prove that the generic point $x' \in Z$ is in $X^0$. By Properties, Lemma 27.5.10 we can find a discrete valuation ring $R$ and a morphism $\mathop{\mathrm{Spec}}(R) \to X$ which maps the special point to $x$ and the generic point to $x'$. We are going to think of $\mathop{\mathrm{Spec}}(R)$ as a scheme over $Y$ via the composition $\mathop{\mathrm{Spec}}(R) \to X \to Y$. By Lemma 36.27.2 we have that $(X_ R)^0$ is the inverse image of $X^0$. By construction we have a second section $t : \mathop{\mathrm{Spec}}(R) \to X_ R$ (besides the base change $s_ R$ of $s$) of the structure morphism $X_ R \to \mathop{\mathrm{Spec}}(R)$ such that $t(\eta _ R)$ is a point of $X_ R$ which maps to $x'$ and $t(0_ R)$ is a point of $X_ R$ which maps to $x$. Note that $t(0_ R)$ is in $(X_ R)^0$ and that $t(\eta _ R) \leadsto t(0_ R)$. Thus it suffices to prove that this implies that $t(\eta _ R) \in (X_ R)^0$. Hence it suffices to prove the lemma in the case where $Y$ is the spectrum of a discrete valuation ring and $y$ its closed point.

Assume $Y$ is the spectrum of a discrete valuation ring and $y$ is its closed point. Our goal is to prove that $X^0$ is a neighbourhood of $X^0_ y$. Note that $X^0_ y$ is open and closed in $X_ y$ as $X_ y$ has finitely many irreducible components. Hence the complement $C = X_ y \setminus X_ y^0$ is closed in $X$. Thus $U = X \setminus C$ is an open neighbourhood of $X^0_ y$ and $U^0 = X^0$. Hence it suffices to prove the result for the morphism $U \to Y$. In other words, we may assume that $X_ y$ is connected. Suppose that $X$ is disconnected, say $X = X_1 \amalg \ldots \amalg X_ n$ is a decomposition into connected components. Then $s(Y)$ is completely contained in one of the $X_ i$. Say $s(Y) \subset X_1$. Then $X^0 \subset X_1$. Hence we may replace $X$ by $X_1$ and assume that $X$ is connected. At this point Lemma 36.26.7 implies that $X_\eta $ is connected, i.e., $X^0 = X$ and we win. $\square$

Lemma 36.27.6. Let $f : X \to Y$, $s : Y \to X$ be as in Situation 36.27.1. Assume

  1. $f$ is of finite presentation and flat, and

  2. all fibres of $f$ are geometrically reduced.

Then $X^0$ is open in $X$.

Proof. This is an immediate consequence of Lemma 36.27.5. $\square$


Comments (0)


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