Stefan Bastl,Rhuaidi Burke,Rima Chatterjee,Subhankar Dey,Alison Durst,Stefan Friedl,Daniel Galvin,Alejandro García Rivas,Tobias Hirsch,Cara Hobohm,Chun-Sheng Hsueh,Marc Kegel,Frieda Kern,Shun Ming Samuel Lee,Clara Löh,Naageswaran Manikandan,Léo Mousseau,Lars Munser,Mark Pencovitch,Patrick Perras,Mark Powell,José Pedro Quintanilha,Lisa Schambeck,David Suchodoll,Martin Tancer,Annika Thiele,Paula Truöl,Matthias Uschold,Simona Veselá,Melvin Weiß,Magdalina von Wunsch-Rolshoven

Abstract:We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm. Along the way, we develop an algorithm to compute the Kirby-Siebenmann invariant of a closed, simply connected, topological 4-manifold from any of its Kirby diagrams and describe an algorithm that decides whether or not two intersection forms are isometric. In a slightly different direction, we discuss the decidability of the stable classification of smooth manifolds with more general fundamental groups. Here we show that there exists an algorithm that takes as input two closed, oriented, smooth 4-manifolds with fundamental groups isomorphic to a finite group with cyclic Sylow 2-subgroup, an infinite cyclic group, or a group of geometric dimension at most 3 (in the latter case we additionally assume that the universal covers of both 4-manifolds are not spin), and decides whether or not these two 4-manifolds are orientation-preserving stably diffeomorphic.

Practical Software for Triangulating and Simplifying 4-Manifolds

Small Triangulations of $4$-Manifolds: Introducing the $4$-Manifold Census

Algorithms in 4-manifold topology

A toolkit to describe and interactively display three-manifolds embedded in four-space

From Heegaard splittings to trisections; porting 3-dimensional ideas to dimension 4

From diffeomorphisms to exotic phenomena in small 4-manifolds

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

From zero surgeries to candidates for exotic definite four-manifolds

Some examples of small irreducible exotic 4-manifolds with free abelian fundamental group

Elimination of cusps in dimension 4 and its applications

Exotic aspherical 4-manifolds

Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations

A New Combinatorial Class of 3-Manifold Triangulations

Light bulb smoothing for topological surfaces in 4-manifolds

Topologically trivial proper 2-knots

Trisections of non-orientable 4-manifolds

Quadric-based Simplification in Any Dimension

Learning 3-Manifold Triangulations

Diagrams for Relative Trisections

On homology planes and contractible $4$-manifolds