ScalingStacks

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 22-dimensional version of the main theorem of this article.

Example 3.16.

In ℝ3\mathbb{R}^{3} consider the 33-dimensional simplex Ξ\Xi spanned by the points

P0=(−1,−1,−1),P1=(3,−1,−1),P2=(−1,3,−1),P3=(−1,−1,3).P_{0}=(-1,-1,-1),\ \ P_{1}=(3,-1,-1),\ \ P_{2}=(-1,3,-1),\ \ P_{3}=(-1,-1,3).

Let B=∂ΞB=\partial\Xi. We explain how to construct a simple affine structure with singularities on BB. Each edge ℓj\ell_{j} of Ξ\Xi has 55 integral points (i.e. belonging to ℤn\mathbb{Z}^{n}), which divide ℓj\ell_{j} into 44 segments. For each j=1,…,6j=1,\ldots,6 denote by Δkj\Delta^{j}_{k}, k=1,…,4k=1,\ldots,4 the four barycenters of these four segments. We let

Δ={Δkj;j=1…6andk=1,…,4}.\Delta=\{\Delta^{j}_{k};j=1\ldots 6\ \text{and}\ k=1,\ldots,4\}.

A covering of B0=B−ΔB_{0}=B-\Delta can be defined as follows. The first four open sets consist of the four open faces Σi\Sigma_{i}, i=1​…,4i=1\ldots,4 with the affine coordinate maps ϕi\phi_{i} induced by their affine embeddings in ℝ3\mathbb{R}^{3}. Denote by II the set of integral points of BB which lie on an edge. For every Q∈IQ\in I we can choose a small open set UQU_{Q} in B0B_{0} such that {Σi}i=1,…,4∪{UQ}Q∈I\{\Sigma_{i}\}_{i=1,\ldots,4}\cup\{U_{Q}\}_{Q\in I} is a covering of B0B_{0}. Let RQR_{Q} denote the 11-dimensional subspace of ℝ3\mathbb{R}^{3} generated by Q∈IQ\in I. One can verify that if UQU_{Q} is small enough, the projection ϕQ:UQ→ℝ3/RQ\phi_{Q}:U_{Q}\rightarrow\mathbb{R}^{3}/R_{Q} is an homeomorphism. A computation shows that the atlas 𝒜={Σi,ϕi}i=1,…,4∪{UQ,ϕQ}Q∈I\mathscr{A}=\{\Sigma_{i},\phi_{i}\}_{i=1,\ldots,4}\cup\{U_{Q},\phi_{Q}\}_{Q\in I} defines an affine structure on B0B_{0} making (B,Δ,𝒜)(B,\Delta,\mathscr{A}) simple.

Example 3.17.

This three dimensional example is taken from [10] §19.3. Let Ξ\Xi be the 44-simplex in ℝ3\mathbb{R}^{3} spanned by

P0=(−1,−1,−1,−1),P1=(4,−1,−1,−1),P2=(−1,4,−1,−1),\displaystyle P_{0}=(-1,-1,-1,-1),\ P_{1}=(4,-1,-1,-1),\ P_{2}=(-1,4,-1,-1),
P3=(−1,−1,4,−1),P4=(−1,−1,−1,4).\displaystyle P_{3}=(-1,-1,4,-1),\ \ P_{4}=(-1,-1,-1,4).

Let B=∂ΞB=\partial\Xi. Denote by Σj\Sigma_{j} the open 33-face of BB opposite to the point PjP_{j} and by Fi​jF_{ij} the closed 22-face separating Σi\Sigma_{i} and Σj\Sigma_{j}. Each Fi​jF_{ij} contains 2121 integral points (including those on its boundary). These form the vertices of a triangulation of Fi​jF_{ij} 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 Δ\Delta to be the union of all such graphs in each 22-face. Denote by II the set of integral points of BB. Just as in the previous example, we can form a covering of B0=B−ΔB_{0}=B-\Delta by taking the open 33-faces Σj\Sigma_{j} and small open neighborhoods UQU_{Q} inside B0B_{0} of Q∈IQ\in I. A coordinate chart ϕi\phi_{i} on Σi\Sigma_{i} can be obtained from its affine embedding in ℝ4\mathbb{R}^{4}. If we denote again by RQR_{Q} the linear space spanned by Q∈IQ\in I, as a chart on UQU_{Q} we take the projection ϕQ:UQ→ℝ4/RQ\phi_{Q}:U_{Q}\rightarrow\mathbb{R}^{4}/R_{Q}. A computation shows that this affine structure is simple. In fact the vertices of Δ\Delta which are contained in the interior of each 22-face are of negative type and those which are contained in the 11-faces are of positive type.

- +
Figure 7: Affine S3S^{3} with singularities.
Example 3.18 (A variation).

In the previous example, all edges of Δ\Delta 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 Δ\Delta 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 22-faces of BB, then the affine structure on B−ΔB-\Delta 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 𝒜ˇ\check{\mathscr{A}} on BB, via a discrete Legendre transform of 𝒜\mathscr{A} (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, (B,Δˇ,𝒜ˇ)(B,\check{\Delta},\check{\mathscr{A}}) which coincides topologically with (B,Δ,𝒜)(B,\Delta,\mathscr{A}) but with holonomy representation ρˇ\check{\rho} dual to ρ\rho. In dimension 3 this means, in particular, that the positive vertices of Δ\Delta become negative vertices of Δˇ\check{\Delta} 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 (B,Δ,𝒜)(B,\Delta,\mathscr{A}) be the integral affine manifold with singularities described in Example 3.17 and let

(B,Δ,𝒜)→(B,Δˇ,𝒜ˇ)(B,\Delta,\mathscr{A})\rightarrow(B,\check{\Delta},\check{\mathscr{A}})

be its Legendre transform. Let X⁡(B0,𝒜)↪XX(B_{0},\mathscr{A})\hookrightarrow X and X⁡(B0,𝒜ˇ)↪XˇX(B_{0},\check{\mathscr{A}})\hookrightarrow\check{X} be the corresponding topological semi-stable compactifications. Then XX is homeomorphic to the quintic hypersurface and Xˇ\check{X} 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.

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