In this remark, we show how the monopole Frøyshov invariant, as well as the analogues of the Involutive Heegaard Floer correction terms $\underline{d},\overline{d}$, are related to the $\mathrm{Pin}(2)$-equivariant Floer homology $\mathit{SWFH}^G_*$. We show that the only interesting correction terms of a $\mathrm{Pin}(2)$-space are those coming from the subgroups $\mathbb{Z}/4$, $S^1$, and $\mathrm{Pin}(2)$ itself.
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 i…
In previous work, we introduced a natural $\mathcal{A}_{\infty}$-structure on the $\mathrm{Pin}(2)$-monopole Floer chain complex of a closed, oriented three-manifold $Y$, and showed that it is non-formal in the simplest case in which $Y$ is the three-sphere $S^3$. In this paper, we provide explicit descriptions of several Massey products induced on homology, and discuss how they can be used to compute the $\mathrm{Pin}(2)$-monopole Floer homology of connected sums in many concrete examples.
We compute the Pin(2)-equivariant monopole Floer homology for the class of plumbed 3-manifolds with at most one "bad" vertex (in the sense of Ozsvath and Szabo). We show that for these manifolds, the Pin(2)-equivariant monopole Floer homology can be calculated in terms of the Heegaard Floer/monopole Floer lattice complex defined by Nemethi. Moreover, we prove that in such cases the ranks of the usual monopole Floer homology groups suffice to determine both the Manolescu correction terms and the Pin(2)-homology as an abelian group. As an application of this, we show that $β(-Y, s) = \barμ(Y, s)…
We prove the existence of an exact triangle for the Pin(2)-monopole Floer homology groups of three manifolds related by specific Dehn surgeries on a given knot. Unlike the counterpart in usual monopole Floer homology, only two of the three maps are those induced by the corresponding elementary cobordism. We use this triangle to describe the invariants associated to homology spheres obtained by (\pm1)-surgery on alternating knots.
We show that the bar version of the $\mathrm{Pin}(2)$-monopole Floer homology of a three-manifold $Y$ equipped with a self-conjugate spin$^c$ structure $\mathfrak{s}$ is determined by the triple cup product of $Y$ together with the Rokhlin invariants of the spin structures inducing $\mathfrak{s}$. This is a manifestation of mod $2$ index theory, and can be interpreted as a three-dimensional counterpart of Atiyah's classic results regarding spin structures on Riemann surfaces.
We compute the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer homology of Seifert rational homology three-spheres in terms of their Heegaard Floer homology. As a result of this computation, we prove Manolescu's conjecture that $β=-\barμ$ for Seifert integral homology three-spheres. We show that the Manolescu invariants $α, β,$ and $γ$ give new obstructions to homology cobordisms between Seifert fiber spaces, and that many Seifert homology spheres $Σ(a_1,...,a_n)$ are not homology cobordant to any $-Σ(b_1,...,b_n)$. We then use the same invariants to give an example of an integral homology …
Given a spin$^c$ rational homology sphere $(Y,\mathfrak{s})$ with $\mathfrak{s}$ self-conjugate and for which the reduced monopole Floer homology $\mathit{HM}_{\bullet}(Y,\mathfrak{s})$ has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of this result (and of its natural generalizations we discuss) uses $\mathrm{Pin}(2)$-monopole Floer homology.
We give new obstructions to the module structures arising in Heegaard Floer homology. As a corollary, we characterize the possible modules arising as the Heegaard Floer homology of an integer homology sphere with one-dimensional reduced Floer homology. Up to absolute grading shifts, there are only two. We use this corollary to show that the chain complex depicted by Ozsváth, Stipsicz, and Szabó to argue that there is no algebraic obstruction to the existence of knots with trivial $ε$ invariant and non-trivial $Υ$ invariant cannot be realized as the knot Floer complex of a knot.
We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there are no homology 3-spheres Y of Rokhlin invariant one such that Y # Y bounds an acyclic smooth 4-manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.
It is known that knot Floer homology detects the genus and Alexander polynomial of a knot. We investigate whether knot Floer homology of $K$ detects more structure of minimal genus Seifert surfaces for $K$. We define an invariant of algebraically slice, genus one knots and provide examples to show that knot Floer homology does not detect this invariant. Finally, we remark that certain metabelian $L^2$-signatures bound this invariant from below.
We show that a large class of satellite operators are rank-expanding; that is, they map some rank-one subgroup of the concordance group onto an infinite linearly independent set. Our work constitutes the first systematic study of this property in the literature and partially affirms a conjecture of the second author and Pinzón-Caicedo. More generally, we establish a Floer-theoretic condition for a family of companion knots to have infinite-rank image under satellites from this class. The methods we use are amenable to patterns which act trivially in topological concordance and are capable of h…
We survey the different versions of Floer homology that can be associated to three-manifolds. We also discuss their applications, particularly to questions about surgery, homology cobordism, and four-manifolds with boundary. We then describe Floer stable homotopy types, the related Pin(2)-equivariant Seiberg-Witten Floer homology, and its application to the triangulation conjecture.
Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology $3$-spheres. As an application, we give explicit constrains on the intersection forms of spin $4$-manifolds bounded by Brieskorn spheres $\pmΣ(2,3,6k\pm1)$. Along the way, we also give an alternative proof of Furuta-Kametanni's improvement of 10/8-theorem for closed spin-4 manifolds.
In the present work we generalize the construction of monopole Floer homology due to Kronheimer and Mrowka to the case of a gradient flow with Morse-Bott singularities. Focusing then on the special case of a three-manifold equipped with a spin$^c$ structure isomorphic to its conjugate, we define the counterpart in this context of Manolescu's recent $\mathrm{Pin}(2)$-equivariant Seiberg-Witten-Floer homology. In particular, we provide an alternative approach to his disproof of the celebrated Triangulation conjecture.
We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory. In the process we introduce the notion of a Floer K_G-split homology sphere; this concept may be useful in an approach to the 11/8 conjecture.
Ozsváth and Szabó gave a combinatorial description for the Heegaard Floer homology of boundaries of certain negative-definite plumbings. Némethi constructed a remarkable algorithm for executing these computations for almost-rational plumbings, and his work gives a formula computing the invariants for the Brieskorn homology spheres -Σ (p,q,pqn + 1). Here we give a formula for HF^{+}(-Σ(p,q,pqn-1)), generalizing the one for the n=1 case given by Borodzik and Némethi. We also compute HF^{+} for the families -Σ(2,5,k) and -Σ(2,7,k).
We study the conjugation involution in Seiberg-Witten theory in the context of the Ozsváth-Szabó and Bloom's spectral sequence for the branched double cover of a link $L$ in $S^3$. We prove that there exists a spectral sequence of $\mathbb{F}[Q]/Q^2$-modules (where $Q$ has degree $-1$) which converges to $\widetilde{\mathit{HMI}}_*(Σ(L))$, an involutive version of the monopole Floer homology of the branched double cover, and whose $E^2$-page is a version of Bar Natan's characteristic two Khovanov homology of the mirror of $L$. We conjecture that an analogous result holds in the setting of $\ma…
The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homology.
This note contains two remarks about the application of the d-invariant in Heegaard Floer homology and Donaldson's diagonalization theorem to knot theory. The first is the equivalence of two obstructions they give to a 2-bridge knot being smoothly slice. The second carries out a suggestion by Stefan Friedl to replace the use of Heegaard Floer homology by Donaldson's theorem in the proof of the main result of Invent. Math. 192 (2013) no.3 717-750 concerning Conway mutation of alternating links.
L-spaces were introduced by Ozsvath and Szabo using the Heegaard Floer Homology. In the quest for L-spaces we consider links of isolated complete intersection surface singularities. We show that if such a manifold is an L-space, then it is a link of a rational singularity. We also prove that if it is not an L-space then it admits a symplectic filling with $b_2^+>0$. Based on these results we pin down all integral homology sphere L-spaces in this realm.
