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 in is a finite union of affinoid domains in .
Definition 2.66.
The Grothendieck topology on is the one with special domains as admissible open sets and finite covering as admissible coverings. One notes for the space with this G-topology.
Definition 2.67.
Let be an admissible covering of by affinoid domains , where is a finite set. Then for a Banach finite -module , the Cech complex of with respect to is defined to be the complex of Banach -modules
One would like to have acyclicity of the complex in order to follow standard construction of a structural sheaf on .
Theorem 2.68.
Let be a strict affinoid algebra and an admissible covering by strict affinoid domains for . Then is acyclic. ([BGR, Proposition 8.2.2.5])
Corollary 2.69.
For general affinoid domain with general affinoid domains covering , the complex is acyclic. So is for finite Banach -module . ([Ber, Proposition 2.2.5])
Definition 2.70.
Let be any special domain in . Fix a way of writing as where is a finite set and are affinoid algebras, let
be the -Banach algebra with sub-norm. The structural pre-sheaf of affinoid algebras on (with respect to the G-topology) is the one assigning the -Banach algebra . It is a sheaf thanks to Corollary 2.69.
Remark 2.71.
The -Banach algebra does not depend on the way of being a union of affinoid domains.
Definition 2.72.
For any open subset of , let be the pre-sheaf of -algebras (with respect to the canonical topology) which assigns the limit
It is also a sheaf thanks to the compactness of special domains under canonical topology. This is called the structural sheaf of .
Proposition 2.73.
is a sheaf of local rings. The topological space has a structure of locally ringed space given by the sheaf . ([Ber, Section 2.3])