Given a Lagrangian sphere in a symplectic 4-manifold $(M, ω)$ with $b^+=1$, we find embedded symplectic surfaces intersecting it minimally. When the Kodaira dimension $κ$ of $(M, ω)$ is $-\infty$, this minimal intersection property turns out to be very powerful for both the uniqueness and existence problems of Lagrangian spheres. On the uniqueness side, for a symplectic rational manifold and any class which is not characteristic and ternary, we show that homologous Lagrangian spheres are smoothly isotopic, and when the Euler number is less than 8, we generalize Hind and Evans' Hamiltonian uniqueness in the monotone case. On the existence side, when $κ=-\infty$, we give a characterization of classes represented by Lagrangian spheres, which enables us to describe the non-Torelli part of the symplectic mapping class group.
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.
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.
We give an inequality of the displacement energy for exact Lagrangian immersions and the symplectic area of punctured holomorphic discs. Our approach is based on Floer homology for Lagrangian immersions and Chekanov's homotopy technique of continuations.
In this paper we prove the connectedness of symplectic ball packings in the complement of a spherical Lagrangian, S^2 or RP^2, in symplectic manifolds that are rational or ruled. Via a symplectic cutting construction this is a natural extension of McDuff's connectedness of ball packings in other settings and this result has applications to several different questions: smooth knotting and unknottedness results for spherical Lagrangians, the transitivity of the action of the symplectic Torelli group, classifying Lagrangian isotopy classes in the presence of knotting, and detecting Floer-theoreti…
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.
We establish computational results concerning the Lagrangian capacity from "Cieliebak and Mohnke - Punctured holomorphic curves and Lagrangian embeddings". More precisely, we show that the Lagrangian capacity of a 4-dimensional convex toric domain is equal to its diagonal. The proof involves comparisons between the Lagrangian capacity, the McDuff-Siegel capacities from "McDuff and Siegel - Symplectic capacities, unperturbed curves, and convex toric domains", and the Gutt-Hutchings capacities from "Gutt and Hutchings - Symplectic capacities from positive S1-equivariant symplectic homology". Wor…
We study two related invariants of Lagrangian submanifolds in symplectic manifolds. For a Lagrangian torus these invariants are functions on the first cohomology of the torus. The first invariant is of topological nature and is related to the study of Lagrangian isotopies with a given Lagrangian flux. More specifically, it measures the length of straight paths in the first cohomology that can be realized as the Lagrangian flux of a Lagrangian isotopy. The second invariant is of analytical nature and comes from symplectic function theory. It is defined for Lagrangian submanifolds admitting fibr…
In this paper we obtain sharp obstructions to the symplectic embedding of the lagrangian bidisk into four-dimensional balls, ellipsoids and symplectic polydisks. We prove, in fact, that the interior of the lagrangian bidisk is symplectomorphic to a concave toric domain using ideas that come from billiards on a round disk. In particular, we answer a question of Ostrover. We also obtain sharp obstructions to some embeddings of ellipsoids into the lagrangian bidisk.
We classify four-dimensional manifolds endowed with symplectic pairs admitting embedded symplectic spheres with non-negative self-intersection, following the strategy of McDuff's classification of rational and ruled symplectic four manifolds.
A Lagrangian field on a symplectic manifold $M$ is a family $Λ=\{Λ_x|x \in M\}$ of pointed Lagrangian submanifolds of $M$. This notion is a generalization of a real Lagrangian polarization for which each $Λ_x$ is the leaf containing $x$. Two Lagrangian fields $Λ$ and $\tilde Λ$ are called transversal if $Λ_x$ intersects $\tildeΛ_x$ transversally at $x$ for every $x$. Two transversal Lagrangian fields determine an almost para-Kähler structure on $M$. We construct a local symplectic groupoid on a neighborhood of the zero section of $T^\ast M$ from two transversal Lagrangian fields on $M$. The La…
We show how to compute the Lagrangian Floer homology in the one-point blow up of the proper transform of Lagrangians submanifolds, solely in terms of information of the base manifold. As an example we present an alternative computation of the Lagrangian quantum homology in the one-point blow up of (CP^2,ω) of the proper transform of the Clifford torus.
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 present a novel $C^0$-characterization of symplectic embeddings and diffeomorphisms in terms of Lagrangian embeddings. Our approach is based on the shape invariant, which was discovered by J.-C. Sikorav and Y. Eliashberg, intersection theory and the displacement energy of Lagrangian submanifolds, and the fact that non-Lagrangian submanifolds can be displaced immediately. This characterization gives rise to a new proof of $C^0$-rigidity of symplectic embeddings and diffeomorphisms. The various manifestations of Lagrangian rigidity that are used in our arguments come from $J$-holomorphic curv…
The quantum homology of the monotone complex quadric surface splits into the sum of two fields. We outline a proof of the following statement: The unities of these fields give rise to distinct symplectic quasi-states defined by asymptotic spectral invariants. In fact, these quasi-states turn out to be "supported" on disjoint Lagrangian submanifolds. Our method involves a spectral sequence which starts at homology of the loop space of the 2-sphere and whose higher differentials are computed via symplectic field theory, in particular with the help of the Bourgeois-Oancea exact sequence.
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.
Given a symplectic manifold (M, ω) and a Lagrangian submanifold L, we construct versions of the symplectic blow-up and blow-down which are defined relative to L. Furthermore, we show that if M admits an anti-symplectic involution ϕ and we blow-up an appropriately symmetric embedding of symplectic balls, then there exists an anti-symplectic involution on the blow-up as well. We derive a homological condition which determines when the topology of a real Lagrangian surface L = Fix(ϕ) changes after a blow down, and we use these constructions to study the real packing numbers and packing stability …
The graph of a real symplectic linear transformation is an R-Lagrangian subspace of a complex symplectic vector space. The restriction of the complex symplectic form is thus purely imaginary and may be expressed in terms of the generating function of the transformation. We provide explicit formulas; moreover, as an application, we give an explicit general formula for the metaplectic representation of the real symplectic group.
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…
We show that the space of anti-symplectic involutions of a monotone $S^2\times S^2$ whose fixed points set is a Lagrangian sphere is connected. This follows from a stronger result, namely that any two anti-symplectic involutions in that space are Hamiltonian isotopic.
Lagrangian curves in 4-space entertain intriguing relationships with second order deformation of plane curves under the special affine group and null curves in a 3-dimensional Lorentzian space form. We provide a natural affine symplectic frame for Lagrangian curves. It allows us to classify Lagrangrian curves with constant symplectic curvatures, to construct a class of Lagrangian tori and determine Lagrangian geodesics.
We prove that every closed Bohr-Sommerfeld Lagrangian submanifold $Q$ of a symplectic/Kähler manifold $X$ can be realised as a Morse-Bott minimum for some 'convex' exhausting function defined in the complement of a symplectic/complex hyperplane section $Y$. In the Kähler case, 'convex' means strictly plurisubharmonic while, in the symplectic case, it refers to the existence of a Liouville pseudogradient. In particular, $Q\subset X\setminus Y$ is a regular Lagrangian submanifold in the sense of Eliashberg-Ganatra-Lazarev.
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.
We study the local symplectic algebra of curves. We use the method of algebraic restrictions to classify symplectic $T_7$ singularities. We define discrete symplectic invariants - the Lagrangian tangency orders. We use these invariants to distinguish symplectic singularities of classical $A-D-E$ singularities of planar curves, $S_5$ singularity and $T_7$ singularity. We also give the geometric description of these symplectic singularities.
In this note we discuss symplectic lifts of actions for a complete Lagrangian fibration. Firstly, we describe the symplectic cotangent lifts of a G-action on a manifold Q in terms of 1-cocycles in the cohomology of G induced by the action with values in the space of closed 1-forms on Q. After this, we consider the general case of complete Lagrangian fibrations.
We classify weakly exact, rational Lagrangian tori in $T^* \mathbb{T}^2- 0_{\mathbb{T}^2}$ up to Hamiltonian isotopy. This result is related to the classification theory of closed $1$-forms on $\mathbb{T}^n$ and also has applications to symplectic topology. As a first corollary, we strengthen a result due independently to Eliashberg-Polterovich and to Giroux describing Lagrangian tori in $T^* \mathbb{T}^2-0_{\mathbb{T}^2}$ which are homologous to the zero section. As a second corollary, we exhibit pairs of disjoint totally real tori $K_1, K_2 \subset T^*\mathbb{T}^2$, each of which is isotopic…
We present an array of new calculations in Lagrangian Floer theory which demonstrate observations relating to symplectic reduction, grading periodicity, and the closed-open map. We also illustrate Perutz's symplectic Gysin sequence and the quilt theory of Wehrheim and Woodward.
We consider paths of Hamiltonian diffeomorphism preserving a given compact monotone Lagrangian in a symplectic manifold that extend to an $S^1$--Hamiltonian action. We compute the leading term of the associated Lagrangian Seidel element. We show that such paths minimize the Lagrangian Hofer length. Finally we apply these computations to Lagrangian uniruledness and to give a nice presentation of the Quantum cohomology of real lagrangians in Fano symplectic toric manifolds.
Using the technology of barcodes and previously proven continuity results, we extend to $C^0$ symplectic topology a beautiful result from Keating. Given two Lagrangian spheres in a Liouville domain, with good conditions, we prove that the Dehn twists about these spheres generate a free subgroup of the $C^0$ symplectic mapping class group.
We construct open symplectic manifolds which are convex at infinity ("Liouville manifolds") and which are diffeomorphic, but not symplectically isomorphic, to cotangent bundles T^*S^{n+1}, for any n+1 \geq 3. These manifolds are constructed as total spaces of Lefschetz fibrations, where the fibre and all but one of the vanishing cycles are fixed. We show that almost any choice of the last vanishing cycle leads to a nonstandard symplectic structure (those choices which yield standard T^*S^{n+1} can be exactly determined). The Corrigendum changes the statement and proof of Lemma 1.1 in the origi…
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 note we complete the discussion of minimality of symplectic fiber sums. We find, that for fiber sums along spheres the minimality of the sum is determined by the cases discussed by M. Usher and one additional case: If the sum is the result of the rational blow-down of a symplectic -4-sphere in X, then it is non-minimal if X contains a certain configuration of exceptional spheres in relation to this -4-sphere.
We construct infinitely many Legendrian links in the standard contact $\mathbb{R}^3$ with arbitrarily many topologically distinct Lagrangian fillings. The construction is used to find links in $S^3$ that bound topologically distinct pieces of algebraic curves in $B^4 \subset \mathbb{C}^2$, is applied to find contact 3-manifolds with topologically distinct symplectic fillings, and is generalized to higher dimensions.
