Related papers: Algorithms in 4-manifold topology

Let $R$ be a closed, oriented topological 4-manifold whose Euler characteristic and signature are denoted by $e$ and $\sigma$. We show that if $R$ has order two $\pi_1$, odd intersection form, and $2e + 3\sigma \geq 0$, then for all but…

A family of TQFTs parametrised by G-crossed braided spherical fusion categories has been defined recently as a state sum model and as a Hamiltonian lattice model. Concrete calculations of the resulting manifold invariants are scarce because…

This is a slightly altered version of the authors thesis from 2014. In the first main part we show that the quotient space of a compact, simply connected and nonnegatively curved Riemannian 4-manifold by an effective, isometric…

Let $X^4$ and $Y^4$ be smooth manifolds and $f: X\to Y$ a branched cover with branching set $B$. Classically, if $B$ is smoothly embedded in $Y$, the signature $\sigma(X)$ can be computed from data about $Y$, $B$ and the local degrees of…

Kreck's modified surgery theory reduces the classification of closed, connected 4-manifolds, up to connect sum with some number of copies of $S^2\times S^2$, to a series of bordism questions. We implement this in the case of unorientable…

Round handles are affiliated with smooth 4-manifolds in two major ways: 5-dimensional round handles appear extensively as the building blocks in cobordisms between 4-manifolds, whereas 4-dimensional round handles are the building blocks of…

These notes are adapted from two talks given at the 2004 Clay Institute Summer School on Floer homology, gauge theory, and low dimensional topology at the Alfred Renyi Institute. We will quickly review what we do and do not know about the…

Let $M$ be a closed, connected, orientable topological four-manifold with $H_1(M)$ nontrivial and free abelian, $b_2(M)\ne 0, 2$, and $\chi(M)\ne 0$. We show that if $G$ is a finite group of 2-rank $\le 1$ which admits a homologically…

Let M be a 4-manifold with residually finite fundamental group G having b_1(G) > 0. Assume that M carries a symplectic structure with trivial canonical class K = 0 in H^2(M). Using a theorem of Bauer and Li, together with some classical…

We show that any finitely presented group with an index two subgroup is realized as the fundamental group of a closed smooth non-orientable four-manifold that admits an exotic smooth structure, which is obtained by performing a Gluck twist.…

We construct stable minimal hypersurfaces with simple topology in certain compact $4$-manifolds $X$ with boundary, where $X$ embeds into a smooth manifold homeomorphic to $S^4$. For example, if $X$ is equipped with a Riemannian metric $g$…

We prove that, under a simple condition on the cohomology ring, every closed 4-manifold has mod 2 Seiberg-Witten simple type. This result shows that there exists a large class of topological 4-manifolds such that all smooth structures have…

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

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…

An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection…

Given a 4-manifold X and an imbedding of T^{2} x B^2 into X, we describe an algorithm X --> X_{p,q} for drawing the handlebody of the 4-manifold obtained from X by (p,q)-logarithmic transforms along the parallel tori. By using this…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also…

We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…

This paper provides a topological method to construct all simply-connected, spin, smooth $6$-manifolds with torsion-free homology using simply-connected, smooth $4$-manifolds as building blocks. We explicitly determine the invariants that…