4.2 Examples [03U3]
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
4.2 Examples
4.2.1 Logarithmic map
This is a basic example
described in details in Appendix A. For any algebraic (or analytic) subvariety of dimension its image is a non-compact piecewise-linear closed subset of of real dimension . Smooth points for are dense in .
In particular, if is a curve then is a graph in with straight edges having rational directions. One can try to make a dictionary which translates the properties of the algebraic variety to the properties of the PL set which is the closure of in . This circle of ideas is a subject of the so-called “tropical geometry” (see e.g. [Mi]).
4.2.2 Tate tori
Let be a group homomorphism such that the image of the composition is a rank lattice in . Group acts by translations on the analytic space . Restriction of this action to (via ) is discrete and cocompact. The quotient is a -analytic space called Tate torus. There is an obvious map . All points of are smooth. The space depends on parameters taking values in (cf. with the flat tori example in Section 3.2.1).
4.2.3 Clemens polytopes and their contractions
For any smooth projective variety of dimension , and and a snc model of it (see Appendix A) we have a canonical projection to the corresponding Clemens polytope
All interior points of -dimensional simplices of are -smooth, although there might be other smooth points too. More generally, one can compose projection with a continuous surjection where is a finite CW complex and map is a cell map for some cell subdivision of . We assume that fibers of the composition are connected. This seems to be the most general case of maps from projective varieties over complete local fields to CW complexes relevant for our purposes.
4.2.4 Curves
Let be a connected smooth projective curve of genus . After passing to a finite extension of we may assume that has a canonical model with stable reduction. The graph corresponding to the special fiber is a retraction of . The quotient graph is a retraction of the analytic curve (see [Be1]). We define . Then is a complement to a finite set. As in Section 3.2.2, a -affine structure on a graph is the same as a length element (i.e. a metric). Therefore is a metrized graph. Notice also that the maximal number of edges of the graph corresponding to a genus curve is , which is the dimension of the moduli space of genus curves.
Notice that if in Section 4.2.1 subvariety is a curve then its projection is a noncompact metrized graph with unbounded edges corresponding to punctures .
4.2.5 K3 surfaces
Here we will describe a particular case of the construction from Section 4.2.3 (a contraction of a Clemens polytope).
Let field be and be a formal family of complex K3 surfaces given by the equation
where is a generic homogeneous polynomial of degree four, and is a formal parameter.
The special fiber at of this family is singular, it is given by the equation . Let us denote by the blow-up of the total space of the trivial -bundle over at points of the special fiber, where each is a solution of the equation
The closure of in is a model with simple normal crossings. The associated Clemens polytope has vertices. Four of them correspond to coordinate hyperplanes in , and other correspond to divisors sitting at the pre-images of the points . Therefore is the union of the boundary of the standard -simplex with copies of the standard -simplex . Those triangles are decomposed into six groups of four triangles in each. All triangles from the same group have a common edge, which is identified with an edge of (tetrahedron with “wings”). As we mentioned in the previous example, there is a continuous map . We are going to construct as a retraction of .
In order to do this we observe that for an edge and a point one has the canonical retraction . Namely, let us identify the edge with the interval of the real line, so that is identified with the point , and is bounded by and the segments . Then we define by the formulas (see Figure 2)

Now we choose a point in the interior of each edge of (here are identified with the vertices of ). There are four “wings” having as a common edge. Then we retract each to by the map . This gives us a retraction . Let be the composition of the projection with the above retraction. One can show that all points of are -smooth except of the chosen six points . According to Theorem 1 we obtain a -affine structure on . One can show that the local monodromy around each point is conjugate to the matrix
We skip the computations here.