4.7 Monodromy representation [04Q9]
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.7 Monodromy representation
We study the monodromy representation of the integral affine structure induce by on ; we exhibit the explicit computations along loops in a neighborhood of the vertices and , as all the others are analogous. We then compare the matrices we obtain with the ones obtained in various constructions existing in the mirror symmetry literature.
Monodromy near
We denote by the stratum curve , by the corresponding -dimensional face, and by and the two components of the boundary of . We set , for . The integral affine structure induced by over identifies with the -dimensional subset of with vertices
The intersection numbers are computed in Section 4.5, accordingly to the minimal model whose Berkovich retraction induces the integral affine structure on each for ; for instance, coincides with over , so on .
There are three edges in having the vertex as endpoint. We consider the monodromy along the three corresponding loops, which are oriented as described in Section 3.2.
By Proposition 3.2.2, the monodromy matrices are
we notice that , a relation which also follows from the corresponding equality at the level of loops inside .
Monodromy near
We consider the vertex of the graph . As is the endpoint of three edges of , respectively contained in the -dimensional faces , and , we compute the monodromy along the three corresponding loops, whose orientation is prescribed in Section 3.2.
For , the integral affine structure induced by over identifies with the -dimensional subset of with vertices
the intersection numbers are computed accordingly to the minimal model inducing the integral affine structure on . By Proposition 3.2.2, the monodromy matrix along is given in the basis by
For , the integral affine structure induced by over identifies with the -dimensional subset of with vertices
As above, the intersection numbers are computed accordingly to the minimal model inducing the integral affine structure on and the monodromy matrix along with respect to the basis is
For , the integral affine structure induced by over identifies with the -dimensional subset of with vertices
The monodromy along in the basis is
By change of basis from to , we write monodromy along with respect to :
We observe that , a relation which holds indeed among the corresponding loops.
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.
Remark 4.7.2.
In [Rua01], Ruan develops a symplectic method based on gradient flow and constructs a Lagrangian torus fibration for Fermat type quintic Calabi–Yau hypersurfaces
later extended to generic quintic hypersurfaces in toric varieties. The idea is to realize very explicitely as the boundary of the standard 4-simplex , and to spread the map:
to the nearby fibers using a gradient flow. This yields a Lagrangian fibration on the ’s for small enough , which Ruan expects to be deformable towards a special Lagrangian fibration.
In addition, he describes the discriminant locus and the monodromy transformations of the expected special Lagrangian fibration, assuming that the singular locus is of codimension . The predictions in [Rua01, §4.4, §4.5] match precisely our computations above.
In [Gro01] Gross defines a class of topological -dimensional torus fibrations and proves they admit dual fibration. Building on Ruan’s description of monodromy, Gross shows that generic quintic threefolds in can be endowed with such a fibration. It follows that the induced integral affine structure on the sphere coincides with the one in Section 4.7.
Note that both in Ruan’s and in Gross’ aforementioned works, the polyhedral decomposition on is induced by the intersection complex of the central fiber (i.e., vertices correspond to zero-dimensional strata of the special fiber and so on); we work instead with the dual intersection complex associated with , which is isomorphic to the intersection complex in the examples we are considering.