Symplectic Floer homology of area-preserving surface diffeomorphisms (Q834391): Difference between revisions

An algorithm to compute \(HF_*(h)\) on surfaces of a negative Euler characteristic is given. In addition, an algorithm to compute \(HF_*(h)\) for all mapping classes on surfaces with boundary is defined and given. In Section 2 symplectic Floer homology is reviewed and a detailed discussion of when it is well-defined is given. The invariance of the \(H_*(\Sigma)\)-module structure using an algebraic interpretation of the \(H_1(\Sigma)\)-reaction in terms of the twisted Floer homology complex is shown. In Section 3 is shown that every map in a pseudo-Anosov mapping class is weakly monotone. Also, there is described the canonical singular representative of a pseudo-Anosov mapping class \(\varphi_{\text{sing}}\) in the closed case, and a Hamiltonian perturbation supported near its singularities which results in a smooth symplectomorphism \(\varphi_{sm}\) is given. In Section 4, the topology of the space of weakly monotone maps in arbitrary mapping classes in order to prove a stronger invariance result for \(HF_*\) is studied. The standard form for reducible maps and behavior of pseudo-Anosov maps near the boundary are described. Is showed that \(HF_*(\varphi_{sm})= HF_*(h)\). In Section 5 the theory of train tracks is reviewed and a combinatorial formula is given computing \(HF_*(\varphi_{sm})\) for pseudo-Anosov mapping classes from the action of \(\phi_{sm}\) on an invariant train track. The results obtained in Section 5 are applied in Section 6: a large collection of examples of pseudo-Anosov maps due to Penner and an explicit formula for the rank of \(HF_*(h)\) are obtained.