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.

Trisections of non-orientable 4-manifolds

Diagrams for Relative Trisections

Trisections of PL 4-manifolds arising from colored triangulations

Pseudo-trisections of four-manifolds with boundary

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Non-diffeomorphic minimal genus relative trisections of the same 4-manifold

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

Exotic 4-manifolds with small trisection genus

Trisecting a 4-dimensional book into three chapters

Trisections of the doubles of some Mazur type 4-manifolds

Relative Group Trisections

Bridge trisections of knotted surfaces in $S^4$

Multisections of higher-dimensional manifolds

Relative trisections of fiber bundles over the circle

Unknotting Nonorientable Surfaces of Genus 4 and 5

Trisections obtained by trivially regluing surface-knots

Practical Software for Triangulating and Simplifying 4-Manifolds

Algorithms in 4-manifold topology

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$