Weinstein conjecture and GW-invariants (Q2707939)

The main new result presented in this paper establishes the existence of nontrivial closed orbits of a Hamiltonian flow whenever certain Gromov-Witten invariants of the underlying symplectic manifold are nontrivial. Given a Hamiltonian, \(\widetilde H\), Liu and Tian construct a near by Morse function, \(H\), and define a Gromov-Witten invariant that counts pseudoholomorphic curves with two cylindrical ends and \(n\) marked points so that each end maps to a given critical point of \(H\) and so that each marked point maps to a given cycle. This Gromov-Witten invariant is well defined only when \(H\) has no nontrivial, period one, orbits. NEWLINENEWLINENEWLINEUnder this assumption, the authors state that the proof of the Gromov-Floer compactness theorem from \textit{A. Floer}'s original paper [Commun. Math. Phys. 120, No. 4, 575-611 (1989; Zbl 0755.58022)] adapts to this situation. The length of this paper is due to the fact that the authors are defining this new variant of the Gromov-Witten invariant for general symplectic manifolds. All of the technical arguments from \textit{K. Fukaya} and \textit{K. Ono} [Topology 38, No. 5, 933-1048 (1999; Zbl 0946.53047)], \textit{J. Li} and \textit{G. Tian} [in Topics in Symplectic 4 manifolds, First Int. Press. Lect. Notes Ser. 1, 47-83 (1998; Zbl 0978.53136)] and \textit{G. Liu} and \textit{G. Tian} [J. Differ. Geom. 49, No. 1, 1-74 (1998; Zbl 0917.58009)] must be brought to bear in this slightly modified situation. After defining the new invariant, Liu and Tian use the fact that the invariant associated to \(\lambda H\) with critical points \(c_+\), \(c_-\) and cycles \(\beta_k\) coincides with the Gromov-Witten invariant with cycles \(\alpha_+\), \(\alpha_-\) and \(\beta_k\) when \(\alpha_\pm\) are the homology cycles corresponding to the critical points, \(c_\pm\) when \(\lambda\) is sufficiently small [\textit{G. Liu} and \textit{G. Tian}, Acta Math. Sin., Engl. Ser. 15, No. 1, 53-80 (1999; Zbl 0928.53041)]; prove that the invariant is independent of \(\lambda\) in a specified range and is trivial when \(\lambda\) is the upper limit of this range. NEWLINENEWLINENEWLINEThe Weinstein conjecture states that any compact contact type hypersurface in a symplectic manifold carries a closed orbit. The main theorem of this present paper establishes the Weinstein conjecture for the special case of separating hypersurfaces when there is a pair of homology cycles on opposite sides of the contact surface so that the Gromov-Witten invariant of the pair is nontrivial.