La conjetura de Arnold sobre el número de puntos fijos de los simplectimorfismos hamiltonianos y las intersecciones lagrangianas eran también una motivación importante en el desarrollo de la homología de Floer.