ScalingStacks

Special domains and acyclicity of structural presheaf [02GF]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context ยท Original author HTML

Special domains and acyclicity of structural presheaf
Definition 2.65.

A special domain VV in ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}) is a finite union of affinoid domains ViV_{i} in ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}).

Definition 2.66.

The Grothendieck topology on ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}) is the one with special domains as admissible open sets and finite covering as admissible coverings. One notes ๐”โ€‹(๐’œ)G\mathfrak{M}(\mathcal{A})_{G} for the space with this G-topology.

Definition 2.67.

Let ๐”™\mathfrak{V} be an admissible covering of ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}) by affinoid domains {Vi}iโˆˆI\{V_{i}\}_{i\in I}, where II is a finite set. Then for a Banach finite ๐’œ\mathcal{A}-module โ„ณ\mathcal{M}, the Cech complex of โ„ณ\mathcal{M} with respect to ViV_{i} is defined to be the complex of Banach ๐’œ\mathcal{A}-modules

Cโˆ™(โ„ณ,๐”™):ย 0โ†’โ„ณโ†’โˆiโˆˆIโ„ณiโ†’โˆi,jโˆˆIโ„ณi,jโ†’โ€ฆC^{\centerdot}(\mathcal{M},\mathfrak{V}):\text{ }0\to\mathcal{M}\to\prod_{i\in I}\mathcal{M}_{i}\to\prod_{i,j\in I}\mathcal{M}_{i,j}\to\dots

One would like to have acyclicity of the complex Cโˆ™โ€‹(โ„ณ,๐”™)C^{\centerdot}(\mathcal{M},\mathfrak{V}) in order to follow standard construction of a structural sheaf on ๐”โ€‹(๐’œ)G\mathfrak{M}(\mathcal{A})_{G}.

Theorem 2.68.

Let ๐’œ\mathcal{A} be a strict affinoid algebra and ๐”™\mathfrak{V} an admissible covering by strict affinoid domains for ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}). Then Cโˆ™โ€‹(๐’œ,๐”™)C^{\centerdot}(\mathcal{A},\mathfrak{V}) is acyclic. ([BGR, Proposition 8.2.2.5])

Corollary 2.69.

For general affinoid domain ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}) with general affinoid domains covering ๐”™\mathfrak{V}, the complex Cโˆ™โ€‹(๐’œ,๐”™)C^{\centerdot}(\mathcal{A},\mathfrak{V}) is acyclic. So is Cโˆ™โ€‹(M,๐”™)C^{\centerdot}(M,\mathfrak{V}) for finite Banach ๐’œ\mathcal{A}-module MM. ([Ber, Proposition 2.2.5])

Definition 2.70.

Let VV be any special domain in ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}). Fix a way of writing VV as โ‹ƒiโˆˆIVi\bigcup_{i\in I}V_{i} where II is a finite set and Vi=๐”โก(๐’œVi)V_{i}=\mathfrak{M}(\mathcal{A}_{V_{i}}) are affinoid algebras, let

๐’œV:=kerโก(โˆiโˆˆI๐’œViโ†’โˆi,jโˆˆI๐’œViโˆฉVj)\mathcal{A}_{V}:=\ker(\prod_{i\in I}\mathcal{A}_{V_{i}}\to\prod_{i,j\in I}\mathcal{A}_{V_{i}\cap V_{j}})

be the kk-Banach algebra with sub-norm. The structural pre-sheaf of affinoid algebras ๐’ช๐”โ€‹(๐’œ)G\mathscr{O}_{\mathfrak{M}(\mathcal{A})_{G}} on ๐”โ€‹(๐’œ)G\mathfrak{M}(\mathcal{A})_{G} (with respect to the G-topology) is the one assigning VV the kk-Banach algebra ๐’œV\mathcal{A}_{V}. It is a sheaf thanks to Corollary 2.69.

Remark 2.71.

The kk-Banach algebra ๐’ช๐”โ€‹(๐’œ)Gโ€‹(V)\mathscr{O}_{\mathfrak{M}(\mathcal{A})_{G}}(V) does not depend on the way of being a union of affinoid domains.

Definition 2.72.

For any open subset UU of ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}), let ๐’ช๐”โก(๐’œ)\mathscr{O}_{\mathfrak{M}(\mathcal{A})} be the pre-sheaf of kk-algebras (with respect to the canonical topology) which assigns UU the limit

๐’ช๐”โก(๐’œ)โ€‹(U):=limโ†VโŠ‚U,V special domainโก๐’œV\mathscr{O}_{\mathfrak{M}(\mathcal{A})}(U):=\varprojlim_{V\subset U,\text{V special domain}}\mathcal{A}_{V}

It is also a sheaf thanks to the compactness of special domains under canonical topology. This is called the structural sheaf of ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}).

Proposition 2.73.

๐’ช๐”โก(๐’œ)\mathscr{O}_{\mathfrak{M}(\mathcal{A})} is a sheaf of local rings. The topological space ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}) has a structure of locally ringed space given by the sheaf ๐’ช๐”โก(๐’œ)\mathscr{O}_{\mathfrak{M}(\mathcal{A})}. ([Ber, Section 2.3])

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.