On the Geometry of Lagrangian Submanifolds

We prove that a Lagrangian submanifold passes through each point of a symplectic manifold in the direction of arbitrary Lagrangian plane at this point. Generally speaking, such a Lagrangian submanifold is not unique; nevertheless, the set of all such submanifolds in Hermitian extension of a symplectic manifold of dimension greater than 4 for arbitrary initial data contains a totally geodesic submanifold (which we call the s-Lagrangian submanifold) iff this symplectic manifold is a complex space form. We show that each Lagrangian submanifold in a complex space form of holomorphic sectional curvature equal to c is a space of constant curvature c/4. We apply these results to the geometry of principal toroidal bundles.     

Nonexistence of minimal Lagrangian spheres in hyperKähler manifolds

We prove that for one cannot immerse as a minimal Lagrangian manifold into a hyperK?hler manifold. More generally we show that any minimal Lagrangian immersion of an orientable closed manifold into a hyperK?hler manifold must have nonvanishing second Betti number and that if , is a K?hler manifold and more precisely a K?hler submanifold in w.r.t. one of the complex structures on . In addition we derive a result for the other Betti numbers. Received February 10, 1999 / Accepted April 23, 1999     

Hamiltonian systems with a discrete symmetry

If $\text{?: M → M}$ is an antisymplectic involution of a symplectic manifold M then the fixed set of ? is a Lagrangian submanifold L ? M. Moreover there exist cotangent bundle coordinates in a neighborhood of L in M such that ? in these coordinates maps a covector into its negative. Thus classical examples which have a discrete symmetry such as the restricted three-body problems are locally like a reversible system.     

On families of Lagrangian submanifolds

We study the stability of a compact Lagrangian submanifold of a symplectic manifold under perturbation of the symplectic structure. If X is a compact manifold and the ω _t are cohomologous symplectic forms on X, then by a well-known theorem of Moser there exists a family Φ _t of diffeomorphisms of X such that ω _t =Φ _t ^*(ω₀). If L⊂X is a Lagrangian submanifold for (X,ω₀), L _t =Φ _t ^-1(L) is thus a Lagrangian submanifold for (X,ω _t ). Here we show that if we simply assume that L is compact and ω _t | _L is exact for every t, a family L _t as above still exists, for sufficiently small t. Similar results are proved concerning the stability of special Lagrangian and Bohr–Sommerfeld special Lagrangian submanifolds, under perturbation of the ambient Calabi–Yau structure. Received: 29 May 2001/ Revised version: 17 October 2001     

Harmonic two-forms on manifolds with non-negative isotropic curvature

We prove that L ² harmonic two-forms are parallel if a complete manifold (M, g) has the non-negative isotropic curvature. Furthermore, if (M, g) has positive isotropic curvature at some point, then there is no non-trivial L ² harmonic two-form. We obtain that an almost K?hler manifold of non-negative isotropic curvature is K?hler and a symplectic manifold can not admit any almost K?hler structure of positive isotropic curvature.     

Surgery on Lagrangian and Legendrian Singularities

Let be a smooth fiber bundle whose total space is a symplectic manifold and whose fibers are Lagrangian. Let L be an embedded Lagrangian submanifold of E. In the paper we address the following question: how can one simplify the singularities of the projection by a Hamiltonian isotopy of L inside E? We give an answer in the case when dim and both L and M are orientable. A weaker version of the result is proved in the higher-dimensional case. Similar results hold in the contact category.?As a corollary one gets an answer to one of the questions of V. Arnold about the four cusps on the caustic in the case of the Lagrangian collapse. As another corollary we disprove Y. Chekanov's conjecture about singularities of the Lagrangian projection of certain Lagrangian tori in . Submitted: January 1998, revised: January 1999.     

Conormal bundles with vanishing Maslov form

IfM is a Riemannian manifold, andL is a Lagrangian submanifold ofT ^* M, the Maslov class ofL has a canonical representative 1-form which we call theMaslov form ofL. We prove that ifL =v ^* N = conormal bundle of a submanifoldN ofM, its Maslov form vanishes iffN is a minimal submanifold. Particularly, ifM is locally flatv ^* N is a minimal Lagrangian submanifold ofT ^* M iffN is a minimal submanifold ofM. This strengthens a result of Harvey and Lawson [H L].     

Very Ampleness of Line Bundles and Canonical Embedding of Coverings of Manifolds

Let L be an ample line bundle on a Kähler manifolds of nonpositive sectional curvature with K as the canonical line bundle. We give an estimate of m such that K+mL is very ample in terms of the injectivity radius. This implies that m can be chosen arbitrarily small once we go deep enough into a tower of covering of the manifold. The same argument gives an effective Kodaira Embedding Theorem for compact Kähler manifolds in terms of sectional curvature and the injectivity radius. In case of locally Hermitian symmetric space of noncompact type or if the sectional curvature is strictly negative, we prove that K itself is very ample on a large covering of the manifold.     

Existence of a somewhere injective pseudo-holomorphic disc

Given a smooth totally real submanifold L {\cal L} in an almost complex manifold (M,J) and a J-holomorphic disc with boundary in L {\cal L} , by restriction of the initial disc and factorization, one gets a smooth simple J-holomorphic curve still with boundary in L {\cal L} . As a consequence one gets a proof of the Arnold-Givental conjecture for a class of Lagrangian submanifolds in a symplectic manifold.     

Local Existence for Inhomogeneous Schrödinger Flow into Kähler Manifolds

In this paper we show that there exists a unique local smooth solution for the Cauchy problem of the inhomogeneous Schr?dinger flow for maps from a compact Riemannian manifold M with dim(M) ≤ 3 into a compact K?hler manifold (N, J) with nonpositive Riemannian sectional curvature Received November 1, 1999, Revised January 14, 2000, Accepted March 29, 2000     

Hamiltonian stationary tori in K?hler manifolds

A Hamiltonian stationary Lagrangian submanifold of a K?hler manifold is a Lagrangian submanifold whose volume is stationary under Hamiltonian variations. We find a sufficient condition on the curvature of a K?hler manifold of real dimension four to guarantee the existence of a family of small Hamiltonian stationary Lagrangian tori.     

The lagrange intersections for (ℂP n , ℝP n )

Summary If (M, ω) is a compact symplectic manifold andL ⊂M a compact Lagrangian submanifold and if φ is a Hamiltonian diffeomorphism ofM then the V. Arnold conjecture states (possibly under additional conditions) that the number of intersection section points ofL and φ (L) can be estimated by #{Lϒφ (L)}≥ cuplength +1. We shall prove this conjecture for the special case (L, M)=(ℝP ⁿ , ℂP ⁿ ) with the standard symplectic structure.     

Stable minimal hypersurfaces in a Riemannian manifold with pinched negative sectional curvature

We give an estimate of the smallest spectral value of the Laplace operator on a complete noncompact stable minimal hypersurface M in a complete simply connected Riemannian manifold with pinched negative sectional curvature. In the same ambient space, we prove that if a complete minimal hypersurface M has sufficiently small total scalar curvature then M has only one end. We also obtain a vanishing theorem for L ² harmonic 1-forms on minimal hypersurfaces in a Riemannian manifold with sectional curvature bounded below by a negative constant. Moreover, we provide sufficient conditions for a minimal hypersurface in a Riemannian manifold with nonpositive sectional curvature to be stable.     

Pluriadjoint bundles of polarized surfaces

LetX be a complex connected projective smooth algebraic surface and letL be an ample line bundle onX. The maps associated with the pluriadjoint bundles (K _X L) ¹,t2, are studied by combining an ampleness result forK _X L with a very recent result by Reider. It turns out that apart from some exceptions and up to reductions, 1) (K _X L)³ is very ample; 2) (K _X L) ² is ample and spanned by global sections and is very ample unless eitherg (L)=2 (arithmetic genus ofL) orX contains an elliptic curveE withE ²=0,E·L=1;3) when (K _X L) ² is not very ample, the associated map has degree 4, equality implying thatg (L)=2 and .     

Symplectic spinors,holonomy and Maslov index

In this note it is shown that the Maslov index for pairs of Lagrangian paths as introduced by Leray and later canonized by Cappell, Lee and Miller appears by parallel transporting elements of (a certain complex line-subbundle of) the symplectic spinor bundle over Euclidean space, when pulled back to an (embedded) Lagrangian submanifold \(L\), along closed or non-closed paths therein. In especially, the CLM-Index mod \(4\) determines the holonomy group of this line bundle w.r.t. the Levi-Civita-connection on \(L\), hence its vanishing mod 4 is equivalent to the existence of a trivializing parallel section. Moreover, it is shown that the CLM-Index determines parallel transport in that line-bundle along arbitrary paths when compared to the parallel transport w.r.t. to the canonical flat connection of Euclidean space, if the Lagrangian tangent planes at the endpoints either coincide or are orthogonal. This is derived from a result on parallel transport of certain elements of the dual spinor bundle along closed or endpoint-transversal paths.     

Relative isoperimetric inequality and¶linear isoperimetric inequality for minimal submanifolds

We prove an optimal relative isoperimetric inequality

Singularities of symplectic and Lagrangian mean curvature flows

In this paper, we study the singularities of the mean curvature ?ow from a symplectic surface or from a Lagrangian surface in a K?hler-Einstein surface. We prove that the blow-up ?ow ∑s∞ at a singular point(X₀, T₀) of a symplectic mean curvature ?ow Σ_t or of a Lagrangian mean curvature ?ow Σ_t is a nontrivial minimal surface in ?4, if ∑-∞∞ is connected.     

Cuplength estimates on lagrangian intersections

We prove the following estimate on Lagrangian intersections: If L is a Lagrangian submanifold of P with π₂(P, L) = 0 and L' is obtained from L by an exact diffeomorphism of P, then the number of elements of L ∩ L' is greater than or equal to the cuplength of P.     

On compact submanifolds of nonpositive external curvature in Riemannian spaces

In this paper we consider compact multidimensional surfaces of nonpositive external curvature in a Riemannian space. If the curvature of the underlying space is ≥ 1 and the curvature of the surface is ≤ 1, then in small codimension the surface is a totally geodesic submanifold that is locally isometric to the sphere. Under stricter restrictions on the curvature of the underlying space, the submanifold is globally isometric to the unit sphere. Translated fromMatematicheskie Zametki, Vol. 60, No. 1, pp. 3–10, July, 1996.     

Longtime existence of the Lagrangian mean curvature flow

Given a compact Lagrangian submanifold in flat space evolving by its mean curvature, we prove uniform -bounds in space and C²-estimates in time for the underlying Monge-Ampére equation under weak and natural assumptions on the initial Lagrangian submanifold. This implies longtime existence and convergence of the Lagrangian mean curvature flow. In the 2-dimensional case we can relax our assumptions and obtain two independent proofs for the same result.Received: 3 September 2002, Accepted: 12 June 2003, Published online: 4 September 2003Mathematics Subject Classification (2000): 53C44