Localization for involutions in Floer cohomology
type: Item
instance of: scholarly article
title: Localization for involutions in Floer cohomology
zbMATH Open document ID: 1210.53084
author: Paul Seidel
author: Ivan Smith
published in: Geometric and Functional Analysis. GAFA
publication date: 2011-01-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/1002.2648
full work available at URL: http://hdl.handle.net/1721.1/71593
review text: 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_2q\). 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_2q\). 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.
reviewed by: Andrew Bucki
Mathematics Subject Classification ID: 53D35
Mathematics Subject Classification ID: 53D40
Mathematics Subject Classification ID: 57M27
zbMATH DE Number: 5833804
zbMATH Keywords: Floer cohomology
zbMATH Keywords: symplectic group actions
zbMATH Keywords: Khovanov homology
zbMATH Keywords: Heegaard Floer cohomology
MaRDI profile type: Publication
OpenAlex ID: W2144248821
arXiv ID: 1002.2648
cites work: Q3347989
cites work: Q5658847
cites work: Q4850928
cites work: Floer homology groups in Yang-Mills theory
cites work: Q3182715
cites work: Floer homology of families. I.
cites work: Cyclic homology and equivariant homology
cites work: A categorification of the Jones polynomial
cites work: Quivers, Floer cohomology, and braid group actions
cites work: Q5433081
cites work: Covering spaces and \(\mathbb Q\)-gradings on Heegaard Floer homology
cites work: Q4367595
cites work: Symmetric products of an algebraic curve
cites work: Nilpotent slices, Hilbert schemes, and the Jones polynomial
cites work: A Concordance Invariant from the Floer Homology of Double Branched Covers
cites work: Holomorphic disks and three-manifold invariants: properties and applications
cites work: Holomorphic disks and topological invariants for closed three-manifolds
cites work: Holomorphic triangles and invariants for smooth four-manifolds
cites work: On the Heegaard Floer homology of branched double-covers
cites work: Hamiltonian handleslides for Heegaard Floer homology
cites work: Uniqueness of symmetries of knots
cites work: Fukaya categories and Picard-Lefschetz theory
cites work: A link invariant from the symplectic geometry of nilpotent slices
cites work: Transformations of finite period
cites work: Stabilité de la classe des variétés Kaehleriennes par certains morphismes propres
cites work: Kähler spaces and proper open morphisms
cites work: Functors and computations in Floer homology with applications. I
DOI: 10.1007/S00039-010-0099-Y
description: scientific article