text:
# 1 Introduction

## 1 Introduction

Recently, 6-dimensional non-Kähler manifolds with $`SU(3)`$ structure have attracted considerable attention in physics literature as possible internal spaces for supersymmetric string compactifications . In particular, such manifolds appear in the T-dual description of the type IIB theory compactifications on a Calabi-Yau space in the presence of background RR and NS fluxes (see e.g.  for detailed discussion and further references), and in the heterotic string theory compactifications with non-zero background torsion $`H`$ (see e.g. ). Non-zero background fluxes induce a low-energy potential that stabilizes many of the geometric moduli, and therefore play an important role in superstring compactifications (see e.g.  and references therein). In many different contexts, the “manifolds with intrinsic torsion” or “manifolds with $`SU(3)`$ structure” have been studied for a long time (see e.g. ).

Remarkably, all these manifolds are some $`T^2`$ bundles over Calabi-Yau varieties, see . In most of known examples the metric has the following local form:

$$g_{base}+(dx+\alpha )^2+(dy+\beta )^2,$$
(1)
where $`g_{base}`$ is the metric on the base (usually Calabi-Yau), $`x`$ and $`y`$ are local coordinates such that $`dx+idy`$ is a holomorphic form on the $`T^2`$-fibers, and $`\alpha `$ and $`\beta `$ are (local) 1-forms on the base.

One can ask the question of how to construct such $`T^2`$-fibrations over various base Calabi-Yau $`n`$-folds, and what conditions should $`\alpha `$ and $`\beta `$ satisfy for such a complex $`T^2`$-bundle to exist over a Calabi-Yau manifold. In this paper we produce a general construction of families $`M^{P,Q}`$ of holomorphic $`T^2`$-fibrations over a base Hermitian $`n`$-fold $`(M,g)`$ (A Hermittian $`n`$-fold $`(M,g)`$ is a complex manifold $`M`$ of complex dimension $`n`$ with a Hermititan metric $`g`$ on it). Our first result is the following theorem:

###### Theorem 1

Let $`\omega _P`$ and $`\omega _Q`$ be closed 2-forms on a complex Hermitian $`n`$-fold $`(M,g)`$ s.t. the following two conditions hold:
1) $`\omega _P+i\omega _Q`$ has no component in $`\mathrm{\Lambda }^{0,2}T^{}M`$.
2) $`\frac{\omega _P}{2\pi }`$ and $`\frac{\omega _Q}{2\pi }`$ represent integral cohomology classes.
Then there is a complex, Hermitian $`(n+1)`$-fold $`(M^{P,Q},g^{})`$ with a free structure-preserving $`T^2`$-action and a holomorphic fibration $`\pi :M^{P,Q}M^{P,Q}/T^2M`$ such that the following holds:
A) For any 1-forms $`\alpha `$ and $`\beta `$ defined on some open subset of $`M`$ and satisfying $`d\alpha =\omega _P`$ and $`d\beta =\omega _Q`$ there are local coordinates $`x`$ and $`y`$ on $`M^{P,Q}`$ such that $`dx+idy`$ is a holomorphic form on the $`T^2`$-fibers and the metric on $`M^{P,Q}`$ has the form (1) with $`g_{base}`$ being $`g`$.
B) If $`M`$ admits a non-vanishing holomorphic $`(n,0)`$-form $`\mathrm{\Omega }^{n,0}`$ then $`M^{P,Q}`$ admits a non-vanishing holomorphic $`(n+1,0)`$-form $`\mathrm{\Omega }^{n+1,0}`$.
C) If either $`\omega _P`$ or $`\omega _Q`$ represent a non-trivial cohomology class then $`M^{P,Q}`$ admits NO Kähler metric.

We believe that Theorem 1 generalizes all known examples of complex non-Kähler manifolds so far used as internal manifolds in supersymmetric compactifications both in heterotic and type II theories.
Note that in the theorem above, $`M`$ does not have to be a Calabi-Yau, it is just a complex manifold with a Hermitian metric. Thus our construction can also be viewed as a new construction of complex manifolds which includes as a special case Hopf manifolds (for those $`\omega _Q=0`$ in our terminology) and the complex structure (found by E. Calabi in ) on the product of odd-dimensional spheres $`S^{2m+1}\times S^{2k+1}`$.
Also the manifolds $`M^{P,Q}`$ that we construct, are principal $`T^2`$-bundles for the standard complex structure on $`T^2`$ and the Hermitian metric on $`M^{P,Q}`$ is $`T^2`$-invariant. Vice versa we have the following theorem:

###### Theorem 2

Let $`(N,g)`$ be a Hermitian $`(n+1)`$-fold with a free, structure-preserving $`T^2`$-action. Assume also that $`g`$ restricted to the $`T^2`$-fibers is the standard metric on $`T^2`$. Then $`N`$ is isomorphic (biholomorphic and isometric) to a manifold $`M^{P,Q}`$ for some Hermitian $`n`$-fold $`(M,g^{})`$ and the closed $`2`$-forms $`\omega _P`$ and $`\omega _Q`$ on $`M`$ satisfying the conditions of Theorem 1.

We remark that if $`N`$ is a complex manifold with a free holomorphic $`T^2`$-action when we can find a Hermitian metric on $`M`$ satisfying the conditions of Theorem 2, thus $`N`$ is biholomorphic to a manifold $`M^{P,Q}`$ we construct. Thus many other known examples of principal $`T^2`$-fibrations (e.g. Iwasawa manifolds) fall under our construction.

Note also that we can relax the condition 1) of the theorem and construct a subclass of non-complex half-flat manifolds considered in . These manifolds will be relevant in the models of string compactification in which the superpotential stabilizes the almost complex structure to a value that is not integrable.

Next we will specialize to the case with $`n=2`$. From now on we consider $`(M,g_{CY},\mathrm{\Omega }^{2,0})`$ to be a Calabi-Yau $`2`$-fold with a non-vanishing holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$ which has unit length with respect to $`g_{CY}`$. If we pick the forms $`\omega _P`$ and $`\omega _Q`$ on $`M`$ satisfying the conditions of Theorem 1 then we obtain a Hermitian $`3`$-fold $`M^{P,Q}`$ with a holomorphic $`(3,0)`$-form $`\mathrm{\Omega }^{3,0}`$ of unit length. To fix notation we make the following definition:

###### Definition 1.0.1

An $`SU(3)`$-structure on an almost-complex $`3`$-fold $`N`$ is a Hermitian metric $`g`$ on $`N`$ and a $`(3,0)`$-form $`\mathrm{\Omega }^{3,0}`$ (not necessarily holomorphic) of unit length with respect to $`g`$.
Suppose $`(N,g)`$ is a complex (integrable) $`3`$-fold with a Hermitian metric $`g`$ and suppose there is a non-vanishing holomorphic $`(3,0)`$-form $`\mathrm{\Omega }^{3,0}`$ on $`N`$. Then $`(N,g,\frac{\mathrm{\Omega }}{|\mathrm{\Omega }|})`$ is called a special $`SU(3)`$-structure on $`N`$. The function $`\varphi =\frac{1}{8}log|\mathrm{\Omega }|:N`$ is called the dilaton.

In , the $`𝒩=1`$ supersymmetry conditions for heterotic string compactifications have been studied (see also ). In these models, the internal six-dimensional manifold $`N`$ must have a special $`SU(3)`$-structure $`(N,g,\frac{\mathrm{\Omega }}{|\mathrm{\Omega }|})`$. The supersymmetry condition on the internal manifold is:

$$d\stackrel{~}{\omega }=i(\overline{})log|\mathrm{\Omega }^{3,0}|$$
(2)
Here $`\stackrel{~}{\omega }`$ is the Hermitian $`(1,1)`$-form on $`N`$ \- it is often denoted by $`J`$ in the physics literature. This condition has the following geometric significance: On every Hermitian $`n`$-fold $`N`$ there is a unique connection $`^B`$ (the Bismut connection, ) which preserves both the metric and the complex structure and those torsion $`H`$ is a skew-symmetric $`3`$-form. Equation (2) implies that the holonomy of this connection is contained in $`SU(3)`$ ().

The equation (2) was rewritten in  in terms of the intrinsic torision of the $`SU(3)`$-structures. The intrinsic torsion of the (gereral) $`SU(3)`$ structures falls into five different classes $`W_1W_2W_3W_4W_5`$ (see ). In this classification, our manifolds $`M^{P,Q}`$ have $`W_1=0`$, $`W_2=0`$, which is another way to see that the almost complex structure is integrable. In our main construction with the metric of a form (1), we have also $`W_5=0`$, so that the holomorphic $`(3,0)`$-form $`\mathrm{\Omega }^{3,0}`$ has constant norm. In the language of the heterotic string theory, that means that the dilaton field is constant and there is no warp factor (see ). For a $`3`$-fold $`N`$ with a special $`SU(3)`$-structure as in Definition 1.0.1, the requirement (2) of $`𝒩=1`$ supersymmetry in the heterotic theory is equivalent to the following “torsional constraints”

$$2W_4+W_5=0$$
(3)
and

$$W_4andW_5arerealandexact$$
(4)
In our class $`M^{P,Q}`$ this leaves the manifolds with only non-zero torsion in the class $`W_3`$, so-called special Hermitian manifolds. These are complex half-flat manifolds , and the Hitchin flow of those manifolds (see ) produces manifolds with $`G_2`$-holonomy. We prove the following

###### Theorem 3

Let $`(M,g_{CY},\mathrm{\Omega }^{2,0})`$ be a Calabi-Yau $`2`$-fold with a non-vanishing holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$. Let $`\omega _P`$ and $`\omega _Q`$ be closed $`2`$-forms on $`M`$ satisfying the conditions of Theorem 1. Then the $`3`$-fold $`M^{P,Q}`$ has a natural special $`SU(3)`$-structure with a constant dilaton and moreover the torsional constraints (3),(4) hold if and only if the $`(1,1)`$-components of $`\omega _P`$ and $`\omega _Q`$ are anti-selfdual: $`\omega _P^{(1,1)}=\omega _P^{(1,1)}`$, $`\omega _Q^{(1,1)}=\omega _Q^{(1,1)}`$.

We continue to consider the manifolds in the situation of Theorem 3. On such manifolds, we consider a modified construction with the Hermitian metric of a form

$$g_\psi =e^{2\psi }g_{CY}+(dx+\alpha )^2+(dy+\beta )^2$$
(5)
where $`\psi `$ in the warp factor in front of the Calabi-Yau metric $`g_{CY}`$, is an arbitrary function of the base coordinates. This function accounts for a non-constant dilaton background which is typical for the heterotic string compactifications. Now the holomorphic $`(3,0)`$-form $`\mathrm{\Omega }^{3,0}`$ on $`M^{P,Q}`$ has non-constant norm. We prove the following theorem:

###### Theorem 4

Let $`(M,\omega _{CY},\mathrm{\Omega }^{2,0})`$ be a Calabi-Yau $`2`$-fold with a non-vanishing holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$. Let $`\omega _P`$ and $`\omega _Q`$ be closed $`2`$-forms on $`M`$ satisfying the conditions of Theorem 1. Assume also that the $`(1,1)`$-components of $`\omega _P`$ and $`\omega _Q`$ are anti-selfdual. Let $`\psi :M`$ be any function. Then there is a special $`SU(3)`$-structure on $`M^{P,Q}`$ with the Hermitian metric $`g_\psi `$ of the form (5) where $`\alpha `$ and $`\beta `$ are as Theorem 1 and the torsional constraints (3),(4) hold.

For $`M`$ compact, our construction satisfies the topological constraints pointed out in : $`h^{3,0}=1`$, $`c_1=0`$. Also, our construction has zero Euler characteristic. Next we will present examples where Theorem 4 holds for $`M`$ being a $`K3`$-surface and a $`4`$-torus.

One comment is now in order. The condition 2) in the Theorem 1, which arose here as one of the sufficient conditions for the geometric construction to exist, can be motivated by physical arguments. Namely, it is equivalent to the Dirac quantization condition of the NS flux in string theory. Indeed, a model with the metric (1) can be considered as T-dual (after two T-dualities along $`T^2`$ fibers) to a type IIB model with the internal 6-manifold $`\stackrel{~}{N}CY\times T^2`$ (see, e.g. the discussion in ) and the background NS $``$ field

$$=dx\alpha dy\beta $$
(6)
(compare to formulas (4.23) and (4,24) of ), or background NS flux $`_3`$

$$_3=d=dx\omega _P+dy\omega _Q,$$
(7)
with $`d\alpha =\omega _P`$ and $`d\beta =\omega _Q`$ defined on the base $`CY`$. The flux $`_3`$ satisfies the Dirac quantization condition (see eq. (2.1) in ):

$$\frac{1}{(2\pi )^2}_\gamma _3=n_\gamma ,\gamma H_3(\stackrel{~}{N},),$$
(8)
from which it follows that

$$_{\gamma _{CY}}\frac{\omega _P}{2\pi }=n_\gamma _{\gamma _{CY}}\frac{\omega _Q}{2\pi }=m_\gamma ,\gamma _{CY}H_2(CY,),$$
(9)
i.e., condition 2).

We will also show that one can lift Special Lagrangian submanifolds and fibrations from the Calabi-Yaus to the bundles $`M^{P,Q}`$ in the case $`\omega _Q=0`$, and Special Lagrangian submanifolds on those bundles will still be calibrated by $`Re\mathrm{\Omega }^{3,0}`$ (and hence minimal).

## 2 Global model – the construction

In this section we prove the following theorem:

###### Theorem 1

Let $`\omega _P`$ and $`\omega _Q`$ be closed 2-forms on a complex Hermitian $`n`$-fold $`(M,g)`$ s.t. the following two conditions hold:
1) $`\omega _P+i\omega _Q`$ has no component in $`\mathrm{\Lambda }^{0,2}T^{}M`$.
2) $`\frac{\omega _P}{2\pi }`$ and $`\frac{\omega _Q}{2\pi }`$ represent integral cohomology classes.
Then there is a complex, Hermitian $`(n+1)`$-fold $`(M^{P,Q},g^{})`$ with a free structure-preserving $`T^2`$-action and a holomorphic fibration $`\pi :M^{P,Q}M^{P,Q}/T^2M`$ such that the following holds:
A) For any 1-forms $`\alpha `$ and $`\beta `$ defined on some open subset of $`M`$ and satisfying $`d\alpha =\omega _P`$ and $`d\beta =\omega _Q`$ there are local coordinates $`x`$ and $`y`$ on $`M^{P,Q}`$ such that $`dx+idy`$ is a holomorphic form on the $`T^2`$-fibers and the metric on $`M^{P,Q}`$ has the form (1) with $`g_{base}`$ being $`g`$.
B) If $`M`$ admits a non-vanishing holomorphic $`(n,0)`$-form $`\mathrm{\Omega }^{n,0}`$ then $`M^{P,Q}`$ admits a non-vanishing holomorphic $`(n+1,0)`$-form $`\mathrm{\Omega }^{n+1,0}`$.
C) If either $`\omega _P`$ or $`\omega _Q`$ represent a non-trivial cohomology class then $`M^{P,Q}`$ admits NO Kähler metric.

Proof: First pick two line bundles $`P`$ and $`Q`$ s.t. the first Chern class $`c_1(P)=[\frac{\omega _P}{2\pi }]`$ and $`c_1(Q)=[\frac{\omega _Q}{2\pi }]`$. This is certainly possible since there is a 1-1 correspondence between smooth line bundles and $`H^2(M,)`$. Put some Hermitian metrics on $`P`$ and $`Q`$. We have the following elementary

###### Lemma 2.0.1

One can choose a Riemannian connection $``$ on $`P`$ whose curvature form is $`\omega _P`$. The analogous statement is true for $`Q`$.

Proof: Let $`^{}`$ be some Riemannian connection on $`P`$ and let $`\omega `$ be its curvature. Then $`\omega _P\omega `$ is trivial cohomologically, hence $`\omega _P\omega =d\alpha `$ for some 1-form $`\alpha `$. Now the connection $`=^{}+i\alpha `$ is a Riemannian connection on $`P`$ whose curvature form is $`\omega _P`$. Q.E.D.
We choose Riemannian connections on $`P`$ and $`Q`$ as in the previous Lemma and proceed as follows: Consider the total space of the direct sum $`PQ`$ over $`M`$. The connections $``$ and $`^{}`$ give rise to a connection on $`PQ`$ and a horizontal distribution $`H`$ that is a subspace of $`T(PQ)`$. The horizontal distribution is obtained as follows: given a curve $`\gamma (t)`$ in $`M`$ and a pair $`(\xi ,\eta )`$ in the fiber of $`PQ`$ over $`\gamma (0)`$, we have a unique curve $`\gamma _H(t)=(\xi (t),\eta (t))`$ in $`PQ`$ over $`\gamma (t)`$ such that $`\xi (t)`$ and $`\eta (t)`$ are parallel along $`\gamma `$. The tangent vector $`\gamma _H^{}(t)`$ lives in the horizontal distribution $`H`$ and it is called the Horizontal Lift of the tangent vector $`\gamma ^{}(t)`$.
For each point $`pM`$ let $`S_1(p)`$ be the unit circle bundle of $`P`$ over $`p`$ and let $`S_2(p)`$ be the unit circle bundle of $`Q`$ over $`p`$. Let $`T(p)=S_1(p)\times S_2(p)`$ and let

$$M^{P,Q}=T(p)$$

Thus $`M^{P,Q}`$ is a 2-torus bundle over $`M`$. The distribution $`H`$ along $`M^{P,Q}`$ is tangent to $`M^{P,Q}`$: this is because the parallel transport preserves length.
To understand $`H`$ along $`M^{P,Q}`$ better let $`\xi `$ be a local unit length section of $`P`$ on $`M`$ and $`\eta `$ be a local unit length section of $`Q`$ on $`M`$ . The sections $`\xi ,\eta `$ define local coordinates $`x,y`$ on $`M^{P,Q}`$, namely any point $`zM^{P,Q}`$ can be written as $`(e^{ix}\xi ,e^{iy}\eta )`$. Also $`\xi `$ defines a connection 1-form $`\alpha ^{}`$ on $`M`$ by

$$\xi =\alpha ^{}\xi $$

This means that for any tangent vector $`v`$ to $`M`$ we have $`_v\xi =\alpha ^{}(v)\xi `$. Now $`\alpha ^{}`$ is imaginary valued and

$$\omega _P=id\alpha ^{}$$
(10)
Similarly $`\eta `$ defines a connection 1-form $`\beta ^{}`$ on $`M`$ by

$$\eta =\beta ^{}\eta $$

The forms $`\alpha ^{}`$ and $`\beta ^{}`$ are purely imaginary and the horizontal space $`H`$ is precisely the kernel of the two 1-forms

$$idx+\pi ^{}\alpha ^{}andidy+\pi ^{}\beta ^{}$$
(11)
Indeed let $`(\xi _H(t),\eta _H(t))`$ be a curve in $`M^{P,Q}`$ sitting over a curve $`\gamma (t)`$ in $`M`$ such that $`\xi _H(t)`$ and $`\eta _H(t)`$ are parallel. We can write

$$(\xi _H(t),\eta _H(t))=(e^{ix(t)}\xi (\gamma (t)),e^{iy(t)}\eta (\gamma (t)))$$

The condition that $`\xi _H`$ is parallel is equivalent to

$$0=ix^{}(t)e^{ix}\xi +e^{ix}_\gamma ^{}\xi =e^{ix}(idx(\gamma _H^{})+\pi ^{}\alpha ^{}(\gamma _H^{}))\xi $$

which is equivalent to saying that $`\gamma _H^{}`$ is in the kernel of $`idx+\pi ^{}\alpha ^{}`$. Similarly the fact that $`\eta _H`$ is parallel is equivalent to saying that $`\gamma _H^{}`$ is in the kernel of $`idy+\pi ^{}\beta ^{}`$.
Let $`V`$ be the vertical space of $`M^{P,Q}`$\- the tangent space to the fibers. On every fiber $`T(p)`$ we have a natural $`S^1\times S^1=T^2`$-action given by

$$(e^{ix},e^{iy})(\xi ,\eta )=(e^{ix}\xi ,e^{iy}\eta )$$

We have vector fields $`_x`$ and $`_y`$ tangent to the fibers. We define the complex structure on $`T(p)`$ to be the natural one: $`_x_y`$ and $`_y_x`$. The almost complex structure on $`H`$ is induced from the projection onto $`M`$. Thus $`M^{P,Q}`$ acquires an almost complex structure $`I`$. Define now a $`(1,0)`$-form $`\rho `$ on $`M^{P,Q}`$ by requiring that

$$\rho =0onHand\rho =dx+idyonV$$
(12)
From equation (11) we conclude that

$$\rho =(dxi\alpha ^{})+i(dyi\beta ^{})$$
(13)
Also pick a local holomorphic $`(n,0)`$-form $`\mathrm{\Omega }^{n,0}`$ on $`M`$ and define an $`(n+1,0)`$-form $`\mathrm{\Omega }^{n+1,0}`$ on $`M^{P,Q}`$ by

$$\mathrm{\Omega }^{n+1,0}=\rho \pi ^{}(\mathrm{\Omega }^{n,0})$$
(14)
We compute from (10) that

$$d\mathrm{\Omega }^{n+1,0}=\pi ^{}((\omega _P+i\omega _Q)\mathrm{\Omega }^{n,0})=0$$
(15)
Note that if $`(\omega _P+i\omega _Q)`$ had a non-zero component of type $`(0,2)`$ then $`d\mathrm{\Omega }^{n+1,0}`$ would have had a non-zero $`(n,2)`$-component and the almost complex structure would not be integrable. But in our case $`d\mathrm{\Omega }^{n+1,0}=0`$ and so the almost complex structure is integrable. This implication is standard: by Newlander-Nirenberg theorem it is enough to prove that for a $`(1,0)`$-form $`\theta `$ we have that $`d\theta `$ is of type $`\mathrm{\Lambda }^{2,0}\mathrm{\Lambda }^{1,1}`$. Now we have $`0=\theta \mathrm{\Omega }^{3,0}`$. Taking the exterior derivative we get

$$0=d\theta \mathrm{\Omega }^{3,0}$$

i.e. $`d\theta `$ is of type $`\mathrm{\Lambda }^{2,0}\mathrm{\Lambda }^{1,1}`$.
Also if $`\mathrm{\Omega }^{n,0}`$ is a holomorphic, non-vanishing $`(n,0)`$-form defined on the whole of $`M`$ then $`\mathrm{\Omega }^{n+1,0}`$ is a holomorphic, non-vanishing $`(n+1,0)`$-form on $`M^{P,Q}`$ and this proves B).
Both $`H`$ and $`V`$ have a natural Hermitian metric and thus $`M^{P,Q}`$ is naturally a Hermitian manifold. Let $`\alpha `$ and $`\beta `$ be any 1-forms on $`M`$ s.t. $`d\alpha =\omega _P`$ and $`d\beta =\omega _Q`$. Then we can find local unit length sections $`\xi `$ of $`P`$ and $`\eta `$ of $`Q`$ s.t. $`i\alpha `$ and $`i\beta `$ are the connection 1-forms defined by $`\xi `$ and $`\eta `$, see (10) . Now $`\xi `$ and $`\eta `$ define local coordinates $`x`$ and $`y`$ on $`M^{P,Q}`$ as before and the metric on $`M^{P,Q}`$ has the form as in equation (1).
We are still left to prove that if either $`\omega _P`$ or $`\omega _Q`$ is non-trivial in cohomology then $`M^{P,Q}`$ admits no Kähler metric. One can also easily show that the fibers of $`\pi `$ are $`0`$ in the real 2-dimensional homology of $`M^{P,Q}`$, see more details about homology in the Section 7 of this paper. The triviality of the (complex) fibers in homology implies that there is no Kähler form on $`M^{P,Q}`$: for such a form would integrate to a positive number on the fibers. Q.E.D.

## 3 Holomorphic principal T2 fiber bundles

The goal of this section is to state and prove Theorem 2 from the Introduction:

###### Theorem 2

Let $`(N,g)`$ be a Hermitian $`(n+1)`$-fold with a free $`T^2`$-action by $`g`$-sometries. Assume also that $`g`$ restricted to the $`T^2`$-fibers is the standard metric on $`T^2`$. Then $`N`$ is isomorphic (biholomorphic and isometric) to a manifold $`M^{P,Q}`$ for some Hermitian $`n`$-fold $`M`$ and the closed $`2`$-forms $`\omega _P`$ and $`\omega _Q`$ on $`M`$ satisfying the conditions of Theorem 1.

Proof: We have the quotient $`M=N/T^2`$ and the projection $`\pi :NM`$. Let $`H`$ be the orthogonal complement to the tangent space to the $`T^2`$-fibers in $`TN`$. Thus $`H`$ is a horizontal distribution (connection) for the principal $`T^2`$-bundle $`N`$. To construct the line bundles $`P`$ and $`Q`$ let $`f_1`$ and $`f_2`$ be the standard 1-dimensional representations of $`T^2`$, i.e.

$$f_1(e^{ix},e^{iy})(z)=e^{ix}zandf_2(e^{ix},e^{iy})(z)=e^{iy}z$$

Let $`P`$ be the line bundle over $`M`$ associated to $`f_1`$:

$$P=N\times _{T^2}$$

This means that $`P`$ is the quotient of $`N\times `$ by the $`T^2`$-action, where $`T^2`$ acts on $``$ via $`f_1`$. The construction of $`Q`$ is similar. Also $`H`$ induces a connection on both $`P`$ and $`P`$. Let $`\omega _P`$ and $`\omega _Q`$ be the curvature forms of $`P`$ and $`Q`$ correspondingly. We construct $`M^{P,Q}`$ as in the proof of Theorem 1. Note that so far we haven’t proved that $`\omega _P+i\omega _Q`$ has no $`(0,2)`$-component, thus $`M^{P,Q}`$ in so far just an almost-complex manifold with a Hermitian metric.

We now construct an isomorphism $`\varphi :NM^{P,Q}`$. It is constructed as follows: take a point $`z`$ in $`N`$ and consider $`(z,1,1)N\times \times `$. Taking the orbit of $`(z,1,1)`$ by the $`T^2`$-action we get a point $`\varphi (z)M^{P,Q}`$. One easily checks that $`\varphi `$ is indeed an isomorphism. Hence in particular the almost-complex structure on $`M^{P,Q}`$ is integrable and by the remark after equation (15) we conclude that $`\omega _P+i\omega _Q`$ has no $`(0,2)`$-component. Q.E.D.

## 4 Intrinsic torsion of $`SU(3)`$-structures

In this section we specialize to the case then $`dim_{}M=2`$. From now on we consider $`(M,g_{CY},\mathrm{\Omega }^{2,0})`$ to be a Calabi-Yau $`2`$-fold with a non-vanishing holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$ which has unit length with respect to $`g_{CY}`$. If we pick the forms $`\omega _P`$ and $`\omega _Q`$ on $`M`$ satisfying the conditions of Theorem 1 then we obtain a Hermitian $`3`$-fold $`M^{P,Q}`$ with a holomorphic $`(3,0)`$-form $`\mathrm{\Omega }^{3,0}`$ of unit length. We’ll study the intrinsic torsion of the $`SU(3)`$-structures we wrote down on $`M^{P,Q}`$.
For a general $`SU(3)`$ structure, Chiossi and Salamon  have decomposed this tensor into $`5`$ components $`W_1,\mathrm{},W_5`$. Let $`\mathrm{\Omega }_+^{3,0}`$ be the real part of $`\mathrm{\Omega }^{3,0}`$ and let $`\mathrm{\Omega }_{}^{3,0}`$ be the imaginary part of $`\mathrm{\Omega }^{3,0}`$. According to , there is the following 1-1 correspondence:

$`W_1(d\stackrel{~}{\omega })^{3,0}`$
$`W_2((d\mathrm{\Omega }_+^{3,0})_0^{1,1},(d\mathrm{\Omega }_{}^{3,0})_0^{1,1})`$
$`W_3(d\stackrel{~}{\omega })_0^{2,1}`$
$`W_4\stackrel{~}{\omega }d\stackrel{~}{\omega }`$
$`W_5(d\mathrm{\Omega }_\pm ^{3,0})^{3,1}`$ (16)
The component $`W_1`$ vanishes because the complex structure on $`M^{P,Q}`$ is integrable and so the exterior derivative of a $`(1,1)`$-form has no $`(3,0)`$ components. The components $`W_2`$ and $`W_5`$ vanish since $`d\mathrm{\Omega }^{3,0}=0`$. We finally study the component $`W_4`$. We need to write down an explicit expression for the hermitian $`(1,1)`$-form $`\stackrel{~}{\omega }`$ on $`M^{P,Q}`$. We know that $`\stackrel{~}{\omega }`$ equals to $`\pi ^{}(\omega _{CY})`$ on the horizontal distribution $`H`$ and its equals to $`dxdy`$ on the vertical distribution $`V`$. In the notation of Theorem 1 we get that

$$\stackrel{~}{\omega }=\pi ^{}\omega _{CY}+(dx+\pi ^{}\alpha )(dy+\pi ^{}\beta )$$
(17)
Indeed the 2-form $`(dx+\pi ^{}\alpha )(dy+\pi ^{}\beta )`$ has $`H`$ as its kernel and it equals to $`dxdy`$ on $`V`$, hence equation (17) is true.
Let $`\omega _P`$ be the curvature form of $`P`$ (so $`\omega _P=d\alpha `$) and let $`\omega _Q=d\beta `$ be the curvature form of $`Q`$. We have that

$`d\stackrel{~}{\omega }=\pi ^{}\omega _P(\pi ^{}\beta +dy)(\pi ^{}\alpha +dx)\pi ^{}\omega _Q`$
$`d\stackrel{~}{\omega }\stackrel{~}{\omega }=dy\pi ^{}(\omega _P\omega _{CY})dx\pi ^{}(\omega _Q\omega _{CY})`$ (18)
The later term vanishes if and only if the $`(1,1)`$-components of $`\omega _P`$ and $`\omega _Q`$ are anti-selfdual. From this we conclude:

###### Theorem 3

Let $`(M,g_{CY},\mathrm{\Omega }^{2,0})`$ be a Calabi-Yau $`2`$-fold with a non-vanishing holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$. Let $`\omega _P`$ and $`\omega _Q`$ be closed $`2`$-forms on $`M`$ satisfying the conditions of Theorem 1. Then the $`3`$-fold $`M^{P,Q}`$ has a natural special $`SU(3)`$-structure with a constant dilaton, and the torsional constraints (3),(4) hold if and only if the $`(1,1)`$-components of $`\omega _P`$ and $`\omega _Q`$ are anti-selfdual: $`\omega _P^{(1,1)}=\omega _P^{(1,1)}`$, $`\omega _Q^{(1,1)}=\omega _Q^{(1,1)}`$.

## 5 Metric scaling and non-constant dilaton

We continue to consider $`(M,g_{CY},\mathrm{\Omega }^{2,0})`$ to be a Calabi-Yau $`2`$-fold with a non-vanishing holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$ which has unit length with respect to $`g_{CY}`$. Furthermore we assume that the $`(1,1)`$-components of the forms $`\omega _P`$ and $`\omega _Q`$ are anti-selfdual. In this case $`W_4=0=W_5`$ and so the supersymmetry equation

$$2W_4+W_5=0$$

certainly holds. We will now define a class $`g_\psi `$ of Hermitian metrics on $`M^{P,Q}`$ depending on a function $`\psi :M`$ s.t. the supersymmetry equation still holds for them.
So let $`\psi `$ be a function on $`M`$ and lift it to $`M^{P,Q}`$. Define the metric $`g_\psi `$ on $`M^{P,Q}`$ as in (5). Thus the horizontal and the vertical distribution are still perpendicular, on $`V`$ the metric $`g_\psi `$ is the original metric $`g`$ and on $`H`$ the metric is scaled by $`e^{2\psi }`$. If we take $`\mathrm{\Omega }_\psi ^{3,0}=e^{2\psi }\mathrm{\Omega }^{3,0}`$ then it has length 1 with respect to $`\stackrel{~}{g}_\psi `$. We will now show that the supersymmetry equation still holds for this $`SU(3)`$-structure:

###### Theorem 4

Let $`(M,\omega _{CY},\mathrm{\Omega }^{2,0})`$ be a Calabi-Yau $`2`$-fold with a non-vanishing holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$. Let $`\omega _P`$ and $`\omega _Q`$ be closed $`2`$-forms on $`M`$ satisfying the conditions of Theorem 1. Assume also that the $`(1,1)`$-components of $`\omega _P`$ and $`\omega _Q`$ are anti-selfdual. Let $`\psi :M`$ be any function. Then there is a special $`SU(3)`$-structure on $`M^{P,Q}`$ with the Hermitian metric $`g_\psi `$ of the form (5) where $`\alpha `$ and $`\beta `$ are as Theorem 1 and the torsional constraints (3),(4) hold.

Proof: First we need to explain what $`W_4`$ and $`W_5`$ are.
We begin by defining on any Riemannian manifold $`N`$ a contraction pairing

$$\mathrm{}:\mathrm{\Lambda }^kT^{}N\mathrm{\Lambda }^nT^{}N\mathrm{\Lambda }^{nk}T^{}N$$

(see , p. 5). This is defined as follows: for an orthonormal basis $`e_1,\mathrm{},e_l`$ of $`TN`$ let $`e^i`$ be the dual basis. Let $`\alpha =(\alpha _1,\mathrm{},\alpha _k)`$ be a multi-index of distinct integers between $`1`$ and $`l=dim(N)`$ of length $`k`$ and let $`e^\alpha =e^{\alpha _i}`$. Let $`\beta `$ be a multi-index of length $`n`$. We define $`e^\alpha \mathrm{}e^\beta `$ as follows: If the set $`(\alpha )`$ is not contained in the set $`(\beta )`$ then the answer is $`0`$. If $`(\alpha )(\beta )`$ then

$$e^\alpha \mathrm{}e^\beta =(1)^ke^{\beta \alpha }$$

Here $`(1)^k`$ is the sign of permutation that is needed to put $`\alpha `$ in the beginning of $`\beta `$. We have the following basic

###### Proposition 5.0.1

Let $`dim(N)=4`$ and let $`\omega `$ be a Hermitian 2-form for the metric on $`TN`$ (coming from some compatible almost complex structure). Then for any 1-form $`\delta `$,

$$\omega \mathrm{}\omega \delta =\delta $$

Proof: This is linear algebra. We write $`\omega =\mathrm{\Sigma }dx_idy_i`$ at 1 point. It is enough to prove the Proposition for $`\delta =dx_i`$ or $`\delta =dy_j`$, and those are immediate. Q.E.D.
We now take another proposition from linear algebra that we will need:

###### Proposition 5.0.2

Let $`V`$ be a Hermitian vector space of complex dimension $`3`$ let $`\mathrm{\Omega }`$ be a $`(3,0)`$-from on $`V`$ of length 1. Then for any 1-form $`\delta `$ on $`V`$ we’ll have that

$$Re\mathrm{\Omega }\mathrm{}\delta Re\mathrm{\Omega }=2\delta $$

Proof: Obviously it is enough to prove it for a real 1-form $`\delta `$. We certainly have a subspace $`W`$ of $`V`$ of complex dimension $`1`$ on which $`\delta `$ vanishes. Let $`U=W^{}`$, then $`\delta `$ can be viewed as a form on $`U`$. Let $`\xi `$ be a $`(2,0)`$-form on $`U`$ of length $`1`$. We can choose orthonormal basis $`e_1`$ and $`e_2=Je_1`$ on $`W`$ such that $`\mathrm{\Omega }=\xi (e^1+ie^2)`$. Then $`Re\mathrm{\Omega }=Re\xi e^1Im\xi e^2`$. Here $`Re\xi `$ and $`Im\xi `$ are hermitian 2-forms for the metric on $`U`$ (for different complex structures on $`U`$). In particular the previous proposition holds for them.
We have that $`\delta Re\mathrm{\Omega }=(e^1Re\xi \delta e^2Im\xi \delta )`$. From this we immediately derive the statement of our proposition. Q.E.D.
We now return to $`M^{P,Q}`$ with the metric $`\stackrel{~}{g}_\psi `$. We have a form $`\mathrm{\Omega }_\psi ^{3,0}=e^{2\psi }\mathrm{\Omega }^{3,0}`$ and a Hermitian form

$$\stackrel{~}{\omega }_\psi =\rho \overline{\rho }+e^{2\psi }\pi ^{}\omega _{CY}$$

The classes $`W_4`$ and $`W_5`$ can be written in a form:

$$W_4=\frac{1}{2}\stackrel{~}{\omega }_\psi \mathrm{}d\stackrel{~}{\omega }_\psi ,W_5=\frac{1}{2}Re\mathrm{\Omega }_\psi ^{3,0}\mathrm{}dRe\mathrm{\Omega }_\psi ^{3,0}$$

(see , p. 5). We compute that

$$d\stackrel{~}{\omega }_\psi =e^{2\psi }2d\psi \pi ^{}\omega _{CY}\pi ^{}\omega _P(dy+\beta )+\pi ^{}\omega _Q(dx+\alpha )$$

Note that

$$\mathrm{}:\mathrm{\Lambda }^2T^{}\mathrm{\Lambda }^2T^{}$$

is just the dot product. Since the dot product of $`\omega _{CY}`$ with $`\omega _P`$ and $`\omega _Q`$ is $`0`$, we conclude that

$$\stackrel{~}{\omega }_\psi \mathrm{}(\pi ^{}\omega _P(dy+\beta )+\pi ^{}\omega _Q(dx+\alpha ))=0$$

Also

$$\stackrel{~}{\omega }_\psi \mathrm{}e^{2\psi }2d\psi \pi ^{}\omega _{CY}=\stackrel{~}{\omega }_\psi \mathrm{}\mathrm{\hspace{0.33em}2}d\psi e^{2\psi }\pi ^{}\omega _{CY}=2d\psi $$

Also $`dRe\mathrm{\Omega }_\psi ^{3,0}=2d\psi Re\mathrm{\Omega }_\psi ^{3,0}`$. Hence

$$Re\mathrm{\Omega }_\psi ^{3,0}\mathrm{}\mathrm{\hspace{0.33em}2}d\psi Re\mathrm{\Omega }_\psi ^{3,0}=4d\psi $$

From all this we conclude that $`2W_4+W_5=0`$. Q.E.D.

## 6 Examples

In this section, we will consider examples when Theorem 4 applies.

### 6.1 $`SU(3)`$-fibrations over K3 surfaces

Let $`M`$ be a K3 surface with a Calabi-Yau metric $`g_{CY}`$ and a holomorphic $`(2,0)`$-form $`\mathrm{\Omega }^{2,0}`$. Let $`C_1,\mathrm{},C_k`$ be some collection of holomorphic curves on $`M`$ (e.g. if $`M`$ is a Kummer $`K3`$ and $`C_i`$ are the exceptional spheres). We consider the divisor

$$C=a_kC_k$$

Here $`a_k`$ are integers such that

$$a_i_{C_i}\omega _{CY}=0$$

We will only consider the case when such $`a_k`$ exist, e.g. a Kummer $`K3`$. $`C`$ defines a lines bundle $`P`$ with a meromorphic section $`\sigma `$ and the first Chern class $`c_1(P)`$ is the Poincare dual of $`C`$, hence it satisfies

$$c_1(P)[\omega _{CY}]=0,c_1(P)[Re\mathrm{\Omega }^{2,0}]=0,c_1(P)[Im\mathrm{\Omega }^{2,0}]=0$$
(19)
We now use the fact that $`b_2^+(M)=3`$ and $`[\omega _{CY}],[Re\mathrm{\Omega }^{2,0}]`$ and $`[Im\mathrm{\Omega }^{2,0}]`$ is a basis for $`H_+^2(M)`$. Let $`\frac{\omega _P}{2\pi }`$ be the harmonic representative of $`c_1(P)`$. Equation (19) implies that $`\omega _P`$ is anti-selfdual, hence in particular it is of type $`(1,1)`$. We also choose $`\omega _Q`$ by the same principle as $`\omega _P`$. Theorem 4 applies.

### 6.2 $`SU(3)`$-fibrations over $`T^4`$

We choose a standard flat metric on the four-dimensional torus. We have the following basis of antiselfdual $`2`$-forms on $`T^2`$:

$$\omega _1=2\pi (dx_1dx_2dx_3dx_4)$$

$$\omega _2=2\pi (dx_1dx_3dx_4dx_2)$$

$$\omega _2=2\pi (dx_1dx_4dx_2dx_3)$$

We can choose $`\omega _P`$ and $`\omega _Q`$ to be linear combinations of $`\omega _1,\omega _2,\omega _3`$ with integer coefficients and Theorem 4 applies.

## 7 Cohomology and Hodge numbers of $`M^{P,Q}`$

In this section, we study the cohomology and the Hodge numbers $`h^{1,0}`$ and $`h^{0,1}`$ of $`M^{P,Q}`$. For Hodge numbers we assume that $`M`$ is compact and that $`\omega _P`$ and $`\omega _Q`$ are of type $`(1,1)`$.

### 7.1 Hodge numbers $`h^{1,0}`$ and $`h^{0,1}`$ of $`M^{P,Q}`$

We note that if $`\xi `$ is any harmonic form (both for the usual Laplacian or for the $`\overline{}`$-Laplacian) then the $`_x`$ and the $`_y`$-flows are structure preserving and they preserve the cohomology class of $`\xi `$, hence they preserve $`\xi `$. This is clear for the usual cohomology. For the $`\overline{}`$-cohomology we note that the $`_x`$-flow acts upon the space $`H^{p,q}`$. So we have a one dimensional representation of the circle on $`H^{p,q}`$ with weights $`iA_1,\mathrm{},iA_k`$. Here $`A_i`$ are integers. Also the $`_y`$-flow acts on $`H^{p,q}`$. For any harmonic form $`\xi `$ in $`H^{p,q}`$ we have that $`L__x\xi +iL__y\xi `$ is in $`H^{p,q}`$. But the $`\mathrm{\Lambda }^{p,q}`$-component of $`L__x\xi +iL__y\xi `$ is $`\overline{}(i_{_x+i_y}\xi )`$. From this we deduce that $`L__x\xi +iL__y\xi =0`$. This implies that the representation of $`_y`$ on $`H^{p,q}`$ has weights $`A_1,\mathrm{},A_k`$. But $`_y`$ is periodic, hence $`A_i=0`$, i.e. the $`_x`$ and the $`_y`$-flow preserves $`H^{p,q}`$.

Let $`\xi `$ be a harmonic $`(1,0)`$-form on $`M^{P,Q}`$. The invariance of $`\xi `$ under the $`_x`$ and the $`_y`$-flow implies that one can write

$$\xi =A\rho +\pi ^{}s_1$$

Here $`s_1`$ is a $`(1,0)`$-form on $`M`$ and $`A`$ is a function pulled up from $`M`$. Since $`\overline{}\rho =\pi ^{}(\omega _P+i\omega _Q)`$, the equation $`\overline{}\xi =0`$ translates into $`\overline{}A=0`$ and $`A(\omega _P+i\omega _Q)+\overline{}\varphi =0`$. So $`A`$ is a constant and moreover $`\omega _P+i\omega _Q`$ is a non-zero harmonic $`(1,1)`$-form for the $`\overline{}`$-complex. Hence $`A=0`$ and $`\overline{}\varphi =0`$, i.e. $`H^{1,0}(M^{P,Q})H^{1,0}(M)`$. In the $`H^{0,1}`$-case simple analysis shows that harmonic $`(0,1)`$ forms are all of the form $`c\overline{\rho }+\pi ^{}s_1`$ for $`s^1H^{0,1}M`$ and $`c`$ a constant. Thus $`h^{0,1}(M^{P,Q})=h^{0,1}(M)+1`$. In particular $`h^{0,1}(M^{P,Q})=h^{1,0}(M^{P,Q})+1`$.

### 7.2 Cohomology of $`M^{P,Q}`$

To study cohomology first let $`M^P`$ be the unit circle bundle of $`P`$. Certainly $`M^P`$ is a circle bundle over $`M`$. Also $`M^{P,Q}`$ is a circle bundle over $`M^P`$ (with the fiber being the unit circle of $`Q`$ pulled up to $`M^P`$). We’ll use Gysin sequence (see , p. 255) to study the cohomology one step at a time. The Gysin sequence tells that if $`F`$ is a circle bundle with projection $`\pi `$ over the base $`B`$ and the first Chern class of $`F`$ is $`c_1H^2(B,)`$ then we have the following exact sequence:

$$H^iB\stackrel{c_1}{}H^{i+2}B\stackrel{\pi ^{}}{}H^{i+2}FH^{i+1}B\mathrm{}$$

Let’s study $`H^1`$ first. Since $`\omega _P`$ is non-trivial in real cohomology we conclude that $`H^1M^PH^1M`$. Now we have 2 cases:
Case 1: If $`\omega _Q`$ is not a multiple of $`\omega _P`$ in $`H^2M`$ then the Gysin sequence tells that it lifts to a non-trivial element of $`H^2M^P`$. Using the Gysin sequence again for the fibration $`M^{P,Q}M^P`$ we conclude that $`H^1M^{P,Q}H^1M^PH^1M`$.
Case 2: If $`\omega _Q`$ is a multiple of $`\omega _P`$ in $`H^2`$ then Gysin sequence tells that it lifts to a trivial class in $`H^2M^P`$. Using the Gysin sequence again for the fibration $`M^{P,Q}M^P`$ we conclude that $`b_1(M^{P,Q})=b_1(M^P)+1=b_1(M)+1`$.
Remark: The Gysin sequence implies that all the first cohomology of $`M^P`$ comes from $`M`$ and so the circle fibers are trivial in the first homology of $`M^P`$. From this we conclude that the torus fibers are trivial in the second homology of $`M^{P,Q}`$, we used this fact before to show that $`M^{P,Q}`$ admits no Kähler metric.
Let us consider $`H^2`$. We assume that $`H^1(M)=0`$. Using the Gysin sequence we conclude that $`b_2(M^P)=b_2(M)1`$. Now we have 2 cases:
Case 1: If $`\omega _Q`$ is not a multiple of $`\omega _P`$ in $`H^2M`$ then the Gysin sequence tells that it lifts to a non-trivial element of $`H^2M^P`$. Using the Gysin sequence again for the fibration $`M^{P,Q}M^P`$ we conclude that $`b_2(M^{P,Q})=b_2(M^P)1=b_2(M)2`$.
Case 2: If $`\omega _Q`$ is a multiple of $`\omega _P`$ in $`H^2`$ then Gysin sequence tells that it lifts to a trivial class in $`H^2M^P`$. Using the Gysin sequence again for the fibration $`M^{P,Q}M^P`$ we conclude that $`b_2(M^{P,Q})=b_2(M^P)=b_2(M)1`$.

This information is enough to find all the Betti numbers in case $`M`$ is a $`K3`$-surface. The only unknown so far is $`b_3(M^{P,Q})`$ and we can find it using the fact that the Euler characteristic of $`M^{P,Q}`$ is $`0`$ (because $`_x`$ is a non-vanishing vector field on $`M^{P,Q}`$).

## 8 Pulling up Special Lagrangians

Here we assume that $`M`$ is a Calabi-Yau manifold and $`\omega _Q=0`$. We take $`Q`$ to be the trivial bundle with the trivial connection. Thus $`M^{P,Q}`$ is a direct product of the unit circle bundle $`M^P`$ on $`P`$ with the unit circle $`S^1`$:

$$M^{P,}M^P\times S^1$$

For any element $`sS^1`$ let

$$M^{P,s}=M^P\times (s)$$

The horizontal distribution $`H`$ along $`M^{P,s}`$ is tangent to $`M^{P,s}`$. Moreover there is a natural circle action on $`M^{P,s}`$ given by

$$e^{ix}(\xi ,s)=(e^{ix}\xi ,s)$$

The vector field generating this action is $`_x`$.
If $`L`$ is a submanifold of $`M`$ then we can define its lift

$$L_s=\pi ^1(L)M^{P,s}$$

We have that the tangent space to $`L_0`$ naturally splits as

$$TL^Hspan(_x)$$

Here $`TL^H`$ is the horizontal lift of $`TL`$ to $`H`$. From this we get the following:

###### Proposition 8.0.1

Let $`L`$ be a Special Lagrangian submanifold on $`M`$. Then $`L_s`$ is a Special Lagrangian submanifold of $`M^{P,}`$.

We wish to point out that if we have a Special Lagrangian fibration on $`M`$ it lifts to a special Lagrangian fibration on $`M^{P,}`$.

## Conclusion

In this paper, we presented a geometric construction for complex non-Kähler manifolds with intrinsic $`SU(3)`$ structure, used in supersymmetric string compactifications.<sup>1</sup><sup>1</sup>1It should be mentioned that any realistic heterotic string compactification model has to include a vector bundle construction, with a gauge group rich enough to account for the Standard Model particles. This requirement can impose severe constraints on the geometric construction, e.g., one might need to consider singular limits of the base CY 2-fold. We do not study this subject here. We gave a general construction of families $`M^{P,Q}`$ of holomorphic $`T^2`$-fibrations over a Hermitian $`n`$-fold $`M`$. We have shown that our construction can satisfy the supersymmetry conditions in the heterotic string theory, and in this case we get complex half-flat, or special Hermitian manifolds. We presented examples of $`T^2`$\- bundles over $`K3`$ surfaces and a four-torus which satisfy the supersymmetry constraint.

Also, we proposed a modified model with the metric depending on a warp factor, and shown that the supersymmetry conditions are still satisfied. In addition, we computed all Betti numbers and the Hodge numbers $`h^{1,0}`$ and $`h^{0,1}`$.

It is also shown that in the case $`\omega _Q=0`$ one can lift Special Lagrangian submanifolds and fibrations from the Calabi-Yaus to the bundles $`M^{P,Q}`$, and Special Lagrangian submanifolds on those bundles are still calibrated by $`Re\mathrm{\Omega }^{3,0}`$ (and hence minimal).

Acknowledgments

We would like to acknowledge very useful conversations with K. Dasgupta, S. Gukov, S. Kachru, and L. McAllister.

The work of S. P. was supported by Stanford Graduate Fellowship.