We determine the Seiberg-Witten-Floer homology groups of the three-manifold which is the product of a surface of genus $g \geq 1$ times the circle, together with its ring structure, for spin-c structures which are non-trivial on the three-manifold. We give applications to computing Seiberg-Witten invariants of four-manifolds which are connected sums along surfaces and also we reprove the higher type adjunction inequalities previously obtained by Oszváth and Szabó.
For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological invariants. We establish exact sequences relating them, we show that they satisfy a duality under orientation reversal, and we explain their relation to ou previous construction of equivariant Seiberg-Witten Floer (co)homologies. We conjecture the equivalence of these versions of equivariant Seiberg-Witten Floer homology with the Heegaard Floer invariants introduce…
We give the definition of the Seiberg-Witten-Floer homology group for a homology 3-sphere. Its Euler characteristic number is a Casson-type invariant. For a four-manifold with boundary a homology sphere, a relative Seiberg-Witten invariant is defined taking values in the Seiberg-Witten-Floer homology group, these relative Seiberg-Witten invariants are applied to certain homology spheres bounding Stein surfaces.
This is the second part of the proof of the exact traiangles in Seiberg-Witten Floer theory. We analyse the splitting and gluing of flow lines of the Chern-Simons-Dirac functional when the underlying three-manifold splits along a torus. (two corrections added)
Given a three-manifold with b_1=1 and a nontorsion spin^c structure, we use finite dimensional approximation to construct from the Seiberg-Witten equations two invariants in the form of a periodic pro-spectra. Various functors applied to these invariants give different flavors of Seiberg-Witten Floer homology. We also construct stable homotopy versions of the relative Seiberg-Witten invariants for certain four-manifolds with boundary.
This paper presents the construction of the Seiberg-Witten-Floer homology of three-manifolds with non-trivial rational homology, and some properties of the invariant of three-manifolds obtained by computing the Euler characteristic. This new version corrects a mistake and some misprints that appear in the published version (Internat. J. Math., Vol.7, N.5 (1996) 671-696). Various sections are rewritten in more detail.
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.
We construct Bott-type and stable equivariant Seiberg-Witten Floer homology and cohomology for rational homology spheres, and prove their diffeomorphism invariance.
This paper gives a detailed construction of Seiberg-Witten-Floer homology for a closed oriented 3-manifold with a non-torsion $\spinc$ structure. Gluing formulae for certain 4-dimensional manifolds splitting along an embedded 3-manifold are obtained.
We construct Bott-type and equivariant Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. This paper is a revised version of math.DG/9701010. Some typos are removed.
This paper circulated previously in a draft version. Now, upon general request, it is about time to distribute the more detailed (and much longer) version. The main technical issues revolve around the fine structure of the compactification of the moduli spaces of flow lines and the obstruction bundle technique, with related gluing theorems, needed in the proof of the topological invariance of the equivariant version of the Floer homology.
Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In particular, this gives a construction of Seiberg-Witten Floer homology that avoids the delicate transversality problems in the standard approach. We also define a relative invariant of four-manifolds with boundary which generalizes the Bauer-Furuta stable homotopy invariant of closed four-manifolds.
We construct equivariant and Bott-type Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. We present several versions of the equivariant theory: the singular version, the de Rham version and the Cartan version, with the first playing the most important role. These versions are shown to be equivalent to each other. A few typos are removed.
We introduce a Floer homotopy version of the contact invariant introduced by Kronheimer-Mrowka-Ozváth-Szabó. Moreover, we prove a gluing formula relating our invariant with the first author's Bauer-Furuta type invariant, which refines Kronheimer-Mrowka's invariant for 4-manifolds with contact boundary. As an application, we give a constraint for a certain class of symplectic fillings using equivariant KO-cohomology.
In this paper, we study the Seiberg-Witten equations on the product R x Y, where Y is a compact 3-manifold with boundary. Following the approach of Salamon and Wehrheim in the instanton case, we impose Lagrangian boundary conditions for the Seiberg- Witten equations. The resulting equations we obtain constitute a nonlinear, nonlocal boundary value problem. We establish regularity, compactness, and Fredholm properties for the Seiberg- Witten equations supplied with Lagrangian boundary conditions arising from the monopole spaces studied in [20]. This work therefore serves as an analytic foundati…
This is an expansion on my talk at the Geometry and Topology conference at McMaster University, May 2004. We outline a program to relate the Heegaard Floer homologies of Ozsvath-Szabo, and Seiberg-Witten-Floer homologies as defined by Kronheimer-Mrowka. The center-piece of this program is the construction of an intermediate version of Floer theory, which exhibits characteristics of both theories.
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…
Building on ideas from [DT98; DS11; Wal17; Hay17], we outline a proposal for constructing Floer homology groups associated with a G2-manifold. These groups are generated by associative submanifolds and solutions of the ADHM Seiberg-Witten equations. The construction is motivated by the analysis of various transitions which can change the number of associative submanifolds. We discuss the relation of our proposal to Pandharipande and Thomas' stable pair invariant of Calabi-Yau 3-folds.
In this paper, we derive new adjunction inequalities for embedded surfaces with non-negative self-intersection number in four-manifolds. These formulas are proved by using relations between Seiberg-Witten invariants which are induced from embedded surfaces. To prove these relations, we develop the relevant parts of a Floer theory for four-manifolds which bound circle-bundles over Riemann surfaces.
The purpose of this note is to prove that the symplectic mapping class groups of many K3 surfaces are infinitely generated. Our proof makes no use of any Floer-theoretic machinery but instead follows the approach of Kronheimer and uses invariants derived from the Seiberg-Witten equations.
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.
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 Riema…
We prove a conjecture of Hutchings and Lee relating the Seiberg-Witten invariants of a closed 3-manifold X with b_1 > 0 to an invariant that `counts' gradient flow lines--including closed orbits--of a circle-valued Morse function on the manifold. The proof is based on a method described by Donaldson for computing the Seiberg-Witten invariants of 3-manifolds by making use of a `topological quantum field theory,' which makes the calculation completely explicit. We also realize a version of the Seiberg-Witten invariant of X as the intersection number of a pair of totally real submanifolds of a pr…
In this paper, we study the Seiberg-Witten equations on a compact 3-manifold with boundary. Solutions to these equations are called monopoles. Under some simple topological assumptions, we show that the solution space of all monopoles is a Banach manifold in suitable function space topologies. We then prove that the restriction of the space of monopoles to the boundary is a submersion onto a Lagrangian submanifold of the space of connections and spinors on the boundary. Both these spaces are infinite dimensional, even modulo gauge, since no boundary conditions are specified for the Seiberg-Wit…
We construct distinguished elements in the embedded contact homology (and monopole Floer homology) of a 3-torus, associated with Lagrangian tori in symplectic 4-manifolds and their isotopy classes. They turn out not to be new invariants, instead they repackage the Gromov (and Seiberg-Witten) invariants of various torus surgeries. We then recover a result of Morgan-Mrowka-Szabó on product formulas for the Seiberg-Witten invariants along 3-tori.
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 continue our program initiated in [arXiv:0912.4261] to consider supersymmetric surface operators in a topologically-twisted N=2 pure SU(2) gauge theory, and apply them to the study of four-manifolds and related invariants. Elegant physical proofs of various seminal theorems in four-manifold theory obtained by Ozsvath-Szabo [2,3] and Taubes [4], will be furnished. In particular, we will show that Taubes' groundbreaking and difficult result -- that the ordinary Seiberg-Witten invariants are in fact the Gromov invariants which count pseudo-holomorphic curves embedded in a symplectic four-manif…