Let $G$ be a torus and $M$ a compact Hamiltonian $G$-manifold with finite fixed point set $M^G$. If $T$ is a circle subgroup of $G$ with $M^G=M^T$, the $T$-moment map is a Morse function. We will show that the associated Morse stratification of $M$ by unstable manifolds gives one a canonical basis of $K_G(M)$. A key ingredient in our proof is the notion of local index $I_p(a)$ for $a\in K_G(M)$ and $p\in M^G$. We will show that corresponding to this stratification there is a basis $τ_p$, $p\in M^G$, for $K_G(M)$ as a module over $K_G(\pt)$ characterized by the property: $I_qτ_p=δ^q_p$. For $M$ a GKM manifold we give an explicit construction of these $τ_p$'s in terms of the associated GKM graph.
For an equivariant Morse stratification which contains a unique open stratum, we introduce the notion of equivariant antiperfection, which means the difference of the equivariant Morse series and the equivariant Poincare series achieves the maximal possible value (instead of the minimal possible value 0 in the equivariantly perfect case). We also introduce a weaker condition of local equivariant antiperfection. We prove that the Morse stratification of the Yang-Mills functional on the space of connections on a principal U(n)-bundle over a connected, closed, nonorientable surface is locally equ…
We study the Morse theory of the Yang-Mills-Higgs functional on the space of pairs $(A,Φ)$, where $A$ is a unitary connection on a rank 2 hermitian vector bundle over a compact Riemann surface, and $Φ$ is a holomorphic section of $(E, d_A")$. We prove that a certain explicitly defined substratification of the Morse stratification is perfect in the sense of $\G$-equivariant cohomology, where $\G$ denotes the unitary gauge group. As a consequence, Kirwan surjectivity holds for pairs. It also follows that the twist embedding into higher degree induces a surjection on equivariant cohomology. This …
We show that the main theorem of Morse theory holds for a large class of functions on singular spaces. The function must satisfy certain conditions extending the usual requirements on a manifold that Condition C holds and the gradient flow around the critical sets is well-behaved, and the singular space must satisfy a local deformation retract condition. We then show that these conditions are satisfied when the function is the norm-square of a moment map on an affine variety, and that the homotopy equivalence from this theorem is equivariant with respect to the associated Hamiltonian group act…
Getzler-Jones-Petrack introduced $A_\infty$ structures on the equivariant complex for manifold $M$ with smooth $\mathbb{S}^1$ action, motivated by geometry of loop spaces. Applying Witten's deformation by Morse functions followed by homological perturbation we obtained a new set of $A_\infty$ structures. We extend and prove Fukaya's conjecture relating this Witten's deformed equivariant de Rham complexes, to a new Morse theoretical $A_\infty$ complexes defined by counting gradient trees with jumping which are closely related to the $\mathbb{S}^1$ equivariant symplectic cohomology proposed by S…
This paper uses Morse-theoretic techniques to compute the equivariant Betti numbers of the space of semistable rank two degree zero Higgs bundles over a compact Riemann surface, a method in the spirit of Atiyah and Bott's original approach for semistable holomorphic bundles. This leads to a natural proof that the hyperkähler Kirwan map is surjective for the non-fixed determinant case.
We deal with compact Kähler manifolds $M$ acted on by a compact Lie group $K$ of isometries, whose complexification $K^\C$ has exactly one open and one closed orbit in $M$. If the $K$-action is Hamiltonian, we obtain results on the cohomology and the $K$-equivariant cohomology of $M$.
We prove an equivariant deformation result for Hamiltonian stationary Lagrangian submanifolds of a Kahler manifold, with respect to deformations of its metric and almost complex structure that are compatible with an isometric Hamiltonian group action. This yields existence of Hamiltonian stationary Lagrangian submanifolds in possibly non-Kahler symplectic manifolds whose metric is arbitrarily close to a Kahler metric.
The results of this paper concern the Morse theory of the norm-square of the moment map on the space of representations of a quiver. We show that the gradient flow of this function converges, and that the Morse stratification induced by the gradient flow co-incides with the Harder-Narasimhan stratification from algebraic geometry. Moreover, the limit of the gradient flow is isomorphic to the graded object of the Harder-Narasimhan-Jordan-Hölder filtration associated to the initial conditions for the flow. With a view towards applications to Nakajima quiver varieties we construct explicit local …
The main goal of this paper is to give a unified treatment to many known cuplength estimates. As the base case, we prove that for $C^0$-perturbations of a function which is Morse-Bott along a closed submanifold, the number of critical points is bounded below in terms of the cuplength of that critical submanifold. As we work with rather general assumptions the proof also applies in a variety of Floer settings. For example, this proves lower bounds for the number of fixed points of Hamiltonian diffeomorphisms, Hamiltonian chords for Lagrangian submanifolds, translated points of contactomorphisms…
We define Floer homology for a time-independent, or autonomous Hamiltonian on a symplectic manifold with contact type boundary, under the assumption that its 1-periodic orbits are transversally nondegenerate. Our construction is based on Morse-Bott techniques for Floer trajectories. Our main motivation is to understand the relationship between linearized contact homology of a fillable contact manifold and symplectic homology of its filling.
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…
This is an expository paper devoted to the Morse index of Chaperon's generating families of Hamiltonian diffeomorphisms. After reviewing the construction of such generating families, we present Bott's iteration theory in this setting: we study how the Morse index of a critical point corresponding to an iterated periodic orbit depends on the order of iteration of the orbit. We also investigate the precise dependence of the Morse index from the choice of the generating family associated to a given Hamiltonian diffeomorphism, which will allow to see the Morse index as a Maslov index for the linea…
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.
If there exists a set of canonical classes on a compact Hamiltonian-$T$-spaces in the sense of Goldin and Tolman, we derive some formulas for certain equivariant structure constants in terms of other equivariant structure constants and the values of canonical classes restricted to some fixed points. These formulas can be regarded as a generalization of Tymoczko's results.
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.
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 …
Let $M$ be a smooth manifold and $G$ a compact connected Lie group acting on $M$ by isometries. In this paper, we study the equivariant cohomology of ${\bf X}=T^\ast M$, and relate it to the cohomology of the Marsden-Weinstein reduced space via certain residue formulae. In case that $\bf X$ is a compact symplectic manifold with a Hamiltonian $G$-action, similar residue formulae were derived by Jeffrey, Kirwan et al.
The main result of this paper is the description of asymptotics along rays in weight space of traces of equivariant Toeplitz operators composed with quantomorphisms for torus actions. The main ingredient in the proof is the microlocal analysis of the equivariant Szego kernels.
Let X be any nonsingular complex projective variety on which a complex reductive group G acts linearly, and let X^{ss} and X^s be the sets of semistable and stable points of X in the sense of Mumford's geometric invariant theory. Then X has a G-equivariantly perfect stratification by locally closed nonsingular G-invariant subvarieties with X^{ss} as an open stratum, which can be obtained as the Morse stratification of the normsquare of a moment map for the action of a maximal compact subgroup K of G. In this note this stratification is refined to obtain stratifications of X by locally closed n…
In this paper we study topological properties of stable Hamiltonian structures. In particular, we prove the following results in dimension three: The space of stable Hamiltonian structures modulo homotopy is discrete; there exist stable Hamiltonian structures that are not homotopic to a positive contact structure; stable Hamiltonian structures are generically Morse-Bott (i.e. all closed orbits are Bott nondegenerate) but not Morse; the standard contact structure on the 3-sphere is homotopic to a stable Hamiltonian structure which cannot be embedded in 4-space. Moreover, we derive a structure t…
We extend the Novikov Morse-type inequalities for closed 1-forms in 2 directions. First, we consider manifolds with boundary. Second, we allow a very degenerate structure of the critical set of the form, assuming only that the form is non-degenerated in the sense of Kirwan. In particular, we obtain a generalization of a result of Floer about the usual Morse inequalities on a manifold with boundary. We also obtain an equivariant version of our inequalities. Our proof is based on an application of the Witten deformation technique. The main novelty here is that we consider the neighborhood of the…
Suppose that a compact and connected Lie group $G$ acts on a complex Hodge manifold $M$ in a holomorphic and Hamiltonian manner, and that the action linearizes to a positive holomorphic line bundle $A$ on $M$. Then there is an induced unitary representation on the associated Hardy space and, if the moment map of the action is nowhere vanishing, the corresponding isotypical components are all finite dimensional. We study the asymptotic concentration behavior of the corresponding equivariant Szegö kernels near certain loci defined by the moment map.
We consider an integrable Hamiltonian system with n-degrees of freedom whose first integrals are invariant under the symplectic action of a compact Lie group G. We prove that the singular Lagrangian foliation associated to this Hamiltonian system is symplectically equivalent, in a G-equivariant way, to the linearized foliation in a neighborhood of a compact singular non-degenerate orbit. We also show that the non-degeneracy condition is not equivalent to the non-resonance condition for smooth systems.
In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data.
Let G be a compact connected Lie group, and (M,ω) a Hamiltonian G-space with proper moment map μ. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M, under certain technical conditions on μ. This result is a natural K-theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry. The main technical tool is the K-theoretic Atiyah-Bott lemma, which plays a fundamental role in the symplectic geometry of Hamiltonian G-spaces. We discuss this lemma in detail and highlight the diffe…
Let G be a compact Lie group and LG its associated loop group. The main result of this manuscript is a surjectivity theorem from the equivariant K-theory of a Hamiltonian LG-space onto the integral K-theory of its Hamiltonian LG-quotient. Our result is a K-theoretic analogue of previous work in rational Borel-equivariant cohomology of Bott, Tolman, and Weitsman. Our proof techniques differ from that of Bott, Tolman, and Weitsman in that they explicitly use the Borel construction, which we do not have at our disposal in equivariant K-theory; we instead directly construct G-equivariant homotopy …
Let $M$ be complex projective manifold, and $A$ a positive line bundle on it. Assume that $SU(2)$ acts on $M$ in a Hamiltonian manner, with nowhere vanishing moment map, and that this action linearizes to $A$. Then there is an associated unitary representation of $G$ on the associated algebro-geometric Hardy space, and the isotypical components are all finite dimensional. We consider the local and global asymptotic properties the equivariant projector associated to a weight $k \, \boldsymbol{ ν}$, when $\boldsymbol{ ν}$ is fixed and $k\rightarrow +\infty$.
We give a construction of Piunikhin--Salamon--Schwarz isomorphism between the Morse homology and the Floer homology generated by Hamiltonian orbits starting at the zero section and ending at the conormal bundle. We also prove that this isomorphism is natural in the sense that it commutes with the isomorphisms between the Morse homology for different choices of the Morse function and the Floer homology for different choices of the Hamiltonian. We define a product on the Floer homology and prove triangle inequality for conormal spectral invariants with respect to this product.
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…
Let $M$ be complex projective manifold and $A$ a positive line bundle on it. Assume that a compact and connected Lie group $G$ acts on $M$ in a Hamiltonian and holomorphic manner and that this action linearizes to $A$. Then, there is an associated unitary representation of $G$ on the associated algebro-geometric Hardy space $H(X)$. The standard circle action on $H(X)$ commutes with the action of $G$ and thus one has a decompositions labeled by $(k\,\boldsymbolν,\,k)$, where $k\in\mathbb{Z}$ and $\boldsymbol{ ν}\in \hat{G}$. We consider the local and global asymptotic properties of the correspo…
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.
In a previous paper, we showed that the original definition of cylindrical contact homology, with rational coefficients, is valid on a closed three-manifold with a dynamically convex contact form. However we did not show that this cylindrical contact homology is an invariant of the contact structure. In the present paper, we define "nonequivariant contact homology" and "S^1-equivariant contact homology", both with integer coefficients, for a contact form on a closed manifold in any dimension with no contractible Reeb orbits. We prove that these contact homologies depend only on the contact str…
We show that a generic Hamiltonian diffeomorphism on a closed symplectic manifold which is symplectically aspherical has at least the stable Morse number of fixed points - this is in line with a conjecture by Arnold.
In their 2005 paper, C. Laurent-Gengoux and P. Xu define prequantization for pre-Hamiltonian actions of quasi-presymplectic Lie groupoids in terms of central extensions of Lie groupoids. The definition requires that the quasi-presymplectic structure be exact (i.e. the closed 3-form on the unit space of the Lie groupoid must be exact). In the present paper, we define prequantization for pre-Hamiltonian actions of (not necessarily exact) quasi-presymplectic Lie groupoids in terms of Dixmier-Douady bundles. The definition is a natural adaptation of E. Meinrenken's treatment of prequantization for…
Let $LG$ be the loop group of a compact, connected Lie group $G$. We show that the tangent bundle of any proper Hamiltonian $LG$-space $\mathcal{M}$ has a natural completion $\overline{T}\mathcal{M}$ to a strongly symplectic $LG$-equivariant vector bundle. This bundle admits an invariant compatible complex structure within a natural polarization class, defining an $LG$-equivariant spinor bundle $\mathsf{S}_{\overline{T}\mathcal{M}}$, which one may regard as the Spin$_c$-structure of $\mathcal{M}$. We describe two procedures for obtaining a finite-dimensional version of this spinor module. In o…
Let $M$ be complex projective manifold, and $A$ a positive line bundle on it. Assume that a compact and connected Lie group $G$ acts on $M$ in a Hamiltonian manner, and that this action linearizes to $A$. Then there is an associated unitary representation of $G$ on the associated algebro-geometric Hardy space. If the moment map is nowhere vanishing, the isotypical component are all finite dimensional, they are generally not spaces of sections of some power of $A$. One is then led to study the local and global asymptotic properties the isotypical component associated to a weight $k \, \boldsymb…
This short note considers varieties of the form $G\times S_{\text{reg}}$, where $G$ is a complex semisimple group and $S_{\text{reg}}$ is a regular Slodowy slice in the Lie algebra of $G$. Such varieties arise naturally in hyperkähler geometry, theoretical physics, and in the theory of abstract integrable systems developed by Fernandes, Laurent-Gengoux, and Vanhaecke. In particular, previous work of the author and Rayan uses a Hamiltonian $G$-action to endow $G\times S_{\text{reg}}$ with a canonical abstract integrable system. One might therefore wish to understand, in some sense, all examples…
Let X be a projective scheme carrying a circle action S with isolated fixed points. We associate a simplicial complex Delta(X,S) of "closure chains" using a refinement of its Morse/Bialynicki-Birula decomposition. If this decomposition is a stratification (e.g. when X is a flag manifold), then Delta(X,S) is just the order complex of the poset of fixed points. For X a toric variety, Delta(X,S) is a triangulation of the moment polytope. We compute some other examples, including a Bott-Samelson manifold and the punctual Hilbert scheme of 4 points in the plane. Summing over the facets of Delta(X,S…
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.
