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.

Trisecting a 4-dimensional book into three chapters

Trisecting a 4-dimensional book into three chapters

Trisections of non-orientable 4-manifolds

Relative trisections of fiber bundles over the circle

Diagrams for Relative Trisections

Kirby diagrams of 4-dimensional open books

Bridge trisections of knotted surfaces in $S^4$

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

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

Pseudo-trisections of four-manifolds with boundary

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

On diagrams of simplified trisections and mapping class groups

Relative Group Trisections

Trisections obtained by trivially regluing surface-knots

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

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

Practical Software for Triangulating and Simplifying 4-Manifolds

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

Algorithms in 4-manifold topology