The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

Serre's criterion for affineness.

[Serre-criterion], [II, Theorem 5.2.1 (d') and IV (1.7.17), EGA]

Lemma 29.3.1. Let $X$ be a scheme. Assume that

  1. $X$ is quasi-compact,

  2. for every quasi-coherent sheaf of ideals $\mathcal{I} \subset \mathcal{O}_ X$ we have $H^1(X, \mathcal{I}) = 0$.

Then $X$ is affine.

Proof. Let $x \in X$ be a closed point. Let $U \subset X$ be an affine open neighbourhood of $x$. Write $U = \mathop{\mathrm{Spec}}(A)$ and let $\mathfrak m \subset A$ be the maximal ideal corresponding to $x$. Set $Z = X \setminus U$ and $Z' = Z \cup \{ x\} $. By Schemes, Lemma 25.12.4 there are quasi-coherent sheaves of ideals $\mathcal{I}$, resp. $\mathcal{I}'$ cutting out the reduced closed subschemes $Z$, resp. $Z'$. Consider the short exact sequence

\[ 0 \to \mathcal{I}' \to \mathcal{I} \to \mathcal{I}/\mathcal{I}' \to 0. \]

Since $x$ is a closed point of $X$ and $x \not\in Z$ we see that $\mathcal{I}/\mathcal{I}'$ is supported at $x$. In fact, the restriction of $\mathcal{I}/\mathcal{I'}$ to $U$ corresponds to the $A$-module $A/\mathfrak m$. Hence we see that $\Gamma (X, \mathcal{I}/\mathcal{I'}) = A/\mathfrak m$. Since by assumption $H^1(X, \mathcal{I}') = 0$ we see there exists a global section $f \in \Gamma (X, \mathcal{I})$ which maps to the element $1 \in A/\mathfrak m$ as a section of $\mathcal{I}/\mathcal{I'}$. Clearly we have $x \in X_ f \subset U$. This implies that $X_ f = D(f_ A)$ where $f_ A$ is the image of $f$ in $A = \Gamma (U, \mathcal{O}_ X)$. In particular $X_ f$ is affine.

Consider the union $W = \bigcup X_ f$ over all $f \in \Gamma (X, \mathcal{O}_ X)$ such that $X_ f$ is affine. Obviously $W$ is open in $X$. By the arguments above every closed point of $X$ is contained in $W$. The closed subset $X \setminus W$ of $X$ is also quasi-compact (see Topology, Lemma 5.12.3). Hence it has a closed point if it is nonempty (see Topology, Lemma 5.12.8). This would contradict the fact that all closed points are in $W$. Hence we conclude $X = W$.

Choose finitely many $f_1, \ldots , f_ n \in \Gamma (X, \mathcal{O}_ X)$ such that $X = X_{f_1} \cup \ldots \cup X_{f_ n}$ and such that each $X_{f_ i}$ is affine. This is possible as we've seen above. By Properties, Lemma 27.27.3 to finish the proof it suffices to show that $f_1, \ldots , f_ n$ generate the unit ideal in $\Gamma (X, \mathcal{O}_ X)$. Consider the short exact sequence

\[ \xymatrix{ 0 \ar[r] & \mathcal{F} \ar[r] & \mathcal{O}_ X^{\oplus n} \ar[rr]^{f_1, \ldots , f_ n} & & \mathcal{O}_ X \ar[r] & 0 } \]

The arrow defined by $f_1, \ldots , f_ n$ is surjective since the opens $X_{f_ i}$ cover $X$. We let $\mathcal{F}$ be the kernel of this surjective map. Observe that $\mathcal{F}$ has a filtration

\[ 0 = \mathcal{F}_0 \subset \mathcal{F}_1 \subset \ldots \subset \mathcal{F}_ n = \mathcal{F} \]

so that each subquotient $\mathcal{F}_ i/\mathcal{F}_{i - 1}$ is isomorphic to a quasi-coherent sheaf of ideals. Namely we can take $\mathcal{F}_ i$ to be the intersection of $\mathcal{F}$ with the first $i$ direct summands of $\mathcal{O}_ X^{\oplus n}$. The assumption of the lemma implies that $H^1(X, \mathcal{F}_ i/\mathcal{F}_{i - 1}) = 0$ for all $i$. This implies that $H^1(X, \mathcal{F}_2) = 0$ because it is sandwiched between $H^1(X, \mathcal{F}_1)$ and $H^1(X, \mathcal{F}_2/\mathcal{F}_1)$. Continuing like this we deduce that $H^1(X, \mathcal{F}) = 0$. Therefore we conclude that the map

\[ \xymatrix{ \bigoplus \nolimits _{i = 1, \ldots , n} \Gamma (X, \mathcal{O}_ X) \ar[rr]^{f_1, \ldots , f_ n} & & \Gamma (X, \mathcal{O}_ X) } \]

is surjective as desired. $\square$


Comments (4)

Comment #1332 by Paul Lessard on

Affinenes in the slogan should be changed to affineness (missing the second s).

Comment #2724 by on

A reference is EGA II, Theorem 5.2.1 (d') and EGA IV_1, 1.7.17

There are also:

  • 1 comment(s) on Section 29.3: Vanishing of cohomology

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