Related papers: Some examples of aspherical 4-manifolds that are h…

A strategy for constructing an embedded sphere in a 4-manifold realizing a given homology class which has been successfully applied in the past is to represent the class as a first step stably by an embedded sphere, i.e. after adding…

In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.

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

Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all…

We call a non-trivial homology sphere a Kirby-Ramanujam sphere if it bounds both a homology plane and a Mazur or Po\'enaru manifold. In 1980, Kirby found the first example by proving that the boundary of the Ramanujam surface bounds a Mazur…

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…

Fast and efficient homology algorithms are in demand in the applied sciences for analyzing solid materials and proteins, processing digital imaging data, or pattern classification among others. Recent advances employ discrete Morse theory…

For every N > 0 there exists a group of deficiency less than -N that arises as the fundamental group of a smooth homology 4-sphere and also as the fundamental group of the complement of a compact contractible submanifold of the 4-sphere. A…

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…

Let X be a simply-connected closed oriented 4-manifold and A an embedded surface of genus g and negative self-intersection -N. We show that for fixed genus g there is an upper bound on N if the homology class of A is divisible or…

In this paper, we collect various structural results to determine when an integral homology $3$--sphere bounds an acyclic smooth $4$--manifold, and when this can be upgraded to a Stein manifold. In a different direction we study whether…

By taking the complements of embeddings of sphere plumbings in connected sums of $\mathbb{C} P^2$, we construct examples of simply connected four-manifolds with lens space boundary and $b_2 = 1$. The resulting boundaries include many lens…

We note that infinitely many irreducible, closed, simply connected 4-manifolds, with prescribed signature and spin type, admit perfect Morse functions, i.e. they can be given handle decompositions without 1- and 3-handles. In particular,…

In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to $-E_8$. We show that these families have arbitrary large correction terms. This result says that among homology spheres,…

Every smooth homotopy 4-sphere is diffeomorphic to the 4-sphere.

In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres.

New examples of noncommutative 4-spheres are introduced.

It is one of the most important facts in 4-dimensional topology that not every spherical homology class of a 4-manifold can be represented by an embedded sphere. In 1978, M. Freedman and R. Kirby showed that in the simply connected case,…

We describe a procedure to construct infinite sets of pairwise smoothly inequivalent 2-spheres in simply connected 4-manifolds, which are topologically isotopic and whose complement has a prescribed fundamental group that satisfies some…

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.