Let $M$ be a symplectic toric manifold acted on by a torus $\mathbb{T}$. In this work we exhibit an explicit basis for the equivariant K-theory ring $\mathcal{K}_{\mathbb{T}}(M)$ which is canonically associated to a generic component of the moment map. We provide a combinatorial algorithm for computing the restrictions of the elements of this basis to the fixed point set; these, in turn, determine the ring structure of $\mathcal{K}_{\mathbb{T}}(M)$. The construction is based on the notion of local index at a fixed point, similar to that introduced by Guillemin and Kogan in [GK].
We apply the same techniques to exhibit an explicit basis for the equivariant cohomology ring $H_{\mathbb{T}}(M; \mathbb{Z})$ which is canonically associated to a generic component of the moment map. Moreover we prove that the elements of this basis coincide with some well-known sets of classes: the equivariant Poincaré duals to the closures of unstable manifolds, and also the canonical classes introduced by Goldin and Tolman in [GT], which exist whenever the moment map is index increasing.
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 study the equivariant disc potentials for immersed SYZ fibers in toric Calabi-Yau manifolds. The immersed Lagrangians play a crucial role in the partial compactification of the SYZ mirrors. Morever, their equivariant disc potentials have a close relation with that of Aganagic-Vafa branes. We show that the potentials can be computed by using an equivariant version of isomorphisms in the Fukaya category.
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 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…
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 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 …
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…
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…
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.
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…
Consider a Hamiltonian action of a compact Lie group on a symplectic manifold which has the strong Lefschetz property. We establish an equivariant version of the Merkulov-Guillemin $dδ$-lemma and an improved version of the Kirwan-Ginzburg equivariant formality theorem, which says that every cohomology class has a \emph{canonical} equivariant extension.
Consider the Hamiltonian action of a compact connected Lie group on a transversely symplectic foliation which satisfies the transverse hard Lefschetz property. We establish an equivariant formality theorem and an equivariant symplectic $dδ$-lemma in this setting. As an application, we show that if the foliation is also Riemannian, then there exists a natural formal Frobenius manifold structure on the equivariant basic cohomology of the foliation.
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 …
We prove that every symplectic toric orbifold is a centered reduction of a Cartesian product of weighted projective spaces. A theorem of Abreu and Macarini shows that if the level set of the reduction passes through a non-displaceable set then the image of this set in the reduced space is also non-displaceable. Using this result we show that every symplectic toric orbifold contains a non-displaceable fiber and we identify this fiber.
We use Seidel representation for symplectic orbifolds constructed in Tseng and Wang to compute the quantum cohomology ring of a compact symplectic toric orbifold $(\X,ω)$.
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 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 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.
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.
We relate the quantum Steenrod square to Seidel's equivariant pair-of-pants product for open convex symplectic manifolds that are either monotone or exact, using an equivariant version of the PSS isomorphism. We proceed similarly for $\mathbb{Z}/2$-equivariant symplectic cohomology, using an equivariant version of the continuation and $c^*$-maps. We prove a symplectic Cartan relation, pointing out the difficulties in stating it. We give a nonvanishing result for the equivariant pair-of-pants product for some elements of $SH^*(T^* S^n)$. We finish by calculating the symplectic square for the ne…
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 identify a certain universal Landau-Ginzburg model as a mirror of the big equivariant quantum cohomology of a (not necessarily compact or semipositive) toric manifold. The mirror map and the primitive form are constructed via Seidel elements and shift operators for equivariant quantum cohomology. Primitive forms in non-equivariant theory are identified up to automorphisms of the mirror.
We define an $S^1$-equivariant index for non-compact symplectic manifolds with Hamiltonian $S^1$-action. We use the perturbation by Dirac-type operator along the $S^1$-orbits. We give a formulation and a proof of quantization conjecture for this $S^1$-equivariant index. We also give comments on the relation between our $S^1$-equivariant index and the index of transverse elliptic operators.
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 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 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.
This paper determines a condition that is necessary and sufficient for a metaplectic-c prequantizable symplectic manifold with an effective Hamiltonian torus action to admit an equivariant metaplectic-c prequantization. The condition is evaluated at a fixed point of the momentum map, and is shifted from the one that is known for equivariant prequantization line bundles. Given a metaplectic-c prequantized symplectic manifold with a Hamiltonian energy function, the author previously proposed a condition under which a regular value of the function should be considered a quantized energy level of …
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 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…
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 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.
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…
Toric varieties play an important role both in symplectic and complex geometry. In symplectic geometry, the construction of a symplectic toric manifold from a smooth polytope is due to Delzant. In algebraic geometry, there is a more general construction using fans rather than polytopes. However, in case the fan is induced by a smooth polytope Audin showed both constructions to give isomorphic projective varieties. For rational but not necessarily smooth polytopes the Delzant construction was refined by Lerman and Tolman, leading to symplectic toric orbifolds or more generally, symplectic toric…
We investigate the convexity up to symplectomorphism (called symplectic convexity) of star-shaped toric domains in $\mathbb R^4$. In particular, based on the criterion from Chaidez-Edtmair via Ruelle invariant and systolic ratio of the boundary of star-shaped toric domains, we provide elementary operations on domains that can kill the symplectic convexity. These operations only result in $C^0$-small perturbations in terms of domains' volume. Moreover, one of the operations is a systematic way to produce examples of dynamically convex but not symplectically convex toric domains. Finally, we are…
Let O be a symplectic toric 2n-dimensional orbifold with a fixed T^n-action and with a toric Kahler metric g. We previously explored whether, when O is a manifold, the equivariant spectrum of the Laplace operator acting on smooth functions on (O,g) determines the moment polytope of O, and hence by Delzant's theorem determines O up to symplectomorphism. In the setting of toric orbifolds we significantly improve upon our previous results and show that the moment polytope of a generic toric orbifold is determined by its equivariant spectrum, up to two possibilities and up to translation. This inv…
In this article we extend cutting and blowing up to the nonrational symplectic toric setting. This entails the possibility of cutting and blowing up for symplectic toric manifolds and orbifolds in nonrational directions.
In this paper we are interested in the isotopy classes of symplectic log Calabi-Yau divisors in a fixed symplectic rational surface. We give several equivalent definitions and prove the stability, finiteness and rigidity results. Motivated by the problem of counting toric actions, we obtain a general counting formula of symplectic log Calabi-Yau divisors in a restrictive region of $c_1$-nef cone. A detailed count in the case of 2- and 3-point blow-ups of complex projective space for all symplectic forms is also given. In our framework the complexity of the combinatorics of analyzing Delzant po…
