The Stacks project

33.47 Enriques-Severi-Zariski

In this section we prove some results of the form: twisting by a “very negative” invertible module kills low degree cohomology. We also deduce the connectedness of a hypersurface section of a normal proper scheme of dimension $\geq 2$.

Lemma 33.47.1. Let $k$ be a field. Let $X$ be a proper scheme over $k$. Let $\mathcal{L}$ be an ample invertible $\mathcal{O}_ X$-module. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. If $\text{Ass}(\mathcal{F})$ does not contain any closed points, then $\Gamma (X, \mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n}) = 0$ for $n \ll 0$.

Proof. For a coherent $\mathcal{O}_ X$-module $\mathcal{F}$ let $\mathcal{P}(\mathcal{F})$ be the property: there exists an $n_0 \in \mathbf{Z}$ such that for $n \leq n_0$ every section $s$ of $\mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n}$ has support consisting only of closed points. Since $\text{Ass}(\mathcal{F}) = \text{Ass}(\mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes n})$ we see that it suffices to prove $\mathcal{P}$ holds for all coherent modules on $X$. To do this we will prove that conditions (1), (2), and (3) of Cohomology of Schemes, Lemma 30.12.8 are satisfied.

To see condition (1) suppose that

\[ 0 \to \mathcal{F}_1 \to \mathcal{F} \to \mathcal{F}_2 \to 0 \]

is a short exact sequence of coherent $\mathcal{O}_ X$-modules such that we have $\mathcal{P}$ for $\mathcal{F}_ i$, $i = 1, 2$. Let $n_1, n_2$ be the cutoffs we find. Let $\mathcal{F}'_2 \subset \mathcal{F}_2$ be the maximal coherent submodule whose support is a finite set of closed points. Let $\mathcal{I} \subset \mathcal{O}_ X$ be the annihilator of $\mathcal{F}'_2$. Since $\mathcal{L}$ is ample, we can find an $e > 0$ such that $\mathcal{I} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes e}$ is globally generated. Set $n_0 = \min (n_2, n_1 - e)$. Let $n \leq n_0$ and let $t$ be a global section of $\mathcal{F} \otimes \mathcal{L}^{\otimes n}$. The image of $t$ in $\mathcal{F}_2 \otimes \mathcal{L}^{\otimes n}$ falls into $\mathcal{F}'_2 \otimes \mathcal{L}^{\otimes n}$ because $n \leq n_2$. Hence for any $s \in \Gamma (X, \mathcal{I} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes e})$ the product $t \otimes s$ lies in $\mathcal{F}_1 \otimes \mathcal{L}^{\otimes n + e}$. Thus $t \otimes s$ has support contained in the finite set of closed points in $\text{Ass}(\mathcal{F}_1)$ because $n + e \leq n_1$. Since by our choice of $e$ we may choose $s$ invertible in any point not in the support of $\mathcal{F}'_2$ we conclude that the support of $t$ is contained in the union of the finite set of closed points in $\text{Ass}(\mathcal{F}_1)$ and the finite set of closed points in $\text{Ass}(\mathcal{F}_2)$. This finishes the proof of condition (1).

Condition (2) is immediate.

For condition (3) we choose $\mathcal{G} = \mathcal{O}_ Z$. In this case, if $Z$ is a closed point of $X$, then there is nothing the show. If $\dim (Z) > 0$, then we will show that $\Gamma (Z, \mathcal{L}^{\otimes n}|_ Z) = 0$ for $n < 0$. Namely, let $s$ be a nonzero section of a negative power of $\mathcal{L}|_ Z$. Choose a nonzero section $t$ of a positive power of $\mathcal{L}|_ Z$ (this is possible as $\mathcal{L}$ is ample, see Properties, Proposition 28.26.13). Then $s^{\deg (t)} \otimes t^{\deg (s)}$ is a nonzero global section of $\mathcal{O}_ Z$ (because $Z$ is integral) and hence a unit (Lemma 33.9.3). This implies that $t$ is a trivializing section of a positive power of $\mathcal{L}$. Thus the function $n \mapsto \dim _ k \Gamma (X, \mathcal{L}^{\otimes n})$ is bounded on an infinite set of positive integers which contradicts asymptotic Riemann-Roch (Proposition 33.44.13) since $\dim (Z) > 0$. $\square$

Lemma 33.47.2 (Enriques-Severi-Zariski). Let $k$ be a field. Let $X$ be a proper scheme over $k$. Let $\mathcal{L}$ be an ample invertible $\mathcal{O}_ X$-module. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. Assume that for $x \in X$ closed we have $\text{depth}(\mathcal{F}_ x) \geq 2$. Then $H^1(X, \mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes m}) = 0$ for $m \ll 0$.

Proof. Choose a closed immersion $i : X \to \mathbf{P}^ n_ k$ such that $i^*\mathcal{O}(1) \cong \mathcal{L}^{\otimes e}$ for some $e > 0$ (see Morphisms, Lemma 29.39.4). Then it suffices to prove the lemma for

\[ \mathcal{G} = i_*(\mathcal{F} \oplus \mathcal{F} \otimes \mathcal{L} \oplus \ldots \oplus \mathcal{F} \otimes \mathcal{L}^{\otimes e - 1}) \quad \text{and}\quad \mathcal{O}(1) \]

on $\mathbf{P}^ n_ k$. Namely, we have

\[ H^1(\mathbf{P}^ n_ k, \mathcal{G}(m)) = \bigoplus \nolimits _{j = 0, \ldots , e - 1} H^1(X, \mathcal{F} \otimes \mathcal{L}^{\otimes j + me}) \]

by Cohomology of Schemes, Lemma 30.2.4. Also, if $y \in \mathbf{P}^ n_ k$ is a closed point then $\text{depth}(\mathcal{G}_ y) = \infty $ if $y \not\in i(X)$ and $\text{depth}(\mathcal{G}_ y) = \text{depth}(\mathcal{F}_ x)$ if $y = i(x)$ because in this case $\mathcal{G}_ y \cong \mathcal{F}_ x^{\oplus e}$ as a module over $\mathcal{O}_{\mathbf{P}^ n_ k, x}$ and we can use for example Algebra, Lemma 10.72.11 to get the equality.

Assume $X = \mathbf{P}^ n_ k$ and $\mathcal{L} = \mathcal{O}(1)$ and $k$ is infinite. Choose $s \in H^0(\mathbf{P}^1_ k, \mathcal{O}(1))$ which determines an exact sequence

\[ 0 \to \mathcal{F}(-1) \xrightarrow {s} \mathcal{F} \to \mathcal{G} \to 0 \]

as in Lemma 33.34.3. Since the map $\mathcal{F}(-1) \to \mathcal{F}$ is affine locally given by multiplying by a nonzerodivisor on $\mathcal{F}$ we see that for $x \in \mathbf{P}^ n_ k$ closed we have $\text{depth}(\mathcal{G}_ x) \geq 1$, see Algebra, Lemma 10.72.7. Hence by Lemma 33.47.1 we have $H^0(\mathcal{G}(m)) = 0$ for $m \ll 0$. Looking at the long exact sequence of cohomology after twisting (see Remark 33.34.5) we find that the sequence of numbers

\[ \dim H^1(\mathbf{P}^ n_ k, \mathcal{F}(m)) \]

stabilizes for $m \leq m_0$ for some integer $m_0$. Let $N$ be the common dimension of these spaces for $m \leq m_0$. We have to show $N = 0$.

For $d > 0$ and $m \leq m_0$ consider the bilinear map

\[ H^0(\mathbf{P}^ n_ k, \mathcal{O}(d)) \times H^1(\mathbf{P}^ n_ k, \mathcal{F}(m - d)) \longrightarrow H^1(\mathbf{P}^ n_ k, \mathcal{F}(m)) \]

By linear algebra, there is a codimension $\leq N^2$ subspace $V_ m \subset H^0(\mathbf{P}^ n_ k, \mathcal{O}(d))$ such that multiplication by $s' \in V_ m$ annihilates $H^1(\mathbf{P}^ n_ k, \mathcal{F}(m - d))$. Observe that for $m' < m \leq m_0$ the diagram

\[ \xymatrix{ H^0(\mathbf{P}^ n_ k, \mathcal{O}(d)) \times H^1(\mathbf{P}^ n_ k, \mathcal{F}(m' - d)) \ar[r] \ar[d]^{1 \times s^{m' - m}} & H^1(\mathbf{P}^ n_ k, \mathcal{F}(m')) \ar[d]^{s^{m' - m}}\\ H^0(\mathbf{P}^ n_ k, \mathcal{O}(d)) \times H^1(\mathbf{P}^ n_ k, \mathcal{F}(m - d)) \ar[r] & H^1(\mathbf{P}^ n_ k, \mathcal{F}(m)) } \]

commutes with isomorphisms going vertically. Thus $V_ m = V$ is independent of $m \leq m_0$. For $x \in \text{Ass}(\mathcal{F})$ set $Z = \overline{\{ x\} }$. For $d$ large enough the linear map

\[ H^0(\mathbf{P}^ n_ k, \mathcal{O}(d)) \to H^0(Z, \mathcal{O}(d)|_ Z) \]

has rank $> N^2$ because $\dim (Z) \geq 1$ (for example this follows from asymptotic Riemann-Roch and ampleness $\mathcal{O}(1)$; details omitted). Hence we can find $s' \in V$ such that $s'$ does not vanish in any associated point of $\mathcal{F}$ (use that the set of associated points is finite). Then we obtain

\[ 0 \to \mathcal{F}(-d) \xrightarrow {s'} \mathcal{F} \to \mathcal{G}' \to 0 \]

and as before we conclude as before that multiplication by $s'$ on $H^1(\mathbf{P}^ n_ k, \mathcal{F}(m - d))$ is injective for $m \ll 0$. This contradicts the choice of $s'$ unless $N = 0$ as desired.

We still have to treat the case where $k$ is finite. In this case let $K/k$ be any infinite algebraic field extension. Denote $\mathcal{F}_ K$ and $\mathcal{L}_ K$ the pullbacks of $\mathcal{F}$ and $\mathcal{L}$ to $X_ K = \mathop{\mathrm{Spec}}(K) \times _{\mathop{\mathrm{Spec}}(k)} X$. We have

\[ H^1(X_ K, \mathcal{F}_ K \otimes \mathcal{L}_ K^{\otimes m}) = H^1(X, \mathcal{F} \otimes \mathcal{L}^{\otimes m}) \otimes _ k K \]

by Cohomology of Schemes, Lemma 30.5.2. On the other hand, a closed point $x_ K$ of $X_ K$ maps to a closed point $x$ of $X$ because $K/k$ is an algebraic extension. The ring map $\mathcal{O}_{X, x} \to \mathcal{O}_{X_ K, x_ K}$ is flat (Lemma 33.5.1). Hence we have

\[ \text{depth}(\mathcal{F}_{x_ K}) = \text{depth}(\mathcal{F}_ x \otimes _{\mathcal{O}_{X, x}} \mathcal{O}_{X_ K, x_ K}) \geq \text{depth}(\mathcal{F}_ x) \]

by Algebra, Lemma 10.163.1 (in fact equality holds here but we don't need it). Therefore the result over $k$ follows from the result over the infinite field $K$ and the proof is complete. $\square$

Lemma 33.47.3. Let $k$ be a field. Let $X$ be a proper scheme over $k$. Let $\mathcal{L}$ be an ample invertible $\mathcal{O}_ X$-module. Let $s \in \Gamma (X, \mathcal{L})$. Assume

  1. $s$ is a regular section (Divisors, Definition 31.14.6),

  2. for every closed point $x \in X$ we have $\text{depth}(\mathcal{O}_{X, x}) \geq 2$, and

  3. $X$ is connected.

Then the zero scheme $Z(s)$ of $s$ is connected.

Proof. Since $s$ is a regular section, so is $s^ n \in \Gamma (X, \mathcal{L}^{\otimes n})$ for all $n > 1$. Moreover, the inclusion morphism $Z(s) \to Z(s^ n)$ is a bijection on underlying topological spaces. Hence if $Z(s)$ is disconnected, so is $Z(s^ n)$. Now consider the canonical short exact sequence

\[ 0 \to \mathcal{L}^{\otimes -n} \xrightarrow {s^ n} \mathcal{O}_ X \to \mathcal{O}_{Z(s^ n)} \to 0 \]

Consider the $k$-algebra $R_ n = \Gamma (X, \mathcal{O}_{Z(s^ n)})$. If $Z(s)$ is disconnected, i.e., $Z(s^ n)$ is disconnected, then either $R_ n$ is zero in case $Z(s^ n) = \emptyset $ or $R_ n$ contains a nontrivial idempotent in case $Z(s^ n) = U \amalg V$ with $U, V \subset Z(s^ n)$ open and nonempty (the reader may wish to consult Lemma 33.9.3). Thus the map $\Gamma (X, \mathcal{O}_ X) \to R_ n$ cannot be an isomorphism. It follows that either $H^0(X, \mathcal{L}^{\otimes -n})$ or $H^1(X, \mathcal{L}^{\otimes -n})$ is nonzero for infinitely many positive $n$. This contradicts Lemma 33.47.1 or 33.47.2 and the proof is complete. $\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 0FVD. Beware of the difference between the letter 'O' and the digit '0'.