Related papers: On a homotopy $4$-sphere

A smooth four manifold is of finite type $r$ if its Donaldson invariant satisfies D((x^2-4)^r)=0. We prove that every simply connected manifold is of finite type by using the structure of Donaldson invariants in the presence of immersed…

A wide class of noncommutative spaces, including 4-spheres based on all the quantum 2-spheres and suspensions of matrix quantum groups is described. For each such space a noncommutative vector bundle is constructed. This generalises and…

We prove that the double branched cover of a twist-roll spun knot in $S^4$ is smoothly preserved when four twists are added, and that the double branched cover of a twist-roll spun knot connected sum with a trivial projective plane is…

We study the infinite generation in the homotopy groups of the group of diffeomorphisms of $S^1 \times D^{2n-1}$, for $2n \geq 6$, in a range of degrees up to $n-2$. Our analysis relies on understanding the homotopy fibre of a linearisation…

We investigate certain $4$-dimensional analogues of the classical $3$-dimensional Dehn's lemma, giving examples where such analogues do or do not hold, in the smooth and topological categories. In particular, we show that an essential…

The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating…

We show that any number of disjointly embedded 2-spheres in 4-space can be pulled apart by a link homotopy, ie, by a motion in which the 2-spheres stay disjoint but are allowed to self-intersect.

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…

A 4-manifold is constructed with some curious metric properties; or maybe it is many 4-manifolds masquerading as one, which would explain why it looks curious. Anyway, knots in the 3-sphere with complete finite volume hyperbolic metrics on…

We develop the theory of the diagrammatics of surface cross sections to prove that there are an infinite number of homology 3-spheres smoothly embeddable in a homology 4-sphere but not in a homotopy 4-sphere. Our primary obstruction comes…

While the topology of the space of all smooth immersed curves on the $2$-sphere $\mathbb{S}^2$ that start and end at given points in given directions is well known, it is an open problem to understand the homotopy type of its subspaces…

For a non-orientable closed surface standardly embedded in the 4-sphere, a diffeomorphism over this surface is extendable if and only if this diffeomorphism preserves the Guillou-Marin quadratic form of this embedded surface.

We prove that every 4-dimensional oriented handlebody without 3- and 4-handles can be modified to admit infinitely many exotic smooth structures, and moreover prove that their genus functions are pairwise equivalent. We furthermore show…

In conformal differential geometry, there are some distinguished curves, often known as 'conformal circles,' since, on the round sphere, they are the round circles (and these are conformally invariant). But on the two-sphere, the curves of…

The cohomological rigidity problem for toric orbifolds asks when an integral cohomology isomorphism implies a homotopy equivalence. In this paper we reformulate the cohomological rigidity problem in the context of $4$-dimensional toric…

We establish the continuous homotopy invariance of bivariant local cyclic homology on the category of all \sigma-C^*-algebras. The argument relies vitally on an isomorphism between the smooth and continuous cylinder constructions using a…

We study symplectic structures on four-dimensional small covers. Our main result shows that every symplectic four-dimensional small cover is aspherical. We then classify symplectic small covers over products of two polygons, proving that…

We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to…

We compute the group of link homotopy classes of link maps of two 2-spheres into 4-space. It turns out to be free abelian, generated by geometric constructions applied to the Fenn-Rolfsen link map and detected by two self-intersection…

In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Gol\'enia and Moroianu, the Laplacian on $2$-forms…