The Stacks project

62.3 Sections with compact support

A reference for this section is [Exposee XVII, Section 6, SGA4]. Let $f : X \to Y$ be a morphism of schemes which is separated and locally of finite type. In this section we define a functor $f_! : \textit{Ab}(X_{\acute{e}tale}) \to \textit{Ab}(Y_{\acute{e}tale})$ by taking $f_!\mathcal{F} \subset f_*\mathcal{F}$ to be the subsheaf of sections which have proper support relative to $Y$ (suitably defined).

Warning: The functor $f_!$ is the zeroth cohomology sheaf of a functor $Rf_!$ on the derived category (insert future reference), but $Rf_!$ is not the derived functor of $f_!$.

Lemma 62.3.1. Let $f : X \to Y$ be a morphism of schemes which is locally of finite type. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. The rule

\[ Y_{\acute{e}tale}\longrightarrow \textit{Ab},\quad V \longmapsto \{ s \in f_*\mathcal{F}(V) = \mathcal{F}(X_ V) \mid \text{Supp}(s) \subset X_ V \text{ is proper over }V\} \]

is an abelian subsheaf of $f_*\mathcal{F}$.

Warning: This sheaf isn't the “correct one” if $f$ is not separated.

Proof. Recall that the support of a section is closed (Étale Cohomology, Lemma 59.31.4) hence the material in Cohomology of Schemes, Section 30.26 applies. By the lemma above and Cohomology of Schemes, Lemma 30.26.6 we find that our subset of $f_*\mathcal{F}(V)$ is a subgroup. By Cohomology of Schemes, Lemma 30.26.4 we see that our rule defines a sub presheaf. Finally, suppose that we have $s \in f_*\mathcal{F}(V)$ and an étale covering $\{ V_ i \to V\} $ such that $s|_{V_ i}$ has support proper over $V_ i$. Observe that the support of $s|_{V_ i}$ is the inverse image of the support of $s|_ V$ (use the characterization of the support in terms of stalks and Étale Cohomology, Lemma 59.36.2). Whence the support of $s$ is proper over $V$ by Descent, Lemma 35.24.5. This proves that our rule satisfies the sheaf condition. $\square$

Lemma 62.3.2. Let $j : U \to X$ be a separated étale morphism. Let $\mathcal{F}$ be an abelian sheaf on $U_{\acute{e}tale}$. The image of the injective map $j_!\mathcal{F} \to j_*\mathcal{F}$ of Étale Cohomology, Lemma 59.70.6 is the subsheaf of Lemma 62.3.1.

An alternative would be to move this lemma later and prove this using the descrition of the stalks of both sheaves.

Proof. The construction of $j_!\mathcal{F} \to j_*\mathcal{F}$ in the proof of Étale Cohomology, Lemma 59.70.6 is via the construction of a map $j_{p!}\mathcal{F} \to j_*\mathcal{F}$ of presheaves whose image is clearly contained in the subsheaf of Lemma 62.3.1. Hence since $j_!\mathcal{F}$ is the sheafification of $j_{p!}\mathcal{F}$ we conclude the image of $j_!\mathcal{F} \to j_*\mathcal{F}$ is contained in this subsheaf. Conversely, let $s \in j_*\mathcal{F}(V)$ have support $Z$ proper over $V$. Then $Z \to V$ is finite with closed image $Z' \subset V$, see More on Morphisms, Lemma 37.43.1. The restriction of $s$ to $V \setminus Z'$ is zero and the zero section is contained in the image of $j_!\mathcal{F} \to j_*\mathcal{F}$. On the other hand, if $v \in Z'$, then we can find an étale neighbourhood $(V', v') \to (V, v)$ such that we have a decomposition $U_{V'} = W \amalg U'_1 \amalg \ldots \amalg U'_ n$ into open and closed subschemes with $U'_ i \to V'$ an isomorphism and with $T_{V'} \subset U'_1 \amalg \ldots \amalg U'_ n$, see Étale Morphisms, Lemma 41.18.2. Inverting the isomorphisms $U'_ i \to V'$ we obtain $n$ morphisms $\varphi '_ i : V' \to U$ and sections $s'_ i$ over $V'$ by pulling back $s$. Then the section $\sum (\varphi '_ i, s'_ i)$ of $j_{p!}\mathcal{F}$ over $V'$, see formula for $j_{p!}\mathcal{F}(V')$ in proof of Étale Cohomology, Lemma 59.70.6, maps to the restriction of $s$ to $V'$ by construction. We conclude that $s$ is étale locally in the image of $j_!\mathcal{F} \to j_*\mathcal{F}$ and the proof is complete. $\square$

Definition 62.3.3. Let $f : X \to Y$ be a morphism of schemes which is separated (!) and locally of finite type. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. The subsheaf $f_!\mathcal{F} \subset f_*\mathcal{F}$ constructed in Lemma 62.3.1 is called the direct image with compact support.

By Lemma 62.3.2 this does not conflict with Étale Cohomology, Definition 59.70.1 as we have agreement when both definitions apply. Here is a sanity check.

Lemma 62.3.4. Let $f : X \to Y$ be a proper morphism of schemes. Then $f_! = f_*$.

Proof. Immediate from the construction of $f_!$. $\square$

A very useful observation is the following.

Remark 62.3.5 (Covariance with respect to open embeddings). Let $f : X \to Y$ be morphism of schemes which is separated and locally of finite type. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. Let $X' \subset X$ be an open subscheme. Denote $f' : X' \to Y$ the restriction of $f$. There is a canonical injective map

\[ f'_!(\mathcal{F}|_{X'}) \longrightarrow f_!\mathcal{F} \]

Namely, let $V \in Y_{\acute{e}tale}$ and consider a section $s' \in f'_*(\mathcal{F}|_{X'})(V) = \mathcal{F}(X' \times _ Y V)$ with support $Z'$ proper over $V$. Then $Z'$ is closed in $X \times _ Y V$ as well, see Cohomology of Schemes, Lemma 30.26.5. Thus there is a unique section $s \in \mathcal{F}(X \times _ Y V) = f_*\mathcal{F}(V)$ whose restriction to $X' \times _ Y V$ is $s'$ and whose restriction to $X \times _ Y V \setminus Z'$ is zero, see Lemma 62.2.2. This construction is compatible with restriction maps and hence induces the desired map of sheaves $f'_!(\mathcal{F}|_{X'}) \to f_!\mathcal{F}$ which is clearly injective. By construction we obtain a commutative diagram

\[ \xymatrix{ f'_!(\mathcal{F}|_{X'}) \ar[r] \ar[d] & f_!\mathcal{F} \ar[d] \\ f'_*(\mathcal{F}|_{X'}) & f_*\mathcal{F} \ar[l] } \]

functorial in $\mathcal{F}$. It is clear that for $X'' \subset X'$ open with $f'' = f|_{X''} : X'' \to Y$ the composition of the canonical maps $f''_!\mathcal{F}|_{X''} \to f'_!\mathcal{F}|_{X'} \to f_!\mathcal{F}$ just constructed is the canonical map $f''_!\mathcal{F}|_{X''} \to f_!\mathcal{F}$.

Lemma 62.3.6. Let $Y$ be a scheme. Let $j : X \to \overline{X}$ be an open immersion of schemes over $Y$ with $\overline{X}$ proper over $Y$. Denote $f : X \to Y$ and $\overline{f} : \overline{X} \to Y$ the structure morphisms. For $\mathcal{F} \in \textit{Ab}(X_{\acute{e}tale})$ there is a canonical isomorphism (see proof)

\[ f_!\mathcal{F} \longrightarrow \overline{f}_!j_!\mathcal{F} \]

As we have $\overline{f}_! = \overline{f}_*$ by Lemma 62.3.4 we obtain $\overline{f}_* \circ j_! = f_!$ as functors $\textit{Ab}(X_{\acute{e}tale}) \to \textit{Ab}(Y_{\acute{e}tale})$.

Proof. We have $(j_!\mathcal{F})|_ X = \mathcal{F}$, see Étale Cohomology, Lemma 59.70.4. Thus the displayed arrow is the injective map $f_!(\mathcal{G}|_ X) \to \overline{f}_!\mathcal{G}$ of Remark 62.3.5 for $\mathcal{G} = j_!\mathcal{F}$. The explicit nature of this map implies that it now suffices to show: if $V \in Y_{\acute{e}tale}$ and $s \in \overline{f}_!\mathcal{G}(V) = \overline{f}_*\mathcal{G}(V) = \mathcal{G}(\overline{X}_ V)$ is a section, then the support of $s$ is contained in the open $X_ V \subset \overline{X}_ V$. This is immediate from the fact that the stalks of $\mathcal{G}$ are zero at geometric points of $\overline{X} \setminus X$. $\square$

We want to relate the stalks of $f_!\mathcal{F}$ to sections with compact support on fibres. In order to state this, we need a definition.

Definition 62.3.7. Let $X$ be a separated scheme locally of finite type over a field $k$. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. We let $H^0_ c(X, \mathcal{F}) \subset H^0(X, \mathcal{F})$ be the set of sections whose support is proper over $k$. Elements of $H^0_ c(X, \mathcal{F})$ are called sections with compact support.

Warning: This definition isn't the “correct one” if $X$ isn't separated over $k$.

Lemma 62.3.8. Let $X$ be a proper scheme over a field $k$. Then $H^0_ c(X, \mathcal{F}) = H^0(X, \mathcal{F})$.

Proof. Immediate from the construction of $H^0_ c$. $\square$

Remark 62.3.9 (Open embeddings and compactly supported sections). Let $X$ be a separated scheme locally of finite type over a field $k$. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. Exactly as in Remark 62.3.5 for $X' \subset X$ open there is an injective map

\[ H^0_ c(X', \mathcal{F}|_{X'}) \longrightarrow H^0_ c(X, \mathcal{F}) \]

and these maps turn $H^0_ c$ into a “cosheaf” on the Zariski site of $X$.

Lemma 62.3.10. Let $k$ be a field. Let $j : X \to \overline{X}$ be an open immersion of schemes over $k$ with $\overline{X}$ proper over $k$. For $\mathcal{F} \in \textit{Ab}(X_{\acute{e}tale})$ there is a canonical isomorphism (see proof)

\[ H^0_ c(X, \mathcal{F}) \longrightarrow H^0_ c(\overline{X}, j_!\mathcal{F}) = H^0(\overline{X}, j_!\mathcal{F}) \]

where we have the equality on the right by Lemma 62.3.8.

Proof. We have $(j_!\mathcal{F})|_ X = \mathcal{F}$, see Étale Cohomology, Lemma 59.70.4. Thus the displayed arrow is the injective map $H^0_ c(X, \mathcal{G}|_ X) \to H^0_ c(\overline{X}, \mathcal{G})$ of Remark 62.3.9 for $\mathcal{G} = j_!\mathcal{F}$. The explicit nature of this map implies that it now suffices to show: if $s \in H^0(\overline{X}, \mathcal{G})$ is a section, then the support of $s$ is contained in the open $X$. This is immediate from the fact that the stalks of $\mathcal{G}$ are zero at geometric points of $\overline{X} \setminus X$. $\square$

Lemma 62.3.11. Let $f : X \to Y$ be a morphism of schemes which is separated and locally of finite type. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. Then there is a canonical isomorphism

\[ (f_!\mathcal{F})_{\overline{y}} \longrightarrow H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) \]

for any geometric point $\overline{y} : \mathop{\mathrm{Spec}}(k) \to Y$.

Proof. Recall that $(f_*\mathcal{F})_{\overline{y}} = \mathop{\mathrm{colim}}\nolimits f_*\mathcal{F}(V)$ where the colimit is over the étale neighbourhoods $(V, \overline{v})$ of $\overline{y}$. If $s \in f_*\mathcal{F}(V) = \mathcal{F}(X_ V)$, then we can pullback $s$ to a section of $\mathcal{F}$ over $(X_ V)_{\overline{v}} = X_{\overline{y}}$. Thus we obtain a canonical map

\[ c_{\overline{y}} : (f_*\mathcal{F})_{\overline{y}} \longrightarrow H^0(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) \]

We claim that this map induces a bijection between the subgroups $(f_!\mathcal{F})_{\overline{y}}$ and $H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}})$. The claim implies the lemma, but is a little bit more precise in that it describes the identification of the lemma as given by pullbacks of sections of $\mathcal{F}$ to the geometric fibre of $f$.

Observe that any element $s \in (f_!\mathcal{F})_{\overline{y}} \subset (f_*\mathcal{F})_{\overline{y}}$ is mapped by $c_{\overline{y}}$ to an element of $H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) \subset H^0(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}})$. This is true because taking the support of a section commutes with pullback and because properness is preserved by base change. This at least produces the map in the statement of the lemma. To prove that it is an isomorphism we may work Zariski locally on $Y$ and hence we may and do assume $Y$ is affine.

An observation that we will use below is that given an open subscheme $X' \subset X$ and if $f' = f|_{X'}$, then we obtain a commutative diagram

\[ \xymatrix{ (f'_!(\mathcal{F}|_{X'}))_{\overline{y}} \ar[r] \ar[d] & H^0_ c(X'_{\overline{y}}, \mathcal{F}|_{X'_{\overline{y}}}) \ar[d] \\ (f_!\mathcal{F})_{\overline{y}} \ar[r] & H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) } \]

where the horizontal arrows are the maps constructed above and the vertical arrows are given in Remarks 62.3.5 and 62.3.9. The reason is that given an étale neighbourhood $(V, \overline{v})$ of $\overline{y}$ and a section $s \in f_*\mathcal{F}(V) = \mathcal{F}(X_ V)$ whose support $Z$ happens to be contained in $X'_ V$ and is proper over $V$, so that $s$ gives rise to an element of both $(f'_!(\mathcal{F}|_{X'}))_{\overline{y}}$ and $(f_!\mathcal{F})_{\overline{y}}$ which correspond via the vertical arrow of the diagram, then these elements are mapped via the horizontal arrows to the pullback $s|_{X_{\overline{y}}}$ of $s$ to $X_{\overline{y}}$ whose support $Z_{\overline{y}}$ is contained in $X'_{\overline{y}}$ and hence this restriction gives rise to a compatible pair of elements of $H^0_ c(X'_{\overline{y}}, \mathcal{F}|_{X'_{\overline{y}}})$ and $H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}})$.

Suppose $s \in (f_!\mathcal{F})_{\overline{y}}$ maps to zero in $H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}})$. Say $s$ corresponds to $s \in f_*\mathcal{F}(V) = \mathcal{F}(X_ V)$ with support $Z$ proper over $V$. We may assume that $V$ is affine and hence $Z$ is quasi-compact. Then we may choose a quasi-compact open $X' \subset X$ containing the image of $Z$. Then $Z$ is contained in $X'_ V$ and hence $s$ is the image of an element $s' \in f'_!(\mathcal{F}|_{X'})(V)$ where $f' = f|_{X'}$ as in the previous paragraph. Then $s'$ maps to zero in $H^0_ c(X'_{\overline{y}}, \mathcal{F}|_{X'_{\overline{y}}})$. Hence in order to prove injectivity, we may replace $X$ by $X'$, i.e., we may assume $X$ is quasi-compact. We will prove this case below.

Suppose that $t \in H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}})$. Then the support of $t$ is contained in a quasi-compact open subscheme $W \subset X_{\overline{y}}$. Hence we can find a quasi-compact open subscheme $X' \subset X$ such that $X'_{\overline{y}}$ contains $W$. Then it is clear that $t$ is contained in the image of the injective map $H^0_ c(X'_{\overline{y}}, \mathcal{F}|_{X'_{\overline{y}}}) \to H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}})$. Hence in order to show surjectivity, we may replace $X$ by $X'$, i.e., we may assume $X$ is quasi-compact. We will prove this case below.

In this last paragraph of the proof we prove the lemma in case $X$ is quasi-compact and $Y$ is affine. By More on Flatness, Theorem 38.33.8 there exists a compactification $j : X \to \overline{X}$ over $Y$. Set $\mathcal{G} = j_!\mathcal{F}$ so that $\mathcal{F} = \mathcal{G}|_ X$ by Étale Cohomology, Lemma 59.70.4. By the disussion above we get a commutative diagram

\[ \xymatrix{ (f_!\mathcal{F})_{\overline{y}} \ar[r] \ar[d] & H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) \ar[d] \\ (\overline{f}_!\mathcal{G})_{\overline{y}} \ar[r] & H^0_ c(\overline{X}_{\overline{y}}, \mathcal{G}|_{\overline{X}_{\overline{y}}}) } \]

By Lemmas 62.3.6 and 62.3.10 the vertical maps are isomorphisms. This reduces us to the case of the proper morphism $\overline{X} \to Y$. For a proper morphism our map is an isomorphism by Lemmas 62.3.4 and 62.3.8 and proper base change for pushforwards, see Étale Cohomology, Lemma 59.91.4. $\square$

Lemma 62.3.12. Consider a cartesian square

\[ \xymatrix{ X' \ar[r]_{g'} \ar[d]_{f'} & X \ar[d]^ f \\ Y' \ar[r]^ g & Y } \]

of schemes with $f$ separated and locally of finite type. For any abelian sheaf $\mathcal{F}$ on $X_{\acute{e}tale}$ we have $f'_!(g')^{-1}\mathcal{F} = g^{-1}f_!\mathcal{F}$.

Proof. In great generality there is a pullback map $g^{-1}f_*\mathcal{F} \to f'_*(g')^{-1}\mathcal{F}$, see Sites, Section 7.45. We claim that this map sends $g^{-1}f_!\mathcal{F}$ into the subsheaf $f'_!(g')^{-1}\mathcal{F}$ and induces the isomorphism in the lemma.

Choose a geometric point $\overline{y}': \mathop{\mathrm{Spec}}(k) \to Y'$ and denote $\overline{y} = g \circ \overline{y}'$ the image in $Y$. There is a commutative diagram

\[ \xymatrix{ (f_*\mathcal{F})_{\overline{y}} \ar[r] \ar[d] & H^0(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) \ar[d] \\ (f'_*(g')^{-1}\mathcal{F})_{\overline{y}'} \ar[r] & H^0(X'_{\overline{y}'}, (g')^{-1}\mathcal{F}|_{X'_{\overline{y}'}}) } \]

where the horizontal maps were used in the proof of Lemma 62.3.11 and the vertical maps are the pullback maps above. The diagram commutes because each of the four maps in question is given by pulling back local sections along a morphism of schemes and the underlying diagram of morphisms of schemes commutes. Since the diagram in the statement of the lemma is cartesian we have $X'_{\overline{y}'} = X_{\overline{y}}$. Hence by Lemma 62.3.11 and its proof we obtain a commutative diagram

\[ \xymatrix{ (f_*\mathcal{F})_{\overline{y}} \ar[rrr] \ar[ddd] & & & H^0(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) \ar[ddd] \\ & (f_!\mathcal{F})_{\overline{y}} \ar[r] \ar@{..>}[d] \ar[lu] & H^0_ c(X_{\overline{y}}, \mathcal{F}|_{X_{\overline{y}}}) \ar[d] \ar[ru] \\ & (f'_!(g')^{-1}\mathcal{F})_{\overline{y}'} \ar[r] \ar[ld] & H^0_ c(X'_{\overline{y}'}, (g')^{-1}\mathcal{F}|_{X'_{\overline{y}'}}) \ar[rd]\\ (f'_*(g')^{-1}\mathcal{F})_{\overline{y}'} \ar[rrr] & & & H^0(X'_{\overline{y}'}, (g')^{-1}\mathcal{F}|_{X'_{\overline{y}'}}) } \]

where the horizontal arrows of the inner square are isomorphisms and the two right vertical arrows are equalities. Also, the se, sw, ne, nw arrows are injective. It follows that there is a unique bijective dotted arrow fitting into the diagram. We conclude that $g^{-1}f_!\mathcal{F} \subset g^{-1}f_*\mathcal{F} \to f'_*(g')^{-1}\mathcal{F}$ is mapped into the subsheaf $f'_!(g')^{-1}\mathcal{F} \subset f'_*(g')^{-1}\mathcal{F}$ because this is true on stalks, see Étale Cohomology, Theorem 59.29.10. The same theorem then implies that the induced map is an isomorphism and the proof is complete. $\square$

Lemma 62.3.13. Let $f : X \to Y$ and $g : Y \to Z$ be composable morphisms of schemes which are separated and locally of finite type. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. Then $g_!f_!\mathcal{F} = (g \circ f)_!\mathcal{F}$ as subsheaves of $(g \circ f)_*\mathcal{F}$.

Proof. We strongly urge the reader to prove this for themselves. Let $W \in Z_{\acute{e}tale}$ and $s \in (g \circ f)_*\mathcal{F}(W) = \mathcal{F}(X_ W)$. Denote $T \subset X_ W$ the support of $s$; this is a closed subset. Observe that $s$ is a section of $(g \circ f)_!\mathcal{F}$ if and only if $T$ is proper over $W$. We have $f_!\mathcal{F} \subset f_*\mathcal{F}$ and hence $g_!f_!\mathcal{F} \subset g_!f_*\mathcal{F} \subset g_*f_*\mathcal{F}$. On the other hand, $s$ is a section of $g_!f_!\mathcal{F}$ if and only if (a) $T$ is proper over $Y_ W$ and (b) the support $T'$ of $s$ viewed as section of $f_!\mathcal{F}$ is proper over $W$. If (a) holds, then the image of $T$ in $Y_ W$ is closed and since $f_!\mathcal{F} \subset f_*\mathcal{F}$ we see that $T' \subset Y_ W$ is the image of $T$ (details omitted; look at stalks).

The conclusion is that we have to show a closed subset $T \subset X_ W$ is proper over $W$ if and only if $T$ is proper over $Y_ W$ and the image of $T$ in $Y_ W$ is proper over $W$. Let us endow $T$ with the reduced induced closed subscheme structure. If $T$ is proper over $W$, then $T \to Y_ W$ is proper by Morphisms, Lemma 29.41.7 and the image of $T$ in $Y_ W$ is proper over $W$ by Cohomology of Schemes, Lemma 30.26.5. Conversely, if $T$ is proper over $Y_ W$ and the image of $T$ in $Y_ W$ is proper over $W$, then the morphism $T \to W$ is proper as a composition of proper morphisms (here we endow the closed image of $T$ in $Y_ W$ with its reduced induced scheme structure to turn the question into one about morphisms of schemes), see Morphisms, Lemma 29.41.4. $\square$

Remark 62.3.14. The isomorphisms between functors constructed above satisfy the following two properties:

  1. Let $f : X \to Y$, $g : Y \to Z$, and $h : Z \to T$ be composable morphisms of schemes which are separated and locally of finite type. Then the diagram

    \[ \xymatrix{ (h \circ g \circ f)_! \ar[r] \ar[d] & (h \circ g)_! \circ f_! \ar[d] \\ h_! \circ (g \circ f)_! \ar[r] & h_! \circ g_! \circ f_! } \]

    commutes where the arrows are those of Lemma 62.3.13.

  2. Suppose that we have a diagram of schemes

    \[ \xymatrix{ X' \ar[d]_{f'} \ar[r]_ c & X \ar[d]^ f \\ Y' \ar[d]_{g'} \ar[r]_ b & Y \ar[d]^ g \\ Z' \ar[r]^ a & Z } \]

    with both squares cartesian and $f$ and $g$ separated and locally of finite type. Then the diagram

    \[ \xymatrix{ a^{-1} \circ (g \circ f)_! \ar[d] \ar[rr] & & (g' \circ f')_! \circ c^{-1} \ar[d] \\ a^{-1} \circ g_! \circ f_! \ar[r] & g'_! \circ b^{-1} \circ f_! \ar[r] & g'_! \circ f'_! \circ c^{-1} } \]

    commutes where the horizontal arrows are those of Lemma 62.3.12 the arrows are those of Lemma 62.3.13.

Part (1) holds true because we have a similar commutative diagram for pushforwards. Part (2) holds by the very general compatibility of base change maps for pushforwards (Sites, Remark 7.45.3) and the fact that the isomorphisms in Lemmas 62.3.12 and 62.3.13 are constructed using the corresponding maps fo pushforwards.

Lemma 62.3.15. Let $f : X \to Y$ be morphism of schemes which is separated and locally of finite type. Let $X = \bigcup _{i \in I} X_ i$ be an open covering such that for all $i, j \in I$ there exists a $k$ with $X_ i \cup X_ j \subset X_ k$. Denote $f_ i : X_ i \to Y$ the restriction of $f$. Then

\[ f_!\mathcal{F} = \mathop{\mathrm{colim}}\nolimits _{i \in I} f_{i, !}(\mathcal{F}|_{X_ i}) \]

functorially in $\mathcal{F} \in \textit{Ab}(X_{\acute{e}tale})$ where the transition maps are the ones constructed in Remark 62.3.5.

Proof. It suffices to show that the canonical map from right to left is a bijection when evaluated on a quasi-compact object $V$ of $Y_{\acute{e}tale}$. Observe that the colimit on the right hand side is directed and has injective transition maps. Thus we can use Sites, Lemma 7.17.7 to evaluate the colimit. Hence, the statement comes down to the observation that a closed subset $Z \subset X_ V$ proper over $V$ is quasi-compact and hence is contained in $X_{i, V}$ for some $i$. $\square$

Lemma 62.3.16. Let $f : X \to Y$ be a morphism of schemes which is separated and locally of finite type. Then functor $f_!$ commutes with direct sums.

Proof. Let $\mathcal{F} = \bigoplus \mathcal{F}_ i$. To show that the map $\bigoplus f_!\mathcal{F}_ i \to f_!\mathcal{F}$ is an isomorphism, it suffices to show that these sheaves have the same sections over a quasi-compact object $V$ of $Y_{\acute{e}tale}$. Replacing $Y$ by $V$ it suffices to show $H^0(Y, f_!\mathcal{F}) \subset H^0(X, \mathcal{F})$ is equal to $\bigoplus H^0(Y, f_!\mathcal{F}_ i) \subset \bigoplus H^0(X, \mathcal{F}_ i) \subset H^0(X, \bigoplus \mathcal{F}_ i)$. In this case, by writing $X$ as the union of its quasi-compact opens and using Lemma 62.3.15 we reduce to the case where $X$ is quasi-compact as well. Then $H^0(X, \mathcal{F}) = \bigoplus H^0(X, \mathcal{F}_ i)$ by Étale Cohomology, Theorem 59.51.3. Looking at supports of sections the reader easily concludes. $\square$

Lemma 62.3.17. Let $f : X \to Y$ be a morphism of schemes which is separated and locally quasi-finite. Then

  1. for $\mathcal{F}$ in $\textit{Ab}(X_{\acute{e}tale})$ and a geometric point $\overline{y} : \mathop{\mathrm{Spec}}(k) \to Y$ we have

    \[ (f_!\mathcal{F})_{\overline{y}} = \bigoplus \nolimits _{f(\overline{x}) = \overline{y}} \mathcal{F}_{\overline{x}} \]

    functorially in $\mathcal{F}$, and

  2. the functor $f_!$ is exact.

Proof. The functor $f_!$ is left exact by construction. Right exactness may be checked on stalks (Étale Cohomology, Theorem 59.29.10). Thus it suffices to prove part (1).

Let $\overline{y} : \mathop{\mathrm{Spec}}(k) \to Y$ be a geometric point. The scheme $X_{\overline{y}}$ has a discrete underlying topological space (Morphisms, Lemma 29.20.8) and all the residue fields at the points are equal to $k$ (as finite extensions of $k$). Hence $\{ \overline{x} : \mathop{\mathrm{Spec}}(k) \to X : f(\overline{x}) = \overline{y}\} $ is equal to the set of points of $X_{\overline{y}}$. Thus the computation of the stalk follows from the more general Lemma 62.3.11. $\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 0F4W. Beware of the difference between the letter 'O' and the digit '0'.