Today we look at the simplest examples of non-affine schemes. How do we show that they are not affine?
These schemes $X$ will be obtained by gluing affine pieces. Thus we can compute their global sections $O_X(X)$: these correspond to compatible sections on each affine piece. Using the fact that the functor Spec gives an equivalence of categories, we argue that if $X$ is affine, it must equals $\text{Spec}(O_X(X)).$ By comparing number of points, we argue that this is impossible.
Example 1. The Punctured Plane
Let $U = \mathbb{A}^2 - \{(0,0)\}$, be equipped with the structure of open subscheme of $\mathbb{A}^2=: X$.We compute its global section. To this end, we think of $U $ as $D(x) \cup D(y)$. So global sections of $U$ correspond to $(s, t) \in O_X(D(x)) \times O_X(D(y))$ that agree on intersection $O_X(D(xy))$.
Notice that the corresponding restriction maps are just inclusion $k[x,y]_x \hookrightarrow k[x,y]_{x,y}$ and $k[x,y]_y \hookrightarrow k[x,y]_{(x, y)}.$ So $s$ and $t$ are compatible iff $s = t$. Thus $O_U(U) = O_X(D(x)) \cap O_X(D(y)) = k[x,y]_x \cap k[x,y]_y = k[x, y].$
If $U$ is affine, it must therefore be $X = \mathbb{A}^2.$
However, the function $x$ and $y$ have common zeroes on $X$, but they not have any common zeroes in $U$.
Another way to phrase it is that we should have a bijection:
$ \{ \text{Prime ideals of $O_U(U)$} \} \leftrightarrow U$ given by
$\mathfrak{p} \mapsto \text{generic point of } \mathbb{V}(\mathfrak{p})$
$\mathbb{I}(x) \leftarrow x.$
So in particular the prime ideal $(x, y)$ should cut out a point in $U$. But it does not.
Example 2. Affine line with doubled origin
We glue $X = \text{Spec} k[t]$ and $Y = \text{Spec} k[u]$ together along $X \supset U = \text{Spec} k[t, t^{-1}]$ and $Y \supset V = \text{Spec} k[u, u^{-1}]$ via the isomorphism
$ k[t, t^{-1}] \to k[u, u^{-1}]$ given by $t \mapsto u$.
To show that this scheme is not affine, compute its global section in the same way as above.
Example 3. Projective Line
We glue $X = \text{Spec} k[t]$ and $Y = \text{Spec} k[u]$ together along $X \supset U = \text{Spec} k[t, t^{-1}]$ and $Y \supset V = \text{Spec} k[u, u^{-1}]$ via the isomorphism
$ k[t, t^{-1}] \to k[u, u^{-1}]$ given by $t \mapsto 1/u$.
We compute the global sections of $\mathbb{P}^1$. These correspond to pairs of sections $(s_1, s_2 ) \in O_X(X) \times O_Y(Y)$ that agree on intersection $U \cong V$.
Notice that corresponding restriction maps are injections, so $s_1|_U = s_1$ and $s_2|_V = s_2$. We use the map $O_X(U) \to O_Y(V)$ to identify $s_1 = f(t)$ as the section $f(1/u)$ on $V$. So must have $f(1/u) = s_2$ as elements of $k[u, u^{-1}]$. As $s_2 \in k[u]$, this means $s_2 \in k$, and so is $s_1$, and $s_1 = s_2$.
So $\Gamma(\mathbb{P}^1, O_{\mathbb{P}^1}) = k$. If $\mathbb{P}^1$ were affine, it must equal $\text{Spec} k$ which consists of a single point.
No comments:
Post a Comment