ScalingStacks

2.3 Almost Calabi–Yau manifolds and genericity [03KR]

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.3 Almost Calabi–Yau manifolds and genericity

Later in the paper we will discuss fibrations of Calabi–Yau 3-folds by special Lagrangian 3-folds. We will be particularly interested in the question of what kind of fibrations one should expect in a generic Calabi–Yau 3-fold. Now when one speaks of a geometric object as generic, usually one thinks of it as chosen at random out of an infinite-dimensional family of similar geometric objects.

However, the family of Calabi–Yau structures (X,J,ω,Ω)(X,J,\omega,\Omega) on a compact 6-manifold XX, up to diffeomorphism, is only finite-dimensional, of dimension h1,1​(X)+2​h2,1​(X)+1h^{1,1}(X)+2h^{2,1}(X)+1. Thus the family of Calabi–Yau structures on a compact 6-manifold is too small for the device of picking a generic Calabi–Yau 3-fold XX to be really useful in a proof.

To get round this we introduce the following generalizations of Calabi–Yau and special Lagrangian geometry.

Definition 2.11 Let m⩾2m\geqslant 2. An almost Calabi–Yau mm-fold, or ACY mm-fold for short, is a quadruple (X,J,ω,Ω)(X,J,\omega,\Omega) such that (X,J)(X,J) is a compact mm-dimensional complex manifold, ω\omega is the Kähler form of a Kähler metric gg on XX, and Ω\Omega is a non-vanishing holomorphic (m,0)(m,0)-form on XX.

The difference between this and Definition 2.2 is that we do not require ω\omega and Ω\Omega to satisfy equation (7). For some purposes it may be useful to restrict to real analytic Kähler forms ω\omega, but we will not worry about this in this paper. Here is the appropriate definition of SL mm-folds in ACY mm-folds.

Definition 2.12 Let (X,J,ω,Ω)(X,J,\omega,\Omega) be an almost Calabi–Yau mm-fold with metric gg, and NN a real mm-dimensional submanifold of XX. We call NN a special Lagrangian submanifold, or SL mm-fold for short, if ω|N≡ImΩ|N≡0\omega|_{N}\equiv\mathop{\rm Im}\Omega|_{N}\equiv 0. It easily follows that ReΩ|N\mathop{\rm Re}\Omega|_{N} is a nonvanishing mm-form on NN. Thus NN is orientable, with a unique orientation in which ReΩ|N\mathop{\rm Re}\Omega|_{N} is positive.

By Proposition 2.7, if (X,J,ω,Ω)(X,J,\omega,\Omega) is Calabi–Yau rather than almost Calabi–Yau, then NN is special Lagrangian in the sense of Definition 2.2. Thus, this is a genuine extension of the idea of special Lagrangian submanifold.

The idea of extending special Lagrangian geometry to almost Calabi–Yau manifolds is not new. It appears in the work of Goldstein, who introduced the term ‘almost Calabi–Yau’, and Bryant [1, §1], who uses the term ‘special Kähler’ instead of ‘almost Calabi–Yau’.

Many of the good properties of special Lagrangian submanifolds in Calabi–Yau manifolds also apply in almost Calabi–Yau manifolds. For instance:

Theorem 2.13

Corollary 2.8 and Theorems 2.9 and 2.10 also hold in almost Calabi–Yau manifolds rather than Calabi–Yau manifolds.

This is because the proofs of these results only really depend on the conditions ω|N≡ImΩ|N≡0\omega|_{N}\equiv\mathop{\rm Im}\Omega|_{N}\equiv 0, and the pointwise connection (7) between ω\omega and Ω\Omega is not important. Let (X,J,ω,Ω)(X,J,\omega,\Omega) be an ACY mm-fold, with metric gg. In general, SL mm-folds in XX are neither calibrated nor minimal with respect to gg.

However, let f:X→(0,∞)f:X\rightarrow(0,\infty) be the unique smooth function such that f2​m​ωm/m!=(−1)m⁡(m−1)/2​(i/2)m​Ω∧Ω¯f^{2m}\omega^{m}/m!=(-1)^{m(m-1)/2}(i/2)^{m}\Omega\wedge\bar{\Omega}, and define g~\tilde{g} to be the conformally equivalent metric f2​gf^{2}g on XX. Then it is easy to show that ReΩ\mathop{\rm Re}\Omega is a calibration on the Riemannian manifold (X,g~)(X,\tilde{g}), and that SL mm-folds NN in (X,J,ω,Ω)(X,J,\omega,\Omega) are calibrated with respect to it, so that they are minimal with respect to g~\tilde{g}.

We can also give a volume bound for compact SL mm-folds in XX using these ideas. If NN is an SL mm-fold in XX then ReΩ|Tx​N=f(x)mvolTx​N\mathop{\rm Re}\Omega|_{T_{x}N}=f(x)^{m}\mathop{\rm vol}_{T_{x}N} for each x∈Nx\in N, where volTx​N\mathop{\rm vol}_{T_{x}N} is computed using gg. Integrating this over NN yields

vol(N)⩽C​∫NReΩ=C⁡[ReΩ]⋅[N],where C=(infx∈Xf⁡(x))−m.\mathop{\rm vol}(N)\leqslant C\int_{N}\mathop{\rm Re}\Omega=C[\mathop{\rm Re}\Omega]\cdot[N],\quad\text{where $C=\bigl({\textstyle\inf_{x\in X}}f(x)\bigr)^{-m}$.}

This is a bound on the volume of NN using gg, depending only on (X,J,ω,Ω)(X,J,\omega,\Omega) and the homology class of NN.

Another important point about SL mm-folds in ACY mm-folds is that locally, in a small neighbourhood of any point, they look like SL mm-folds in CY mm-folds. Therefore we expect the singularities of SL mm-folds in ACY mm-folds to behave in the same way as singularities of SL mm-folds in CY mm-folds.

Almost Calabi–Yau mm-folds are useful in problems involving special Lagrangian fibrations because it is very easy to write down explicit examples of ACY mm-folds, and so to study fibrations on them, whereas Calabi–Yau structures on the same mm-folds are usually given only by an existence theorem, with no explicit formula for the metric or Kähler form.

The reason why almost Calabi–Yau manifolds are useful in discussing problems involving generic Calabi–Yau manifolds is the following. Although the family of Calabi–Yau structures on a compact manifold XX is finite-dimensional, the family of almost Calabi–Yau structures on the same manifold is infinite-dimensional. So arguments involving choosing a generic almost Calabi–Yau structure on XX will be far more powerful.

Here is an example of the kind of thing the author has in mind, which we will return to in §3.1. Let (X,J,ω,Ω)(X,J,\omega,\Omega) be a CY 3-fold, and NN a compact, nonsingular, immersed SL 3-fold in XX. If NN is generically placed in XX as an immersed submanifold then it will intersect itself in only finitely many points, but if NN is very nongeneric it could intersect itself in a 1-dimensional set such as a circle.

Now if we choose a generic Calabi–Yau structure on XX, we cannot guarantee that NN will not intersect itself in a circle, because we cannot completely eliminate the possibility that by a miracle, all the Calabi–Yau structures on XX happen to have this property. (Indeed, this is to be expected when XX is a product K​3×T2K3\times T^{2}). However, one can show that in a generic almost Calabi–Yau 3-fold, any compact, nonsingular, immersed SL 3-fold NN intersects itself in only finitely many points.

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