Search arXivSearch

arXiv · 1605.03137

$\mathrm{Pin}(2)$-monopole Floer homology, higher compositions and connected sums

Abstract

We study the behavior of $\mathrm{Pin}(2)$-monopole Floer homology under connected sums. After constructing a (partially defined) $\mathcal{A}_{\infty}$-module structure on the $\mathrm{Pin}(2)$-monopole Floer chain complex of a three manifold (in the spirit of Baldwin and Bloom's monopole category), we identify up to quasi-isomorphism the Floer chain complex of a connected sum with a version of the $\mathcal{A}_{\infty}$-tensor product of the modules of the summands. There is an associated Eilenberg-Moore spectral sequence converging to the Floer groups of the connected sum whose $E^2$ page is the $\mathrm{Tor}$ of the Floer groups of the summands. We discuss in detail a simple example, and use this computation to show that the $\mathrm{Pin}(2)$-monopole Floer homology of $S^3$ has non trivial Massey products

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Francesco Lin. 2016-05-10. $\mathrm{Pin}(2)$-monopole Floer homology, higher compositions and connected sums. https://doi.org/10.1112/topo.12027

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The mod 2 Seiberg-Witten invariants of spin structures and spin families

We completely determine the mod $2$ Seiberg-Witten invariants for any spin structure on any closed, oriented, smooth $4$-manifold $X$. Our computation confirms the validity of the simple type conjecture mod $2$ for spin structures. Our proof also works for families of spin $4$-manifolds and thus computes the mod $2$ Seiberg-Witten invariants for spin families. The proof of our main result uses $Pin(2)$-symmetry to define an enhancement of the mod $2$ Seiberg-Witten invariants. We prove a connected sum formula for the enhanced invariant using localisation in equivariant cohomology. Unlike the usual Seiberg-Witten invariant, the enhanced invariant does not vanish on taking connected sums and by exploiting this property, we are able to compute the enhanced invariant.

math.GT

Isotopy versus equivariant isotopy in dimensions three and higher

Given a finite group action on a smooth manifold, we study the following question: if two equivariant diffeomorphisms are isotopic, must they be equivariantly isotopic? Birman-Hilden and Maclachlan-Harvey proved the answer is "yes" for most surfaces. By contrast, we give a general criterion in higher dimensions under which there are many equivariant diffeomorphisms which are isotopic but not equivariantly isotopic. Examples satisfying this criterion include branched covers of split links and "stabilized" branched covers. We prove the result by constructing an invariant valued in the homology of a certain infinite cover of the manifold. We give applications to outer automorphism groups of free products and to group actions on manifolds which fiber over the circle.

math.GT