Related papers: Smooth homotopy 4-sphere

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…

We show that an infinite sequence of homotopy 4-spheres constructed by Cappell-Shaneson are all diffeomorphic to S^4. This generalizes previous results of Akbulut-Kirby and Gompf.

We give a brief survey of some facts about homotopy $4$-spheres \cite{a1}, then give a proof that the curious homotopy sphere constructed in \cite{a2} is in fact diffeomorphic to the standard $S^4$, and discuss its relation to infinite…

We show that the group of smooth homotopy $7$-spheres acts freely on the set of smooth manifold structures on a topological manifold $M$ which is homotopy equivalent to the real projective $7$-space. We classify, up to diffeomorphism, all…

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

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…

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…

We prove that the infinite family of homotopy 4-spheres constructed by Daniel Nash are all diffeomorphic to 4-sphere.

Here we discuss an example of topologically isotopic but smoothly non-isotopic pair of 2-spheres in a simply connected 4-manifold, which become smoothly isotopic after stabilizing by connected summing with S^2 x S^2.

Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…

Every stable 4-sphere is identified with the double branched covering space of a trivial surface-knot space. As a result of Wall, it is known that any two orthogonal bases of every stable 4-sphere are transformed into each other by an…

In relation to the 4-dimensional smooth Poincar\'e conjecture we construct a tentative invariant of homotopy 4-spheres using embedded contact homology (ECH) and Seiberg-Witten theory (SWF). But for good reason it is a constant value…

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…

This note serves to record examples of diffeomorphisms of closed smooth $4$-manifolds $X$ that are homotopic but not pseudoisotopic to the identity, and to explain why there are no such examples when $X$ is orientable and its fundamental…

We show the homotopy spheres $\Sigma_{n} = -W\smile_{f^{n}}W$, formed by doubling the infinite order loose-cork $(W,f)$ by iterates of the cork diffeomorphism $f: \partial W \to \partial W$ is $S^4$. To do this we first show that…

Given a closed, smooth 4-manifold $X$ and self-diffeomorphism $f$ that is topologically pseudo-isotopic to the identity, we study the question of whether $f$ is moreover smoothly pseudo-isotopic to the identity. If the fundamental group of…

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…

In this paper we present the notion of smooth CW complexes given by attaching cubes on the category of diffeological spaces, and we study their smooth homotopy structures related to the homotopy extension property.

We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and…

We determine all four-dimensional homogeneous semi-symmetric neutral manifolds.