We use the theory of pseudo-holomorphic quilts to establish a counterpart, in symplectic Floer homology, to the Gysin sequence for the homology of a sphere-bundle. In a motivating class of examples, this "symplectic Gysin sequence" is precisely analogous to an exact sequence describing the behaviour of Seiberg-Witten monopole Floer homology for 3-manifolds under connected sum.
We define $S^1$-equivariant symplectic homology for symplectically aspherical manifolds with contact boundary, using a Floer-type construction first proposed by Viterbo. We show that it is related to the usual symplectic homology by a Gysin exact sequence. As an important ingredient of the proof, we define a parametrized version of symplectic homology, corresponding to families of Hamiltonian functions indexed by a finite dimensional smooth parameter space.
In this paper we establish a Floer-theoretical analog of the classical Gysin long exact sequence from algebraic topology for circle bundles. We study algebraic and functorial properties of this sequence and derive applications to computations of Lagrangian Floer homologies as well as to questions on the topology of Lagrangian submanifolds.
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.
A symplectic manifold $W$ with contact type boundary $M = \partial W$ induces a linearization of the contact homology of $M$ with corresponding linearized contact homology $HC(M)$. We establish a Gysin-type exact sequence in which the symplectic homology $SH(W)$ of $W$ maps to $HC(M)$, which in turn maps to $HC(M)$, by a map of degree -2, which then maps to $SH(W)$. Furthermore, we give a description of the degree -2 map in terms of rational holomorphic curves with constrained asymptotic markers, in the symplectization of $M$.
A method of computation of its terms is presented together with some stabilization results. As an application a characterization of symplectic harmonic manifolds is given and a relationship with the C-spectral sequence is indicated.
We define an integer graded symplectic Floer cohomology and a Fintushel-Stern type spectral sequence which are new invariants for monotone Lagrangian sub-manifolds and exact isotopes. The Z-graded symplectic Floer cohomology is an integral lifting of the usual Z_Sigma(L)-graded Floer-Oh cohomology. We prove the Kunneth formula for the spectral sequence and an ring structure on it. The ring structure on the Z_Sigma(L)-graded Floer cohomology is induced from the ring structure of the cohomology of the Lagrangian sub-manifold via the spectral sequence. Using the Z-graded symplectic Floer cohomolo…
In arXiv:1611.09927, we constructed a well-defined Lagrangian Floer invariant for any closed, oriented $3$-manifold $Y$ via the symplectic geometry of so-called traceless $\mathrm{SU}(2)$-character varieties. This invariant, $\mathrm{SI}(Y)$, which we refer to as the symplectic instanton homology of $Y$, was also shown to satisfy an exact triangle for Dehn surgeries on knots which is typical of Floer-theoretic invariants of $3$-manifolds. In this article, we demonstrate further structural properties of this symplectic instanton homology. For example, Floer theories are expected to roughly sati…
We construct a spectral sequence converging to symplectic homology of a Lefschetz fibration whose E1 page is related to Floer homology of the monodromy symplectomorphism and its iterates. We use this to show the existence of fixed points of certain symplectomorphisms.
We prove that Manolescu and Woodward's Symplectic Instanton homology, and its twisted versions are natural, and define maps associated to four dimensional cobordisms within this theory. This allows one to define representations of the mapping class group and the fundamental group of a 3-manifold, and to have a geometric interpretation of the maps appearing in the long exact sequence for symplectic instanton homology, together with vanishing criterions.
The long exact sequence describes how the Floer cohomology of two Lagrangian submanifolds changes if one of them is modified by applying a Dehn twist. We give a proof in the simplest case (no bubbling). The paper contains a certain amount of material that may be of interest independently of the exact sequence: in particular, chapter 1 covers "symplectic Picard-Lefschetz theory" in some detail, and chapter 2 contains a generalization of the usual TQFT setup for Floer cohomology.
Symplectic instanton homology is an invariant for closed oriented three-manifolds, defined by Manolescu and Woodward, which conjecturally corresponds to a symplectic version of a variant of Floer's instanton homology. In this thesis we study the behaviour of this invariant under connected sum, Dehn surgery, and four-dimensional cobordisms. We prove a Künneth-type formula for the connected sum : let $Y$ and $Y'$ be two closed oriented three-manifolds, we show that the symplectic instanton homology of their connected sum is isomorphic to the direct sum of the tensor product of their symplectic i…
Given a projective sequence of Banach bundles, each one provided with a of weak symplectic form, we look for conditions under which, the corresponding sequence of weak symplectic forms gives rise to weak symplectic form on the projective limit bundle. Then we apply this results to the tangent bundle of a projective limit of Banach manifolds. This naturally leads to ask about conditions under which the Darboux Theorem is also true on the projective limit of Banach manifolds. We will give some necessary and some sufficient conditions so that such a result is true. Then we discuss why, in general…
We prove a folklore result which gives a sequence of necessary and sufficient conditions for a stably symplectic manifold to define a nilpotent element in the symplectic bordism ring.
We define Symplectic cohomology groups for a class of symplectic fibrations with closed symplectic base and convex at infinity fiber. The crucial geometric assumption on the fibration is a negativity property reminiscent of negative curvature in complex vector bundles. When the base is symplectically aspherical we construct a spectral sequence of Leray-Serre type converging to the Symplectic cohomology groups of the total space, and we use it to prove new cases of the Weinstein conjecture.
For a Fedosov manifold (symplectic manifold equipped with a symplectic torsion-free affine connection $\nabla$) admitting a metaplectic structure, we shall investigate two sequences of first order differential operators acting on sections of certain bundles over this manifold. The operators are symplectic analogues of the twistor operators known from Riemannian spin geometry. Therefore we call the mentioned sequences symplectic twistor sequences. These sequences are complexes if the connection $\nabla$ is of Ricci type. We shall prove that the so called truncated parts of these complexes are e…
Seidel-Smith and Hendricks used equivariant Floer cohomology to define some spectral sequences from symplectic Khovanov homology and Heegaard Floer homology. These spectral sequences give rise to Smith-type inequalities. Similar-looking spectral sequences have been defined by Lee, Bar-Natan, Ozsváth-Szabó, Lipshitz-Treumann, Szabó, Sarkar-Seed-Szabó, and others. In this paper we give another construction of equivariant Floer cohomology with respect to a finite group action and use it to prove some invariance properties of these spectral sequences; prove that some of these spectral sequences ag…
We give a definition of symplectic homology for pairs of filled Liouville cobordisms, and show that it satisfies analogues of the Eilenberg-Steenrod axioms except for the dimension axiom. The resulting long exact sequence of a pair generalizes various earlier long exact sequences such as the handle attaching sequence, the Legendrian duality sequence, and the exact sequence relating symplectic homology and Rabinowitz Floer homology. New consequences of this framework include a Mayer-Vietoris exact sequence for symplectic homology, invariance of Rabinowitz Floer homology under subcritical handle…
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.
We describe how the result in [1] extends to prove the existence of a Serre type spectral sequence converging to the symplectic homology SH_*(M) of an exact Sub-Liouville domain M in a cotangent bundle T*N. We will define a notion of a fiber-wise symplectic homology SH_*(M,q) for each point q in N, which will define a graded local coefficient system on N. The spectral sequence will then have page two isomorphic to the homology of N with coefficients in this graded local system.
We consider a sequences of symplectic twist maps corresponding to Frenkel Kontorova variational functional. For such a sequence without conjugate points we construct an invariant Lagrangian subbundle. Using the ideas by E.Hopf from Riemannian geometry we show that absence of conjugate points is a rare property for this class of maps.
Quite recently, McDuff showed that the existence of a symplectic embedding of one four-dimensional ellipsoid into another can be established by comparing their corresponding sequences of ECH capacities. In this note we show that these sequences can be encoded in a generating function, which gives several new equivalent formulations of McDuff's theorem.
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 positiv…
For Hamiltonian flows we establish the existence of periodic orbits on a sequence of level sets approaching a Bott-nondegenerate symplectic extremum of the Hamiltonian. As a consequence, we show that a charge on a compact manifold with a nondegenerate (i.e. symplectic) magnetic field has periodic orbits on a sequence of energy levels converging to zero.
The ECH capacities are a sequence of numerical invariants of symplectic four-manifolds which give (sometimes sharp) obstructions to symplectic embeddings. These capacities are defined using embedded contact homology, and establishing their basic properties currently requires Seiberg-Witten theory. In this note we define a new sequence of symplectic capacities in four dimensions using only basic notions of holomorphic curves. The new capacities satisfy the same basic properties as ECH capacities and agree with the ECH capacities for the main examples for which the latter have been computed, nam…
Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e. over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove that, under certain assumptions, a Hamiltonian fibration c-splits, i.e. the spectral sequence associated to the fibration collapses at E_2. Moreover, we obtain a new estimate of the rank of flux groups. In the appendix, we provide examples of nonzero Gromov-Witten invariants for blow-ups. As an application, we prove that any Hamiltonian fibration with fibre being projective…
We use positive S^1-equivariant symplectic homology to define a sequence of symplectic capacities c_k for star-shaped domains in R^{2n}. These capacities are conjecturally equal to the Ekeland-Hofer capacities, but they satisfy axioms which allow them to be computed in many more examples. In particular, we give combinatorial formulas for the capacities c_k of any "convex toric domain" or "concave toric domain". As an application, we determine optimal symplectic embeddings of a cube into any convex or concave toric domain. We also extend the capacities c_k to functions of Liouville domains whic…
The Milnor fibre of a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity is a rational homology ball $B_{p,q}$. For a canonically polarised surface of general type $X$, it is known that there are bounds on the number $p$ for which $B_{p,q}$ admits a symplectic embedding into $X$. In this paper, we give a recipe to construct unbounded sequences of symplectically embedded $B_{p,q}$ into surfaces of general type equipped with non-canonical symplectic forms. Ultimately, these symplectic embeddings come from Mori's theory of flips, but we give an interpretation in terms of almost toric structu…
We study symplectic (contact) structures on nilmanifolds that correspond to the filiform Lie algebras - nilpotent Lie algebras of the maximal length of the descending central sequence. We give a complete classification of filiform Lie algebras that possess a basis e_1, ..., e_n, [e_i,e_j]=c_{ij}e_{i{+}j} (N-graded Lie algebras). In particular we describe the spaces of symplectic cohomology classes for all even-dimensional algebras of the list. It is proved that a symplectic filiform Lie algebra is a filtered deformation of some N-graded symplectic filiform Lie algebra. But this condition is no…
We consider symplectic fibrations as in Guillemin-Lerman-Sternberg, and derive a spectral sequence to compute the Floer cohomology of certain fibered Lagrangians sitting inside a compact symplectic fibration with small monotone fibers and a rational base. We show if the Floer cohomology with field coefficients of the fiber Lagrangian vanishes, then the Floer cohomology with field coefficients of the total Lagrangian also vanishes. We give an application to certain non-torus fibers of the Gelfand-Cetlin system in Flag manifolds, and show that their Floer cohomology vanishes.
Will Merry computed Rabinowitz Floer homology above Mane's critical value in terms of loop space homology by establishing an Abbondandolo-Schwarz short exact sequence. The purpose of this article is to provide an alternative proof of Merry's result. We construct a continuation homomorphism for symplectic deformations which enables us to reduce the computation to the untwisted case. Our construction takes advantage of a special version of the isoperimetric inequality which above Mane's critical value holds true.
We construct a multiplicative spectral sequence converging to the symplectic cohomology ring of any affine variety $X$, with first page built out of topological invariants associated to strata of any fixed normal crossings compactification $(M,\mathbf{D})$ of $X$. We exhibit a broad class of pairs $(M,\mathbf{D})$ (characterized by the absence of relative holomorphic spheres or vanishing of certain relative GW invariants) for which the spectral sequence degenerates, and a broad subclass of pairs (similarly characterized) for which the ring structure on symplectic cohomology can also be describ…
In the present paper we study two sequences of real numbers associated to a symplectic diffeomorphism: the uniform norm of the differential of its n-th iteration and the word length of its n-th iteration. In the latter case we assume that our diffeomorphism lies in a finitely generated group of symplectic diffeomorphisms. We find lower bounds on the growth rates of these sequences in a number of situations. These bounds depend on the symplectic geometry of the manifold rather than on the specific choice of a diffeomorphism. They are obtained by using recent results of Schwarz on Floer homology…
The Rabinowitz-Floer homology groups $RFH_*(M,W)$ are associated to an exact embedding of a contact manifold $(M,ξ)$ into a symplectic manifold $(W,ω)$. They depend only on the bounded component $V$ of $W\setminus M$. We construct a long exact sequence in which symplectic cohomology of $V$ maps to symplectic homology of $V$, which in turn maps to Rabinowitz-Floer homology $RFH_*(M,W)$, which then maps to symplectic cohomology of $V$. We compute $RFH_*(ST^*L,T^*L)$, where $ST^*L$ is the unit cosphere bundle of a closed manifold $L$. As an application, we prove that the image of an exact contact…
For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic to complex affine space of dimension n so that there is no algorithm to tell us in general whether a given such Stein manifold is symplectomorphic to the first one or not. We prove a similar undecidability result for contact structures on the 2n - 1 dimensional sphere. We can generalize these results by replacing com- plex affine space with any smooth affine variety of dimension n and the 2n - 1 dimensional sphere with any smooth affine variety intersected with a sufficiently large sphere. We prove th…
We prove that on any symplectic manifold whose symplectic form represents a rational cohomology class there exists a sequence of compatible almost complex structures whose Nijenhuis energy (the $L^2$-norm of the Nijenhuis tensor) tends to zero. The sequence is obtained by stretching the neck around a Donaldson hypersurface.
Seidel-Smith and Manolescu constructed knot homology theories using symplectic fibrations whose total spaces were certain varieties of matrices. These knot homology theories were associated to $SL(n) $ and tensor products of the standard and dual representations. In this paper, we place their geometric setups in a natural, general framework. For any complex reductive group and any sequence of minuscule dominant weights, we construct a fibration of affine varieties over a configuration space. The middle cohomology of these varieties is isomorphic to the space of invariants in the corresponding …
Let $H(q,p)$ be a Hamiltonian on $T^*T^n$. We show that the sequence $H_{k}(q,p)=H(kq,p)$ converges for the $γ$ topology defined by the author, to $\bar{H}(p)$. This is extended to the case where only some of the variables are homogenized, that is the sequence $H(kx,y,q,p)$ where the limit is of the type ${\bar H}(y,q,p)$ and thus yields an "effective Hamiltonian". We give here the proof of the convergence, and the first properties of the homogenization operator, and give some immediate consequences for solutions of Hamilton-Jacobi equations, construction of quasi-states, etc. We also prove th…
The main theme of this paper is to study for a symplectomorphism of a compact surface, the asymptotic invariant which is defined to be the growth rate of the sequence of the total dimensions of symplectic Floer homologies of the iterates of the symplectomorphism. We prove that the asymptotic invariant coincides with asymptotic Nielsen number and with asymptotic absolute Lefschetz number. We also show that the asymptotic invariant coincides with the largest dilatation of the pseudo-Anosov components of the symplectomorphism and its logarithm coincides with the topological entropy. This implies …
Consider a holomorphic torus action on a possibly non-compact Kähler manifold. We show that the higher cohomology groups appearing in the geometric quantization of the symplectic quotient are isomorphic to the invariant parts of the corresponding cohomology groups of the original manifold. For non-Abelian group actions on compact Kähler manifolds, this result was proved recently by Teleman and by Braverman. Our approach is applying the holomorphic instanton complex to the prequantum line bundles over the symplectic cuts. We also settle a conjecture of Zhang and the present author on the exact …
For any subvariety of a compact holomorphic symplectic Kaehler manifold, we define the number W(X), which we call Wirtinger number. We show that $W(X)\leq 1$, and the equality is reached if and only if the subvariety $X\subset M$ is trianalytic, i. e. compactible with the hyperkaehler structure on M. For a sequence $X_1 \arrow X_2 \arrow ... X_n\arrow M$ of immersions of simple holomorphic symplectic manifolds, we show that $W(X_1) \leq W(X_2) \leq >... \leq W(X_n)$.
For a transversal pair of closed Lagrangian submanifolds L, L' of a symplectic manifold M so that $π_{1}(L)=π_{1}(L')=0=c_{1}|_{π_{2}(M)}=ω|_{π_{2}(M)}$ and a generic almost complex structure J we construct an invariant with a high homotopical content which consists in the pages of order $\geq 2$ of a spectral sequence whose differentials provide an algebraic measure of the high-dimensional moduli spaces of pseudo-holomorpic strips of finite energy that join L and L'. When L and L' are hamiltonian isotopic, these pages coincide (up to a horizontal translation) with the terms of the Serre-spect…
We study some asymptotic properties of the sequences of symplectic Lefschetz pencils constructed by Donaldson. In particular we prove that the vanishing spheres of these pencils are, for large degree, conjugated under the action of the symplectomorphism group of the fiber. This implies the non-existence of homologically trivial vanishing spheres in these pencils. Moreover we show some basic topological properties of the space of asymptotically holomorphic transverse sections. These properties allow us to define a new set of symplectic invariants of the original symplectic structure.
In this paper, we address a question of Donaldson's on the best estimate that can be achieved for the transversality of an asymptotically holomorphic sequence of sections of increasing powers of a line bundle over an integral symplectic manifold. More specifically, we find an upper bound for the transversality of n such sequences of sections over a 2n-dimensional symplectic manifold. In the simplest case of S^2, we also relate the problem to a well known question in potential theory (namely, that of finding logarithmic equilibrium points), thus establishing an experimental lower bound for the …
We prove the generalised McKay correspondence for isolated singularities using Floer theory. Given an isolated singularity \C^n/G for a finite subgroup G in SL(n,\C) and any crepant resolution Y, we prove that the rank of positive symplectic cohomology SH_+(Y) is the number of conjugacy classes of G, and that twice the age grading on conjugacy classes is the \Z-grading on SH_+(Y) by the Conley-Zehnder index. The generalised McKay correspondence follows as SH_+(Y) is naturally isomorphic to ordinary cohomology H(Y), due to a vanishing result for full symplectic cohomology. In the Appendix we co…