75.14 Approximation by perfect complexes
In this section we continue the discussion started in Derived Categories of Schemes, Section 36.14.
Definition 75.14.1. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Consider triples $(T, E, m)$ where
$T \subset |X|$ is a closed subset,
$E$ is an object of $D_\mathit{QCoh}(\mathcal{O}_ X)$, and
$m \in \mathbf{Z}$.
We say approximation holds for the triple $(T, E, m)$ if there exists a perfect object $P$ of $D(\mathcal{O}_ X)$ supported on $T$ and a map $\alpha : P \to E$ which induces isomorphisms $H^ i(P) \to H^ i(E)$ for $i > m$ and a surjection $H^ m(P) \to H^ m(E)$.
Approximation cannot hold for every triple. Please read the remarks following Derived Categories of Schemes, Definition 36.14.1 to see why.
Definition 75.14.2. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. We say approximation by perfect complexes holds on $X$ if for any closed subset $T \subset |X|$ such that the morphism $X \setminus T \to X$ is quasi-compact there exists an integer $r$ such that for every triple $(T, E, m)$ as in Definition 75.14.1 with
$E$ is $(m - r)$-pseudo-coherent, and
$H^ i(E)$ is supported on $T$ for $i \geq m - r$
approximation holds.
Lemma 75.14.3. Let $S$ be a scheme. Let $(U \subset X, j : V \to X)$ be an elementary distinguished square of algebraic space over $S$. Let $E$ be a perfect object of $D(\mathcal{O}_ V)$ supported on $j^{-1}(T)$ where $T = |X| \setminus |U|$. Then $Rj_*E$ is a perfect object of $D(\mathcal{O}_ X)$.
Proof.
Being perfect is local on $X_{\acute{e}tale}$. Thus it suffices to check that $Rj_*E$ is perfect when restricted to $U$ and $V$. We have $Rj_*E|_ V = E$ by Lemma 75.10.7 which is perfect. We have $Rj_*E|_ U = 0$ because $E|_{V \setminus j^{-1}(T)} = 0$ (use Lemma 75.3.1).
$\square$
Lemma 75.14.4. Let $S$ be a scheme. Let $(U \subset X, j : V \to X)$ be an elementary distinguished square of algebraic spaces over $S$. Let $T$ be a closed subset of $|X| \setminus |U|$ and let $(T, E, m)$ be a triple as in Definition 75.14.1. If
approximation holds for $(j^{-1}T, E|_ V, m)$, and
the sheaves $H^ i(E)$ for $i \geq m$ are supported on $T$,
then approximation holds for $(T, E, m)$.
Proof.
Let $P \to E|_ V$ be an approximation of the triple $(j^{-1}T, E|_ V, m)$ over $V$. Then $Rj_*P$ is a perfect object of $D(\mathcal{O}_ X)$ by Lemma 75.14.3. On the other hand, $Rj_*P = j_!P$ by Lemma 75.10.7. We see that $j_!P$ is supported on $T$ for example by (75.10.0.2). Hence we obtain an approximation $Rj_*P = j_!P \to j_!(E|_ V) \to E$.
$\square$
Lemma 75.14.5. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$ which is representable by an affine scheme. Then approximation holds for every triple $(T, E, m)$ as in Definition 75.14.1 such that there exists an integer $r \geq 0$ with
$E$ is $m$-pseudo-coherent,
$H^ i(E)$ is supported on $T$ for $i \geq m - r + 1$,
$X \setminus T$ is the union of $r$ affine opens.
In particular, approximation by perfect complexes holds for affine schemes.
Proof.
Let $X_0$ be an affine scheme representing $X$. Let $T_0 \subset X_0$ by the closed subset corresponding to $T$. Let $\epsilon : X_{\acute{e}tale}\to X_{0, Zar}$ be the morphism (75.4.0.1). We may write $E = \epsilon ^*E_0$ for some object $E_0$ of $D_\mathit{QCoh}(\mathcal{O}_{X_0})$, see Lemma 75.4.2. Then $E_0$ is $m$-pseudo-coherent, see Lemma 75.13.2. Comparing stalks of cohomology sheaves (see proof of Lemma 75.4.1) we see that $H^ i(E_0)$ is supported on $T_0$ for $i \geq m - r + 1$. By Derived Categories of Schemes, Lemma 36.14.4 there exists an approximation $P_0 \to E_0$ of $(T_0, E_0, m)$. By Lemma 75.13.5 we see that $P = \epsilon ^*P_0$ is a perfect object of $D(\mathcal{O}_ X)$. Pulling back we obtain an approximation $P = \epsilon ^*P_0 \to \epsilon ^*E_0 = E$ as desired.
$\square$
Lemma 75.14.6. Let $S$ be a scheme. Let $(U \subset X, j : V \to X)$ be an elementary distinguished square of algebraic spaces over $S$. Assume $U$ quasi-compact, $V$ affine, and $U \times _ X V$ quasi-compact. If approximation by perfect complexes holds on $U$, then approximation by perfect complexes holds on $X$.
Proof.
Let $T \subset |X|$ be a closed subset with $X \setminus T \to X$ quasi-compact. Let $r_ U$ be the integer of Definition 75.14.2 adapted to the pair $(U, T \cap |U|)$. Set $T' = T \setminus |U|$. Endow $T'$ with the induced reduced subspace structure. Since $|T'|$ is contained in $|X| \setminus |U|$ we see that $j^{-1}(T') \to T'$ is an isomorphism. Moreover, $V \setminus j^{-1}(T')$ is quasi-compact as it is the fibre product of $U \times _ X V$ with $X \setminus T$ over $X$ and we've assumed $U \times _ X V$ quasi-compact and $X \setminus T \to X$ quasi-compact. Let $r'$ be the number of affines needed to cover $V \setminus j^{-1}(T')$. We claim that $r = \max (r_ U, r')$ works for the pair $(X, T)$.
To see this choose a triple $(T, E, m)$ such that $E$ is $(m - r)$-pseudo-coherent and $H^ i(E)$ is supported on $T$ for $i \geq m - r$. Let $t$ be the largest integer such that $H^ t(E)|_ U$ is nonzero. (Such an integer exists as $U$ is quasi-compact and $E|_ U$ is $(m - r)$-pseudo-coherent.) We will prove that $E$ can be approximated by induction on $t$.
Base case: $t \leq m - r'$. This means that $H^ i(E)$ is supported on $T'$ for $i \geq m - r'$. Hence Lemma 75.14.5 guarantees the existence of an approximation $P \to E|_ V$ of $(T', E|_ V, m)$ on $V$. Applying Lemma 75.14.4 we see that $(T', E, m)$ can be approximated. Such an approximation is also an approximation of $(T, E, m)$.
Induction step. Choose an approximation $P \to E|_ U$ of $(T \cap |U|, E|_ U, m)$. This in particular gives a surjection $H^ t(P) \to H^ t(E|_ U)$. In the rest of the proof we will use the equivalence of Lemma 75.4.2 (and the compatibilities of Remark 75.6.3) for the representable algebraic spaces $V$ and $U \times _ X V$. We will also use the fact that $(m - r)$-pseudo-coherence, resp. perfectness on the Zariski site and Ă©tale site agree, see Lemmas 75.13.2 and 75.13.5. Thus we can use the results of Derived Categories of Schemes, Section 36.13 for the open immersion $U \times _ X V \subset V$. In this way Derived Categories of Schemes, Lemma 36.13.10 implies there exists a perfect object $Q$ in $D(\mathcal{O}_ V)$ supported on $j^{-1}(T)$ and an isomorphism $Q|_{U \times _ X V} \to (P \oplus P[1])|_{U \times _ X V}$. By Derived Categories of Schemes, Lemma 36.13.7 we can replace $Q$ by $Q \otimes ^\mathbf {L} I$ and assume that the map
\[ Q|_{U \times _ X V} \longrightarrow (P \oplus P[1])|_{U \times _ X V} \longrightarrow P|_{U \times _ X V} \longrightarrow E|_{U \times _ X V} \]
lifts to $Q \to E|_ V$. By Lemma 75.10.8 we find an morphism $a : R \to E$ of $D(\mathcal{O}_ X)$ such that $a|_ U$ is isomorphic to $P \oplus P[1] \to E|_ U$ and $a|_ V$ isomorphic to $Q \to E|_ V$. Thus $R$ is perfect and supported on $T$ and the map $H^ t(R) \to H^ t(E)$ is surjective on restriction to $U$. Choose a distinguished triangle
\[ R \to E \to E' \to R[1] \]
Then $E'$ is $(m - r)$-pseudo-coherent (Cohomology on Sites, Lemma 21.45.4), $H^ i(E')|_ U = 0$ for $i \geq t$, and $H^ i(E')$ is supported on $T$ for $i \geq m - r$. By induction we find an approximation $R' \to E'$ of $(T, E', m)$. Fit the composition $R' \to E' \to R[1]$ into a distinguished triangle $R \to R'' \to R' \to R[1]$ and extend the morphisms $R' \to E'$ and $R[1] \to R[1]$ into a morphism of distinguished triangles
\[ \xymatrix{ R \ar[r] \ar[d] & R'' \ar[d] \ar[r] & R' \ar[d] \ar[r] & R[1] \ar[d] \\ R \ar[r] & E \ar[r] & E' \ar[r] & R[1] } \]
using TR3. Then $R''$ is a perfect complex (Cohomology on Sites, Lemma 21.47.6) supported on $T$. An easy diagram chase shows that $R'' \to E$ is the desired approximation.
$\square$
Theorem 75.14.7. Let $S$ be a scheme. Let $X$ be a quasi-compact and quasi-separated algebraic space over $S$. Then approximation by perfect complexes holds on $X$.
Proof.
This follows from the induction principle of Lemma 75.9.3 and Lemmas 75.14.6 and 75.14.5.
$\square$
Comments (0)