The Stacks project

77.7 Flattening functors

This section is the analogue of More on Flatness, Section 38.20. We urge the reader to skip this section on a first reading.

Situation 77.7.1. Let $S$ be a scheme. Let $f : X \to B$ be a morphism of algebraic spaces over $S$. Let $u : \mathcal{F} \to \mathcal{G}$ be a homomorphism of quasi-coherent $\mathcal{O}_ X$-modules. For any scheme $T$ over $B$ we will denote $u_ T : \mathcal{F}_ T \to \mathcal{G}_ T$ the base change of $u$ to $T$, in other words, $u_ T$ is the pullback of $u$ via the projection morphism $X_ T = X \times _ B T \to X$. In this situation we can consider the functor

77.7.1.1
\begin{equation} \label{spaces-flat-equation-iso} F_{iso} : (\mathit{Sch}/B)^{opp} \longrightarrow \textit{Sets}, \quad T \longrightarrow \left\{ \begin{matrix} \{ *\} & \text{if }u_ T\text{ is an isomorphism}, \\ \emptyset & \text{else.} \end{matrix} \right. \end{equation}

There are variants $F_{inj}$, $F_{surj}$, $F_{zero}$ where we ask that $u_ T$ is injective, surjective, or zero.

In Situation 77.7.1 we sometimes think of the functors $F_{iso}$, $F_{inj}$, $F_{surj}$, and $F_{zero}$ as functors $(\mathit{Sch}/S)^{opp} \to \textit{Sets}$ endowed with a morphism $F_{iso} \to B$, $F_{inj} \to B$, $F_{surj} \to B$, and $F_{zero} \to B$. Namely, if $T$ is a scheme over $S$, then an element $h \in F_{iso}(T)$ is a morphism $h : T \to B$ such that the base change of $u$ via $h$ is an isomorphism. In particular, when we say that $F_{iso}$ is an algebraic space, we mean that the corresponding functor $(\mathit{Sch}/S)^{opp} \to \textit{Sets}$ is an algebraic space.

Lemma 77.7.2. In Situation 77.7.1. Each of the functors $F_{iso}$, $F_{inj}$, $F_{surj}$, $F_{zero}$ satisfies the sheaf property for the fpqc topology.

Proof. Let $\{ T_ i \to T\} _{i \in I}$ be an fpqc covering of schemes over $B$. Set $X_ i = X_{T_ i} = X \times _ S T_ i$ and $u_ i = u_{T_ i}$. Note that $\{ X_ i \to X_ T\} _{i \in I}$ is an fpqc covering of $X_ T$, see Topologies on Spaces, Lemma 73.9.3. In particular, for every $x \in |X_ T|$ there exists an $i \in I$ and an $x_ i \in |X_ i|$ mapping to $x$. Since $\mathcal{O}_{X_ T, \overline{x}} \to \mathcal{O}_{X_ i, \overline{x_ i}}$ is flat, hence faithfully flat (see Morphisms of Spaces, Section 67.30). we conclude that $(u_ i)_{x_ i}$ is injective, surjective, bijective, or zero if and only if $(u_ T)_ x$ is injective, surjective, bijective, or zero. The lemma follows. $\square$

Lemma 77.7.3. In Situation 77.7.1 let $X' \to X$ be a flat morphism of algebraic spaces. Denote $u' : \mathcal{F}' \to \mathcal{G}'$ the pullback of $u$ to $X'$. Denote $F'_{iso}$, $F'_{inj}$, $F'_{surj}$, $F'_{zero}$ the functors on $\mathit{Sch}/B$ associated to $u'$.

  1. If $\mathcal{G}$ is of finite type and the image of $|X'| \to |X|$ contains the support of $\mathcal{G}$, then $F_{surj} = F'_{surj}$ and $F_{zero} = F'_{zero}$.

  2. If $\mathcal{F}$ is of finite type and the image of $|X'| \to |X|$ contains the support of $\mathcal{F}$, then $F_{inj} = F'_{inj}$ and $F_{zero} = F'_{zero}$.

  3. If $\mathcal{F}$ and $\mathcal{G}$ are of finite type and the image of $|X'| \to |X|$ contains the supports of $\mathcal{F}$ and $\mathcal{G}$, then $F_{iso} = F'_{iso}$.

Proof. let $v : \mathcal{H} \to \mathcal{E}$ be a map of quasi-coherent modules on an algebraic space $Y$ and let $\varphi : Y' \to Y$ be a surjective flat morphism of algebraic spaces, then $v$ is an isomorphism, injective, surjective, or zero if and only if $\varphi ^*v$ is an isomorphism, injective, surjective, or zero. Namely, for every $y \in |Y|$ there exists a $y' \in |Y'|$ and the map of local rings $\mathcal{O}_{Y, \overline{y}} \to \mathcal{O}_{Y', \overline{y'}}$ is faithfully flat (see Morphisms of Spaces, Section 67.30). Of course, to check for injectivity or being zero it suffices to look at the points in the support of $\mathcal{H}$, and to check for surjectivity it suffices to look at points in the support of $\mathcal{E}$. Moreover, under the finite type assumptions as in the statement of the lemma, taking the supports commutes with base change, see Morphisms of Spaces, Lemma 67.15.2. Thus the lemma is clear. $\square$

Recall that we've defined the scheme theoretic support of a finite type quasi-coherent module in Morphisms of Spaces, Definition 67.15.4.

Lemma 77.7.4. In Situation 77.7.1.

  1. If $\mathcal{G}$ is of finite type and the scheme theoretic support of $\mathcal{G}$ is quasi-compact over $B$, then $F_{surj}$ is limit preserving.

  2. If $\mathcal{F}$ of finite type and the scheme theoretic support of $\mathcal{F}$ is quasi-compact over $B$, then $F_{zero}$ is limit preserving.

  3. If $\mathcal{F}$ is of finite type, $\mathcal{G}$ is of finite presentation, and the scheme theoretic supports of $\mathcal{F}$ and $\mathcal{G}$ are quasi-compact over $B$, then $F_{iso}$ is limit preserving.

Proof. Proof of (1). Let $i : Z \to X$ be the scheme theoretic support of $\mathcal{G}$ and think of $\mathcal{G}$ as a finite type quasi-coherent module on $Z$. We may replace $X$ by $Z$ and $u$ by the map $i^*\mathcal{F} \to \mathcal{G}$ (details omitted). Hence we may assume $f$ is quasi-compact and $\mathcal{G}$ of finite type. Let $T = \mathop{\mathrm{lim}}\nolimits _{i \in I} T_ i$ be a directed limit of affine $B$-schemes and assume that $u_ T$ is surjective. Set $X_ i = X_{T_ i} = X \times _ S T_ i$ and $u_ i = u_{T_ i} : \mathcal{F}_ i = \mathcal{F}_{T_ i} \to \mathcal{G}_ i = \mathcal{G}_{T_ i}$. To prove (1) we have to show that $u_ i$ is surjective for some $i$. Pick $0 \in I$ and replace $I$ by $\{ i \mid i \geq 0\} $. Since $f$ is quasi-compact we see $X_0$ is quasi-compact. Hence we may choose a surjective étale morphism $\varphi _0 : W_0 \to X_0$ where $W_0$ is an affine scheme. Set $W = W_0 \times _{T_0} T$ and $W_ i = W_0 \times _{T_0} T_ i$ for $i \geq 0$. These are affine schemes endowed with a surjective étale morphisms $\varphi : W \to X_ T$ and $\varphi _ i : W_ i \to X_ i$. Note that $W = \mathop{\mathrm{lim}}\nolimits W_ i$. Hence $\varphi ^*u_ T$ is surjective and it suffices to prove that $\varphi _ i^*u_ i$ is surjective for some $i$. Thus we have reduced the problem to the affine case which is Algebra, Lemma 10.127.5 part (2).

Proof of (2). Assume $\mathcal{F}$ is of finite type with scheme theoretic support $Z \subset B$ quasi-compact over $B$. Let $T = \mathop{\mathrm{lim}}\nolimits _{i \in I} T_ i$ be a directed limit of affine $B$-schemes and assume that $u_ T$ is zero. Set $X_ i = T_ i \times _ B X$ and denote $u_ i : \mathcal{F}_ i \to \mathcal{G}_ i$ the pullback. Choose $0 \in I$ and replace $I$ by $\{ i \mid i \geq 0\} $. Set $Z_0 = Z \times _ X X_0$. By Morphisms of Spaces, Lemma 67.15.2 the support of $\mathcal{F}_ i$ is $|Z_0|$. Since $|Z_0|$ is quasi-compact we can find an affine scheme $W_0$ and an étale morphism $W_0 \to X_0$ such that $|Z_0| \subset \mathop{\mathrm{Im}}(|W_0| \to |X_0|)$. Set $W = W_0 \times _{T_0} T$ and $W_ i = W_0 \times _{T_0} T_ i$ for $i \geq 0$. These are affine schemes endowed with étale morphisms $\varphi : W \to X_ T$ and $\varphi _ i : W_ i \to X_ i$. Note that $W = \mathop{\mathrm{lim}}\nolimits W_ i$ and that the support of $\mathcal{F}_ T$ and $\mathcal{F}_ i$ is contained in the image of $|W| \to |X_ T|$ and $|W_ i| \to |X_ i|$. Now $\varphi ^*u_ T$ is injective and it suffices to prove that $\varphi _ i^*u_ i$ is injective for some $i$. Thus we have reduced the problem to the affine case which is Algebra, Lemma 10.127.5 part (1).

Proof of (3). This can be proven in exactly the same manner as in the previous two paragraphs using Algebra, Lemma 10.127.5 part (3). We can also deduce it from (1) and (2) as follows. Let $T = \mathop{\mathrm{lim}}\nolimits _{i \in I} T_ i$ be a directed limit of affine $B$-schemes and assume that $u_ T$ is an isomorphism. By part (1) there exists an $0 \in I$ such that $u_{T_0}$ is surjective. Set $\mathcal{K} = \mathop{\mathrm{Ker}}(u_{T_0})$ and consider the map of quasi-coherent modules $v : \mathcal{K} \to \mathcal{F}_{T_0}$. For $i \geq 0$ the base change $v_{T_ i}$ is zero if and only if $u_ i$ is an isomorphism. Moreover, $v_ T$ is zero. Since $\mathcal{G}_{T_0}$ is of finite presentation, $\mathcal{F}_{T_0}$ is of finite type, and $u_{T_0}$ is surjective we conclude that $\mathcal{K}$ is of finite type (Modules on Sites, Lemma 18.24.1). It is clear that the support of $\mathcal{K}$ is contained in the support of $\mathcal{F}_{T_0}$ which is quasi-compact over $T_0$. Hence we can apply part (2) to see that $v_{T_ i}$ is zero for some $i$. $\square$

Lemma 77.7.5. In Situation 77.7.1 suppose given an exact sequence

\[ \mathcal{F} \xrightarrow {u} \mathcal{G} \xrightarrow {v} \mathcal{H} \to 0 \]

Then we have $F_{v, iso} = F_{u, zero}$ with obvious notation.

Proof. Since pullback is right exact we see that $\mathcal{F}_ T \to \mathcal{G}_ T \to \mathcal{H}_ T \to 0$ is exact for every scheme $T$ over $B$. Hence $u_ T$ is surjective if and only if $v_ T$ is an isomorphism. $\square$

Lemma 77.7.6. In Situation 77.7.1 suppose given an affine morphism $i : Z \to X$ and a quasi-coherent $\mathcal{O}_ Z$-module $\mathcal{H}$ such that $\mathcal{G} = i_*\mathcal{H}$. Let $v : i^*\mathcal{F} \to \mathcal{H}$ be the map adjoint to $u$. Then

  1. $F_{v, zero} = F_{u, zero}$, and

  2. if $i$ is a closed immersion, then $F_{v, surj} = F_{u, surj}$.

Proof. Let $T$ be a scheme over $B$. Denote $i_ T : Z_ T \to X_ T$ the base change of $i$ and $\mathcal{H}_ T$ the pullback of $\mathcal{H}$ to $Z_ T$. Observe that $(i^*\mathcal{F})_ T = i_ T^*\mathcal{F}_ T$ and $i_{T, *}\mathcal{H}_ T = (i_*\mathcal{H})_ T$. The first statement follows from commutativity of pullbacks and the second from Cohomology of Spaces, Lemma 69.11.1. Hence we see that $u_ T$ and $v_ T$ are adjoint maps as well. Thus $u_ T = 0$ if and only if $v_ T = 0$. This proves (1). In case (2) we see that $u_ T$ is surjective if and only if $v_ T$ is surjective because $u_ T$ factors as

\[ \mathcal{F}_ T \to i_{T, *}i_ T^*\mathcal{F}_ T \xrightarrow {i_{T, *}v_ T} i_{T, *}\mathcal{H}_ T \]

and the fact that $i_{T, *}$ is an exact functor fully faithfully embedding the category of quasi-coherent modules on $Z_ T$ into the category of quasi-coherent $\mathcal{O}_{X_ T}$-modules. See Morphisms of Spaces, Lemma 67.14.1. $\square$

Lemma 77.7.7. In Situation 77.7.1 suppose given an affine morphism $g : X \to X'$. Set $u' = f_*u : f_*\mathcal{F} \to f_*\mathcal{G}$. Then $F_{u, iso} = F_{u', iso}$, $F_{u, inj} = F_{u', inj}$, $F_{u, surj} = F_{u', surj}$, and $F_{u, zero} = F_{u', zero}$.

Proof. By Cohomology of Spaces, Lemma 69.11.1 we have $g_{T, *}u_ T = u'_ T$. Moreover, $g_{T, *} : \mathit{QCoh}(\mathcal{O}_{X_ T}) \to \mathit{QCoh}(\mathcal{O}_ X)$ is a faithful, exact functor reflecting isomorphisms, injective maps, and surjective maps. $\square$

Situation 77.7.8. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. For any scheme $T$ over $Y$ we will denote $\mathcal{F}_ T$ the base change of $\mathcal{F}$ to $T$, in other words, $\mathcal{F}_ T$ is the pullback of $\mathcal{F}$ via the projection morphism $X_ T = X \times _ Y T \to X$. Since the base change of a flat module is flat we obtain a functor

77.7.8.1
\begin{equation} \label{spaces-flat-equation-flat} F_{flat} : (\mathit{Sch}/Y)^{opp} \longrightarrow \textit{Sets}, \quad T \longrightarrow \left\{ \begin{matrix} \{ *\} & \text{if } \mathcal{F}_ T \text{ is flat over }T, \\ \emptyset & \text{else.} \end{matrix} \right. \end{equation}

In Situation 77.7.8 we sometimes think of $F_{flat}$ as a functor $(\mathit{Sch}/S)^{opp} \to \textit{Sets}$ endowed with a morphism $F_{flat} \to Y$. Namely, if $T$ is a scheme over $S$, then an element $h \in F_{flat}(T)$ is a morphism $h : T \to Y$ such that the base change of $\mathcal{F}$ via $h$ is flat over $T$. In particular, when we say that $F_{flat}$ is an algebraic space, we mean that the corresponding functor $(\mathit{Sch}/S)^{opp} \to \textit{Sets}$ is an algebraic space.

Lemma 77.7.9. In Situation 77.7.8.

  1. The functor $F_{flat}$ satisfies the sheaf property for the fpqc topology.

  2. If $f$ is quasi-compact and locally of finite presentation and $\mathcal{F}$ is of finite presentation, then the functor $F_{flat}$ is limit preserving.

Proof. Part (1) follows from the following statement: If $T' \to T$ is a surjective flat morphism of algebraic spaces over $Y$, then $\mathcal{F}_{T'}$ is flat over $T'$ if and only if $\mathcal{F}_ T$ is flat over $T$, see Morphisms of Spaces, Lemma 67.31.3. Part (2) follows from Limits of Spaces, Lemma 70.6.12 if $f$ is also quasi-separated (i.e., $f$ is of finite presentation). For the general case, first reduce to the case where the base is affine and then cover $X$ by finitely many affines to reduce to the quasi-separated case. Details omitted. $\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 083E. Beware of the difference between the letter 'O' and the digit '0'.