在较早的一篇论文中，第二作者通过在一个恰有 32 个不动点的闭、连通六维辛流形上构造非 Hamilton 辛圆周作用，解决了 McDuff 提出的一个问题。本文中，我们通过减少不动点数量改进了该例子。更具体地说，对于任意 k≥5，我们在一个闭、连通六维辛流形上构造了一个恰有 2k 个不动点的非 Hamilton 辛圆周作用。
英文摘要：
In an earlier paper, the second author resolved a question of McDuff by constructing a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly 32 fixed points. In this paper, we improve on this example by reducing the number of fixed points. More concretely, we construct a non-Hamiltonian symplectic circle action on a closed, connected six-dimensional symplectic manifold with exactly $2k$ fixed points for any $k \geq 5$.
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)$.
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 6-dimensional closed symplectic manifold with a symplectic $S^1$-action with $M^{S^1} \neq \emptyset$ and $\dim M^{S^1} \leq 2$. Assume that $ω$ is integral with a generalized moment map $μ$. We first prove that the action is Hamiltonian if and only if $b_2^+(M_{\red})=1$, where $M_{\red}$ is any reduced space with respect to $μ$. It means that if the action is non-Hamiltonian, then $b_2^+(M_{\red}) \geq 2$. Secondly, we focus on the case when the action is semifree and Hamiltonian. We prove that if $M^{S^1}$ consists of surfaces, then the number $k$ of fixed surfaces with po…
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…
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 …
Let $M$ be a closed Fano symplectic manifold with a semifree Hamiltonian circle action with isolated maximum. We compute the Gromov width and the Hofer-Zehnder capacity of $M$ using a moment map.
In this paper we connect algebraic properties of the pair-of-pants product in local Floer homology and Hamiltonian dynamics. We show that for an isolated periodic orbit the product is non-uniformly nilpotent and use this fact to give a simple proof of the Conley conjecture for closed manifolds with aspherical symplectic form. More precisely, we prove that on a closed symplectic manifold the mean action spectrum of a Hamiltonian diffeomorphism with isolated periodic orbits is infinite.
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…
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$.
We study the problem of determining which diffeomorphism classes of Kähler manifolds admit a Hamiltonian circle action. Our main result is the following: Let $M$ be a closed symplectic manifold, diffeomorphic to a complete intersection with complex dimension $4k$, having a Hamiltonian circle action such that each component of the fixed point set is an isolated fixed point or has dimension $2 \mod 4$. Then $M$ is diffeomorphic to $\mathbb{CP}^{4k}$, a quadric $Q \subset \mathbb{CP}^{4k+1}$ or an intersection of two quadrics $Q_1 \cap Q_2 \subset \mathbb{CP}^{4k+2}$.
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…
Let $(M, ω)$ be a connected, compact 6-dimensional symplectic manifold equipped with a semi-free Hamiltonian $S^1$ action such that the fixed point set consists of isolated points or surfaces. Assume dim $H^2(M)<3$, in \cite{L}, we defined a certain invariant of such spaces which consists of fixed point data and twist type, and we divided the possible values of these invariants into six ``types''. In this paper, we construct such manifolds with these ``types''. As a consequence, we have a precise list of the values of these invariants.
The unimodality conjecture posed by Tolman in the conference `Moment maps in Various Geometry" in 2005 states that if (M,w) is a 2n-dimensional smooth compact symplectic manifold equipped with a Hamiltonian circle action with only isolated fixed points, then the sequence of Betti numbers is unimodal. Recently, the author and M. Kim proved that the unimodality holds in eight-dimensional cases by using equivariant cohomology theory. In this paper, we generalize the idea in \cite{CK} to an arbitrary dimensional case. Also, we prove the conjecture in arbitrary dimension with an assumption that a m…
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.
We prove that any Hamiltonian diffeomorphism of a closed symplectic manifold equipped with an atoroidal symplectic form has simple non-contractible periodic orbits of arbitrarily large period, provided that the diffeomorphism has a non-degenerate (or even isolated and homologically non-trivial) periodic orbit with non-zero homology class and the set of one-periodic orbits in that class is finite.
A Hamiltonian circle action on a compact symplectic manifold is known to be a closed geodesic with respect to the Hofer metric on the group of Hamiltonian diffeomorphisms. If the momentum map attains its minimum or maximum at an isolated fixed point with isotropy weights not all equal to plus or minus one, then this closed geodesic can be deformed into a loop of shorter Hofer length. In this paper we give a lower bound for the possible amount of shortening, and we give a lower bound for the index ("number of independent shortening directions"). If the minimum or maximum is attained along a sub…
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…
Inspired by the techniques of Givental and Théret, we provide a proof with generating functions of a recent result of Ginzburg-Gürel concerning the periodic points of Hamiltonian diffeomorphisms of $\mathbb{C}\text{P}^d$. For instance, we are able to prove that fixed points of pseudo-rotations are isolated as invariant sets or that a Hamiltonian diffeomorphism with a hyperbolic fixed point has infinitely many periodic points.
Assume $(M, ω)$ is a connected, compact 6 dimensional symplectic manifold equipped with a semi-free Hamiltonian circle action, such that the fixed point set consists of isolated points or compact orientable surfaces. We restrict attention to the case $\dim$ $H^2(M)<3$. We give a complete list of the possible manifolds, determine their equivariant cohomology ring and equivariant Chern classes. Some of these manifolds are classified up to diffeomorphism. We also show the existence for a few cases.
We show that the actions and indexes of fixed points of a Hamiltonian diffeomorphism with finitely many periodic points must satisfy certain relations, provided that the quantum cohomology of the ambient manifold meets an algebraic requirement satisfied for projective spaces, Grassmannians and many other manifolds. We also refine a previous result on the Conley conjecture for negative monotone symplectic manifolds, due to the second and third authors, and show that a Hamiltonian diffeomorphism of such a manifold must have simple periodic orbits of arbitrarily large period whenever its fixed po…
In this paper we describe a method to establish when a symplectic manifold $M$ with semi-free Hamiltonian $S^{1}$-action is unique up to isomorphism (equivariant symplectomorphism). This will rely on a study of the symplectic topology of the reduced spaces. We prove that if the reduced spaces satisfy a rigidity condition, then the manifold $M$ is uniquely determined by fixed point data. In particular we can prove that there is a unique family up to isomorphism of 6-dimensional symplectic manifolds with semi-free $S^1$-action and isolated fixed points.
We classify fibrations of abstract $3$-regular GKM graphs over $2$-regular ones, and show that all fiberwise signed fibrations of this type are realized as the projectivization of equivariant complex rank $2$ vector bundles over quasitoric $4$-folds or $S^4$. We investigate the existence of invariant (stable) almost complex, symplectic, and Kähler structures on the total space. In this way we obtain infinitely many Kähler manifolds with Hamiltonian non-Kähler actions in dimension $6$ with prescribed one-skeleton, in particular with prescribed number of isolated fixed points.
We provide a simple proof of a theorem due to Nancy Hingston, asserting that symplectically degenerate maxima of any Hamiltonian diffeomorphism of the standard symplectic 2d-torus are non-isolated contractible periodic points or their action is a non-isolated point of the average-action spectrum. Our argument is based on generating functions.
Let $(M,ω)$ be a $2n$-dimensional smooth compact symplectic manifold equipped with a Hamiltonian circle action with only isolated fixed points and let $μ: M \rightarrow \R$ be a corresponding moment map. Let $Λ_{2k}$ be the set of all fixed points of index $2k$. In this paper, we will show that if $μ$ is constant on $Λ_{2k}$ for each $k$, then $(M,ω)$ satisfies the hard Lefschetz property. In particular, if $(M,ω)$ admits a self-indexing moment map, i.e. $μ(p) = 2k$ for every $p \in Λ_{2k}$ and $k=0,1,\cdots,n,$ then $(M,ω)$ satisfies the hard Lefschetz property.
Using the notion of equivariant Kirwan map, as defined by Goldin, we prove that -- in the case of Hamiltonian torus actions with isolated fixed points -- Tolman and Weitsman's description of the kernel of the Kirwan map can be deduced directly from the residue theorem of Jeffrey and Kirwan. A characterization of the kernel of the Kirwan map in terms of residues of one variable (i.e. associated to Hamiltonian circle actions) is obtained.
A natural way of generalising Hamiltonian toric manifolds is to permit the presence of generic isolated singularities for the moment map. For a class of such ``almost-toric 4-manifolds'' which admits a Hamiltonian $S^1$-action we show that one can associate a group of convex polygons that generalise the celebrated moment polytopes of Atiyah, Guillemin-Sternberg. As an application, we derive a Duistermaat-Heckman formula demonstrating a strong effect of the possible monodromy of the underlying integrable system.
