Abstract

We prove that certain Riemannian manifolds can be isometrically embedded inside Calabi-Yau manifolds. For example we prove that given any real-analytic one parameter family of Riemannian metrics
${g}_{t}$
on a
$3$
-dimensional manifold
$Y$
with volume form independent of
$t$
and with a real-analytic family of nowhere vanishing harmonic one forms
${\theta}_{t}$
, then
$(Y,{g}_{t})$
can be realized as a family of special Lagrangian submanifolds of a Calabi-Yau manifold
$X$
. We also prove that certain principal torus bundles can be equivariantly and isometrically embedded inside Calabi-Yau manifolds with torus action. We use this to construct examples of
$n$
-parameter families of special Lagrangian tori inside
$n+k$
-dimensional Calabi-Yau manifolds with torus symmetry. We also compute McLean's metric of
$3$
-dimensional special Lagrangian fibrations with
${T}^{2}$
-symmetry. 1 Introduction

Since the work of McLean it is known that compact special Lagrangian submanifolds with positive first Betti number
${b}_{1}$
always come in families, i.e. can always be deformed to form a
${b}_{1}$
-dimensional moduli space. So for example it may happen that a a family of special Lagrangian tori locally fibres the Calabi-Yau manifold. After the SYZ conjecture in mirror symmetry (cfr. [12, 7, 4, 5] ) it is believed that the geometry of the ambient Calabi-Yau could be understood in terms of the families of special Lagrangian tori that it contains. In this paper we find ways to construct some examples of families of sL submanifolds. For instance we show that a large class of
$1$
-parameter or
$2$
-parameter families of Riemannian
$3$
-tori can be realised as families of special Lagrangian tori inside a
$3$
-dimensional Calabi-Yau manifold. These results generalise those of Bryant and of the author. The former proved in [2] that any real-analytic Riemannian
$3$
-dimensional manifold can be isometrically embedded in a Calabi-Yau manifold as a special Lagrangian manifold. In [9] we refined this result to show that this could be done also for some examples of real-analytic
$1$
-parameter families of Riemannian tori.

A Calabi-Yau manifold (CY for short) is a Kähler
$n$
-dimensional manifold
$X$
, with a nowhere vanishing holomorphic
$n$
-form
$\Omega $
and a Ricci-flat Kähler form
$\omega $
. We will refer to the pair
$(\Omega ,\omega )$
as a CY structure. When
$\omega $
is not Ricci-flat then we will call it an almost Calabi-Yau structure (ACY). We will find often convenient to use the following characterisation of Calabi-Yau manifolds due to Hitchin:

Theorem 1 (Hitchin)
If
$X$
is a
$2n$
-dimensional oriented manifold and
$\Omega $
a complex valued
${C}^{\infty}$
$n$
-form satisfying:
then
$\Omega $
determines an integrable almost complex structure on
$X$
with respect to which
$\Omega $
is a holomorphic
$(n,0)$
-form.

- (i) $d\Omega =0$ ;
- (ii) locally there exist $1$ -forms ${\theta}_{1},\dots ,{\theta}_{n}$ such that $\Omega ={\theta}_{1}\wedge \dots \wedge {\theta}_{n}$ ( $\Omega $ is said to be locally decomposable);
- (iii) $|\Omega \wedge \overline{\Omega}|>0$ ;

Moreover, suppose
$\omega $
is a symplectic form on
$X$
such that
then
$\omega $
is a Ricci-flat Kähler form with respect to the complex structure induced by
$\Omega $
.

When
$\left(v\right)$
is satisfied, we will in general assume that
$\Omega $
has been rescaled so that the following normalised relation holds
$${\omega}^{n}/n!=(-1{)}^{n(n-1)/2}(i/2{)}^{n}\Omega \wedge \overline{\Omega}.$$
If only condition (i)-(iv) are satisfied then
$(\Omega ,\omega )$
is an ACY structure. - (iv) $\Omega \wedge \omega =0$ ;
- (v) ${\omega}^{n}=c\Omega \wedge \overline{\Omega}$ , for some constant $c$ ;

An
$n$
-dimensional real submanifold
$Y$
of a CY manifold
$X$
is special Lagrangian (sL for short) if
$$Re\Omega {|}_{Y}={Vol}_{Y},$$
where
${Vol}_{Y}$
denotes the volume form on
$Y$
. Equivalently,
$Y$
is sL if

In the case of an ACY manifold we will always use the latter as the definition of sL submanifold.

$$\begin{array}{ccc}Im\Omega {|}_{Y}& =& 0\end{array}$$ | (1) |

$$\begin{array}{ccc}\omega {|}_{Y}& =& 0.\end{array}$$ | (2) |

We now describe some important results on the geometry of sL submanifolds to which we will often refer in this paper. In [10] McLean proved that given a compact sL submanifold
$Y$
of a CY manifold
$X$
, the moduli space
${M}_{Y}$
of nearby sL submanifolds can be identified with a smooth finite dimensional submanifold of
${\Omega}^{1}\left(Y\right)$
, the space of
$1$
-forms of
$Y$
. The tangent space to
${M}_{Y}$
is the space
${\mathcal{\mathscr{H}}}^{1}\left(Y\right)$
of harmonic
$1$
-forms on
$Y$
, therefore
${M}_{Y}$
has dimension
${b}_{1}\left(Y\right)$
. If
${Y}_{t}$
is a variation of
$Y$
through sL submanifolds such that
${Y}_{0}=Y$
and
$V$
is a normal vector field along
$Y$
tangent to this variation then
$${\theta}_{V}={\iota}_{V}\omega {|}_{Y}$$
is a harmonic form and it is tangent to
${M}_{Y}$
. We call it the variational harmonic form. McLean proved that every harmonic form gives rise to such a variation
${Y}_{t}$
. He also observed that
${M}_{Y}$
has a natural metric. If
${\theta}_{1}$
and
${\theta}_{2}$
are two harmonic forms then
$$\langle {\theta}_{1},{\theta}_{2}\rangle ={\int}_{Y}{\theta}_{1}\wedge \u25c6{\theta}_{2},$$
the standard
${L}^{2}$
inner product on
$\mathcal{\mathscr{H}}\left(Y\right)$
.

Given
$q\in {M}_{Y}$
denote
${Y}_{q}$
the sL submanifold corresponding to
$q$
. If
${M}_{Y}$
is connected then we can identify
${H}_{1}({Y}_{q},\mathbb{Z})$
with
${H}_{1}(Y,\mathbb{Z})$
. Now suppose
$dim{M}_{Y}=m$
and we are given a smooth choice of a basis of harmonic
$1$
-forms
${\theta}_{1}\left(q\right),\dots ,{\theta}_{m}\left(q\right)$
on
${Y}_{q}$
. Fix a basis
${\Sigma}_{1},\dots ,{\Sigma}_{m}$
for the free part of
${H}_{1}(Y,\mathbb{Z})$
and define
$${P}_{ij}\left(q\right)={\int}_{{\Sigma}_{i}}{\theta}_{j}.$$
The matrix
$P=\left({P}_{ij}\right)$
is called the period matrix.

Suppose now that
${\theta}_{1}\left(q\right),\dots ,{\theta}_{m}\left(q\right)$
are chosen so that
$P=Id$
, then we can define the function

This function was introduced by Hitchin in [7] . He showed that
${T}^{*}{M}_{Y}$
possesses a natural ACY structure. He also proved that this ACY structure is CY if and only if
$\Phi $
is constant. In the case of a family of
$2$
dimensional sL tori in a
$2$
dimensional CY manifold, he also proved in [8] that
$\Phi $
is in fact constant. In [9] we gave a
$3$
-dimensional example where this function is not constant. We will call
$\Phi $
the semi-flat volumes function.

$$\begin{array}{ccc}\Phi & :& {M}_{y}\to \mathbb{R}\end{array}$$ |

$$\begin{array}{ccc}& & q\mapsto det(\langle {\theta}_{i}(q),{\theta}_{j}(q)\rangle ).\end{array}$$ | (3) |

Acknowledgements. Early versions of the results in this article were contained in my PhD thesis written at Warwick University under the supervision of Mario Micallef and Mark Gross from 1998 to 2001. I wish to thank them for their invaluable help and time. I have worked on the new versions in this article sporadically throughout my post-docs, first with an ISM-CRM grant at Centre de Recherche Mathématiques, Montréal, Canada and then with an EPSRC grant at Imperial College, London, UK. The paper was completed while I was a guest at the Mathematics Departments of the University of Turin and Politecnico, Italy. I wish to thank these institutions for the hospitality. I also thank: Sung Ho Wang for the help in understanding the Cartan-Kähler Theorem and in proving Theorem 5 and Vestislav Apostolov for some useful discussions.

2 Summary of main results

In this paper we prove various existence results of CY structures which also imply that some families of Riemannian manifolds can be embedded isometrically inside CY manifolds. In [2] Bryant proved that if
$(Y,g)$
is a real-analytic
$3$
-dimensional manifold with a real-analytic Riemannian metric
$g$
then there exists a
$3$
-dimensional CY manifold
$X$
and an isometric embedding
$\iota :Y\to X$
such that
$\iota \left(Y\right)$
is a sL submanifold. The proof is an application of the Cartan-Kähler theorem. Here we use the same method to extend the result to
$1$
-parameter families. In Theorem 5 we prove (again in the
$3$
-dimensional case) that if
${g}_{t}$
is a real-analytic
$1$
-parameter family of metrics on
$Y$
with constant volume form admitting a real-analytic family of harmonic forms
${\theta}_{t}$
with no zeroes, then there exists a CY manifold
$X$
and a smooth family of isometric embeddings
${\iota}_{t}:Y\to X$
such that
${\iota}_{t}\left(Y\right)$
is sL for all
$t$
.

Moreover
${\theta}_{t}$
it the variational harmonic form associated to the variation
${\iota}_{t}$
.

The same result was proved by the author in [9] in the special case of tori and for a more restricted choice of variational harmonic form. The theorem is proved in Section 5 . We review the Cartan-Kähler theorem and Bryant's theorem in Sections 3 and 4 .

In Section 6 we study torus actions on an ACY manifold which preserve the structure
$(\Omega ,\omega )$
. We reformulate the Pedersen and Poon's ansatz [11] for Kähler-Einstein metrics with isometric and Hamiltonian torus actions in the case of structure preserving actions. In Section 7 we use it to prove isometric embedding theorems for torus bundles. We prove that certain principal torus bundles
$E\to N$
with connection
$\Theta $
over an ACY manifold
$N$
can be equivariantly and isometrically embedded in a higher dimensional Calabi-Yau manifold
$X$
with structure preserving torus action. In Section 8 , using these results and a theorem of Goldstein [3] and Gross [6] on the lifting of sL fibrations, we construct some examples of families of Riemannian manifolds which can be isometrically embedded in CY manifolds.

In the last Section we assume that we have a solution to the ansatz in the case of 2-torus symmetry on a
$3$
-dimensional CY manifold
$X$
and a sL torus fibration
$f:X\to B$
with fibres containing the orbits of the action. For this fibration we compute the periods, McLean's metric and the semi-flat volumes function. We obtain interesting formulae. Using the isometric embedding result for
$2$
-torus bundles we generalise the example in [9] showing that the semi-flat volume function may not be constant.

3 The Cartan-Kähler theorem

An exterior differential system is a pair
$(M,\mathcal{\mathcal{I}})$
where
$M$
is a smooth
$n$
-dimensional manifold and
$\mathcal{\mathcal{I}}$
an ideal of its (graded)-ring of smooth differential forms
${\Omega}^{*}\left(M\right)$
which is closed under exterior differentiation. We will often denote the exterior differential system just by
$\mathcal{\mathcal{I}}$
when the underlying manifold
$M$
is understood. We denote
${\mathcal{\mathcal{I}}}_{k}=\mathcal{\mathcal{I}}\cap {\Omega}^{k}\left(M\right)$
. An integral submanifold of
$(M,\mathcal{\mathcal{I}})$
is a submanifold
$\iota :N\to M$
such that
${\iota}^{*}\phi =0$
for every
$\phi \in \mathcal{\mathcal{I}}$
. Many problems in geometry can be stated in terms of finding integral submanifolds of an exterior differential system.

Let
$p\in M$
, a
$k$
-dimensional subspace
$E$
of
${T}_{p}M$
is called an integral element of
$\mathcal{\mathcal{I}}$
if
${\phi}_{|E}=0$
for all
$\phi \in \mathcal{\mathcal{I}}$
. Let
${V}_{k}(\mathcal{\mathcal{I}})\subseteq {Gr}_{k}\left(TM\right)$
be the set of all
$k$
-dimensional integral elements of
$\mathcal{\mathcal{I}}$
. A priori
${V}_{k}(\mathcal{\mathcal{I}})$
has no obvious nice structure, for example it may very well be the whole Grassmannian at one point and empty at all the others. There are however notions of
${V}_{k}(\mathcal{\mathcal{I}})$
being well behaved near a point in
${Gr}_{k}\left(TM\right)$
. Let
$E\in {Gr}_{k}\left({T}_{p}M\right)$
be an integral element of
$\mathcal{\mathcal{I}}$
, we can choose coordinates
$\left({x}_{j}\right)$
on a neighbourhood
$U$
of
$p$
in
$M$
so that
$(d{x}_{1}\wedge \dots \wedge d{x}_{k}{)}_{|E}\ne 0$
. There is an open neighbourhood
$W$
of
$E$
in
${Gr}_{k}\left(TM\right)$
such that for any
${E}^{\prime}\in W$
,
$(d{x}_{1}\wedge \dots \wedge d{x}_{k}{)}_{|{E}^{\prime}}\ne 0$
, therefore to any
$\phi \in {\mathcal{\mathcal{I}}}_{k}$
, we can associate a map
${F}_{\phi}:W\to \mathbb{R}$
such that
$${\phi}_{|{E}^{\prime}}={F}_{\phi}\left({E}^{\prime}\right)d{x}_{1}\wedge \dots \wedge d{x}_{k}.$$
We have that
${E}^{\prime}\in W$
is integral if and only if
${F}_{\phi}\left({E}^{\prime}\right)=0$
for all
$\phi \in {\mathcal{\mathcal{I}}}_{k}$
.

Definition 1
We say that
$E$
is an ordinary element if there are forms
${\phi}_{1},\dots ,{\phi}_{l}$
in
${\mathcal{\mathcal{I}}}_{k}$
and an open subset
${W}^{\prime}\subseteq W$
so that
${F}_{{\phi}_{1}},\dots ,{F}_{{\phi}_{l}}$
have linearly independent differentials on
${W}^{\prime}$
and
$${W}^{\prime}\cap {V}_{k}(\mathcal{\mathcal{I}})=\{{E}^{\prime}\in {W}^{\prime}|{F}_{{\phi}_{1}}\left({E}^{\prime}\right)=\dots ={F}_{{\phi}_{l}}\left({E}^{\prime}\right)=0\}.$$

In particular if
$E$
is an ordinary element then
${V}_{k}(\mathcal{\mathcal{I}})$
is a submanifold of
${Gr}_{k}\left(TM\right)$
near
$E$
.
Given an integral element
$E\in {Gr}_{k}\left({T}_{p}M\right)$
we would like to measure the extent to which
$E$
can be enlarged to a higher dimensional integral element.

The following definition is quite natural

Definition 2
The polar space of
$E\in {Gr}_{k}\left({T}_{p}M\right)$
is the subspace of
${T}_{p}M$
defined by
$$H\left(E\right)=\{v\in {T}_{p}M|({\iota}_{v}\phi {)}_{|E}=0,\text{for all}\phi \in {\mathcal{\mathcal{I}}}_{k+1}\}.$$
It is the union of all integral elements containing
$E$
.

Clearly any
$k+1$
-dimensional integral element of
$\mathcal{\mathcal{I}}$
containing
$E\in {Gr}_{k}\left({T}_{p}M\right)$
can be written as
$E+\mathbb{R}v$
with
$v\in H\left(E\right)$
, but
$v/\in E$
. Therefore the set of
$k+1$
-dimensional integral elements of
$\mathcal{\mathcal{I}}$
containing
$E$
is in one to one correspondence with
$\mathbb{P}\left(H\right(E)/E)$
.
Definition 3
The extension rank of
$E$
is
$$r\left(E\right)=dim(\mathbb{P}(H\left(E\right)/E\left)\right)=dim\left(H\right(E\left)\right)-k-1$$
.

If
$r\left(E\right)=-1$
, then we cannot extend
$E$
to a bigger integral element.
Definition 4
An ordinary integral element
$E$
is said to be regular if
$r$
is a constant function on a small neighbourhood of
$E$
in
${V}_{k}(\mathcal{\mathcal{I}})$
.

We can now state
Theorem 2 (The Cartan-Kähler Theorem)
Let
$(M,\mathcal{\mathcal{I}})$
be a real-analytic exterior differential system. Let
$N$
be a connected, real-analytic
$k$
-dimensional regular integral submanifold of
$M$
, with non-negative extension rank
$r$
. Let
$Z$
be a real-analytic submanifold of co-dimension
$r$
in
$M$
containing
$N$
and such that
$dim({T}_{p}Z\cap H({T}_{p}N\left)\right)=k+1$
at every
$p\in N$
.

Then there exists a
$k+1$
-dimensional, real-analytic integral manifold
$Y$
, such that
$N\subset Y\subset Z$
. Moreover any other real-analytic integral submanifold
${Y}^{\prime}$
such that
$N\subset {Y}^{\prime}\subset Z$
coincides with
$Y$
in a neighbourhood of
$N$
.

Although it may be difficult to prove that an integral submanifold is regular, Cartan devised a powerful criterion which reduces the problem to linear algebra. We will now describe it.
A
$q+1$
-tuple of integral elements
$F=({E}_{0},\dots ,{E}_{q})$
of
$\mathcal{\mathcal{I}}$
satisfying
$$0={E}_{0}\subset {E}_{1}\subset \dots \subset {E}_{q}\subset {T}_{p}M$$
and
$dim{E}_{i}=i$
is called an integral flag. If in addition all
${E}_{i}$
's are regular up to
${E}_{q-1}$
it is called a regular flag. Let
${c}_{i}\left(F\right)$
be the co-dimension of
$H\left({E}_{i}\right)$
in
${T}_{p}M$
and
$C\left(F\right)={\sum}_{i=0}^{q-1}{c}_{i}\left(F\right)$
.

Theorem 3 (Cartan's Test)
Let
$F=({E}_{0},\dots ,{E}_{q})$
be an integral flag. Then
${V}_{q}(\mathcal{\mathcal{I}})$
lies in a co-dimension
$C\left(F\right)$
submanifold of
${Gr}_{q}\left(TM\right)$
near
${E}_{q}$
. Moreover
${V}_{q}(\mathcal{\mathcal{I}})$
is a submanifold of codimension
$C$
near
${E}_{q}$
if and only if
$F$
is a regular flag.

4 SL isometric embedding of manifolds

We will now describe how the problem of constructing local Calabi-Yau structures can be interpreted as one of finding integral submanifolds of a certain exterior differential system
$\mathcal{\mathcal{I}}$
on a manifold. We will then show how Bryant used this setting to prove his theorem on isometric embeddings of special Lagrangian submanifolds using the Cartan-Kähler theorem.

Let
${\Omega}_{0}$
and
${\omega}_{0}$
be the standard holomorphic and Kähler form respectively on
${\mathbb{C}}^{n}={\mathbb{R}}^{2n}$
, i.e. the forms
$${\Omega}_{0}=d{z}_{1}\wedge \dots \wedge d{z}_{n},$$
$${\omega}_{0}=\frac{i}{2}{\sum}_{j}d{z}_{j}\wedge d{\overline{z}}_{j}.$$
The subgroup of
$GL(2n,\mathbb{R})$
which preserves
${\Omega}_{0}$
and
${\omega}_{0}$
is
$SU\left(n\right)$
, moreover the sub-ring
$({\Lambda}^{*}{\mathbb{R}}^{2n}{)}^{SU\left(n\right)}$
of
${\Lambda}^{*}{\mathbb{R}}^{2n}$
of forms which are preserved by
$SU\left(n\right)$
is precisely the one generated by
${\Omega}_{0}$
and
${\omega}_{0}$
.

Suppose now we are given a
$2n$
-dimensional oriented Riemannian manifold
$(M,g)$
. Let
$\pi :F\to M$
denote the
$SO\left(2n\right)$
co-frame bundle of
$M$
, i.e. the principal
$SO\left(2n\right)$
-bundle whose fibre over a point
$p\in M$
consists of all the oriented linear isometries
$u:{T}_{p}M\to {\mathbb{R}}^{2n}$
. We say that the manifold
$M$
admits a
$SU\left(n\right)$
structure if there exists a principal
$SU\left(n\right)$
subbundle
$P$
of
$F$
. This is the same as saying that there exists a covering
$\left\{{U}_{\alpha}\right\}$
of
$M$
with open subsets and for every
$\alpha $
a local co-frame
${e}^{\alpha}=({e}_{1}^{\alpha},\dots ,{e}_{2n}^{\alpha})$
on
${U}_{\alpha}$
such that on overlaps
${U}_{\alpha}\cap {U}_{\beta}$
,
${e}^{\alpha}$
is related to
${e}^{\beta}$
by a
$SU\left(n\right)$
transformation.

An alternative way to interpret this is the following. The group
$SU\left(n\right)$
acts on
$F$
. Let us denote by
$S$
the manifold
$F/SU\left(n\right)$
. A choice of covering with
$SU\left(n\right)$
-coframes gives a section
$\sigma :M\to S$
, and vice versa a section
$\sigma $
gives such a covering and therefore a
$SU\left(n\right)$
-subbundle
${P}_{\sigma}$
.

On
$F$
there exists a natural
${\mathbb{R}}^{2n}$
valued
$1$
-form
$\theta $
defined by
$${\theta}_{u}\left(v\right)=u\left({\pi}_{*}v\right)$$
for every
$u\in F$
and
$v\in {T}_{u}F$
. We can use this form to define forms
${\hat{\Omega}}_{0}$
and
${\hat{\omega}}_{0}$
on
$F$
by
$${\hat{\Omega}}_{0}({v}_{1},\dots ,{v}_{n})={\Omega}_{0}\left(\theta \right({v}_{1}),\dots ,\theta ({v}_{n}\left)\right),$$
$${\hat{\omega}}_{0}(v,w)={\omega}_{0}\left(\theta \right(v),\theta (w\left)\right).$$
The forms
${\hat{\Omega}}_{0}$
and
${\hat{\omega}}_{0}$
descend to the manifold
$S$
and if
$M$
admits a
$SU\left(n\right)$
structure, we can use the section
$\sigma :M\to S$
defining the structure to pull back these forms to genuine forms on
$M$
$${\Omega}_{\sigma}={\sigma}^{*}{\hat{\Omega}}_{0},$$
$${\omega}_{\sigma}={\sigma}^{*}{\hat{\omega}}_{0}.$$
Which shows that
$M$
admits a
$SU\left(n\right)$
structure if and only if it admits forms
$(\Omega ,\omega )$
(not necessarily closed) satisfying (ii) (iii) and (iv) in Theorem 1 . If in addition we want
$({\Omega}_{\sigma},{\omega}_{\sigma})$
to define a Calabi-Yau structure we must require
$\sigma $
to be such that
$${\sigma}^{*}d{\hat{\Omega}}_{0}=0,$$
$${\sigma}^{*}d{\hat{\omega}}_{0}=0,$$
i.e. we require the manifold
$\sigma \left(M\right)$
to be an integral
$2n$
-dimensional submanifold of the exterior differential system
$(S,\mathcal{\mathcal{I}})$
where
$\mathcal{\mathcal{I}}$
is generated by
$d{\hat{\Omega}}_{0}$
and
$d{\hat{\omega}}_{0}$
.

With this setting we can use the Cartan-Kähler Theorem to prove existence of local Calabi-Yau structures, but in order to do so effectively we also need to understand the Cartan Test in this contest. We may regard the ideal
$\mathcal{\mathcal{I}}$
as living on
$F$
as well as on
$S$
. Let
$\tau :F\to S$
and
$\overline{\pi}:S\to M$
be the projections and denote the bundle
$ker{\tau}_{*}$
by
$\mathbf{h}$
. The fibres of
$\mathbf{h}$
are canonically isomorphic to
$\mathfrak{s}\mathfrak{u}\left(n\right)$
. We are interested in integral elements
$E\in {Gr}_{k}\left({T}_{u}F\right)$
(or
$E\in {Gr}_{k}\left({T}_{\tau \left(u\right)}S\right)$
) which are mapped isomorphically onto
${T}_{\pi \left(u\right)}M$
by
${\pi}_{*}$
(or by
${\overline{\pi}}_{*}$
). Let us denote the set of such elements by
${V}_{k}(\mathcal{\mathcal{I}},\pi )$
(or
${V}_{k}(\mathcal{\mathcal{I}},\overline{\pi})$
respectively). Given
$E\in {Gr}_{k}\left(TS\right)$
we denote by
$\stackrel{~}{E}$
a lift of
$E$
, i.e. an element in
${Gr}_{k}\left(TF\right)$
such that
${\tau}_{*}\left(\stackrel{~}{E}\right)=E$
. Clearly
${\stackrel{~}{E}}_{1}$
,
${\stackrel{~}{E}}_{2}$
are lifts of the same element
$E$
if and only if
${\stackrel{~}{E}}_{1}+\mathbf{h}={\stackrel{~}{E}}_{2}+\mathbf{h}$
. One can verify that the following holds
$$H\left(\stackrel{~}{E}\right)={\tau}_{*}^{-1}\left(H\right(E\left)\right).$$
We deduce that

which is useful because it is often simpler to compute these numbers on lifts.

$$\begin{array}{c}c\left(\stackrel{~}{E}\right)={codim}_{{T}_{u}F}\left(H\right(\stackrel{~}{E}\left)\right)={codim}_{{T}_{\tau \left(u\right)}S}\left(H\right(E\left)\right)=c\left(E\right),\end{array}$$ | (4) |

Now suppose
$E\in {V}_{2n}(\mathcal{\mathcal{I}},\overline{\pi})$
with a lift
$\stackrel{~}{E}\in {V}_{2n}(\mathcal{\mathcal{I}},\pi )$
. There is a natural integral flag
$\stackrel{~}{B}=({\stackrel{~}{E}}_{0},\dots ,{\stackrel{~}{E}}_{2n})$
with
${\stackrel{~}{E}}_{2n}=\stackrel{~}{E}$
. In fact let
${\epsilon}_{1},\dots ,{\epsilon}_{2n}$
be the dual standard basis in
${\mathbb{R}}^{2n}$
, then we can define
$${\stackrel{~}{E}}_{k}=\{v\in \stackrel{~}{E}|{\epsilon}_{k+1}\left(\theta \right(v\left)\right)=\dots ={\epsilon}_{2n}\left(\theta \right(v\left)\right)=0\}.$$
Clearly
${\tau}_{*}$
maps
$\stackrel{~}{B}$
to a well defined flag
$B=({E}_{0},\dots ,{E}_{2n})$
with
${E}_{2n}=E$
.

We want to apply the Cartan Test to prove that
$B$
is regular. First of all one can show that near
$E$
and
$\stackrel{~}{E}$
,
${V}_{2n}(\mathcal{\mathcal{I}},\pi )$
and
${V}_{2n}(\mathcal{\mathcal{I}},\overline{\pi})$
are submanifolds of
${Gr}_{2n}\left(TF\right)$
and
${Gr}_{2n}\left(TS\right)$
respectively of the same co-dimension
$2nq$
, where
$q$
is the co-dimension of
$SU\left(n\right)$
in
$SO\left(2n\right)$
. For example, when
$n=3$
, which is the case we are interested in, they are submanifolds of co-dimension
$42$
. To show that
$B$
is regular we have to compute the numbers
${c}_{k}=codim\left(H\right({E}_{k}\left)\right)$
and show that
$C\left(B\right)={\sum}_{k=0}^{2n-1}{c}_{k}$
is equal to
$2nq$
. By ( 4 ) one can do this computation for
$\stackrel{~}{B}$
, which is easier. Clearly
$\stackrel{~}{E}\subseteq H\left({\stackrel{~}{E}}_{k}\right)$
.

Therefore
$H\left({\stackrel{~}{E}}_{k}\right)=\stackrel{~}{E}+{\mathbf{h}}_{k}$
, where
${\mathbf{h}}_{k}$
is a subspace of the vertical bundle, i.e.

a suspace of
$\mathfrak{s}\mathfrak{o}\left(2n\right)$
. For example suppose
$x\in \mathfrak{s}\mathfrak{o}\left(2n\right)$
and
${v}_{1},{v}_{2},\dots ,{v}_{n}\in {\stackrel{~}{E}}_{k}$
, then

where
$\mathcal{\mathcal{L}}$
denotes the usual Lie derivative. Similar equalities clearly hold for
$d\hat{\omega}$
. If we now think of
${\mathbb{R}}^{k}$
as standardly embedded in
${\mathbb{R}}^{2n}$
, i.e. as the set of vectors whose last
$2n-k$
-coordinates are zero, then we see that
$${\mathbf{h}}_{k}=\{x\in \mathfrak{s}\mathfrak{o}(n\left)\right|({\mathcal{\mathcal{L}}}_{x}{\Omega}_{0}{)}_{|{\mathbb{R}}^{k}}=({\mathcal{\mathcal{L}}}_{x}{\omega}_{0}{)}_{|{\mathbb{R}}^{k}}=0\}.$$
Therefore
$${c}_{k}={codim}_{\mathfrak{s}\mathfrak{o}\left(2n\right)}\left({\mathbf{h}}_{k}\right).$$
So, computing these numbers is a completely algebraic problem. In [2] , Bryant points out that whether
$C\left(B\right)=2nq$
holds or not is a property both of
$SU\left(n\right)$
and of the choice of its representation. For example he checks that indeed
$C\left(F\right)=42$
in the three dimensional case when we identify
${\mathbb{C}}^{n}$
with
${\mathbb{R}}^{2n}$
via
$z\mapsto (x,y)$
, where
$z=x+iy$
, i.e. when the complex structure
$J$
on
${\mathbb{R}}^{2n}$
is the matrix
$$J=\left(\begin{array}{cc}0& {I}_{n}\\ -{I}_{n}& 0\end{array}\right).$$
In this case one says that
$SU\left(n\right)$
is regularly presented. If one represents
$SU\left(n\right)$
in a different way then it may not satisfy
$C\left(B\right)=2nq$
(see [2] for more details).

$$\begin{array}{ccc}d\hat{\Omega}(x,{v}_{1},\dots ,{v}_{n})& =& {\mathcal{\mathcal{L}}}_{x}\hat{\Omega}({v}_{1},\dots ,{v}_{n})\end{array}$$ |

$$\begin{array}{ccc}& =& {\mathcal{\mathcal{L}}}_{x}{\Omega}_{0}\left(\theta \right({v}_{1}),\dots ,\theta ({v}_{n}\left)\right),\end{array}$$ |

We are now ready to sketch Bryant's theorem.

Theorem 4 (Bryant, [2] )
Let
$(Y,g)$
be a
$3$
-dimensional oriented, connected real-analytic manifold with real-analytic Riemannian metric
$g$
. Then there exists a three dimensional Calabi-Yau manifold
$X$
and an isometric embedding
$\iota :Y\to X$
such that
$\iota \left(Y\right)$
is special Lagrangian.

Sketch of proof. It is known that every
$3$
-dimensional Riemannian manifold is parallelisable, moreover, when
$M$
and
$g$
are real-analytic, one can find a real-analytic orthonormal parallelisation.

This means we can assume that we have a globally defined, real-analytic, oriented frame
$e=({e}_{1},{e}_{2},{e}_{3})$
on
$Y$
. When
$Y$
is embedded in some Calabi-Yau manifold as a special Lagrangian submanifold,
$(J{e}_{1},J{e}_{2},J{e}_{3})$
is an orthonormal frame for the normal bundle
$\nu \left(Y\right)$
of
$Y$
. Via the exponential map we know that a neighbourhood of
$Y$
in
$X$
is diffeomorphic to a neighbourhood of
$Y\times \left\{0\right\}$
in
$M=Y\times {\mathbb{R}}^{3}$
. Moreover, if
$({\epsilon}_{1},{\epsilon}_{2},{\epsilon}_{3},{\phi}_{1},{\phi}_{2},{\phi}_{3})$
is the co-frame dual to
$({e}_{1},{e}_{2},{e}_{3},J{e}_{1},J{e}_{2},J{e}_{3})$
, then on
${\iota}^{*}TX$
, where
$\iota :Y\to X$
is the embedding, we have
$$\Omega =({\epsilon}_{1}+i{\phi}_{1})\wedge ({\epsilon}_{2}+i{\phi}_{2})\wedge ({\epsilon}_{3}+i{\phi}_{3}),$$
$$\omega ={\sum}_{k=1}^{3}{\epsilon}_{k}\wedge {\phi}_{k}.$$
Following these observations, it is reasonable to set the problem in the following way. Let
$M=Y\times {\mathbb{R}}^{3}$
and let
$({\phi}_{1},{\phi}_{2},{\phi}_{3})$
be the canonical co-frame on
${\mathbb{R}}^{3}$
, then with the choice of global co-frame
$({\epsilon}_{1},{\epsilon}_{2},{\epsilon}_{3},{\phi}_{1},{\phi}_{2},{\phi}_{3})$
on
$M$
we let
$F=M\times {GL}_{6}(\mathbb{R})$
and
$S=M\times \left({GL}_{6}\right(\mathbb{R})/SU(3\left)\right)$
. We also define the forms
${\hat{\Omega}}_{0}$
and
${\hat{\omega}}_{0}$
on
$F$
(and on
$S$
) to be
$${\hat{\Omega}}_{0}=({\epsilon}_{1}+i{\phi}_{1})\wedge ({\epsilon}_{2}+i{\phi}_{2})\wedge ({\epsilon}_{3}+i{\phi}_{3}),$$
$${\hat{\omega}}_{0}={\sum}_{k=1}^{3}{\epsilon}_{k}\wedge {\phi}_{k}.$$
Let
${\sigma}_{0}:Y\times \left\{0\right\}\to S$
be defined by
${\sigma}_{0}(y,0)=\tau \left(\right(y,0),{I}_{6})$
, where
${I}_{6}$
is the identity matrix. Denote
${\sigma}_{0}(Y\times \{0\left\}\right)$
by
${Y}_{0}$
. The goal is to find an open neighbourhood
$X$
of
$Y\times \left\{0\right\}$
in
$M$
and a section
$\sigma :X\to S$
such that
$\sigma (y,0)={\sigma}_{0}(y,0)$
and such that
$\sigma \left(X\right)$
is an integral submanifold of the exterior differential system generated by
$d{\hat{\Omega}}_{0}$
and
$d{\hat{\omega}}_{0}$
on
$S$
. Clearly
${\sigma}_{0}^{*}{\hat{\omega}}_{0}=0$
and
${\sigma}_{0}^{*}\left({\hat{\Omega}}_{0}\right)={\epsilon}_{1}\wedge {\epsilon}_{2}\wedge {\epsilon}_{3}$
, and therefore
${Y}_{0}$
is an integral manifold.

With a bit of thought one can see that at each
$p\in {Y}_{0}$
the tangent space
${T}_{p}{Y}_{0}$
is contained in some
$E\in {V}_{6}(\mathcal{\mathcal{I}},\overline{\pi})$
and it is the
${E}_{3}$
in the canonical flag ending in
$E$
. In particular
${Y}_{0}$
is a regular submanifold.

Bryant computes explicitly the (linear)-equations defining
${\mathbf{h}}_{3}$
and finds that it has dimension
$31$
in
${M}_{6}(\mathbb{R})$
, i.e. that
${c}_{3}=5$
and that
$H\left({T}_{p}{Y}_{0}\right)$
has dimension
$29$
(i.e.
$dim{\mathbf{h}}_{3}+dimM-dimSU\left(3\right)$
). Therefore the extension rank of
${Y}_{0}$
is
$25$
. We want to apply the Cartan-Kähler Theorem to extend
${Y}_{0}$
to a
$4$
-dimensional integral manifold whose tangent spaces are in
${V}_{4}(\mathcal{\mathcal{I}},\overline{\pi})$
.

We need to find a
$9$
dimensional submanifold
${Z}_{0}$
of
$S$
, containing
${Y}_{0}$
, such that
${T}_{p}{Z}_{0}\cap H\left({T}_{p}{Y}_{0}\right)$
is of dimension
$4$
and is in
${V}_{4}(\mathcal{\mathcal{I}},\overline{\pi})$
.

The idea to construct
${Z}_{0}$
is the following. Being a linear subspace of
${M}_{6}(\mathbb{R})$
,
${\mathbf{h}}_{3}$
has a complementary subspace
${W}_{0}$
, i.e. a subspace of
${M}_{6}(\mathbb{R})$
of dimension
$5$
such that
${W}_{0}\cap {\mathbf{h}}_{3}=\left\{0\right\}$
. There exists a neighbourhood
${U}_{0}$
of
$0$
in
${W}_{0}$
such that for all
$x\in {U}_{0}$
,
${I}_{6}+x$
is in
${GL}_{n}(\mathbb{R})$
, therefore we can define the following submanifold of
$F$
:
$${\stackrel{~}{Z}}_{0}=\left\{\right(p,({y}_{1},0,0),{I}_{6}+x)\in Y\times {\mathbb{R}}^{3}\times {GL}_{6}(\mathbb{R}\left)\right|p\in Y,x\in {U}_{0}\}.$$
It is a submanifold of dimension
$9$
, and since
$\mathfrak{s}\mathfrak{u}\left(3\right)\subset {\mathbf{h}}_{3}$
,
${W}_{0}$
is transversal to the
$SU\left(3\right)$
orbit, therefore
${\stackrel{~}{Z}}_{0}$
maps down to a well defined
$9$
dimensional submanifold
${Z}_{0}$
of
$S$
, containing
${Y}_{0}$
. One can check that indeed
${T}_{p}{Z}_{0}\cap H\left({T}_{p}{Y}_{0}\right)$
is of dimension
$4$
and it is in
${V}_{4}(\mathcal{\mathcal{I}},\overline{\pi})$
. In fact
${T}_{p}{Z}_{0}\cap H\left({T}_{p}{Y}_{0}\right)$
is sent via
${\overline{\pi}}_{*}$
isomorphically onto the subspace of
${T}_{(p,0)}M$
spanned by
${T}_{p}Y$
and
$\partial /\partial {y}_{1}$
. We can now apply the Cartan-Kähler Theorem to find an integral,
$4$
dimensional submanifold
${Y}_{1}$
, such that
${Y}_{0}\subset {Y}_{1}\subset {Z}_{0}$
and whose tangent spaces are all contained in
${V}_{4}(\mathcal{\mathcal{I}},\overline{\pi})$
. In particular we may assume that
${Y}_{1}$
is the image of a section
${\sigma}_{1}$
of
$S$
defined over
$\left\{\right(p,({y}_{1},0,0))\in Y\times {\mathbb{R}}^{3}|{y}_{1}\text{is sufficiently small}\}$
.

We now repeat similar arguments to extend
${Y}_{1}$
to a
$5$
dimensional integral submanifold containing
${Y}_{1}$
which is the image of a section of
$S$
defined over a
$5$
dimensional submanifold in
$M$
. One observes that each tangent space of
${Y}_{1}$
is contained in some
$E\in {V}_{6}(\mathcal{\mathcal{I}},\overline{\pi})$
and that it is the
${E}_{4}$
of the canonical flag of
$E$
, therefore
${Y}_{1}$
is a regular submanifold. One computes the equations defining
${\mathbf{h}}_{4}$
and finds that it is a
$24$
dimensional subspace of
${M}_{6}(\mathbb{R})$
. Therefore
$H\left({T}_{p}{Y}_{1}\right)$
is
$22$
dimensional and
${T}_{p}{Y}_{1}$
has extension rank
$17$
. We need to find
${Z}_{1}$
, a submanifold of
$S$
, of dimension
$17$
containing
${Y}_{1}$
and with the property that
${T}_{p}{Z}_{1}\cap H\left({T}_{p}{Y}_{1}\right)$
is of dimension
$5$
at every
$p$
and it is contained in
${V}_{5}(\mathcal{\mathcal{I}},\overline{\pi})$
. One finds a subspace
${W}_{1}$
of
${M}_{6}(\mathbb{R})$
of dimension
$12$
which is complementary to
${\mathbf{h}}_{4}$
and a neighbourhood
${U}_{1}$
of
$0$
in
${W}_{1}$
such that
${I}_{6}+x\in {GL}_{6}(\mathbb{R})$
for all
$x\in {U}_{1}$
. Then we can define
$${\stackrel{~}{Z}}_{1}=\left\{\right((p,{y}_{1},{y}_{2},0),{I}_{6}+x)\in Y\times {\mathbb{R}}^{3}\times {GL}_{6}(\mathbb{R}\left)\right|p\in Y,x\in {U}_{1}\}.$$
We have that
${\stackrel{~}{Z}}_{1}$
maps down to a well defined
$17$
dimensional submanifold
${Z}_{1}$
in
$S$
, containing
${Z}_{0}$
and therefore
${Y}_{1}$
which has the desired properties.

We apply Cartan-Kähler and we find a five dimensional integral submanifold
${Y}_{2}$
containing
${Y}_{1}$
which is the image of a section
${\sigma}_{2}$
defined over the set
$\left\{\right(p,{y}_{1},{y}_{2},0)\in Y\times {\mathbb{R}}^{3}|{y}_{1},{y}_{2}\text{are sufficiently small}\}$
.

Finally one can extend one more time to find the desired six dimensional integral submanfold
${Y}_{3}$
which is the image of a section
$\sigma $
defined over an open neighbourhood
$X$
of
$Y\times \left\{0\right\}$
in
$M$
. This can be done since
${h}_{5}$
is
$14$
dimensional (i.e.
${c}_{5}=22$
), implying
$H\left({T}_{p}{Y}_{2}\right)$
is
$12$
dimensional and the extension rank of
${Y}_{2}$
is
$6$
. The arguments above carry through. The forms
${\sigma}^{*}{\hat{\Omega}}_{0}$
and
${\sigma}^{*}{\hat{\omega}}_{0}$
define a Calabi-Yau structure on
$X$
with respect to which
$Y\times \left\{0\right\}$
is special Lagrangian and induces the given metric
$g$
.
$\square $

5 SL isometric embedding of $1$ -parameter families

We now show how Bryant's result can be refined to prove an isometric embedding theorem of one parameter families of Riemannian manifolds as one parameter families of special Lagrangian submanifolds in a Calabi-Yau manifold.

First let us recall some important facts. Suppose that
$Y$
is a
$3$
dimensional manifold and suppose that for some
$\kappa >0$
there exists a map
$I:Y\times [0,\kappa )\to X$
into some
$3$
-dimensional Calabi-Yau manifold
$(X,\Omega ,\omega )$
, such that for each
$t\in [0,\kappa )$
the map
${I}_{t}=I(\cdot ,t)$
is an immersion and
${Y}_{t}={I}_{t}\left(Y\right)$
is special Lagrangian. We call
$I$
a special Lagrangian variation of Y. The vector field in
$X$
along
${Y}_{t}$
defined by
$${V}_{t}\left(p\right)=\frac{\partial I}{\partial t}(p,t),$$
is called the variational vector field of
$I$
. If
${V}_{t}$
is normal to
${Y}_{t}$
for all
$t$
we call
$I$
a normal (special Lagrangian) variation. Let
$${\theta}_{t}={I}_{t}^{*}\left({\iota}_{{V}_{t}}\omega \right).$$
MacLean has shown that
${\theta}_{t}$
is a harmonic one-form on
$Y$
with respect to the metric
${g}_{t}={I}_{t}^{*}g$
where
$g$
is the metric on
$X$
. We call
${\theta}_{t}$
the variational harmonic form of the variation
$I$
.

We now prove

Theorem 5
Let
$Y$
be a real-analytic
$3$
-dimensional oriented manifold. Suppose we are given the data of a pair
$({g}_{t},{\theta}_{t}{)}_{t\in (-\kappa ,\kappa )}$
where
${g}_{t}$
is a real-analytic one parameter family of metrics on
$Y$
and
${\theta}_{t}$
a real-analytic one parameter family of
$1$
-forms, satisfying
Then there exists a
$3$
-dimensional Calabi-Yau manifold
$(X,\Omega ,\omega )$
and a normal special Lagrangian variation
$I:Y\times (-\kappa ,\kappa )\to X$
such that for every
$t\in (-\kappa ,\kappa )$
, the map
${I}_{t}=I(\cdot ,t)$
is an isometry with respect to
${g}_{t}$
and
${\theta}_{t}$
is the variational harmonic one-form with respect to
$I$
.

- (i) ${Vol}_{{g}_{t}}$ , the volume form with respect to ${g}_{t}$ , is independent of $t$ , i.e. $$\frac{\partial}{\partial t}{Vol}_{{g}_{t}}=0;$$
- (ii) ${\theta}_{t}$ is harmonic with respect to ${g}_{t}$ for all $t\in (-\kappa ,\kappa )$ ;
- (iii) ${\theta}_{t}\left(p\right)\ne 0$ , for all $t\in (-\kappa ,\kappa )$ and $p\in Y$ .

Proof. Let
${X}_{1}=Y\times (-\kappa ,\kappa )$
. Define the following one forms on
${X}_{1}$
:
$${\epsilon}_{1}(p,t)=\frac{{\theta}_{t}}{\left|{\theta}_{t}\right|},$$
$${\phi}_{1}(p,t)=\left|{\theta}_{t}\right|dt,$$
where the length of
${\theta}_{t}$
is computed w.r.t.
${g}_{t}$
and it is non-zero because of (iii). We can complete these two forms to a global, real-analytic co-frame
$({\epsilon}_{1},{\epsilon}_{2},{\epsilon}_{3},{\phi}_{1})$
such that for every
$t\in (-\kappa ,\kappa )$
,
$\left({\epsilon}_{1}\right(\cdot ,t),{\epsilon}_{2}(\cdot ,t),{\epsilon}_{3}(\cdot ,t\left)\right)$
is an oriented, orthonormal co-frame on
$Y$
with respect to
${g}_{t}$
.

Now define
$M={X}_{1}\times {\mathbb{R}}^{2}$
and let
$({y}_{1},{y}_{2})$
be coordinates on
${\mathbb{R}}^{2}$
. Let
$({\phi}_{2},{\phi}_{3})=(d{y}_{1},d{y}_{2})$
be the standard co-frame on
${\mathbb{R}}^{2}$
. Let the co-frame bundle
$F$
of
$M$
be trivialised by
$({\epsilon}_{1},{\epsilon}_{2},{\epsilon}_{3},{\phi}_{1},{\phi}_{2},{\phi}_{3})$
, so that we can identify
$F$
with
$M\times {GL}_{6}(\mathbb{R})$
and
$S$
with
$M\times \left({GL}_{6}\right(\mathbb{R})/SU(n\left)\right)$
. As usual, define on
$F$
(and on
$S$
) the forms
$${\hat{\Omega}}_{0}=({\epsilon}_{1}+i{\phi}_{1})\wedge ({\epsilon}_{2}+i{\phi}_{2})\wedge ({\epsilon}_{3}+i{\phi}_{3}),$$
$${\hat{\omega}}_{0}={\sum}_{k=1}^{3}{\epsilon}_{k}\wedge {\phi}_{k}.$$
We let
$\mathcal{\mathcal{I}}$
be the exterior differential system on
$F$
(or
$S$
) generated by
$d{\hat{\Omega}}_{0}$
and
$d{\hat{\omega}}_{0}$
.

Now consider the section of
$S$
defined on
${X}_{1}\times \left\{0\right\}$
by
${\sigma}_{1}\left(\right(p,t),0)=\tau \left(\right(p,t),0,{I}_{6})$
. We show that
${Y}_{1}={\sigma}_{1}({X}_{1}\times \{0\left\}\right)$
is an integral submanifold of
$(S,\mathcal{\mathcal{I}})$
. In fact we have
$${\sigma}_{1}^{*}\left({\hat{\omega}}_{0}\right)={\epsilon}_{1}\wedge {\phi}_{1}={\theta}_{t}\wedge dt$$
and

By assumption (ii),
${\theta}_{t}$
is closed on
$Y$
for every
$t$
, therefore
${\sigma}_{1}^{*}\left({\hat{\omega}}_{0}\right)$
is also closed on
${X}_{1}$
. Now observe that
${\epsilon}_{1}\wedge {\epsilon}_{2}\wedge {\epsilon}_{3}$
restricts to the volume form w.r.t.
${g}_{t}$
on
$Y\times \left\{t\right\}\subset {X}_{1}$
, therefore, by assumption (i), it is independent of
$t$
, i.e. it is closed on
${X}_{1}$
. Moreover, if
$\u25c6$
is the Hodge-star operator w.r.t the metric
${g}_{t}$
, then
$$\u25c6{\theta}_{t}=\left|{\theta}_{t}\right|{\epsilon}_{2}\wedge {\epsilon}_{3},$$
therefore, by assumption (ii),
$\left|{\theta}_{t}\right|{\epsilon}_{2}\wedge {\epsilon}_{3}$
is closed on
$Y$
. It follows that
$\left|{\theta}_{t}\right|dt\wedge {\epsilon}_{2}\wedge {\epsilon}_{3}$
, and therefore
${\sigma}_{1}^{*}\left({\hat{\Omega}}_{0}\right)$
, is closed in
${X}_{1}$
. We conclude that
${Y}_{1}$
is an integral submanifold.

$$\begin{array}{ccc}{\sigma}_{1}^{*}\left({\hat{\Omega}}_{0}\right)& =& {\epsilon}_{1}\wedge {\epsilon}_{2}\wedge {\epsilon}_{3}+i{\phi}_{1}\wedge {\epsilon}_{2}\wedge {\epsilon}_{3}\end{array}$$ |

$$\begin{array}{ccc}& =& {\epsilon}_{1}\wedge {\epsilon}_{2}\wedge {\epsilon}_{3}+i\left|{\theta}_{t}\right|dt\wedge {\epsilon}_{2}\wedge {\epsilon}_{3}\end{array}$$ |

To complete the proof we can now follow exactly the steps in Theorem 4 , starting from the second extension. One replaces the
${Y}_{1}$
in Theorem 4 , obtained by extending
${Y}_{0}$
, with the
${Y}_{1}$
we have defined here and follows the argument word by word from then on.
$\square $

6 Structure preserving torus actions

The action of a Lie group
$G$
on an
$n$
-dimensional ACY manifold
$(X,\Omega ,\omega )$
is called structure preserving if it is Hamiltonian and preserves
$\Omega $
. Clearly structure preserving actions induce holomorphic isometries on
$X$
, although the converse is not in general true as we may have holomorphic actions which do not preserve
$\Omega $
.

We restrict to the case when
$G$
is the
$m$
-torus
$T=U(1{)}^{m}$
, with
$m<n$
, and the action is free. Denote by
$\mathfrak{t}=i{\mathbb{R}}^{m}$
the Lie algebra of
$T$
. Let
${\eta}_{1},\dots ,{\eta}_{m}\in \Gamma \left(TX\right)$
be the vector fields induced by the action corresponding to the standard basis
$i{e}_{1},\dots ,i{e}_{m}$
of
$\mathfrak{t}$
. We denote by
${\mu}_{j}:X\to \mathbb{R}$
a Hamiltonian of
${\eta}_{j}$
, i.e. a function such that
${\iota}_{{\eta}_{j}}\omega =d{\mu}_{j}$
. The function
$\mu :X\to {\mathbb{R}}^{m}$
given by
$\mu =({\mu}_{1},\dots ,{\mu}_{m})$
is the Hamiltonian of the action.

For any
$t=({t}_{1},\dots ,{t}_{m})\in \mu \left(X\right)$
we can form the manifold
$N={\mu}^{-1}\left(t\right)/{T}^{m}$
together with its symplectic form
${\omega}_{\text{r}}$
given by symplectic reduction. On
$N$
we can also naturally define an
$(n-m)$
-form
${\Omega}_{\text{r}}$
as follows. Denote by
$\pi :{\mu}^{-1}\left(t\right)\to N$
the projection. Let
${v}_{1},\dots ,{v}_{n-m}\in T{\mu}^{-1}\left(t\right)$
. Then
$${\Omega}_{\text{r}}({\pi}_{*}{v}_{1},\dots ,{\pi}_{*}{v}_{n-m})={\iota}_{{\eta}_{1}}\dots {\iota}_{{\eta}_{m}}\Omega ({v}_{1},\dots ,{v}_{n-m}).$$
Goldstein [3] and Gross [6] proved the following theorem:

Theorem 6 (Goldstein, Gross)
The manifold
$(N,{\Omega}_{\text{r}},{\omega}_{\text{r}})$
is almost Calabi-Yau. Moreover, suppose there exists a
${T}^{m}$
-invariant continuous map
$g:X\to B$
to an
$(n-m)$
-dimensional real manifold
$B$
such that the induced maps
$g:N\to B$
are sL fibrations for all (or almost all)
$t\in \mu \left(X\right)$
. Then
$(g,\mu ):X\to B\times {\mathbb{R}}^{m}$
is a sL fibration on
$X$
.

This theorem is our main motivation to study CY manifolds with
$T$
action.
In [11] Pedersen and Poon prove an ansatz for Kähler-Einstein metrics with a torus acting through holomorphic isometries. Here we wish to formulate the ansatz for the stronger case of structure preserving actions on CY manifolds. We start by describing the data required in the ansatz.

Let
$\pi :E\to N$
be a principal
$T$
-bundle over the complex
$(n-m)$
-dimensional manifold
$N$
. We identify
$\mathfrak{t}$
with
$i{\mathbb{R}}^{m}$
. Let
$U\subseteq {\mathbb{R}}^{m}$
be a connected open subset with coordinates
$t=({t}_{1},\dots ,{t}_{m})$
. On
$E$
we have the vertical vector fields
${\eta}_{1},\dots ,{\eta}_{m}$
associated to the standard basis of
$i{\mathbb{R}}^{m}$
. Let
$W=\left({w}_{jk}\right)$
be an
$m\times m$
positive definite symmetric matrix of smooth functions on
$N\times U$
. Let
${\omega}_{\text{r}}\left(t\right)$
be a smooth family of Kähler forms on
$N$
parametrised by
$t\in U$
and
$\theta \left(t\right)\in {\Omega}^{1}(E,i{\mathbb{R}}^{n})$
a smooth family of connection forms, written in components as
$\theta =({\theta}_{1},\dots ,{\theta}_{m})$
. Assume also that there exists on
$N$
a nowhere vanishing holomorphic
$(n-m)$
-form
${\Omega}_{\text{r}}$
such that
$({\Omega}_{\text{r}},{\omega}_{\text{r}}(t\left)\right)$
is an ACY structure for all
$t$
. On the
$2n$
-dimensional real manifold
$X=E\times U$
we can define the following
$T$
-invariant forms

$$\begin{array}{ccc}& \omega ={\pi}^{*}{\omega}_{\text{r}}-i{\theta}_{j}\wedge d{t}_{j},& \end{array}$$ | (5) |

$$\begin{array}{ccc}& \Omega =(i{)}^{m}\left({\wedge}_{j=1}^{m}({w}^{jk}d{t}_{k}-{\theta}_{j})\right)\wedge {\pi}^{*}{\Omega}_{\text{r}}.& \end{array}$$ | (6) |

Proposition 1 (Pedersen-Poon,[11] )
Let
$\pi :E\to N$
be a principal
$T$
-bundle over the complex
$(n-m)$
-dimensional manifold
$N$
and let
$W=\left({w}_{jk}\right)$
,
$({\Omega}_{\text{r}},{\omega}_{\text{r}})$
, and
$\theta $
be the data defined above. Then the pair of forms
$(\Omega ,\omega )$
on
$X=E\times U$
written in ( 5 ) and ( 6 ) form an almost Calabi-Yau structure on
$X$
if and only if the data satisfy

where in the second equation,
$[\cdot {]}_{(0,1)}$
is the projection onto the
$(0,1)$
part with respect to the complex structure on
$N$
. The operators
$d$
and
$\overline{\partial}$
are computed on
$N$
.

$$\begin{array}{ccc}& \frac{\partial}{\partial {t}_{j}}{\omega}_{\text{r}}=id{\theta}_{j},& \end{array}$$ | (7) |

$$\begin{array}{ccc}& & \end{array}$$ |

$$\begin{array}{ccc}& {\left[\frac{\partial {\theta}_{i}}{\partial {t}_{j}}\right]}_{(0,1)}=-\overline{\partial}{w}^{ij}& \end{array}$$ | (8) |

$$\begin{array}{ccc}& & \end{array}$$ |

$$\begin{array}{ccc}& \frac{\partial {w}^{ij}}{\partial {t}_{k}}-\frac{\partial {w}^{ik}}{\partial {t}_{j}}=0,& \end{array}$$ | (9) |

The structure is CY if
$({\Omega}_{\text{r}},{\omega}_{\text{r}})$
satisfy

Moreover any ACY manifold
$(X,\Omega ,\omega )$
with a free structure preserving
$T$
-action can be described locally by such a construction.

$$\begin{array}{c}{\omega}_{\text{r}}^{n-m}/(n-m)!=(-1{)}^{(n-m)(n-m-1)/2}(i/2{)}^{n-m}det{W}^{-1}{\Omega}_{\text{r}}\wedge {\overline{\Omega}}_{\text{r}}.\end{array}$$ | (10) |

Proof. We use Theorem 1 . Clearly
$\Omega $
is locally decomposable since this is true of
${\Omega}_{\text{r}}$
.

Notice that since
$\theta $
has values in
$i{\mathbb{R}}^{m}$
$$\overline{\theta}=-\theta .$$
It is not difficult to prove the identity

Since
${\theta}_{1}\wedge \dots \wedge {\theta}_{m}$
restricts to a volume form on the vertical space of
$E$
, ( 11 ) implies condition (iii) of Theorem 1 . Condition (iv) easily follows from the identity
$${\theta}_{j}\wedge d{t}_{j}=-\frac{{w}_{jl}}{2}({w}^{lk}d{t}_{k}-{\theta}_{l})\wedge ({w}^{jm}d{t}_{m}+{\theta}_{j}).$$
A tedious but straight forward computation, which uses ( 11 ), also shows that if
${\omega}_{\text{r}}$
and
${\Omega}_{\text{r}}$
satisfy ( 10 ) then
$\omega $
and
$\Omega $
satisfy condition
$\left(5\right)$
. Finally one can easily check that
$\Omega $
and
$\omega $
are closed if and only if equations ( 7 ), ( 8 ) and ( 9 ) are satisfied.

$$\begin{array}{c}\Omega \wedge \overline{\Omega}=(-2{)}^{m}det{W}^{-1}d{t}_{1}\wedge \dots \wedge d{t}_{m}\wedge {\theta}_{1}\wedge \dots \wedge {\theta}_{m}\wedge {\pi}^{*}({\Omega}_{\text{r}}\wedge {\overline{\Omega}}_{\text{r}}).\end{array}$$ | (11) |

We now prove that every ACY manifold with a structure preserving free
$T$
action can be described by the ansatz. Let
$\mu =({\mu}_{1},\dots ,{\mu}_{n})$
be the moment map of the action. Then, for
$t\in \mu \left(X\right)$
let
${E}_{t}={\mu}^{-1}\left(t\right)$
and
${N}_{t}={\mu}^{-1}\left(t\right)/T$
with the reduced ACY structure
$\left({\Omega}_{\text{r}}\right(t),{\omega}_{\text{r}}(t\left)\right)$
. Let
$J$
denote the almost complex structure of
$X$
. Define

then for fixed
$t$
, the matrix
$W=\left({w}_{jk}\right)$
is a symmetric positive definite matrix of functions on
${N}_{t}$
. Now denote

The
${\xi}_{j}$
's are linearly independent vector fields orthogonal to
${\mu}^{-1}\left(t\right)$
. Using the fact that the
${\eta}_{j}$
's are Killing holomorphic fields one can show that
$$[{\xi}_{j},{\xi}_{k}]=0.$$
Therefore the flows
${\Phi}_{{\xi}_{j}}^{{t}_{j}}$
of the
${\xi}_{j}$
's, which exist for sufficiently small
${t}_{j}$
's, define coordinates
$t=({t}_{1},\dots ,{t}_{m})$
on the leafs of the distribution defined by the
${\xi}_{j}$
's. Let
$${\Phi}^{t}={\Phi}_{{\xi}_{1}}^{{t}_{1}}\circ \dots \circ {\Phi}_{{\xi}_{m}}^{{t}_{m}}.$$
The fact that

implies that
$$\mu \left({\Phi}^{t}\right(p\left)\right)=t$$
when
$p\in {\mu}^{-1}\left(0\right)$
. Therefore
${\Phi}^{t}$
identifies
${E}_{0}={\mu}^{-1}\left(0\right)$
with
${E}_{t}={\mu}^{-1}\left(t\right)$
.

$$\begin{array}{c}{w}_{jk}=\langle {\eta}_{j},{\eta}_{k}\rangle =\omega ({\eta}_{j},J{\eta}_{k}),\end{array}$$ | (12) |

$$\begin{array}{c}{\xi}_{j}={w}^{jk}J{\eta}_{k},\end{array}$$ | (13) |

$$\begin{array}{ccc}d{\mu}_{i}\left({\xi}_{j}\right)& =& \omega ({\eta}_{i},{w}^{jk}J{\eta}_{k})\end{array}$$ |

$$\begin{array}{ccc}& =& {w}_{ik}{w}^{jk}={\delta}_{ij}.\end{array}$$ |

Now, since
${\eta}_{k}$
commutes with
${\xi}_{j}$
,
${\Phi}^{t}$
is also equivariant, i.e.
${N}_{0}$
and
${N}_{t}$
are also naturally identified. Let
$E={E}_{0}$
and
$N={N}_{0}$
. If we take
$U\subseteq {\mathbb{R}}^{m}$
to be an open neighbourhood of
$0$
such that
${\Phi}^{t}$
is defined for
$t\in U$
, then
${\Phi}^{t}$
identifies
$E\times U$
with
${\mu}^{-1}\left(U\right)$
in an equivariant way, moreover
$\mu $
is identified with the projection onto
$U$
.

The reduced ACY structure on
${N}_{t}$
can be considered as a family of ACY structures
$\left({\Omega}_{\text{r}}\right(t),{\omega}_{\text{r}}(t\left)\right)$
on
$N$
. We now prove

Goldstein [3,Lemma1] proved that
${\iota}_{{\eta}_{1}}\dots {\iota}_{{\eta}_{m}}\Omega $
is closed. Therefore ( 14 ) follows from
$${\mathcal{\mathcal{L}}}_{{\xi}_{j}}({\iota}_{{\eta}_{1}}\dots {\iota}_{{\eta}_{m}}\Omega )={\iota}_{{\xi}_{j}}d{\iota}_{{\eta}_{1}}\dots {\iota}_{{\eta}_{m}}\Omega +d{\iota}_{{\xi}_{j}}{\iota}_{{\eta}_{1}}\dots {\iota}_{{\eta}_{m}}\Omega =0.$$
where the second summand vanishes because
$\Omega $
is of type
$(n,0)$
.

$$\begin{array}{c}\frac{\partial}{\partial {t}_{j}}{\Omega}_{\text{r}}=0.\end{array}$$ | (14) |

The Riemannian metric on
$X$
also induces a family of connections
$\theta \left(t\right)=\left({\theta}_{1}\right(t),\dots ,{\theta}_{m}(t\left)\right)$
on
$E$
. Proving that
${\Phi}^{t}$
identifies
$\Omega $
and
$\omega $
on
$X$
with the forms in ( 6 ) and ( 5 ) respectively is just a matter of a simple verification.

The fact that
$({\Omega}_{\text{r}},{\omega}_{\text{r}})$
always satisfy ( 10 ) whenever
$(\Omega ,\omega )$
satisfy property (v) in Theorem 1 is also a rather straight forward computation.
$\square $

Remark 1. The way we stated the Pedersen-Poon ansatz is different from how it was stated in the original paper. This is partially due to the fact that we are only considering the case of Ricci-flat metrics where the action preserves also the holomorphic form. Our formulation is also more convenient for the applications in the following sections.
$\square $

7 Isometric embeddings of torus bundles

We now prove, using essentially Proposition 1 and the Cauchy-Kowalesky theorem, the following isometric embedding theorem for principal
${T}^{m}$
bundles over an ACY base.

Theorem 7
Let
$\pi :E\to N$
be a principal
${T}^{m}$
-bundle over an
$(n-m)$
-dimensional ACY manifold
$(N,{\Omega}_{0},{\omega}_{0})$
with connection
${\theta}_{0}$
whose curvature is of type
$(1,1)$
. Let
${W}_{0}$
be a positive definite
$m\times m$
symmetric matrix of functions on
$N$
such that

If all the data is real-analytic, then there exists a neighbourhood
$U\subset {\mathbb{R}}^{m}$
of
$0$
and a
${T}^{m}$
-invariant CY structure
$(\Omega ,\omega )$
on
$E\times U$
, inducing the connection
${\theta}_{0}$
and the matrix
${W}_{0}$
on
$E\times \left\{0\right\}$
. Moreover the projection onto
$U$
is the Hamiltonian of the action and the reduced space over
$t=0$
is
$(N,{\Omega}_{0},{\omega}_{0})$
.

$$\begin{array}{c}{\omega}_{0}^{n-m}/(n-m)!=(-1{)}^{(n-m)(n-m-1)/2}(i/2{)}^{n-m}det{W}_{0}^{-1}{\Omega}_{0}\wedge {\overline{\Omega}}_{0}.\end{array}$$ | (15) |

Proof. By Proposition 1 we can assume
${\Omega}_{\text{r}}={\Omega}_{0}$
. For given
${\omega}_{\text{r}}$
, denote by
${f}_{{\omega}_{\text{r}}}$
the unique function such that
$${\omega}_{\text{r}}^{n-m}/(n-m)!=(-1{)}^{(n-m)(n-m-1)/2}(i/2{)}^{n-m}{f}_{{\omega}_{\text{r}}}{\Omega}_{\text{r}}\wedge {\overline{\Omega}}_{r}.$$
For any
$m$
-tuple of positive numbers
$\epsilon =({\epsilon}_{1},\dots ,{\epsilon}_{m})$
denote
$${U}_{l}=\left\{\right({x}_{1},\dots ,{x}_{m})\in {\mathbb{R}}^{m}|{x}_{j}<{\epsilon}_{j},1\le j\le l;{x}_{j}=0,l+1\le j\le m\}.$$
For fixed
$1\le l\le m$
consider the following system of equations
$$\left({S}_{l}\right)\{\begin{array}{c}\frac{\partial}{\partial {t}_{l}}{\omega}_{\text{r}}=id{\theta}_{l},\\ {\left[\frac{\partial {\theta}_{i}}{\partial {t}_{l}}\right]}_{(0,1)}=-\overline{\partial}{w}^{il},i=1,\dots ,m\\ \frac{\partial {w}^{ij}}{\partial {t}_{l}}=\frac{\partial {w}^{il}}{\partial {t}_{j}},j\le i,j\le l\\ \frac{\partial {w}^{ij}}{\partial {t}_{l}}=\frac{\partial {w}^{jl}}{\partial {t}_{i}},i\le j\le l\\ det{W}^{-1}={f}_{{\omega}_{\text{r}}}\end{array}$$
We regard this system as an evolution equation with time variable
${t}_{l}$
. It is a well defined system on
$N\times {\mathbb{R}}^{l}$
. We now show that by subsequently applying the Cauchy-Kowalesky Theorem, we can find an
$m$
-tuple
$\epsilon =({\epsilon}_{1},\dots ,{\epsilon}_{m})$
such that for every
$l=1,\dots ,m$
, there is a solution
$({\omega}_{\text{r}},W,\theta {)}_{l}$
to
$\left({S}_{l}\right)$
on
${U}_{l}$
.

Moreover
$({\omega}_{\text{r}},W,\theta {)}_{l}$
coincides with
$({\omega}_{\text{r}},W,\theta {)}_{l-1}$
on
${U}_{l-1}$
.

By induction assume that for some
$l\le m$
, we have constructed a real-analytic
$({\omega}_{\text{r}},W,\theta {)}_{l-1}$
on
${U}_{l-1}$
which satisfies
$\left({S}_{k}\right)$
for all
$k\le l-1$
.

We now solve
${S}_{l}$
on some
${U}_{l}$
extending
${U}_{l-1}$
with the initial conditions
$$({\omega}_{\text{r}},W,\theta ){|}_{{t}_{l}=0}=({\omega}_{\text{r}},W,\theta {)}_{l-1}.$$
Notice that
${S}_{l}$
is underdetermined, in fact the
${w}^{ij}$
's with
$j>l$
appear only in the last equation. Moreover, if we ignore the last equation, the unknowns
${w}^{ij}$
and
${\theta}_{i}$
with
$i>l$
and
$j\le l$
, appear only in the second and third set of equations which are independent from the others. To solve the second and third set of equations with
$i>l$
we can arbitrarily choose real analytic
${w}^{il}$
's extending the initial conditions and then obtain
${w}^{ij}$
and
${\theta}_{i}$
by integration.

Now also arbitrarily extend
${w}^{ij}$
with
$i,j>l$
and set
${w}^{ij}$
with
$j>l$
and
$i\le l$
equal to
${w}^{ji}$
(this is coherent with requiring
$W$
to be symmetric). One can now see that
$\left({S}_{l}\right)$
restricted to the cases
$i\le l$
is completely determined and a unique solution exists by Cauchy-Kowalesky on some
${U}_{l}$
.

Suppose that on
${U}_{l-1}$
,
${w}^{ij}={w}^{ji}$
for all
$i$
and
$j$
, we now show that the same continues to be true on
${U}_{l}$
for the solution just constructed. By construction this is true for all
$i,j$
with
$i>l$
or
$j>l$
. So assume
$i\le j\le l$
.

We have
$$\frac{\partial}{\partial {t}_{l}}({w}^{ij}-{w}^{ji})=\frac{\partial {w}^{jl}}{\partial {t}_{i}}-\frac{\partial {w}^{jl}}{\partial {t}_{i}}=0,$$
where in the first equality we have used the third and fourth equation of
$\left({S}_{l}\right)$
. Now the claim follows from
$({w}^{ij}-{w}^{ji}){|}_{{t}_{l}=0}=0$
.

We now show that
$({\omega}_{\text{r}},W,\theta {)}_{l}$
continues to satisfy
$\left({S}_{k}\right)$
for all
$k<l$
on
${U}_{l}$
.

First we show that the third equation of
$\left({S}_{k}\right)$
holds. Assume first
$j\le k\le i$
.

Then
$$\frac{\partial}{\partial {t}_{l}}\left(\frac{\partial {w}^{ij}}{\partial {t}_{k}}-\frac{\partial {w}^{ik}}{\partial {t}_{j}}\right)=\frac{\partial}{\partial {t}_{k}}\left(\frac{\partial {w}^{ij}}{\partial {t}_{l}}-\frac{\partial {w}^{il}}{\partial {t}_{j}}\right)=0,$$
where both equal signs follows from applying the third equation of
$\left({S}_{l}\right)$
.

Now, assuming
$j\le i\le k$
, we have

where in the first equality we have used the fourth equation, in the second we used symmetry, in the third we used the previous case and in the last the third equation. We now show that the fourth equation of
$\left({S}_{k}\right)$
holds.

$$\begin{array}{ccc}\frac{\partial}{\partial {t}_{l}}\left(\frac{\partial {w}^{ij}}{\partial {t}_{k}}-\frac{\partial {w}^{ik}}{\partial {t}_{j}}\right)& =& \frac{{\partial}^{2}{w}^{ij}}{\partial {t}_{k}\partial {t}_{l}}-\frac{{\partial}^{2}{w}^{kl}}{\partial {t}_{j}\partial {t}_{i}}=\end{array}$$ |

$$\begin{array}{ccc}& =& \frac{{\partial}^{2}{w}^{ij}}{\partial {t}_{k}\partial {t}_{l}}-\frac{{\partial}^{2}{w}^{lk}}{\partial {t}_{j}\partial {t}_{i}}=\end{array}$$ |

$$\begin{array}{ccc}& =& \frac{\partial}{\partial {t}_{k}}\left(\frac{\partial {w}^{ij}}{\partial {t}_{l}}-\frac{\partial {w}^{li}}{\partial {t}_{j}}\right)=0,\end{array}$$ |

Assume
$i\le j\le k<l$
, then

where the first equality follows from the fourth equation of
$\left({S}_{l}\right)$
, the second from symmetry, the third from the third equation of
$\left({S}_{k}\right)$
and the last from symmetry and the fourth equation of
$\left({S}_{l}\right)$
. This proves that the fourth equation of
$\left({S}_{k}\right)$
continues to hold on
${U}_{l}$
. Notice also that if
$i\le k<l$
, we have

We now prove that the second equation of
$\left({S}_{k}\right)$
continues to hold. We have

where in the second equality we used the third equation of
$\left({S}_{l}\right)$
or ( 16 ) and in the last we used the second equation of
$\left({S}_{l}\right)$
. Notice also that by symmetry and by the fact that
$\theta $
has imaginary values we have
$$\frac{\partial {\theta}_{i}}{\partial {t}_{k}}=\frac{\partial {\theta}_{k}}{\partial {t}_{i}}.$$
Using this fact it is easy to show that also the first equation of
$\left({S}_{k}\right)$
continues to hold. We leave it to the reader. This concludes the proof that on some
$U={U}_{m}$
there exists a
$({\omega}_{\text{r}},W,\theta )=({\omega}_{\text{r}},W,\theta {)}_{m}$
which satisfies
$\left({S}_{l}\right)$
for all
$l$
and such that
$W$
is symmetric. Together with ( 16 ), this also proves that
$({\omega}_{\text{r}},W,\theta )$
is a solution to the system in Proposition 1 and satisfies the required initial conditions.
$\square $

$$\begin{array}{ccc}\frac{\partial}{\partial {t}_{l}}\left(\frac{\partial {w}^{ij}}{\partial {t}_{k}}-\frac{\partial {w}^{jk}}{\partial {t}_{i}}\right)& =& \frac{{\partial}^{2}{w}^{ij}}{\partial {t}_{k}\partial {t}_{l}}-\frac{{\partial}^{2}{w}^{kl}}{\partial {t}_{i}\partial {t}_{j}}=\end{array}$$ |

$$\begin{array}{ccc}& =& \frac{{\partial}^{2}{w}^{ij}}{\partial {t}_{k}\partial {t}_{l}}-\frac{{\partial}^{2}{w}^{lk}}{\partial {t}_{i}\partial {t}_{j}}=\end{array}$$ |

$$\begin{array}{ccc}& =& \frac{\partial}{\partial {t}_{k}}\left(\frac{\partial {w}^{ij}}{\partial {t}_{l}}-\frac{\partial {w}^{lj}}{\partial {t}_{i}}\right)=0,\end{array}$$ |

$$\begin{array}{c}\frac{\partial {w}^{ik}}{\partial {t}_{l}}=\frac{\partial {w}^{kl}}{\partial {t}_{i}}=\frac{\partial {w}^{lk}}{\partial {t}_{i}}=\frac{\partial {w}^{li}}{\partial {t}_{k}}=\frac{\partial {w}^{il}}{\partial {t}_{k}}.\end{array}$$ | (16) |

$$\begin{array}{ccc}\frac{\partial}{\partial {t}_{l}}\left({\left[\frac{\partial {\theta}_{i}}{\partial {t}_{k}}\right]}_{(0,1)}+\overline{\partial}{w}^{ik}\right)& =& {\left[\frac{{\partial}^{2}{\theta}_{i}}{\partial {t}_{k}\partial {t}_{l}}\right]}_{(0,1)}+\overline{\partial}\left(\frac{\partial {w}^{ik}}{\partial {t}_{l}}\right)=\end{array}$$ |

$$\begin{array}{ccc}& =& \frac{\partial}{\partial {t}_{k}}\left({\left[\frac{\partial {\theta}_{i}}{\partial {t}_{l}}\right]}_{(0,1)}+\overline{\partial}{w}^{il}\right)=0,\end{array}$$ |

Remark . It is interesting that in the case of the circle bundle, the Calabi-Yau
$X$
constructed by this theorem is unique. This means that the geometry of
$X$
is completely determined by the initial data on
$\pi :E\to N$
.

$\square $

8 From $T$ actions to sL submanifolds

We apply Theorems 7 and we combine it with Theorem 6 to construct new families of compact sL submanifolds. All the data is assumed to be real-analytic.

Example 1. Let
$N$
be the complex torus
${\mathbb{C}}^{n}/\Lambda $
, where
$\Lambda $
is a
$2n$
-dimensional lattice generated by vectors
${e}_{1},\dots ,{e}_{n},{f}_{1},\dots ,{f}_{n}$
, where
${e}_{1},\dots ,{e}_{n}$
is the standard basis of
${\mathbb{C}}^{n}$
and
${f}_{1},\dots ,{f}_{n}$
are arbitrary. Choose holomorphic line-bundles
${L}_{1},\dots ,{L}_{m}$
with
$U\left(1\right)$
-connections
${\theta}_{1},\dots ,{\theta}_{m}$
. Let
${U}_{1},\dots ,{U}_{m}$
be the associated
$U\left(1\right)$
-bundles respectively. Let
$E={U}_{1}\oplus \dots \oplus {U}_{m}$
. Suppose
$${\omega}_{0}=\frac{i}{2}\sum {h}_{jk}d{z}_{j}\wedge d{\overline{z}}_{k}$$
is a Kähler form on
$N$
whose coefficients
${h}_{jk}$
are all real valued. As holomorphic
$n$
-form we take the standard one
$${\Omega}_{0}=d{z}_{1}\wedge \dots \wedge d{z}_{n}.$$
Define
$\theta \left(0\right)=({\theta}_{1},\dots ,{\theta}_{m})$
and choose a matrix
${W}_{0}$
satisfying the conditions of Theorem 7 . It then follows that we have a CY structure on
$X=E\times U$
for some
$U\subseteq {\mathbb{R}}^{m}$
with the properties of Theorem 7 . Now, if
$Im\Lambda \subseteq {\mathbb{R}}^{n}$
is the lattice spanned by
$Im{f}_{1},\dots ,Im{f}_{n}$
, let
$B={\mathbb{R}}^{n}/Im\Lambda $
. From our choice of
${\Omega}_{0}$
and
${\omega}_{0}$
it follows that the map
$f:N\to B$
given by
$$f({z}_{1},\dots ,{z}_{n})=(Im{z}_{1},\dots ,Im{z}_{n})$$
is an
$n$
-dimensional sL fibration on
$(N,\Omega (0),\omega (0\left)\right)$
. Therefore, using Theorem 6 , we can lift it to a family of sL
$n+m$
-tori of
$X$
.

Take for example
$m=1$
and
${U}_{1}=N\times {S}^{1}$
with
${\theta}_{1}=ids$
, where
$s$
is the coordinate on
${S}^{1}$
. In this case,
${W}_{0}$
is a function uniquely determined by
${\omega}_{0}$
and
${\Omega}_{0}$
via ( 15 ). The data
$({U}_{1},{\Omega}_{0},{\omega}_{0},{\theta}_{0})$
can be interpreted as an
$n$
-parameter family of Riemannian
$n+1$
-tori
${T}_{y}={S}^{1}\times {f}^{-1}\left(y\right)$
, where
$y\in B$
.

The metric on
${T}_{y}$
is given by
${g}_{y}=det\left({h}^{jk}\right)d{s}^{2}+{h}_{jk}d{x}_{j}d{x}_{k}$
, where the
${x}_{k}$
's are the coordinates on
${f}^{-1}\left(y\right)$
. Theorem 7 embeds this family isometrically into
$X$
. We obtain different metrics by choosing more general
${\theta}_{0}$
's.
$\square $

Example 2. The following example is taken from Bryant [1] . Let
$c:{\mathbb{C}}^{n}\to {\mathbb{C}}^{n}$
be the standard conjugation. The map
$c$
obviously descends to a map of
$\mathbb{C}{\mathbb{P}}^{n-1}$
(which we still call
$c$
). The fixed locus of
$c$
is
$\mathbb{R}{\mathbb{P}}^{n-1}\subseteq \mathbb{C}{\mathbb{P}}^{n-1}$
. Let
$N$
be a smooth algebraic hyper-surface of
$\mathbb{C}{\mathbb{P}}^{n-1}$
with trivial canonical bundle.

Assume
$N$
to be invariant under
$c$
, for example
$N$
can be originating from a homogeneous polynomial of degree
$n$
in
${\mathbb{C}}^{n}$
with real coefficients. Let
$Y$
be the fixed locus of
$c$
restricted to
$N$
, i.e.
$Y=N\cap \mathbb{R}{\mathbb{P}}^{n-1}$
. On
$N$
we have a natural Kähler form
${\omega}_{0}$
, namely the restriction of the Fubini-Study metric, with respect to which
$Y$
is Lagrangian. It is also possible to chose a nowhere vanishing holomorphic
$(n-2)$
-form
${\Omega}_{0}$
on
$N$
such that
${c}^{*}{\Omega}_{0}={\overline{\Omega}}_{0}$
. Given such a form we have
$Im{\Omega}_{0|Y}=0$
. Thus
$Y$
is sL with respect to the ACY structure
$(N,{\Omega}_{0},{\omega}_{0})$
. We can now take
$E={U}_{1}\oplus \dots \oplus {U}_{m}$
, where the
${U}_{j}$
's are holomorphic
$U\left(1\right)$
-bundles on
$N$
with
$U\left(1\right)$
-connections
${\theta}_{1},\dots ,{\theta}_{m}$
. We apply the corollary to construct a Calabi-Yau metric on
$X=E\times U$
for some
$U\to {\mathbb{R}}^{m}$
. Theorem 6 then allows us to lift
$Y$
to an
$(n+m-2)$
-dimensional sL submanifold. It was shown by Bryant [1] that in the cases
$n=3,4$
and
$5$
,
$Y$
can also be a real torus.
$\square $

Example 3 This is a particular case of Example 1. Let
$N={\mathbb{C}}^{*}$
and
$\pi :E\to N$
be a
${T}^{2}$
principal bundle with a connection
${\Theta}_{0}$
. We let
${\Omega}_{\text{r}}=du$
.
Given a
$(2\times 2)$
positive definite matrix of functions
${W}_{0}$
on
$N$
, define
$${\omega}_{0}=\frac{i}{2}det{W}_{0}^{-1}{\Omega}_{0}\wedge {\overline{\Omega}}_{0}.$$
Then Theorem 7 gives us a
${T}^{2}$
-symmetric CY structure on
$X=E\times (-\epsilon ,\epsilon {)}^{2}$
, for some
$\epsilon $
.

Now consider
$f:N\to \mathbb{R}$
given by
$u\mapsto log\left|u\right|$
. Clearly
$f$
is sL with respect to the ACY structure
$(du,{\omega}_{0})$
. Lifting it, we obtain that
$E\times \left\{0\right\}\times \left\{0\right\}$
is a one parameter family of sL manifolds inside
$X$
. This example therefore could have been constructed also using Theorem 5 . In the case
$E={T}^{2}\times N$
, we will study this example in more detail in the next section.

9 SL fibrations with ${T}^{2}$ symmetry

Let
$B\subseteq {\mathbb{R}}^{3}$
be open and let
$u=x+iy$
be the complex coordinate on
$\mathbb{C}$
. Define

Let
$\stackrel{~}{N}={\pi}_{\mathbb{C}}\left(\stackrel{~}{X}\right)$
, where
${\pi}_{\mathbb{C}}$
is the projection on the
$\mathbb{C}$
component. We assume that on
$\stackrel{~}{X}$
we have a CY structure such that the obvious
${T}^{2}$
action on
$({\phi}_{1},{\phi}_{2})$
is structure preserving, the coordinates
${t}_{j}$
are Hamiltonians for
${\eta}_{j}=\partial /\partial {\phi}_{j}$
and
$\stackrel{~}{N}$
is the reduced space such that
${\Omega}_{\text{r}}=du$
. The CY structure is then described by Proposition 1 . We recall the main data involved. We have a
$(2\times 2)$
matrix
$W$
and a connection
$\Theta =({\theta}_{1},{\theta}_{2})$
, which we write as
$${\theta}_{j}={\alpha}_{j}du-{\overline{\alpha}}_{j}d\overline{u}+id{\phi}_{j}.$$
We then have the reduced Kähler form on
$N$
given by
$${\omega}_{\text{r}}=\frac{i}{2}det{W}^{-1}du\wedge d\overline{u}.$$
This data satisfies the equations of Proposition 1 . The forms
$\omega $
and
$\Omega $
on the total space
$\stackrel{~}{X}$
are

Assume also that
$W$
and
$\Theta $
are periodic in
$x=Reu$
of period
$\kappa $
. Then
$(\Omega ,\omega )$
defines a CY structure on
$X=\stackrel{~}{X}/\kappa \mathbb{Z}$
, where
$\kappa \mathbb{Z}$
acts by translations on
$x$
. Let
$N=\stackrel{~}{N}/\kappa \mathbb{Z}$
. Observe now that the map

is a sL 3-torus fibration. We will now compute: the period matrix
$P$
with respect to
$\omega $
, the metric on the fibres, McLean's metric on
$B$
, the volume of the fibres and the semi-flat volumes function
$\Phi $
. We refer to the Introduction for the definition of these concepts. Denote by
${F}_{b}$
a fibre over
$b\in B$
.

$$\begin{array}{c}\stackrel{~}{X}=\left\{\right({\phi}_{1},{\phi}_{2},u,{t}_{1},{t}_{2})\in {S}^{1}\times {S}^{1}\times \mathbb{C}\times \mathbb{R}\times \mathbb{R}|({t}_{1},{t}_{2},Imu)\in B\}\end{array}$$ | (17) |

$$\begin{array}{ccc}\omega & =& {\pi}^{*}{\omega}_{\text{r}}-i{\theta}_{j}\wedge d{t}_{j}=\end{array}$$ |

$$\begin{array}{ccc}& =& \frac{i}{2}\left(det{W}^{-1}du\wedge d\overline{u}+{w}_{rl}({w}^{lk}d{t}_{k}-{\theta}_{l})\wedge ({w}^{rm}d{t}_{m}+{\theta}_{r})\right),\end{array}$$ | (18) |

$$\begin{array}{ccc}\Omega & =& -({w}^{1k}d{t}_{k}-{\theta}_{1})\wedge ({w}^{2k}d{t}_{k}-{\theta}_{2})\wedge du.\end{array}$$ | (19) |

$$\begin{array}{ccc}f:X& \u27f6& B\end{array}$$ | (20) |

$$\begin{array}{ccc}({\phi}_{1},{\phi}_{2},u,{t}_{1},{t}_{2})& \mapsto & ({t}_{1},{t}_{2},Imu)\end{array}$$ |

For every
$b\in B$
fix a basis
${\Sigma}_{1},{\Sigma}_{2},{\Sigma}_{3}$
for
${H}_{1}({F}_{b},\mathbb{Z})$
to be represented by the
$1$
-cycles
$\{x={\phi}_{2}=0\}$
,
$\{x={\phi}_{1}=0\}$
and
$\{{\phi}_{1}={\phi}_{2}=0\}$
respectively.

Define

These are harmonic
$1$
-forms, by McLean's theorem.

$$\begin{array}{ccc}& {\Xi}_{k}=({\iota}_{\partial /\partial {t}_{k}}\omega {)}_{|{F}_{b}},\text{when}k=1,2\text{and}& \end{array}$$ |

$$\begin{array}{ccc}& {\Xi}_{3}=({\iota}_{\partial /\partial y}\omega {)}_{|{F}_{b}}.& \end{array}$$ |

The period matrix
$P=\left({P}_{jk}\right)$
of the fibration with respect to the frame
$\Xi =({\Xi}_{1},{\Xi}_{2},{\Xi}_{3})$
and basis
${\Sigma}_{1},{\Sigma}_{2},{\Sigma}_{3}$
of
${H}_{1}({F}_{b},\mathbb{Z})$
is given by
$${P}_{jk}=-{\int}_{{\Sigma}_{j}}{\Xi}_{k}.$$
We have

Lemma 1
The period matrix with respect to the frame
$\Xi =({\Xi}_{1},{\Xi}_{2},{\Xi}_{3})$
and basis
${\Sigma}_{1},{\Sigma}_{2},{\Sigma}_{3}$
of
${H}_{1}({F}_{b},\mathbb{Z})$
is

The computation is straight forward and we leave it to the reader. $$\begin{array}{c}P=\left(\begin{array}{ccc}1& 0& 0\\ & & \\ 0& 1& 0\\ & & \\ {\int}_{0}^{\kappa}2Im{\alpha}_{1}dx& {\int}_{0}^{\kappa}2Im{\alpha}_{2}dx& {\int}_{0}^{\kappa}det{W}^{-1}dx\end{array}\right).\end{array}$$ | (21) |

Notice that
$P$
depends on
$b\in B$
. From the period matrix
$P$
we obtain the period
$1$
-forms on
$B$
:
$${\lambda}_{j}={P}_{j1}d{t}_{1}+{P}_{j2}d{t}_{2}+{P}_{j3}dy$$
which uniquely determine the lattice
$\Lambda ={\text{span}}_{\mathbb{Z}}({\lambda}_{1},{\lambda}_{3},{\lambda}_{3})$
inside
${T}^{*}B$
.

Standard theory of Lagrangian torus fibrations tells us that given a Lagrangian section
$\tau :B\to X$
of
$f$
, we can naturally identify
$X$
with
${T}^{*}B/\Lambda $
. The identification, in our case, goes as follows. We know that
${\eta}_{j}$
is the Hamiltonian vector field corresponding to
${t}_{j}$
. One can check that
$$\zeta =detW\left(\frac{\partial}{\partial x}-2Im{\alpha}_{k}{\eta}_{k}\right)$$
is the Hamiltonian vector field corresponding to
$y$
. Let
${\Phi}_{{\eta}_{j}}^{s}$
and
${\Phi}_{\zeta}^{s}$
denote the flows of
${\eta}_{j}$
and
$\zeta $
respectively. Then, the map
$\Psi :{T}^{*}B/\Lambda \to X$
given by
$$\Psi (b,{s}_{1}d{t}_{1}+{s}_{2}d{t}_{2}+{s}_{3}dy)={\Phi}_{{\eta}_{1}}^{{s}_{1}}\circ {\Phi}_{{\eta}_{2}}^{{s}_{2}}\circ {\Phi}_{\zeta}^{{s}_{3}}\left(\tau \right(b\left)\right)$$
is well defined with respect to the quotient and provides the identification.

We have the following

Theorem 8
With respect to the frame
$({\eta}_{1},{\eta}_{2},\zeta )$
, the metric of the fibre
${F}_{b}$
has the form

With respect to the frame
$\Xi =({\Xi}_{1},{\Xi}_{2},{\Xi}_{3})$
, McLean's metric
$G=(\langle {\Xi}_{j},{\Xi}_{k}{\rangle}_{{L}^{2}\left({F}_{b}\right)})$
has the form

$$\begin{array}{c}g=\left(\begin{array}{cc}W& 0\\ & \\ 0& detW\end{array}\right).\end{array}$$ | (22) |

$$\begin{array}{c}G={\int}_{0}^{\kappa}{g}^{-1}dx.\end{array}$$ | (23) |

Proof. We first compute the metric on
${F}_{b}$
with respect to the frame
$({\eta}_{1},{\eta}_{2},\partial /\partial x)$
which we denote
$\stackrel{~}{g}=\left({\stackrel{~}{g}}_{jk}\right)$
. Obviously when
$j$
and
$k$
are
$1$
or
$2$
we have
$${\stackrel{~}{g}}_{jk}={w}_{jk}.$$
Using the fact that the forms
$({w}^{jk}d{t}_{k}-{\theta}_{j})$
with
$j=1,2$
and
$du$
are of type
$(1,0)$
on
$X$
and formula ( 18 ) we can compute that

when
$j=1,2$
, and
$${\stackrel{~}{g}}_{33}={\left|\frac{\partial}{\partial x}\right|}^{2}=det{W}^{-1}+4Im{\alpha}_{j}Im{\alpha}_{k}{w}_{jk}.$$
One can verify that, on passing from the frame
$({\eta}_{1},{\eta}_{2},\partial /\partial x)$
to the frame
$({\eta}_{1},{\eta}_{2},\zeta )$
, one obtains that the metric has the form ( 22 ).

$$\begin{array}{ccc}{\stackrel{~}{g}}_{j3}=\omega (\partial /\partial x,J{\eta}_{j})=2Im{\alpha}_{k}{w}_{kj},& & \end{array}$$ |

We now compute McLean's metric. We easily see that

Notice that, as a co-frame along
${F}_{b}$
,
$-\Xi $
is dual to
$({\eta}_{1},{\eta}_{2},\zeta )$
, therefore we automatically obtain ( 23 ).
$\square $

Notice that
$g$
can be interpreted (via the identification
$\Psi $
) as a metric on the fibres of
${T}^{*}B/\Lambda $
, the same is true for
${G}^{-1}$
: it may be interpreted as a flat metric on the fibres of
${T}^{*}B/\Lambda $
. $$\begin{array}{ccc}& {\Xi}_{k}=-(2Im{\alpha}_{k}dx+d{\phi}_{k})\text{when}k=1,2\text{and}& \end{array}$$ |

$$\begin{array}{ccc}& {\Xi}_{3}=-det{W}^{-1}dx.& \end{array}$$ |

To compute the volume of the fibres we observe that the volume form of
${F}_{b}$
is
${\Omega}_{|{F}_{b}}$
, by the sL property. Thus applying it to the frame
$({\eta}_{1},{\eta}_{2},\partial /\partial x)$
and integrating over
${F}_{b}$
we obtain
$$Vol\left({F}_{b}\right)=\kappa .$$
We can now compute the semi-flat volumes function
$\Phi $
, mentioned in the Introduction (formula ( 3 )) and defined by Hitchin [7]

Corollary 1
The semi-flat volumes function
$\Phi $
for
${T}^{2}$
symmetric
$3$
-dimensional sL fibrations is

$$\begin{array}{c}\Phi =\frac{det\left({\int}_{0}^{\kappa}{W}^{-1}dx\right)}{{\int}_{0}^{\kappa}det{W}^{-1}dx}.\end{array}$$ | (24) |

Proof. A basis of harmonic forms with respect to which the period matrix is the identity is
$${\Xi}^{\prime}=\Xi \cdot {P}^{-1}.$$
With respect to this new basis, McLean's metric is
$${G}^{\prime}=({P}^{-1}{)}^{t}G{P}^{-1}.$$
By definition
$\Phi =det{G}^{\prime}$
. The reader can check that we obtain ( 24 ).
$\square $

This formula generalizes a similar one obtained in Section 5 of [9] . By applying Theorem 7 we see that one can find CY metrics on
$X$
with
$W$
chosen arbitrarily along the line
$\{{t}_{1}={t}_{2}=0\}$
. Therefore one obtains examples where
$\Phi $
is not constant.
References

- R. L. Bryant. Some examples of special lagrangian tori. Adv. Theor. Math. Phys., 3:83–90, 1999.
- R. L. Bryant. Calibrated embeddings in the special Lagrangian and coassociative cases. Ann. Global Anal. Geom., 18:405–435, 2000. Special issue in memory of Alfred Gray (1939–1998).
- E. Goldstein. Calibrated fibrations on noncompact manifolds via torus actions. Duke Mathematical Journal, 110:309–343, 2001.
- M. Gross. Special Lagrangian fibrations I: topology. In Integrable Systems and Algebraic Geometry (Kobe/Kyoto, 1997), pages 156–193, River Edge, NJ, 1998. World Sci. Publishing.
- M. Gross. Special Lagrangian fibrations II: geometry. In Surveys in Differential Geometry, pages 341–403, Somerville:MA, 1999. International Press.
- M. Gross. Examples of special Lagrangian fibrations. In Symplectic geometry and mirror symmetry (Seoul, 2000), pages 81–109. World Sci. Publishing, River Edge, NJ, 2001.
- N. J. Hitchin. The moduli space of special Lagrangian submanifolds. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 25:503–515, 1998. Dedicated to Ennio De Giorgi.
- N. J. Hitchin. The moduli space of complex Lagrangian submanifolds. Asian J. Math., 3:77–91, 1999.
- D. Matessi. Some families of special Lagrangian tori. Mathematische Annalen, 325(2):211–228, 2003.
- R. C. McLean. Deformations of calibrated submanifolds. Comm. Anal. Geom., 6:705–747, 1998.
- H. Pedersen and Y. Sun Poon. Hamiltonian constructions of Kähler–einstein metrics and constant scalar curvature. Comm. in Math. Phys., 136:309–326, 1991.
- A. Strominger, S.–T. Yau, and E. Zaslow. Mirror symmetry is T-duality. Nucl. Phys., B479:243–259, 1996.