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 discuss the variation of symplectically harmonic Betti numbers on some 6-dimensional manifolds.
Using a basic idea of Sullivan's rational homotopy theory, one can see a Lie groupoid as the fundamental groupoid of its Lie algebroid. This paper studies analogues of Lie algebroids with non-trivial higher homotopy. Using various homotopy classes one can obtain e.g. central extensions of loop groups, or one can integrate a Lie biagebroid to a double symplectic groupoid. When combined with symplectic geometry, this idea leads to an infinite sequence of notions, starting with sympectic manifolds, Poisson manifolds and Courant algebroids. They are interrelated with higher-dimensional variational…
Let M:=(M^{4},\om) be a 4-dimensional rational ruled symplectic manifold and denote by w_{M} its Gromov width. Let Emb_ω(B^{4}(c),M) be the space of symplectic embeddings of the standard ball B^4(c) \subset \R^4 of radius r and of capacity c:= πr^2 into (M,\om). By the work of Lalonde and Pinsonnault, we know that there exists a critical capacity \ccrit \in (0,w_{M}] such that, for all c\in(0,\ccrit), the embedding space Emb_ω(B^{4}(c),M) is homotopy equivalent to the space of symplectic frames \SFr(M). We also know that the homotopy type of Emb_ω(B^{4}(c),M) changes when c reaches \ccrit and …
We compute in this note the full homotopy type of the space of symplectic embeddings of the standard ball $B^4(c) \subset \R^4$ (where $c= πr^2$ is the capacity of the standard ball of radius $r$) into the 4-dimensional rational symplectic manifold $M_μ= (S^2 \times S^2, μ\om_0 \oplus \om_0)$ where $\om_0$ is the area form on the sphere with total area 1 and $μ$ belongs to the interval $(1,2]$. We know, by the work of Lalonde-Pinsonnault, that this space retracts to the space of symplectic frames of $M_μ$ for any value of $c$ smaller than the critical value $μ-1$, and that its homotopy type do…
A study on the relation between the smooth structure of a symplectic homotopy K3 surface and its symplectic symmetries is initiated. A measurement of exoticness of a symplectic homotopy K3 surface is introduced, and the influence of an effective action of a K3 group via symplectic symmetries is investigated. It is shown that an effective action by various maximal symplectic K3 groups forces the corresponding homotopy K3 surface to be minimally exotic with respect to our measure. (However, the standard K3 is the only known example of such minimally exotic homotopy K3 surfaces.) The possible str…
This short note presents a simple construction of nonisotopic symplectic tori representing the same primitive homology class in the symplectic 4-manifold E(1)_K, obtained by knot surgery on the rational elliptic surface E(1) with the left-handed trefoil knot K. E(1)_K has the simplest homotopy type among simply-connected symplectic 4-manifolds known to exhibit such property.
We present a general framework for reduction of symplectic Q-manifolds via graded group actions. In this framework, the homological structure on the acting group is a multiplicative multivector field.
In this paper we show that the classical results on the existence and uniqueness of moment maps in symplectic geometry generalize directly to weak homotopy moment maps in multisym- plectic geometry. In particular, we show that their existence and uniqueness is governed by a Lie algebra cohomology complex which reduces to the Chevalley-Eilenberg complex in the symplectic setup
Let E(1)_K denote the closed 4-manifold that is homotopy equivalent (hence homeomorphic) to the rational elliptic surface E(1) and is obtained by performing Fintushel-Stern knot surgery on E(1) using a knot K in S^3. We construct an infinite family of homologous non-isotopic symplectic tori representing a primitive homology class in E(1)_K when K is any nontrivial fibred knot in S^3. We also show how these tori can be non-isotopically embedded as homologous symplectic submanifolds in other symplectic 4-manifolds.
By a result of Kedra and Pinsonnault, we know that the topology of groups of symplectomorphisms of symplectic 4-manifolds is complicated in general. However, in all known (very specific) examples, the rational cohomology rings of symplectomorphism groups are finitely generated. In this paper, we compute the rational homotopy Lie algebra of symplectomorphism groups of the 3-point blow-up of the projective plane (with an arbitrary symplectic form) and show that in some cases, depending on the sizes of the blow-ups, it is infinite dimensional. Moreover, we explain how the topology is generated by…
In this note we prove that, for any integer n, there exist a smooth 4-manifold, homotopic to a K3 surface, defined by applying the link surgery method of Fintushel-Stern to a certain 2-component graph link, which admits n inequivalent symplectic structures Keywords: Symplectic topology of 4-manifolds; Seiberg-Witten theory
We consider the homotopy type of maps between symplectic surface whose graphs form symplectic submanifolds of the product. We give a purely topological model for this space in terms of maps with constrained numbers of pre-images. We use this to show that the dependence of the homotopy type on the area forms of each surface is quantized- it changes only when the parameters pass certain discrete levels. When the domain is a sphere or torus, and its total area is smaller than the range, we compute the full homotopy type of the low degree components. We also give an example, showing that the homot…
We prove that any two irreducible cuspidal Hurwitz curves $C_0$ and $C_1$ (or more generally, curves with A-type singularities) in the Hirzebruch surface $F_N$ with coinciding homology classes and sets of singularities are regular homotopic; and symplectically regular homotopic if $C_0$ and $C_1$ are symplectic with respect to a compatible symplectic form.
We define Maslov--type indices associated to contact and symplectic transformation groups. There are two such families of indices. The first class of indices are maps from the homotopy groups of the contactomorphism or symplectomorphism group to a quotient of the integers. These are based on a generalization of the Maslov index. The second class of indices are maps from the homotopy groups of the space of contact structures or the space of cohomologous symplectic forms to the homotopy groups of a simple homogeneous space. We provide a detailed construction and describe some properties of these…
We study in this paper the rational homotopy type of the space of symplectic embeddings of the standard ball $B^4(c) \subset \R^4$ into 4-dimensional rational symplectic manifolds. We compute the rational homotopy groups of that space when the 4-manifold has the form $M_λ= (S^2 \times S^2, μω_0 \oplus ω_0)$ where $ω_0$ is the area form on the sphere with total area 1 and $μ$ belongs to the interval $[1,2]$. We show that, when $μ$ is 1, this space retracts to the space of symplectic frames, for any value of $c$. However, for any given $1 < μ< 2$, the rational homotopy type of that space changes…
For an aspherical symplectic manifold, closed or with convex contact boundary, and with vanishing first Chern class, a Floer chain complex is defined for Hamiltonians linear at infinity with coefficients in the group ring of the fundamental group. For two non-degenerate Hamiltonians of the same slope continuation maps are shown to be simple homotopy equivalences. As a corollary the number of contractible Hamiltonian orbits of period 1 can be bounded from below.
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.
Given a closed exact Lagrangian in the cotangent bundle of a closed smooth manifold, we prove that the projection to the base is a simple homotopy equivalence.
We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional smooth groups and homotopy theory. The result relies on two computations: One showing that the diffeological homotopy groups of the Milnor classifying space BG are naturally equivalent to the (continuous) homotopy groups, and a second showing that a particular strict category localizes to yield the homotopy type of BG. We then prove a result in symplectic geome…
In this paper we compute the homotopy groups of the symplectomorphism groups of the 3-, 4- and 5-point blow-ups of the projective plane (considered as monotone symplectic Del Pezzo surfaces). Along the way, we need to compute the homotopy groups of the compactly supported symplectomorphism groups of the cotangent bundle of $\mathbf{RP}^{2}$ and of $\mathbf{C}^*\times\mathbf{C}$. We also make progress in the case of the $A_n$-Milnor fibres: here we can show that the (compactly supported) Hamiltonian group is contractible and that the symplectic mapping class group embeds in the braid group on $…
Frames provide redundant, stable representations of data which have important applications in signal processing. We introduce a connection between symplectic geometry and frame theory and show that many important classes of frames have natural symplectic descriptions. Symplectic tools seem well-adapted to addressing a number of important questions about frames; in this paper we focus on the frame homotopy conjecture posed in 2002 and recently proved by Cahill, Mixon, and Strawn, which says that the space of finite unit norm tight frames is connected. We give a simple symplectic proof of a doub…
We show that a stabilized convex symplectic (also called Liouville) manifold with the homotopy type of a half dimensional CW-complex is symplectomorphic to a flexible Weinstein manifold.
We construct a family of $6$-dimensional compact manifolds $M(A)$, which are simultaneously diffeomorphic to complex Calabi-Yau manifolds and symplectic Calabi-Yau manifolds. They have fundamental groups $\mathbb{Z} \oplus \mathbb{Z}$, their odd-dimensional Betti numbers are even, they satisfy the hard Lefschetz property, and their real homotopy types are formal. However, $M(A) \times Y$ are not homotopy equivalent to any compact Kähler manifold for any topological space $Y$.
We formulate general definitions of semi-classical gauge transformations for noncommutative gauge theories in general backgrounds of string theory, and give novel explicit constructions using techniques based on symplectic embeddings of almost Poisson structures. In the absence of fluxes the gauge symmetries close a Poisson gauge algebra and their action is governed by a $P_\infty$-algebra which we construct explicitly from the symplectic embedding. In curved backgrounds they close a field dependent gauge algebra governed by an $L_\infty$-algebra which is not a $P_\infty$-algebra. Our techniqu…
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.
We introduce a contravariant functor, called Floer functor, from the category of Lagrangian conductors of a symplectic manifold to the homotopy category of bounded chain complexes of open strings in this manifold. The latter two categories are defined for all symplectic manifolds, whereas Floer functor is defined for semipositive manifolds which are either closed or convex at infinity. We then prove that when the first Chern class of the symplectic manifold vanishes, Lagrangian spheres define Lagrangian conductors so that in particular their integral Floer cohomology is well defined. This requ…
Let L be an exact Lagrangian submanifold inside the cotangent bundle of a closed manifold N. We prove that if N satisfies a mild homotopy assumption then the image of π_2(L) in π_2(N) has finite index. We make no assumption on the Maslov class of L, and we make no orientability assumptions. The homotopy assumption is either that N is simply connected, or more generally that π_m(N) is finitely generated for each m \geq 2. The result is proved by constructing the Novikov homology theory for symplectic cohomology and generalizing Viterbo's construction of a transfer map between the homologies of …
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.
Let $X$ be any rational ruled symplectic four-manifold. Given a symplectic embedding $ι:B_{c}\into X$ of the standard ball of capacity $c$ into $X$, consider the corresponding symplectic blow-up $\tX_ι$. In this paper, we study the homotopy type of the symplectomorphism group $\Symp(\tX_ι)$, simplifying and extending the results of math.SG/0207096. This allows us to compute the rational homotopy groups of the space $\IEmb(B_{c},X)$ of unparametrized symplectic embeddings of $B_{c}$ into $X$. We also show that the embedding space of one ball in $CP^2$, and the embedding space of two disjoint ba…
In this paper we establish the existence of periodic orbits belonging to any $σ$-atoroidal free homotopy class for Hamiltonian systems in the twisted disc bundle, provided that the compactly supported time-dependent Hamiltonian function is sufficiently large over the zero section and the magnitude of the weakly exact $2$-form $σ$ admitting a primitive with at most linear growth on the universal cover is sufficiently small. The proof relies on showing the invariance of Floer homology under symplectic deformations and on the computation of Floer homology for the cotangent bundle endowed with its…
We compute the Lagrangian Floer cohomology groups of certain tori in closed simply connected symplectic 4-manifolds arising from Fintushel-Stern knot surgery. These manifolds are usually not symplectically aspherical. As a result of the computation we observe examples where $HF(L_0)\cong HF(L_1)$ and $L_0$ and $L_1$ are smoothly isotopic but $L_0,L_1$ are not symplectically isotopic and are distinguished by $HF(L_0,L_1)$.
We consider the existence of symplectic and conformal symplectic codimension-one foliations on closed manifolds of dimension at least 5. Our main theorem, based on a recent result by Bertelson-Meigniez, states that in dimension at least 7 any almost contact structure is homotopic to a conformal symplectic foliation. In dimension 5 we construct explicit conformal symplectic foliations on every closed, simply-connected, almost contact manifold, as well as honest symplectic foliations on a large subset of them. Lastly, via round-connected sums, we obtain, on closed manifolds, examples of conforma…
In this short article we give a criterion whether a given minimal symplectic 4-manifold with $b_{2}^{+}=1$ having a torsion-free canonical class is rational or ruled. As a corollary, we confirm that most of homotopy elliptic surfaces $E(1}_{K}$, K is a fibered knot in $S^3$, constructed by R. Fintushel and R. Stern are minimal symplectic 4-manifolds with $b_{2}^{+}=1$ which do not admit a complex structure.
We compute the homotopy type of the space of T^n-equivariant symplectic embeddings from the standard 2n-dimensional ball of some fixed radius into a 2n-dimensional symplectic-toric manifold M, and use this computation to define a Z-valued step function on the positive real line which is an invariant of the symplectic-toric type of M. We conclude with a discussion of the partially equivariant case of this result.
We study the number of Darboux charts needed to cover a closed connected symplectic manifold $(M,ω)$, and effectively estimate this number from below and from above in terms of the Lusternik--Schnirelmann category of $M$ and the Gromov width of $(M,ω)$.
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$…
Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational homology induced by the classifying map BH --> BG are injective. For example, we extend Reznikov's result for complex projective space CP^n to show that both in this case and the case of generalized flag manifolds the natural map H_*(BSU(n+1)) --> H_*(BG) is injective, where G denotes the group of all diffeomorphisms that act trivially on cohomology. We also show…
We introduce a notion of a homotopy momentum section on a Lie algebroid over a pre-multisymplectic manifold. A homotopy momentum section is a generalization of the momentum map with a Lie group action and the momentum section on a pre-symplectic manifold, and is also regarded as a generalization of the homotopy momentum map on a multisymplectic manifold. We show that a gauged nonlinear sigma model with Wess-Zumino term with Lie algebroid gauging has the homotopy momentum section structure.
We study the existence of multiple closed Reeb orbits on some contact manifolds by means of $S^1$-equivariant symplectic homology and the index iteration formula. It is proved that a certain class of contact manifolds which admit displaceable exact contact embeddings, a certain class of prequantization bundles, and Brieskorn spheres have multiple closed Reeb orbits.
We introduce the secondary Stiefel-Whitney class $\tilde w_2$ of homotopically trivial diffeomorphisms and show that a homotopically trivial symplectomorphism of a ruled 4-manifold is isotopic to identity if and only if the class $\tilde w_2$ vanishes. Using this, we give a detailed description of the combinatorial structure of the diffeotopy group of ruled symplectic 4-manifolds $X$, either minimal or blown-up, and its action on the homology and homotopy groups $H_2(X,\zz)$, $π_1(X)$, and $π_2(X)$.
We give a short proof of the (known) result that there are no Kaehler structures on exotic tori. This yields a negative solution to a problem posed by Benson and Gordon. W discuss the symplectic version of the problem and analyze results which yield an evidence for the conjecture that there are no symplectic structures on exotic tori.
The symplectomorphism group of a 2-dimensional surface is homotopy equivalent to the orbit of a filling system of curves. We give a generalization of this statement to dimension 4. The filling system of curves is replaced by a decomposition of the symplectic 4-manifold (M, omega) into a disjoint union of an isotropic 2-complex L and a disc bundle over a symplectic surface Sigma which is Poincare dual to a multiple of the form omega. We show that then one can recover the homotopy type of the symplectomorphism group of M from the orbit of the pair (L, Sigma). This allows us to compute the homoto…
We improve the estimates for the Ekeland--Hofer--Zehnder capacity of convex bodies by Gluskin and Ostrover. In the course of our argument we show that a closed characteristic of minimal action on the boundary of a centrally symmetric convex body in $\mathbb R^{2n}$ must itself be centrally symmetric, with generalizations to some other types of symmetry.
We use the minimal coupling procedure of Sternberg and Weinstein and our pseudo-symplectic capacity theory to prove that every closed symplectic submanifold in any symplectic manifold has an open neighborhood with finite ($π_1$-sensitive) Hofer-Zehnder symplectic capacity. Consequently, the Weinstein conjecture holds near closed symplectic submanifolds in any symplectic manifold.
Suppose that f:V->W is an embedding of closed oriented manifolds whose normal bundle has the structure of a complex vector bundle. It is well known in both complex and symplectic geometry that one can then construct a manifold W' which is the blow-up of W along V. Assume that dim(W)>2.dim(V)+2 and that H^1(f) is injective. We construct an algebraic model of the rational homotopy type of the blow-up W' from an algebraic model of the embedding and the Chern classes of the normal bundle. This implies that if the space W is simply connected then the rational homotopy type of W' depends only on the…
We show that a small neighborhood of a closed symplectic submanifold in a geometrically bounded aspherical symplectic manifold has non-vanishing symplectic homology. As a consequence, we establish the existence of contractible closed characteristics on any thickening of the boundary of the neighborhood. When applied to twisted geodesic flows on compact symplectically aspherical manifolds, this implies the existence of contractible periodic orbits for a dense set of low energy values.
We exhibit many examples of closed symplectic manifolds on which there is an autonomous Hamiltonian whose associated flow has no nonconstant periodic orbits (the only previous explicit example in the literature was the torus T^2n (n\geq 2) with an irrational symplectic structure). The underlying smooth manifolds of our examples include, for instance: the K3 surface and also infinitely many smooth manifolds homeomorphic but not diffeomorphic to it; infinitely many minimal four-manifolds having any given finitely-presented group as their fundamental group; and simply connected minimal four-manif…
We study Hamiltonian diffeomorphisms of closed symplectic manifolds with non-contractible periodic orbits. In a variety of settings, we show that the presence of one non-contractible periodic orbit of a Hamiltonian diffeomorphism of a closed toroidally monotone or toroidally negative monotone symplectic manifold implies the existence of infinitely many non-contractible periodic orbits in a specific collection of free homotopy classes. The main new ingredient in the proofs of these results is a filtration of Floer homology by the so-called augmented action. This action is independent of capping…
