4.1 Setting and plan of the proof [04Q1]
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.1 Setting and plan of the proof
We consider , where is a generic homogeneous polynomial of degree . The degeneration has the following properties:
- 1.
the special fiber is reduced, consisting of five Weil divisors, i.e. . We denote ;
- 2.
the singular locus of the total space is contained in the special fiber, and is the intersection in of and the union of surfaces for . In particular, each intersects along the union of four quintic curves and by genericity of , we may assume that does not intersect the torus fixed points of ;
Figure 2: *Irreducible component - 3.
the pair is dlt, in particular snc away from ; we refer to SectionΒ 4.2 for a local study of the pair at the singular points;
- 4.
the dual complex of the special fiber is homeomorphic to the -sphere , and the triangulation of is the same as the standard one on the boundary of a -simplex;
- 5.
by adjunction the canonical bundle is trivial.
We conclude that is a minimal dlt model of the quintic -fold , but it is not good in the sense of SectionΒ 1.1 since the prime components of the special fiber are not -Cartier. In particular, even if the dual complex is well-defined, does not induce a well-defined retraction of onto .
Similarly to SectionΒ 3.3, the aim is to explicitly construct several explicit minimal models of starting from , then apply the results from SectionΒ 3.1 and SectionΒ 3.2 to study the integral affine structures on , induced by Berkovich retractions or their combinations. We will proceed as follows.
- -
(SectionΒ 4.5) For any order on , we construct a small resolution of by blowing-up in order the four divisors , , and . The resulting resolution is denoted , is a minimal model of and comes equipped with the Berkovich retraction
The skeleton coincides with as simplicial complex; thus, independently on the order, all skeletons define the same simplicial structure on .
- -
(SectionΒ 4.6) We construct a model of which dominates any model , so that factors through . We then define a combinatorial retraction which contracts the skeleton onto . This allows us to consider the composition
which is at the core of the statement of TheoremΒ A. The retraction is constructed so that the composition is locally equal to a , the order depending on the region of .
- -
(SectionΒ 4.2 to SectionΒ 4.4) The constructions and properties of and rely on a local study of the model : Γ©tale locally around each point of , is isomorphic to a toric variety and the resolutions are given by refinements of the associated fan.
We will show that
Theorem A.
- β’
is a piecewise-linear map, thus pulls back any piecewise-linear function on to a model function on ;
- β’
is an affinoid torus fibration away from a graph ; the vertices of are the barycenters of the 1 and 2-dimensional cells of , and the edges join the barycenter of a 2-dimensional cell with the barycenters of its 1-dimensional faces;
- β’
in a neighbourhood of a vertex , the affine structure induced by is determined by the toric geometry of : there is a natural -linear embedding of inside the fan of , preserving the polytopal decomposition and sending to the origin;
- β’
Remark 4.1.1.
The affine structure we obtain in Theorem A coincides also with the one defined in [Gro05, Β§1]. Indeed, it will follow from the construction and CorollaryΒ 2.6.1 that the affine structure induced by yields the fan structure (in the sense of [Gro05]) coming from at each vertex , and that those are glued (after removing ) along the maximal cells viewed as standard simplices; this is the very definition of the singular affine structure in [Gro05].
In particular, the results of SectionΒ 4.7 follow from the more general [Gro05, Proposition 2.13], [HZ02, Β§2.3], but we include our full computations to highlight the use of PropositionΒ 3.2.2, which holds even outside the context of toric degenerations.