Let $(M, ω)$ be a connected compact symplectic manifold equipped with a Hamiltonian SU(2) or SO(3) action. We prove that, as fundamental group of topological spaces, $π_1(M)=π_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value of the moment map $ϕ$.
We prove that the topological complexity of every symplectically atoroidal manifold is equal to twice its dimension. This is the analogue for topological complexity of a result of Rudyak and Oprea, who showed that the Lusternik--Schnirelmann category of a symplectically aspherical manifold equals its dimension. Symplectically hyperbolic manifolds are symplectically atoroidal, as are symplectically aspherical manifolds whose fundamental group does not contain free abelian subgroups of rank two. Thus we obtain many new calculations of topological complexity, including iterated surface bundles an…
A real Bott manifold is the total space of an iterated $\RP ^1$-bundles over a point, where each $\RP^1$-bundle is the projectivization of a Whitney sum of two real line bundles. In this paper, we characterize real Bott manifolds which admit a symplectic form. In particular, it turns out that a real Bott manifold admits a symplectic form if and only if it is cohomologically symplectic. In this case, it admits even a Kähler structure. We also prove that any symplectic cohomology class of a real Bott manifolds can be represented by a symplectic form. Finally, we study the flux of a symplectic re…
The paper is devoted to study of Massey products in symplectic manifolds. Theory of generalized and classical Massey products and a general construction of symplectic manifolds with nontrivial Massey products of arbitrary large order are exposed. The construction uses the symplectic blow-up and is based on the author results, which describe conditions under which the blow-up of a symplectic manifold X along its submanifold Y inherits nontrivial Massey products from X ot Y. This gives a general construction of nonformal symplectic manifolds.
We describe all abelian groups which can appear as the fundamental groups of closed symplectically aspherical manifolds. The proofs use the theory of symplectic Lefschetz fibrations.
We prove that the fundamental group of the group of Hamiltonian diffeomorphisms of the symplectic manifold that is obtain by blowing up a submanifold contains an element of infinite order. We prove this using Weinstein's morphism and by constructing explicitly such loop of Hamiltonian diffeomorphisms.
We analyze the symplectic and complex structures on the panelled web 4-manifolds. In particular, we give infinite family of examples of almost complex but not symplectic and not complex 4-manifolds in the non-simply connected case.
The first example of a compact manifold admitting both complex and symplectic structures but not admitting a Kähler structure is the renowned Kodaira-Thurston manifold. We review its construction and show that this paradigm is very general and is not related to the fundamental group. More specifically, we prove that the simply-connected $8$-dimensional compact manifold of [\textsc{M. Fernández and V. Muñoz}, \emph{An 8-dimensional non-formal simply connected symplectic manifold}, Ann. of Math. (2) \textbf{167}, no. 3, 1045--1054, 2008.] admits both symplectic and complex structures but does no…
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.
Scattering symplectic manifolds are (closed) manifolds with a mildly degenerate Poisson structure. In particular they can be viewed as symplectic structures on a Lie algebroid which is almost everywhere isomorphic to the tangent bundle. In this paper we prove that all scattering symplectic manifolds arise as glueings of weak symplectic fillings of contact manifolds, and all pairs of weak symplectic fillings with matching boundaries can be glued to a scattering symplectic manifold.
We study symplectic surfaces in ruled symplectic 4-manifolds which are disjoint from a given symplectic section. As a consequence we see that, in any symplectic 4-manifold, two homologous symplectic surfaces which are sufficiently C^0 close must be Hamiltonian isotopic.
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 lift a Hamiltonian loop on a symplectic manifold to a Hamiltonian loop on the symplectic one-point blow up of a symplectic manifold. Then we use Weinstein's morphism to show that the lifted Hamiltonian loop has infinite order on the fundamental group of the group of Hamiltonian diffeomorphisms of the blown up manifold.
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 give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold with a proper momentum map is globally linearizable.
We show that, when applied to any non-canonical Hamiltonian system, any integrator that is symplectic for canonical Hamiltonian problems is actually conjugate symplectic for the non-canonical structure. This result is useful because it implies that canonically symplectic methods may be successfully applied to long-time integrations of non-canonical Hamiltonian problems, thus avoiding the need to construct ad hoc new methods. Numerical results for three non-canonical Hamiltonian systems demonstrate that (canonically) symplectic methods have significant advantages in numerical accuracy and near …
This is an expanded version of the talk given be the first author at the conference "Topology, Geometry, and Dynamics: Rokhlin - 100". The purpose of this talk was to explain our current results on classification of rational symplectic 4-manifolds equipped with an anti-symplectic involution. Detailed exposition will appear elsewhere.
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.
Given an ascending sequence of weak symplectic Banach manifolds on which the Darboux theorem is true, we can ask about conditions under which the Darboux Theorem is also true on the direct limit. We will show in general, without very strong conditions, the answer is negative. In particular we give an example of an ascending weak symplectic Banach manifolds on which the Darboux Theorem is true but not on the direct limit. In a second part, we illustrate this discussion in the context of an ascending sequences of Sobolev manifolds of loops in symplectic finite dimensional manifolds. This context…
A Poisson manifold $(M^{2n},\p)$ is $b$-symplectic if $\bigwedge^n\p$ is transverse to the zero section. In this paper we apply techniques native to Symplectic Topology to address questions pertaining to $b$-symplectic manifolds. We provide constructions of $b$-symplectic structures on open manifolds by Gromov's $h$-principle, and of $b$-symplectic manifolds with a prescribed singular locus, by means of surgeries.
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.
Let $(X,\om)$ be a symplectic manifold and $L$ be a Lagrangian submanifold diffeomorphic to $S^n$, $\R¶^n$, or a Lens space of a certain type. Using the symplectic cut and symplectic sum constructions, we express the open Gromov-Witten invariants of $(X,L)$ in terms of open Gromov-Witten invariants of a pair $(X_-,L)$ determined by $L$ and the standard Gromov-Witten invariants of a symplectic manifold $X_+$ determined by $(X,L)$. We also describe other applications of this approach.
Like (co)homology group theory of formal Hamiltonian vector fields on symplectic vector spaces, we try studying homology group theory on symplecit tori introducing the notion of weight.
Let $(M,ω)$ be a ruled symplectic four-manifold. If $(M, ω)$ is rational, then every homologically trivial symplectic cyclic action on $(M,ω)$ is the restriction of a Hamiltonian circle action.
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…
The paper deals with relations between the Hard Lefschetz property, (non)vanishing of Massey products and the evenness of odd-degree Betti numbers of closed symplectic manifolds. It is known that closed symplectic manifolds can violate all these properties (in contrast with the case of Kaehler manifolds). However, the relations between such homotopy properties seem to be not analyzed. This analysis may shed a new light on topology of symplectic manifolds. In the paper, we summarize our knowledge in tables (different in the simply-connected and in symplectically aspherical cases). Also, we disc…
In this paper we study a generalized symplectic fixed point problem, first considered by J. Moser in \cite{M}, from the point of view of some relatively recently discovered symplectic rigidity phenomena. This problem has interesting applications concerning global perturbations of Hamiltonian systems.
We present some methods to construct smooth circle actions on symplectic manifolds with non-symplectic fixed point sets or non-symplectic cyclic isotropy point sets. All such actions are not compatible with any symplectic form.
We show that the quotient associated to a quasi-Hamiltonian space has a symplectic structure even when 1 is not a regular value of the momentum map: it is a disjoint union of symplectic manifolds of possibly different dimensions, which generalizes a result of Alekseev, Malkin and Meinrenken. We illustrate this theorem with the example of representation spaces of surface groups. As an intermediary step, we show that the isotropy submanifolds of a quasi-Hamiltonian space are quasi-Hamiltonian spaces themselves.
For any $N \geq 5$ nonformal simply connected symplectic manifolds of dimension $2N$ are constructed. This disproves the formality conjecture for simply connected symplectic manifolds which was introduced by Lupton and Oprea.
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 give concrete estimations for the pseudo symplectic capacities of toric manifolds in combinatorial data. Some examples are given to show that our estimates can compute their pseudo symplectic capacities. As applications we also estimate the symplectic capacities of the polygon spaces. Other related results are impacts of symplectic blow-up on symplectic capacities, symplectic packings in symplectic toric manifolds, the Seshadri constant of an ample line bundle on toric manifolds, and symplectic capacities of symplectic manifolds with $S^1$-action.
Let $M$ be a closed Fano symplectic manifold with a semifree Hamiltonian circle action with isolated maximum. We compute the Gromov width and the Hofer-Zehnder capacity of $M$ using a moment map.
In this paper we prove the unobstructedness of the deformation of integral coisotropic submanifolds in symplectic manifolds, which can be viewed as a natural generalization of results of Weinstein for Lagrangian submanifolds.
The purpose of this paper is presenting a theoretical basis for the study of $ω$-Hamiltonian vector fields in a more general approach than the classical one. We introduce the concepts of $ω$-symplectic group and $ω$-semisymplectic group, and describe some of their properties. We show that the Lie algebra of such groups is a useful tool in the recognition of an $ω$-Hamiltonian vector field defined on a symplectic vector space $(V,ω)$ with respect to coordinates that are not necessarily symplectic.
The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS2]. Later, Symington [Sy1], defined this operation in the symplectic category. In [Kh2], the author defined the inverse procedure, the symplectic rational blow-up. In this paper, we study the obstructions to symplectically rationally blowing up a symplectic 4-manifold, i.e. the obstructions to symplectically embedding the rational homology balls $B_n$ into a symplectic 4-manifold. We prove a theorem and give additional examples which suggest that in order to symplectically embed the rational …
Given a closed symplectic manifold, we study when the Lefschetz decomposition induced by the $\mathfrak{sl}(2;\mathbb{R})$-representation yields a decomposition of the de Rham cohomology. In particular, this holds always true for the second de Rham cohomology group, or if the symplectic manifold satisfies the Hard Lefschetz Condition.
We show that certain classes of contact 3-manifolds do not admit non-separating contact type embeddings into any closed symplectic 4-manifolds, e.g. this is the case for all contact manifolds that are (partially) planar or have Giroux torsion. The latter implies that manifolds with Giroux torsion do not admit contact type embeddings into any closed symplectic 4-manifolds. Similarly, there are symplectic 4-manifolds that can admit smoothly embedded non-separating hypersurfaces, but not of contact type: we observe that this is the case for all symplectic ruled surfaces.
This paper is devoted to the study of symplectic manifolds and their connection with Hamiltonian dynamical systems. We review some properties and operations on these manifolds and see how they intervene when studying the complete integrability of these systems, with detailed proofs. Several explicit calculations for which references are not immediately available are given. These results are exemplified by applications to some Hamiltonian dynamical systems.
We show that all closed symplectic 4-manifolds have the packing stability property: there are no obstructions beyond volume to embedding a collection of sufficiently small balls. This generalizes a theorem of Biran which gives the same result under the assumption that the symplectic form lies in a rational cohomology class.
In this paper, we consider stochastic Runge-Kutta methods for stochastic Hamiltonian partial differential equations and present some sufficient conditions for multisymplecticity of stochastic Runge-Kutta methods of stochastic Hamiltonian partial differential equations. Particularly, we apply these ideas to stochastic Maxwell equations with multiplicative noise, possessing the stochastic multi-symplectic conservation law and energy conservation law. Theoretical analysis shows that the methods can preserve both the discrete stochastic multi-symplectic conservation law and discrete energy conserv…
In this article we study proper symplectic and iso-symplectic embeddings of $4$--manifolds in $6$--manifolds. We show that a closed orientable smooth $4$--manifold admitting a Lefschetz fibration over $\C P^1$ admits a symplectic embedding in the symplectic manifold $(\C P^1 \times \C P^1 \times \C P^1, ω_{pr}),$ where $ω_{pr}$ is the product symplectic form on $\C P^1 \times \C P^1 \times \C P^1.$ We also show that there exists a sub-critical Weinstein $6$--manifold in which all finite type Weinstein $4$--manifolds admit iso-symplectic embeddings.
In this paper we give a generalization of the normal holomorphic frames in the symplectic manifolds and find conditions for the integrability of complex structures.
The main result asserts the existence of noncontractible periodic orbits for compactly supported time dependent Hamiltonian systems on the unit cotangent bundle of the torus or of a negatively curved manifold whenever the generating Hamiltonian is sufficiently large over the zero section. The proof is based on Floer homology and on the notion of a relative symplectic capacity. Applications include results about propagation properties of sequential Hamiltonian systems, periodic orbits on hypersurfaces, Hamiltonian circle actions, and smooth Lagrangian skeletons in Stein manifolds.
We use quantum and Floer homology to construct (partial) quasi-morphisms on the universal cover of the group of compactly supported Hamiltonian diffeomorphisms for a certain class of non-closed strongly semi-positive symplectic manifolds $(M,ω)$. This leads to construction of (partial) symplectic quasi-states on the space of continuous functions on $M$ that are constant near infinity. The work extends the results by Entov and Polterovich, which apply in the closed case.
We show that a generic Hamiltonian diffeomorphism on a closed symplectic manifold which is symplectically aspherical has at least the stable Morse number of fixed points - this is in line with a conjecture by Arnold.
We introduce a surgery operation on symplectic manifolds called coisotropic Luttinger surgery, which generalizes Luttinger surgery on Lagrangian tori in symplectic 4-manifolds. We use it to produce infinitely many distinct symplectic non-Kahler 6-manifolds $X$ with $c_1(X)=0$ which are not of the form $M\times F$ for $M$ a symplectic 4-manifold and $F$ a closed surface.
We mostly determine which closed smooth oriented 4-manifolds fibering over lower dimensional manifolds are virtually symplectic, i.e. finitely covered by symplectic 4-manifolds.
We develop differential and symplectic geometry of differentiable Deligne-Mumford stacks (orbifolds) including Hamiltonian group actions and symplectic reduction. As an application we construct new examples of symplectic toric DM stacks as symplectic quotients of C^NxBG, where G is a finite non-abelian group.
In \cite{btoric}, Guillemin et al. proved a Delzant-type theorem which classifies $b$-symplectic toric manifolds. More generally, in \cite{torus} they proved a similar convexity result for general Hamiltonian torus action on $b$-symplectic manifolds. In this paper, we provide a new way to construct $b$-symplectic toric manifolds from usual toric manifolds. Conversely, through this way, we can also decompose a $b$-symplectic toric manifolds to usual toric manifolds. Finally, we will try to prove that this kind of decomposition is useful, although the symplectic structure for our decomposition o…
A symplectic form is called hyperbolic if its pull-back to the universal cover is a differential of a bounded one-form. The present paper is concerned with the properties and constructions of manifolds admitting hyperbolic symplectic forms. The main results are: * If a symplectic form represents a bounded cohomology class then it is hyperbolic. * The symplectic hyperbolicity is equivalent to a certain isoperimetric inequality. * The fundamental group of symplectically hyperbolic manifold is non-amenable. We also construct hyperbolic symplectic forms on certain bundles and Lefschetz fibrations,…