Lemma 85.28.1. Every formal algebraic space has a structure sheaf.

## 85.28 The structure sheaf

Let $X$ be a formal algebraic space. A structure sheaf for $X$ is a sheaf of topological rings $\mathcal{O}_ X$ on the étale site $X_{\acute{e}tale}$ (which we defined in Section 85.27) such that

as topological rings whenever

$\varphi : U \to X$ is a morphism of formal algebraic spaces,

$U$ is an affine formal algebraic space,

$\varphi $ is representable by algebraic spaces and étale,

$U_{red} \to X_{red}$ is the corresponding affine object of $X_{\acute{e}tale}$, see Lemma 85.27.7,

$U = \mathop{\mathrm{colim}}\nolimits U_\lambda $ is a colimit representation for $U$ as in Definition 85.5.1.

Structure sheaves exist but may behave in unexpected manner.

**Proof.**
Let $S$ be a scheme. Let $X$ be a formal algebraic space over $S$. By (85.27.1.1) it suffices to construct $\mathcal{O}_ X$ as a sheaf of topological rings on $X_{affine, {\acute{e}tale}}$. Denote $\mathcal{C}$ the category whose objects are morphisms $\varphi : U \to X$ of formal algebraic spaces such that $U$ is an affine formal algebraic space and $\varphi $ is representable by algebraic spaces and étale. By Lemma 85.27.7 the functor $U \mapsto U_{red}$ is an equivalence of categories $\mathcal{C} \to X_{affine, {\acute{e}tale}}$. Hence by the rule given above the lemma, we already have $\mathcal{O}_ X$ as a presheaf of topological rings on $X_{affine, {\acute{e}tale}}$. Thus it suffices to check the sheaf condition.

By definition of $X_{affine, {\acute{e}tale}}$ a covering corresponds to a finite family $\{ g_ i : U_ i \to U\} _{i = 1, \ldots , n}$ of morphisms of $\mathcal{C}$ such that $\{ U_{i, red} \to U_{red}\} $ is an étale covering. The morphisms $g_ i$ are representably by algebraic spaces (Lemma 85.14.3) hence affine (Lemma 85.14.7). Then $g_ i$ is étale (follows formally from Properties of Spaces, Lemma 64.16.6 as $U_ i$ and $U$ are étale over $X$ in the sense of Bootstrap, Section 78.4). Finally, write $U = \mathop{\mathrm{colim}}\nolimits U_\lambda $ as in Definition 85.5.1.

With these preparations out of the way, we can prove the sheaf property as follows. For each $\lambda $ we set $U_{i, \lambda } = U_ i \times _ U U_\lambda $ and $U_{ij, \lambda } = (U_ i \times _ U U_ j) \times _ U U_\lambda $. By the above, these are affine schemes, $\{ U_{i, \lambda } \to U_\lambda \} $ is an étale covering, and $U_{ij, \lambda } = U_{i, \lambda } \times _{U_\lambda } U_{j, \lambda }$. Also we have $U_ i = \mathop{\mathrm{colim}}\nolimits U_{i, \lambda }$ and $U_ i \times _ U U_ j = \mathop{\mathrm{colim}}\nolimits U_{ij, \lambda }$. For each $\lambda $ we have an exact sequence

as we have the sheaf condition for the structure sheaf on $U_\lambda $ and the étale topology (see Étale Cohomology, Proposition 58.17.1). Since limits commute with limits, the inverse limit of these exact sequences is an exact sequence

which exactly means that

is exact and hence the sheaf propery holds as desired. $\square$

Remark 85.28.2. The structure sheaf does not always have “enough sections”. In Examples, Section 108.67 we have seen that there exist affine formal algebraic spaces which aren't McQuillan and there are even examples whose points are not separated by regular functions.

In the next lemma we prove that the structure sheaf on a countably indexed affine formal scheme has vanishing higher cohomology. For non-countably indexed ones, presumably this generally doesn't hold.

Lemma 85.28.3. If $X$ is a countably indexed affine formal algebraic space, then we have $H^ n(X_{\acute{e}tale}, \mathcal{O}_ X) = 0$ for $n > 0$.

**Proof.**
We may work with $X_{affine, {\acute{e}tale}}$ as this gives the same topos. We will apply Cohomology on Sites, Lemma 21.10.9 to show we have vanishing. Since $X_{affine, {\acute{e}tale}}$ has finite disjoint unions, this reduces us to the Čech complex of a covering given by a single arrow $\{ U_{red} \to V_{red}\} $ in $X_{affine, {\acute{e}tale}} = X_{red, affine, {\acute{e}tale}}$ (see Étale Cohomology, Lemma 58.22.1). Thus we have to show that

is exact. We will do this below in the case $V_{red} = X_{red}$. The general case is proven in exactly the same way.

Recall that $X = \text{Spf}(A)$ where $A$ is a weakly admissible topological ring having a countable fundamental system of weak ideals of definition. We have seen in Lemmas 85.27.4 and 85.27.5 that the object $U_{red}$ in $X_{affine, {\acute{e}tale}}$ corresponds to a morphism $U \to X$ of affine formal algebraic spaces which is representable by algebraic space and étale and $U = \text{Spf}(B^\wedge )$ where $B$ is an étale $A$-algebra. By our rule for the structure sheaf we see

We recall that $B^\wedge = \mathop{\mathrm{lim}}\nolimits B/JB$ where the limit is over weak ideals of definition $J \subset A$. Working through the definitions we obtain

and so on. Since $U \to X$ is a covering the map $A \to B$ is faithfully flat, see Lemma 85.14.14. Hence the complex

is **universally** exact, see Descent, Lemma 35.3.6. Our goal is to show that

is zero for $p > 0$. To see what is going on, let's split our exact complex (before completion) into short exact sequences

By what we said above, these are universally exact short exact sequences. Hence $JM_ i = M_ i \cap J(B^{\otimes _ A i + 1})$ for every ideal $J$ of $A$. In particular, the topology on $M_ i$ as a submodule of $B^{\otimes _ A i + 1}$ is the same as the topology on $M_ i$ as a quotient module of $B^{\otimes _ A i}$. Therefore, since there exists a countable fundamental system of weak ideals of definition in $A$, the sequences

remain exact by Lemma 85.4.5. This proves the lemma. $\square$

Remark 85.28.4. Even if the structure sheaf has good properties, this does not mean there is a good theory of quasi-coherent modules. For example, in Examples, Section 108.12 we have seen that for almost any Noetherian affine formal algebraic spaces the most natural notion of a quasi-coherent module leads to a category of modules which is not abelian.

## 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.

## Comments (0)