Related papers: On a homotopy $4$-sphere

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

For any positive integer $n$ we give a ${\mathbb Z}^n$-cork with a ${\mathbb Z}^n$-effective embedding in a 4-manifold being homeomorphic to $E(n)$. This means that a cork gives a subset ${\mathbb Z}^n$ in the differential structures on…

A fundamental result in 4-manifold topology asserts that any two exotic smooth structures on a simply-connected, closed 4-manifold differ by a cork twist: the operation of removing a compact, contractible, codimension-zero submanifold and…

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…

In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension…

We show the existence of elements of infinite order in some homotopy groups of the contactomorphism group of overtwisted spheres. It follows in particular that the contactomorphism group of some high dimensional overtwisted spheres is not…

We give a method for obtaining infinitely many framed knots which represent a diffeomorphic 4-manifold. We also study a relationship between the $n$-shake genus and the 4-ball genus of a knot. Furthermore we give a construction of homotopy…

Using techniques from the theory of Kirby calculus we give an explicit construction of a four dimensional hyperbolic link complement in a 4-manifold that is diffeomorphic to the standard 4-sphere.

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…

We construct exotic copies of $\mathbb{R}^4$ with nontrivial compactly supported mapping class groups of arbitrarily large rank. This follows from a modification of the construction of the diffeomorphism corks of arXiv:2407.04696 that makes…

It is known that every compact Stein 4-manifolds can be embedded into a simply connected, minimal, closed, symplectic 4-manifold. By using this property, we discuss a new method of constructing corks. This method generates a large class of…

We show that $\mathbb{C}^2$ contains pairs of properly embedded, smooth complex curves that are isotopic through homeomorphisms but not diffeomorphisms of $\mathbb{C}^2$. The construction is based on realizing corks as branched covers of…

Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups…

Here we give a concrete description of the cork automorphism $f:\partial W\to \partial W$ of the infinite order loose-cork $(W,f)$, defined in \cite{a2}. It is obtained by concatenating the defining ribbon disk of $W$ in $B^4$ by an…

A short survey of exotic smooth structutes on 4-manifolds is given with a special emphasis on the corresponding cork structures. Along the way we discuss some of the more recent results in this direction, obtained jointly with R.Matveyev,…

We construct a compact PL 5-manifold $M$ (with boundary) which is homotopy equivalent to the wedge of eleven 2-spheres, $\vee^{}_{1 1}S^2$, which is "spineless", meaning $M$ is not the regular neighborhood of any 2-complex PL embedded in…

The pochette surgery, which was discovered by Iwase and Matsumoto, is a generalization of the Gluck surgery. In this paper we construct infinitely many embeddings of a pochette into the 4-sphere and prove that homotopy 4-spheres obtained…

In this paper, Problem 4.17 on R. Kirby's problem list is solved by constructing infinitely many aspherical 4-manifolds that are homology 4-spheres

We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not…

A cork is a smooth, contractible, oriented, compact 4-manifold $W$ together with a self-diffeomorphism $f$ of the boundary 3-manifold that cannot extend to a self-diffeomorphism of $W$; the cork is said to be strong if $f$ cannot extend to…