This paper studies symplectic manifolds that admit semi-free circle actions with isolated fixed points. We prove, using results on the Seidel element due to McDuff and Tolman, that the (small) quantum cohomology of a $2n$ dimensional manifold of this type is isomorphic to the (small) quantum cohomology of a product of $n$ copies of $\bb{P}^1$. This generalizes a result due to Tolman and Witsman.
We prove the generalised McKay correspondence for isolated singularities using Floer theory. Given an isolated singularity \C^n/G for a finite subgroup G in SL(n,\C) and any crepant resolution Y, we prove that the rank of positive symplectic cohomology SH_+(Y) is the number of conjugacy classes of G, and that twice the age grading on conjugacy classes is the \Z-grading on SH_+(Y) by the Conley-Zehnder index. The generalised McKay correspondence follows as SH_+(Y) is naturally isomorphic to ordinary cohomology H(Y), due to a vanishing result for full symplectic cohomology. In the Appendix we co…
In this paper, we give partial answers to the following questions: Which contact manifolds are contactomorphic to links of isolated complex singularities? Which symplectic manifolds are symplectomorphic to smooth affine varieties? The invariant that we will use to distinguish such manifolds is called the growth rate of wrapped Floer cohomology. Using this invariant we show that if Q is a simply connected manifold whose unit cotangent bundle is contactomorphic to the link of an isolated singularity or whose cotangent bundle is symplectomorphic to a smooth affine variety then M must be rationall…
Let $M$ be a symplectic manifold, equipped with a semifree symplectic circle action with a finite, nonempty fixed point set. We show that the circle action must be Hamiltonian, and $M$ must have the equivariant cohomology and Chern classes of $(P^1)^n$.
The Floer cohomology of a symplectic automorphism and that of its square are related by the pair-of-pants product. For exact symplectic automorphisms, we introduce an equivariant version of that product, and use it to prove a Smith-type inequality of ranks between Floer cohomology groups. Under additional topological assumptions, the same inequality was previously proved by Hendricks, using a different strategy.
Let $(M,ω)$ be an eight-dimensional closed symplectic manifold equipped with a Hamiltonian circle action with only isolated fixed points. In this article, we will show that the Betti numbers of $M$ are unimodal, i.e. $b_0(M) \leq b_2(M) \leq b_4(M)$.
Let $M$ be a compact, connected symplectic manifold with a Hamiltonian action of a compact $n$-dimensional torus $G=T^n$. Suppose that $σ$ is an anti-symplectic involution compatible with the $G$-action. The real locus of $M$ is $X$, the fixed point set of $σ$. Duistermaat uses Morse theory to give a description of the ordinary cohomology of $X$ in terms of the cohomology of $M$. There is a residual $\G=(\Zt)^n$ action on $X$, and we can use Duistermaat's result, as well as some general facts about equivariant cohomology, to prove an equivariant analogue to Duistermaat's theorem. In some cases…
Consider a symplectic circle action on a closed symplectic manifold with non-empty isolated fixed points. Associated to each fixed point, there are well-defined non-zero integers, called weights. We prove that the action is Hamiltonian if the sum of an odd number of weights is never equal to zero (the weights may be taken at different fixed points). Moreover, we show that if $\dim M=6$, or if $\dim M=2n \leq 10$ and each fixed point has weights $\{\pm a_1, \cdots, \pm a_n\}$ for some positive integers $a_i$, it is enough to consider the sum of three weights. As applications, we recover the res…
An odd-dimensional differentiable manifold is called \emph{holomorphically fillable} if it is diffeomorphic to the boundary of a compact strongly pseudoconvex complex manifold, \emph{Stein fillable} if this last manifold may be chosen to be Stein and \emph{Milnor fillable} if it is diffeomorphic to the abstract boundary of an isolated singularity of normal complex analytic space. We show that the homotopical dimension of a manifold-with-boundary of dimension at least 4 restricts the cohomology ring (with any coefficients) of its boundary. This gives restrictions on the cohomology rings of Stei…
The subject of this paper is the big quantum cohomology rings of symplectic isotropic Grassmannians $\text{IG}(2, 2n)$. We show that these rings are regular. In particular, by "generic smoothness", we obtain a conceptual proof of generic semisimplicity of the big quantum cohomology for $\text{IG}(2, 2n)$. Further, by a general result of Claus Hertling, the regularity of these rings implies that they have a description in terms of isolated hypersurface singularities, which we show in this case to be of type $A_{n-1}$. By the homological mirror symmetry conjecture, these results suggest the exis…
The question of what conditions guarantee that a symplectic $S^1$ action is Hamiltonian has been studied for many years. In a 1998 paper, Sue Tolman and Jonathon Weitsman proved that if the action is semifree and has a non-empty set of isolated fixed points then the action is Hamiltonian. Furthermore, in a 2010 paper Cho, Hwang, and Suh proved in the 6-dimensional case that if we have $b_2^+=1$ at a reduced space at a regular level $λ$ of the circle valued moment map, then the action is Hamiltonian. In this paper, we will use this to prove that certain 6-dimensional symplectic actions which ar…
Let $(M,ω)$ be a closed $2n$-dimensional semifree Hamiltonian $S^1$-manifold with only isolated fixed points. We prove that a density function of the Duistermaat-Heckman measure is log-concave. Moreover, we prove that $(M,ω)$ and any reduced symplectic form satisfy the Hard Lefschetz property.
The author proved that if the circle acts symplectically on a compact, connected symplectic manifold $M$ with three fixed points, then $M$ is equivariantly symplectomorphic to some standard action on $\mathbb{CP}^2$. In this paper, we extend the result to a circle action on an almost complex manifold; if the circle acts on a compact, connected almost complex manifold $M$ with exactly three fixed points, then $\dim M=4$. Moreover, we deal with the cases of one fixed point and two fixed points.
Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.
In this paper, we investigate the relationship between J-anti-invariant cohomology of a closed symplectic 4-manifold introduced by T.-J. Li and W. Zhang and new symplectic cohomologies introduced by L.-S. Tseng and S.-T. Yau. We also prove that the dimension of J-anti-invariant cohomology is constant for almost structures J which are compatible with a fixed symplectic form.
Let the circle act in a Hamiltonian fashion on a connected compact symplectic manifold $(M, ω)$ of dimension $2n$. Then the $S^1$-action has at least $n+1$ fixed points. In a previous paper, we study the case when the fixed point set consists of precisely $n+1$ isolated points. In this paper, we study the case when the fixed point set consists of exactly $n+2$ isolated points. We show that in this case $n$ must be even. We find equivalent conditions on the first Chern class of $M$ and a particular weight of the $S^1$-action. We also show that the particular weight can completely determine the …
We investigate the equivariant cohomology of the natural torus action on a K-contact manifold and its relation to the topology of the Reeb flow. Using the contact moment map, we show that the equivariant cohomology of this action is Cohen-Macaulay, which is a generalization of equivariant formality for torus actions without fixed points. As a consequence, a generic component of the contact moment map is a perfect Morse-Bott function for the basic cohomology of the orbit foliation F of the Reeb flow. Assuming that the closed Reeb orbits are isolated, we show that the basic cohomology of F is tr…
We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient.
In this article we are concerned with how to compute the cohomology ring of a symplectic quotient by a circle action using the information we have about the cohomology of the original manifold and some data at the fixed point set of the action. Our method is based on the Tolman-Weitsman theorem which gives a characterization of the kernel of the Kirwan map. First we compute a generating set for the kernel of the Kirwan map for the case of product of compact connected manifolds such that the cohomology ring of each of them is generated by a degree two class. We assume the fixed point set is iso…
We study the Floer cohomology of the Dehn twist along a real Lagrangian sphere in a symplectic manifold endowed with an anti-symplectic involution. We prove that there exists a distinguished element in the Floer group that is a fixed point of the automorphism induced by the involution. Our methods of proof are based on Mak-Wu's cobordism and Floer-theoretic considerations.
Let $M^{2d}$ be a compact symplectic manifold and $T$ a compact $n$-dimensional torus. A Hamiltonian action, $τ$, of $T$ on $M$ is a GKM action if, for every $p \in M^T$, the isotropy representation of $T$ on $T_pM$ has pair-wise linearly independent weights. For such an action the projection of the set of zero and one-dimensional orbits onto $M/T$ is a regular $d$-valent graph; and Goresky, Kottwitz and MacPherson have proved that the equivariant cohomology of $M$ can be computed from the combinatorics of this graph. (See \cite{GKM:eqcohom}.) In this paper we define a ``GKM action with non-is…
The main purpose of the present paper is a study of orientations of the moduli spaces of pseudo-holomorphic discs with boundary lying on a \emph{real} Lagrangian submanifold, i.e., the fixed point set of an anti-symplectic involutions $τ$ on a symplectic manifold. We introduce the notion of $τ$-relatively spin structure for an anti-symplectic involution $τ$, and study how the orientations on the moduli space behave under the involution $τ$. We also apply this to the study of Lagrangian Floer theory of real Lagrangian submanifolds. In particular, we study unobstructedness of the $τ$-fixed point…
In this paper, we study the behavior of the local Floer homology of an isolated fixed point and the growth of the action gap under iterations. To be more specific, we prove that an isolated fixed point of a Hamiltonian diffeomorphism remains isolated for a certain class of iterations (the so-called admissible iterations) and that the local Floer homology groups for all such iterations are isomorphic to each other up to a shift of degree. Furthermore, we study the pair-of-pants product in local Floer homology, and characterize a particular class of isolated fixed points (the symplectically dege…
We show that for a Hamiltonian action of a compact torus $G$ on a compact, connected symplectic manifold $M$, the $G$-equivariant cohomology is determined by the residual $S^1$ action on the submanifolds of $M$ fixed by codimension-1 tori. This theorem allows us to compute the equivariant cohomology of certain manifolds, which have pieces that are four-dimensional or smaller. We give several examples of the computations that this allows.
For every compact almost complex manifold (M,J) equipped with a J-preserving circle action with isolated fixed points, a simple algebraic identity involving the first Chern class is derived. This enables us to construct an algorithm to obtain linear relations among the isotropy weights at the fixed points. Suppose that M is symplectic and the action is Hamiltonian. If the manifold satisfies an extra "positivity condition" this algorithm determines a family of vector spaces which contain the admissible lattices of weights. When the number of fixed points is minimal, this positivity condition is…
We consider Lagrangian Floer cohomology for a pair of Lagrangian submanifolds in a symplectic manifold M. Suppose that M carries a symplectic involution, which preserves both submanifolds. Under various topological hypotheses, we prove a localization theorem for Floer cohomology, which implies a Smith-type inequality for the Floer cohomology groups in M and its fixed point set. Two applications to symplectic Khovanov cohomology are included.
Let $p \geq 2$ be a prime, and $\mathbb{F}_p$ be the field with $p$ elements. Extending a result of Seidel for $p=2,$ we construct an isomorphism between the Floer cohomology of an exact or Hamiltonian symplectomorphism $ϕ,$ with $\mathbb{F}_p$ coefficients, and the $\mathbb{Z}/p \mathbb{Z}$-equivariant Tate Floer cohomology of its $p$-th power $ϕ^p.$ The construction involves a Kaledin-type quasi-Frobenius map, as well as a $\mathbb{Z}/p \mathbb{Z}$-equivariant pants product: an equivariant operation with $p$ inputs and $1$ output. Our method of proof involves a spectral sequence for the acti…
The Donaldson metric is a metric on the space of symplectic two-forms in a fixed cohomology class. It was introduced in [2]. We compute the associated Levi-Civita connection, describe it's geodesics and compute the formula for the covariant Hessian of an energy functional on the space of symplectic structures in a fixed cohomology class, introduced by S.Donaldson in [1].
It is shown that the signature of a manifold with a symplectic circle action having only isolated fixed points, equals the alternating sum of the Novikov numbers corresponding to the cohomology class of the generalized moment map. The same is true for more general fixed point sets.
