- Research
- Open Access

# Cohomological descent on the overconvergent site

- David Zureick-Brown
^{1}Email author

**1**:8

https://doi.org/10.1186/s40687-014-0008-3

© Zureick-Brown; licensee Springer 2014

**Received:**12 February 2014**Accepted:**12 June 2014**Published:**21 August 2014

## Abstract

We prove that cohomological descent holds for finitely presented crystals on the overconvergent site with respect to proper or fppf hypercovers.

## Keywords

- Spectral Sequence
- Algebraic Variety
- Finite Type
- Formal Scheme
- Formal Morphism

## Background

Cohomological descent is a robust computational and theoretical tool, central to *p*-adic cohomology and its applications. On the one hand, it facilitates explicit calculations (analogous to the computation of coherent cohomology in scheme theory via Čech cohomology); on the other, it allows one to deduce results about singular schemes (e.g., finiteness of the cohomology of overconvergent isocrystals on singular schemes [1]) from results about smooth schemes, and, in a pinch, sometimes allows one to bootstrap global definitions from local ones (for example, for a scheme *X* which fails to embed into a formal scheme smooth near *X*, one actually *defines* rigid cohomology via cohomological descent; see [2], comment after Proposition 8.2.17).

The main result of the series of papers [3]–[5] is that cohomological descent for the rigid cohomology of overconvergent isocrystals holds with respect to both flat and proper hypercovers. The barrage of choices in the definition of rigid cohomology is burdensome and makes their proofs of cohomological descent very difficult, totaling to over 200 pages. Even after the main cohomological descent theorems [3] Theorems 7.3.1 and 7.4.1 are proved, one still has to work a bit to get a spectral sequence [3], Theorem 11.7.1. Actually, even to state what one means by cohomological descent (without a site) is subtle.

The situation is now more favorable. More than 25 years after Berthelot’s seminal papers [6]–[8], key foundational aspects have now been worked out. Le Stum’s recent advance [9] is the construction of an ‘overconvergent site’ [9] which gives an alternative, equivalent definition of rigid cohomology as the cohomology of the structure sheaf of a ringed site $({X}_{{\text{AN}}^{\u2020}},{\mathcal{O}}_{X}^{\u2020})$ (and also of course an equivalence between the category of overconvergent isocrystals on *X* and the category of finitely presented ${\mathcal{O}}_{X}^{\u2020}$-modules). This formalism is the correct setting for many problems; for instance, [10] uses the overconvergent site to develop a theory of constructible ∇-modules on curves.

More applications are expected. And indeed, the main result of this paper is the application of the abstract machinery of [11], Exposé Vbis and VI to the overconvergent site to give a short proof of the following.

### Theorem 1.1.

Cohomological descent for locally finitely presented modules on the overconvergent site holds with respect to

fppf hypercovers of varieties and

proper hypercovers of varieties.

**Remark** **1.2**.

(New ideas and comparison to prior work) Classical results in rigid cohomology have no access to site theoretic techniques and instead one works directly with a choice of embedding into a formal scheme. This adds difficulties (again we highlight the length of [3]–[5]) and restricts the applicability of results (e.g., generalization to stacks; see Remark 1.1 (3)).

On the other hand, Theorem 1.1 is not merely a formal consequence of the techniques of [11], Exposé Vbis and VI. Cohomological descent for abelian sheaves on the étale site with respect to smooth hypercovers is simply the Čech theory (as in Theorem 3.1 (i)). In the overconvergent setting, an étale surjection is not a covering; and hence, the Čech theory does not apply. Another technical difficulty is that one cannot check triviality of an overconvergent sheaf $\mathcal{F}\in {\text{AN}}^{\u2020}X$ by restricting to points of *X*, so that the template of the proof of proper cohomological descent for étale cohomology therefore does not apply to overconvergent cohomology, and a new argument is needed.

Moreover, we emphasize that, while similar-looking results appear in the literature (see e.g. section Zariski covers and Lemma 5.14), these results are not powerful enough to directly imply cohomological descent for the overconvergent site. New tools and ideas – the use of techniques from [11] and for instance, the use of Raynaud-Gruson’s theorem on ‘flattening stratifications’ [12], Théorèm 5.2.2, and le Stum’s main theorems (e.g. Proposition 4.17) - greatly simplify and extend the generality of our proof, and as an additional indication of this, we remark that (in contrast to cohomological descent for étale or rigid cohomology) the proofs of the étale and proper cases are intertwined.

Finally, in light of the central role that one expects le Stum’s work to play in the future development of rigid cohomology, we note that various ingredients of our proofs are useful lemmas which facilitate computations on the overconvergent site; see for instance Lemma 5.2.

### Applications

- 1.
(Spectral sequence). By le Stum’s comparison theorems between rigid and overconvergent cohomology [9], Corollary 3.5.9, we obtain a spectral sequence (see Remark 3.3) computing rigid cohomology; this gives a shorter proof of Theorem 11.7.1 of [3]. While this corollary of our work and [3],[4] are similar, the main results are independent and cannot be deduced from one another.

- 2.
(Overconvergent de Rham-Witt cohomology). A recent result [13] proves directly that overconvergent de Rham-Witt cohomology agrees with classical rigid cohomology for smooth affine varieties, and a long argument with dagger spaces is needed to deduce agreement with general rigid cohomology. Use of the overconvergent site and Theorem 1.1 simplifies the globalization argument (this will appear in future work (Davis and Zureick-Brown: Overconvergent de Rham-Witt cohomology for stacks, in preparation); the main theorem is that the étale cohomology of each overconvergent de Rham-Witt sheaf vanishes on affines, and the globalization argument is then a direct application of Theorem 1.1 and the spectral sequence 3.3).

- 3.
(Rigid cohomology for stacks.) Motivated by applications to geometric Langlands, Kedlaya proposed the problem of generalizing rigid cohomology to stacks. There are three approaches – le Stum’s site gives (via Definition 4.5) a direct approach realized in the author’s thesis [14]); the overconvergent de Rham-Witt complex of [13] gives an alternative, explicit and direct construction. Theorem 1.1 gives a third approach and a direct comparison of the first two approaches; moreover, Theorem 1.1 also gives a direct proof that the rigid cohomology of a stack is finite dimensional, and allows one to make various constructions (e.g., to define a Gysin map). Rigid cohomology for stacks is most naturally defined via the overconvergent site (one can take the same definition for a stack as for a scheme); cohomological descent for the overconvergent cohomology of a stack follows from the case of schemes by standard arguments, and both of these applications (finiteness and the ability to bootstrap constructions from the case of schemes) follow directly from the spectral sequence.

### Organization of the paper

This paper is organized as follows: In section Notation and conventions, we recall notation. In section Simplicial methods, we review the machinery of cohomological descent. In section The overconvergent site, we recall the construction of the overconvergent site of [9]. In section Cohomological descent for overconvergent crystals, we prove Theorem 1.1, first in the case of Zariski hypercovers, then in the case of fppf hypercovers, and finally for proper hypercovers.

## Notation and conventions

Throughout, *K* will denote a field of characteristic 0 that is complete with respect to a non-trivial non-archimedean valuation with valuation ring , whose maximal ideal and residue field we denote by $\mathfrak{\U0001d52a}$ and *k*. We denote the category of schemes over *k* by **S** **c** **h**_{
k
}. We define an algebraic variety over*k* to be a scheme such that there exists a *locally finite* cover by schemes of finite type over *k* (recall that a collection of subsets of a topological space *X* is said to be locally finite if every point of *X* has a neighborhood which only intersects finitely many subsets $X\in \mathcal{S}$). Note that we do not require an algebraic variety to be reduced, quasi-compact, or separated.

**Formal schemes**: As in [9], 1.1 we define a formal -scheme to be a locally topologically finitely presented formal scheme *P* over , i.e., a formal scheme *P* with a locally finite covering by formal affine schemes Spf *A*, with *A* topologically of finite type (i.e., a quotient of the ring $\mathcal{V}\{{T}_{1},\cdots \phantom{\rule{0.3em}{0ex}},{T}_{n}\}$ of convergent power series by an ideal $I+\mathfrak{\U0001d51e}\mathcal{V}\{{T}_{1},\cdots \phantom{\rule{0.3em}{0ex}},{T}_{n}\}$, with *I* an ideal of $\mathcal{V}\{{T}_{1},\cdots \phantom{\rule{0.3em}{0ex}},{T}_{n}\}$ of finite type and $\mathfrak{\U0001d51e}$ an ideal of ). This finiteness property is necessary to define the ‘generic fiber’ of a formal scheme (see [15], Section 1).

We refer to [16], 1.10 for basic properties of formal schemes. The first section of [17] is another good reference; a short alternative is [9], Section 1, which contains everything we will need.

*K*-**analytic spaces**: We refer to [18] (as well as the brief discussion in [9], 4.2) for definitions regarding *K*-analytic spaces. As in [9], 4.2, we define an analytic variety over *K* to be a locally Hausdorff topological space *V* together with a maximal affinoid atlas *τ* which is locally defined by *strictly* affinoid algebras (i.e., an algebra *A* is strict if it is a quotient of a Tate algebra *K*{*T*_{1},⋯,*T*_{
n
}}) and denote by $\mathcal{\mathcal{M}}\left(A\right)$ the Gelfand spectrum of an affinoid algebra *A*. Moreover, recall that a *K*-analytic space is said to be good if every point has an open affinoid neighborhood.

**Topoi**: We follow the conventions of [19] (exposited in [9], 4.1) regarding sites, topologies, topoi, and localization. When there is no confusion, we will identify an object *X* of a category with its associated presheaf *h*_{
X
}:*Y*↦Hom(*Y*,*X*). For an object *X* of category *C*, we denote by *C*_{/X} the comma category - objects of *C*_{/X} are morphisms *Y*→*X*, and morphisms are commutative diagrams - and by $\stackrel{~}{{C}_{/X}}$ (resp. $\hat{{C}_{/X}}$) the associated topos (resp. category of presheaves on *C*_{/X}). Often (in this paper), a morphism $(\phantom{\rule{0.3em}{0ex}}{f}^{-1},{f}_{\ast}):(T,{\mathcal{O}}_{T})\to ({T}^{\prime},{\mathcal{O}}_{{T}^{\prime}})$ of ringed topoi will satisfy ${f}^{-1}{\mathcal{O}}_{{T}^{\prime}}={\mathcal{O}}_{T}$, so that there is no distinction between the functors *f*^{−1} and *f*^{∗}; in this case, we will write *f*^{∗} for both. Finally, we note that the category ${\text{Mod}}_{\text{fp}}{\mathcal{O}}_{T}$ of ${\mathcal{O}}_{T}$-modules which locally admit a finite presentation $\underset{i=1}{\overset{n}{\oplus}}{\mathcal{O}}_{T}\to \underset{i=1}{\overset{m}{\oplus}}{\mathcal{O}}_{T}\to M$, is generally *larger* than $\text{Coh}{\mathcal{O}}_{T}$, since in general, the sheaf of rings ${\mathcal{O}}_{T}$ is not itself coherent.

## Simplicial methods

Here we recall the setup and main results of cohomological descent. The standard reference is [11], Exposé Vbis and VI; some alternatives are Deligne’s paper [20] and Conrad’s notes [21]; the latter has a lengthy introduction with a lot of motivation and gives more detailed proofs of some theorems of [11] and [20].

*p*

_{0}:

*X*→

*Y*of presheaves on a site

*C*induces a morphism $\stackrel{~}{{C}_{/Y}}\to \stackrel{~}{{C}_{/X}}$ of topoi. Setting

*X*

_{ n }to be the (

*n*+1)-fold fiber product of

*p*

_{0}and ${p}_{\mathit{\text{ij}}}^{k}:{X}_{i}\to {X}_{j}$ to be the

*k*th map induced by composing projections,

*p*

_{0}also induces a morphism of topoi

*p*

^{−1},

*p*

_{∗}) are

with ${\iota}_{\mathit{\text{ij}}}^{k}$ the canonical isomorphisms; there is a clear natural map $\mathcal{F}\to {p}_{\ast}{p}^{\ast}\mathcal{F}$. Since $\stackrel{~}{{C}_{/{X}_{\bullet}}}$ is actually the topos of the simplicial site ${C}_{/{X}_{\bullet}}$, to ${\mathcal{F}}_{\bullet}\in \stackrel{~}{{C}_{/{X}_{\bullet}}}$, we can associate the derived pushforward $\mathbb{R}{p}_{\ast}{\mathcal{F}}_{\bullet}$ as well as the *i* th relative cohomology ${\mathbb{R}}^{i}{p}_{\ast}{\mathcal{F}}_{\bullet}$ and absolute cohomology ${H}^{i}({C}_{{X}_{\bullet}},{\mathcal{F}}_{\bullet})$.

We say that *p*_{0}:*X*→*Y* is of cohomological descent (resp. universally of cohomological descent) with respect to$\mathcal{F}\in \stackrel{~}{{C}_{/Y}}$ if $\mathcal{F}\cong \mathbb{R}{p}_{\ast}{p}^{\ast}\mathcal{F}$ (resp. if for every *f*:*Y*^{′}→*Y*, the map *X*×_{
Y
}*Y*^{′}→*Y*^{′} is of cohomological descent with respect to ${f}^{\ast}\mathcal{F}$). Similarly, we say that *p*_{0} is (universally) of cohomological descent with respect to a subcategory$\mathcal{C}\subset Ab{C}_{/Y}$ if *p*_{0} is (universally) of cohomological descent with respect to every $\mathcal{F}\in \mathcal{C}$.

### Theorem 3.1.

- 1.
Suppose that

*p*_{0}:*X*→*Y*in $\hat{C}$ sheafifies to a covering in $\stackrel{~}{C}$. Then*p*_{0}is universally of cohomological descent. Moreover, for $F\in Ab\stackrel{~}{Y}$, the map*F*→*p*_{∗}*p*^{∗}*F*is a quasi-isomorphism. - 2.
Any morphism in $\hat{C}$ which has a section locally (in $\stackrel{~}{C}$) is universally of cohomological descent.

- 3.
Consider a Cartesian diagram

*π*

_{0}is universally of cohomological descent with respect to . Then

*f*

_{0}is universally of cohomological descent with respect to if and only if ${f}_{0}^{\prime}$ is universally of cohomological descent with respect to ${\pi}_{0}^{\ast}\mathcal{F}$.

- 4.
Let

*f*:*X*→*Y*and*g*:*Y*→*Z*be maps in*C*and let $\mathcal{F}\in \stackrel{~}{Z}$ be a sheaf of abelian groups. Suppose that the composition*X*→*Z*is universally of cohomological descent with respect to . Then*Y*→*Z*is as well. - 5.
Let

*f*:*X*→*Y*and*g*:*Y*→*Z*be maps in*C*and let $\mathcal{F}\in \stackrel{~}{Z}$ be a sheaf of abelian groups. If*g*is universally of cohomological descent with respect to and*f*is universally of cohomological descent with respect to ${g}^{\ast}\mathcal{F}$, then the composition*g*∘*f*is universally of cohomological descent with respect to . - 6.
Let

*f*_{ i }:*X*_{ i }→*Y*_{ i }be maps in*C*indexed by some arbitrary set*I*. For each*i*∈*I*let ${\mathcal{F}}_{i}\in \stackrel{~}{{Y}_{i}}$ be a sheaf of abelian groups. Suppose that for each*i*,*f*_{ i }is of cohomological descent relative to ${\mathcal{F}}_{i}$. Then $\coprod {f}_{i}:\coprod {X}_{i}\to \coprod {Y}_{i}$ is of cohomological descent relative to $\coprod {\mathcal{F}}_{i}$ (where disjoint unions are taken in $\hat{C}$).

*Proof*.

*I*, so that in particular, the natural map

*i*∈

*I*, the map ${\mathcal{F}}_{i}\to \mathbb{R}{f}_{i\bullet \ast}{f}_{i\bullet}^{\ast}{\mathcal{F}}_{i}$ is an isomorphism.

### Corollary 3.2.

Let

be a commutative diagram in $\hat{C}$ and let $\mathcal{F}\in \stackrel{~}{{C}_{/Y}}$. Suppose that is universally of cohomological descent with respect to $\coprod {Y}_{i}\to Y$ and that for each *i*, ${v}_{i}^{\ast}\mathcal{F}$ is universally of cohomological descent with respect to *X*_{
i
}→*Y*_{
i
}. Then is universally of cohomological descent with respect to *X*→*Y*.

*Proof*.

This follows immediately from Theorem 3.1 (4), (5), and (6).

**Remark** **3.3**.

### Corollary 3.4.

*p*

_{0}:

*X*→

*Y*be an and suppose that $\mathcal{F}\in \stackrel{~}{Y}$ is an abelian sheaf such that

- (1)
for

*i*≥0 and*j*>0, ${\mathbb{R}}^{j}{p}_{i\ast}{p}_{i}^{\ast}\mathcal{F}=0$, and - (2)
$\mathcal{F}\to {p}_{\ast}{p}^{\ast}\mathcal{F}$ is a quasi-isomorphism.

Then $\mathcal{F}\to \mathbb{R}{p}_{\ast}{p}^{\ast}\mathcal{F}$is a quasi-isomorphism.

*Proof*.

This follows from the spectral sequence.

**Remark** **3.5**.

(Hypercoverings). We omit discussion of more general **P**-hypercovers except to note that by [21], Theorem 7.10, our results immediately extend to étale hypercovers and proper hypercovers.

## The overconvergent site

In this section, we recall the setup and results of [9].

**Definition** **4.1**.

([9], 1.2). Define an overconvergent variety over to be a pair $(X\subset P,V\underrightarrow{\stackrel{\lambda}{}}{P}_{K})$, where *X*⊂*P* is a locally closed immersion of an algebraic variety *X* over *k* into the special fiber *P*_{
k
} of a formal scheme *P* (recall our convention that all formal schemes are topologically finitely presented over $\text{Spf}\phantom{\rule{0.3em}{0ex}}\mathcal{V}$), and $V\underrightarrow{\stackrel{\lambda}{}}{P}_{K}$ is a morphism of analytic varieties, where *P*_{
K
} denotes the generic fiber of *P*, which is an analytic space. When there is no confusion, we will write (*X*,*V*) for $(X\subset P,V\underrightarrow{\stackrel{\lambda}{}}{P}_{K})$ and (*X*,*P*) for $(X\subset P,{P}_{K}\underrightarrow{\stackrel{\text{id}}{}}{P}_{K})$. Define a formal morphism (*X*^{′},*V*^{′})→(*X*,*V*) of overconvergent varieties to be a commutative diagram

where *f* is a morphism of algebraic varieties, *v* is a morphism of formal schemes, and *u* is a morphism of analytic varieties.

Finally, define $\text{AN}\left(\mathcal{V}\right)$ to be the category whose objects are overconvergent varieties and morphisms are formal morphisms. We endow $\text{AN}\left(\mathcal{V}\right)$ with the analytic topology, defined to be the topology generated by families {(*X*_{
i
},*V*_{
i
})→(*X*,*V*)} such that for each *i*, the maps *X*_{
i
}→*X* and *P*_{
i
}→*P* are the identity maps, *V*_{
i
} is an open subset of *V*, and $V=\bigcup {V}_{i}$ is an open covering (recall that an open subset of an analytic space is admissible in the *G*-topology and thus also an analytic space – this can be checked locally in the *G*-topology, and for an affinoid this is clear because there is a basis for the topology of open affinoid subdomains).

**Definition** **4.2**([9], Section 1.1).

The specialization map *P*_{
K
}→*P*_{
k
} induces by composition a map *V*→*P*_{
k
} and we define the tube ]*X*[_{
V
} of *X* in *V* to be the preimage of *X* under this map. The tube $]X{[}_{{P}_{K}}$ admits the structure of an analytic space and the inclusion ${i}_{X}:]X{[}_{{P}_{K}}\phantom{\rule{0.3em}{0ex}}\hookrightarrow {P}_{K}$ is a locally closed inclusion of analytic spaces (and generally not open, in contrast to the rigid case). The tube ]*X*[_{
V
} is then the fiber product $]X{[}_{{P}_{K}}{\times}_{{P}_{K}}V$ (as analytic spaces) and in particular is also an analytic space. A formal morphism (*f*,*u*):(*X*^{′},*V*^{′})→(*X*,*V*) induces a morphism $]f{[}_{u}:]{X}^{\prime}{[}_{{V}^{\prime}}\to ]X{[}_{V}$ of tubes. (Since ]*f*[_{
u
} is induced by *u*, when there is no confusion, we will sometimes denote it by *u*).

The fundamental topological object in rigid cohomology is the tube ]*X*[_{
V
}, in that most notions are defined only up to neighborhoods of ]*X*[_{
V
}. To make this precise, modify $\text{AN}\left(\mathcal{V}\right)$.

**Definition** **4.3**([9], Definition 1.3.3).

*f*and ]

*f*[

_{ u }are isomorphisms and

*u*induces an isomorphism from

*V*

^{′}to a neighborhood

*W*of ]

*X*[

_{ V }in

*V*.

**Definition** **4.4**.

*X*

^{′},

*V*

^{′})→(

*X*,

*V*) in ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ is a pair of formal morphisms

*X*

^{′},

*W*)→(

*X*

^{′},

*V*

^{′}) is a strict neighborhood.

The functor $\text{AN}\left(\mathcal{V}\right)\to {\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ induces the image topology on ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ (i.e., the largest topology on ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ such that the map from $\text{AN}\left(\mathcal{V}\right)$ is continuous). By [9], Proposition 1.4.1, the image topology on ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ is generated by the pretopology of collections {(*X*,*V*_{
i
})→(*X*,*V*)} with $\bigcup {V}_{i}$ an open covering of a neighborhood of ]*X*[_{
V
} in *V* and $]X{[}_{V}=\bigcup \phantom{\rule{0.3em}{0ex}}]X{[}_{{V}_{i}}$.

**Definition** **4.5**.

For any presheaf $T\in \hat{{\text{AN}}^{\u2020}\left(\mathcal{V}\right)}$, we define AN^{
†
}(*T*) to be the localized category ${\text{AN}}^{\u2020}{\left(\mathcal{V}\right)}_{/T}$ whose objects are morphisms *h*_{(X,V)}→*T* (where *h*_{(X,V)} is the presheaf associated to (*X*,*V*)) and morphisms are morphisms (*X*^{′},*V*^{′})→(*X*,*V*) which induce a commutative diagram

We may endow AN^{
†
}(*T*) with the induced topology (i.e., the smallest topology making continuous the projection functor ${\text{AN}}^{\u2020}\left(T\right)\to {\text{AN}}^{\u2020}\left(\mathcal{V}\right)$; see [9], Definition 1.4.7); concretely, the covering condition is the same as in 4.4. When *T*=*h*_{(X,V)} we denote AN^{
†
}(*T*) by AN^{
†
}(*X*,*V*). Since the projection ${\text{AN}}^{\u2020}T\to {\text{AN}}^{\u2020}\mathcal{V}$ is a fibered category, the projection is also cocontinuous with respect to the induced topology. Finally, an algebraic space *X* over *k* defines a presheaf (*X*^{′},*V*^{′})↦Hom(*X*^{′},*X*), and we denote the resulting site by AN^{
†
}(*X*).

There will be no confusion in writing (*X*,*V*) for an object of AN^{
†
}(*T*).

We use subscripts to denote topoi and continue the above naming conventions – i.e., we denote the category of sheaves of sets on AN^{
†
}(*T*) (resp. AN^{
†
}(*X*,*V*),AN^{
†
}(*X*)) by ${T}_{{\text{AN}}^{\u2020}}$ (resp. ${(X,V)}_{{\text{AN}}^{\u2020}},{X}_{{\text{AN}}^{\u2020}}$). Any morphism *f*:*T*^{′}→*T* of presheaves on ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ induces a morphism ${f}_{{\text{AN}}^{\u2020}}:{T}_{{\text{AN}}^{\u2020}}^{\prime}\to {T}_{{\text{AN}}^{\u2020}}$ of topoi. For a morphism (*f*,*u*):(*X*^{′},*V*^{′})→(*X*,*V*) of overconvergent varieties, we denote the induced morphism of topoi by $({u}_{{\text{AN}}^{\u2020}}^{\ast},{u}_{{\text{AN}}^{\u2020}\ast})$.

For an analytic space *V* we denote by Open*V* the category of open subsets of *V* and by *V*_{an} the associated topos of sheaves of sets on Open*V*. Recall that for an analytic variety (*X*,*V*), the topology on the tube ]*X*[_{
V
} is induced by the inclusion *i*_{
X
}:]*X*[_{
V
} ↪*V*.

**Definition** **4.6**([9], Corollary 2.1.3).

*X*,

*V*) be an overconvergent variety. Then there is a morphism of sites

*X*[

_{ V }→AN

^{ † }(

*X*,

*V*) given by

*U*=

*W*∩ ]

*X*[

_{ V }↦ (

*X*,

*W*) (and is independent of the choice of

*W*up to strict neighborhoods). This induces a morphism of topoi

**Definition** **4.7**([9], 2.1.7).

Let (*X*,*V*)∈AN^{
†
}(*T*) be an overconvergent variety over *T* and let $F\in {T}_{{\text{AN}}^{\u2020}}$ be a sheaf on AN^{
†
}(*T*). We define the realization*F*_{X,V} of *F* on ]*X*[_{
V
} to be ${\phi}_{(X,V)\ast}\left(F{|}_{{(X,V)}_{{\text{AN}}^{\u2020}}}\right)$, where $F{|}_{{(X,V)}_{{\text{AN}}^{\u2020}}}$ is the restriction of *F* to AN^{
†
}(*X*,*V*).

We can describe the category ${T}_{{\text{AN}}^{\u2020}}$ in terms of realizations in a manner similar to sheaves on the crystalline or lisse-étale sites.

### Proposition 4.8 ([9], Proposition 2.1.8).

*T*be a presheaf on ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$. Then the category ${T}_{{\text{AN}}^{\u2020}}$ is equivalent to the following category:

- (1)
An object is a collection of sheaves

*F*_{X,V}on ]*X*[_{ V }indexed by (*X*,*V*)∈AN^{ † }(*T*) and, for each (*f*,*u*):(*X*^{′},*V*^{′})→(*X*,*V*), a morphism ${\varphi}_{f,u}:]f{[}_{u}^{-1}{F}_{X,V}\to {F}_{{X}^{\prime},{V}^{\prime}}$, such that as (*f*,*u*) varies, the maps*ϕ*_{f,u}satisfy the usual compatibility condition. - (2)
A morphism is a collection of morphisms

*F*_{X,V}→*G*_{X,V}compatible with the morphisms*ϕ*_{f,u}.

To obtain a richer theory, we endow our topoi with sheaves of rings and study the resulting theory of modules.

**Definition** **4.9**([9], Definition 2.3.4).

*i*

_{ X }is the inclusion of ]

*X*[

_{ V }into

*V*; this is a sheaf by [9], Corollary 2.3.3. For $T\in \hat{{\text{AN}}^{\u2020}\left(\mathcal{V}\right)}$ a presheaf on ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$, define ${\mathcal{O}}_{T}^{\u2020}$ to be the restriction of ${\mathcal{O}}_{\mathcal{V}}^{\u2020}$ to AN

^{ † }(

*T*). Following our naming conventions above, we denote by ${\mathcal{O}}_{(X,V)}^{\u2020}$ the restriction of ${\mathcal{O}}_{\mathcal{V}}^{\u2020}$ to AN(

*X*,

*V*).

**Remark** **4.10**.

*X*,

*V*)∈AN

^{ † }

*T*and $M\in {\mathcal{O}}_{T}^{\u2020}$, the realization

*M*

_{X,V}is an ${i}_{X}^{-1}{\mathcal{O}}_{V}$-module. For any morphism (

*f*,

*u*):(

*X*

^{′},

*V*

^{′})→(

*X*,

*V*) in AN

^{ † }(

*T*), one has a map

**Definition** **4.11**([9], Definition 2.3.7).

Define the category of overconvergent crystals on*T*, denoted Cris^{
†
}*T*, to be the full subcategory of $\text{Mod}{\mathcal{O}}_{T}^{\u2020}$ such that the transition maps ${\varphi}_{f,u}^{\u2020}$ are isomorphisms.

**Example** **4.12**.

*φ*

_{X,V∗}induces (see [9], Proposition 2.3.8) an equivalence of categories

One minor subtlety is the choice of an overconvergent variety as a base.

**Definition** **4.13**.

Let $(C,O)\in {\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ be an overconvergent variety and let *T*→*C* be a morphism from a presheaf on **S** **c** **h**_{
k
} to *C*. Then *T* defines a presheaf on AN^{
†
}(*C*,*O*) which sends (*X*,*V*)→(*C*,*O*) to Hom_{
C
}(*X*,*T*), which we denote by *T*/*O*. We denote the associated site by AN^{
†
}(*T*/*O*), and when (*C*,*O*)=(*S*_{
k
},*S*) for some formal -scheme *S*, we write instead AN^{
†
}(*T*/*S*).

The minor subtlety is that there is no morphism *T*→*h*_{(C,O)} of presheaves on ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$. A key construction is the following.

**Definition** **4.14**([9], Paragraph after Corollary 1.4.15).

Let $(X,V)\to (C,O)\in {\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ be a morphism of overconvergent varieties. We denote by *X*_{
V
}/*O* the image presheaf of the morphism (*X*,*V*)→*X*/*O*, considered as a morphism of presheaves. Explicitly, a morphism (*X*^{′},*V*^{′})→*X*/*O* lifts to a morphism (*X*^{′},*V*^{′})→*X*_{
V
}/*O* if and only if there exists a morphism (*X*^{′},*V*^{′})→(*X*,*V*) over *X*/*O*, and in particular different lifts (*X*^{′},*V*^{′})→(*X*,*V*) give rise to the same morphism (*X*^{′},*V*^{′})→*X*_{
V
}/*O*. When $(C,O)=(\text{Spec}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}k,\mathcal{\mathcal{M}}(K\left)\right)$, we may write *X*_{
V
} instead ${X}_{V}/\mathcal{\mathcal{M}}\left(K\right)$.

Many theorems will require the following extra assumption of [9], Definition 1.5.10. Recall that a morphism of formal schemes *P*^{′}→*P* is said to be proper at a subscheme$X\subset {P}_{k}^{\prime}$ if, for every component *Y* of $\overline{X}$, the map *Y*→*P*_{
k
} is proper (see [9], Definition 1.1.5).

**Definition** **4.15**.

Let $(C,O)\in {\text{AN}}^{\u2020}\left(\mathcal{V}\right)$ be an overconvergent variety and let *f*:*X*→*C* be a morphism of *k*-schemes. We say that a formal morphism (*f*,*u*):(*X*,*V*)→(*C*,*O*), written as

is a geometric realization of *f* if *v* is proper at *X*, *v* is smooth in a neighborhood of *X*, and *V* is a neighborhood of $]X{[}_{{P}_{K}{\times}_{{Q}_{K}}O}$ in ${P}_{K}{\times}_{{Q}_{K}}O$. We say that *f* is realizable if there exists a geometric realization of *f*.

We need a final refinement to ${\text{AN}}^{\u2020}\left(\mathcal{V}\right)$.

**Definition** **4.16**.

We say that an overconvergent variety (*X*,*V*) is good if there is a good neighborhood *V*^{′} of ]*X*[_{
V
} in *V* (i.e., every point of ]*X*[_{
V
} has an affinoid neighborhood in *V*). We say that a formal scheme *S* is good if the overconvergent variety (*S*_{
k
},*S*_{
K
}) is good. We define the good overconvergent site${\text{AN}}_{\text{g}}^{\u2020}\left(T\right)$ to be the full subcategory of AN^{
†
}(*T*) consisting of good overconvergent varieties. Given a presheaf $T\in {\text{AN}}^{\u2020}\left(\mathcal{V}\right)$, we denote by *T*_{g} the restriction of *T* to ${\text{AN}}_{\text{g}}^{\u2020}\left(\mathcal{V}\right)$.

Note that localization commutes with passage to good variants of our sites (e.g., there is an isomorphism ${\text{AN}}_{\text{g}}^{\u2020}{\left(\mathcal{V}\right)}_{/{T}_{\text{g}}}\cong {\text{AN}}_{\text{g}}^{\u2020}\left(T\right)$). When making further definitions we will often omit the generalization to ${\text{AN}}_{\text{g}}^{\u2020}$ when it is clear.

The following proposition will allow us to deduce facts about ${\text{Mod}}_{\text{fp}}{\mathcal{O}}_{{X}_{g}}^{\u2020}$ from results about (*X*,*V*) and *X*_{
V
}.

### Proposition 4.17.

Let $(C,O)\in {\text{AN}}_{\mathrm{g}}^{\u2020}\left(\mathcal{V}\right)$ be a good overconvergent variety and let (*X*,*V*)→(*C*,*O*) be a geometric realization of a morphism *X*→*C* of schemes. Then the following are true:

The map (*X*,*V*)_{g}→(*X*/*O*)_{g} is a covering in ${\text{AN}}_{\mathrm{g}}^{\u2020}\left(\mathcal{V}\right)$.

There is an equivalence of topoi ${({X}_{V}/O)}_{{\text{AN}}_{g}^{\u2020}}\cong {(X/O)}_{{\text{AN}}_{g}^{\u2020}}$.

The natural pullback map ${\text{Cris}}_{\mathrm{g}}^{\u2020}X/O\to {\text{Cris}}_{\mathrm{g}}^{\u2020}{X}_{V}/O$ is an equivalence of categories.

Suppose that (*X*,*V*) is good. Then the natural map ${\text{Cris}}^{\u2020}{X}_{V}/O\to {\text{Cris}}_{\mathrm{g}}^{\u2020}{X}_{V}/O$ is an equivalence of categories. In particular, the natural map ${\text{Mod}}_{\text{fp}}{\mathcal{O}}_{{X}_{\mathrm{g}}}^{\u2020}\to {\text{Mod}}_{\text{fp}}{\mathcal{O}}_{{\left({X}_{V}\right)}_{\mathrm{g}}}^{\u2020}\cong {\text{Mod}}_{\text{fp}}{\mathcal{O}}_{{X}_{V}}^{\u2020}$ is an equivalence of categories.

*Proof*.

The first two claims are [9], 1.5.14, 1.5.15, the third follows from the second, and the last is clear.

### Technical lemmas

We state here a few technical lemmas that will be useful in the proof of Theorem 1.1.

#### Lemma 4.19.

Let (*Y*,*W*)→(*X*,*V*) be a morphism of overconvergent varieties. Let *Y*^{′}=*Y*×_{
X
}*X*^{′} and *W*^{′}=*W*×_{
V
}*X*^{′}. Then (*Y*^{′},*W*^{′})≅(*Y*,*W*)×_{(X,V)}(*Y*^{′},*V*^{′}).

*Proof*.

This is the comment after [9], Proposition 1.3.10.

#### Lemma 4.20.

Let *p*:(*X*^{′},*V*^{′})→(*X*,*V*) be a morphism of overconvergent varieties such that the induced map on tubes is an inclusion of a closed subset. Then *p*_{∗} is exact.

*Proof*.

It suffices to check that, for any Cartesian diagram

the map induced on tubes by *p*^{′} is exact; the lemma follows since for any base change of *p*, the induced map on tubes is also an inclusion of a closed subset and such maps are exact.

## Cohomological descent for overconvergent crystals

In this section, we prove Theorem 1.1. The proof naturally breaks into cases: Zariski covers, modifications, finitely presented flat covers, and proper surjections. The full proof fails without the goodness assumption, but many special cases (e.g., cohomological descent with respect to Zariski hypercovers) hold without the goodness assumption.

Throughout, when discussing cohomological descent, we consider *k*-varieties, analytic varieties, etc., as presheaves on the overconvergent site.

### Zariski covers

We begin with the case of a Zariski cover. One can restate the main result of [9], section 3.6 as the statement that a Zariski covering is universally of cohomological descent with respect to crystals. Throughout this subsection, we omit distinction between AN^{
†
} and ${\text{AN}}_{g}^{\u2020}$, but remark here that each result is true for either site.

Some care is needed to interpret le Stum’s results in the language of cohomological descent; to that end, we first prove a few lemmas that will be useful in later proofs as well.

#### Lemma 5.2.

Let *p*_{0}=(*f*_{0},*u*_{0}):(*X*_{0},*V*_{0})→(*X*_{−1},*V*_{−1}) be a morphism of overconvergent varieties such that

the induced map $\phantom{\rule{0.3em}{0ex}}\left]{f}_{0}\right[\phantom{\rule{0.3em}{0ex}}:\phantom{\rule{0.3em}{0ex}}]{X}_{0}{[}_{{V}_{0}}\to \phantom{\rule{0.3em}{0ex}}]{X}_{-1}{[}_{{V}_{-1}}$ is an isomorphism, and

the natural map $]{f}_{0}{[}^{-1}{i}_{{X}_{-1}}^{-1}{\mathcal{O}}_{{V}_{-1}}\to {i}_{{X}_{0}}^{-1}{\mathcal{O}}_{{V}_{0}}$ is an isomorphism.

Then *p*_{0} is universally of cohomological descent with respect to crystals.

**Remark** **5.3**.

Note that condition (ii) of Lemma 5.2 is satisfied if *u*_{0} is a finite quasi-immersion and thus in particular is satisfied if *u*_{0} is an isomorphism or if *V*_{0} is a neighborhood of $\phantom{\rule{0.3em}{0ex}}]{X}_{-1}{[}_{{V}_{-1}}$. (Note that these are non-trivial conditions, since *f*_{0} may not be an isomorphism.) Moreover, condition (i) holds if *f*_{0} is surjective.

*Proof*.

We check the hypotheses of Corollary 3.4. Denote by *p*_{
i
}:(*X*_{
i
},*V*_{
i
})→(*X*_{−1},*V*_{−1}) the *i*+1-fold fiber product of the map *p*_{0}:(*X*_{0},*V*_{0})→(*X*_{−1},*V*_{−1}). Noting that formation of tubes commutes with base change (and in particular that the map on tubes induced by *p*_{
i
} is an isomorphism), it follows from Lemma 4.20 that *p*_{i,∗} is exact.

For each *i*≥0 and *j*>0, each projection ${p}_{i}^{j}:({X}_{i},{V}_{i})\to ({X}_{i-1},{V}_{i-1})$ also induces an isomorphism $]{X}_{i}{[}_{{V}_{i}}\cong \phantom{\rule{0.3em}{0ex}}]{X}_{i-1}{[}_{{V}_{i-1}}$ on tubes. Moreover, for a fixed *i*, the maps ${p}_{i}^{j}$ are all equal. Finally, note that by condition (ii), the natural maps $\mathcal{F}\to {p}_{i,\ast}^{j}{p}_{i}^{j,\ast}\mathcal{F}$ are all isomorphisms (contrast with Remark 5.3). It follows that the Čech complex $\mathcal{F}\to {p}_{\ast}{p}^{\ast}\mathcal{F}$ is exact (since the maps alternate between an isomorphism and the zero map). The lemma follows.

#### Lemma 5.4.

*X*

_{ i },

*V*

_{ i })→(

*X*,

*V*)} be a collection of morphisms of overconvergent varieties such that each

*V*

_{ i }→

*V*is an open immersion and $\left\{\phantom{\rule{0.3em}{0ex}}\right]{X}_{i}{[}_{{V}_{i}}\}$ is an open covering of ]

*X*[

_{ V }. Then the map

*Proof*.

Let ${W}_{i}^{\prime}$ be an open subset of *V* such that ${W}_{i}^{\prime}\phantom{\rule{0.3em}{0ex}}\cap \phantom{\rule{0.3em}{0ex}}]X{[}_{V}=\phantom{\rule{0.3em}{0ex}}]{X}_{i}{[}_{{V}_{i}}$ (which exists since] ${X}_{i}{[}_{{V}_{i}}$ is an open subset of ]*X*[_{
V
}). Let *W*_{
i
} be the preimage of *W* *i*′ under the map *V*_{
i
}→*V*. By Corollary 3.1 (4), it suffices to prove that the map ${u}_{0}^{\prime}:\coprod ({X}_{i},{W}_{i})\to (X,V)$ is universally of cohomological descent with respect to crystals.

*v*

_{ i }denote the morphism (

*X*

_{ i },

*W*

_{ i })→(

*X*,

*V*). Then the morphism

*u*0′ factors as

The map *w*_{0} is a covering in AN^{
†
}(*X*,*V*) and thus universally of cohomological descent by Theorem 3.1 (1). Since, by the construction of *W*_{
i
}, the induced map $]{X}_{i}{[}_{{W}_{i}}\to \phantom{\rule{0.3em}{0ex}}]X{[}_{{W}_{i}}$ is an isomorphism, it follows from Lemma 5.2 that each map *v*_{
i
} is universally of cohomological descent with respect to crystals. By Theorem 3.1 (6), $\coprod {v}_{i}$ is universally of cohomological descent with respect to crystals; by 3.1 (5), the composition is also universally of cohomological descent with respect to crystals and the lemma follows.

**Definition** **5.5**.

We say that a collection {*X*_{
i
}} of subspaces of a topological space *X* is a locally finite covering if *X*=∪*X*_{
i
} and if each point *x* of *X* admits an open neighborhood *U*_{
x
} on which {*X*_{
i
}∩ *U*_{
x
}} admits a finite refinement which covers *U*_{
x
}.

#### Lemma 5.6.

Let {(*f*_{
i
},*u*_{
i
}):(*X*_{
i
},*V*_{
i
})→(*X*,*V*)} be a collection of morphisms of overconvergent varieties such that

the maps $\left]{u}_{i}\right[:]{X}_{i}{[}_{{V}_{i}}\to \phantom{\rule{0.3em}{0ex}}]X{[}_{V}$ are closed inclusions of topological spaces,

$\left\{\phantom{\rule{0.3em}{0ex}}\right]{X}_{i}{[}_{{V}_{i}}\}$ is a locally finite covering of ]*X*[_{
V
}, and

*i*, the natural map $]{f}_{i}{[}^{-1}{i}_{X}^{-1}{\mathcal{O}}_{V}\to {i}_{{X}_{i}}^{-1}{\mathcal{O}}_{{V}_{i}}$ is an isomorphism.Then the map

*Proof*.

Let *F*∈Cris^{
†
}(*X*,*V*) be a crystal. By Corollary 3.4, it suffices to prove that (i) ${\mathbb{R}}^{q}{p}_{\bullet ,\ast}{p}_{\bullet}^{\ast}F=0$ for *q*>0, and (ii) the Čech complex $F\to {p}_{\bullet ,\ast}{p}_{\bullet}^{\ast}F$ is exact. Let *p*_{
j
} be the *j*-fold fiber product of *p*. By the spectral sequence (Remark 3.3), it suffices to prove that ${\mathbb{R}}^{q}{p}_{j\ast}{p}_{j}^{\ast}F=0$ for *j*≥0 and *q*>0; since for each *j*, *p*_{
j
} is a disjoint union of maps which induce closed inclusions on tubes, this follows from Lemma 4.20.

*π*:(

*X*

^{′},

*V*

^{′})→(

*X*,

*V*), the realization with respect to (

*X*

^{′},

*V*

^{′}) of the Čech complex of

*π*

^{−1}

*F*with respect to

#### Corollary 5.7.

Let (*X*↪*P*←*V*) be an overconvergent variety and let {*P*_{
i
}}_{i∈I} be a collection of Zariski open formal subschemes of *P*. Let (*X*_{
i
},*V*)=(*X*×_{
P
}*P*_{
i
}↪*P*←*V*) and let $({X}_{i},{V}_{i})=(X{\times}_{P}{P}_{i}\hookrightarrow {P}_{i}\leftarrow V{\times}_{{P}_{K}}{\left({P}_{i}\right)}_{K})$. Suppose that {*X*_{
i
}} forms a locally finite Zariski open cover of *X*. Then the following are true:

The map $\coprod ({X}_{i},V)\to (X,V)$ is universally of cohomological descent with respect to crystals.

Suppose (*X*,*V*) is good and that the tubes $\left\{\phantom{\rule{0.3em}{0ex}}\right]{X}_{i}{[}_{{V}_{i}}\}$ cover a neighborhood of ]*X*[_{
V
} in *V*.

Then $\coprod ({X}_{i},{V}_{i})\to (X,V)$ is universally of cohomological descent with respect to finitely presented crystals.

**Remark** **5.8**.

By Remark 5.3, the extra hypothesis on the tubes in claim (2) is necessary.

*Proof*.

Since specialization is anti-continuous, the tubes form a locally finite closed covering and claim (1) thus follows from Lemma 5.6. For claim (2), since (*X*,*V*) is good, we may assume that *V* is affinoid. The claim then follows by Tate’s Acylicity Theorem [23], 8.2, Corollary 5.

We say that a morphism of schemes *X*→*Y* over *k* is universally of cohomological descent (resp., with respect to a sheaf $\mathcal{F}\in Ab\left({Y}_{{\text{AN}}^{\u2020}}\right)$) if the associated morphism ${X}_{{\text{AN}}^{\u2020}}\to {Y}_{{\text{AN}}^{\u2020}}$ is universally of cohomological descent (resp., with respect to ).

#### Theorem 5.9.

Let (*C*,*O*) be an overconvergent variety and let *X*→*C* be a morphism of algebraic varieties. Let {*U*_{
i
}}_{i∈I} be a locally finite covering of *X* by open subschemes (resp., a covering of *X* by closed subschemes) and denote by ${\alpha}_{0}:U=\coprod _{i\in I}{U}_{i}\to X$ the induced morphism of schemes. Denote by *α*:*U*_{∙}→*X* the 0-coskeleton of *α*_{0}. Then the morphism of topoi ${U}_{\bullet}/{O}_{{\text{AN}}^{\u2020}}\to X/{O}_{{\text{AN}}^{\u2020}}$ is universally of cohomological descent with respect to .

*Proof*.

The proof for ${\alpha}_{{\text{AN}}_{\text{g}}^{\u2020}}$ is identical to the proof for ${\alpha}_{{\text{AN}}^{\u2020}}$. We note that the map $\coprod ({X}^{\prime},V)\to X$, where the coproduct is taken over AN^{
†
}(*X*/*O*), is a covering in the canonical topology on AN^{
†
}(*X*/*O*) and thus universally of cohomological descent. Setting ${U}_{i}^{\prime}={X}^{\prime}{\times}_{X}{U}_{i}$, the diagram (of sheaves on AN^{
†
}*O*)

commutes. By Lemma 5.6 (resp., Lemma 5.4) the maps $\coprod (\underset{i}{\overset{\prime}{U}},V)\to ({X}^{\prime},V)$ are universally of cohomological descent with respect to crystals; the theorem thus follows from Corollary 3.2.

**Remark** **5.10**.

*X*

_{ i }} be a collection of schemes. Then the presheaf on ${\text{AN}}^{\u2020}\mathcal{V}$ represented by the disjoint union $\coprod {X}_{i}$ (as schemes) is

*not*equal to the disjoint union (as presheaves) of the presheaves represented by each

*X*

_{ i }. Nonetheless, Theorem 3.1 (6) also holds for the map in ${\text{AN}}^{\u2020}\mathcal{V}$ represented by a disjoint union $\coprod {Y}_{i}\to \coprod {X}_{i}$ of morphisms of schemes (taken as a disjoint union of schemes instead of as presheaves on ${\text{AN}}^{\u2020}\mathcal{V}$); indeed, the sheafification of $\coprod {X}_{i}$ is the same in each case, and in general for a site

*C*and a presheaf $F\in \hat{C}$ with sheafification

*F*

^{ a }, there is a natural equivalence

#### Corollary 5.11.

Let (*C*,*O*) be an overconvergent variety and let *X*→*Y* be a morphism of algebraic varieties over *C*. Let {*Y*_{
i
}} be a locally finite open cover of *Y* and denote by *X*_{
i
} the fiber product *X*×_{
Y
}*Y*_{
i
}. Then $X/{O}_{{\text{AN}}^{\u2020}}\to Y/{O}_{{\text{AN}}^{\u2020}}$ is universally of cohomological descent with respect to crystals if and only if for each *i*, the map ${X}_{i}/{O}_{{\text{AN}}^{\u2020}}\to {Y}_{i}/{O}_{{\text{AN}}^{\u2020}}$ is universally of cohomological descent with respect to crystals.

*Proof*.

This follows from Theorems 5.9 and 3.1 (3) and (6) applied to the diagram of sheaves on AN^{
†
}(*Y*/*O*) induced by the Cartesian diagram of schemes

The following direct corollary to Theorem 5.9 allows us to reduce to the integral case.

#### Corollary 5.12.

Let *Y* be an algebraic variety. Let $\left\{{Y}_{i}^{\prime}\right\}$ be the set of irreducible components of *Y* and let ${Y}_{i}:={\left({Y}_{i}^{\prime}\right)}_{\text{red}}$ be the reduction of ${Y}_{i}^{\prime}$. Then the morphism $\coprod {Y}_{i}\to Y$ is universally of cohomological descent with respect to crystals.

### Modifications

In order to apply Raynaud-Gruson’s theorem on ‘flattening stratifications’, we now address cohomological descent for modifications. The following lemma is an adaptation of [5], Lemma 3.4.5 to the overconvergent site, with a minor variation in that we work with non-archimedean analytic spaces. Note also that some care (e.g., the use of Lemma 5.2) is necessary to apply his argument to the overconvergent site.

#### Lemma 5.14.

Let *Y* be a scheme and let *Z* be a closed subscheme whose sheaf of ideals *I* is generated by two elements *f* and *g*. Then the blow up *X*→*Y* of *Y* with respect to *I* is universally of cohomological descent with respect to crystals.

*Proof*.

By Corollary 5.11, we may assume that *Y* is affine and thus admits an embedding $Y\hookrightarrow P:=\hat{{\mathbb{P}}_{\mathcal{V}}^{n}}$. Let ${\{{P}_{i}:=\hat{{\mathbb{\mathbb{A}}}^{n}}\}}_{i=0}^{n}$ (where we invert the *i* th coordinate on ${\mathbb{P}}^{n}$) and let *Y*_{
i
}=*Y*×_{
P
}*P*_{
i
}. Let $\overline{{Y}_{i}}$ be the closure of *Y*_{
i
} in *P*_{
i
}.

Let *f*_{
i
} (resp. *g*_{
i
}) denote the restriction of *f* (resp. *g*) to *Y*_{
i
} and denote by *Z*_{
i
} the subscheme defined by *f*_{
i
} and *g*_{
i
}. We claim that *f* and *g* lift to sections *f*^{′} and *g*^{′} of *P*. Indeed, the immersion *Y*↪*P* factors through a closed immersion $Y\to {\mathbb{\mathbb{A}}}_{\mathcal{V}}^{n}$; since this is a closed immersion the sections lift to ${\mathbb{\mathbb{A}}}^{n}$, and we can lift to ${\mathbb{P}}^{n}$ by homogenizing.

Denote by $\overline{{f}_{i}}$ and $\overline{{g}_{i}}$ restrictions of the lifts *f*^{′} and *g*^{′} to $\Gamma \left({\mathcal{O}}_{\overline{{Y}_{i}}}\right)$ and define $\overline{{Z}_{i}}$ be the subscheme of $\overline{{Y}_{i}}$ defined by $\overline{{f}_{i}}$ and $\overline{{g}_{i}}$. Let $\overline{{X}_{i}}$ be the blow up of $\overline{{Y}_{i}}$ along $\overline{{Z}_{i}}$. Then $\overline{{Z}_{i}}{\times}_{\overline{{Y}_{i}}}{Y}_{i}={Z}_{i}$ and $\overline{{X}_{i}}{\times}_{\overline{{Y}_{i}}}{Y}_{i}={X}_{i}$.

*U*

_{i,1}be the tube $]\overline{{Z}_{i}}{[}_{{\left({P}_{i}\right)}_{K}}$ of $\overline{{Z}_{i}}$ in (

*P*

_{ i })

_{ K }. Fix a rational number

*λ*in (0,1), let $\widehat{{f}_{i}}$ and $\widehat{{g}_{i}}$ be lifts of $\overline{{f}_{i}}$ and $\overline{{g}_{i}}$ to $\text{g}\mathit{\text{amma}}\left({\mathcal{O}}_{{P}_{i}}\right)$, and define

*U*

_{i,1}∪

*U*

_{i,2}is a cover of $]\overline{{X}_{i}}{[}_{{\left({P}_{i}\right)}_{K}}$.

The scheme $\overline{{X}_{i}}$ is a subscheme of ${\mathbb{P}}_{{P}_{i}}^{1}$ (indeed, if *s* and *t* are coordinates for ${\mathbb{P}}^{1}$, then $\overline{{X}_{i}}$ is defined by the equation $\overline{{f}_{i}}t-\overline{{g}_{i}}s$). Set ${V}_{i,1}:={U}_{i,1}{\times}_{{\left({P}_{i}\right)}_{K}}{\left({\mathbb{P}}_{{P}_{i}}^{1}\right)}_{K}\cong {\mathbb{P}}_{{U}_{i,1}}^{1}$. The map (*X*_{
i
},*V*_{i,1})→(*Y*_{
i
},*U*_{i,1}) of overconvergent varieties factors as (*X*_{
i
},*V*_{i,1})→(*Y*_{
i
},*V*_{i,1})→(*Y*_{
i
},*U*_{i,1}). The second map has a section and is thus universally of cohomological descent by Theorem 3.1 (2), and the first map is universally of cohomological descent with respect to crystals by Lemma 5.2 (for the first map, note that since *X*_{
i
}→*Y*_{
i
} is surjective, the map on tubes is an isomorphism); we conclude that (*X*_{
i
},*V*_{i,1})→(*Y*_{
i
},*U*_{i,1}) universally of cohomological descent with respect to crystals by Theorem 3.1 (5).

Let *R*_{
i
} be the closed formal subscheme of ${\mathbb{P}}_{{P}_{i}}^{1}$ defined by the equation ${\widehat{f}}_{i}t-{\u011d}_{i}s$. Then (*R*_{
i
})_{
K
}→(*P*_{
i
})_{
K
} is an isomorphism away from the vanishing locus of $\widehat{{f}_{i}}$ and $\widehat{{g}_{i}}$ in (*P*_{
i
})_{
K
}. Denote by *V*_{i,2} the pre-image of *U*_{i,2} under the map (*R*_{
i
})_{
K
}→(*P*_{
i
})_{
K
}. Then the map (*X*_{
i
},*V*_{i,2})→(*Y*_{
i
},*U*_{i,2}) of overconvergent varieties factors as (*X*_{
i
},*V*_{i,2})→(*Y*_{
i
},*V*_{i,2})→(*Y*_{
i
},*U*_{i,2}); the second map is an isomorphism, and the first map is universally of cohomological descent with respect to crystals by Lemma 5.2 (again, since *X*_{
i
}→*Y*_{
i
} is surjective, the map on tubes is an isomorphism); we conclude that (*X*_{
i
},*V*_{i,2})→(*Y*_{
i
},*U*_{i,2}) is universally of cohomological descent with respect to crystals by Theorem 3.1 (5).

We get a diagram

The middle horizontal map is universally of cohomological descent with respect to crystals by Lemma 5.7 and the left and right horizontal maps are universally of cohomological descent by Theorems 4.17 and 3.1 (1); thus the composition is universally of cohomological descent with respect to crystals by Theorem 3.1 (5). By the previous two paragraphs and Theorem 3.1 (6), the left vertical map is universally of cohomological descent with respect to crystals; the lemma thus follows from Theorem 3.1 (4).

The next lemma lets us reduce the case of a general blow up to the situation of Lemma 5.14.

#### Lemma 5.15.

*Y*be a Noetherian integral scheme, let $I\subset {\mathcal{O}}_{Y}$ be a sheaf of ideals globally generated by

*r*≥2 many elements and let

*X*→

*Y*be the blow up of

*Y*along

*I*. Then there exists a map

*X*

^{′}→

*X*such that the composition

*X*

^{′}→

*Y*factors as

*X*

_{ i }→

*X*

_{i−1}is a blow up centered at an ideal which is globally generated by two elements.

*Proof*.

This is a special case of [5], Lemma 3.4.4.

Recall that a morphism *p*:*X*→*Y* is a modification if it is proper and an isomorphism over a dense open subscheme of *Y*. The next proposition shows that modifications are universally of cohomological descent with respect to crystals.

#### Proposition 5.16.

Let *p*:*X*→*Y* be a modification. Then *p* is universally of cohomological descent with respect to crystals.

*Proof*.

By Chow’s lemma [24], Theorem 5.6.1 and 3.1 (4), we may assume that *p* is projective. By Corollary 5.12 and Theorem 3.1 (4) and (5), we may assume that *Y* is integral, and then by [25], Section 8, Theorem 1.24, there exists an affine open cover {*Y*_{
i
}} of *Y* such that for each *i*, *Y*_{
i
}×_{
Y
}*X*→*Y*_{
i
} is a blow up of *Y*_{
i
} along a closed subscheme; by Corollary 5.11, we may thus assume that *p* is a blow up. By the structure lemma for blow ups (Lemma 5.15), we may reduce to the case of a codimension one blow up which is Lemma 5.14.

### Flat covers

In this section, we prove Theorem 1.1 (i) – that finitely presented crystals are universally cohomologically descendable with respect to fppf (faithfully flat locally finitely presented) morphisms of schemes.

**Definition** **5.18**.

A map (*f*,*u*):(*X*^{′},*V*^{′})→(*X*,*V*) of overconvergent varieties is said to be finite (see [9], Definition 3.2.3) if, up to strict neighborhoods, *u* is finite (see [18], paragraph after Lemma 1.3.7) and ${u}^{-1}\left(\right]X{[}_{V})=\phantom{\rule{0.3em}{0ex}}]{X}^{\prime}{[}_{{V}^{\prime}}$. Moreover, *u* is said to be universally flat if *u* is quasi-finite and, locally for Grothendieck topology on *V*^{′} and *V*, *u* is of the form $\mathcal{\mathcal{M}}\left({A}^{\prime}\right)\to \mathcal{\mathcal{M}}\left(A\right)$ with *A*→*A*^{′} flat (see [18], Definition 3.2.5).

#### Proposition 5.19.

Let (*f*,*u*):(*X*^{′},*V*^{′})→(*X*,*V*) be a finite map of overconvergent varieties and suppose that, after possibly shrinking *V*^{′} and *V*, *u* is universally flat and surjective. Then (*f*,*u*) is universally of cohomological descent with respect to finitely presented overconvergent crystals.

*Proof*.

To ease notation we set *p*:=(*f*,*u*). Let *F*∈Mod_{fp}(*X*,*V*). By Corollary 3.4, it suffices to prove that (i) ${\mathbb{R}}^{q}{p}_{\bullet ,\ast}{p}_{\bullet}^{\ast}F=0$ for *q*>0 and (ii) the Čech complex $F\to {p}_{\bullet ,\ast}{p}_{\bullet}^{\ast}F$ is exact. Let *p*_{
i
}:=(*f*_{
i
},*u*_{
i
}):(*X*_{
i
},*V*_{
i
})→(*X*,*V*) be the *i*-fold fiber product of *p*; *p*_{
i
} also satisfies the hypotheses of this proposition. By the spectral sequence (Remark 3.3), it suffices to prove that ${\mathbb{R}}^{q}{p}_{i\ast}{p}_{i}^{\ast}F=0$ for *i*≥0 and *q*>0.

Shrink *V* and *V*_{
i
} such that *u*_{
i
} is finite and such that *F*_{X,V} is isomorphic to ${i}_{X}^{-1}G$ for some $G\in \text{Coh}{\mathcal{O}}_{V}$ (which is possible by [9], Proposition 2.2.10). To prove (i), one can work with realizations as in [9], Proof of Proposition 3.2.4; it thus suffices to prove that ${\mathbb{R}}^{q}\left]{u}_{i}{[}_{\ast}\right]{u}_{i}{[}^{\ast}{F}_{X,V}=0$ for *q*>0. Then ${\mathbb{R}}^{q}\left]{u}_{i}{[}_{\ast}\right]{u}_{i}{[}^{\ast}{F}_{X,V}={i}_{X}^{-1}{\mathbb{R}}^{q}{u}_{i\ast}{u}_{i}^{\ast}G$; by [18], Corollary 4.3.2 ${\mathbb{R}}^{q}{u}_{i\ast}{u}_{i}^{\ast}G=0$ and (i) follows.

For (ii), since one can check exactness of a complex of abelian sheaves on the collection of all good realizations and since our hypotheses are stable under base change, it suffices to prove that the Čech complex of *F*_{X,V} with respect to ]*u*[ is exact. Since ${i}_{X}^{-1}$ is exact, it suffices to prove that the Čech complex of *G* with respect to *u* is exact.

By [18], Proposition 4.1.2, *G* is a sheaf in the flat quasi-finite topology, so by Theorem 3.1 (1), $G\to {u}_{\bullet ,\ast}{u}_{\bullet}^{\ast}G$ is exact in the flat quasi-finite topology; since *G* is coherent and (*X*,*V*) is good, this is exact in the usual topology.

Recall that a monogenic map of rings is a map of the form *A*→*A*[*t*]/*f*(*t*), where *f*∈*A*[*t*] is a monic polynomial, and a map of affine formal schemes is said to be monogenic if the associated map on rings is monogenic.

*Proof of Theorem 1.1 (i).* By Theorem 5.9 and Corollary 3.2, we may assume that everything is affine.

Step 0: (Reduction to the finite and locally free case). Let *p*:*X*→*Y* be an fppf cover. By [26], Lemma (http://math.columbia.edu/algebraic_geometry/stacks-git/locate.php?tag=05WN), there exists a map *X*^{′}→*X* such that the composition *X*^{′}→*Y* is a composition of surjective finite locally free morphisms and Zariski coverings; by Theorem 5.9 and Corollary 3.2, we may assume that *X*→*Y* is finite and locally free.

Step 1: (Monogenic case). Suppose that *X*→*Y* is monogenic and choose a closed embedding $Y\hookrightarrow {\mathbb{\mathbb{A}}}_{\mathcal{V}}^{n}$ (which exists since *Y* is affine and of finite type) and then an open immersion ${\mathbb{\mathbb{A}}}_{\mathcal{V}}^{n}\subset P:={\mathbb{P}}_{\mathcal{V}}^{n}$. The polynomial defining *X*→*Y* lifts to a monic polynomial with coefficients, giving a monogenic (and thus finite and flat) map ${X}_{0}\to {\mathbb{\mathbb{A}}}_{\mathcal{V}}^{n}$, and then homogenizing this polynomial gives a map *π*:*P*^{′}→*P* of schemes over $\text{Spec}\mathcal{V}$ and an embedding *X*↪*P*^{′} which is compatible with the embedding *Y*↪*P*. The map *π* may not be finite or flat (see Remark 5.20 below), but (noting that *π* is projective) by [12], Théorèm 5.2.2, there exists a modification $\stackrel{~}{P}\to P$, centered away from *X*, such that the strict transform $\stackrel{~}{{P}^{\prime}}\to \stackrel{~}{P}$ of *P*^{′}→*P* is flat and (since it is generically finite, flat, and proper) finite.

Replacing *P*^{′}→*P* with the formal completion of $\stackrel{~}{{P}^{\prime}}\to \stackrel{~}{P}$, we thus have a finite flat map *P*^{′}→*P* of formal schemes and an embedding *X*↪*P*^{′} which is compatible with the embedding *Y*↪*P*. Consider the diagram

By Theorems 4.17 and 3.1 (1), (*Y*,*P*_{
K
})→*Y* is universally of cohomological descent with respect to crystals, so by Corollary 3.2 it suffices to prove that $(X,{P}_{K}^{\prime})\to (Y,{P}_{K})$ is universally of cohomological descent with respect to finitely presented crystals. Since *X*=*Y*×_{
P
}*P*^{′}, $(X,{P}_{K}^{\prime})\to (Y,{P}_{K})$ satisfies the hypotheses of Proposition 5.19 and step 1 follows.

Step 2: (Base extension). Now let *k*⊂*k*^{′} be a finite field extension of the residue field. We claim that it suffices to check that ${X}_{{k}^{\prime}}\to {Y}_{{k}^{\prime}}$ is universally of cohomological descent with respect to finitely presented crystals. Indeed, let *k*=*k*_{0}⊂*k*_{1}⊂…⊂*k*_{n−1}⊂*k*_{
n
}=*k*^{′} be a sequence of field extensions such that *k*_{
i
}=*k*_{i−1}(*α*_{
i
}) for some *α*_{
i
}∈*k*_{
i
} (note that one may not be able to choose *n*=1 since *k*⊂*k*^{′} may not be separable). Consider the diagram

Each map ${Y}_{{k}_{i}}\to {Y}_{{k}_{i-1}}$ is monogenic and thus universally of cohomological descent with respect to finitely presented crystals, the claim thus follows from Theorem 3.1 (4), (5), and (6).

Step 3: (Reduction to the monogenic case). Let $\overline{k}$ be the algebraic closure of *k* and let ${p}_{\overline{k}}:{X}_{\overline{k}}\to {Y}_{\overline{k}}$ be the base change of *p* to $\overline{k}$. Let $x\in {X}_{\overline{k}}$ be a closed point and set $y={p}_{\overline{k}}\left(x\right)$. Let $\overline{k}\left(x\right)$ and $\overline{k}\left(y\right)$ denote the residue fields of *x* and *y*; since $\overline{k}$ is algebraically closed, $\overline{k}\left(x\right)=\phantom{\rule{0.3em}{0ex}}\overline{k}\left(y\right)$. In particular, $\overline{k}\left(y\right)$ is a separable extension of $\overline{k}\left(x\right)$, and thus, by the argument of [27], 2.3, Proposition 3, there exists a (generally non-cartesian) commutative diagram

where *X*_{
x
} (resp. *Y*_{
y
}) is an affine open neighborhood of *x* (resp. *y*) and *X*_{
x
}→*Y*_{
y
} is monogenic. By quasi-compactness of ${Y}_{\overline{k}}$, there thus exists a (generally non-cartesian) commutative diagram

such that {*Y*_{
i
}} is a finite cover of ${Y}_{\overline{k}}$ by affine open subschemes of finite type over $\overline{k}$, *X*_{
i
} is an affine open subscheme of ${X}_{\overline{k}}$, and each map *f*_{
i
}:*X*_{
i
}→*Y*_{
i
} is monogenic. Since the covering is finite, there exists a finite field extension *k*⊂*k*^{′} and a (generally non-Cartesian) commutative diagram

with the same properties. By step 2, it suffices to check that ${X}_{{k}^{\prime}}\to {Y}_{{k}^{\prime}}$ is universally of cohomological descent with respect to finitely presented crystals. By Corollary 3.2, it suffices to prove this for each *i*, the map ${X}_{i}^{\prime}\to {Y}_{i}^{\prime}$, which follows from step 1.

**Remark** **5.20**.

The modification in step 1 of the proof is necessary. Indeed, the monogenic map $X\to {\mathbb{\mathbb{A}}}^{2}$ given by *t*^{2}+*x*_{1}*x*_{2}*t*+*x*_{1}+*x*_{2} homogenizes to the map ${X}^{\prime}\to {\mathbb{P}}^{2}$ given by ${x}_{0}^{2}{t}^{2}+{x}_{1}{x}_{2}\mathit{\text{ts}}+({x}_{1}+{x}_{2}){x}_{0}{s}^{2}$ which is not flat, since it is generically quasi-finite but not quasi-finite (since the fiber over *x*_{0}=*x*_{1}=0 is ${\mathbb{P}}^{1}$).

### Proper surjections

The proper case of the main theorem will now follow from Chow’s lemma and the Raynaud-Gruson theorem on ‘Flattening Blow Ups’.

*Proof of Theorem 1.1 (ii)*. Let *p*:*X*→*Y* be a proper surjection. By Chow’s lemma [24], Theorem 5.6.1 and Theorem 3.1 (4), we may assume that *p* is projective. By Corollary 5.11 we may assume that *Y* is affine and thus by [12], Théorèm 5.2.2, there exists a modification *Y*^{′}→*Y* such that the strict transform *X*^{′}→*Y*^{′} is flat. By Theorem 1.1 (i) (resp. 5.16) *X*^{′}→*Y*^{′} (resp. *Y*^{′}→*Y*) is universally of cohomological descent with respect to finitely presented crystals. By 3.1 (5), the composition *X*^{′}→*Y* is universally of cohomological descent, and the proper case of the main theorem follows from 3.1 (4).

## Declarations

### Acknowledgements

We would like to thank Bjorn Poonen, Brian Conrad, Arthur Ogus, Bernard le Stum, Bruno Chiarellotto, and Anton Geraschenko for many useful conversations and encouragement. We also remark that the étale case was part of the author’s thesis [14].

This work was partially supported by a National Defense Science and Engineering Graduate Fellowship and by a National Security Agency Young Investigator grant.

## Authors’ Affiliations

## References

- Kedlaya KS:
**Finiteness of rigid cohomology with coefficients.***Duke Math. J*2006,**134**(1):15–97. 10.1215/S0012-7094-06-13412-9MATHMathSciNetView ArticleGoogle Scholar - le Stum B:
*Rigid cohomology, Cambridge Tracts in Mathematics*. Cambridge University Press, Cambridge; 2007.View ArticleMATHGoogle Scholar - Chiarellotto B, Tsuzuki N:
**Cohomological descent of rigid cohomology for étale coverings.***Rend. Sem. Mat. Univ. Padova*2003,**109:**63–215.MATHMathSciNetGoogle Scholar - Tsuzuki N:
**Cohomological descent of rigid cohomology for proper coverings.***Invent. Math*2003,**151**(1):101–133. 10.1007/s00222-002-0252-9MATHMathSciNetView ArticleGoogle Scholar - Tsuzuki N:
**Cohomological descent in rigid cohomology.**In*Geometric aspects of Dwork theory. vol. I, II*. Walter de Gruyter GmbH & Co. KG, Berlin; 2004.Google Scholar - Berthelot P:
**Géométrie rigide et cohomologie des variétés algébriques de caractéristique**p**.***Mém. Soc. Math. France (N.S.)*1986,**23**(3):7–32. Introductions aux cohomologies*p*-adiques (Luminy, 1984) Introductions aux cohomologies p-adiques (Luminy, 1984)MATHMathSciNetGoogle Scholar - Berthelot P:
**Dualité de Poincaré et formule de Künneth en cohomologie rigide.***C. R. Acad. Sci. Paris Sér. I Math*1997,**325**(5):493–498. 10.1016/S0764-4442(97)88895-7MATHMathSciNetView ArticleGoogle Scholar - Berthelot P:
**Finitude et pureté cohomologique en cohomologie rigide.***Invent. Math*1997,**128**(2):329–377. With an appendix in English by Aise Johan de Jong With an appendix in English by Aise Johan de Jong 10.1007/s002220050143MATHMathSciNetView ArticleGoogle Scholar - le Stum B:
*The overconvergent site*. Societe Mathematique de France, Paris; 2010.MATHGoogle Scholar - le Stum B:
**Constructible ∇-modules on curves.***Selecta Math. (N.S.)*2014,**20**(2):627–674. 10.1007/s00029-013-0130-xMATHMathSciNetView ArticleGoogle Scholar - Lecture Notes in Mathematics. Springer-Verlag, Berlin; 1972.Google Scholar
- Raynaud M, Gruson L:
**Critères de platitude et de projectivité. Techniques de “platification” d’un module.***Invent. Math*1971,**13:**1–89. 10.1007/BF01390094MATHMathSciNetView ArticleGoogle Scholar - Davis C, Langer A, Zink T:
**Overconvergent de Rham-Witt cohomology.***Ann. Sci. Éc. Norm. Supér. (4)*2011,**44**(2):197–262.MATHMathSciNetGoogle Scholar - Brown, D: Rigid cohomology of algebraic stacks. Thesis, UC Berkeley (2010). Brown, D: Rigid cohomology of algebraic stacks. Thesis, UC Berkeley (2010).Google Scholar
- Berkovich VG:
**Vanishing cycles for formal schemes.***Invent. Math*1994,**115**(3):539–571. 10.1007/BF01231772MATHMathSciNetView ArticleGoogle Scholar - Grothendieck A:
**Éléments de géométrie algébrique I. Le langage des schémas.***Inst. Hautes Études Sci. Publ. Math*1960,**4:**228. 10.1007/BF02684778View ArticleGoogle Scholar - Berkovich, VG: Smooth p-adic analytic spaces are locally contractible. Invent. Math. 137(1), 1–84 (1999). Berkovich, VG: Smooth p-adic analytic spaces are locally contractible. Invent. Math. 137(1), 1–84 (1999).Google Scholar
- Berkovich VG:
**Étale cohomology for non-Archimedean analytic spaces.***Inst. Hautes Études Sci. Publ. Math*1994,**78:**5–161. 10.1007/BF02712916View ArticleMATHGoogle Scholar - Théorie des topos. Lecture Notes in Mathematics. Springer-Verlag, Berlin; 1972.Google Scholar
- Deligne P:
**Théorie de Hodge. III.***Inst. Hautes Études Sci. Publ. Math*1974,**44:**5–77. 10.1007/BF02685881MATHMathSciNetView ArticleGoogle Scholar - Conrad, B: Cohomological descent. . Accessed 9 August 2014., [http://math.stanford.edu/~conrad/papers/hypercover.pdf] Conrad, B: Cohomological descent. . Accessed 9 August 2014.
- Olsson, MC: Crystalline cohomology of algebraic stacks and Hyodo-Kato cohomology.Astérisque (2007).MATHGoogle Scholar
- Bosch S, Güntzer U, Remmert R:
*Non-Archimedean analysis. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]*. Springer-Verlag, Berlin; 1984.Google Scholar - Grothendieck A:
**Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes.***Inst. Hautes Études Sci. Publ. Math*1961,**8:**222.Google Scholar - Liu Q:
*Algebraic geometry and arithmetic curves, Oxford Graduate Texts in Mathematics, vol.6*. Oxford University Press, Oxford; 2002.Google Scholar - The Stacks Project: Stacks Project. [http://math.columbia.edu/algebraic_geometry/stacks-git] Accessed 9 August 2014.
- Bosch S, Lütkebohmert W, Raynaud M:
*Néron models. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]*. Springer-Verlag, Berlin; 1990.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.