We prove that the group of Hamiltonian automorphisms of a symplectic 4-manifold contains only finitely many conjugacy classes of maximal compact tori with respect to the action of the full symplectomorphism group. We also extend to rational and ruled manifolds a result of Kedra which asserts that, if $M$ is a simply connected symplectic 4-manifold with $b_{2}\geq 3$, and if $\widetilde{M}_δ$ denotes a blow-up of $M$ of small enough capacity $δ$, then the rational cohomology algebra of the Hamiltonian group of $\widetilde{M}_δ)$ is not finitely generated. Both results are based on the fact that in a symplectic 4-manifold endowed with any tamed almost structure $J$, exceptional classes of minimal symplectic area are $J$-indecomposable. Some applications and examples are given.
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 give a generalization of toric symplectic geometry to Poisson manifolds which are symplectic away from a collection of hypersurfaces forming a normal crossing configuration. We introduce the tropical momentum map, which takes values in a generalization of affine space called a log affine manifold. Using this momentum map, we obtain a complete classification of such manifolds in terms of decorated log affine polytopes, hence extending the classification of symplectic toric manifolds achieved by Atiyah, Guillemin-Sternberg, Kostant, and Delzant.
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…
We classify symplectic actions of 2-tori on compact, connected symplectic 4-manifolds, up to equivariant symplectomorphisms. This extends results of Atiyah, Guillemin-Sternberg, Delzant and Benoist. The classification is in terms of a collection of invariants, which are invariants of the topology of the manifold, of the torus action and of the symplectic form. We construct explicit models of such symplectic manifolds with torus actions, defined in terms of these invariants. We also classify, up to equivariant symplectomorphisms, symplectic actions of (2n-2)-dimensional tori on 2n-dimensional s…
In the same way that a contact manifold determines and is determined by a symplectic cone, a Sasaki manifold determines and is determined by a suitable Kahler cone. Kahler-Sasaki geometry is the geometry of these cones. This paper presents a symplectic action-angle coordinates approach to toric Kahler geometry and how it was recently generalized, by Burns-Guillemin-Lerman and Martelli-Sparks-Yau, to toric Kahler-Sasaki geometry. It also describes, as an application, how this approach can be used to relate a recent new family of Sasaki-Einstein metrics constructed by Gauntlett-Martelli-Sparks-W…
In a recent paper Donaldson explains how to use an older construction of Joyce to obtain four dimensional local models for scalar-flat Kahler metrics with a 2-torus symmetry. Using this idea, he recovers and generalizes the Taub-NUT metric by including it in a new family of complete scalar-flat toric Kahler metrics. In this paper we generalize Donaldson's method and construct complete scalar-flat toric Kahler metrics on any symplectic toric 4-manifold with "strictly unbounded" moment polygon. These include the asymptotic locally Euclidean scalar-flat Kahler metrics previously constructed by Ca…
In this paper, we show that the complete scalar-flat Kahler metrics constructed by Abreu and the author on strictly unbounded toric 4-dimensional orbifolds have finite $L^2$ norm of the full Riemannian tensor. In particular, this answers a question of Donaldon's on the corresponding Generalized Taub-NUT metric on $R^4$. This norm is explicitly determined when the underlying toric manifold is the minimal resolution of a cyclic singularity. In the Ricci-flat case corresponding to gravitational instantons, this recovers a recent result of Atiyah-Lebrun.
This paper is concerned with the rational symplectic field theory in the Floer case. For this observe that in the general geometric setup for symplectic field theory the contact manifolds can be replaced by mapping tori of symplectic manifolds with symplectomorphisms. While the cylindrical contact homology is given by the Floer homologies of powers of the symplectomorphism, the other algebraic invariants of symplectic field theory provide natural generalizations of symplectic Floer homology. For symplectically aspherical manifolds and Hamiltonian symplectomorphisms we study the moduli spaces o…
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.
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.
We discuss the construction of toric Kaehler metrics on symplectic 2n-manifolds with a hamiltonian n-torus action and present a simple derivation of the Guillemin formula for a distinguished Kaehler metric on any such manifold. The results also apply to orbifolds.
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.
In this paper, we show the spectral convergence result of $\overline{\partial}$-Laplacians when $(X,ω)$ is a compact toric symplectic manifold equipped with the natural prequantum line bundle $L$. We consider a family $\{ J_s\}_s$ of $ω$-compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of $\overline{\partial}$-Laplacians acting on $L^k$.
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.
A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension $2n$, equipped with an effective Hamiltonian action of the standard $n$-torus $\T^n = \R^{n}/2π\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map $ϕ:M\to\R^n$, a convex polytope $P=ϕ(M)\subset\R^n$. In this paper we show, using symplectic (action-angle) coordinates on $P\times \T^n$, how all $\om$-compatible toric complex structures on $M$ can be effectively parametrized by smooth functions on $P$. We also discuss some topics suited for a…
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…
We prove that there exist diffeomorphisms of tori, supported in a disc, which are not isotopic to symplectomorphisms with respect to any symplectic structure. This yields a partial negative answer to a question of Benson and Gordon about the existence of symplectic structures on tori with exotic differential structure.
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.
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 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.
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})$.
We study the poset of Hamiltonian tori for polygon spaces. We determine some maximal elements and give examples where maximal Hamiltonian tori are not all of the same dimension.
We compute the semiclassical formulas for the partition functions obtained using two different Lagrangians: the Chern-Simons functional and the symplectic action functional.
We calculate the Riemann-Roch number of some of the pentagon spaces defined in [Klyachko,Kapovich-Millson,HK1]. Using this, we show that while the regular pentagon space is diffeomorphic to a toric variety, even symplectomorphic to one under arbitrarily small perturbations of its symplectic structure, it does not admit a symplectic circle action. In particular, within the cohomology classes of symplectic structures, the subset admitting a circle action is not closed.
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.
Let M be a closed symplectic manifold of volume V. We say that the symplectic packings of M by ellipsoids are unobstructed if any collection of disjoint symplectic ellipsoids (possibly of different sizes) of total volume less than V admits a symplectic embedding to M. We show that the symplectic packings by ellipsoids are unobstructed for all even-dimensional tori equipped with Kahler symplectic forms and all closed hyperkahler manifolds of maximal holonomy, or, more generally, for closed Campana simple manifolds (that is, Kahler manifolds that are not unions of their complex subvarieties), as…
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…
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 question of how many embedded symplectic or Lagrangian tori can represent the same homology class in a simply connected symplectic 4-manifold.
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.
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 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.
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.
We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated.
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…
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.
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…
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.
Recently, extending work by Karshon, Kessler and Pinsonnault, Borisov and McDuff showed that a given symplectic manifold $(M,ω)$ has a finite number of distinct toric structures. Moreover, McDuff also showed a product of two projective spaces $\bC P^r\times \bC P^s$ with any given symplectic form has a unique toric structure provided that $r,s\geq 2$. In contrast, the product $\bC P^r \times \bC P^1$ can be given infinitely many distinct toric structures, though only a finite number of these are compatible with each given symplectic form $ω$. In this paper we extend these results by considerin…
For any pair of integers $n\geq 1$ and $q\geq 2$, we construct an infinite family of mutually non-isotopic symplectic tori representing the homology class $q[F]$ of an elliptic surface E(n), where $[F]$ is the homology class of the fiber. We also show how such families can be non-isotopically and symplectically embedded into a more general class of symplectic 4-manifolds.
For each member of an infinite family of homology classes in the K3-surface E(2), we construct infinitely many non-isotopic symplectic tori representing this homology class. This family has an infinite subset of primitive classes. We also explain how these tori can be non-isotopically embedded as homologous symplectic submanifolds in many other symplectic 4-manifolds including the elliptic surfaces E(n) for n>2.
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.
