An effective class in a closed symplectic four-manifold $(X, ω)$ is a two-dimensional homology class which is realized by a $J$-holomorphic cycle for every tamed almost complex structure $J$. We prove that effective classes are orthogonal to Lagrangian tori in $H_2 (X ; \Bbb{Z})$.
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.
The goal of this paper is to classify symplectic toric stratified spaces with isolated singularities. This extends a result of Burns, Guillemin, and Lerman which carries out this classification in the compact connected case. In making this classification, it is necessary to classify symplectic toric cones. Via a well-known equivalence between symplectic toric cones and contact toric manifolds, this allows for the classification of contact toric manifolds as well, extending Lerman's classification of compact connected contact toric manifolds.
Given a fibration of a symplectic manifold by lagrangian tori, we show that each symplectic vector field splits into two parts : the first is Hamiltonian and the second is symplectic and preserves the fibration. We then show an application of this result in the study of the regular deformations of completely integrable systems.
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.
In this paper we study whether symplectic toric manifolds are symplectically cohomologically rigid. Here we say that symplectic cohomological rigidity holds for some family of symplectic manifolds if the members of that family can be distinguished by their integral cohomology rings and the cohomology classes of their symplectic forms. We show how toric degenerations can be used to produce the symplectomorphisms necessary to answer this question. As a consequence we prove that symplectic cohomological rigidity holds for the family of symplectic Bott manifolds with rational symplectic form whose…
Given two 4-dimensional ellipsoids whose symplectic sizes satisfy a specified inequality, we prove that a certain loop of symplectic embeddings between the two ellipsoids is noncontractible. The statement about symplectic ellipsoids is a particular case of a more general result. Given two convex toric domains whose first and second ECH capacities satisfy a specified inequality, we prove that a certain loop of symplectic embeddings between the two convex toric domains is noncontractible. We show how the constructed loops become contractible if the target domain becomes large enough. The proof i…
Given two $2n$--dimensional symplectic ellipsoids whose symplectic sizes satisfy certain inequalities, we show that a certain map from the $n$--torus to the space of symplectic embeddings from one ellipsoid to the other induces an injective map on singular homology with mod $2$ coefficients. The proof uses parametrized moduli spaces of $J$--holomorphic cylinders in completed symplectic cobordisms.
According to Lerman, compact connected toric contact 3-manifolds with a non-free toric action whose moment cone spans an angle greater than $π$ are overtwisted, thus non-fillable. In contrast, we show that all compact connected toric contact manifolds in dimension greater than three are weakly symplectically fillable and most of them are strongly symplectically fillable. The proof is based on the Lerman's classification of toric contact manifolds and on our observation that the only contact manifolds in higher dimensions that admit free toric action are the cosphere bundle of $T^d, d\geq3$ $(T…
We prove a version of Sandon's conjecture on the number of translated points of contactomorphisms for the case of prequantization bundles over certain closed monotone symplectic toric manifolds. Namely we show that any contactomorphism of such a prequantization bundle lying in the identity component of the contactomorphism group possesses at least $N$ translated points, where $N$ is the minimal Chern number of the symplectic toric manifold. The proof relies on the theory of generating functions coupled with equivariant cohomology, whereby we adapt Givental's approach to the Arnold conjecture f…
Delzant's theorem for symplectic toric manifolds says that there is a one-to-one correspondence between certain convex polytopes in $\mathbb{R}^n$ and symplectic toric $2n$-manifolds, realized by the image of the moment map. I review proofs of this theorem and the convexity theorem of Atiyah-Guillemin-Sternberg on which it relies. Then, I describe Honda's results on the local structure of near-symplectic 4-manifolds, and inspired by recent work of Gay-Symington, I describe a generalization of Delzant's theorem to near-symplectic toric 4-manifolds. One interesting feature of the generalization …
ECH capacities give obstructions to symplectically embedding one symplectic four-manifold with boundary into another. We compute the ECH capacities of a large family of symplectic four-manifolds with boundary, called "concave toric domains". Examples include the (nondisjoint) union of two ellipsoids in $\mathbb{R}^4$. We use these calculations to find sharp obstructions to certain symplectic embeddings involving concave toric domains. For example: (1) we calculate the Gromov width of every concave toric domain; (2) we show that many inclusions of an ellipsoid into the union of an ellipsoid and…
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…
Given a $G$-toric, folded-symplectic manifold with co-orientable folding hypersurface, we show that its orbit space is naturally a manifold with corners $W$ equipped with a smooth map $ψ: W \to \frak{g}^*$, where $\frak{g}^*$ is the dual of the Lie algebra of the torus, $G$. The map $ψ$ has fold singularities at points in the image of the folding hypersurface under the quotient map to $W$ and it is a unimodular local embedding away from these points. Thus, to every $G$-toric, folded-symplectic manifold we can associate its orbit space data $ψ:W \to \frak{g}^*$, a unimodular map with folds. We …
In this note we analyze displaceability of pre-Lagrangian toric fibers in contact toric manifolds. While every symplectic toric manifold contains at least one non-displaceable Lagrangian toric fiber and infinitely many displaceable ones, we show that this is not the case for contact toric manifolds. More precisely, we prove that for the contact toric manifolds $\mathbb{S}^{2d-1} (d\geq 2)$ and $\mathbb{T}^k \times \mathbb{S}^{2d+k-1} (d \geq 1)$ all pre-Lagrangian toric fibers are displaceable, and that for all contact toric manifolds for which the toric action is free, except possibly non-tri…
In this article, using the idea of toric degeneration and the computation of the full potential function of Hirzebruch surface $F_2$, which is \emph{not} Fano, we produce a continuum of Lagrangian tori in $S^2 \times S^2$ which are non-displaceable under the Hamiltonian isotopy.
We outline a proof that the stack of symplectic toric G-manifolds over a fixed orbit space W is a torsor for the stack of symplectic toric G-principal bundles over W.
We study Furuta's finite dimensional approximations for the flow lines of the Moment action functional for toric symplectic orbifolds and show their relation to Givental's toric map space.
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.
We construct monotone Lagrangian tori in the standard symplectic vector space, in the complex projective space and in products of spheres. We explain how to classify these Lagrangian tori up to symplectomorphism and Hamiltonian isotopy, and how to show that they are not displaceable by Hamiltonian isotopies.
We use positive S^1-equivariant symplectic homology to define a sequence of symplectic capacities c_k for star-shaped domains in R^{2n}. These capacities are conjecturally equal to the Ekeland-Hofer capacities, but they satisfy axioms which allow them to be computed in many more examples. In particular, we give combinatorial formulas for the capacities c_k of any "convex toric domain" or "concave toric domain". As an application, we determine optimal symplectic embeddings of a cube into any convex or concave toric domain. We also extend the capacities c_k to functions of Liouville domains whic…
We study Hamiltonian actions on $b$-symplectic manifolds with a focus on the effective case of half the dimension of the manifold. In particular, we prove a Delzant-type theorem that classifies these manifolds using polytopes that reside in a certain enlarged and decorated version of the dual of the Lie algebra of the torus.
This small note contains two simple remarks about Bohr - Sommerfeld with respect to the anticanonical class lagrangian tori in the projective spaces, which are the most popular examples of monotone symplectic manifolds.
We prove the existence of a one-parameter family of nondisplaceable Lagrangian tori near a linear chain of Lagrangian 2-spheres in a symplectic 4-manifold. When the symplectic structure is rational we prove that the deformed Floer cohomology groups of these tori are nontrivial. The proof uses the idea of toric degeneration to analyze the full potential functions with bulk deformations of these tori.
We introduce the cutting construction of possibly non-compact symplectic toric manifolds, in particular, toric symplectic cones that correspond to a weakly convex good cone. Since the symplectization of a toric contact manifold is a toric symplectic cone, we can also construct toric contact manifolds that correspond to a weakly convex good cone by the cutting construction. (Note that these toric contact manifolds can not be constructed by Delzant construction.) We further prove there are no toric Sasakian structures on these contact manifolds. From this, contact toric manifolds of toric K-cont…
We prove some results about linking of Lagrangian tori in the symplectic vector space $(\mathbb{R}^4, ω)$. We show that certain enumerative counts of holomophic disks give useful information about linking. This enables us to prove, for example, that any two Clifford tori are unlinked in a strong sense. We extend work of Dimitroglou Rizell and Evans on linking of monotone Lagrangian tori to a class of non-monotone tori in $\mathbb{R}^4$ and also strengthen their conclusions in the monotone case in $\mathbb{R}^4$.
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.
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…
In this remark we discuss a relationship between (co)homology classes of a symplectic manifold realized by symplectic and lagrangian objects. We establish some transversality condition for the classes, realized by symplectic divisors and smooth lagrangian tori with some special condition on their intersections.
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.
Can a given Lagrangian submanifold be realized as the fixed point set of an anti-symplectic involution? If so, it is called \emph{real}. We give an obstruction for a closed Lagrangian submanifold to be real in terms of the displacement energy of nearby Lagrangians. Applying this obstruction to toric fibres, we obtain that the central fibre of many (and probably all) toric monotone symplectic manifolds is real only if the corresponding moment polytope is centrally symmetric. Furthermore, we embed the Chekanov torus in all toric monotone symplectic manifolds and show that it is exotic and not re…
We extract from a toric model of the Chekanov-Schlenk exotic torus in $\mathbb{CP}^2$ methods of construction of Lagrangian submanifolds in toric symplectic manifolds. These constructions allow for some control of the monotonicity. We recover this way some known monotone Lagrangians in the toric symplectic manifolds $\mathbb{CP}^2$ and $\mathbb{CP}^1 \times \mathbb{CP}^1$ as well as new examples.
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 classify weakly exact, rational Lagrangian tori in $T^* \mathbb{T}^2- 0_{\mathbb{T}^2}$ up to Hamiltonian isotopy. This result is related to the classification theory of closed $1$-forms on $\mathbb{T}^n$ and also has applications to symplectic topology. As a first corollary, we strengthen a result due independently to Eliashberg-Polterovich and to Giroux describing Lagrangian tori in $T^* \mathbb{T}^2-0_{\mathbb{T}^2}$ which are homologous to the zero section. As a second corollary, we exhibit pairs of disjoint totally real tori $K_1, K_2 \subset T^*\mathbb{T}^2$, each of which is isotopic…
We study the question of how many embedded symplectic or Lagrangian tori can represent the same homology class in a simply connected symplectic 4-manifold.
We construct an exotic monotone Lagrangian torus in CP^2 using techniques motivated by mirror symmetry. We show that it bounds 10 families of Maslov index 2 holomorphic discs, and it follows that this exotic torus is not Hamiltonian isotopic to the known Clifford and Chekanov tori.
We compute the semiclassical formulas for the partition functions obtained using two different Lagrangians: the Chern-Simons functional and the symplectic action functional.
In this note, we prove that two constructions of exotic monotone Lagrangian tori, namely the one by Chekanov and Schlenk and the one obtained by the circle bundle construction of Biran are Hamiltonian isotopic in $\mathbb{C}P^2$ and $S^2 \times S^2$.
We give an inequality of the displacement energy for exact Lagrangian immersions and the symplectic area of punctured holomorphic discs. Our approach is based on Floer homology for Lagrangian immersions and Chekanov's homotopy technique of continuations.
We exhibit monotone Lagrangian tori inside the standard symplectic four-dimensional unit ball that become Hamiltonian isotopic to the Clifford torus, i.e.~the standard product torus, only when considered inside a strictly larger ball (they are not even symplectomorphic to a standard torus inside the unit ball). These tori are then used to construct new examples of symplectic embeddings of toric domains into the unit ball which are symplectically knotted in the sense of J.~Gutt and M.~Usher. We also give a characterisation of the Clifford torus inside the ball as well as the projective plane in…
Almost toric manifolds form a class of singular Lagrangian fibered symplectic manifolds that is a natural generalization of toric manifolds. Notable examples include the K3 surface, the phase space of the spherical pendulum and rational balls useful for symplectic surgeries. The main result of the paper is a complete classification up to diffeomorphism of closed almost toric four-manifolds. A key step in the proof is a geometric classification of the singular affine structures that can occur on the base of a closed almost toric four-manifold.
We give an explicit formula for the Gromov width for a class of symplectic toric manifolds constructed from simple graphs. As a corollary, we show a version of non-squeezing theorem with respect to the inclusion of connected graphs.
Let (M,ω) be a four dimensional compact connected symplectic manifold. We prove that (M,ω) admits only finitely many inequivalent Hamiltonian effective 2-torus actions. Consequently, if M is simply connected, the number of conjugacy classes of 2-tori in the symplectomorphism group Sympl(M,ω) is finite. Our proof is "soft". The proof uses the fact that for symplectic blow-ups of \CP^2 the restriction of the period map to the set of exceptional homology classes is proper. In an appendix, we describe results of McDuff that give a properness result for a general compact symplectic four-manifold, u…
We show that every 4-dimensional torus with a linear symplectic form can be fully filled by one symplectic ball. If such a torus is not symplectomorphic to a product of 2-dimensional tori with equal sized factors, then it can also be fully filled by any finite collection of balls provided only that their total volume is less than that of the 4-torus with its given linear symplectic form.
Let M be a symplectic-toric manifold of dimension at least four. This paper investigates the so called symplectic ball packing problem in the toral equivariant setting. We show that the set of toric symplectic ball packings of M admits the structure of a convex polytope. Previous work of the first author shows that up to equivalence, only CP^1 x CP^1 and CP^2 admit density one packings when n=2 and only CP^n admits density one packings when n>2. In contrast, we show that for a fixed n>=2 and each r in (0, 1), there are uncountably many inequivalent 2n-dimensional symplectic-toric manifolds wit…
A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ("Delzant") polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact connected symplectic toric manifolds. In this paper we extend Delzant's classification to non-compact symplectic toric manifolds. For a non-compact symplectic toric manifold the image of the moment map nee…
Given a Lagrangian sphere in a symplectic 4-manifold $(M, ω)$ with $b^+=1$, we find embedded symplectic surfaces intersecting it minimally. When the Kodaira dimension $κ$ of $(M, ω)$ is $-\infty$, this minimal intersection property turns out to be very powerful for both the uniqueness and existence problems of Lagrangian spheres. On the uniqueness side, for a symplectic rational manifold and any class which is not characteristic and ternary, we show that homologous Lagrangian spheres are smoothly isotopic, and when the Euler number is less than 8, we generalize Hind and Evans' Hamiltonian uniq…
We construct infinitely many families of monotone Lagrangian tori in $\mathbb{R}^6$, no two of which are related by Hamiltonian isotopies (or symplectomorphisms). These families are distinguished by the (arbitrarily large) numbers of families of Maslov index 2 pseudo-holomorphic discs that they bound.
Let E(1)_p denote the rational elliptic surface with a single multiple fiber f_p of multiplicity p. We construct an infinite family of homologous non-isotopic symplectic tori representing the primitive class [f_p] in E(1)_p when p>1. As a consequence, we get infinitely many non-isotopic symplectic tori in the fiber class of the rational elliptic surface E(1) (complex projective plane blown-up at nine branch points of a generic pencil of cubic curves). We also show how these tori can be non-isotopically and symplectically embedded in many other symplectic 4-manifolds.
We prove that symplectic quasi-states and quasi-morphisms on a symplectic manifold descend under symplectic reduction on a superheavy level set of a Hamiltonian torus action. Using a construction due to Abreu and Macarini, in each dimension at least four we produce a closed symplectic toric manifold with infinite dimensional spaces of symplectic quasi-states and quasi-morphisms, and a one-parameter family of non-displaceable Lagrangian tori. By using McDuff's method of probes, we also show how Ostrover and Tyomkin's method for finding distinct spectral quasi-states in symplectic toric Fano man…