Remark 4.7.1 . [04QA]
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
Remark 4.7.1.
We will now show that the affine structure we constructed on is semi-simple polytopal in the sense of [RZ21a, Definition 4].
Integral affine manifolds with semi-simple polytopal singularities are the tropical analog of local complete intersections in algebraic geometry, and are the relevant class of affine structures on the base of the topological SYZ fibration in the context of the Gross–Siebert program. Indeed, given such a manifold , Ruddat and Zharkov construct a topological space and torus fibration with discriminant of codimension 2 in , inducing the given affine structure. In [RZ21a] the authors describe the strategy in the 3-dimensional case; the general results will appear in [RZ], building on the local constructions of [RZ21b].
In the case of the quintic 3-fold, let be a vertex of the discriminant contained in the interior of a 2-face , and a vertex contained in the interior of an edge of . Up to relabelling, we may assume that the lattice of invariant vectors around (i.e. the sections of the sheaf of integral affine tangent vectors on a small neighbourhood of ) is freely generated by and , in which case the three monodromy matrices around are of the form for some primitive . Hence, writing and , as well as and we see that we are in the setting of [RZ21a]: the singularities of the affine structure are semi-simple abelian. Moreover, the vertices are negative, while the vertices are positive.
Note that can be canonically realized inside , sending the vertex to the origin; in addition we set to be the convex hull of and in . The three loops described above are canonically indexed by the edges of , and hence by the pairs , with an edge of and the edge of . The upshot of working with instead of (and similarly for ) is now that the monodromy along the loop is now simply given by the formula .
Similarly for , we realize the edge inside as the unit segment, and set . Then we may once again label the three loops around by pairs with and an edge of , so that the formula holds.
Since is a face of , we conclude from this that our affine structure is semi-simple polytopal.