Consider a classical Hamiltonian H on the cotangent bundle T*M of a closed orientable manifold M, and let L:TM -> R be its Legendre-dual Lagrangian. In a previous paper we constructed an isomorphism Φ from the Morse complex of the Lagrangian action functional that is associated to L to the Floer complex that is determined by H. In this paper we give an explicit construction of a homotopy inverse Ψ of Φ. Contrary to other previously defined maps going in the same direction, Ψ is an isomorphism at the chain level and preserves the action filtration. Its definition is based on counting Floer trajectories on the negative half-cylinder that on the boundary satisfy half of the Hamilton equations. Albeit not of Lagrangian type, such a boundary condition defines Fredholm operators with good compactness properties. We also present a heuristic argument which, independently of any Fredholm and compactness analysis, explains why the spaces of maps that are used in the definition of Φ and Ψ are the natural ones. The Legendre transform plays a crucial role both in our rigorous and in our heuristic arguments. We treat with some detail the delicate issue of orientations and show that the homology of the Floer complex is isomorphic to the singular homology of the loop space of M with a system of local coefficients, which is defined by the pullback of the second Stiefel-Whitney class of TM on 2-tori in M.

The role of the Legendre transform in the study of the Floer complex of cotangent bundles

ABBONDANDOLO, ALBERTO;
2014-01-01

Abstract

Consider a classical Hamiltonian H on the cotangent bundle T*M of a closed orientable manifold M, and let L:TM -> R be its Legendre-dual Lagrangian. In a previous paper we constructed an isomorphism Φ from the Morse complex of the Lagrangian action functional that is associated to L to the Floer complex that is determined by H. In this paper we give an explicit construction of a homotopy inverse Ψ of Φ. Contrary to other previously defined maps going in the same direction, Ψ is an isomorphism at the chain level and preserves the action filtration. Its definition is based on counting Floer trajectories on the negative half-cylinder that on the boundary satisfy half of the Hamilton equations. Albeit not of Lagrangian type, such a boundary condition defines Fredholm operators with good compactness properties. We also present a heuristic argument which, independently of any Fredholm and compactness analysis, explains why the spaces of maps that are used in the definition of Φ and Ψ are the natural ones. The Legendre transform plays a crucial role both in our rigorous and in our heuristic arguments. We treat with some detail the delicate issue of orientations and show that the homology of the Floer complex is isomorphic to the singular homology of the loop space of M with a system of local coefficients, which is defined by the pullback of the second Stiefel-Whitney class of TM on 2-tori in M.
2014
Abbondandolo, Alberto; Matthias, Schwarz
File in questo prodotto:
File Dimensione Formato  
Abbondandolo_et_al-2014-Communications_on_Pure_and_Applied_Mathematics.pdf

solo utenti autorizzati

Tipologia: Versione finale editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 487.66 kB
Formato Adobe PDF
487.66 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
inverse.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 516.98 kB
Formato Adobe PDF
516.98 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/500299
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 9
social impact