Moduli space of special Lagrangians in almost Kahler spaces

Moduli space of special Lagrangians in almost Kahler spaces

LI MA

Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China

Manuscript received on August 30, 2000; accepted for publication on November 28, 2000;

presented by MANFREDO P. DO CARMO

Abstract

In this work we extend the McLean theorem about the moduli space of special Lagrangian submanifolds in Calabi-Yau (CY) manifolds to almost complex manifolds, which are near to the given CY manifold.

Key words: moduli space, special Lagrangians.

1. INTRODUCTION

The aim of this work is to generalize the McLean theorem (1998), which is recalled below, to special Lagrangian submanifolds with respect to an admissible family of symplectic manifolds. Therefore, we have to change the complex structure on a Calabi-Yau manifold and introduce some new concepts of variations of complex structures.

Recall that, on the one hand, special Lagrangian submanifolds (to be recalled below) in a Calabi-Yau manifold are important examples in Calibrated Geometry, which was invented by Harvey and Lawson (1982). In fact, these objects in the complex space Cⁿ were first studied by them. However, these attracted more attention after the recent work of Strominger, Yau and Zaslow (1996), who proposed an interpretation of mirror symmetry for CY 3-folds M involving fibrations of M by special Lagrangian 3-tori, allowing singular fibres. On the other hand, R. McLean (1998) showed that for a smooth special Lagrangian submanifold L M, the moduli space of nearby special Lagrangian submanifolds is smooth and of dimension b₁(L), which is the first Betti number of the manifold L. An interesting question now is whether this result is also true for a large class of manifolds? Yes, we can do something in this paper.

Our main result is Theorem 1 in section 3.

2. CALIBRATED FORM AND SPECIAL LAGRANGIAN GEOMETRY

We begin by introducing a Calabi-Yau (in short, CY) structure on an even dimensional manifold in a reverse way in contrast with the standard way.

Let W be a nonvanishing complex valued n-form on a real 2n-dimensional manifold M. Assume W satisfies the following three conditions:

(1) dW=0,

(2) W is locally decomposable,

(3) (- 1)^{n(n - 1)/2}(i/2)ⁿW > 0 everywhere on M.

Then, according to Hitchin (1997) (see also Chern (1979)), W determines a complex structure J on M for which W is a holomorphic n-form. We will call such W a CY form. If further, we have a 2-form w , which is a symplectic and positive (1,1) form in the complex structure J above, then by defintion, we say that (w ,W) is a CY structure on M. A smooth manifold with a CY structure will be called a CY manifold. According to Hitchin (1997, 1999) again, on a CY manifold M, the form w is a Kahler form whose associated Riemannian metric is Ricci-flat.

Assume that M is a CY manifold with a fixed Riemannian metric g and the structure (w ,W). Write W = a + ib , where a and b are real and imaginary parts of the form W respectively. By definition, we say that an n-dimensional submanifold L M is a Lagrangian submanifold of M if the restriction of w to L is zero. If further, the restriction of W to L is the volume form, then L is called a special Lagrangian submanifold of M. Note that McLean's theorem is within Calabi-Yau geometry.

We now want to change the complex structure of a Calabi-Yau manifold into almost complex structures on M. Hence, we have to introduce some new concepts.

DEFINITION 1. We call M a pseudo-CY manifold if M is a symplectic 2n-dimensional manifold endowed with an almost complex structure and a complex valued n-form W, whose norm is not greater than one and which has a closed real part, i.e, dReW = 0 and satisfies the condition (3).

DEFINITION 2. Assume M is a pseudo-CY manifold. An n-dimensional submanifold L M is called a special Lagrangian submanifold if it is Lagrangian and the restriction to L of the form W is the volume form on L.

Note that in our definition, special Lagrangian submanifolds are still ReW-submanifolds in the almost complex manifold.

We now study a new one-parameter family of complex valued n-forms {} such that = W is a given CY form.

DEFINITION 3. Such a family is called admissible if the real part Re are closed, the restriction to L of the real 2-form d /ds|_{s = 0} is harmonic on L, and the real n-form d /ds|_{s = 0}Im() is a harmonic n-form on L.

Note that for s 0, the n-form need not be closed. Therefore, the associated almost complex structures, which will be denoted by , may be non-integrable and the special Lagrangian submanifold is still minimal with respect to the given Riemannian structure on (M, g,,) where s 0. However, we will keep the form a fixed and perturbate the form b such that = a + i and in this case, it is clear that we can consider a : = ReW as the calibrated form and the special lagrangian submanifolds in (M,w ,) is still minimal. This is a very important example of one-parameter family of special pseudo-CY manifolds.

3. MODULI SPACE OF SPECIAL LAGRANGIANS

THEOREM 1. Given a CY manifold (M,w ,W ) with Riemannian metric g. Suppose is an admissible one-parameter family of pseudo-CY forms on M such that |_{s = 0} = W. Then there exists a small positive constant such that for any | s| < , the moduli space of the special Lagrangian submanifolds near to L is smooth and of dimension b₁(L).

REMARK. Before giving a proof of our Theorem, we point out that our result is local in nature, so we need to only assume the existence of the admissible one-parameter family of pseudo-CY forms in a small neighborhood of L in M.

PROOF. We denote N(L) the normal bundle of L and A²(L), Aⁿ(L) the spaces of differential 2-forms and n-forms on L respectively. Let exp_V denote the exponential map which gives a diffeomorphism of L onto its image in the neighborhood of 0. Since the normal bundle of a special Lagrangian submanifold is isomorphic to the cotangent bundle T^*L, we have a natural identification of normal vector fields to L with differential 1-forms on L. Furthermore, we identify these normal vector fields with nearby submanifolds.

We now define a map

Then the zero set of F is the moduli space of special Lagrangian submanifolds nearby L in the almost complex manifold (M,,). To use the implicit function theorem (Aubin 1982), we compute

F' : = dF(0, 0)(V, x) = d_t|_{t = 0, s = 0}F(tV, sx)

+ d_s|_{t = 0, s = 0}F(tV, sx),

which is

(- L_V|_L + x, L_Vb + x).

Here

• = d /ds|_{s = 0},

and

• = d_sb|_{t = 0, s = 0}

is the variation of the deformation of the imaginary part of the (n,0)-forms near to W. By our assumption, we have that is a harmonic 2-form on L and is a harmonic n-form on L. Then as done in McLean's work (1998), we have

F' = (dv + x, d*v + x),

where v is the music dual to the vector field V. We may assume that is non-trivial. By Hodge theory we know that F' = 0 if and only if dv = 0, d*v = 0, x = 0, and x = 0 on L. As in McLean's work (1998) we can see by using the Poincare's duality that F is surjective on dA¹(L) + H²(L) + dA^{n - 1}(L) + Hⁿ(L). Therefore, we finish the proof of our result.

Here is another example for one parameter family of CY manifolds. Given a CY manifold (M,w ,W). Let = exp(im)W, where m is a real number. Then (M,w ,) are CY manifolds and the family (M,w ,) is admissible and the theorem above can be applied.

4. ACKNOWLEDGEMENT

This work was partially supported by the NSF of China, SRF for Returned Overseas Chinese Scholars, State Education Commission, and a scientific grant of Tsinghua University at Beijing. I would like to thank Profs. Qikeng Lu, K.F. Liu, X.Y. Zhou, and W.P. Zhang, for the invitation for a presentation of this work at the workshop on Mathematical Physics held in July, 1999, in the Morningside Institute of Academia Sinica, Beijing. When we finished our work, we learned that S. Salur (Salur 1999) had a result, but her calibration form may not be closed.

RESUMO

Neste trabalho, estendemos o teorema de McLean sobre o espaço modular de variedades lagrangianas especiais em variedades de Calabi-Yau (CY) para variedades quasi-complexas que estão próximas a uma dada variedade CY.

Palavras-chave: espaços modulares, Lagrangianos especiais.

HITCHIN N. 1999. Lectures on special Lagrangian submanifolds, ICTP Lecture Note.

E-mail: [e-mail]

• AUBIN TH. 1982. Nonlinear Analysis on Manifolds, Monge-Ampere Equations. Springer-Verlag, Berlin.
• CHERN SS. 1979. Complex manifold without potential theory, Springer, Berlin.
• HARVEY M & LAWSON HB. 1982. Calibrated geometry. Acta Math 148: 47-157.
• HITCHIN N. 1997. The moduli space of special Lagrangian sub-manifolds. Dedicated to E. DeGiorgi. Ann Scuola Norm Sup Pisa 25: 503-515.
• MCLEAN R. 1998. Deformations of calibrated submanifolds. Comm Anal Geom 6: 705-747.
• SALUR S. 1999. Deformation of special lagrangian submanifolds, Math.DG/9906048.
• STROMINGER A, YAU ST, ZASLOW E. 1996. Mirror symmetry is T-duality. Nucl Phys B 479: 243-259.

Publication Dates

• Publication in this collection
  08 Mar 2001
• Date of issue
  Mar 2001

History

• Received
  30 Aug 2000
• Accepted
  28 Nov 2000