The Stacks project

Lemma 75.26.7. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume

  1. $f$ is proper, flat, and of finite presentation, and

  2. for a morphism $\mathop{\mathrm{Spec}}(k) \to Y$ where $k$ is a field, we have $k = H^0(X_ k, \mathcal{O}_{X_ k})$.

Then we have

  1. $f_*\mathcal{O}_ X = \mathcal{O}_ Y$ and this holds after any base change,

  2. étale locally on $Y$ we have

    \[ Rf_*\mathcal{O}_ X = \mathcal{O}_ Y \oplus P \]

    in $D(\mathcal{O}_ Y)$ where $P$ is perfect of tor amplitude in $[1, \infty )$.

Proof. It suffices to prove (a) and (b) étale locally on $Y$, thus we may and do assume $Y$ is an affine scheme. By cohomology and base change (Lemma 75.25.4) the complex $E = Rf_*\mathcal{O}_ X$ is perfect and its formation commutes with arbitrary base change. In particular, for $y \in Y$ we see that $H^0(E \otimes ^\mathbf {L} \kappa (y)) = H^0(X_ y, \mathcal{O}_{X_ y}) = \kappa (y)$. Thus $\beta _0(y) \leq 1$ for all $y \in Y$ with notation as in Lemma 75.26.1. Apply Lemma 75.26.6 with $a = 0$ and $r = 1$. We obtain a universal closed subscheme $j : Z \to Y$ with $H^0(Lj^*E)$ invertible characterized by the equivalence of (4)(a), (b), and (c) of the lemma. Since formation of $E$ commutes with base change, we have

\[ Lf^*E = R\text{pr}_{1, *}\mathcal{O}_{X \times _ Y X} \]

The morphism $\text{pr}_1 : X \times _ Y X$ has a section namely the diagonal morphism $\Delta $ for $X$ over $Y$. We obtain maps

\[ \mathcal{O}_ X \longrightarrow R\text{pr}_{1, *}\mathcal{O}_{X \times _ Y X} \longrightarrow \mathcal{O}_ X \]

in $D(\mathcal{O}_ X)$ whose composition is the identity. Thus $R\text{pr}_{1, *}\mathcal{O}_{X \times _ Y X} = \mathcal{O}_ X \oplus E'$ in $D(\mathcal{O}_ X)$. Thus $\mathcal{O}_ X$ is a direct summand of $H^0(Lf^*E)$ and we conclude that $X \to Y$ factors through $Z$ by the equivalence of (4)(c) and (4)(a) of the lemma cited above. Since $\{ X \to Y\} $ is an fppf covering, we have $Z = Y$. Thus $f_*\mathcal{O}_ X$ is an invertible $\mathcal{O}_ Y$-module. We conclude $\mathcal{O}_ Y \to f_*\mathcal{O}_ X$ is an isomorphism because a ring map $A \to B$ such that $B$ is invertible as an $A$-module is an isomorphism. Since the assumptions are preserved under base change, we see that (a) is true.

Proof of (b). Above we have seen that for every $y \in Y$ the map $\mathcal{O}_ Y \to H^0(E \otimes ^\mathbf {L} \kappa (y))$ is surjective. Thus we may apply More on Algebra, Lemma 15.76.2 to see that in an open neighbourhood of $y$ we have a decomposition $Rf_*\mathcal{O}_ X = \mathcal{O}_ Y \oplus P$ $\square$


Comments (0)

There are also:

  • 2 comment(s) on Section 75.26: Perfect complexes

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