ScalingStacks

3.2 Ruan’s Lagrangian fibrations by gradient flow [03KZ]

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

3.2 Ruan’s Lagrangian fibrations by gradient flow

We now describe some aspects of the work of Wei-Dong Ruan in [18, 19, 20, 21]. This is based on the following idea. Suppose we are given a family of Calabi–Yau hypersurfaces XX in some projective toric variety. As in [18, 19, 21] we take this to be a pencil of quintics {Xc:c∈ℂ∪{∞}}\bigl\{X_{c}:c\in\mathbin{\mathbb{C}}\cup\{\infty\}\bigr\} in ℂ​ℙ4\mathbb{CP}^{4}, where

Xc={[z0,…,z4]∈ℂ​ℙ4:p⁡(z0,…,z4)+c​q​(z0,…,z4)=0},X_{c}=\bigl\{[z_{0},\ldots,z_{4}]\in\mathbb{CP}^{4}:p(z_{0},\ldots,z_{4})+c\,q(z_{0},\ldots,z_{4})=0\bigr\},

and p,qp,q are homogeneous, linearly independent quintic polynomials.

Choose a Kähler metric gg on ℂ​ℙ4\mathbb{CP}^{4}, with Kähler form ω\omega. Let ss be the meromorphic function p⁡(z0,…,z4)/q⁡(z0,…,z4)p(z_{0},\ldots,z_{4})/q(z_{0},\ldots,z_{4}) on ℂ​ℙ4∖X∞\mathbb{CP}^{4}\setminus X_{\infty}, and let f=Re(s)f=\mathop{\rm Re}(s). Define a vector field vv on ℂ​ℙ4\mathbb{CP}^{4} by va=|d​f|−2​ga​b​(d​f)bv^{a}=|{\rm d}f|^{-2}g^{ab}({\rm d}f)_{b}, using the index notation for tensors. Note that vv becomes infinite on X∞X_{\infty}, as ff is infinite there, and also on the set of points where d​f=0{\rm d}f=0. Ruan shows that flowing along the vector field vv for time tt takes XcX_{c} to Xc+tX_{c+t} for each c∈ℂc\in\mathbin{\mathbb{C}}, at least where vv is finite. Furthermore, the flow takes Lagrangian submanifolds of XcX_{c} to Lagrangian submanifolds of Xc+tX_{c+t}.

Ruan’s method is to set p⁡(z0,…,z4)=z0​z1​z2​z3​z4p(z_{0},\ldots,z_{4})=z_{0}z_{1}z_{2}z_{3}z_{4}, so that X0X_{0} is the union of five copies of ℂ​ℙ3\mathbb{CP}^{3} in ℂ​ℙ4\mathbb{CP}^{4}, a very degenerate, singular quintic. He defines an explicit Lagrangian fibration of X0X_{0}, with respect to the Fubini–Study metric on ℂ​ℙ4\mathbb{CP}^{4}. Then he uses the flow from X0X_{0} to XtX_{t} to translate this fibration to a Lagrangian fibration of the general, nonsingular quintic XtX_{t} for t∈ℝ∖{0}t\in\mathbin{\mathbb{R}}\setminus\{0\}. One has to consider carefully what happens when vv is infinite, and around the singularities of X0X_{0}. But it turns out that these do not spoil things, and we end up with a genuine Lagrangian fibration of XtX_{t}.

Part of the motivation for Ruan’s construction is that X0X_{0} is considered to be the ‘large complex structure limit’ of Calabi–Yau quintics. Thus, the construction starts with an explicit fibration of the singular ‘large complex structure limit’ 3-fold, and deforms it to a fibration of nonsingular 3-folds close to this limit. This is quite a natural thing to do from the String Theory point of view, and others such as Zharkov and Goldstein have tried similar ideas.

Now we are interested in the nature of the set of singular fibres in Ruan’s fibrations, and in their singularities. Ruan proves [19, Th. 2.2]:

Theorem 3.3

Let XtX_{t} be a generic, nonsingular quintic in ℂ​ℙ4\mathbb{CP}^{4} near the large complex structure limit. Then Ruan’s construction yields a Lagrangian fibration f:Xt→𝒮3f:X_{t}\rightarrow{\mathcal{S}}^{3} with the following properties:

  • (i)

    ff is a piecewise smooth map.

  • (ii)

    The set of singular points in XtX_{t} of singular fibres of ff is a holomorphic curve in XtX_{t}.

  • (iii)

    The set Δ={b∈B:f−1(b)\Delta=\{b\in B:f^{-1}(b) is singular}\} is a 22-manifold with boundary in 𝒮3{\mathcal{S}}^{3}. It splits naturally into a disjoint union Δ=Δ0∪Δ1∪Δ2\Delta=\Delta_{0}\cup\Delta_{1}\cup\Delta_{2}, where Δ2\Delta_{2} is the 22-dimensional interior of Δ\Delta, and Δ1\Delta_{1} is a finite set of open intervals on the boundary of Δ\Delta, and Δ0\Delta_{0} is a finite set.

  • (iv)

    If b∈𝒮3∖Δb\in{\mathcal{S}}^{3}\setminus\Delta then f−1​(b)f^{-1}(b) is diffeomorphic to T3T^{3}.

  • (v)

    If b∈Δ2b\in\Delta_{2} then f−1​(b)f^{-1}(b) is a T3T^{3} with two isotopic circles collapsed to two singular points.

  • (vi)

    If b∈Δ1b\in\Delta_{1} then f−1​(b)f^{-1}(b) is a T3T^{3} with one circle collapsed to one singular point.

  • (vii)

    If b∈Δ0b\in\Delta_{0} then f−1​(b)f^{-1}(b) is a T3T^{3} with one T2T^{2} collapsed to one singular point.

The properties of Ruan’s fibrations given above are very similar to the fibrations we shall propose later in the paper. In particular, versions of parts (i) and (iii)–(vi) will hold for our fibrations. For part (ii), the set of singular points in the fibrations we shall discuss need not be a holomorphic curve, but it will be a real 2-manifold in XX that is close to being holomorphic. Only in part (vii) do we seriously diverge from Ruan, as our fibrations will not contain fibres in which T2T^{2} collapses to a point.

Ruan himself, however, appears to regard these properties of his fibrations as a problem (see for instance [21, Conj. 1.1], where he conjectures that special Lagrangian fibrations are always smooth, the ‘Precise SYZ mirror conjecture’ in [20, §9], and many other places), and spends much effort in showing how to deform his fibrations to smooth Lagrangian fibrations. One moral of this paper may be that Ruan’s construction gives something quite close to the right answer, and it might even be possible to modify it to yield genuine special Lagrangian fibrations of (almost) Calabi–Yau manifolds.

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