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.

Calculating the homology and intersection form of a 4-manifold from a trisection diagram

Diagrams for Relative Trisections

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

On diagrams of simplified trisections and mapping class groups

Multisections of higher-dimensional manifolds

Trisections of non-orientable 4-manifolds

Absolutely Graded Floer homologies and intersection forms for four-manifolds with boundary

Relative Group Trisections

Pseudo-trisections of four-manifolds with boundary

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

Algorithms in 4-manifold topology

Bridge trisections of knotted surfaces in $S^4$

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

Relative trisections of fiber bundles over the circle

A Seifert algorithm for integral homology spheres

3-manifolds Modulo Surgery Triangles

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

Trisecting a 4-dimensional book into three chapters

Practical Software for Triangulating and Simplifying 4-Manifolds

Trisections of PL 4-manifolds arising from colored triangulations