3.1.1 Case of K3 surfaces [04PG]
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
3.1.1 Case of K3 surfaces
Let be a maximally degenerate surface and let be a minimal model of with reduced special fiber . The dual complex is well-known to be a triangulated sphere, whose vertices correspond to the irreducible components of .
We focus our attention to such a vertex , and hence to the corresponding irreducible component of , which has boundary . Since the simple normal crossing curve is an anticanonical curve by adjunction, it follows from general surface theory that is a cycle of rational curves , whose geometry is encoded by the . We label the curves so that for , , with convention .
One can associate to the pair a pseudo-fan, which is a singular affine structure on , singular at most at . The singularity at is a way to measure the defect of of being toric: the affine structure affine extends smoothly at if and only is a toric pair [Eng18, Proposition 3.9].
The construction, as explained in [GHK15, Β§1.2], is the following. For each node , consider a cone , being a basis of the lattice . The cones and are then glued to each other along , and the affine structure is extended through the edge by pretending that the pair is toric. If the pair was toric, the βs would be the maximal cones of its fan, and the relation
would hold by Eq. 1.2.4, so that the chart that defines the -affine structure satisfies , , and , and is extended by dilatation. The unions of the βs glued along the successive edge is homeomorphic to , and we obtain this way an -affine structure away from the origin, extending to if and only the pair is toric.
It follows from PropositionΒ 3.1.1 that the singular -affine structure induced by the Berkovich retraction coincides with the one described above. We now determine the monodromy around the singularities.
Corollary 3.1.6.
Let be a component of , with boundary . Writing , the monodromy of the -affine structure induced by around is given by
with respect to the basis and origin .
Proof.
By PropositionΒ 3.1.1 the integral affine structure on identifies with
while on identifies with
It follows that the transition map from the chart to of the integral affine structure on is given by the matrix . Thus, the composition of such matrices gives the monodromy around , along a loop oriented as the path connecting . β
Remark 3.1.7.
It is well-known (see for instance [GHK15]) that if and only the pair is toric, or if and only if the charge vanishes, where