No Arabic abstract
We study the Seiberg-Witten invariant $lambda_{rm{SW}} (X)$ of smooth spin $4$-manifolds $X$ with integral homology of $S^1times 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{o}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 homology $3$-spheres of Rohlin invariant one which have infinite order in the homology cobordism group.
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.
Let $M_n$ be the connect sum of $n$ copies of $S^2 times S^1$. A classical theorem of Laudenbach says that the mapping class group $text{Mod}(M_n)$ is an extension of $text{Out}(F_n)$ by a group $(mathbb{Z}/2)^n$ generated by sphere twists. We prove that this extension splits, so $text{Mod}(M_n)$ is the semidirect product of $text{Out}(F_n)$ by $(mathbb{Z}/2)^n$, which $text{Out}(F_n)$ acts on via the dual of the natural surjection $text{Out}(F_n) rightarrow text{GL}_n(mathbb{Z}/2)$. Our splitting takes $text{Out}(F_n)$ to the subgroup of $text{Mod}(M_n)$ consisting of mapping classes that fix the homotopy class of a trivialization of the tangent bundle of $M_n$. Our techniques also simplify various aspects of Laudenbachs original proof, including the identification of the twist subgroup with $(mathbb{Z}/2)^n$.
We use the construction of unfolded Seiberg-Witten Floer spectra of general 3-manifolds defined in our previous paper to extend the notion of relative Bauer-Furuta invariants to general 4-manifolds with boundary. One of the main purposes of this paper is to give a detailed proof of the gluing theorem for the relative invariants.
We generalize Ngs two-variable algebraic/combinatorial $0$-th framed knot contact homology for framed oriented knots in $S^3$ to knots in $S^1 times S^2$, and prove that the resulting knot invariant is the same as the framed cord algebra of knots. Actually, our cord algebra has an extra variable, which potentially corresponds to the third variable in Ngs three-variable knot contact homology. Our main tool is Lins generalization of the Markov theorem for braids in $S^3$ to braids in $S^1 times S^2$. We conjecture that our framed cord algebras are always finitely generated for non-local knots.
We prove that there does not exist a nontrivial quantization of the Poisson algebra of the symplectic manifold S^2 which is irreducible on the subalgebra generated by the components {S_1,S_2,S_3} of the spin vector. We also show that there does not exist such a quantization of the Poisson subalgebra P consisting of polynomials in {S_1,S_2,S_3}. Furthermore, we show that the maximal Poisson subalgebra of P containing {1,S_1,S_2,S_3} that can be so quantized is just that generated by {1,S_1,S_2,S_3}.