To an integral homology 3-sphere $Y$, we assign a well-defined $\Z$-graded (monopole) homology $MH_*(Y, I_{\e}(\T; \e_0))$ whose construction in principle follows from the instanton Floer theory with the dependence of the spectral flow $I_{\e}(\T; \e_0)$, where $\T$ is the unique U(1)-reducible monopole of the Seiberg-Witten equation on $Y$ and $\e_0$ is a reference perturbation datum. The definition uses the moduli space of monopoles on $Y \x \R$ introduced by Seiberg-Witten in studying smooth 4-manifolds. We show that the monopole homology $MH_*(Y, I_{\e}(\T; \e_0))$ is invariant among Riemannian metrics with same $I_{\e}(\T; \e_0)$. This provides a chamber-like structure for the monopole homology of integral homology 3-spheres. The assigned function $MH_{SWF}: \{I_{\e}(\T; \e_0)\} \to \{MH_*(Y, I_{\e}(\T; \e_0))\}$ is a topological invariant (as Seiberg-Witten-Floer Theory).
We give a new construction of monopole Floer homology for spin-c rational homology 3-spheres. As applications we define two invariants of certain smooth compact 4-manifolds with b_1=1 and b^+=0.
We study the monopole Floer homology of a SOLV rational homology sphere Y from the point of view of spectral theory. Applying ideas of Fourier analysis on solvable groups, we show that for suitable SOLV metrics on Y, small regular perturbations of the Seiberg-Witten equations do not admit irreducible solutions; in particular, this provides a geometric proof that Y is an L-space.
Some aspects of the construction of SW Floer homology for manifolds with non-trivial rational homology are analyzed. In particular, the case of manifolds that are obtained as zero-surgery on a knot in a homology sphere, and for torsion spinc structures. We discuss relative invariants in the case of torsion spinc structures.
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.
In this paper, we give a systematic study of Seiberg-Witten theory on closed oriented manifold $M$ with codimension-$3$ oriented Riemannian foliation $F$. Under a certain topological condition, we construct the basic Seiberg-Witten invariant and the monopole Floer homologies $\bar{HM}(M,F,\mfs;Γ),~\hat{HM}(M,F,\mfs;Γ), ~\widecheck{HM}(M,F,\mfs;Γ)$, for each transverse \spinc structure $\mfs$, where $Γ$ is a complete local system. We will show that these homologies are independent of the bundle-like metric and generic perturbation. The major difference between the basic monopole Floer homologie…
In this paper, we explore the interplay between contact structures and sutured monopole Floer homology. First, we study the behavior of contact elements, which were defined by Baldwin and Sivek, under the operation of performing Floer excisions, which was introduced to the context of sutured monopole Floer homology by Kronheimer and Mrowka. We then compute the sutured monopole Floer homology of some special balanced sutured manifolds, using tools closely related to contact geometry. For application, we obtain an exact triangle for the oriented skein relation in monopole theory and derive a con…
We refine some classical estimates in Seiberg-Witten theory, and discuss an application to the spectral geometry of three-manifolds. In particular, we show that on a rational homology three-sphere $Y$, for any Riemannian metric the first eigenvalue of the laplacian on coexact one-forms is bounded above explicitly in terms of the Ricci curvature, provided that $Y$ is not an $L$-space (in the sense of Floer homology). The latter is a purely topological condition, and holds in a variety of examples. Performing the analogous refinement in the case of manifolds with $b_1>0$, we obtain a gauge-theor…
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.
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.
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 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)…
These lecture notes are a friendly introduction to monopole Floer homology. We discuss the relevant differential geometry and Morse theory involved in the definition. After developing the relation with the four-dimensional theory, our attention shifts to gradings and correction terms. Finally, we sketch the analogue in this setup of Manolescu's recent disproof of the long standing Triangulation Conjecture.
We define a "real" version of Kronheimer-Mrowka's monopole Floer homology for a 3-manifold equipped with an involution. As a special case, we obtain invariants for links via their double branched covers. The new input is the notion of a real spin-c structure, which consists of a spin-c structure along with a compatible anti-linear involution on the spinor bundle.
We show that the Seifert-Weber dodecahedral space $\mathsf{SW}$ is an $L$-space. The proof builds on our work relating Floer homology and spectral geometry of hyperbolic three-manifolds. A direct application of our previous techniques runs into difficulties arising from the computational complexity of the problem. We overcome this by exploiting the large symmetry group and the arithmetic and tetrahedral group structure of $\mathsf{SW}$ to prove that small eigenvalues on coexact $1$-forms must have large multiplicity.
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…
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…
We use monopole Floer homology for sutured manifolds to construct invariants of Legendrian knots in a contact 3-manifold. These invariants assign to a knot K in Y elements of the monopole knot homology KHM(-Y,K), and they strongly resemble the knot Floer homology invariants of Lisca, Ozsváth, Stipsicz, and Szabó. We prove several vanishing results, investigate their behavior under contact surgeries, and use this to construct many examples of non-loose knots in overtwisted 3-manifolds. We also show that these invariants are functorial with respect to Lagrangian concordance.
This is the second paper in this series. Following the setup of Meng-Taubes, we define the monopole Floer homology for any pair $(Y,ω)$, where $Y$ is a compact oriented 3-manifold with toroidal boundary and $ω$ is a suitable closed 2-form viewed as a decoration. This construction fits into a (3+1)-topological quantum field theory and generalizes the work of Kronheimer-Mrowka for closed oriented 3-manifolds. By a theorem of Meng-Taubes and Turaev, the Euler characteristic of this Floer homology recovers the Milnor-Turaev torsion invariant of the 3-manifold.
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 establish the exact triangle in Seiberg-Witten-Floer theory relating the monopoloe homologies of any two closed 3-manifolds which are obtained from each other by $\pm 1$-surgery. We also show that the sum of the modified version of the Seiberg-Witten invariants for any closed rational homology 3-sphere $Y$ over all $Spin^c$ structures equals to $\frac 12 |H_1(Y, \Z)| λ(Y)$ where $λ(Y)$ is the Casson-Walker invariant.
Let $K$ be a knot in an integral homology 3-sphere $Y$, and $Σ$ the corresponding $n$-fold cyclic branched cover. Assuming that $Σ$ is a rational homology sphere (which is always the case when $n$ is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of $Σ$. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various $η$-invariants. We give several applications of our formula: (1) we calculate the Seiberg--Witten and Furuta--Ohta invariants for the mapping tori…
We prove that the Seiberg-Witten invariants of a rational homology sphere are determined in a very explicit fashion by the Casson-Walker invariant and the Reidemeister torsion
We establish a surgery formula for 3-dimensional Seiberg-Witten monopoles under (+1) Dehn surgery on a knot in a homology 3-sphere. (substantial revision)
The contact invariant is an element in the monopole Floer homology groups of an oriented closed three manifold canonically associated to a given contact structure. A non-vanishing contact invariant implies that the original contact structure is tight, so understanding its behavior under symplectic cobordisms is of interest if one wants to further exploit this property. By extending the gluing argument of Mrowka and Rollin to the case of a manifold with a cylindrical end, we will show that the contact invariant behaves naturally under a strong symplectic cobordism. As quick applications of the …
In this paper, we generalize the work of the second author and prove a grading shifting property, in sutured monopole and instanton Floer theories, for general balanced sutured manifolds. This result has a few consequences. First, we offer an algorithm that computes the Floer homologies of a family of sutured handle-bodies. Second, we obtain a canonical decomposition of sutured monopole and instanton Floer homologies and build polytopes for these two theories, which was initially achieved by Juhász for sutured (Heegaard) Floer homology. Third, we establish a Thurston-norm detection result for …
We derive a gauge theoretic invariant of integral homology 3-spheres which counts gauge orbits of irreducible, perturbed flat SU(3) connections with sign given by spectral flow. To compensate for the dependence of this sum on perturbations, the invariant includes contributions from the reducible, perturbed flat orbits. Our formula for the correction term generalizes that given by Walker in his extension of Casson's SU(2) invariant to rational homology 3-spheres.
We describe a relationship between the monopole Floer homology of three-manifolds and the geometry of Riemann surfaces. Consider an automorphism $φ$ of a compact Riemann surface $Σ$ with quotient $\mathbb{P}^1$. There is a natural correspondence between theta characteristics $L$ on $Σ$ which are invariant under $φ$ and self-conjugate spin$^c$ structures $\mathfrak{s}_L$ on the mapping torus $M_φ$ of $φ$. We show that the monopole Floer homology groups of $(M_φ,\mathfrak{s}_L)$ are explicitly determined by the eigenvalues of the (lift of the) action of $φ$ on $H^0(L)$, the space of holomorphic …
We define an invariant of contact 3-manifolds with convex boundary using Kronheimer and Mrowka's sutured monopole Floer homology theory (SHM). Our invariant can be viewed as a generalization of Kronheimer and Mrowka's contact invariant for closed contact 3-manifolds and as the monopole Floer analogue of Honda, Kazez, and Matić's contact invariant in sutured Heegaard Floer homology (SFH). In the process of defining our invariant, we construct maps on SHM associated to contact handle attachments, analogous to those defined by Honda, Kazez, and Matić in SFH. We use these maps to establish a bypas…
Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homology detects the unknot. In addition, we apply these techniques to give information about knots which admit lens space surgeries, and to exhibit families of three-manifolds which do not admit taut foliations.
This is the third paper of this series. In \cite{Wang20}, we defined the monopole Floer homology for any pair $(Y,ω)$, where $Y$ is a compact oriented 3-manifold with toroidal boundary and $ω$ is a suitable closed 2-form viewed as a decoration. In this paper, we establish a gluing theorem for this Floer homology when two such 3-manifolds are glued suitably along their common boundary, assuming that $\partial Y$ is disconnected, and $ω$ is small and yet non-vanishing on $\partial Y$. As applications, we construct a monopole Floer 2-functor and the generalized cobordism maps. Using results of Kr…
We use the contact invariant defined in [2] to construct a new invariant of Legendrian knots in Kronheimer and Mrowka's monopole knot homology theory (KHM), following a prescription of Stipsicz and Vértesi. Our Legendrian invariant improves upon an earlier Legendrian invariant in KHM defined by the second author in several important respects. Most notably, ours is preserved by negative stabilization. This fact enables us to define a transverse knot invariant in KHM via Legendrian approximation. It also makes our invariant a more likely candidate for the monopole Floer analogue of the "LOSS" in…
Kronheimer and Mrowka defined invariants of balanced sutured manifolds using monopole and instanton Floer homology. Their invariants assign isomorphism classes of modules to balanced sutured manifolds. In this paper, we introduce refinements of these invariants which assign much richer algebraic objects called projectively transitive systems of modules to balanced sutured manifolds and isomorphisms of such systems to diffeomorphisms of balanced sutured manifolds. Our work provides the foundation for extending these sutured Floer theories to other interesting functorial frameworks as well, and …
Given an involution on a rational homology 3-sphere $Y$ with quotient the $3$-sphere, we prove a formula for the Lefschetz number of the map induced by this involution in the reduced monopole Floer homology. This formula is motivated by a variant of Witten's conjecture relating the Donaldson and Seiberg--Witten invariants of 4-manifolds. A key ingredient is a skein-theoretic argument, making use of an exact triangle in monopole Floer homology, that computes the Lefschetz number in terms of the Murasugi signature of the branch set and the sum of Frøyshov invariants associated to spin structures…
To a link L in the 3-sphere, we associate a spectral sequence whose E^2 page is the reduced Khovanov homology of L and which converges to a version of the monopole Floer homology of the branched double cover. The pages E^k for k > 1 depend only on the mutation equivalence class of L. We define a mod 2 grading on the spectral sequence which interpolates between the delta-grading on Khovanov homology and the mod 2 grading on Floer homology. We also derive a new formula for link signature that is well-adapted to Khovanov homology. More generally, we construct new bigraded invariants of a framed l…
In this paper we present our results on the homology cobordism group $\Th$ of the oriented integral homology 3-spheres. We specially emphasize the role played in the subject by the gauge theory including Floer homology and invariants by Donaldson and Seiberg -- Witten.
We prove a basic inequality for the d-invariants of a splice of knots in homology spheres. As a result, we are able to prove a new relation on the rank of reduced Floer homology under maps between Seifert fibered homology spheres, improving results of the first and second authors. As a corollary, a degree one map between two aspherical Seifert homology spheres is homotopic to a homeomorphism if and only if the Heegaard Floer homologies are isomorphic.
We prove a Smith-type inequality for regular covering spaces in monopole Floer homology. Using the monopole Floer / Heegaard Floer correspondence, we deduce that if a 3-manifold Y admits a p^n-sheeted regular cover that is a Z/pZ-L-space (for p prime), then Y is a Z/pZ-L-space. Further, we obtain constraints on surgeries on a knot being regular covers over other surgeries on the same knot, and over surgeries on other knots.
In this paper we answer the question posed by M.~Atiyah and give an explicit formula for Floer homology of Brieskorn homology spheres in terms of their branching sets over the 3--sphere. We further show how Floer homology is related to other invariants of knots and 3--manifolds, among which are the $\barμ$--invariant of W.~Neumann and L.~Siebenmann and the Jones polynomial. Essential progress is made in proving the homology cobordism invariance of our own $ν$--invariant.
We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum of a number of Poincare spheres and hyperbolic homology spheres.
We prove Mayberry-Murasugi's formula for links in homology 3-spheres, which was proved before only for links in the 3-sphere. Our proof uses Franz-Reidemeister torsions.
We study the Seiberg-Witten invariant $λ_{\rm{SW}} (X)$ of smooth spin $4$-manifolds $X$ with integral homology of $S^1\times S^3$ defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant $h(X)$ and a certain Lefschetz number in the reduced monopole Floer homology of Kronheimer and Mrowka. We apply this formula to obstruct existence of metrics of positive scalar curvature on certain 4-manifolds, and to exhibit new classes of integral homo…
We show that a graph manifold which is a Z-homology 3-sphere not homeomorphic to either the 3-sphere or the Poincaré homology 3-sphere admits a horizontal foliation. This combines with known results to show that the conditions of not being an L-space, of having a left-orderable fundamental group, and of admitting a co-oriented taut foliation, are equivalent for graph manifold Z-homology 3-spheres.
The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold theory. We present a theorem about exceptional cosmetic surgery for homology spheres. Along the way we prove that if the surgery is not a small seifert $\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert surgery then there is at most one pair of exceptional truly cosmetic slope. We also prove that toroidal truly cosmetic surgeries on integer homology spheres must be integer homology spheres.
In this short note, we prove that if a knot in the Poincare homology sphere is homotopically essential, then it does not admit any purely cosmetic surgeries.
For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any simply connected definite 4-manifold. As a corollary, for any coprime integers $p,q$, we obtain an infinite family of irreducible rational homology 3-spheres which are homology cobordant to the lens space $L(p,q)$ but cannot obtained by a knot surgery.
Hedden defined two knots in each lens space that, through analogies with their knot Floer homology and doubly pointed Heegaard diagrams of genus one, may be viewed as generalizations of the two trefoils in S^3. Rasmussen shows that when the `left-handed' one is in the homology class of the dual to a Berge knot of type VII, it admits an L-space homology sphere surgery. In this note we give a simple proof that these L-space homology spheres are always the Poincaré homology sphere.
We establish three rank inequalities for the reduced flavor of Heegaard Floer homology of Seifert fibered integral homology spheres. Combining these inequalities with the known classifications of non-zero degree maps between Seifert fibered spaces, we prove that a map f from Y' to Y between Seifert homology spheres yields the inequality that |deg f| rank HFred(Y) is at most rank HFred(Y'). These inequalities are also applied in conjunction with an algorithm of Nemethi to give a method to solve the botany problem for the Heegaard Floer homology of these manifolds.
Using the Heegaard Floer homology of Ozsvath and Szabo we investigate obstructions to definite intersection pairings bounded by rational homology spheres. As an application we obtain new lower bounds for the four-ball genus of Montesinos links.
We study the general properties of the moduli spaces of SO(3) vortices over orbifold Riemann surfaces and use these to characterize the solutions of the SO(3) monopole equations on Seifert manifolds following in the footsteps of Mrowka, Ozsváth and Yu. We also study the solutions to the SO(3) monopole equations on S1 x (Riemann Surface) in order to motivate the construction of a version of monopole Floer homology, which we call framed monopole Floer homology, in analogy with the construction given by Kronheimer and Mrowka for the case of instanton Floer homology. Finally, the SO(3) vortex modu…
Let $Σ$ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds $M_+, M_-$ in $Σ$ are called dual to each other if the complement $Σ- M_+$ strongly homotopy retracts onto $M_-$ or vice-versa. In this paper we will give a complete answer of which integral triples $(n; m_+, m_-)$ can appear, where $n=dim Σ-1$, $m_+={codim}M_+ -1$ and $m_-={codim}M_- -1$.
For an integral homology 3-sphere embedded asymptotically flatly in an Euclidean space, we find a natural framing extending the standard trivialization on the asymptotically flat part.
A regular fiber of the Seifert fibering of the Poincaré homology sphere admits a Dehn surgery to $L(2,1)\#L(3,2)\#L(5,4)$. We prove that this is the only knot in the Poincaré homology sphere with a surgery to a connected sum of more than two lens spaces.
