The Stacks project

Lemma 37.46.1. Consider a diagram of morphisms of schemes

\[ \xymatrix{ Z \ar[r]_{\sigma } \ar[rd] & X \ar[d] \\ & Y } \]

an a point $y \in Y$. Assume

  1. $X \to Y$ is of finite presentation and flat,

  2. $Z \to Y$ is finite locally free,

  3. $Z_ y \not= \emptyset $,

  4. all fibres of $X \to Y$ are geometrically reduced, and

  5. $X_ y$ is geometrically connected over $\kappa (y)$.

Then there exists a quasi-compact open $X^0 \subset X$ such that $X^0_ y = X_ y$ and such that all nonempty fibres of $X^0 \to Y$ are geometrically connected.

Proof. In this proof we will use that flat, finite presentation, finite locally free are properties that are preserved under base change and composition. We will also use that a finite locally free morphism is both open and closed. You can find these facts as Morphisms, Lemmas 29.25.8, 29.21.4, 29.48.4, 29.25.6, 29.21.3, 29.48.3, 29.25.10, and 29.44.11.

Note that $X_ Z \to Z$ is flat morphism of finite presentation which has a section $s$ coming from $\sigma $. Let $X_ Z^0$ denote the subset of $X_ Z$ defined in Situation 37.29.1. By Lemma 37.29.6 it is an open subset of $X_ Z$.

The pullback $X_{Z \times _ Y Z}$ of $X$ to $Z \times _ Y Z$ comes equipped with two sections $s_0, s_1$, namely the base changes of $s$ by $\text{pr}_0, \text{pr}_1 : Z \times _ Y Z \to Z$. The construction of Situation 37.29.1 gives two subsets $(X_{Z \times _ Y Z})_{s_0}^0$ and $(X_{Z \times _ Y Z})_{s_1}^0$. By Lemma 37.29.2 these are the inverse images of $X_ Z^0$ under the morphisms $1_ X \times \text{pr}_0, 1_ X \times \text{pr}_1 : X_{Z \times _ Y Z} \to X_ Z$. In particular these subsets are open.

Let $(Z \times _ Y Z)_ y = \{ z_1, \ldots , z_ n\} $. As $X_ y$ is geometrically connected, we see that the fibres of $(X_{Z \times _ Y Z})_{s_0}^0$ and $(X_{Z \times _ Y Z})_{s_1}^0$ over each $z_ i$ agree (being equal to the whole fibre). Another way to say this is that

\[ s_0(z_ i) \in (X_{Z \times _ Y Z})_{s_1}^0 \quad \text{and}\quad s_1(z_ i) \in (X_{Z \times _ Y Z})_{s_0}^0. \]

Since the sets $(X_{Z \times _ Y Z})_{s_0}^0$ and $(X_{Z \times _ Y Z})_{s_1}^0$ are open in $X_{Z \times _ Y Z}$ there exists an open neighbourhood $W \subset Z \times _ Y Z$ of $(Z \times _ Y Z)_ y$ such that

\[ s_0(W) \subset (X_{Z \times _ Y Z})_{s_1}^0 \quad \text{and}\quad s_1(W) \subset (X_{Z \times _ Y Z})_{s_0}^0. \]

Then it follows directly from the construction in Situation 37.29.1 that

\[ p^{-1}(W) \cap (X_{Z \times _ Y Z})_{s_0}^0 = p^{-1}(W) \cap (X_{Z \times _ Y Z})_{s_1}^0 \]

where $p : X_{Z \times _ Y Z} \to Z \times _ W Z$ is the projection. Because $Z \times _ Y Z \to Y$ is finite locally free, hence open and closed, there exists an affine open neighbourhood $V \subset Y$ of $y$ such that $q^{-1}(V) \subset W$, where $q : Z \times _ Y Z \to Y$ is the structure morphism. To prove the lemma we may replace $Y$ by $V$. After we do this we see that $X_ Z^0 \subset Y_ Z$ is an open such that

\[ (1_ X \times \text{pr}_0)^{-1}(X_ Z^0) = (1_ X \times \text{pr}_1)^{-1}(X_ Z^0). \]

This means that the image $X^0 \subset X$ of $X_ Z^0$ is an open such that $(X_ Z \to X)^{-1}(X^0) = X_ Z^0$, see Descent, Lemma 35.13.6. Finally, $X^0$ is quasi-compact because $X_ Z^0$ is quasi-compact by Lemma 37.29.4 (use that at this point $Y$ is affine, hence $X$ is quasi-compact and quasi-separated, hence locally constructible is the same as constructible and in particular quasi-compact; details omitted). In this way we see that $X^0$ has all the desired properties. $\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 057I. Beware of the difference between the letter 'O' and the digit '0'.