The Stacks project

27.18 Quasi-affine schemes

Definition 27.18.1. A scheme $X$ is called quasi-affine if it is quasi-compact and isomorphic to an open subscheme of an affine scheme.

Lemma 27.18.2. Let $A$ be a ring and let $U \subset \mathop{\mathrm{Spec}}(A)$ be a quasi-compact open subscheme. For $\mathcal{F}$ quasi-coherent on $U$ the canonical map

\[ \widetilde{H^0(U, \mathcal{F})}|_ U \to \mathcal{F} \]

is an isomorphism.

Proof. Denote $j : U \to \mathop{\mathrm{Spec}}(A)$ the inclusion morphism. Then $H^0(U, \mathcal{F}) = H^0(\mathop{\mathrm{Spec}}(A), j_*\mathcal{F})$ and $j_*\mathcal{F}$ is quasi-coherent by Schemes, Lemma 25.24.1. Hence $j_*\mathcal{F} = \widetilde{H^0(U, \mathcal{F})}$ by Schemes, Lemma 25.7.5. Restricting back to $U$ we get the lemma. $\square$

Lemma 27.18.3. Let $X$ be a scheme. Let $f \in \Gamma (X, \mathcal{O}_ X)$. Assume $X$ is quasi-compact and quasi-separated and assume that $X_ f$ is affine. Then the canonical morphism

\[ j : X \longrightarrow \mathop{\mathrm{Spec}}(\Gamma (X, \mathcal{O}_ X)) \]

from Schemes, Lemma 25.6.4 induces an isomorphism of $X_ f = j^{-1}(D(f))$ onto the standard affine open $D(f) \subset \mathop{\mathrm{Spec}}(\Gamma (X, \mathcal{O}_ X))$.

Proof. This is clear as $j$ induces an isomorphism of rings $\Gamma (X, \mathcal{O}_ X)_ f \to \mathcal{O}_ X(X_ f)$ by Lemma 27.17.1 above. $\square$

Lemma 27.18.4. Let $X$ be a scheme. Then $X$ is quasi-affine if and only if the canonical morphism

\[ X \longrightarrow \mathop{\mathrm{Spec}}(\Gamma (X, \mathcal{O}_ X)) \]

from Schemes, Lemma 25.6.4 is a quasi-compact open immersion.

Proof. If the displayed morphism is a quasi-compact open immersion then $X$ is isomorphic to a quasi-compact open subscheme of $\mathop{\mathrm{Spec}}(\Gamma (X, \mathcal{O}_ X))$ and clearly $X$ is quasi-affine.

Assume $X$ is quasi-affine, say $X \subset \mathop{\mathrm{Spec}}(R)$ is quasi-compact open. This in particular implies that $X$ is separated, see Schemes, Lemma 25.23.9. Let $A = \Gamma (X, \mathcal{O}_ X)$. Consider the ring map $R \to A$ coming from $R = \Gamma (\mathop{\mathrm{Spec}}(R), \mathcal{O}_{\mathop{\mathrm{Spec}}(R)})$ and the restriction mapping of the sheaf $\mathcal{O}_{\mathop{\mathrm{Spec}}(R)}$. By Schemes, Lemma 25.6.4 we obtain a factorization:

\[ X \longrightarrow \mathop{\mathrm{Spec}}(A) \longrightarrow \mathop{\mathrm{Spec}}(R) \]

of the inclusion morphism. Let $x \in X$. Choose $r \in R$ such that $x \in D(r)$ and $D(r) \subset X$. Denote $f \in A$ the image of $r$ in $A$. The open $X_ f$ of Lemma 27.17.1 above is equal to $D(r) \subset X$ and hence $A_ f \cong R_ r$ by the conclusion of that lemma. Hence $D(r) \to \mathop{\mathrm{Spec}}(A)$ is an isomorphism onto the standard affine open $D(f)$ of $\mathop{\mathrm{Spec}}(A)$. Since $X$ can be covered by such affine opens $D(f)$ we win. $\square$

Lemma 27.18.5. Let $U \to V$ be an open immersion of quasi-affine schemes. Then

\[ \xymatrix{ U \ar[d] \ar[rr]_-j & & \mathop{\mathrm{Spec}}(\Gamma (U, \mathcal{O}_ U)) \ar[d] \\ U \ar[r] & V \ar[r]^-{j'} & \mathop{\mathrm{Spec}}(\Gamma (V, \mathcal{O}_ V)) } \]

is cartesian.

Proof. The diagram is commutative by Schemes, Lemma 25.6.4. Write $A = \Gamma (U, \mathcal{O}_ U)$ and $B = \Gamma (V, \mathcal{O}_ V)$. Let $g \in B$ be such that $V_ g$ is affine and contained in $U$. This means that if $f$ is the image of $g$ in $A$, then $U_ f = V_ g$. By Lemma 27.18.3 we see that $j'$ induces an isomorphism of $V_ g$ with the standard open $D(g)$ of $\mathop{\mathrm{Spec}}(B)$. Thus $V_ g \times _{\mathop{\mathrm{Spec}}(B)} \mathop{\mathrm{Spec}}(A) \to \mathop{\mathrm{Spec}}(A)$ is an isomorphism onto $D(f) \subset \mathop{\mathrm{Spec}}(A)$. By Lemma 27.18.3 again $j$ maps $U_ f$ isomorphically to $D(f)$. Thus we see that $U_ f = U_ f \times _{\mathop{\mathrm{Spec}}(B)} \mathop{\mathrm{Spec}}(A)$. Since by Lemma 27.18.4 we can cover $U$ by $V_ g = U_ f$ as above, we see that $U \to U \times _{\mathop{\mathrm{Spec}}(B)} \mathop{\mathrm{Spec}}(A)$ is an isomorphism. $\square$

Lemma 27.18.6. Let $X$ be a quasi-affine scheme. There exists an integer $n \geq 0$, an affine scheme $T$, and a morphism $T \to X$ such that for every morphism $X' \to X$ with $X'$ affine the fibre product $X' \times _ X T$ is isomorphic to $\mathbf{A}^ n_{X'}$ over $X'$.

Proof. By definition, there exists a ring $A$ such that $X$ is isomorphic to a quasi-compact open subscheme $U \subset \mathop{\mathrm{Spec}}(A)$. Recall that the standard opens $D(f) \subset \mathop{\mathrm{Spec}}(A)$ form a basis for the topology, see Algebra, Section 10.16. Since $U$ is quasi-compact we can choose $f_1, \ldots , f_ n \in A$ such that $U = D(f_1) \cup \ldots \cup D(f_ n)$. Thus we may assume $X = \mathop{\mathrm{Spec}}(A) \setminus V(I)$ where $I = (f_1, \ldots , f_ n)$. We set

\[ T = \mathop{\mathrm{Spec}}(A[t, x_1, \ldots , x_ n]/(f_1 x_1 + \ldots + f_ n x_ n - 1)) \]

The structure morphism $T \to \mathop{\mathrm{Spec}}(A)$ factors through the open $X$ to give the morphism $T \to X$. If $X' = \mathop{\mathrm{Spec}}(A')$ and the morphism $X' \to X$ corresponds to the ring map $A \to A'$, then the images $f'_1, \ldots , f'_ n \in A'$ of $f_1, \ldots , f_ n$ generate the unit ideal in $A'$. Say $1 = f'_1 a'_1 + \ldots + f'_ n a'_ n$. The base change $X' \times _ X T$ is the spectrum of $A'[t, x_1, \ldots , x_ n]/(f'_1 x_1 + \ldots + f'_ n x_ n - 1)$. We claim the $A'$-algebra homomorphism

\[ \varphi : A'[y_1, \ldots , y_ n] \longrightarrow A'[t, x_1, \ldots , x_ n, x_{n + 1}]/(f'_1 x_1 + \ldots + f'_ n x_ n - 1) \]

sending $y_ i$ to $a'_ i t + x_ i$ is an isomorphism. The claim finishes the proof of the lemma. The inverse of $\varphi $ is given by the $A'$-algebra homomorphism

\[ \psi : A'[t, x_1, \ldots , x_ n, x_{n + 1}]/(f'_1 x_1 + \ldots + f'_ n x_ n - 1) \longrightarrow A'[y_1, \ldots , y_ n] \]

sending $t$ to $-1 + f'_1 y_1 + \ldots + f'_ n y_ n$ and $x_ i$ to $y_ i + a'_ i - a'_ i(f'_1 y_1 + \ldots + f'_ n y_ n)$ for $i = 1, \ldots , n$. This makes sense because $\sum f'_ ix_ i$ is mapped to

\[ \begin{matrix} \sum f'_ i(y_ i + a'_ i - a'_ i(\sum f'_ j y_ j)) = (\sum f'_ iy_ i) + 1 - (\sum f'_ j y_ j) = 1 \end{matrix} \]

To see the maps are mutually inverse one computes as follows:

\[ \begin{matrix} \varphi (\psi (t) = \varphi (-1 + \sum f'_ i y_ i) = -1 + \sum f'_ i (a'_ i t + x_ i) = t \\ \varphi (\psi (x_ i)) = \varphi (y_ i + a'_ i - a'_ i(\sum f'_ j y_ j)) = a'_ i t + x_ i + a'_ i - a'_ i(\sum f'_ ja'_ jt + f'_ jx_ j) = x_ i \\ \psi (\varphi (y_ i)) = \psi (a'_ i t + x_ i) = a'_ i(-1 + \sum f'_ j y_ j) + y_ i + a'_ i - a'_ i(\sum f'_ j y_ j) = y_ i \end{matrix} \]

This finishes the proof. $\square$


Comments (2)

Comment #2046 by alex on

It would be nice to give examples of quasi-affine schemes (that are not affine). How does the notion come up?

Comment #2047 by alex on

oh, nevermind. Examples abound: any open subscheme of Spec(R) where is noetherian is quasi-affine, since any subset of a Noetherian topological space is quasi-compact (p. 8 Hartshorne).


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