This is a survey on bi-Lagrangian manifolds, which are symplectic manifolds endowed with two transversal Lagrangian foliations. We also study the non-integrable case (i.e., a symplectic manifold endowed with two transversal Lagrangian distributions). We show that many different geometric structures can be attached to these manifolds and we carefully analyse the associated connections. Moreover, we introduce the problem of the intersection of two leaves, one of each foliation, through a point and show a lot of significative examples.
In this work, we prove a compactness theorem on the space of all Hamiltonian stationay Lagrangian submanifolds in a compact symplectic manifold with uniform bounds on area and total extrinsic curvature.
For the sake of hyperk{ä}hler SYZ conjecture, finding holomorphic Lagrangian fibrations becomes an important issue. Toric hyperk{ä}hler manifolds are real dimension $4n$ non-compact hyperk{ä}hler manifolds which are quaternion analog of toric varieties. The $n$ dimensional residue circle action on it admitting a hyperk{ä}hler moment map. We use the complex part of this moment map to construct a holomorphic Lagrangian fibration with generic fiber diffeomorphic to $(\mathbb{C}^*)^n$, and study the singular fibers.
An almost Kähler structure on a symplectic manifold $(N, ω)$ consists of a Riemannian metric $g$ and an almost complex structure $J$ such that the symplectic form $ω$ satisfies $ω(\cdot, \cdot)=g(J(\cdot), \cdot)$. Any symplectic manifold admits an almost Kähler structure and we refer to $(N, ω, g, J)$ as an almost Kähler manifold. In this article, we propose a natural evolution equation to investigate the deformation of Lagrangian submanifolds in almost Kähler manifolds. A metric and complex connection $\hn$ on $TN$ defines a generalized mean curvature vector field along any Lagrangian subman…
Given a Lagrangian submanifold in a symplectic manifold and a Morse function on the submanifold, we show that there is an isotopic Morse function and a symplectic Lefschetz pencil on the manifold extending the Morse function to the whole manifold. From this construction we define a sequence of symplectic invariants classifying the isotopy classes of Lagrangian spheres in a symplectic 4-manifold.
We give topological obstructions to the existence of a closed exact Lagrangian submanifold in the cotangent bundle of a closed manifold M which is the total space of a fibration over the circle. For instance we show that the fundamental group of such a Lagrangian submanifold cannot be the free product of two non-trivial groups and that in any finite presentation of this group the difference between the number of generators and the number of relations is less than two.
We establish connections between contact isometry groups of certain contact manifolds and compactly supported symplectomorphism groups of their symplectizations. We apply these results to investigate the space of symplectic embeddings of balls with a single conical singularity at the origin. Using similar ideas, we also prove the longstanding expected result that the space of Lagrangian $\RR P^2$ in $T^*\RR P^2$ is weakly contractible.
In this paper we summarize our recent work in the construction of Lagrangian torus fibrations for Calabi-Yau hypersurfaces in toric varieties and the symplectic Strominger-Yau-Zaslow conjecture, together with some new development. It is submittded to the Proceedings of the Conference in Symplectic Geometry and Mirror Symmetry held in KIAS, Seoul, Korea. The paper was finished in Jan. 2001, with revisions and added reference.
We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperkahler manifolds. We give a Plucker type formula for Lagrangian intersections under thi…
Hamiltonian stationary Lagrangians are Lagrangian submanifolds that are critical points of the volume functional under Hamiltonian deformations. They can be considered as a generalization of special Lagrangians or Lagrangian and minimal submanifolds. Joyce, Schoen and the author show that given any compact rigid Hamiltonian stationary Lagrangian in $\C^n$, one can always find a family of Hamiltonian stationary Lagrangians of the same type in any compact symplectic manifolds with a compatible metric. The advantage of this result is that it holds in very general classes. But the disadvantage is …
We consider Lagrangian-like submanifolds in certain even-dimensional 'symplectic-like' Poisson manifolds. We show, under suitable transversality hypotheses, that the pair consisting of the ambient Poisson manifold and the submanifold has unobstructed deformations and that the deformations automatically preserve the Lagrangian-like property.
Generalized complex (GC) geometry interpolates between ordinary symplectic and complex geometry. Stable generalized complex manifolds (first introduced by Cavalcanti, Gualtieri in 2015) carry a Poisson structure which is generically symplectic, but degenerates on a (real) codimension-2 submanifold. Up to gauge equivalence, the stable generalized complex structure is thus determined by what is called an elliptic symplectic form, which allows the extension of a number of techniques and results from symplectic geometry to stable GC geometry. This paper introduces a new type of submanifold in stab…
R.C.McLean showed that the moduli space of nearby submanifolds of a smooth, compact, orientable special Lagrangian submanifold L in a Calabi-Yau manifold X is a smooth manifold and its tangent space at L is identified with the space of harmonic one forms on L. In this paper, we will extend this result from Calabi-Yau manifolds to the symplectic manifolds with non-integrable almost complex structure.
We give a detailed, self-contained proof of Geoffrey Martin's normal form theorem for Lagrangian submanifolds of standard multisymplectic manifolds (that generalises Alan Weinstein's famous normal form theorem in symplectic geometry), providing also complete proofs for the necessary results in foliated differential topology, i.e., a foliated tubular neighborhood theorem and a foliated relative Poincaré lemma.
We uncover the lowest order differential invariants of Lagrangian submanifolds under affine symplectic maps, and find out what happens when they are constant.
We study the existence of special Lagrangian submanifolds of log Calabi-Yau manifolds equipped with the complete Ricci-flat Kähler metric constructed by Tian-Yau. We prove that if $X$ is a Tian-Yau manifold, and if the compact Calabi-Yau manifold at infinty admits a single special Lagrangian, then $X$ admits infinitely many disjoint special Lagrangians. In complex dimension $2$, we prove that if $Y$ is a del Pezzo surface, or a rational elliptic surface, and $D\in |-K_{Y}|$ is a smooth divisor with $D^2=d$, then $X= Y\backslash D$ admits a special Lagrangian torus fibration, as conjectured by …
Floer's chain complexes for Lagrangian submanifolds in closed symplectic manifolds are generated by intersection points of Lagrangian submanifolds and whose differentials count pseudo-holomorphic strips with Lagrangian boundary conditions. In this paper we will propose Floer's chain complexes for Lagrangian submanifolds in symplectic manifolds with concave ends.
In this paper we study the existence of periodic orbits with prescribed energy levels of convex Lagrangian systems on complete Riemannian manifolds. We extend the existence results of Contreras by developing a modified minimax principal to a class of Lagrangian systems on noncompact Riemannian manifolds, namely the so called $\lsh$ Lagrangian systems. In particular, we prove that for almost every $k\in(0,c_u(L))$ the exact magnetic flow associated to a $\lsh$ Lagrangian has a contractible periodic orbit with energy $k$. We also discuss the existence and non-existence of closed geodesics on the…
In this work, we establish new rigidity results for the Maslov class of Lagrangian submanifolds in large classes of closed and convex symplectic manifolds. Our main result establishes upper bounds for the minimal Maslov number of displaceable Lagrangian submanifolds which are product manifolds whose factors each admit a metric of negative sectional curvature. Such Lagrangian submanifolds exist in every symplectic manifold of dimension greater than six or equal to four. The proof utilizes the relations between closed geodesics on the Lagrangian, the periodic orbits of geometric Hamiltonian flow…
In this paper we use Floer theory to study topological restrictions on Lagrangian embeddings in closed symplectic manifolds. One of the phenomena arising from our results is ``homological rigidity'' of Lagrangian submanifolds. Namely, in certain symplectic manifolds, conditions on low dimensional topological invariants of a Lagrangian (such as its first homology) completely determine its entire homology. We also develop methods for studying Hamiltonian displacement of Lagrangian submanifolds and its relations to the topology of Lagrangians. Finally we present some new results on Lagrangian int…
We show that the degenerate special Lagrangian equation, recently introduced by Rubinstein-Solomon, induces a global equation on every Riemannian manifold, and that for certain associated geometries this equation governs, as it does in the Euclidean setting, geodesics in the space of positive Lagrangians. For example, geodesics in the space of positive Lagrangian sections of a smooth Calabi-Yau torus fibration are governed by the Riemannian DSL on the base manifold. We then develop their analytic techniques, specifically modifications of the Dirichlet duality theory of Harvey-Lawson, in the Ri…
For a certain class of exotic contact manifolds of dimension greater than 3, we show that there is an abundance of closed exact Lagrangians in their symplectization. All of these Lagrangians are displaceable by Hamiltonian isotopy, and many of the examples are nulhomotopic.
We describe families of monotone symplectic manifolds constructed via the symplectic cutting procedure of Lerman from the cotangent bundle of manifolds endowed with a free circle action. We also give obstructions to the monotone Lagrangian embedding of some compact manifolds in these symplectic manifolds.
We discuss symplectic manifolds where, locally, the structure is that encountered in Lagrangian dynamics. Exemples and characteristic properties are given. Then, we refer to the computation of the Maslov classes of a Lagrangian submanifold. Finally, we indicate the generalization of this type of structures to Poisson manifolds.
Product Lagrangian tori in standard symplectic space $R^{2n}$ were classified up to symplectomorphism in [Che96]. We extend this classification to tame symplectically aspherical symplectic manifolds. We show by examples that the asphericity assumption cannot be omitted.
Vidussi was the first to construct knotted Lagrangian tori in simply connected four dimensional manifolds. Fintushel and Stern introduced a second way to detect such knotting.This note demonstrates that similar examples may be distinguished by the fundamental group of the exterior.
In this paper is established a topological constraint for monotone Lagrangian embeddings in certain complex hypersurfaces of integral Kähler manifolds. As an application, we prove that it is impossible to embed a connected sum of $S^{1}\times S^{2k}$s in $\mathbb{C}P^{2k+1}$ as a monotone Lagrangian.
In this note we analyze displaceability of pre-Lagrangian toric fibers in contact toric manifolds. While every symplectic toric manifold contains at least one non-displaceable Lagrangian toric fiber and infinitely many displaceable ones, we show that this is not the case for contact toric manifolds. More precisely, we prove that for the contact toric manifolds $\mathbb{S}^{2d-1} (d\geq 2)$ and $\mathbb{T}^k \times \mathbb{S}^{2d+k-1} (d \geq 1)$ all pre-Lagrangian toric fibers are displaceable, and that for all contact toric manifolds for which the toric action is free, except possibly non-tri…
Floer theory for Lagrangian cobordisms was developed by Biran and Cornea to study the triangulated structure of the derived Fukaya category of monotone symplectic manifolds. This paper explains how to use the language of stops to study Lagrangian cobordisms in Liouville manifolds and the associated exact triangles in the derived wrapped Fukaya category. Furthermore, we compute the cobordism groups of non-compact Riemann surfaces of finite type.
We use spectral invariants in Lagrangian Floer theory in order to show that there exist \emph{isometric} embeddings of normed linear spaces (finite or infinite dimensional, depending on the case) into the space of Hamiltonian deformations of certain Lagrangian submanifolds in tame symplectically aspherical manifolds. In addition to providing a new class of examples in which the Lagrangian Hofer metric can be computed explicitly, we refine and generalize some known results about it.
An effective class in a closed symplectic four-manifold $(X, ω)$ is a two-dimensional homology class which is realized by a $J$-holomorphic cycle for every tamed almost complex structure $J$. We prove that effective classes are orthogonal to Lagrangian tori in $H_2 (X ; \Bbb{Z})$.
The mirror of a projective toric manifold $X_Σ$ is given by a Landau-Ginzburg model $(Y,W)$. We introduce a class of Lagrangian submanifolds in $(Y,W)$ and show that, under the SYZ mirror transformation, they can be transformed to torus-invariant hermitian metrics on holomorphic line bundles over $X_Σ$. Through this geometric correspondence, we also identify the mirrors of Hermitian-Einstein metrics, which are given by distinguished Lagrangian sections whose potentials satisfy certain Laplace-type equations.
We study the topology of Hamiltonian-minimal Lagrangian submanifolds N in C^m constructed from intersections of real quadrics in a work of the first author. This construction is linked via an embedding criterion to the well-known Delzant construction of Hamiltonian toric manifolds. We establish the following topological properties of N: every N embeds as a submanifold in the corresponding moment-angle manifold Z, and every N is the total space of two different fibrations, one over the torus T^{m-n} with fibre a real moment-angle manifold R, and another over a quotient of R by a finite group wi…
In this paper we define the universal Maslov class of a Bohr - Sommerfeld lagrangian embedding to a simply connected pseudo - Einstein symplectic manifold. This class is an invariant of hamiltonian (isodrastic) deformations of a given Bohr - Sommerfeld lagrangian submanifold.
Using Morse-Bott techniques adapted to the gauge-theoretic setting, we show that the limiting boundary values of the space of finite energy monopoles on a connected 3-manifold with at least two cylindrical ends provides an immersed Lagrangian submanifold of the vortex moduli space at infinity. By studying the signed intersections of such Lagrangians, we supply the analytic details of Donaldson's TQFT construction of the Seiberg-Witten invariants of a closed 3-manifold.
We extend constructions and results of Damian to get topological obstructions to the existence of closed monotone Lagrangian embeddings into the cotangent bundle of a space which is the total space of a fibration over the circle.
We compute the Lagrangian Floer cohomology groups of certain tori in closed simply connected symplectic 4-manifolds arising from Fintushel-Stern knot surgery. These manifolds are usually not symplectically aspherical. As a result of the computation we observe examples where $HF(L_0)\cong HF(L_1)$ and $L_0$ and $L_1$ are smoothly isotopic but $L_0,L_1$ are not symplectically isotopic and are distinguished by $HF(L_0,L_1)$.
We introduce an $A_\infty$ map from the cubical chain complex of the based loop space of Lagrangian submanifolds with Legendrian boundary in a Liouville Manifold $C_{*}(Ω_{L} \mathcal{L}\mathit{ag})$ to wrapped Floer cohomology of Lagrangian submanifold $\mathcal{CW}^{-*}(L,L)$. In the case of a cotangent bundle and a Lagrangian co-fiber, the composition of our map with a previously constructed map from $\mathcal{CW}^*(L,L) \to C_{*}(Ω_q Q) $ shows that this map is split surjective.
We study the Lagrangian quantum homology of real parts of Fano toric manifolds of minimal Chern number at least 2, using coefficients in a ring of Laurent polynomials over Z/2Z. We show that these Lagrangians are wide, in the sense that their quantum homology is isomorphic as a module to their classical homology tensored with this ring. Moreover, we show that the quantum homology is isomorphic as a ring to the quantum homology of the ambient symplectic manifold.
We introduce a contravariant functor, called Floer functor, from the category of Lagrangian conductors of a symplectic manifold to the homotopy category of bounded chain complexes of open strings in this manifold. The latter two categories are defined for all symplectic manifolds, whereas Floer functor is defined for semipositive manifolds which are either closed or convex at infinity. We then prove that when the first Chern class of the symplectic manifold vanishes, Lagrangian spheres define Lagrangian conductors so that in particular their integral Floer cohomology is well defined. This requ…
Two smooth map germs are right-equivalent if and only if they generate two Lagrangian submanifolds in a cotangent bundle which have the same contact with the zero-section. In this paper we provide a reverse direction to this classical result of Golubitsky and Guillemin. Two Lagrangian submanifolds of a symplectic manifold have the same contact with a third Lagrangian submanifold if and only if the intersection problems correspond to stably right equivalent map germs. We, therefore, obtain a correspondence between local Lagrangian intersection problems and catastrophe theory while the classical…
This is a continuation of part I in the series of the papers on Lagrangian Floer theory on toric manifolds. Using the deformations of Floer cohomology by the ambient cycles, which we call bulk deformations, we find a continuum of non-displaceable Lagrangian fibers on some compact toric manifolds. We also provide a method of finding all fibers with non-vanishing Floer cohomology with bulk deformations in arbitrary compact toric manifolds, which we call bulk-balanced Lagrangian fibers.
For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperkähler manifold is a fiber of an almost holomorphic Lagrangian fibration, giving an affirmative answer to a question of Beauville's. Our proof employs two different tools: the theory of action-angle variables for algebraically completely integrable Hamiltonian systems and Wielandt's theory of subnormal subgroups.
In this paper we study the Lagrangian Floer theory over $\Z$ or $\Z_2$. Under an appropriate assumption on ambient symplectic manifold, we show that the whole story of Lagrangian Floer theory in \cite{fooo-book} can be developed over $\Z_2$ coefficients, and over $\Z$ coefficients when Lagrangian submanifolds are relatively spin. The main technical tools used for the construction are the notion of the sheaf of groups, and stratification and compatibility of the normal cones applied to the Kuranishi structure of the moduli space of pseudo-holomorphic discs.
We prove that for any compact orientable connected 3-manifold with torus boundary, a concatenation of it and the direct product of the circle and the Klein bottle with an open 2-disk removed admits a Lagrangian embedding into the standard symplectic 6-space. Moreover, minimal Maslov number of the Lagrangian embedding is equal to 1.
In a pair of papers, we construct invariants for smooth four-manifolds equipped with `broken fibrations' - the singular Lefschetz fibrations of Auroux, Donaldson and Katzarkov - generalising the Donaldson-Smith invariants for Lefschetz fibrations. The `Lagrangian matching invariants' are designed to be comparable with the Seiberg-Witten invariants of the underlying four-manifold. They fit into a field theory which assigns Floer homology groups to fibred 3-manifolds. The invariants are derived from moduli spaces of pseudo-holomorphic sections of relative Hilbert schemes of points on the fibres,…
We prove using symplectic field theory that if the suspension of a hyperbolic diffeomorphism of the two-torus Lagrangian embeds in a closed uniruled symplectic six-manifold, then its image contains the boundary of a symplectic disc with vanishing Maslov index. This prevents such a Lagrangian submanifold to be monotone, for instance the real locus of a smooth real Fano manifold. It also prevents any Sol manifold to be in the real locus of an orientable real Del Pezzo fibration over a curve, confirming an expectation of J. Kollár. Finally, it constraints Hamiltonian diffeomorphisms of uniruled s…
We study Dehn twists along Lagrangian submanifolds that are finite quotients of spheres. We decribe the induced auto-equivalences to the derived Fukaya category and explain its relation to twists along spherical functors.
We show that for any nonzero class $A$ in $H_2(X; \mathbb{Z}_2)$ in a rational 4-manifold $X$, $A$ is represented by a nonorientable embedded Lagrangian surface L (for some symplectic structure) if and only if $P(A)\equiv (L) (mod\ 4)$; where $P(A)$ denotes the mod 4 valued Pontrjagin square of $A$.
This paper develops a generalized formulation of Lagrangian mechanics on fibered manifolds, together with a reduction theory for symmetries corresponding to Lie groupoid actions. As special cases, this theory includes not only Lagrangian reduction (including reduction by stages) for Lie group actions, but also classical Routh reduction, which we show is naturally posed in this fibered setting. Along the way, we also develop some new results for Lagrangian mechanics on Lie algebroids, most notably a new, coordinate-free formulation of the equations of motion. Finally, we extend the foregoing to…
In this paper we study Lagrangian Floer theory on toric manifolds from the point of view of mirror symmetry. We construct a natural isomorphism between the Frobenius manifold structures of the (big) quantum cohomology of the toric manifold and of Saito's theory of singularities of the potential function constructed in \cite{fooo09} via the Floer cohomology deformed by ambient cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten theory of one-loop.
One generalizes the notion of Maslov class of lagrangian embeddings to symplectic vector spaces for the compact case. Topological and geometrical properties of the generalized class is discussed. Certain relationship with the minimality problem is established. Applications are presented.
