ScalingStacks

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 Sk⁡(X)∖Γ\Sk(X)\setminus\Gamma 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 BB, Ruddat and Zharkov construct a topological space YY and torus fibration Y→BY\rightarrow B with discriminant of codimension 2 in BB, 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 p=pi​j​kp=p_{ijk} be a vertex of the discriminant contained in the interior of a 2-face τ\tau, and q=pi​kq=p_{ik} a vertex contained in the interior of an edge ee of τ\tau. Up to relabelling, we may assume that the lattice LpL_{p} of invariant vectors around pp (i.e. the sections of the sheaf of integral affine tangent vectors on a small neighbourhood of pp) is freely generated by viv_{i} and vjv_{j}, in which case the three monodromy matrices around pp are of the form T=Id+5​vk∨⊗wT=\Id+5v_{k}^{\vee}\otimes w for some primitive w∈Lpw\in L_{p}. Hence, writing L⁡(p)=LpL(p)=L_{p} and L∨​(p)=5​Lp⊥L^{\vee}(p)=5L_{p}^{\bot}, as well as L⁡(q)=LqL(q)=L_{q} and L∨​(q)=5​Lq⊥L^{\vee}(q)=5L_{q}^{\bot} we see that we are in the setting of [RZ21a]: the singularities of the affine structure are semi-simple abelian. Moreover, the vertices pi​j​kp_{ijk} are negative, while the vertices pi​kp_{ik} are positive.
Note that τ\tau can be canonically realized inside LpL_{p}, sending the vertex vkv_{k} to the origin; in addition we set τ∨=<0,5​vk∨>\tau^{\vee}=<0,5v_{k}^{\vee}> to be the convex hull of 00 and 5​vk∨5v_{k}^{\vee} in ⊂L∨​(p)\subset L^{\vee}(p). The three loops described above are canonically indexed by the edges of τ\tau, and hence by the pairs (e,f)(e,f), with ee an edge of τ\tau and ff the edge of τ∨\tau^{\vee}. The upshot of working with 5​Lp⊥5L_{p}^{\bot} instead of Lp⊥L_{p}^{\bot} (and similarly for qq) is now that the monodromy along the loop γe,f\gamma_{e,f} is now simply given by the formula T⁡(γe,f)=Id+e⊗fT(\gamma_{e,f})=\Id+e\otimes f.
Similarly for qq, we realize the edge ei​ke_{ik} inside LqL_{q} as the unit segment, and set e∨=<0,5​vi∨,5​vk∨>⊂L∨​(q)e^{\vee}=<0,5v_{i}^{\vee},5v_{k}^{\vee}>\subset L^{\vee}(q). Then we may once again label the three loops around qq by pairs (e,f)(e,f) with e=ei​ke=e_{ik} and ff an edge of e∨e^{\vee}, so that the formula T⁡(γe,f)=Id+e⊗fT(\gamma_{e,f})=\Id+e\otimes f holds.
Since ei​ke_{ik} is a face of τ\tau, we conclude from this that our affine structure is semi-simple polytopal.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.