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.
In this note we prove a simple relation between the mean curvature form, symplectic area, and the Maslov class of a Lagrangian immersion in a Kähler-Einstein manifold. An immediate consequence is that in Kähler-Einstein manifolds with positive scalar curvature, minimal Lagrangian immersions are monotone.
We propose a topological theory of the Maslov index for lagrangian and symplectic paths based on a minimal system of axioms. We recover, as particular cases, the Hoermander and the Robbin-Salomon indices.
We use Floer cohomology to prove the monotone version of a conjecture of Audin: the minimal Maslov number of a monotone Lagrangian torus in C^n is 2. Our approach is based on the study of the quantum cup product on Floer cohomology and in particular the behaviour of Oh's spectral sequence with respect to this product. As further applications we prove existence of holomorphic disks with boundaries on Lagrangians as well as new results on Lagrangian intersections.
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.
The first purpose of this paper is to generalize the well-known Maslov indices of maps of open Riemann surfaces with boundary lying on Lagrangian submanifolds to maps with boundary lying on coisotropic submanifolds in symplectic manifolds. For this purpose, we first define the notion of {\it Maslov loops} of coisotropic Grassmanians and their indices. Then we introduce the notions of {\it transverse Maslov bundle} of coisotropic submanifolds, and {\it gradable coisotropic submanifolds}. We then define {\it graded coisotropic submanifolds} and the {\it coisotropic Maslov index} of the maps with…
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…
We explain the topology of the space, so called, Fredholm-Lagrangian-Grassmannain and the quantity ``Maslov index'' for paths in this space based on the standard theory of Functional Analysis. Our standing point is to define the Maslov index for arbitrary paths in terms of the fundamental spectral property of the Fredholm operators, which was first recognized by J. Phillips and used to define the ``Spectral flow''. We tried to make the arguments to be all elementary and we summarize basic facts for this article from Functional Analysis in the Appendix.
Given an immersed, Maslov-$0$, exact Lagrangian filling of a Legendrian knot, if the filling has a vanishing index and action double point, then through Lagrangian surgery it is possible to obtain a new immersed, Maslov-$0$, exact Lagrangian filling with one less double point and with genus increased by one. We show that it is not always possible to reverse the Lagrangian surgery: not every immersed, Maslov-$0$, exact Lagrangian filling with genus $g \geq 1$ and $p$ double points can be obtained from such a Lagrangian surgery on a filling of genus $g-1$ with $p+1$ double points. To show this, …
A Maslov cycle is a singular variety in the lagrangian grassmannian L(V) of a symplectic vector space V consisting of all lagrangian subspaces having nonzero intersection with a fixed one. Givental has shown that a Maslov cycle is a Legendre singularity, i.e. the projection of a smooth conic lagrangian submanifold S in the cotangent bundle of L(V). We show here that S is the wavefront set of a Fourier integral distribution which is "evaluation at 0 of the quantizations".
We study singularities of Lagrangian mean curvature flow in $\C^n$ when the initial condition is a zero-Maslov class Lagrangian. We start by showing that, in this setting, singularities are unavoidable. More precisely, we construct Lagrangians with arbitrarily small Lagrangian angle and Lagrangians which are Hamiltonian isotopic to a plane that, nevertheless, develop finite time singularities under mean curvature flow. We then prove two theorems regarding the tangent flow at a singularity when the initial condition is a zero-Maslov class Lagrangian. The first one (Theorem A) states that that t…
We show that a monotone Lagrangian $L$ in $\mathbb{CP}^n$ of minimal Maslov number $n + 1$ is homeomorphic to a double quotient of a sphere, and thus homotopy equivalent to $\mathbb{RP}^n$. To prove this we use Zapolsky's canonical pearl complex for $L$ with coefficients in $\mathbb{Z}$, and various twisted versions thereof, where the twisting is determined by connected covers of $L$. The main tool is the action of the quantum cohomology of $\mathbb{CP}^n$ on the resulting Floer homologies.
We examine symplectic topological features of certain family of monotone Lagrangian submanifolds in CP^n. Firstly, we give a cohomological restriction for Lagrangian submanifolds in CP^n whose first integral homologies are 3-torsion. In particular, in the case where n=5,8, we prove the cohomologies with coefficients in Z_2 of such Lagrangian submanifolds are isomorphic to that of SU(3)/(SO(3) Z_3) and SU(3)/Z_3, respectively. Secondly, we calculate the Floer cohomology of a monotone Lagrangian submanifold SU(p)/Z_p in CP^{p^2-1} with coefficients in Z_2 by using Biran-Cornea's theory.
We prove that the inclusion of every closed exact Lagrangian with vanishing Maslov class in a cotangent bundle is a homotopy equivalence. We start by adapting an idea of Fukaya-Seidel-Smith to prove that such a Lagrangian is equivalent to the zero section in the Fukaya category with integral coefficients. We then study an extension of the Fukaya category in which Lagrangians equipped with local systems of arbitrary dimension are admitted as objects, and prove that this extension is generated, in the appropriate sense, by local systems over a cotangent fibre. Whenever the cotangent bundle is si…
In this paper we present the theory of oscillation numbers and dual oscillation numbers for continuous Lagrangian paths in $\mathbb{R}^{2n}$. Our main results include a connection of the oscillation numbers of the given Lagrangian path with the Lidskii angles of a special symplectic orthogonal matrix. We also present Sturmian type comparison and separation theorems for the difference of the oscillation numbers of two continuous Lagrangian paths. These results, as well as the definition of the oscillation number itself, are based on the comparative index theory (Elyseeva, 2009). The application…
Some functorial properties are studied for the Hörmander classes defined for symplectic bundles. The behaviour of the Chern first form on a Lagrangian submanifold in an almost Hermitian manifold is also studied, and Fomenko's conjecture about the behaviour of a Maslov class on minimal Lagrangian submanifolds is considered.
Let Lag(E) be the grassmannian of lagrangian subspaces of a complex symplectic vector space E. We construct a Maslov class which generates the second integral cohomology of Lag(E), and we show that its mod 2 reduction is the characteristic class of a flat gerbe with structure group Z_2. We explain the relation of this gerbe to the well-known flat Maslov line bundle with structure group Z_4 over the real lagrangian grassmannian, whose characteristic class is the mod 4 reduction of the real Maslov class.
We give Chern-Weil definitions of the Maslov indices of bundle pairs over a Riemann surface Σwith boundary, which consists of symplectic vector bundle on Σand a Lagrangian subbundle on \partialΣ as well as its generalization for transversely intersecting Lagrangian boundary conditions. We discuss their properties and relations to the known topological definitions. As a main application, we extend Maslov index to the case with orbifold interior singularites, via curvature integral, and find also an analogous topological definition in these cases.
We define the Maslov index of a loop tangent to the characteristic foliation of a coisotropic submanifold as the mean Conley--Zehnder index of a path in the group of linear symplectic transformations, incorporating the "rotation" of the tangent space of the leaf -- this is the standard Lagrangian counterpart -- and the holonomy of the characteristic foliation. Furthermore, we show that, with this definition, the Maslov class rigidity extends to the class of the so-called stable coisotropic submanifolds including Lagrangian tori and stable hypersurfaces.
We extend the definition of the Maslov index to a broad class of non-Hamiltonian dynamical systems. To do this, we introduce a family of topological spaces--which we call Maslov-Arnold spaces--that share key topological features with the Lagrangian Grassmannian, and hence admit a similar index theory. This family contains the Lagrangian Grassmannian, and much more. We construct a family of examples, called hyperplane Maslov-Arnold spaces, that are dense in the Grassmannian, and hence are much larger than the Lagrangian Grassmannian (which is a submanifold of positive codimension). The resultin…
We study the spectrum of the Schrödinger operators with $n\times n$ matrix valued potentials on a finite interval subject to $θ-$periodic boundary conditions. For two such operators, corresponding to different values of $θ$, we compute the difference of their eigenvalue counting functions via the Maslov index of a path of Lagrangian planes. In addition we derive a formula for the derivatives of the eigenvalues with respect to $θ$ in terms of the Maslov crossing form. Finally, we give a new shorter proof of a recent result relating the Morse and Maslov indices of the Schrödinger operator for a …
We establish a new version of Floer homology for monotone Lagrangian submanifolds and apply it to prove the following (generalized) version of Audin's conjecture : if $L$ is an aspherical manifold which admits a monotone Lagrangian embedding in ${\bf C^{n}}$, then its Maslov number equals $2$. We also prove other results on the topology of monotone Lagrangian submanifolds $L\subset M$ of maximal Maslov number under the hypothesis that they are displaceable through a Hamiltonian isotopy.
In this paper we detect new restrictions on the Maslov class of displaceable Lagrangian submanifolds of symplectic manifolds which are symplectically aspherical. These restrictions are established using action selectors for Hamiltonian flows. In particular, we construct and utilize a new action selector for the flows of a special class of Hamiltonian functions which arises naturally in the study of Hamiltonian paths which minimize the Hofer length functional.
We use a neck stretching argument for holomorphic curves to produce symplectic disks of small area and Maslov class with boundary on Lagrangian submanifolds of nonpositive curvature. Applications include the proof of Audin's conjecture on the Maslov class of Lagrangian tori in linear symplectic space, the construction of a new symplectic capacity, obstructions to Lagrangian embeddings into uniruled symplectic manifolds, a quantitative version of Arnold's chord conjecture, and estimates on the size of Weinstein neighbourhoods. The main technical ingredient is transversality for the relevant mod…
In this note it is shown that the Maslov Index for pairs of Lagrangian Paths as introduced by Cappell, Lee and Miller appears by parallel transporting elements of (a certain complex line-subbundle of) the symplectic spinorbundle 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 tha…
We construct using relatively basic techniques a spectral sequence for exact Lagrangians in cotangent bundles similar to the one constructed by Fukaya, Seidel, and Smith. That spectral sequence was used to prove that exact relative spin Lagrangians in simply connected cotangent bundles with vanishing Maslov class are homology equivalent to the base (a similar result was also obtained by Nadler). The ideas in that paper were extended by Abouzaid who proved that vanishing Maslov class alone implies homotopy equivalence. In this paper we present a short proof of the fact that any exact Lagrangian…
We extend Floer theory for monotone Lagrangians to allow coefficients in local systems of arbitrary rank. Unlike the rank 1 case, this is often obstructed by Maslov 2 discs. We study exactly what the obstruction is and define some natural unobstructed subcomplexes. To illustrate these constructions we do some explicit calculations for the Chiang Lagrangian $L_Δ \subseteq \mathbb{C}P^3$. For example, we equip $L_Δ$ with a particular rank 2 local system $W$ over the field with 2 elements such that the resulting Floer complex $CF^*(W,W)$ is unobstructed despite the presence of Maslov 2 discs. We …
Mironov, Panov and Kotelskiy studied Hamiltonian-minimal Lagrangians inside $\mathbb{C}^n$. They associated a closed embedded Lagrangian $L$ to each Delzant polytope $P$. In this paper we develop their ideas and prove that $L$ is monotone if and only if the polytope $P$ is Fano. In some examples, we further compute the minimal Maslov numbers. Namely, let $\mathcal{N}\to T^k$ be some fibration over the $k$-dimensional torus with a fiber equal to either $S^k \times S^l$, or $S^k \times S^l \times S^m$, or $\#_5(S^{2p-1} \times S^{n-2p-2})$. We construct monotone Lagrangian embeddings $\mathcal{N…
We recall the Chernoff-Marsden definition of weak symplectic structure and give a rigorous treatment of the functional analysis and geometry of weak symplectic Banach spaces. We define the Maslov index of a continuous path of Fredholm pairs of Lagrangian subspaces in continuously varying Banach spaces. We derive basic properties of this Maslov index and emphasize the new features appearing.
We show that zero-Maslov class Lagrangian self-expanders in C^n which are asymptotic to a pair of planes intersecting transversely are locally unique if n>2 and unique if n=2.
In this note the interrelations between several natural morphisms on the $π_1$ of groups of Hamiltonian diffeomorphisms are investigated. As an application, the equality of the (non-linear) Maslov index of loops of quantomorphisms of prequantizations of $\C P^n$ and the Calabi-Weinstein invariant is shown, settling affirmatively a conjecture by A. Givental. We also prove the proportionality of the mixed action-Maslov morphism and the Futaki invariant on loops of Hamiltonian biholomorphisms of Fano Kahler manifolds, as suggested by C. Woodward. Finally, a family of generalized action-Maslov inv…
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.
Let $(M,ω)$ be a symplectic manifold, $N\subseteq M$ a coisotropic submanifold, and $Σ$ a compact oriented (real) surface. I define a natural Maslov index for each continuous map $u:Σ\to M$ that sends every connected component of $\partialΣ$ to some isotropic leaf of $N$. This index is real valued and generalizes the usual Lagrangian Maslov index. The idea is to use the linear holonomy of the isotropic foliation of $N$ to compensate for the loss of boundary data in the case codimension $N<\dim M/2$. The definition is based on the Salamon-Zehnder (mean) Maslov index of a path of linear symplect…
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.
We consider the stability of nonlinear traveling waves in a class of activator-inhibitor systems. The eigenvalue equation arising from linearizing about the wave is seen to preserve the manifold of Lagrangian planes for a nonstandard symplectic form. This allows us to define a Maslov index for the wave corresponding to the spatial evolution of the unstable bundle. We formulate the Evans function for the eigenvalue problem and show that the parity of the Maslov index determines the sign of the derivative of the Evans function at the origin. The connection between the Evans function and the Masl…
In this paper, we give a formula for the Maslov index of a gradient holomorphic disc, which is a relative version of the Chern number formula of a gradient holomorphic sphere for a Hamiltonian $S^1$-action. Using the formula, we classify all monotone Lagrangian non-toric fibers of Gelfand-Cetlin systems on partial flag manifolds.
We consider a curve of Fredholm pairs of Lagrangian subspaces in a fixed Banach space with continuously varying (weak) symplectic structures. Assuming vanishing index, we obtain intrinsically a continuously varying splitting of the total Banach space into pairs of symplectic subspaces. Using such decompositions we define the curve's Maslov index by symplectic reduction to the classical finite-dimensional case. We prove the transitivity of repeated symplectic reductions and obtain the invariance of the Maslov index under symplectic reduction, while recovering all the standard properties of the …
Our main result is the $\mathcal{C}^0$-rigidity of the area spectrum and the Maslov class of Lagrangian submanifolds. This relies on the existence of punctured pseudoholomorphic discs in cotangent bundles with boundary on the zero section, whose boundaries represent any integral homology class. We discuss further applications of these punctured discs in symplectic geometry.
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.
Let $(N,g_{0})$ be a Kahler-Einstein surface with the first Chern class negative and assume that there exists a branched Lagrangian minimal surfaces with respect to the metric $g_{0}$. We show that when the Kahler-Einstein metric is changed in the same component (i.e. the complex structure is changed), the Lagrangian minimal surface can be deformed accordingly. To get the result, we first obtain a theorem on the deformation of the branched minimal surfaces in a complete Riemannian $n$-manifold and also generalize a result of J. Chen and G. Tian on the limit of adjunction numbers.
We consider exact Lagrangian submanifolds in cotangent bundles. Under certain additional restrictions (triviality of the fundamental group of the cotangent bundle, and of the Maslov class and second Stiefel-Whitney class of the Lagrangian submanifold) we prove such submanifolds are Floer-cohomologically indistinguishable from the zero-section. This implies strong restrictions on their topology. An essentially equivalent result was recently proved independently by Nadler, using a different approach.
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…
Let $M$ be a manifold and $Λ$ a compact exact connected Lagrangian submanifold of $T^*M$. We can associate with $Λ$ a conic Lagrangian submanifold $Λ'$ of $T^*(M\times R)$. We prove that there exists a canonical sheaf $F$ on $M\times R$ whose microsupport is $Λ'$ outside the zero section. We deduce the already known results that the Maslov class of $Λ$ is $0$ and that the projection from $Λ$ to $M$ induces isomorphisms between the homotopy groups.
Consider a Stein manifold M obtained by plumbing cotangent bundles of manifolds of dimension greater than or equal to 3 at points. We prove that the Fukaya category of closed exact Lagrangians with vanishing Maslov class in M is generated by the compact cores of the plumbing. As applications, we classify exact Lagrangian spheres in A2-Milnor fibres of arbitrary dimension, derive constraints on exact Lagrangian fillings of Legendrian unknots in disk cotangent bundles, and prove that the categorical equivalence given by the spherical twist in a homology sphere is typically not realised by any co…
We establish an $h$-principle for exact Lagrangian immersions with transverse self-intersections and the minimal, or near-minimal number of double points. One corollary of our result is that any orientable closed 3-manifold admits an exact Lagrangian immersion into standard symplectic 6-space $\R^6_\st$ with exactly one transverse double point. Our construction also yields a Lagrangian embedding $S^1\times S^2\to\R^6_\st$ with vanishing Maslov class.
Consider a Maslov zero Lagrangian submanifold diffeomorphic to a Lie group on which an anti-symplectic involution acts by the inverse map of the group. We show that the Fukaya $A_\infty$ endomorphism algebra of such a Lagrangian is quasi-isomorphic to its de Rham cohomology tensored with the Novikov field. In particular, it is unobstructed, formal, and its Floer and de Rham cohomologies coincide. Our result implies that the smooth fibers of a large class of singular Lagrangian fibrations are unobstructed and their Floer and de Rham cohomologies coincide. This is a step in the SYZ and family Fl…
We prove an equivariant deformation result for Hamiltonian stationary Lagrangian submanifolds of a Kahler manifold, with respect to deformations of its metric and almost complex structure that are compatible with an isometric Hamiltonian group action. This yields existence of Hamiltonian stationary Lagrangian submanifolds in possibly non-Kahler symplectic manifolds whose metric is arbitrarily close to a Kahler metric.
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 …
Fix a symplectic K3 surface X homologically mirror to an algebraic K3 surface Y by an equivalence taking a graded Lagrangian torus L in X to the skyscraper sheaf of a point y of Y. We show there are Lagrangian tori with vanishing Maslov class in X whose class in the Grothendieck group of the Fukaya category is not generated by Lagrangian spheres. This is mirror to a statement about the `Beauville--Voisin subring' in the Chow groups of Y, and fits into a conjectural relationship between Lagrangian cobordism and rational equivalence of algebraic cycles.
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…