Related papers: On smoothable surgery for 4-manifolds
A link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links…
It is not known whether the realisation part of the $s$-cobordism theorem holds for smooth 4-manifolds, nor whether every pair of smoothly $h$-cobordant 4-manifolds is also smoothly $s$-cobordant. We provide some new conditions under which…
We produce a rational homology 3-sphere that does not smoothly bound either a positive or negative definite 4-manifold. Such a 3-manifold necessarily cannot be rational homology cobordant to a Seifert fibered space or any 3-manifold…
We give some rigidity theorems for an n$(\geq4)$-dimensional compact Riemannian manifold with harmonic Weyl curvature, positive scalar curvature and positive constant $\sigma_2$. Moreover, when $n=4,$ we prove that a 4-dimensional compact…
The main result of this paper asserts that if a Seifert fibered 4-manifold has nonzero Seiberg-Witten invariant, the homotopy class of regular fibers has infinite order. This is a nontrivial obstruction to smooth circle actions; as…
In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth…
Let $G$ be a compact Lie group acting isometrically on a compact Riemannian manifold $M$ with nonempty fixed point set $M^G$. We say that $M$ is fixed-point homogeneous if $G$ acts transitively on a normal sphere to some component of $M^G$.…
The validity of Freedman's disk theorem is known to depend only on the fundamental group. It was conjectured that it fails for nonabelian free fundamental groups. If this were true then surgery theory would work in dimension four. Recently,…
We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the…
An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give…
Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $\Sigma$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that are pairwise homeomorphic to $\Sigma$, but…
One approach to produce a pair of homeomorphic-but-not-diffeomophic closed 4-manifolds is to find a knot which is smoothly slice in one but not the other. This approach has never been run successfully. We give the first examples of a pair…
We construct a nonsmoothable Z\times Z-action on the connected sum of an Enriques surface and S^2\times S^2, such that each of generators is smoothable. We also construct a nonsmoothable self-homeomorphism on an Enriques surface.
We study smooth fibrations of compact torsion-free Spin(7)-manifolds by Cayley submanifolds. Using geometric and topological constraints coming from the Spin(7)-structure, we show that only two topological configurations can arise. One of…
If $X$ is a compact set, a {\it topological contraction} is a self-embedding $f$ such that the intersection of the successive images $f^k(X)$, $k>0$, consists of one point. In dimension 3, we prove that there are smooth topological…
A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is…
M. Freedman showed that every homology 3-sphere embeds as a locally flat submanifold of $S^4$. This is in striking contrast to the state of our knowledge of smooth embeddings of homology spheres. This book surveys what is presently known…
Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are…
Symplectic instanton homology is an invariant for closed oriented three-manifolds, defined by Manolescu and Woodward, which conjecturally corresponds to a symplectic version of a variant of Floer's instanton homology. In this thesis we…
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…