The Stacks project

110.67 A family of curves whose total space is not a scheme

In Quot, Section 99.15 we define a family of curves over a scheme $S$ to be a proper, flat, finitely presented morphism of relative dimension $\leq 1$ from an algebraic space $X$ to $S$. If $S$ is the spectrum of a complete Noetherian local ring, then $X$ is a scheme, see More on Morphisms of Spaces, Lemma 76.43.6. In this section we show this is not true in general.

Let $k$ be a field. We start with a proper flat morphism

\[ Y \longrightarrow \mathbf{A}^1_ k \]

and a point $y \in Y(k)$ lying over $0 \in \mathbf{A}^1_ k(k)$ with the following properties

  1. the fibre $Y_0$ is a smooth geometrically irreducible curve over $k$,

  2. for any proper closed subscheme $T \subset Y$ dominating $\mathbf{A}^1_ k$ the intersection $T \cap Y_0$ contains at least one point distinct from $y$.

Given such a surface we construct our example as follows.

\[ \xymatrix{ Y \ar[rd] & Z \ar[d] \ar[l] \ar[r] & X \ar[ld] \\ & \mathbf{A}^1_ k } \]

Here $Z \to Y$ is the blowup of $Y$ in $y$. Let $E \subset Z$ be the exceptional divisor and let $C \subset Z$ be the strict transform of $Y_0$. We have $Z_0 = E \cup C$ scheme theoretically (to see this use that $Y$ is smooth at $y$ and moreover $Y \to \mathbf{A}^1_ k$ is smooth at $y$). By Artin's results ([ArtinII]; use Semistable Reduction, Lemma 55.9.7 to see that the normal bundle of $C$ is negative) we can blow down the curve $C$ in $Z$ to obtain an algebraic space $X$ as in the diagram. Let $x \in X(k)$ be the image of $C$.

We claim that $X$ is not a scheme. Namely, if it were a scheme, then there would be an affine open neighbourhood $U \subset X$ of $x$. Set $T = X \setminus U$. Then $T$ dominates $\mathbf{A}^1_ k$ (as the fibres of $X \to \mathbf{A}^1_ k$ are proper of dimension $1$ and the fibres of $U \to \mathbf{A}^1_ k$ are affine hence different). Let $T' \subset Z$ be the closed subscheme mapping isomorphically to $T$ (as $x \not\in T$). Then the image of $T'$ in $X$ contradicts condition (2) above (as $T' \cap Z_0$ is contained in the exceptional divisor $E$ of the blowing up $Z \to Y$).

To finish the discussion we need to construct our $Y$. We will assume the characteristic of $k$ is not $3$. Write $\mathbf{A}^1_ k = \mathop{\mathrm{Spec}}(k[t])$ and take

\[ Y \quad : \quad T_0^3 + T_1^3 + T_2^3 - tT_0T_1T_2 = 0 \]

in $\mathbf{P}^2_{k[t]}$. The fibre of this for $t = 0$ is a smooth projective genus $1$ curve. On the affine piece $V_+(T_0)$ we get the affine equation

\[ 1 + x^3 + y^3 - txy = 0 \]

which defines a smooth surface over $k$. Since the same is true on the other affine pieces by symmetry we see that $Y$ is a smooth surface. Finally, we see from the affine equation also that the fraction field is $k(x, y)$ hence $Y$ is a rational surface. Now the Picard group of a rational surface is finitely generated (insert future reference here). Hence in order to choose $y \in Y_0(k)$ with property (2) it suffices to choose $y$ such that
\begin{equation} \label{examples-equation-three} \mathcal{O}_{Y_0}(ny) \not\in \mathop{\mathrm{Im}}(\mathop{\mathrm{Pic}}\nolimits (Y) \to \mathop{\mathrm{Pic}}\nolimits (Y_0)) \text{ for all }n > 0 \end{equation}

Namely, the sum of the $1$-dimensional irreducible components of a $T$ contradicting (2) would give an effective Cartier divisor intersection $Y_0$ in the divisor $ny$ for some $n \geq 1$ and we would conclude that $\mathcal{O}_{Y_0}(ny)$ is in the image of the restriction map. Observe that since $Y_0$ has genus $\geq 1$ the map

\[ Y_0(k) \to \mathop{\mathrm{Pic}}\nolimits (Y_0),\quad y \mapsto \mathcal{O}_{Y_0}(y) \]

is injective. Now if $k$ is an uncountable algebraically closed field, then using the countability of $\mathop{\mathrm{Pic}}\nolimits (Y)$ and the remark just made, we can find a $y \in Y_0(k)$ satisfying ( and hence (2).

Lemma 110.67.1. There exists a field $k$ and a family of curves $X \to \mathbf{A}^1_ k$ such that $X$ is not a scheme.

Proof. See discussion above. $\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 0D5D. Beware of the difference between the letter 'O' and the digit '0'.