Localization for involutions in Floer cohomology (Q616158)

From MaRDI portal
Revision as of 07:52, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Localization for involutions in Floer cohomology
scientific article

    Statements

    Localization for involutions in Floer cohomology (English)
    0 references
    0 references
    0 references
    7 January 2011
    0 references
    If \(M\) is a compact smooth manifold with a smooth action of the group \(G=\mathbb Z/2\) on it, and \(M^{\text{inv}}\) is its fixed point set, then the classical Smith inequality states that \(\dim H^*(M;\mathbb Z_2)\geq \dim H^*(M^{\text{inv}};\mathbb Z_2)\). To prove this inequality, one may use the equivariant cohomology \(H^*_G(M;\mathbb Z_2)\) and the localization theorem, which says that the restriction map \(H^*_G(M;\mathbb Z_2)\to H^*(M^{\text{inv}};\mathbb Z_2)\otimes_{\mathbb Z_2}H^*(BG;\mathbb Z_2)\) becomes an isomorphism once one inverts the generator \(q\) of \(H^*(BG;\mathbb Z_2)=\mathbb Z_2[[q]]\). In this paper, the authors develop an analogue of this inequality for Lagrangian Floer cohomology, with a view to applications to the link invariant. Let \(M\) be an exact and convex at infinity symplectic manifold which carries a symplectic involution \(\imath\). Let \(L_0\) and \(L_1\) be exact Lagrangian submanifolds of \(M\) invariant under \(\imath\), which are either compact or convex at infinity. Let \(M^{\text{inv}}\) be the fixed point set. The fixed parts \(L_k^{\text{inv}}=L_k\cap M^{\text{inv}}\) are again automatically Lagrangian submanifolds. There are three kinds of Floer cohomology groups involved, the ordinary Floer cohomology \(HF(L_0^{\text{inv}},L_1^{\text{inv}})\) in \(M^{\text{inv}}\), the corresponding group \(HF(L_0,L_1)\) in \(M\), and the \(G\)-equivariant analogue of the latter. The first two are taken with \(\mathbb Z_2\) coefficients, and the last one is a module over \(\mathbb Z_2[[q]]\). Under the assumption of the existence of a stable normal trivialization near the fixed point set, the authors prove the following Smith inequality: \(\dim HF(L_0,L_1)\geq \dim HF(L_0^{\text{inv}},L_1^{\text{inv}})\). Also, they include two applications to symplectic Khovanov cohomology.
    0 references
    0 references
    Floer cohomology
    0 references
    symplectic group actions
    0 references
    Khovanov homology
    0 references
    Heegaard Floer cohomology
    0 references

    Identifiers