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.
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.
In this remark we discuss a relationship between (co)homology classes of a symplectic manifold realized by symplectic and lagrangian objects. We establish some transversality condition for the classes, realized by symplectic divisors and smooth lagrangian tori with some special condition on their intersections.
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.
Poisson transversals are those submanifolds in a Poisson manifold which intersect all symplectic leaves transversally and symplectically. In a previous note we proved a normal form theorem around such submanifolds. In this communication, we promote that result to a normal form theorem for Poisson maps around Poisson transversals. A Poisson map pulls a Poisson transversal back to a Poisson transversal, and our first main result states that simultaneous normal forms exist around such transversals, for which the Poisson map becomes transversally linear, and intertwines the normal form data of the…
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 intrinsic proof that Vorobjev's first approximation of a Poisson manifold near a symplectic leaf is a Poisson manifold. We also show that Conn's linearization results cannot be extended in Vorobjev's setting.
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.
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 uniq…
We study the equivalence of Poisson structures around a given symplectic leaf of nonzero dimension. Some criteria of Poisson equivalence are derived from a homotopy argument for coupling Poisson structures. In the case when the transverse Lie algebra of the symplectic leaf is semisimple of compact type, we show that an obstruction to the linearizability is the cohomology class of a Casimir 2-cocycle. This allows us to obtain a semilocal analog of the Conn linearization theorem and to clarify examples of nonlinearizable Poisson structures due to \cite{DW}.
Given a fibration of a symplectic manifold by lagrangian tori, we show that each symplectic vector field splits into two parts : the first is Hamiltonian and the second is symplectic and preserves the fibration. We then show an application of this result in the study of the regular deformations of completely integrable systems.
This paper is a fusion of a survey and a research article. We focus on certain rigidity phenomena in function spaces associated to a symplectic manifold. Our starting point is a lower bound obtained in an earlier paper with Zapolsky for the uniform norm of the Poisson bracket of a pair of functions in terms of symplectic quasi-states. After a short review of the theory of symplectic quasi-states, we extend this bound to the case of iterated Poisson brackets. A new technical ingredient is the use of symplectic integrators. In addition, we discuss some applications to symplectic approximation th…
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.
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})$.
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.
In the framework of the connection theory, a contravariant analog of the Sternberg coupling procedure is developed for studying a natural class of Poisson structures on fiber bundles, called coupling tensors. We show that every Poisson structure near a closed symplectic leaf can be realized as a coupling tensor. Our main result is a geometric criterion for the neighborhood equivalence between Poisson structures over the same leaf. This criterion gives a Poisson analog of the relative Darboux theorem due to Weinstein. Within the category of the algebroids, coupling tensors are introduced on the…
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.
Let M be a compact symplectic manifold, and L be a closed Lagrangian submanifold which can be lifted to a Legendrian submanifold in the contactization of M. For any Legendrian deformation of L satisfying some given conditions, we get a new Lagrangian submanifold L'. We prove that the number of intersection of L and L' can be estimated from below by the sum of $Z_2$-Betti numbers of L, provided they intersect transversally.
We introduce a new class of Poisson structures on a Riemannian manifold. A Poisson structure in this class will be called a Killing-Poisson structure. The class of Killing-Poisson structures contains the class of symplectic structures, the class of Poisson structures studied in{\it (Differential Geometry and its Applications, {\bf Vol. 20, Issue 3} (2004), 279--291)} and the class of Poisson structures induced by some infinitesimal Lie algebras actions on Riemannian manifolds. We show that some classical results on symplectic manifolds (the integrability of the Lie algebroid structure associat…
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…
In this paper we construct and classify Lagrangian T^3-fibrations on non compact symplectic manifolds with singular fibres of prescribed topological type. This contributes to the understanding of the structure of the singular fibres that may appear on a mirror pair of T^3-fibred Calabi-Yau 3-folds.
Emphasizing the role of Gerstenhaber algebras and of higher derived brackets in the theory of Lie algebroids, we show that the several Lie algebroid brackets which have been introduced in the recent literature can all be defined in terms of Poisson and pre-symplectic functions in the sense of Roytenberg and Terashima. We prove that in this very general framework there exists a one-to-one correspondence between non-degenerate Poisson functions and symplectic functions. We determine the differential associated to a Lie algebroid structure obtained by twisting a structure with background by both …
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 compute the Poisson cohomology of a class of Poisson manifolds that are symplectic away from a collection $D$ of hypersurfaces. These Poisson structures induce a generalization of symplectic and cosymplectic structures, which we call a k-cosymplectic structure, on the intersection of hypersurfaces in $D$.
The imploded cross-section of a symplectic manifold is a stratified space allowing for an abelianization of its symplectic reduction. After recalling symplectic and Poisson reduction and reviewing the basics of symplectic implosion, we prove a cross-section theorem for Poisson manifolds, generalizing the Guillemin-Sternberg theorem for symplectic manifolds, which constitutes a first step towards Poisson implosion. On our way, we find and fix a mistake in the proof of Guillemin-Sternberg's theorem, and we identify Poisson transversals as the right analogue to symplectic submanifolds in this con…
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…
The Lie-Poisson analogues of the cotangent bundle and coadjoint orbits of a Lie group are considered. For the natural Poisson brackets the symplectic leaves in these manifolds are classified and the corresponding symplectic forms are described. Thus the construction of the Kirillov symplectic form is generalized for Lie-Poisson groups.
We show that each triangular Poisson Lie group can be decomposed into Poisson submanifolds each of which is a quotient of a symplectic manifold. The Marsden-Weinstein-Meyer symplectic reduction technique is then used to give a complete description of the symplectic foliation of all triangular Poisson structures on Lie groups. The results are illustrated in detail for the generalized Jordanian Poisson structures on SL(n).
We introduce scattering-symplectic manifolds, manifolds with a type of minimally degenerate Poisson structure that is not too restrictive so as to have a large class of examples, yet restrictive enough for standard Poisson invariants to be computable. This paper will demonstrate the potential of the scattering symplectic setting. In particular, we construct scattering-symplectic spheres and scattering symplectic gluings between strong convex symplectic fillings of a contact manifold. By giving an explicit computation of the Poisson cohomology of a scattering symplectic manifold, we also introd…
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 show how one can handle the formalism developped by Yurii Vorobjev in order to give general results about the problems of linearisation and of normal form of a Poisson structure in the neighborhood of one of its symplectic leaves.
We uncover the lowest order differential invariants of Lagrangian submanifolds under affine symplectic maps, and find out what happens when they are constant.
We connect Poisson and near-symplectic geometry by showing that there is a singular Poisson structure on a near-symplectic 4-manifold. The Poisson structure $π$ is defined on the tubular neighbourhood of the singular locus $Z_ω$ of the 2-form $ω$, it is of maximal rank 4 and it vanishes on a degeneracy set containing $Z_ω$. We compute its smooth Poisson cohomology, which depends on the modular vector field and it is finite dimensional. We conclude with a discussion on the relation between the Poisson structure $π$ and the overtwisted contact structure associated to a near-symplectic 4-manifold…
We introduce new invariants associated to collections of compact subsets of a symplectic manifold. They are defined through an elementary-looking variational problem involving Poisson brackets. The proof of the non-triviality of these invariants involves various flavors of Floer theory. We present applications to approximation theory on symplectic manifolds and to Hamiltonian dynamics.
We review recent results and ongoing investigations of the symplectic and Poisson geometry of derived moduli spaces, and describe applications to deformation quantization of such spaces.
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.
In this paper we introduce the notion of a smooth structure on a stratified space, the notion of a Poisson smooth structure and the notion of a weakly symplectic smooth structure on a stratified symplectic space, refining the concept of a stratified symplectic Poisson algebra introduced by Sjamaar and Lerman. We show that these smooth spaces possess several important properties, e.g. the existence of smooth partitions of unity. Furthermore, under mild conditions many properties of a symplectic manifold can be extended to a symplectic stratified space provided with a smooth Poisson structure, e…
We show that, for any regular Poisson manifold, there is an injective natural linear map from the first leafwise cohomology space into the first Poisson cohomology space which maps the Reeb class of the symplectic foliation to the modular class of the Poisson manifold. The Riemannian interpretation of those classes will permit us to show that a regular Poisson manifold whose symplectic foliation is of codimension one is unimodular if and only if its symplectic foliation is Riemannian foliation. It permit us also to construct examples of unimodular Poisson manifolds and other which are not unim…
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.
We use the techniques of integration of Poisson manifolds into symplectic Lie groupoids to build symplectic resolutions (= desingularizations) of the closure of a symplectic leaf. More generally, we show how Lie groupoids can be used to lift singularities, in particular when one imposes a compatibility condition with an additional structure given by a multi-vector field.
All factorizable Lie bialgebra structures on complex reductive Lie algebras were described by Belavin and Drinfeld. We classify the symplectic leaves of the full class of corresponding connected Poisson-Lie groups. A formula for their dimensions is also proved.