Related papers: No homotopy 4-sphere invariants using ECH = SWF

Seiberg-Witten (Floer) theory, Ozsvath-Szabo's Heegaard Floer theory, Hutchings's embedded contact homology, in different stages of development, define (or are expected to define) packages of invariants for 3- and 4-manifolds (including…

We define an invariant of triple-point-free immersions of $2$-spheres into Euclidean $3$-space, taking values in $l^1(\mathbb{Z})$. It remains unchanged under regular homotopies through such immersions. An explicit description of its image…

We consider a connected negative definite plumbing graph, and we assume that the associated plumbed 3-manifold is a rational homology sphere. We provide two new combinatorial formulae for the Seiberg-Witten invariant of this manifold. The…

We establish constraints on the topology of smooth Lefschetz fibrations with $4$-dimensional fibers, by studying the family Bauer-Furuta invariant. To compute this invariant, we analyze the framed bordism class of 1-dimensional…

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.…

This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing…

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:…

In recent times a great amount of progress has been achieved in symplectic and contact geometry, leading to the development of powerful invariants of 3-manifolds such as Heegaard Floer homology and embedded contact homology. These…

We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and…

While topologists have had possession of possible counterexamples to the smooth 4-dimensional Poincar\'{e} conjecture (SPC4) for over 30 years, until recently no invariant has existed which could potentially distinguish these examples from…

We construct Bott-type and stable equivariant Seiberg-Witten Floer homology and cohomology for rational homology spheres, and prove their diffeomorphism invariance.

Let M be a rational homology sphere plumbed 3-manifold associated with a connected negative definite plumbing graph. We show that its Seiberg-Witten invariants equal certain coefficients of an equivariant multivariable Ehrhart polynomial.…

Using lattice homology, we give an explicit combinatorial description of the Seiberg-Witten-Floer spectrum $\mathit{SWF}(Y)$ for $Y$ an almost-rational plumbed homology sphere. This class of manifolds includes all Seifert fibered rational…

In 2009, Calegari constructed smooth homotopy 4-spheres from monodromies of fibered knots. We prove that all these are diffeomorphic to the standard 4-sphere. Our method uses 5-dimensional handlebody techniques and results on mapping class…

We prove a contact non-squeezing phenomenon on homotopy spheres that are fillable by Liouville domains with infinite dimensional symplectic homology: there exists a smoothly embedded ball in such a sphere that cannot be made arbitrarily…

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…

We introduce a Floer homotopy version of the contact invariant introduced by Kronheimer-Mrowka-Ozv\'ath-Szab\'o. Moreover, we prove a gluing formula relating our invariant with the first author's Bauer-Furuta type invariant, which refines…

We study the Seiberg-Witten invariant $\lambda_{\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…

Seiberg-Witten theory leads to a delicate interplay between Riemannian geometry and smooth topology in dimension four. In particular, the scalar curvature of any metric must satisfy certain non-trivial estimates if the manifold in question…

In this note we describe the physics of equivalence of the Seiberg-Witten invariants of 4-manifolds and certain Gromov-Witten invariants defined by pseudo-holomorphic curves. We show that physics of the pseudo-holomorphic curves should be…