Related papers: Algorithms in 4-manifold topology

We prove that if a closed, smooth, simply-connected 4-manifold with a circle action admits an almost non-negatively curved sequence of invariant Riemannian metrics, then it also admits a non-negatively curved Riemannian metric invariant…

We prove the existence of a finite set of moves sufficient to relate any two representations of the same 3-manifold as a 4-fold simple branched covering of S^3. We also prove a stabilization result: after adding a fifth trivial sheet two…

We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the…

Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with…

Given a triple $H$ of (possibly non-semisimple) Hopf algebras equipped with pairings satisfying a set of properties, we describe a construction of an associated smooth, scalar invariant $\tau_H(X,\pi)$ of a simply connected, compact,…

Rochlin proved that a closed 4-dimensional connected smooth oriented manifold $X^4$ with vanishing second Stiefel-Whitney class has signature $\sigma(X)$ divisible by 16. This was generalized by Kervaire and Milnor to the statement that if…

We introduce a framework to prove integral rigidity results for the Seiberg-Witten invariants of a closed $4$-manifold $X$ containing a non-separating hypersurface $Y$ satisfying suitable (chain-level) Floer theoretic conditions. As a…

This article presents families of 7-dimensional closed and simply-connected manifolds and fold maps on them such that squares of 2nd integral cohomology classes may not be divisible by 2. Fold maps are higher dimensional versions of Morse…

The purpose of this paper is to investigate the following problem: For a fixed 2-dimensional homology class K in a simply connected symplectic 4-manifold, up to smooth isotopy, how many connected smoothly embedded symplectic submanifolds…

An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give…

A simplified trisection is a trisection map on a 4-manifold such that, in its critical value set, there is no double point and cusps only appear in triples on innermost fold circles. We give a necessary and sufficient condition for a…

We show that the simply-connected four-manifolds which admit locally linear, homologically trivial actions by rank two finite abelian groups are homeomorphic to connected sums of CP^2, -CP^2, and S^2 x S^2 (with one exception: pseudofree…

We give complete geometric invariants of cobordisms of framed fold maps. These invariants consist of two types. We take the immersion of the fold singular set into the target manifold together with information about non-triviality of the…

We construct smooth manifolds with order two $\pi_1$ and even intersection forms which are irreducible, meaning they do not decompose into non-trivial connected sums. Their intersection forms being even implies that their universal covers…

Let X and Y be oriented topological manifolds of dimension n + 2, and let K and J be connected, locally-flat, oriented, n-dimensional submanifolds of X and Y. We show that up to orientation preserving homeomorphism there is a well-defined…

The main theorem describes the behaviour of the stable cohomotopy invariant defined in the first article (joint with M. Furuta) in this series of two under the operation of taking connected sums of four-manifolds: The invariant of a…

We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for…

In this paper we use the G-spin theorem to show that the Davis hyperbolic 4-manifold admits harmonic spinors. This is the first example of a closed hyperbolic 4-manifold that admits harmonic spinors. We also explicitly describe the Spinor…

Closed (and simply-connected) manifolds whose dimensions are greater than 4 are classified via sophisticated algebraic and abstract theory such as surgery theory and homotopy theory. It is difficult to handle 3 or 4-dimensional closed…

A smooth map between manifolds is said to be \emph{image simple} if its restriction to its singular point set is a topological embedding. We study the parity of the number of connected components of the singular point set for image simple…