1.5 Berkovich retractions
Let be a good dlt model of a smooth proper -variety . We can now define a retraction for the inclusion as follows: for any , there exists a minimal stratum of such that the center of is contained in . We then associate to the quasi-monomial valuation corresponding to the data with , where is a local equation of at the generic point of , for some . This should be seen as a monomial approximation of the valuation at the generic point of , with respect to the model (which is snc there).
Definition 1.5.1.
The above map is the Berkovich retraction associated with the model .
The Berkovich retraction is continuous, restricts to the identity on , and by [Thu07, Ber99] is a strong deformation retraction, i.e. there is a homotopy between and the identity on that fixes the points of . It follows that and are homotopy equivalent.
Let be a stratum of . The formal scheme admits a generic fiber in the sense of Berkovich, which is a Berkovich space and can be explicitly described as the open subset of :
|
|
|
It furthermore coincides with . This Berkovich space comes with a retraction:
|
|
|
which coincides with the restriction of the retraction . Thus, the restriction of over only depends on the formal completion .
An explicit example of Berkovich retractions, which we will use as a local model in the rest of the paper, is as follows. Let be a torus, with character lattice and cocharacter lattice . We view the elements of as rational functions on , so that its analytification comes with a continuous map:
|
|
|
|
|
|
|
|
under the identification .
The notation can be understood as follows: fix an isomorphism , so that , and , so that the map reads:
|
|
|
|
|
|
|
|
Since , this is the non-archimedean analog of the map sending to .
The map admits a continuous section , sending a point to the Gauss point of the affinoid torus .
More explicitly, for , the valuation is the valuation on the function field of defined by the following formula:
|
|
|
Now let be a regular toric model of , i.e. a regular toric -scheme such that , which we assume to have reduced special fiber. Such a model is described by a regular fan , whose cones intersect only at the origin.
We consider the following open subset of :
|
|
|
which admits a Berkovich retraction:
|
|
|
defined as above. In this case, the map can be described explicitly as follows: let be the polyhedral complex obtained by intersecting the fan with . There is a natural identification between and , sending a vertex of to the primitive generator of the corresponding ray of , and then extending on each face by linearity. Moreover, it follows from [GJKM19, Theorem A.4] that .
Proposition 1.5.2 ([NXY19, Example 3.5]).
The equality:
|
|
|
holds, and .
Proof.
We start by proving the first equality. Let , we know from LemmaΒ 1.5.3 below that has a center on if and only if has a center on . Thus, it is enough to prove that for and , has a center on if and only if .
The elements are precisely the valuations invariant under the torus action, hence if has a center on , it must be the closure of a torus orbit . By [KKMSD73, Theorem 6], there exists a cone such that the generic point of is contained in the associated toric affine chart . In particular, for any monomial that is regular on , we have . In other words, writing , we have for all , so that . Since , .
By the same argument, if , there exists a cone such that , which means that has positive value on each monomial , and thus has a center on and in particular on .
To prove the second equality, since is the identity on , we merely have to prove that . However this follows directly from the definition of , and the fact that for by LemmaΒ 1.5.3. Indeed, only depends on the values , where is a local equation for a component of at . Since is a toric model, these local equations can be taken to be monomials, so that the result follows from the fact that and take the same values on monomials.
β
Lemma 1.5.3.
Let . Then has a center on if and only if has a center on . Moreover, if this holds, we have .
Proof.
Let be a toric compactification of , i.e. a proper toric -scheme containing as a torus-invariant open subset. By the valuative criterion of properness, any valuation of has a center on . We write for the center of .
We start by proving that is the generic point of the minimal closed torus orbit in containing .
We may work on the toric affine chart associated with .
Since the valuation is monomial, it is enough to prove that for and that for a local equation of any torus invariant divisor containing , to have that lies in . Since is regular on , the first condition holds; the local equation is monomial and since contains . Moreover, we conclude that must be contained in the toric interior of by minimality of .
Now assume that is centered on , i.e. . Since is torus-invariant and , we have , hence its generic point . This implies that has center on .
Conversely, if has a center on , then and as mentioned above; thus, , which concludes the proof.
β