4.6 Dominating model and combinatorial retraction [04Q8]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
We consider the blow-up of the surfaces in lexicographical order with respect to ; we denote by the corresponding exceptional divisors. The skeleton consists of the union of the skeleton with four additional -cells for each 2-dimensional face of : for each ordered triple , the union of the additional cells is isomorphic to in Section4.3, where we identify , and . The retraction collapses the additional faces onto as .
Additional -cells of over
with a pictorial description of the retraction
Given another order on , the skeleton coincides with as subspace of ; we denote this simply by . Instead, the triangulation and the retraction depend on the order. Our goal is therefore to construct a model which dominates all models regardless of the order, so that all retractions factors through .
Along the same lines of Section4.3, we define as the blow-up of along and , for all ordered triples in the order :
We denote by and the corresponding exceptional divisors, and deduce from the local study of these morphisms in Section4.3 that is obtained from by adding a new -cell for each triple .
We now define the combinatorial retraction of onto : given the 2-cell , we identify , and and contract onto the additional cells of over , via the combinatorial retraction constructed in Section4.4. With a slight abuse of notation, we still denote this map by . By construction, the composition
coincides with over for any order on . In other words, around each vertex , the map is the Berkovich retraction induced by a small resolution of , where the strict transform of is isomorphic to , thus in particular is a torus embedding.
For each -dimensional face of , we denote by the graph defined in Definition3.2.1, and its vertices by and . We set
By construction, around any point of , the retraction is equal to the Berkovich retraction induced by
a suitable minimal model of .
It follows from the results in [NXY19] that induces an integral affine structure with singularities on . By TheoremB and CorollaryC, we obtain that this integral affine structure has no singularities outside . We will furthermore prove in the next subsection that this affine structure does not extend across any edge of , i.e. is indeed singular along .