Related papers: On the homeomorphism problem for 4-manifolds

We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees.

This article presents the constructions of new infinite families of smooth 4-manifolds with the property that any two manifolds in the same family are homeomorphic and, from their construction, seem to be quite different, but cannot be…

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…

In this short expository note, we give a detailed proof of Markov's theorem on the unsolvability of the homeomorphism problem and of the existence of unrecognizable manifolds in all dimensions larger than 3.

We construct examples of nonresolvable generalized $n$-manifolds, $n\geq 6$, with arbitrary resolution obstruction, homotopy equivalent to any simply connected, closed $n$-manifold. We further investigate the structure of generalized…

For each composite number $n\ne 2^k$, there does not exist a single connected closed $(n+1)$-manifold such that any smooth, simply-connected, closed $n$-manifold can be topologically flat embedded into it. There is a single connected closed…

We describe an algorithm which has enabled us to give a complete list, without repetitions, of all closed oriented irreducible 3-manifolds of complexity up to 9. More interestingly, we have actually been able to give a "name" to each such…

We show that it is impossible to algorithmically decide if the l^2-cohomology of the universal cover of a finite CW complex is trivial, even if we only consider complexes whose fundamental group is equal to the elementary amenable group…

It is well-known by the work of Hsiang and Kleiner that every closed oriented positively curved 4-dimensional manifold with an effective isometric S^1-action is homeomorphic to S^4 or CP^2. As stated, it is a topological classification. The…

We prove that a topological 4-manifold of globally non-positive curvature is homeomorphic to Euclidean space.

In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space is trivial. This finding shows the inherent limitations of…

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…

For a closed 4-manifold X and closed 3-manifold M we investigate the smallest integer n (perhaps infinity) such that M embeds in the connected sum of n copies of X. It is proven that any lens space (or homology lens space) embeds…

We study the topology of $SLE$ curves for $\kappa > 4$. More precisely, we show that, a.s., there is no homeomorphism $\Phi: \overline{\mathbb{H}} \rightarrow \overline{\mathbb{H}}$, taking the range of one independent $SLE$ curve to…

In this article, we present new symplectic 4-manifolds with same integral cohomology as $S^{2}\times S^{2}$. The generalization of this construction is given as well, an infinite family of symplectic 4-manifolds cohomology equivalent to…

We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces.…

Every lens space has a locally flat embedding in a connected sum of 8 copies of the complex projective plane and a smooth embedding in n copies of the complex projective plane for some positive integer n. We show that there is no n such…

The purpose of this article is twofold. First we outline a general construction scheme for producing simply-connected minimal symplectic 4-manifolds with small Euler characteristics. Using this scheme, we illustrate how to obtain…

Consider a complete orientable manifold with countably many components of bounded dimension. Suppose that its rational homology is infinitely generated in some degree. Then there is no choice of weight function for which the natural map…

We show that no exotic $\mathbb{R}^4$ admits a complete Riemannian metric with uniformly positive isotropic curvature and with bounded geometry. This is essentially a corollary of the main result in [Hu1], and was stated in [Hu2] without…