5 Appendix [04QF]
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
5 Appendix
The purpose of this appendix is to extend some of the constructions and results in this paper to the following situation: let be a smooth family of -dimensional projective varieties over a punctured disk centered at , and let be an snc proper regular algebraic space over extending the family to . In particular, the special fiber is strict normal crossing, the morphism is a proper holomorphic submersion, and is not assumed to be projective; we still call such space an snc model of . Our goal is to define a skeleton and a retraction associated with .
We start by recalling a construction from [BJ17, 4.2]. Let be another snc model of that dominates ; we write and the special fibers and . Then there exists an integral affine retraction
as follows. Let be the simplex in corresponding to a stratum . Let be the minimal stratum of such that ; we denote by the simplex in corresponding to and we write the irreducible components of containing . Then
and we define the map on by the formula:
This yields a continuous integral affine map. Furthermore, we have the following transitivity property: if are three snc models of , then .
Definition 5.0.1.
Let be a face of . We say is active for if:
- -
is a bimeromorphic morphism,
- -
the -linear map inducing is an isomorphism.
We write for the union of active faces in . It follows from [BJ17, Proposition 4.3] that induces a homeomorphism from onto .
Definition 5.0.2.
Let be an snc model of , and assume there exists a projective snc model and . We define the skeleton as the image of by the embedding , and the Berkovich retraction as the composition (after identifying with ).
It follows directly from the transitivity property that this does not depend on the choice of a projective model .
Lemma 5.0.3.
Let be an snc model of and assume that admits a dominating projective snc model. Then for any stratum of , the retraction over only depends on the formal completion .
Proof.
Let be a projective snc model dominating and write . We denote by the components of containing .
Let be any stratum of , and denote by the corresponding simplex in .
By construction of , we have if and only if ; in this case, for any . Thus, if is an irreducible component of not cutting , it follows that does not have any component along the for .
We deduce from this that for each component of containing and , the coefficient of in is determined by and a local equation of in a formal neighbourhood of . This proves that over only depends on over .
By construction of Berkovich retraction, only depends on above (see SectionΒ 1.5). If moreover , then induces a morphism , hence only depends on over .
By the independence of on the choice of projective model and morphism , we conclude that over only depends on the formal completion . β
Proposition 5.0.4.
Let be an snc model of and assume that admits a dominating projective snc model. Let be a one-dimensional stratum of and assume that is isomorphic to and consists of two points. Then is an affinoid torus fibration over , and the induced affine structure over is described as in PropositionΒ 3.1.1.
Proof.
By LemmaΒ 5.0.3, the retraction over only depends on the formal completion . By [Knu71, V, Theorem 2.5], since is a scheme, the formal algebraic space is a formal scheme. We are therefore in the setting of [NXY19, Proposition 5.4, Theorem 6.1] and we can conclude. β