The Stacks project

Proof. Let $\epsilon : X_1 \to X$ be a surjective étale morphism. Denote $i_1 : Z_1 \to X_1$, $b_1 : X'_1 \to X_1$, $E_1 \subset X'_1$, and $p_1 : E_1 \to Z_1$ the base changes of the objects considered in More on Morphisms, Lemma 37.17.3. Observe that $i_1$ is a closed immersion of schemes smooth over $S$ and that $b_1$ is the blowing up with center $Z_1$ by Divisors, Lemma 31.32.3. Suppose that we can prove (1), (2), and (3) for the morphisms $b_1$, $p_1$, and $i_1$. Then by Lemma 50.2.2 we obtain that the pullback by $\epsilon $ of the maps in (1), (2), and (3) are isomorphisms. As $\epsilon $ is a surjective flat morphism we conclude. Thus working étale locally, by More on Morphisms, Lemma 37.17.1, we may assume we are in the situation discussed in Section 50.16. In this case the lemma is the same as Lemma 50.16.1. $\square$

Proof. Choose a distinguished triangle

in $D(X, f^{-1}\mathcal{O}_ S)$. It suffices to show that $\Omega ^\bullet _{X/S}$ is isomorphic to $C$ in a manner compatible with the canonical maps. By the axioms of triangulated categories there exists a map of distinguished triangles

By Lemma 50.17.1 part (3) and Derived Categories, Proposition 13.4.23 we conclude that $C' \to C$ is an isomorphism. By Lemma 50.17.1 part (2) the map $i_*\Omega ^\bullet _{Z/S} \to i_*p_*\Omega ^\bullet _{E/S}$ is an isomorphism. Thus $C' = b_*\Omega ^\bullet _{X'/S}$ in the derived category. Finally we use Lemma 50.17.1 part (1) tells us this is equal to $\Omega ^\bullet _{X/S}$. We omit the verification this is compatible with the canonical maps. $\square$

Proof. Consider the triangle constructed in Lemma 50.17.2. We claim that the map

has a splitting whose image contains the summand $i_*\Omega ^\bullet _{Z/S}$. By Derived Categories, Lemma 13.4.11 this will show that the first arrow of the triangle has a splitting which vanishes on the summand $i_*\Omega ^\bullet _{Z/S}$ which proves the lemma. We will prove the claim by decomposing $Rp_*\Omega ^\bullet _{E/S}$ into a direct sum where the first piece corresponds to $\Omega ^\bullet _{Z/S}$ and the second piece can be lifted through $Rb_*\Omega ^\bullet _{X'/S}$.

Proof of the claim. We may decompose $X$ into open and closed subschemes having fixed relative dimension to $S$, see Morphisms, Lemma 29.34.12. Since the derived category $D(X, f^{-1}\mathcal{O})_ S)$ correspondingly decomposes as a product of categories, we may assume $X$ has fixed relative dimension $N$ over $S$. We may decompose $Z = \coprod Z_ m$ into open and closed subschemes of relative dimension $m \geq 0$ over $S$. The restriction $i_ m : Z_ m \to X$ of $i$ to $Z_ m$ is a regular immersion of codimension $N - m$, see Divisors, Lemma 31.22.11. Let $E = \coprod E_ m$ be the corresponding decomposition, i.e., we set $E_ m = p^{-1}(Z_ m)$. If $p_ m : E_ m \to Z_ m$ denotes the restriction of $p$ to $E_ m$, then we have a canonical isomorphism

in $D(Z_ m, (Z_ m \to S)^{-1}\mathcal{O}_ S)$ where in degree $0$ we have the canonical map $\Omega ^\bullet _{Z_ m/S} \to Rp_{m, *}\Omega ^\bullet _{E_ m/S}$. See Remark 50.14.2. Thus we have an isomorphism

in $D(Z, (Z \to S)^{-1}\mathcal{O}_ S)$ whose restriction to the summand $\Omega ^\bullet _{Z/S} = \bigoplus \Omega ^\bullet _{Z_ m/S}$ of the source is the canonical map $\Omega ^\bullet _{Z/S} \to Rp_*(\Omega ^\bullet _{E/S})$. Consider the subcomplexes $M_ m$ and $K_ m$ of the complex $\bigoplus \nolimits _{t = 0, \ldots , N - m - 1} \Omega ^\bullet _{Z_ m/S}[-2t]$ introduced in Remark 50.14.2. We set

We have $M = K[-2]$ and by construction the map

is an isomorphism (see remark referenced above).

Consider the map

in $D(X', (X' \to S)^{-1}\mathcal{O}_ S)$ of Lemma 50.15.5 with the property that the composition

is the map $\theta '$ of Remark 50.4.3 for $c_1^{dR}(\mathcal{O}_{X'}(-E))|_ E) = c_1^{dR}(\mathcal{O}_ E(1))$. The final assertion of Remark 50.14.2 tells us that the diagram

commutes. Thus we see that we can obtain the desired splitting of the claim as the map

The relationship between $\theta '$ and $\delta $ stated above together with the commutative diagram involving $\theta '$, $\tilde\xi |_ K$, and $\tilde\xi |_ M$ above are exactly what's needed to show that this is a section to the canonical map $\Omega ^\bullet _{Z/S} \oplus Rb_*(\Omega ^\bullet _{X'/S}) \to Rp_*(\Omega ^\bullet _{E/S})$ and the proof of the claim is complete. $\square$

Proof. By the local to global spectral sequence of $\mathop{\mathrm{Ext}}\nolimits $ it suffices to prove this affine locally on $X$. See Cohomology, Section 20.43. Thus we may assume $X = \mathop{\mathrm{Spec}}(A)$ and there exists a regular sequence $f_1, \ldots , f_ c$ in $A$ such that $Z = \mathop{\mathrm{Spec}}(A/(f_1, \ldots , f_ c))$. We may assume $c \geq 1$. Then we see that $f_1 : \mathcal{E} \to \mathcal{E}$ is injective. Since $i_*\mathcal{F}$ is annihilated by $f_1$ this shows that the lemma holds for $i = 0$ and that we have a surjection

Thus it suffices to show that the source of this arrow is zero. Next we repeat this argument: if $c \geq 2$ the map $f_2 : \mathcal{E}/f_1\mathcal{E} \to \mathcal{E}/f_1\mathcal{E}$ is injective. Since $i_*\mathcal{F}$ is annihilated by $f_2$ this shows that the lemma holds for $q = 1$ and that we have a surjection

Continuing in this fashion the lemma is proved. $\square$

Proof. We may decompose $X$ into open and closed subschemes having fixed relative dimension to $S$, see Morphisms, Lemma 29.34.12. Since the derived category $D(X, f^{-1}\mathcal{O})_ S)$ correspondingly decomposes as a product of categories, we may assume $X$ has fixed relative dimension $N$ over $S$. We may decompose $Z = \coprod Z_ m$ into open and closed subschemes of relative dimension $m \geq 0$ over $S$. The restriction $i_ m : Z_ m \to X$ of $i$ to $Z_ m$ is a regular immersion of codimension $N - m$, see Divisors, Lemma 31.22.11. Let $E = \coprod E_ m$ be the corresponding decomposition, i.e., we set $E_ m = p^{-1}(Z_ m)$. We claim that there are natural maps

whose composition is induced by the inclusion $\mathcal{O}_{X'} \to \mathcal{O}_{X'}(\sum (N - m - 1)E_ m)$. Namely, in order to prove this, it suffices to show that the cokernel of the first arrow is locally on $X'$ annihilated by a local equation of the effective Cartier divisor $\sum (N - m - 1)E_ m$. To see this in turn we can work étale locally on $X$ as in the proof of Lemma 50.17.1 and apply Lemma 50.16.2. Computing étale locally using Lemma 50.16.3 we see that the induced composition

is an isomorphism in $D(\mathcal{O}_ X)$ which is how we obtain the existence of the map in the lemma.

For uniqueness, it suffices to show that there are no nonzero maps from $\tau _{\geq 1}Rb_*\Omega _{X'/S}$ to $\Omega ^ a_{X/S}$ in $D(\mathcal{O}_ X)$. For this it suffices in turn to show that there are no nonzero maps from $R^ qb_*\Omega _{X'/s}[-q]$ to $\Omega ^ a_{X/S}$ in $D(\mathcal{O}_ X)$ for $q \geq 1$ (details omitted). By Lemma 50.17.1 we see that $R^ qb_*\Omega _{X'/s} \cong i_*R^ qp_*\Omega ^ a_{E/S}$ is the pushforward of a module on $Z = \coprod Z_ m$. Moreover, observe that the restriction of $R^ qp_*\Omega ^ a_{E/S}$ to $Z_ m$ is nonzero only for $q < N - m$. Namely, the fibres of $E_ m \to Z_ m$ have dimension $N - m - 1$ and we can apply Limits, Lemma 32.19.2. Thus the desired vanishing follows from Lemma 50.17.4. $\square$