A symplectic fixed point theorem for \({\mathbb{C}}P^ n\) (Q798995)

Two symplectic diffeomorphisms \(\phi_ 0\), \(\phi_ 1\) of a symplectic manifold (X,\(\omega)\) are said to be homologous if there exists a smooth homotopy \(\phi_ t\), \(t\in [0,1]\) of symplectic diffeomorphisms between them such that the time-dependent vector field \(\xi_ t\) defined by \(d/dt(\phi_ t)=\xi_ t\circ\phi_ t\) is a globally Hamiltonian vector field for all t, i.e. there exists a smooth real-valued time-dependent Hamiltonian function h(x,t) on \(X\times [0,1]\) such that \(\xi_ t\omega =dh_ t\), where \(h_ t=h(x,t).\) V. I. Arnold conjectured that any symplectic diffeomorphism \(\phi\) of a compact symplectic manifold X, homologous to the identity, has as many fixed-points as a function on X has critical points. We prove Arnold's conjecture for complex projective spaces, with their standard symplectic structures, i.e. we prove that any symplectic diffeomorphism of \({\mathbb{C}}{\mathbb{P}}^ n\) homologous to the identity has at least \(n+1\) fixed-points.