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 define and solve the toric version of the symplectic ball packing problem, in the sense of listing all 2n-dimensional symplectic-toric manifolds which admit a perfect packing by balls embedded in a symplectic and torus equivariant fashion. In order to do this we first describe a problem in geometric-combinatorics which is equivalent to the toric symplectic ball packing problem. Then we solve this problem using arguments from Convex Geometry and Delzant theory. Applications to symplectic blowing-up are also presented, and some further questions are raised in the last section.
We provide an enumerative meaning of the mirror maps for toric Calabi-Yau orbifolds in terms of relative Gromov-Witten invariants of the toric compactifications. As a consequence, we obtain an equality between relative Gromov-Witten invariants and open Gromov-Witten invariants. Therefore, the instanton corrected mirrors for toric Calabi-Yau orbifolds can be constructed using relative Gromov-Witten invariants.
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…
In this paper, we give a tropical method for computing Gromov-Witten type invariants of Fano manifolds of special type. This method applies to those Fano manifolds which admit toric degenerations to toric Fano varieties with singularities allowing small resolutions. Examples include (generalized) flag manifolds of type A, and some moduli space of rank two bundles on a genus two curve.
We prove that for a compact toric manifold whose anti-canonical divisor is numerically effective, the Lagrangian Floer superpotential defined by Fukaya-Oh-Ohto-Ono is equal to the superpotential written down by using the toric mirror map under a convergence assumption. This gives a method to compute open Gromov-Witten invariants using mirror symmetry.
Polyfold theory, as developed by Hofer, Wysocki, and Zehnder, is a relatively new approach to resolving transversality issues that arise in the study of $J$-holomorphic curves in symplectic geometry. This approach has recently led to a well-defined Gromov-Witten invariant for $J$-holomorphic curves of arbitrary genus, and for all closed symplectic manifolds. The Gromov-Witten axioms, as originally described by Kontsevich and Manin, give algebraic relationships between the Gromov-Witten invariants. In this paper, we prove the Gromov-Witten axioms for the polyfold Gromov-Witten invariants.
We give an intrinsic definition of toric symplectic stacks, and show that they are classified by simple convex polytopes equipped with some additional combinatorial data. This generalizes Delzant's classification of toric symplectic manifolds. As an application, we show that any toric symplectic stack can be deformed to an ineffective toric orbifold.
We use Donaldson hypersurfaces to construct pseudo-cycles which define Gromov-Witten invariants for any symplectic manifold which agree with the invariants in the cases where transversality could be achieved by perturbing the almost complex structure.
This is a collection of results on the topology of toric symplectic manifolds. Using an idea of Borisov, we show that a closed symplectic manifold supports at most a finite number of toric structures. Further, the product of two projective spaces of complex dimension at least two (and with a standard product symplectic form) has a unique toric structure. We then discuss various constructions, using wedging to build a monotone toric symplectic manifold whose center is not the unique point displaceable by probes, and bundles and blow ups to form manifolds with more than one toric structure. The …
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.
We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford (DM) stacks (with possibly non-trivial generic stabilizers and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack with boundaries mapped into a Aganagic-Vafa brane. All genus open-closed Gromov-Witten invariants are defined by torus localization and depend on the choice …
Based on the large N duality relating topological string theory on Calabi-Yau 3-folds and Chern-Simons theory on 3-manifolds, M. Aganagic, A. Klemm, M. Marino and C. Vafa proposed the topological vertex (hep-th/0305132), an algorithm on computing Gromov-Witten invariants in all genera of any non-singular toric Calabi-Yau 3-fold. In this expository article, we describe the mathematical theory of the topological vertex developed by J. Li, K. Liu, J. Zhou, and the author (math/0408426).
In this paper, we compute the open Gromov-Witten invariants for every compact toric surface X which is semi-Fano (i.e. the anticanonical line bundle is nef). Unlike the Fano case, this involves non-trivial obstructions in the corresponding moduli problem. As a consequence, an explicit formula for the Lagrangian Floer superpotential W is obtained, which in turn gives an explicit presentation of the small quantum cohomology ring of X. We also provide a computational verification of the conjectural ring isomorphism between the small quantum cohomology of X and the Jacobian ring of W.
We prove that the Gromov width of coadjoint orbits of the symplectic group is at least equal to the upper bound known from the works of Zoghi and Caviedes. This establishes the actual Gromov width. Our work relies on a toric degeneration of a coadjoint orbit to a toric variety. The polytope associated to this toric variety is a string polytope arising from a string parametrization of elements of a crystal basis for a certain representation of the symplectic group.
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 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 prove that the moduli space of gauge equivalence classes of symplectic vortices with uniformly bounded energy in a compact Hamiltonian manifold admits a Gromov compactification by polystable vortices. This extends results of Mundet i Riera and Tian for circle actions to the case of arbitrary compact Lie groups. Our argument relies on an a priori estimate for vortices that allows us to apply techniques used by McDuff and Salamon in their proof of Gromov compactness for pseudoholomorphic curves. As an intermediate result we prove a removable singularity theorem for vortices.
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.
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…
For a complex projective manifold Gromov-Witten invariants can be constructed either algebraically or symplectically. Using the versions of Gromov-Witten theory by Behrend and Fantechi on the algebraic side and by the author on the symplectic side, we prove that both points of view give the same results. A similar statement has been obtained independently by Li and Tian using their definitions of algebraic and symplectic Gromov-Witten invariants (alg-geom/9712035).
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…
We describe the extent to which Ionel-Parker's proposed refinement of the standard relative Gromov-Witten invariants sharpens the usual symplectic sum formula. The key product operation on the target spaces for the refined invariants is specified in terms of abelian covers of symplectic divisors, making it suitable for studying from a topological perspective. We give several qualitative applications of this refinement, which include vanishing results for Gromov-Witten invariants.
Embedded contact homology gives a sequence of obstructions to four-dimensional symplectic embeddings, called ECH capacities. In "Symplectic embeddings into four-dimensional concave toric domains", the author, Choi, Frenkel, Hutchings and Ramos computed the ECH capacities of all "concave toric domains", and showed that these give sharp obstructions in several interesting cases. We show that these obstructions are sharp for all symplectic embeddings of concave toric domains into "convex" ones. In an appendix with Choi, we prove a new formula for the ECH capacities of convex toric domains, which …
We study pseudoholomorphic curves in symplectic quotients as adiabatic limits of solutions of a system of nonlinear first order elliptic partial differential equations in the ambient symplectic manifold. The symplectic manifold carries a Hamiltonian group action. The equations involve the Cauchy-Riemann operator over a Riemann surface, twisted by a connection, and couple the curvature of the connection with the moment map. Our main theorem asserts that the genus zero invariants of Hamiltonian group actions defined by these equations are related to the genus zero Gromov--Witten invariants of th…
In this paper, using the degeneration formula we obtain a blowup formulae of local Gromov-Witten invariants of Fano surfaces. This formula makes it possible to compute the local Gromov-Witten invariants of non-toric Fano surfaces form toric Fano surface, such as del Pezzo surfaces. This formula also verifed an expectation of Chiang-Klemm-Yau-Zaslow.
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 study the degeneration and the gluing of Kuranishi structures in Gromov-Witten theory under a symplectic cut. This leads us to a degeneration axiom and a gluing axiom for open Gromov-Witten invariants. They provide then a route to the construction of virtual fundamental chains via specialization. Comments on the equivalence of the degeneration formula of closed Gromov-Witten invariants by Li-Ruan/Li versus Ionel-Parker are given in the Appendix.
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.
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 …
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.
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 introduce a global Landau-Ginzburg model which is mirror to several toric Deligne-Mumford stacks and describe the change of the Gromov-Witten theories under discrepant transformations. We prove a formal decomposition of the quantum cohomology D-modules (and of the all-genus Gromov-Witten potentials) under a discrepant toric wall-crossing. In the case of weighted blowups of weak-Fano compact toric stacks along toric centres, we show that an analytic lift of the formal decomposition corresponds, via the $\widehatΓ$-integral structure, to an Orlov-type semiorthogonal decomposition of topologic…
A toric domain is a subset of $(\mathbb{C}^n,ω_{\text{std}})$ which is invariant under the standard rotation action of $\mathbb{T}^n$ on $\mathbb{C}^n$. For a toric domain $U$ from a certain large class for which this action is not free, we find a corresponding toric domain $V$ where the standard action is free, and for which $c(U)=c(V)$ for any symplectic capacity $c$. Michael Hutchings gives a combinatorial formula for calculating his embedded contact homology symplectic capacities for certain toric four-manifolds on which the $\mathbb{T}^2$-action is free. Our theorem allows one to extend t…
In the symplectic category there is a `connect sum' operation that glues symplectic manifolds by identifying neighborhoods of embedded codimension two submanifolds. This paper establishes a formula for the Gromov-Witten invariants of a symplectic sum Z=X#Y in terms of the relative GW invariants of X and Y. Several applications to enumerative geometry are given.
Gromov-Witten invariants of a symplectic manifold are a count of holomorphic curves. We describe a formula expressing the GW invariants of a symplectic sum $X# Y$ in terms of the relative GW invariants of $X$ and $Y$. This formula has several applications to enumerative geometry. As one application, we obtain new relations in the cohomology ring of the moduli space of complex structures on a genus g Riemann surface with n marked points.
A toric degeneration in algebraic geometry is a process where a given projective variety is being degenerated into a toric one. Then one can obtain information about the original variety via analyzing the toric one, which is a much easier object to study. Harada and Kaveh described how one incorporates a symplectic structure into this process, providing a very useful tool for solving certain problems in symplectic geometry. Below we present applications of this method to questions about the Gromov width, and cohomological rigidity problems.
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.
The natural sum operation for symplectic manifolds is defined by gluing along codimension two submanifolds. Specifically, let X be a symplectic 2n-manifold with a symplectic (2n-2)-submanifold V. Given a similar pair (Y,W) with a symplectic identification V=W and a complex anti-linear isomorphism between the normal bundles of V and W, we can form the symplectic sum Z=X # Y. This note announces a general formula for computing the Gromov-Witten invariants of the sum Z in terms of relative Gromov-Witten invariants of (X,V) and (Y,W). Two applications are presented: a short derivation of the Capor…
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.
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…
In this paper the Gromov-Witten invariants on a class of noncompact symplectic manifolds are defined by combining Ruan-Tian's method with that of McDuff-Salamon. The main point of the arguments is to introduce a method dealing with the transversality problems in the case of noncompact manifolds. Moreover, the techniques are also used to study the topological rigidity of Hamiltonian loops with compact support on a class of noncompact symplectic manifolds.
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.
We introduce the concept of pseudo symplectic capacities which is a mild generalization of that of symplectic capacities. As a generalization of the Hofer-Zehnder capacity we construct a Hofer-Zehnder type pseudo symplectic capacity and estimate it in terms of Gromov-Witten invariants. The (pseudo) symplectic capacities of Grassmannians and some product symplectic manifolds are computed. As applications we first derive some general nonsqueezing theorems that generalize and unite many previous versions, then prove the Weinstein conjecture for cotangent bundles over a large class of symplectic u…