The ``symplectic cut'' construction [Lerman] produces two symplectic orbifolds $C_-$ and $C_+$ from a symplectic manifold $M$ with a Hamiltonian circle action. We compute the rational cohomology ring of $C_+$ in terms of those of $M$ and $C_-$.
In this article we extend cutting and blowing up to the nonrational symplectic toric setting. This entails the possibility of cutting and blowing up for symplectic toric manifolds and orbifolds in nonrational directions.
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.
By applying the symplectic cutting operation to cotangent bundles, one can construct a large number of interesting symplectic cones. In this paper we show how to attach algebras of pseudodifferential operators to such cones and describe the symbolic properties of the algebras.
Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.
We construct the TQFT on symplectic cohomology and wrapped Floer cohomology, possibly twisted by a local system of coefficients, and prove that the TQFT respects Viterbo restriction maps and the canonical maps from ordinary cohomology. We also construct the module structure of wrapped Floer cohomology over symplectic cohomology. These constructions yield new applications in symplectic topology relating to the Arnol'd chord conjecture and to exact contact embeddings. We prove that if a Liouville domain M admits an exact embedding into an exact convex symplectic manifold X, and the boundary of M…
We prove that under certain conditions, the quantum cohomology of a positively monotone compact symplectic manifold is a deformation of the symplectic cohomology of the complement of a simple crossings symplectic divisor. We also prove rigidity results for the skeleton of the divisor complement.
We study the symplectic Bott-Chern cohomology by L.-S. Tseng and S.-T. Yau for solvmanifolds endowed with left-invariant symplectic structures. Our results are applicable to cohomology with values in local systems. Studying symplectic Bott-Chern cohomology of solvmanifolds with values in local systems, we give some remarks on symplectic Hodge theory.
We derive constraints on Lagrangian embeddings in completions of certain stable symplectic fillings with semisimple symplectic cohomologies. Manifolds with these properties can be constructed by generalizing the boundary connected sum operation to our setting, and are related to certain birational surgeries like blow-downs and flips. As a consequence, there are many non-toric (non-compact) monotone symplectic manifolds whose wrapped Fukaya categories are proper.
The recently proposed projection quantization, which is a method to quantize particular subspaces of systems with known quantum theory, is shown to yield a genuine quantization in several cases. This may be inferred from exact results established within symplectic cutting.
For a closed symplectic manifold $(M,ω)$, a compatible almost complex structure $J$, a 1-periodic time dependent symplectic vector field $Z$ and a homotopy class of closed curves $γ$ we define a Floer complex based on 1-periodic trajectories of $Z$ in the homotopy class $γ$. We suppose that the closed 1-form $i_{Z_t}ω$ represents a cohomology class $β(Z):=β$, independent of $t$. We show how to associate to $(M,ω,γ,β)$ and to two pairs $(Z_i,J_i)$, $i=1,2$ with $β(Z_i)=β$ an invariant, the relative symplectic torsion, which is an element in the Whitehead group $Wh(Λ_0)$, of a Novikov ring $Λ_0$…
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$.
Let $M$ be a compact, connected symplectic manifold with a Hamiltonian action of a compact $n$-dimensional torus $G=T^n$. Suppose that $σ$ is an anti-symplectic involution compatible with the $G$-action. The real locus of $M$ is $X$, the fixed point set of $σ$. Duistermaat uses Morse theory to give a description of the ordinary cohomology of $X$ in terms of the cohomology of $M$. There is a residual $\G=(\Zt)^n$ action on $X$, and we can use Duistermaat's result, as well as some general facts about equivariant cohomology, to prove an equivariant analogue to Duistermaat's theorem. In some cases…
A symplectic cut of a manifold M with a Hamiltonian circle action is a symplectic quotient of M x C. If M is Kaehler then, since C is Kaehler, the cut space is Kaehler as well. The symplectic structure on the cut is well understood. In this paper we describe the complex structure (and hence the metric) on the cut. We then generalize the construction to the case where M has a torus action and C is replaced by a toric Kaehler manifold.
We build a bridge between Floer theory on open symplectic manifolds and the enumerative geometry of holomorphic disks inside their Fano compactifications, by detecting elements in symplectic cohomology which are mirror to Landau-Ginzburg potentials. We also treat the higher Maslov index versions of the potentials. We discover a relation between higher disk potentials and symplectic cohomology rings of smooth anticanonical divisor complements (themselves conjecturally related to closed-string Gromov-Witten invariants), and explore several other applications to the geometry of Liouville domains.
We examine how symplectic cohomology may be used as an invariant on symplectic structures, and investigate the non-uniqueness of these structures on Liouville domains, a field which has seen much development in the past decade. Notably, we prove the existence of infinitely many non-standard symplectic structures on finite type Liouville manifolds for dimensions $n\geq 6$. To do this, we build up notions of Liouville domains, Lefschetz fibrations, and symplectic cohomology.
In this paper, we investigate the relationship between J-anti-invariant cohomology of a closed symplectic 4-manifold introduced by T.-J. Li and W. Zhang and new symplectic cohomologies introduced by L.-S. Tseng and S.-T. Yau. We also prove that the dimension of J-anti-invariant cohomology is constant for almost structures J which are compatible with a fixed symplectic form.
In this note we introduce primitive cohomology groups of locally conformal symplectic manifolds $(M^{2n}, ω, θ)$. We study the relation between the primitive cohomology groups and the Lichnerowicz-Novikov cohomology groups of $(M^{2n}, ω, θ)$, using and extending the technique of spectral sequences developed by Di Pietro and Vinogradov for symplectic manifolds. We discuss related results by many peoples, e.g. Bouche, Lychagin, Rumin, Tseng-Yau, in light of our spectral sequences. We calculate the primitive cohomology groups of a $(2n+2)$-dimensional locally conformal symplectic nilmanifold as …
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.
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)$…
This article studies the symplectic cohomology of affine algebraic surfaces that admit a compactification by a normal crossings anticanonical divisor. Using a toroidal structure near the compactification divisor, we describe the complex computing symplectic cohomology, and compute enough differentials to identify a basis for the degree-zero part of the symplectic cohomology. This basis is indexed by integral points in a certain integral affine manifold, providing a relationship to the theta functions of Gross--Hacking--Keel. Included is a discussion of wrapped Floer cohomology of Lagrangian su…
We construct shift operators on equivariant symplectic cohomology which generalise the shift operators on equivariant quantum cohomology in algebraic geometry. That is, given a Hamiltonian action of the torus $T$, we assign to a cocharacter of $T$ an endomorphism of $(S^1 \times T)$-equivariant Floer cohomology based on the equivariant Floer Seidel map. We prove the shift operator commutes with a connection. This connection is a multivariate version of Seidel's $q$-connection on $S^1$-equivariant Floer cohomology and generalises the Dubrovin connection on equivariant quantum cohomology. We pro…
We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology defined purely on the space of primitive forms. We identify the dual currents of lagrangians and more generally coisotropic submanifolds with elements of a primitive cohomology, which dualizes to a homology on coisotropic chains.
Let $(M,ω,J,g)$ be a non-compact almost Kähler manifold. In this paper we provide various criteria that assure that $ω^k$ induces a non trivial class in the reduced $L^p$ maximal/minimal cohomology of $(M,g)$. Furthermore in the last part we explore some topological applications of our results.
Let $(X,J)$ be an almost-complex manifold. In \cite{li-zhang} Li and Zhang introduce $H^{(p,q),(q,p)}_J(X)_{\rr}$ as the cohomology subgroups of the $(p+q)$-th de Rham cohomology group formed by classes represented by real pure-type forms. Given a proper, surjective, pseudo-holomorphic map between two almost-complex manifolds we study the relationship among such cohomology groups. Similar results are proven in the symplectic setting for the cohomology groups introduced in \cite{tsengyauI} by Tseng and Yau and a new characterization of the Hard Lefschetz condition in dimension $4$ is provided.
In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data.
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…
We compute symplectic cohomology for Milnor fibres of certain compound Du Val singularities that admit small resolution by using homological mirror symmetry. Our computations suggest a new conjecture that the existence of a small resolution has strong implications for the symplectic cohomology and conversely. We also use our computations to give a contact invariant of the link of the singularities and thereby distinguish many contact structures on connected sums of $S^2 \times S^3$.
The aim of this paper is to describe how to obtain residue-type formulas for push-forwards in equivariant cohomology, using the Jeffrey-Kirwan nonabelian localization theorem and the related result of Guillemin and Kalkman. This paper relates the description of equivariant push-forwards for homogeneous spaces of classical Lie groups with the action of the maximal torus with symplectic geometry, using the example of projective spaces and classical Grassmannians.
We propose a produre of reduction a locally conformal symplectic structure. This procedure of reduction can be applied to wide class of submanifolds. There are no local obstructions for this procedure. But there are global obstructions. We find a necessary and sufficient condition when this reduction holds in terms of the special kind of de Rham cohomology class (tangent to the characteristic foliation) of the Lee form.
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 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…
In this paper, we study the symplectic geometry of singular conifolds of the finite group quotient $$ W_r=\{(x,y,z,t)|xy-z^{2r}+t^2=0 \}/μ_r(a,-a,1,0), r\geq 1, $$ which we call orbi-conifolds. The related orbifold symplectic conifold transition and orbifold symplectic flops are constructed. Let $X$ and $Y$ be two symplectic orbifolds connected by such a flop. We study orbifold Gromov-Witten invariants of exceptional classes on $X$ and $Y$ and show that they have isomorphic Ruan cohomologies. Hence, we verify a conjecture of Ruan.
These notes accompany a lecture about the topology of symplectic (and other) quotients. The aim is two-fold: first to advertise the ease of computation in the symplectic category; and second to give an account of some new computations for weighted projective spaces. We start with a brief exposition of how orbifolds arise in the symplectic category, and discuss the techniques used to understand their topology. We then show how these results can be used to compute the Chen-Ruan orbifold cohomology ring of abelian symplectic reductions. We conclude by comparing the several rings associated to a w…
We prove that the only exact Lagrangian submanifolds in an ALE space are spheres. ALE spaces are the simply connected hyperkahler manifolds which at infinity look like C^2/G for any finite subgroup G of SL(2,C). They can be realized as the plumbing of copies of the cotangent bundle of a 2-sphere according to ADE Dynkin diagrams. The proof relies on symplectic cohomology.
This article uses relative symplectic cohomology, recently studied by the second author, to understand rigidity phenomena for compact subsets of symplectic manifolds. As an application, we consider a symplectic crossings divisor in a Calabi-Yau symplectic manifold $M$ whose complement is a Liouville manifold. We show that, for a carefully chosen Liouville structure, the skeleton as a subset of $M$ exhibits strong rigidity properties akin to super-heavy subsets of Entov-Polterovich. Along the way, we expand the toolkit of relative symplectic cohomology by introducing products and units. We also…
Let M be the total space of a negative line bundle over a closed symplectic manifold. We prove that the quotient of quantum cohomology by the kernel of a power of quantum cup product by the first Chern class of the line bundle is isomorphic to symplectic cohomology. We also prove this for negative vector bundles and the top Chern class. We explicitly calculate the symplectic and quantum cohomologies of O(-n) over P^m. For n=1, M is the blow-up of C^{m+1} at the origin and symplectic cohomology has rank m. The symplectic cohomology vanishes if and only if the first Chern class of the line bundl…
We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz fibers, admits a Poisson harmonic representative in the sense of Brylinski. The proof is based on a new characterization of closed Lefschetz manifolds.
A complete embedding is a symplectic embedding $ι:Y\to M$ of a geometrically bounded symplectic manifold $Y$ into another geometrically bounded symplectic manifold $M$ of the same dimension. When $Y$ satisfies an additional finiteness hypothesis, we prove that the truncated relative symplectic cohomology of a compact subset $K$ inside $Y$ is naturally isomorphic to that of its image $ι(K)$ inside $M$. Under the assumption that the torsion exponents of $K$ are bounded we deduce the same result for relative symplectic cohomology. We introduce a technique for constructing complete embeddings usin…
We use quasimap Floer cohomology for varying symplectic quotients to resolve several puzzles regarding displaceability of toric moment fibers. For example, we (i) present a compact Hamiltonian torus action containing an {\em open} subset of non-displaceable orbits and a codimension four singular set, partly answering a question of McDuff, and (ii) determine displaceability for most of the moment fibers of a symplectic ellipsoid.
We prove that symplectic cohomology for open convex symplectic manifolds is invariant when the symplectic form undergoes deformations which may be non-exact and non-compactly supported, provided one uses the correct local system of coefficients in Floer theory. As a sample application beyond the Liouville setup, we describe in detail the symplectic cohomology for disc bundles in the twisted cotangent bundle of surfaces, and we deduce existence results for periodic magnetic geodesics on surfaces. In particular, we show the existence of geometrically distinct orbits by exploiting properties of t…
We prove a generalization of the theorem which is proved by Fernandez, Ibanez, and de Leon. By this result, we give examples of non-Kähler manifolds which satisfy the property of compact Kähler manifolds concerning the coeffective cohomology.
Given a compact symplectic manifold M with the Hamiltonian action of a torus T, let zero be a regular value of the moment map, and M_0 the symplectic reduction at zero. Denote by κ_0 the Kirwan map H^*_T(M)-> H^*(M_0). For an equivariant cohomology class η\in H^*_T(M) we present new localization formulas which express \int_{M_0} κ_0(η) as sums of certain integrals over the connected components of the fixed point set M^T. To produce such a formula we apply a residue operation to the Atiyah-Bott-Berline-Vergne localization formula for an equivariant form on the symplectic cut of M with respect t…
We derive a wall crossing formula for the symplectic vortex invariants of toric manifolds. As an application, we give a proof of Batyrev's formula for the quantum cohomology of a monotone toric manifold with minimal Chern number at least two.
We extend Donaldson's asymptotically holomorphic techniques to symplectic orbifolds. More precisely, given a symplectic orbifold such that the symplectic form defines an integer cohomology class, we prove that there exist sections of large tensor powers of the prequantizable line bundle such that their zero sets are symplectic suborbifolds. We then derive a Lefschetz hyperplane theorem for these suborbifolds, that computes their real cohomology up to middle dimension. We also get the hard Lefschetz and formality properties for them, when the ambient manifold satisfies those properties.
We show that the exterior derivative operator on a symplectic manifold has a natural decomposition into two linear differential operators, analogous to the Dolbeault operators in complex geometry. These operators map primitive forms into primitive forms and therefore lead directly to the construction of primitive cohomologies on symplectic manifolds. Using these operators, we introduce new primitive cohomologies that are analogous to the Dolbeault cohomology in the complex theory. Interestingly, the finiteness of these primitive cohomologies follows directly from an elliptic complex. We calcul…
We develop criteria for affine varieties to admit uniruled subvarieties of certain dimensions. The measurements are from long exact sequences of versions of symplectic cohomology, which is a Hamiltonian Floer theory for some open symplectic manifolds including affine varieties. Symplectic cohomology is hard to compute, in general. However, certain vanishing and invariance properties of symplectic cohomology can be used to prove that our criteria for finding uniruled subvarieties hold in some cases. We provide applications of the criteria in birational geometry of log pairs in the direction of …