The Stacks project

52.26 Invertible modules on punctured spectra, I

In this section we prove some local Lefschetz theorems for the Picard group. Some of the ideas are taken from [Kollar-pic], [Bhatt-local], and [Kollar-map-pic].

Lemma 52.26.1. Let $(A, \mathfrak m)$ be a Noetherian local ring. Let $f \in \mathfrak m$ be a nonzerodivisor and assume that $\text{depth}(A/fA) \geq 2$, or equivalently $\text{depth}(A) \geq 3$. Let $U$, resp. $U_0$ be the punctured spectrum of $A$, resp. $A/fA$. The map

\[ \mathop{\mathrm{Pic}}\nolimits (U) \to \mathop{\mathrm{Pic}}\nolimits (U_0) \]

is injective on torsion.

Proof. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ U$-module. Observe that $\mathcal{L}$ maps to $0$ in $\mathop{\mathrm{Pic}}\nolimits (U_0)$ if and only if we can extend $\mathcal{L}$ to an invertible coherent triple $(\mathcal{L}, \mathcal{L}_0, \lambda )$ as in Section 52.25. By Proposition 52.25.4 the function

\[ n \longmapsto \chi ((\mathcal{L}, \mathcal{L}_0, \lambda )^{\otimes n}) \]

is a polynomial. By Lemma 52.25.5 the value of this polynomial is zero if and only if $\mathcal{L}^{\otimes n}$ is trivial. Thus if $\mathcal{L}$ is torsion, then this polynomial has infinitely many zeros, hence is identically zero, hence $\mathcal{L}$ is trivial. $\square$

reference

Proposition 52.26.2 (Kollár). Let $(A, \mathfrak m)$ be a Noetherian local ring. Let $f \in \mathfrak m$. Assume

  1. $A$ has a dualizing complex,

  2. $f$ is a nonzerodivisor,

  3. $\text{depth}(A/fA) \geq 2$, or equivalently $\text{depth}(A) \geq 3$,

  4. if $f \in \mathfrak p \subset A$ is a prime ideal with $\dim (A/\mathfrak p) = 2$, then $\text{depth}(A_\mathfrak p) \geq 2$.

Let $U$, resp. $U_0$ be the punctured spectrum of $A$, resp. $A/fA$. The map

\[ \mathop{\mathrm{Pic}}\nolimits (U) \to \mathop{\mathrm{Pic}}\nolimits (U_0) \]

is injective. Finally, if (1), (2), (3), $A$ is $(S_2)$, and $\dim (A) \geq 4$, then (4) holds.

Proof. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ U$-module. Observe that $\mathcal{L}$ maps to $0$ in $\mathop{\mathrm{Pic}}\nolimits (U_0)$ if and only if we can extend $\mathcal{L}$ to an invertible coherent triple $(\mathcal{L}, \mathcal{L}_0, \lambda )$ as in Section 52.25. By Proposition 52.25.4 the function

\[ n \longmapsto \chi ((\mathcal{L}, \mathcal{L}_0, \lambda )^{\otimes n}) \]

is a polynomial $P$. By Lemma 52.25.5 we have $P(n) \geq 0$ for all $n \in \mathbf{Z}$ with equality if and only if $\mathcal{L}^{\otimes n}$ is trivial. In particular $P(0) = 0$ and $P$ is either identically zero and we win or $P$ has even degree $\geq 2$.

Set $M = \Gamma (U, \mathcal{L})$ and $M_0 = \Gamma (X_0, \mathcal{L}_0) = \Gamma (U_0, \mathcal{L}_0)$. Then $M$ is a finite $A$-module of depth $\geq 2$ and $M_0 \cong A/fA$, see proof of Lemma 52.25.5. Note that $H^2_\mathfrak m(M)$ is finite $A$-module by Local Cohomology, Lemma 51.7.4 and the fact that $H^ i_\mathfrak m(A) = 0$ for $i = 0, 1, 2$ since $\text{depth}(A) \geq 3$. Consider the short exact sequence

\[ 0 \to M/fM \to M_0 \to Q \to 0 \]

Lemma 52.25.5 tells us $Q$ has finite length equal to $\chi (\mathcal{L}, \mathcal{L}_0, \lambda )$. We obtain $Q = H^1_\mathfrak m(M/fM)$ and $H^ i_\mathfrak m(M/fM) = H^ i_\mathfrak m(M_0) \cong H^ i_\mathfrak m(A/fA)$ for $i > 1$ from the long exact sequence of local cohomology associated to the displayed short exact sequence. Consider the long exact sequence of local cohomology associated to the sequence $0 \to M \to M \to M/fM \to 0$. It starts with

\[ 0 \to Q \to H^2_\mathfrak m(M) \to H^2_\mathfrak m(M) \to H^2_\mathfrak m(A/fA) \]

Using additivity of lengths we see that $\chi (\mathcal{L}, \mathcal{L}_0, \lambda )$ is equal to the length of the image of $H^2_\mathfrak m(M) \to H^2_\mathfrak m(A/fA)$.

Let prove the lemma in a special case to elucidate the rest of the proof. Namely, assume for a moment that $H^2_\mathfrak m(A/fA)$ is a finite length module. Then we would have $P(1) \leq \text{length}_ A H^2_\mathfrak m(A/fA)$. The exact same argument applied to $\mathcal{L}^{\otimes n}$ shows that $P(n) \leq \text{length}_ A H^2_\mathfrak m(A/fA)$ for all $n$. Thus $P$ cannot have positive degree and we win. In the rest of the proof we will modify this argument to give a linear upper bound for $P(n)$ which suffices.

Let us study the map $H^2_\mathfrak m(M) \to H^2_\mathfrak m(M_0) \cong H^2_\mathfrak m(A/fA)$. Choose a normalized dualizing complex $\omega _ A^\bullet $ for $A$. By local duality (Dualizing Complexes, Lemma 47.18.4) this map is Matlis dual to the map

\[ \text{Ext}^{-2}_ A(M, \omega _ A^\bullet ) \longleftarrow \text{Ext}^{-2}_ A(M_0, \omega _ A^\bullet ) \]

whose image therefore has the same (finite) length. The support (if nonempty) of the finite $A$-module $\text{Ext}^{-2}_ A(M_0, \omega _ A^\bullet )$ consists of $\mathfrak m$ and a finite number of primes $\mathfrak p_1, \ldots , \mathfrak p_ r$ containing $f$ with $\dim (A/\mathfrak p_ i) = 1$. Namely, by Local Cohomology, Lemma 51.9.4 the support is contained in the set of primes $\mathfrak p \subset A$ with $\text{depth}_{A_\mathfrak p}(M_{0, \mathfrak p}) + \dim (A/\mathfrak p) \leq 2$. Thus it suffices to show there is no prime $\mathfrak p$ containing $f$ with $\dim (A/\mathfrak p) = 2$ and $\text{depth}_{A_\mathfrak p}(M_{0, \mathfrak p}) = 0$. However, because $M_{0, \mathfrak p} \cong (A/fA)_\mathfrak p$ this would give $\text{depth}(A_\mathfrak p) = 1$ which contradicts assumption (4). Choose a section $t \in \Gamma (U, \mathcal{L}^{\otimes -1})$ which does not vanish in the points $\mathfrak p_1, \ldots , \mathfrak p_ r$, see Properties, Lemma 28.29.7. Multiplication by $t$ on global sections determines a map $t : M \to A$ which defines an isomorphism $M_{\mathfrak p_ i} \to A_{\mathfrak p_ i}$ for $i = 1, \ldots , r$. Denote $t_0 = t|_{U_0}$ the corresponding section of $\Gamma (U_0, \mathcal{L}_0^{\otimes -1})$ which similarly determines a map $t_0 : M_0 \to A/fA$ compatible with $t$. We conclude that there is a commutative diagram

\[ \xymatrix{ \text{Ext}^{-2}_ A(M, \omega _ A^\bullet ) & \text{Ext}^{-2}_ A(M_0, \omega _ A^\bullet ) \ar[l] \\ \text{Ext}^{-2}_ A(A, \omega _ A^\bullet ) \ar[u]^ t & \text{Ext}^{-2}_ A(A/fA, \omega _ A^\bullet ) \ar[l] \ar[u]_{t_0} } \]

It follows that the length of the image of the top horizontal map is at most the length of $\text{Ext}^{-2}_ A(A/fA, \omega _ A^\bullet )$ plus the length of the cokernel of $t_0$.

However, if we replace $\mathcal{L}$ by $\mathcal{L}^ n$ for $n > 1$, then we can use

\[ t^ n : M_ n = \Gamma (U, \mathcal{L}^{\otimes n}) \longrightarrow \Gamma (U, \mathcal{O}_ U) = A \]

instead of $t$. This replaces $t_0$ by its $n$th power. Thus the length of the image of the map $\text{Ext}^{-2}_ A(M_ n, \omega _ A^\bullet ) \leftarrow \text{Ext}^{-2}_ A(M_{n, 0}, \omega _ A^\bullet )$ is at most the length of $\text{Ext}^{-2}_ A(A/fA, \omega _ A^\bullet )$ plus the length of the cokernel of

\[ t_0^ n : \text{Ext}^{-2}_ A(A/fA, \omega _ A^\bullet ) \longrightarrow \text{Ext}^{-2}_ A(M_{n, 0}, \omega _ A^\bullet ) \]

Via the isomorphism $M_0 \cong A/fA$ the map $t_0$ becomes $g : A/fA \to A/fA$ for some $g \in A/fA$ and via the corresponding isomorphisms $M_{n, 0} \cong A/fA$ the map $t_0^ n$ becomes $g^ n : A/fA \to A/fA$. Thus the length of the cokernel above is the length of the quotient of $\text{Ext}^{-2}_ A(A/fA, \omega _ A^\bullet )$ by $g^ n$. Since $\text{Ext}^{-2}_ A(A/fA, \omega _ A^\bullet )$ is a finite $A$-module with support $T$ of dimension $1$ and since $V(g) \cap T$ consists of the closed point by our choice of $t$ this length grows linearly in $n$ by Algebra, Lemma 10.62.6.

To finish the proof we prove the final assertion. Assume $f \in \mathfrak m \subset A$ satisfies (1), (2), (3), $A$ is $(S_2)$, and $\dim (A) \geq 4$. Condition (1) implies $A$ is catenary, see Dualizing Complexes, Lemma 47.17.4. Then $\mathop{\mathrm{Spec}}(A)$ is equidimensional by Local Cohomology, Lemma 51.3.2. Thus $\dim (A_\mathfrak p) + \dim (A/\mathfrak p) \geq 4$ for every prime $\mathfrak p$ of $A$. Then $\text{depth}(A_\mathfrak p) \geq \min (2, \dim (A_\mathfrak p)) \geq \min (2, 4 - \dim (A/\mathfrak p))$ and hence (4) holds. $\square$

Remark 52.26.3. In SGA2 we find the following result. Let $(A, \mathfrak m)$ be a Noetherian local ring. Let $f \in \mathfrak m$. Assume $A$ is a quotient of a regular ring, the element $f$ is a nonzerodivisor, and

  1. if $\mathfrak p \subset A$ is a prime ideal with $\dim (A/\mathfrak p) = 1$, then $\text{depth}(A_\mathfrak p) \geq 2$, and

  2. $\text{depth}(A/fA) \geq 3$, or equivalently $\text{depth}(A) \geq 4$.

Let $U$, resp. $U_0$ be the punctured spectrum of $A$, resp. $A/fA$. Then the map

\[ \mathop{\mathrm{Pic}}\nolimits (U) \to \mathop{\mathrm{Pic}}\nolimits (U_0) \]

is injective. This is [Exposee XI, Lemma 3.16, SGA2]1. This result from SGA2 follows from Proposition 52.26.2 because

  1. a quotient of a regular ring has a dualizing complex (see Dualizing Complexes, Lemma 47.21.3 and Proposition 47.15.11), and

  2. if $\text{depth}(A) \geq 4$ then $\text{depth}(A_\mathfrak p) \geq 2$ for all primes $\mathfrak p$ with $\dim (A/\mathfrak p) = 2$, see Algebra, Lemma 10.72.10.

[1] Condition (a) follows from condition (b), see Algebra, Lemma 10.72.10.

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