A short proof of cuplength estimates on Lagrangian intersections (Q6107334)

Let \(M\) be a closed \(n\)-manifold with the canonical symplectic form \(\omega\) on the cotangent bundle \(T^*M\). Given \(H\in C^\infty([0,1]\times T^*M)\), the Hamiltonian vector field \(X_H\) is determined by the equation \(dH=-\omega(X_H,.)\). This vector field gives rise to the flow \(\varphi^t\) and its time-one map \(\varphi\). If \(H\) is asymptotically constant then \(\varphi\) is a Hamiltonian diffeomorphism with compact support. Let \(O_M\) denote the zero section of \(T^*M\). The author reproves the following cup-length estimate: \[ \sharp \varphi (O_m)\cap O_M \geq cl(M). \] The method is making use of the Lagrangian properties of spectral invariants from Floer theory (see [\textit{A. Floer}, Commun. Pure Appl. Math. 42, No. 4, 335--356 (1989; Zbl 0683.58017); \textit{Y.-G. Oh}, J. Differ. Geom. 46, No. 3, 499--577 (1997; Zbl 0926.53031); Commun. Anal. Geom. 7, No. 1, 1--55 (1999; Zbl 0966.53055)]).