Recently, Tsai-Tseng-Yau constructed new invariants of symplectic manifolds: a sequence of Aoo-algebras built of differential forms on the symplectic manifold. We show that these symplectic Aoo-algebras have a simple topological interpretation. Namely, when the cohomology class of the symplectic form is integral, these Aoo-algebras are equivalent to the standard de Rham differential graded algebra on certain odd-dimensional sphere bundles over the symplectic manifold. From this equivalence, we deduce for a closed symplectic manifold that Tsai-Tseng-Yau's symplectic Aoo-algebras satisfy the Calabi-Yau property, and importantly, that they can be used to define an intersection theory for coisotropic/isotropic chains. We further demonstrate that these symplectic Aoo-algebras satisfy several functorial properties and lay the groundwork for addressing Weinstein functoriality and invariance in the smooth category.
We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient.
We study the local symplectic algebra of the 0-dimensional isolated complete intersection singularities. We use the method of algebraic restrictions to classify these symplectic singularities. We show that there are non-trivial symplectic invariants in this classification.
It is shown that the characteristic vector field associated to a first order PDE has the same form of an infinitesimal generator of an odd-symplectic transformation with contact Hamiltonian the given PDE. It is considered under which condition such PDE has a characteristic vector field commuting with a generator of an odd-symplectic action.
In this paper we survey several intersection and non-intersection phenomena appearing in the realm of symplectic topology. We discuss their implications and finally outline some new relations of the subject to algebraic geometry.
In this note we prove that the symplectic homology of a Liouville domain W displaceable in the symplectic completion vanishes. Nevertheless if the Euler characteristic of (W,\p W) is odd, the filtered symplectic homologies of W do not vanish and give rise to leafwise intersection points on the symplectic completion of W for a perturbation displacing $W$ from itself. In contrast to the existing results we can find a leafwise intersection point for a given period but its energy varies by period instead.
We give a representative of every coadjoint orbit of the odd symplectic group. Our argument follows that used for the Poincarè group but the details differ.
We construct an infinite family of odd-symplectic forms (also known as Hamiltonian structures) on the 3-sphere that do not admit a symplectic cobordism to the standard contact structure on the 3-sphere. This answers in the negative a question raised by Joel Fish motivated by the search for minimal characteristic flows.
The aim of this paper is to formulate a local systolic inequality for odd-symplectic forms (also known as Hamiltonian structures) and to establish it in some basic cases. Let $Ω$ be an odd-symplectic form on an oriented closed manifold $Σ$ of odd dimension. We say that $Ω$ is Zoll if the trajectories of the flow given by $Ω$ are the orbits of a free $S^1$-action. After defining the volume of $Ω$ and the action of its periodic orbits, we prove that the volume and the action satisfy a polynomial equation, provided $Ω$ is Zoll. This builds the equality case of a conjectural systolic inequality fo…
We characterize transversality, non-transversality properties on the moduli space of genus 0 stable maps to a semipositive symplectic manifold of dimension 4, when GW([point],...,[point]) is enumerative. In particular, we show that the intersection theoretic property depends on the existence of a critical point on a stable map.
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 recall the main facts about the odd Laplacian acting on half-densities on an odd symplectic manifold and discuss a homological interpretation for it suggested recently by P. {Š}evera. We study the relationship of odd symplectic geometry with classical objects. We show that the Berezinian of a canonical transformation for an odd symplectic form is a polynomial in matrix entries and a complete square. This is a simple but fundamental fact, parallel to Liouville's theorem for an even symplectic structure. We draw attention to the fact that the de Rham complex on $M$ naturally admits an action …
In this note we observe that Arnold conjecture for the Hamiltonian maps still holds on weighted projective spaces $\CP^n({\bf q})$, and that Arnold conjecture for the Lagrange intersections for $(\CP^n({\bf q}), \RP^n({\bf q}))$ is also true if each weight $q_i\in {\bf q}=\{q_1,..., q_{n+1}\}$ is odd.
We construct using Lefschetz fibrations a large family of contact manifolds with the following properties: Any bounding contact embedding into an exact symplectic manifold satisfying a mild topological assumption is non-displaceable and generically has infinitely many leaf-wise intersection points. Moreover, any Stein filling has infinite dimensional symplectic homology.
We establish a link between symplectic topology and a recently emerged branch of functional analysis called the theory of quasi-states and quasi-measures. In the symplectic context quasi-states can be viewed as an algebraic way of packaging certain information contained in Floer theory, and in particular in spectral invariants of Hamiltonian diffeomorphisms introduced recently by Yong-Geun Oh. As a consequence we prove a number of new results on rigidity of intersections in symplectic manifolds. This work is a part of a joint project with Paul Biran.
There is a simple and natural quantization of differential forms on odd Poisson supermanifolds, given by the relation [f,dg]={f,g} for any two functions f and g. We notice that this non-commutative differential algebra has a geometrical realization as a convolution algebra of the symplectic groupoid integrating the Poisson manifold. This quantization is just a part of a quantization of the odd symplectic category (where objects are odd symplectic supermanifolds and morphisms are Lagrangian relation) in terms of Z_2-graded chain complexes. It is a straightforward consequence of the theory of BV…
Let $M$ be a proper Hamiltonian $K$-space with proper moment map $μ$. The symplectic quotient $X=μ^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $μ^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(μ^{-1}(0))$ which corresponds to $IH^*(X)$…
In this paper we use Floer theory to study topological restrictions on Lagrangian embeddings in closed symplectic manifolds. One of the phenomena arising from our results is ``homological rigidity'' of Lagrangian submanifolds. Namely, in certain symplectic manifolds, conditions on low dimensional topological invariants of a Lagrangian (such as its first homology) completely determine its entire homology. We also develop methods for studying Hamiltonian displacement of Lagrangian submanifolds and its relations to the topology of Lagrangians. Finally we present some new results on Lagrangian int…
Given a symplectic cohomology class of degree 1, we define the notion of an equivariant Lagrangian submanifold. The Floer cohomology of equivariant Lagrangian submanifolds has a natural endomorphism, which induces a grading by generalized eigenspaces. Taking Euler characteristics with respect to the induced grading yields a deformation of the intersection number. Dehn twists act naturally on equivariant Lagrangians. Cotangent bundles and Lefschetz fibrations give fully computable examples. A key step in computations is to impose the "dilation" condition stipulating that the BV operator applied…
We review topological properties of Kähler and symplectic manifolds, and of their odd-dimensional counterparts, coKähler and cosymplectic manifolds. We focus on formality, Lefschetz property and parity of Betti numbers, also distinguishing the simply-connected case (in the Kähler/symplectic situation) and the $b_1=1$ case (in the coKähler/cosymplectic situation).
We introduce an analogue of the inflation technique of Lalonde-McDuff, allowing us to obtain new symplectic forms from symplectic surfaces of negative self-intersection in symplectic four-manifolds. We consider the implications of this construction for the symplectic cones of Kähler surfaces, proving along the way a result which can be used to simplify the intersections of distinct pseudoholomorphic curves via a perturbation.
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$.
We show, in this note, that on any symplectic supermanifold, even or odd, there exist an infinite dimensional affine space of symmetric connections, compatible to the symplectic form.
In this paper we consider the Arnold conjecture on the Lagrangian intersections of some closed Lagrangian submanifold of a closed symplectic manifold with its image of a Hamiltonian diffeomorphism. We prove that if the Hofer's symplectic energy of the Hamiltonian diffeomorphism is less than a topology number defined by the Lagrangian submanifold, then the Arnold conjecture is true in the degenerated (non-transversal) case.
We introduce the concept of fittings to symplectic fillings of the unit cotangent bundle of odd-dimensional spheres. Assuming symplectic asphericity we show that all fittings are diffeomorphic to the respective unit co-disc bundle.
We investigate leaf-wise intersection points on hypersurfaces of contact type in monotone symplectic manifolds. We show that monotone Floer-essential Lagrangians detect periodic leaf-wise intersection points in hypersurfaces of contact type whose Reeb flow is Zoll. Examples include the prequantization bundles appearing in monotone toric negative line bundles. Generalizing, we prove the existence of leaf-wise intersection points for certain annulus subbundles in weak+-monotone negative line bundles, not necessarily toric. The proofs combine reduced symplectic cohomology with the original method…
In the literature, there are two different versions of Hard Lefschetz theorems for a compact Sasakian manifold. The first version, due to Kacimi-Alaoui, asserts that the basic cohomology of a compact Sasakian manifold satisfies the transverse Lefschetz property. The second version, established far more recently by Cappelletti-Montano, De Nicola, and Yudin, holds for the De Rham cohomology of a compact Sasakian manifold. In the current paper, using the formalism of odd dimensional symplectic geometry, we prove a Hard Lefschetz theorem for a compact $K$-contact manifold, which implies immediatel…
Two smooth map germs are right-equivalent if and only if they generate two Lagrangian submanifolds in a cotangent bundle which have the same contact with the zero-section. In this paper we provide a reverse direction to this classical result of Golubitsky and Guillemin. Two Lagrangian submanifolds of a symplectic manifold have the same contact with a third Lagrangian submanifold if and only if the intersection problems correspond to stably right equivalent map germs. We, therefore, obtain a correspondence between local Lagrangian intersection problems and catastrophe theory while the classical…
We consider two natural Lagrangian intersection problems in the context of symplectic toric manifolds: displaceability of torus orbits and of a torus orbit with the real part of the toric manifold. Our remarks address the fact that one can use simple cartesian product and symplectic reduction considerations to go from basic examples to much more sophisticated ones. We show in particular how rigidity results for the above Lagrangian intersection problems in weighted projective spaces can be combined with these considerations to prove analogous results for all monotone toric symplectic manifolds…
We define a symplectic structure on the space of non parametrized loops in $G_2$ manifold. We also develop some basics of intersection theory of Lagrangian submanifolds.
A $2n$-dimensional Poisson manifold $(M ,Π)$ is said to be $b^m$-symplectic if it is symplectic on the complement of a hypersurface $Z$ and has a simple Darboux canonical form at points of $Z$ which we will describe below. In this paper we will discuss a desingularization procedure which, for $m$ even, converts $Π$ into a family of symplectic forms $ω_ε$ having the property that $ω_ε$ is equal to the $b^m$-symplectic form dual to $Π$ outside an $ε$-neighborhood of $Z$ and, in addition, converges to this form as $ε$ tends to zero in a sense that will be made precise in the theorem below. We wil…
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.
We first study symplectically embedded curves in symplectic surfaces with high self-intersection numbers compared to their genus. We prove in two different ways that such a curve completely determines both the diffeomorphism type of the surface in which it is embedded and the embedding itself. The first proof uses Seiberg-Witten theory whereas the second one only involves pseudoholomorphic techniques. We deduce from this result that the contact $3$-manifolds naturally associated with those curves admit a unique strong symplectic filling up to diffeomorphism. We next examine symplectic sections…
We show that there is an hierarchy of intersection rigidity properties of sets in a closed symplectic manifold: some sets cannot be displaced by symplectomorphisms from more sets than the others. We also find new examples of rigidity of intersections involving, in particular, specific fibers of moment maps of Hamiltonian torus actions, monotone Lagrangian submanifolds (following the works of P.Albers and P.Biran-O.Cornea), as well as certain, possibly singular, sets defined in terms of Poisson-commutative subalgebras of smooth functions. In addition, we get some geometric obstructions to semi-…
In previous work we computed the symplectic volume of the symplectic reduced space of the product of N adjoint orbits of a compact Lie group. In this paper we compute the intersection pairings of the same object.
We study the local symplectic algebra of the 1-dimensional isolated complete intersection singularity of type Sμ. We use the method of algebraic restrictions to classify symplectic Sμ singularities. We distinguish these symplectic singularities by discrete symplectic invariants. We also give the geometric description of them.
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.
In this paper we describe the intersection between the balls of maximal symplectic packings of $¶^2$. This analysis shows the existence of singular points for maximal packings of $¶^2$ by more than three equal balls. It also yields a construction of a class of very regular examples of maximal packings by five balls.
Motivated by the cohomological construction for the BV formalism from physics, this thesis asks how to perform the intersections and quotients appearing in the BV construction. This leads to the study of the derived symplectic reduction and the extension of these classical notions for group action and infinitesimal actions of Lie algebroids. In this context, we generalize the classical notion of moment maps for global and infinitesimal actions. We then study examples of such moment maps and their derived reductions and produce new shifted examples through a procedure of derived Lagrangian inte…
Let $M$ be $\CP#2\CPb$, $3\CP#4\CPb$ or $(2n-1)\CP#2n\CPb$ for any integer $n\geq 3$. We construct an irreducible symplectic 4-manifold homeomorphic to $M$ and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to $M$. We also construct such exotic smooth structures when $M$ is $\CP#4\CPb$ or $3\CP# k \CPb$ for $k=6,8,10$.
Suppose Y is an integer homology 3-sphere, Taubes proved that the number of irreducible critical orbits of the perturbed Chern-Simons functional on Y, counted with signs, is equal to the algebraic intersection number of two character varieties associated with Heegaard splittings when the structure group is SU(2). Taubes' result established a relationship between gauge theory and the Casson invariant. This article proves an analogous identification result for SU(n) generalized Casson invariants. As a special case, we show that the SU(3) Casson invariant of Boden-Herald can be equivalently calcu…
Let $Σ$ be a connected closed three-manifold, and let $t_Σ$ be the order of the torsion subgroup of $H_1(Σ;\mathbb Z)$. For a contact form $α$ on $Σ$, we denote by $\mathrm{Volume}(α)$ the contact volume of $α$, and by $T_{\min}(α)$ and $T_{\max}(α)$ the minimal period and the maximal period of prime periodic orbits of the Reeb flow of $α$ respectively. We say that $α$ is Zoll if its Reeb flow generates a free $S^1$-action on $Σ$. We prove that every Zoll contact form $α_*$ on $Σ$ admits a $C^3$-neighbourhood $\mathcal U$ in the space of contact forms such that \[ t_ΣT_{\min}(α)^2\leq \mathrm{…
We construct a simply connected compact manifold which has complex and symplectic structures but does not admit Kähler metrics, in the lowest possible dimension where this can happen, that is, dimension 6. Such a manifold is automatically formal and has even odd-degree Betti numbers but it does not satisfy the Lefschetz property for any symplectic form.
We study the space of pseudo-holomorphic spheres in compact symplectic manifolds with convex boundary. We show that the theory of Gromov-Witten invariants can be extended to the class of semi-positive manifolds with convex boundary. This leads to a deformation of intersection products on the absolute and relative singular homologies. As a result, absolute and relative quantum homology algebras are defined analogously to the case of closed symplectic manifolds. In addition, we prove the Poincaré-Lefschetz duality for the absolute and relative quantum homology algebras.
In this paper we determine the integral homology and cohomology groups of a closed 4-manifold X obtained as the generalized fibre sum of two closed 4-manifolds M and N along embedded surfaces of genus g and self-intersection zero. If the homologies of the 4-manifolds are torsion free and the surfaces represent indivisible homology classes, we derive a formula for the intersection form of X. If in addition the 4-manifolds M and N are symplectic and the surfaces symplectically embedded we derive a formula for the canonical class of the symplectic fibre sum.
This note discusses the structure of J-holomorphic curves in symplectic 4-manifolds (M,\om) when J\in \Jj(\Ss), the set of \om-tame J for which a fixed chain \Ss of transversally intersecting embedded spheres of self-intersection \le -2 is J-holomorphic. Extending work by Biran (in Invent. Math. (1999)), it shows that when (M,\om) is the blow up of a rational or ruled symplectic 4-manifold, any homology class A\in H_2(M;\Z), with nonzero Gromov invariant and nonnegative intersection both with the spheres in \Ss and with the exceptional classes other than A, has an embedded J-holomorphic repres…
A symplectic rational cuspidal curve with positive self-intersection number admits a concave neighborhood, and thus a corresponding contact manifold on the boundary. In this article, we study symplectic fillings of such contact manifolds, providing a complementary perspective to our earlier article on symplectic isotopy classes of rational cuspidal curves. We explore aspects of these symplectic fillings through Stein handlebodies and rational blow-downs. We give examples of such contact manifolds which are identifiable as links of normal surface singularities, other examples which admit no sym…
Suppose that $C=(C_1,..., C_m)$ is a configuration of 2-dimensional symplectic submanifolds in a symplectic 4-manifold $(X,ω)$ with connected, negative definite intersection graph $Γ_C$. We show that by replacing an appropriate neighborhood of $\cup C_i$ with a smoothing $W_S$ of a normal surface singularity $(S, 0)$ with resolution graph $Γ_C$, the resulting 4-manifold admits a symplectic structure. This operation generalizes the rational blow-down operation of Fintushel-Stern for other configurations, and therefore extends Symington's result about symplectic rational blow-downs.
