A good contact toric manifold $M$ is determined by its moment cone $C$. We compute the equivariant cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$. Then under a smoothness criterion on the cone $C$, we compute the singular cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$.
A toric origami manifold is a generalization of a symplectic toric manifold (or a toric symplectic manifold). The origami symplectic form is allowed to degenerate in a good controllable way in contrast to the usual symplectic form. It is widely known that symplectic toric manifolds are encoded by Delzant polytopes, and the cohomology and equivariant cohomology rings of a symplectic toric manifold can be described in terms of the corresponding polytope. Recently, Holm and Pires described the cohomology of a toric origami manifold $M$ in terms of the orbit space $M/T$ when $M$ is orientable and …
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,ω)$.
In this article, we consider the Floer cohomology (with $\Z_2$ coefficients) between torus fibers and the real Lagrangian in Fano toric manifolds. We first investigate the conditions under which the Floer cohomology is defined, and then develop a combinatorial description of the Floer complex based on the polytope of the toric manifold. We show that if the Floer cohomology is defined, and the Floer cohomology of the torus fiber is non-zero, then the Floer cohomology of the pair is non-zero. We use this result to develop some applications to non-displaceability and the minimum number of interse…
The degree zero part of the quantum cohomology algebra of a smooth Fano toric symplectic manifold is determined by the superpotential function, W, of its moment polytope. In particular, this algebra is semisimple, i.e. splits as a product of fields, if and only if all the critical points of W are non-degenerate. In this paper we prove that this non-degeneracy holds for all smooth Fano toric varieties with facet-symmetric duals to moment polytopes.
In this paper, we give a description of holomorphic multi-vector fields on smooth compact toric varieties, which generalizes Demazure's result of holomorphic vector fields on toric varieties. Based on the result, we compute the Poisson cohomology groups of holomorphic toric Poisson manifolds, i.e., toric varieties endowed with $T$-invariant holomorphic Poisson structures.
A holomorphic toric Poisson manifold is a nonsingular toric variety equipped with a holomorphic Poisson structure, which is invariant under the torus action. In this paper, we computed the Poisson cohomology groups for all holomorphic toric Poisson structures on $CP^n$, with the stand Poisson structure on $CP^n$ as a special case. We also computed the algebraic and the formal Poisson cohomology groups of holomorphic toric Poisson structures on $C^n$.
Computing embedded contact homology (ECH) and related invariants of certain toric 3-manifolds (in the sense of Lerman) has led to interesting new results in the study of symplectic embeddings. Here, we give a combinatorial formulation of ECH chain complexes for general toric contact 3-manifolds. As a corollary, we prove Conjecture A.3 from [Hutchings14].
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.
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…
Let $(M, α)$ be a $2n+1$-dimensional connected compact contact toric manifold of Reeb type. Suppose the contact form $α$ is regular, we find conditions under which $M$ is homeomorphic to $S^{2n+1}$.
We investigate the small area limit of the gauged Lagrangian Floer cohomology of Frauenfelder. The resulting cohomology theory, which we call quasimap Floer cohomology, is an obstruction to displaceability of Lagrangians in the symplectic quotient. We use the theory to reproduce the results of Fukaya-Oh-Ohta-Ono and Cho-Oh on non-displaceability of moment fibers of not-necessarily-Fano toric varieties and extend their results to toric orbifolds, without virtual fundamental chains. Finally we describe a conjectural relationship to Floer cohomology in the quotient.
A folded symplectic form on a manifold is a closed 2-form with the mildest possible degeneracy along a hypersurface. A special class of folded symplectic manifolds are the origami symplectic manifolds, studied by Cannas da Silva, Guillemin and Pires, who classified toric origami manifolds by combinatorial origami templates. In this paper, we examine the topology of toric origami manifolds that have acyclic origami template and co-orientable folding hypersurface. We prove that the cohomology is concentrated in even degrees, and that the equivariant cohomology satisfies the GKM description. Fina…
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…
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…
In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co)chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter $T^{2π} = e^{-1}$, our computation verifies the folklore that FOOO's obstruction (co)chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspo…
We prove that the equivariant big quantum cohomology QH^*_T(E) of the total space of a toric bundle E \to B converges provided that the big quantum cohomology QH^*(B) converges. The proof is based on Brown's mirror theorem for toric bundles. It has been observed by Coates, Givental and Tseng that the quantum connection of E splits into copies of that of B. Under the assumption that QH^*(B) is convergent, we construct a decomposition of the quantum D-module of E into a direct sum of that of B, which is analytic with respect to parameters of QH^*_T(E). In particular, we obtain an analytic decomp…
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…
These are notes for a course on contact manifolds and torus actions delivered at the summer school on Symplectic Geometry of Integrable Hamiltonian Systems at Centre de Recerca Matemàtica in Barcelona in July 2001. To be published by Birkhauser.
We study the contact equivalence problem for toric contact structures on $S^3$-bundles over $S^2$. That is, given two toric contact structures, one can ask the question: when are they equivalent as contact structures while inequivalent as toric contact structures? In general this appears to be a difficult problem. To find inequivalent toric contact structures that are contact equivalent, we show that the corresponding 3-tori belong to distinct conjugacy classes in the contactomorphism group. To show that two toric contact structures with the same first Chern class are contact inequivalent, we …
We complete the classification of compact connected contact toric manifolds initiated by Banyaga and Molino and by Galicki and Boyer. As an application we prove the conjectures of Toth and Zelditch on toric integrable systems on the n-torus and the 2-sphere.
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…
We give a short new computation of the quantum cohomology of an arbitrary smooth toric variety $X$, by showing directly that the Kodaira-Spencer map of Fukaya-Oh-Ohta-Ono defines an isomorphism onto a suitable Jacobian ring. The proof is based on the purely algebraic fact that a class of generalised Jacobian rings associated to $X$ are free as modules over the Novikov ring. In contrast to previous results of this kind, $X$ need not be compact. When $X$ is monotone the presentation we obtain is completely explicit, using only well-known computations with the standard complex structure.
We define toric contact manifolds in arbitrary codimension and give a description of such manifolds in terms of a kind of labelled polytope embedded into a grassmannian, analogous to the Delzant polytope of a toric symplectic manifold.
We study real and integral structures in the space of solutions to the quantum differential equations. First we show that, under mild conditions, any real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large radius limit. Secondly, we use mirror symmetry to calculate the "most natural" integral structure in quantum cohomology of toric orbifolds. We show that the integral structure pulled back from the singularity B-model is described only in terms of topological data in the A-model; K-group and a characteristic class. Using integral structures, we g…
Due to a previous result which states that contact varieties are isomorphic to certain varieties, the momentum polytopes of contact manifolds are convex.
We study certain foliated complex manifolds that behave similarly to complete nonsingular toric varieties. We classify them by combinatorial objects that we call marked fans. We describe the basic cohomology algebras of them in terms of corresponding marked fans. We also study the basic Dolbeault cohomology algebras of them.
We prove that the mean Euler characteristic of a Gorenstein toric contact manifold, i.e. a good toric contact manifold with zero first Chern class, is equal to half the normalized volume of the corresponding toric diagram and give some applications. A particularly interesting one, obtained using a result of Batyrev and Dais, is the following: twice the mean Euler characteristic of a Gorenstein toric contact manifold is equal to the Euler characteristic of any crepant toric symplectic filling, i.e. any toric symplectic filling with zero first Chern class.
On a symplectic manifold $M$, the quantum product defines a complex, one parameter family of flat connections called the A-model or Dubrovin connections. Let $\hbar$ denote the parameter. Associated to them is the quantum $\mathcal{D}$ - module ${\mathcal{D}}/I$ over the Heisenberg algebra of first order differential operators on a complex torus. An element of $I$ gives a relation in the quantum cohomology of $M$ by taking the limit as $\hbar\to 0$. Givental (HomGeom), discovered that there should be a structure of a $\mathcal{D}$ - module on the (as yet not rigorously defined) ${S^1}$ equivar…
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 derive a wall crossing formula for the symplectic vortex invariants of toric manifolds. As an application, we give a proof of Batyrev's formula for the quantum cohomology of a monotone toric manifold with minimal Chern number at least two.
We introduce an integral structure in orbifold quantum cohomology associated to the K-group and the Gamma-class. In the case of compact toric orbifolds, we show that this integral structure matches with the natural integral structure for the Landau-Ginzburg model under mirror symmetry. By assuming the existence of an integral structure, we give a natural explanation for the specialization to a root of unity in Y. Ruan's crepant resolution conjecture.
Using the mirror theorem [CCIT15], we give a Landau-Ginzburg mirror description for the big equivariant quantum cohomology of toric Deligne-Mumford stacks. More precisely, we prove that the big equivariant quantum D-module of a toric Deligne-Mumford stack is isomorphic to the Saito structure associated to the mirror Landau-Ginzburg potential. We give a GKZ-style presentation of the quantum D-module, and a combinatorial description of quantum cohomology as a quantum Stanley-Reisner ring. We establish the convergence of the mirror isomorphism and of quantum cohomology in the big and equivariant …
I begin by giving a general discussion of completely integrable Hamiltonian systems in the setting of contact geometry. We then pass to the particular case of toric contact structures on the manifold $S^2\times S^3$. In particular we give a complete solution to the contact equivalence problem for a class of toric contact structures, $Y^{p,q}$, discovered by physicists by showing that $Y^{p,q}$ and $Y^{p',q'}$ are inequivalent as contact structures if and only if $p\neq p'$.
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 s…
We study a class of simply connected manifolds in all odd dimensions greater than 3 that exhibit an infinite number of toric contact structures of Reeb type that are inequivalent as contact structures. We compute the cohomology ring of our manifolds by using the join construction for Sasaki manifolds and show that all such contact structures admit a ray of compatible Sasaki metrics of constant scalar curvature (CSC). Furthermore, infinitely many such structures admit at least 3 rays of constant scalar curvature Sasaki metrics.
We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric degeneration of cubic surfaces, the Givental's mirror theorem for toric manifolds, and the Picard-Lefschetz theory.
In this paper we show that any good toric contact manifold has well defined cylindrical contact homology and describe how it can be combinatorially computed from the associated moment cone. As an application we compute the cylindrical contact homology of a particularly nice family of examples that appear in the work of Gauntlett-Martelli-Sparks-Waldram on Sasaki-Einstein metrics. We show in particular that these give rise to a new infinite family of non-equivalent contact structures on $S^2 \times S^{3}$ in the unique homotopy class of almost contact structures with vanishing first Chern class…
After observing that the well-known convexity theorems of symplectic geometry also hold for compact contact manifolds with an effective action of a torus whose Reeb vector field corresponds to an element of the Lie algebra of the torus, we use this fact together with a recent symplectic orbifold version of Delzant's theorem due to Lerman and Tolman [LT] to show that every such compact toric contact manifold can be obtained by a contact reduction from an odd dimensional sphere.
We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several ex…
This is a continuation of part I in the series of the papers on Lagrangian Floer theory on toric manifolds. Using the deformations of Floer cohomology by the ambient cycles, which we call bulk deformations, we find a continuum of non-displaceable Lagrangian fibers on some compact toric manifolds. We also provide a method of finding all fibers with non-vanishing Floer cohomology with bulk deformations in arbitrary compact toric manifolds, which we call bulk-balanced Lagrangian fibers.
The first two authors showed in~\cite{AM1} how the Conley-Zehnder index of any contractible periodic Reeb orbit of a non-degenerate toric contact form on a good toric contact manifold with zero first Chern class, i.e. a Gorenstein toric contact manifold, can be explicitly computed using moment map data. In this paper we show that the same explicit method can be used to compute Conley-Zehnder indices of non-contractible periodic Reeb orbits. Under appropriate conditions, the (finite) number of such orbits in a given free homotopy class and with a given index is a contact invariant of the underl…
We compute the ring structure of Floer cohomology groups of Lagrangian torus fibers in some toric Fano manifolds continuing the study of \cite{CO}. Related $\AI$-formulas hold for transversal choice of chains. Two different computations are provided: a direct calculation using the classification of holomorphic discs by Oh and the author in \cite{CO}, and another method by using an {\it analogue of divisor equation} in Gromov-Witten invariants to thecase of discs. Floer cohomology rings are shown to be isomorphic to Clifford algebras, whose quadratic forms are given by the Hessians of functions…
In this paper we study Lagrangian Floer theory on toric manifolds from the point of view of mirror symmetry. We construct a natural isomorphism between the Frobenius manifold structures of the (big) quantum cohomology of the toric manifold and of Saito's theory of singularities of the potential function constructed in \cite{fooo09} via the Floer cohomology deformed by ambient cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten theory of one-loop.
Properties of contact toric structures and concave boundaries of linear plumbings
University of Belgrade(贝尔格莱德大学);Rice University(莱斯大学);Institut Fourier, Université Grenoble Alpes(格勒诺布尔阿尔卑斯大学傅里叶研究所);UC Davis(加州大学戴维斯分校);Weizmann Institute of Science(魏茨曼科学研究所);Institute for Advanced Study(普林斯顿高等研究院)
This paper introduces the notion of twisted toric manifolds which is a generalization of one of symplectic toric manifolds, and proves the weak Delzant type classification theorem for them. The computation methods for their fundamental groups, cohomology groups in general cases, and signatures in four-dimensional cases are also given.
This article is a survey of a series of papers [FOOO3,FOOO4,FOOO5] in which we developed the method of calculation of Floer cohomology of Lagrangian torus orbits in compact toric manifolds, and its applications to symplectic topology and to mirror symmetry. In this article we summarize the main ingredients of calculation and illustrate them by examples. The second half of the survey is devoted to discussion of the most recent result from [FOOO5] (arXiv:1009.1648) where the mirror symmetry between the two Frobenius manifolds arising from the big quantum cohomology and from the K. Saito theory o…
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.
Kostant gave a model for the real geometric quantization associated to polarizations via the cohomology associated to the sheaf of flat sections of a pre-quantum line bundle. This model is well-adapted for real polarizations given by integrable systems and toric manifolds. In the latter case, the cohomology can be computed counting integral points inside the associated Delzant polytope. In this article we extend Kostant's geometric quantization to semitoric integrable systems and almost toric manifolds. In these cases the dimension of the acting torus is smaller than half of the dimension of t…