Floer homology for negative line bundles and Reeb chords in prequantization spaces (Q2268274)

Let \((M,\omega)\) be a closed, connected, integral symplectic manifold. Integral means that \([\omega]\in H^2(M,\mathbb Z)\). Let \(L\subset M\) be a closed Lagrangian submanifold and \(\mathcal L\) a Legendrian submanifold in a prequantization space of \((M,\omega)\). Let \(H\in C^\infty(M)\) be a positive, autonomous Hamiltonian function and let \({\mathcal R}^1_{\mathcal L}(H)\) be the set of Reeb chords of period strictly less than 1. The set of contractible intersection points \(L\cap \phi^1_H(L)\) of \(L\) and its image under the time-1-map \(\phi^1_H\) of the Hamiltonian flow of \(H\) is denoted by \({\mathcal P}_L(H)\). Let \({\mathcal D}(H) := \{({\mathcal A}_H(x),\mu^L_{\text{Maslov}}(x;H)) \mid x\in{\mathcal P}_L(H)\}\) be a finite data set, where \({\mathcal A}_H\) is the action functional and \(\mu^L_{\text{Maslov}}\) is the Maslov index. In this paper the following is proved: Let \(\dim M\geq 4\). Then there exists a generic subset of \(C^\infty(M)\) such that for each Hamiltonian function \(H\) in this subset, there exist constants \(C=C({\mathcal D}(H))) > 0\) and \(N =N({\mathcal D},H))\in\mathbb N\) with the following property: For any Bohr-Sommerfeld pair \((E,\alpha)\) with associated Legendrian \(\mathcal L\) and power \(N(E,\alpha)\geq N\), we have the estimate \(\#{\mathcal R}^1_{\mathcal L}(H + c)\geq \frac12 \#{\mathcal P}_L(H)\) for all \(c\geq C\). This is a corollary derived from the Lagrangian version of the following theorem: Given a generic \(H\), there exists a positive integer \(N = N(H)\) such that \(\dim HF^N(H) =\#{\mathcal P}(H)\), where \({\mathcal P}(H)\) is the set of contractible 1-periodic orbits of the Hamiltonian vector field of \(H\), and \(\dim HF^N(H;L) = \#{\mathcal P}_L(H)\).