Exact Lagrangian Submanifolds Research Articles

Brane structures in microlocal sheaf theory

AbstractLet be an exact Lagrangian submanifold of a cotangent bundle , asymptotic to a Legendrian submanifold . We study a locally constant sheaf of ‐categories on , called the sheaf of brane structures or . Its fiber is the ‐category of spectra, and we construct a Hamiltonian invariant, fully faithful functor from to the ‐category of sheaves of spectra on with singular support in .

Compact Exact Lagrangian Intersections in Cotangent Bundles via Sheaf Quantization

We show that the cardinality of the transverse intersection of two compact exact Lagrangian submanifolds in a cotangent bundle is bounded from below by the dimension of the Hom space of sheaf quantizations of the Lagrangians in Tamarkin's category. Our sheaf-theoretic method can also deal with clean and degenerate Lagrangian intersections.

The moduli space of $D$-exact Lagrangian submanifolds

The moduli space of $D$-exact Lagrangian submanifolds

Legendrian fronts for affine varieties

In this article we study Weinstein structures endowed with a Lefschetz fibration in terms of the Legendrian front projection. First we provide a systematic recipe for translating from a Weinstein Lefschetz bifibration to a Legendrian handlebody. Then we present several applications of this technique to symplectic topology. This includes the detection of flexibility and rigidity for several families of Weinstein manifolds and the existence of closed exact Lagrangian submanifolds. In addition, we prove that the Koras--Russell cubic is Stein deformation equivalent to affine complex 3-space and verify the affine parts of the algebraic mirrors of two Weinstein 4-manifolds.

Flexible Lagrangians

AbstractWe introduce and discuss notions of regularity and flexibility for Lagrangian manifolds with Legendrian boundary in Weinstein domains. There is a surprising abundance of flexible Lagrangians. In turn, this leads to new constructions of Legendrians submanifolds and Weinstein manifolds. For instance, many closed n-manifolds of dimension n > 2 can be realized as exact Lagrangian submanifolds of $T^{\ast }S^n$ with possibly exotic Weinstein symplectic structures. These Weinstein structures on $T^{\ast } S^n$, infinitely many of which are distinct, are formed by a single handle attachment to the standard 2n-ball along the Legendrian boundaries of flexible Lagrangians. We also formulate a number of open problems.

Exact Lagrangian submanifolds, Lagrangian spectral invariants and Aubry–Mather theory

AbstractWe construct graph selectors for compact exact Lagrangians in the cotangent bundle of an orientable, closed manifold. The construction combines Lagrangian spectral invariants, developed by Oh, and results, by Abouzaid, about the Fukaya category of a cotangent bundle. We also introduce the notion of Lipschitz-exact Lagrangians and prove that these admit an appropriate generalisation of graph selector. We then, following Bernard–Oliveira dos Santos, use these results to give a new characterisation of the Aubry and Mañé sets of a Tonelli Hamiltonian and to generalise a result of Arnaud on Lagrangians invariant under the flow of such Hamiltonians.

Lagrangian isotopy of tori in $${S^2\times S^2}$$ S 2 × S 2 and $${{\mathbb{C}}P^2}$$ C P 2

We show that, up to Lagrangian isotopy, there is a unique Lagrangian torus inside each of the following uniruled symplectic four-manifolds: the symplectic vector space $\mathbb{R}^4$, the projective plane $\mathbb{C}P^2$, and the monotone $S^2 \times S^2$. The result is proven by studying pseudoholomorphic foliations while performing the splitting construction from symplectic field theory along the Lagrangian torus. A number of other related results are also shown. Notably, the nearby Lagrangian conjecture is established for $T^*\mathbb{T}^2$, i.e.~it is shown that every closed exact Lagrangian submanifold in this cotangent bundle is Hamiltonian isotopic to the zero-section.

A note on exact Lagrangian cobordisms with disconnected Legendrian ends

We provide in this note two relevant examples of Lagrangian cobordisms. The first one gives an example of two exact Lagrangian submanifolds which cannot be composed in an exact fashion. The second one is an example of an exact Lagrangian cobordism on which all primitive of the Liouville form is not constant on the negative end and such that the positive end is a stabilisation whereas the negative end admits augmentations. These examples emphasise point (i) of the definition of exact Lagrangian cobordisms in [6]. In order to provide such examples we construct Lagrangian immersions with single double points using an explicit model and interpret such Lagrangians as cobordisms from the Hopf link.

The symplectic topology of some rational homology balls

We study the symplectic topology of some finite algebraic quotients of the $A\_n$ Milnor fibre which are diffeomorphic to the rational homology balls that appear in Fintushel and Stern’s rational blowdown construction. We prove that these affine surfaces have no closed exact Lagrangian submanifolds by using the already available and deep understanding of the Fukaya category of the $A\_n$ Milnor fibre coming from homological mirror symmetry. On the other hand, we find Floer theoretically essential monotone Lagrangian tori, finitely covered by the monotone tori which we study in the $A\_n$ Milnor fibre. We conclude that these affine surfaces have non-vanishing symplectic cohomology.

Lagrangian Rabinowitz Floer homology and twisted cotangent bundles

We study the following rigidity problem in symplectic geometry: can one displace a Lagrangian submanifold from a hypersurface? We relate this to the Arnold Chord Conjecture, and introduce a refined question about the existence of relative leaf-wise intersection points, which are the Lagrangian-theoretic analogue of the notion of leaf-wise intersection points defined by Moser (Acta. Math. 141(1–2):17–34, 1978). Our tool is Lagrangian Rabinowitz Floer homology, which we define first for Liouville domains and exact Lagrangian submanifolds with Legendrian boundary. We then extend this to the ‘virtually contact’ setting. By means of an Abbondandolo–Schwarz short exact sequence we compute the Lagrangian Rabinowitz Floer homology of certain regular level sets of Tonelli Hamiltonians of sufficiently high energy in twisted cotangent bundles, where the Lagrangians are conormal bundles. We deduce that in this situation a generic Hamiltonian diffeomorphism has infinitely many relative leaf-wise intersection points.

On the Hofer geometry for weakly exact Lagrangian submanifolds

We use spectral invariants in Lagrangian Floer theory in order to show that there exist isometric embeddings of normed linear spaces (finite or infinite-dimensional, depending on the case) into the space of Hamiltonian deformations of certain weakly exact Lagrangian submanifolds in tame symplectic 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.

Homological Lagrangian monodromy

We show that the Hamiltonian Lagrangian monodromy group, in its homological version, is trivial for any weakly exact Lagrangian submanifold of a symplectic manifold. The proof relies on a sheaf approach to Floer homology given by a relative Seidel morphism.

An open string analogue of Viterbo functoriality

Liouville domains are a special type of symplectic manifolds with boundary (they have an everywhere defined Liouville flow, pointing outwards along the boundary). Symplectic cohomology for Liouville domains was introduced by Cieliebak-Floer-Hofer-Wysocki and Vitero. The latter constructed a restriction (or transfer) map associated to an embedding of one Liouville domain into another. In this preprint, we look at exact Lagrangian submanifolds with Legendrian boundary inside a Liouville domain. The analogue of symplectic cohomology for such submanifolds is called "wrapped Floer cohomology". We construct an A_\infty-structure on the underlying wrapped Floer complex, and (under suitable assumptions) an A_\infty-homomorphism realizing the restriction to a Liouville subdomain. The construction of the A_\infty-structure relies on an implementation of homotopy direct limits, and involves some new moduli spaces which are solutions of generalized continuation map equations.

Rational symplectic field theory over $\mathbb{Z}_2$ for exact Lagrangian cobordisms

We construct a version of rational Symplectic Field Theory for pairs $(X,L)$, where $X$ is an exact symplectic manifold, where $L\subset X$ is an exact Lagrangian submanifold with components subdivided into $k$ subsets, and where both $X$ and $L$ have cylindrical ends. The theory associates to $(X,L)$ a $\Z$-graded chain complex of vector spaces over $\Z_2$, filtered with $k$ filtration levels. The corresponding $k$-level spectral sequence is invariant under deformations of $(X,L)$ and has the following property: if $(X,L)$ is obtained by joining a negative end of a pair $(X',L')$ to a positive end of a pair $(X'',L'')$, then there are natural morphisms from the spectral sequences of $(X',L')$ and of $(X'',L'')$ to the spectral sequence of $(X,L)$. As an application, we show that if $\Lambda\subset Y$ is a Legendrian submanifold of a contact manifold then the spectral sequences associated to $(Y\times\R,\Lambda_k^s\times\R)$, where $Y\times\R$ is the symplectization of $Y$ and where $\Lambda_k^s\subset Y$ is the Legendrian submanifold consisting of $s$ parallel copies of $\Lambda$ subdivided into $k$ subsets, give Legendrian isotopy invariants of $\Lambda$.

Exact Lagrangian submanifolds in simply-connected cotangent bundles

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.

Symplectic geometry and the uniqueness of Grauert tubes

A compact real analytic Riemannian manifold M admits a canonical complexification with plurisubharmonic exhaustion function satisfying the homogeneous complex Monge-Ampere equation, called a Grauert tube. From the point of view of complex analysis, several authors have considered whether a given complex manifold can arise in more than one way from this construction. We show that given a compact M and a finite exhaustion, the underlying Riemannian structure is unique. The proof uses the technique of holomorphic disks spanning two exact Lagrangian submanifolds of the cotangent bundle of M, and Schwarz reflection.

Engouffrement symplectique et intersections lagrangiennes

Let }L t{,t ∈ [0, 1], be a path of exact Lagrangian submanifolds in an exact symplectic manifold that is convex at infinity and of dimension ≥6. Under some homotopy conditions, an engulfing problem is solved: the given path }L t{ is conjugate to a path of exact submanifolds inT *Lo. This impliesL t must intersectL o at as many points as known by the generating function theory. Our Engulfing theorem depends deeply on a new flexibility property of symplectic structures which is stated in the first part of this work.

Functorial geometric quantization and Van Hove's theorem

A classical theorem of Van Hove in conjunction with a formalism developed by Weinstein is used to prove that a quantization functor does not exist. In the proof a category of exact transverse Lagrangian submanifolds is introduced which provides a functorial link between Schrodinger quantization and the prequantization/polarization theory of Kostant and Souriau.