2.4. A glimpse of mirror symmetry [03DF]
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
2.4. A glimpse of mirror symmetry
The invariance of and the discriminant locus with respect to the duality between triangulated polytopes and is manifest. The vertices of change the type from to . The nodes of the graph also interchange the - and -types. And if integral bases associated with vertices of are chosen to be dual to the original ones, then the transition matrices will be replaced by the transpose inverses . Thus, on the same manifold the two dual to each other integral affine structures are realized.
Let us introduce notations for the following tori:
For , the transition isomorphism induces an isomorphism of the tori, which we will denote by the same symbol
The torus fibration over is constructed as follows. Using the affine integral structure on one can choose a covariantly constant (with respect to the -connection) lattice in the tangent bundle and form the relative quotient with the fibers . Thus, the fibers are when , and when , with the canonical identifications for .
Let be a regular neighborhood of the discriminant locus. Let denote the torus fibration associated to the original integral affine structure restricted to the complement of in . In the next section we will show that the torus fibration on embeds differentiably into for sufficiently large . The dual torus fibration by symmetry embeds into the mirror hypersurface. This is the topological part of the mirror symmetry statement in the version of Kontsevich and Soibelman [KS01].