Transversality for local Morse homology with symmetries and applications

DOI10.1007/S00209-019-02295-9MaRDI QIDQ2332886zbMATH OpenOpenAlexFDO

Authors Doris Hein, Umberto L. Hryniewicz, Leonardo Macarini

Publication date 5 November 2019

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.04609

local contact homology Morse homology transversality

Symplectic aspects of Floer homology and cohomology (53D40) Symplectic field theory; contact homology (53D42) Equivariant homology and cohomology in algebraic topology (55N91) Symplectic and contact topology in high or arbitrary dimension (57R17)

Abstract: We prove the transversality result necessary for defining local Morse chain complexes with finite cyclic group symmetry. Our arguments use special regularized distance functions constructed using classical covering lemmas, and an inductive perturbation process indexed by the strata of the isotropy set. A global existence theorem for symmetric Morse-Smale pairs is also proved. Regarding applications, we focus on Hamiltonian dynamics and rigorously establish a local contact homology package based on discrete action functionals. We prove a persistence theorem, analogous to the classical shifting lemma for geodesics, asserting that the iteration map is an isomorphism for good and admissible iterations. We also consider a Chas-Sullivan product on non-invariant local Morse homology, which plays the role of pair-of-pants product, and study its relationship to symplectically degenerate maxima. Finally, we explore how our invariants can be used to study bifurcation of critical points (and periodic points) under additional symmetries.

Review text

In this paper the authors construct a local Morse homology in the presence of a finite cyclic action. To do this they consider the following situation: Let \(M\) be a smooth manifold equipped with a \(\mathbb{Z}_k\)-action, \(f\colon M\to \mathbb{R}\) an invariant smooth function, \(p\in M\) a fixed point that is also an isolated critical point of \(f\). Given an invariant metric \(\theta\) on \(M\) and an open, relatively compact, isolating neighborhood \(U\) for \((f,p)\), they show that there is a \(\mathbb{Z}_k\)-invariant pair \((f',\theta')\), which is Morse-Smale on \(U\), in any \(C^2\)-neighborhood of \((f,\theta)\). Their proof techniques also allow them to show the existence of a global Morse-Smale \(\mathbb{Z}_k\)-invariant pair \((f,\theta)\). But as they point out, this cannot be done in general using a small perturbation. The local Morse homology is then applied to Hamiltonian dynamics, and they obtain a persistence theorem, analogous to the classical shifting lemma for geodesics.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Transversality for local Morse homology with symmetries and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2332886)