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 on a compact 6-manifold , up to diffeomorphism, is only finite-dimensional, of dimension . 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 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 . An almost Calabi–Yau -fold, or ACY -fold for short, is a quadruple such that is a compact -dimensional complex manifold, is the Kähler form of a Kähler metric on , and is a non-vanishing holomorphic -form on .
The difference between this and Definition 2.2 is that we do not require and to satisfy equation (7). For some purposes it may be useful to restrict to real analytic Kähler forms , but we will not worry about this in this paper. Here is the appropriate definition of SL -folds in ACY -folds.
Definition 2.12 Let be an almost Calabi–Yau -fold with metric , and a real -dimensional submanifold of . We call a special Lagrangian submanifold, or SL -fold for short, if . It easily follows that is a nonvanishing -form on . Thus is orientable, with a unique orientation in which is positive.
By Proposition 2.7, if is Calabi–Yau rather than almost Calabi–Yau, then 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
This is because the proofs of these results only really depend on the conditions , and the pointwise connection (7) between and is not important. Let be an ACY -fold, with metric . In general, SL -folds in are neither calibrated nor minimal with respect to .
However, let be the unique smooth function such that , and define to be the conformally equivalent metric on . Then it is easy to show that is a calibration on the Riemannian manifold , and that SL -folds in are calibrated with respect to it, so that they are minimal with respect to .
We can also give a volume bound for compact SL -folds in using these ideas. If is an SL -fold in then for each , where is computed using . Integrating this over yields
This is a bound on the volume of using , depending only on and the homology class of .
Another important point about SL -folds in ACY -folds is that locally, in a small neighbourhood of any point, they look like SL -folds in CY -folds. Therefore we expect the singularities of SL -folds in ACY -folds to behave in the same way as singularities of SL -folds in CY -folds.
Almost Calabi–Yau -folds are useful in problems involving special Lagrangian fibrations because it is very easy to write down explicit examples of ACY -folds, and so to study fibrations on them, whereas Calabi–Yau structures on the same -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 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 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 be a CY 3-fold, and a compact, nonsingular, immersed SL 3-fold in . If is generically placed in as an immersed submanifold then it will intersect itself in only finitely many points, but if 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 , we cannot guarantee that will not intersect itself in a circle, because we cannot completely eliminate the possibility that by a miracle, all the Calabi–Yau structures on happen to have this property. (Indeed, this is to be expected when is a product ). However, one can show that in a generic almost Calabi–Yau 3-fold, any compact, nonsingular, immersed SL 3-fold intersects itself in only finitely many points.