Symplectic torus bundles $ξ:T^{2}\to E\to B$ are classified by the second cohomology group of $B$ with local coefficients $H_{1}(T^{2})$. For $B$ a compact, orientable surface, the main theorem of this paper gives a necessary and sufficient condition on the cohomology class corresponding to $ξ$ for $E$ to admit a symplectic structure compatible with the symplectic bundle structure of $ξ$ : namely, that it be a torsion class. The proof is based on a group-extension-theoretic construction of J. Huebschmann (Sur les premieres differentielles de la suite spectrale cohomologique d'une extension de groupes, C.R. Acad. Sc. Paris, Serie A, tome 285, 28 novembre 1977, 929-931). A key ingredient is the notion of fibrewise-localization.
In this paper we present an explicit construction of a relative symplectic packing. This confirms the sharpness of the upper bound for the relative packing of a ball into the pair (CP^2, T^2) of the standard complex projective plane and the Clifford torus, obtained by Biran and Cornea.
Let E be the total space of a locally trivial torus bundle over the surface Σ_g of genus g>1. Using the Seiberg--Witten theory and spectral sequences we prove that E carries a symplectic structure if and only if the homology class of the fiber [T^2] is nonzero in H_2(E,R).
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 determine the homotopy type of isotropic torus complements in closed contact manifolds in terms of Reeb dynamics of special contact forms. For that we utilize holomorphic curve techniques known from symplectic field theory as Gromov-Hofer compactness and localized transversality on non-compact contact manifolds.
A manifold obtained by k simultaneous symplectic blow-ups of CP^2 of equal sizes epsilon (where the size of CP^1 \subset CP^2 is one) admits an effective two dimensional torus action if k <= 3 and admits an effective circle action if (k-1)epsilon < 1. We show that these bounds are sharp if 1/epsilon is an integer.
Given a symplectic manifold, we ask in how many different ways can a torus act on it. Classification theorems in equivariant symplectic geometry can sometimes tell that two Hamiltonian torus actions are inequivalent, but often they do not tell whether the underlying symplectic manifolds are (non-equivariantly) symplectomorphic. For two dimensional torus actions on closed symplectic four-manifolds, we reduce the counting question to combinatorics, by expressing the manifold as a symplectic blowup in a way that is compatible with all the torus actions simultaneously. For this we use the theory o…
We study weak versus strong symplectic fillability of some tight contact structures on torus bundles over the circle. In particular, we prove that almost all of these tight contact structures are weakly, but not strongly symplectically fillable. For the 3-torus this theorem was established by Eliashberg.
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 Cal…
We give detailed descriptions of gluing pseudoholomorphic maps in symplectic geometry, especially in the presence of an obstruction bundle. The main motivation is to try to compare the symplectic and enumerative invariants of algebraic manifolds. These descriptions can also be used to enumerate rational curves with high-order degeneracies of local nature in projective spaces.
We use Menke's JSJ-type decomposition theorem for symplectic fillings to reduce the classification of strong and exact symplectic fillings of virtually overtwisted torus bundles to the same problem for tight lens spaces. For virtually overtwisted structures on elliptic or parabolic torus bundles, this gives a complete classification. For virtually overtwisted structures on hyperbolic torus bundles, we show that every strong or exact filling arises from a filling of a tight lens space via round symplectic 1-handle attachment, and we give a condition under which distinct tight lens space filling…
In this paper we completely classify symplectic actions of a torus $T$ on a compact connected symplectic manifold $(M, σ)$ when some, hence every, principal orbit is a coisotropic submanifold of $(M, σ)$. That is, we construct an explicit model, defined in terms of certain invariants, of the manifold, the torus action and the symplectic form. The invariants are invariants of the topology of the manifold, of the torus action, or of the symplectic form. In order to deal with symplectic actions which are not Hamiltonian, we develop new techniques, extending the theory of Atiyah, Guillemin-Sternbe…
In this paper, we study strong symplectic fillability and Stein fillability of some tight contact structures on negative parabolic and negative hyperbolic torus bundles over the circle. For the universally tight contact structure with twisting $π$ in $S^1$-direction on a negative parabolic torus bundle, we completely determine its strong symplectic fillability and Stein fillability. For the universally tight contact structure with twisting $π$ in $S^1$-direction on a negative hyperbolic torus bundle, we give a necessary condition for it being strongly symplectically fillable. For the virtually…
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.
In this paper, we prove the existence of certain symplectic conifold transitions on all $CP^{1}$-bundles over symplectic 4--manifolds, which generalizes Smith, Thomas and Yau's examples of symplectic conifold transitions on trivial $CP^{1}$-bundles over Kähler surfaces. Our main result is to determine the diffeomorphism types of such symplectic conifold transitions of $CP^{1}$-bundles. In particular, this implies that in the case of trivial $CP^{1}$-bundles over projective surfaces, Smith, Thomas and Yau's examples of symplectic conifold transitions are diffeomorphic to Kähler 3--folds.
This paper determines a condition that is necessary and sufficient for a metaplectic-c prequantizable symplectic manifold with an effective Hamiltonian torus action to admit an equivariant metaplectic-c prequantization. The condition is evaluated at a fixed point of the momentum map, and is shifted from the one that is known for equivariant prequantization line bundles. Given a metaplectic-c prequantized symplectic manifold with a Hamiltonian energy function, the author previously proposed a condition under which a regular value of the function should be considered a quantized energy level of …
We continue our study of symplectically flat bundles. We broaden the notion of symplectically flat connections on symplectic manifolds to $ζ$-flat connections on smooth manifolds. These connections on principal bundles can be represented by maps from an extension of the base's fundamental group to the structure group. We introduce functionals with zeroes being symplectically flat connections and study their critical points. Such functionals lead to novel geometric flows. We also describe some characteristic classes of the $ζ$-flat bundles.
We construct a family version of symplectic Floer cohomology for magnetic cotangent bundles, without any restrictions on the magnetic form, using the dissipative method for compactness introduced in \cite{Groman2015}. As an application, we deduce that if $N$ is a closed manifold and $ σ$ is a magnetic form that is not weakly exact, then the $ π_1$-sensitive Hofer-Zehnder capacity of any compact set in the magnetic cotangent bundle determined by $ σ$ is finite.
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…
In [GMPS] we proved that the moment map image of a $b$-symplectic toric manifold is a convex $b$-polytope. In this paper we obtain convexity results for the more general case of non-toric hamiltonian torus actions on $b$-symplectic manifolds. The modular weights of the action on the connected components of the exceptional hypersurface play a fundamental role: either they are all zero and the moment map behaves as in classic symplectic one, or they are all nonzero and the moment map behaves as in the toric $b$-symplectic case studied in [GMPS].
In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces to the homology of certain infinite loop spaces. We use these infinite loop spaces to study characteristic classes of surface bundles whose holonomy groups are area preserving, in particular we give a homotopy theoretic proof of the Kotschick-Morita theorem.
In this note we study the contact geometry of symplectic divisors. We show the contact structure induced on the boundary of a divisor neighborhood is invariant under toric and interior blow-ups and blow-downs. We also construct an open book decomposition on the boundary of a concave divisor neighborhood and apply it to the study of universally tight contact structures of contact torus bundles.
This paper examines the relationship between the symplectic quotient X//G of a Hamiltonian G-manifold X, and the associated symplectic quotient X//T, where T is a maximal torus, in the case in which X//G is a compact manifold or orbifold. The three main results are: a formula expressing the rational cohomology ring of X//G in terms of the rational cohomology ring of X//T; an `integration' formula, which expresses cohomology pairings on X//G in terms of cohomology pairings on X//T; and an index formula, which expresses the indices of elliptic operators on X//G in terms of indices on X//T. (The …
In this paper, we compute the embedded contact homology (ECH) capacities of the disk cotangent bundles $D^*S^2$ and $D^*\mathbb{R} P^2$. We also find sharp symplectic embeddings into these domains. In particular, we compute their Gromov widths. In order to do that, we explicitly calculate the ECH chain complexes of $S^*S^2$ and $S^* \mathbb{R} P^2$ using a direct limit argument on the action inspired by Bourgeois's Morse-Bott approach and ideas from Nelson-Weiler's work on the ECH of prequantization bundles. Moreover, we use integrable systems techniques to find explicit symplectic embeddings.…
We study Reeb dynamics on prequantization circle bundles and the filtered (equivariant) symplectic homology of prequantization line bundles, aka negative line bundles, with symplectically aspherical base. We define (equivariant) symplectic capacities, obtain an upper bound on their growth, prove uniform instability of the filtered symplectic homology and touch upon the question of stable displacement. We also introduce a new algebraic structure on the positive (equivariant) symplectic homology capturing the free homotopy class of a closed Reeb orbit -- the linking number filtration -- and use …
We describe Lefschetz-Bott fibrations on complex line bundles over symplectic manifolds explicitly. As an application, we construct more than one strong symplectic filling of the link of the $A_{k}$-type singularity. In the appendix, we show that the total space of a Lefschetz-Bott fibration over the unit disk serves as a strong symplectic filling of a contact manifold compatible with an open book induced by the fibration.
It is known that any closed, exact Lagrangian in the cotangent bundle of a closed, smooth manifold is of the same homotopy type as the zero section. In this paper, we give a Fukaya-theoretic proof of this fact for the sphere and torus to review and demonstrate some of the homological algebra techniques in symplectic geometry.
In this survey we describe an interplay between Procesi bundles on symplectic resolutions of quotient singularities and Symplectic reflection algebras. Procesi bundles were constructed by Haiman and, in a greater generality, by Bezrukavnikov and Kaledin. Symplectic reflection algebras are deformations of skew-group algebras defined in complete generality by Etingof and Ginzburg. We construct and classify Procesi bundles, prove an isomorphism between spherical Symplectic reflection algebras, give a proof of wreath Macdonald positivity and of localization theorems for cyclotomic Rational Cheredn…
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.
Let $V$ be a bounded domain with smooth boundary in $\R^n$, and $D^*V$ denote its disc cotangent bundle. We compute symplectic homology of $D^*V$, in terms of relative homology of loop spaces on the closure of $V$. We use this result to show that Floer-Hofer capacity of $D^*V$ is between $2r(V)$ and $2(n+1)r(V)$, where $r(V)$ denotes inradius of $V$. As an application, we study periodic billiard trajectories on $V$.
In a previous article, we introduced a reduction procedure for locally conformally symplectic manifolds at any regular value of the momentum mapping. We use this construction to prove an analogue of a well-known theorem in the symplectic setting about the reduction of cotangent bundles.
We show that there exist symplectic structures on a $\mathbb CP^1$-bundle over $\mathbb CP^2$ that do not admit a compatible Kähler structure. These symplectic structures were originally constructed by Tolman and they have a Hamiltonian $\mathbb T^2$-symmetry. Tolman's manifold was shown to be diffeomorphic to a $\mathbb CP^1$-bundle over $\mathbb CP^{2}$ by Goertsches, Konstantis, and Zoller. The proof of our result relies on Mori theory, and on classical facts about holomorphic vector bundles over $\mathbb CP^{2}$.
We prove the invariant of the symplectic capacity for the Zakharov system on a torus. If the Zakharov solution map is well-defined, then it can be regarded as a symplectomorphism. Thus, we first show the global well-posedness via the local well-posedness and the conservation law. The invariant of the symplectic capacity can be obtained using an approximation method. Many authors use an approximation method to obtain the nonsqueezing theorem, instead of an invariant of the symplectic capacity. However, the conditions of the Hamiltonian system introduced by Kuksin can be relaxed by a new modifie…
We give a method to lift $(2,0)$-tensors fields on a manifold $M$ to build symplectic forms on $TM$. Conversely, we show that any symplectic form $\Om$ on $TM$ is symplectomorphic, in a neighborhood of the zero section, to a symplectic form built naturally from three $(2,0)$-tensor fields associated to $\Om$.
Symplectic 4-manifolds with Kodaira dimension zero can be viewed as symplectic Calabi-Yau surfaces. We are able to completely determine their Betti numbers by proving two general results on quaternionic vector bundles.
We consider circle bundles over compact three-manifolds with symplectic total spaces. We show that the base of such a space must be irreducible or the product of the two-sphere with the circle. We then deduce that such a bundle admits a symplectic form if and only if it admits one that is invariant under the circle action in three special cases: namely if the base is Seifert fibered, has vanishing Thurston norm, or if the total space admits a Lefschetz fibration.
We identify a family of torus representations such that the corresponding singular symplectic quotients at the $0$-level of the moment map are graded regularly symplectomorphic to symplectic quotients associated to representations of the circle. For a subfamily of these torus representations, we give an explicit description of each symplectic quotient as a Poisson differential space with global chart as well as a complete classification of the graded regular diffeomorphism and symplectomorphism classes. Finally, we give explicit examples to indicate that symplectic quotients in this class may …
The purpose of this note is to study the bounded isometry conjecture proposed by Lalonde and Polterovich. In particular, we show that the conjecture holds for the Kodaira-Thurston manifold with the standard symplectic form and for the 4-torus with all linear symplectic forms.
We examine the structure of the cotangent bundle $T^{*}X$ of an algebraic variety $X$ acted on by a reductive group $G$ from the viewpoint of equivariant symplectic geometry. In particular, we construct an equivariant symplectic covering of $T^{*}X$ by the cotangent bundle of a certain variety of horospheres in $X$, and integrate the invariant collective motion on $T^{*}X$. These results are based on a "local structure theorem" describing the action of a certain parabolic in $G$ on an open subset of $X$, which is interesting by itself.
This paper gives methods for understanding invariants of symplectic quotients. The symplectic quotients considered here are compact symplectic manifolds (or more generally orbifolds), which arise as the symplectic quotients of a symplectic manifold by a compact torus. (A companion paper examines symplectic quotients by a nonabelian group, showing how to reduce to the maximal torus.) Let X be a symplectic manifold, with a Hamiltonian action of a compact torus T. The main topological result of this paper describes an explicit cobordism that exists between a symplectic quotient of X by T, and a c…
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…
As an application of the construction of open books on plumbed 3-manifolds, we construct elliptic open books on torus bundles over the circle. In certain cases these open books are compatible with Stein fillable contact structures and have minimal genus.
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…
A locally conformally symplectic (LCS) form is an almost symplectic form $ω$ such that a closed one-form $θ$ exists with $dω=θ\wedgeω$. A fiber bundle with LCS fiber $(F, ω,θ)$ is called LCS if the transition maps are diffeomorphisms of $F$ preserving $ω$ (and hence $θ$). In this paper, we find conditions for the total space of an LCS fiber bundle to admit an LCS form which restricts to the LCS form of the fibers. This is done by using the coupling form introduced by Sternberg and Weinstein, \cite{gls}, in the symplectic case. The construction is related to an adapted Hamiltonian action called…
