Examples [04IH]
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
Examples
Here we give some examples of affine manifolds with singularities and then we prove the -dimensional version of the main theorem of this article.
Example 3.16.
In consider the -dimensional simplex spanned by the points
Let . We explain how to construct a simple affine structure with singularities on . Each edge of has integral points (i.e. belonging to ), which divide into segments. For each denote by , the four barycenters of these four segments. We let
A covering of can be defined as follows. The first four open sets consist of the four open faces , with the affine coordinate maps induced by their affine embeddings in . Denote by the set of integral points of which lie on an edge. For every we can choose a small open set in such that is a covering of . Let denote the -dimensional subspace of generated by . One can verify that if is small enough, the projection is an homeomorphism. A computation shows that the atlas defines an affine structure on making simple.
Example 3.17.
This three dimensional example is taken from [10] §19.3. Let be the -simplex in spanned by
Let . Denote by the open -face of opposite to the point and by the closed -face separating and . Each contains integral points (including those on its boundary). These form the vertices of a triangulation of as in Figure 7. By joining the barycenter of each triangle with the barycenters of its sides we form a trivalent graph as in Figure 7. Define the set to be the union of all such graphs in each -face. Denote by the set of integral points of . Just as in the previous example, we can form a covering of by taking the open -faces and small open neighborhoods inside of . A coordinate chart on can be obtained from its affine embedding in . If we denote again by the linear space spanned by , as a chart on we take the projection . A computation shows that this affine structure is simple. In fact the vertices of which are contained in the interior of each -face are of negative type and those which are contained in the -faces are of positive type.
Example 3.18 (A variation).
In the previous example, all edges of were straight lines, but one can perturb them in the sense of Examples 3.9, 3.11 and 3.13. In fact we can form a new by keeping the vertices fixed and connecting them through smooth curves, which are small perturbations of the straight edges of the previous example. If these curves stay inside the -faces of , then the affine structure on can be defined just like above.
In some cases, such as in Examples 3.16 and 3.17 given an affine manifold with singularities, one can define a second affine structure on , via a discrete Legendre transform of (cf. Gross and Siebert [12, 13]). Here we shall not give details about how this process works. Though it is important to mention that this method produces a second integral affine manifold with singularities, which coincides topologically with but with holonomy representation dual to . In dimension 3 this means, in particular, that the positive vertices of become negative vertices of and vice-versa.
These examples of singular affine manifolds are very important. The bundles associated to them satisfy the hypothesis of Theorem 2.11 so they can be used to produce topological semi-stable compactifications which are homeomorphic to well known examples of Calabi-Yau manifolds:
Theorem 3.19 (Gross [7]).
Let be the integral affine manifold with singularities described in Example 3.17 and let
be its Legendre transform. Let and be the corresponding topological semi-stable compactifications. Then is homeomorphic to the quintic hypersurface and is homeomorphic to its mirror.
Later in this article we show that there are symplectic semi-stable compactifications recovering the quintic and its mirror. These compactifications rely deeply on the existence of suitable local models of Lagrangian fibrations with singular fibres. The construction of such models is a highly delicate issue.