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

We develop an equivariant version of Seiberg-Witten-Floer cohomology for finite group actions on rational homology $3$-spheres. Our construction is based on an equivariant version of the Seiberg-Witten-Floer stable homotopy type, as…

The classical Poincar{\'e} conjecture that every homotopy 3-sphere is diffeomorphic to the 3-sphere is confirmed by Perelman in arXiv papers solving Thurston's program on geometrizations of 3-manifolds. A new confirmation of this conjecture…

We construct infinitely many smooth 4-manifolds which are homotopy equivalent to $S^2$ but do not admit a spine, i.e., a piecewise-linear embedding of $S^2$ which realizes the homotopy equivalence. This is the remaining case in the…

We offer an approach to the smooth 4-dimensional Schoenflies conjecture via pseudo-isotopy theory.

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…

We analyze the embedding dimension of a normal weighted homogeneous surface singularity, and more generally, the Poincar\'e series of the minimal set of generators of the graded algebra of regular functions, provided that the link of the…

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…

We compare the invariants of flat vector bundles defined by Atiyah et al. and Jones et al. and prove that, up to weak homotopy, they induce the same map, denoted by $e$, from the $0$-connective algebraic $K$-theory space of the complex…

We use surgery along 2-tori embedded in a union of two copies of a product of punctured 2-tori to produce a new collection of homotopy 4-spheres (4-manifolds homotopy equivalent to $S^4$ and hence homeomorphic to $S^4$ but possibly not…

A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set,…

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…

We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology.…

By using the gluing formulae of the Seiberg-Witten invariant, we show the nonexistence of Einstein metric on manifolds obtained from a 4-manifold with nontrivial Seiberg-Witten invariant by performing sufficiently many connected sums or…

An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection…

Let X be a 4-manifold with contact boundary. We prove that the monopole invariants of X introduced by Kronheimer and Mrowka vanish under the following assumptions: (i) a connected component of the boundary of X carries a metric with…

In this paper we provide a sharp characterization of the smooth four-dimensional sphere. The assumptions of the theorem are conformally invariant, and can be reduced to an L^2 inequality of the Weyl tensor and positivity of the Yamabe…

Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a…

Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first…

For every rational homology 3-sphere with 2-torsion only we construct a unified invariant (which takes values in a certain cyclotomic completion of a polynomial ring), such that the evaluation of this invariant at any odd root of unity…

We give an infinite family of embeddings of $\mathbb{R} P^2$ to $S^4$ such that they are mutually topologically isotopic however are not smoothly isotopic to each other. Moreover, they are topologically isotopic to the standard $P^2$-knot.…