[Paper Review] A survey of the foundations of four-manifold theory in the topological category

Stefan Friedl, Matthias Nagel+2 more|arXiv (Cornell University)|Oct 16, 2019

Geometric and Algebraic TopologyMathematics65 references56 citations

TL;DR

This survey compiles foundational results for topological 4-manifolds, detailing which tools survive in the topological category, with emphasis on dimension four and references to proofs and strategies.

ABSTRACT

This survey aims to provide a guide to the literature on topological 4-manifolds. Foundational theorems on 4-manifolds are stated, especially in the topological category. Precise references are given, with indications of the strategies employed in the proofs. Where appropriate we give statements for manifolds of all dimensions. Many intuitively plausible theorems which are standard results in differential topology are either extraordinarily deep results in the topological category, are open, or are known to be false. Hence one must proceed with caution. This book seeks to help 4-manifold topologists navigate potential pitfalls, and to apply the many powerful results that do exist with confidence.

Motivation & Objective

• Guide readers trained in algebraic topology to the literature on topological manifolds, with a focus on dimension four.
• State foundational theorems in the topological category and indicate strategies used in proofs.
• Highlight which familiar geometric topology tools remain valid or fail in the topological setting, especially in dimension four.

Proposed method

• Present precise statements of foundational theorems in topological manifolds. Provide references and indicate proof strategies. Illustrate connections between topology, homotopy type, and algebra in various dimensions.
• Discuss which standard differential-topology results hold, are open, or are false in the topological category.
• Offer explicit examples and caveats to guide safe application of topological results in 4-manifold theory.

Experimental results

Research questions

• RQ1 What foundational tools from geometric topology survive in the topological category for 4-manifolds?
• RQ2 How do key theorems (e.g., collar neighborhoods, transversality, smoothing) adapt or fail in dimension four?
• RQ3 What is the landscape of classification results for topological 4-manifolds, and how do algebraic invariants govern them?
• RQ4 Which constructions (e.g., connected sum, tubular neighborhoods, Reidemeister torsion) have well-defined/topologically meaningful formulations in dimension four?

Key findings

• The survey enumerates fundamental topological tools and asserts their existence or caveats in the topological category (e.g., collar neighborhoods, isotopy extension, CW structures).
• It stresses that many intuitively standard differential-topology results are deep, open, or false in the topological category, especially in dimension four.
• It highlights strong links between topology and algebra in high dimensions and emphasizes similar, but often subtler, correspondences in dimension four.
• It collects and references results like the stability of certain operations (connected sum, product with R) and the role of the Kirby–Siebenmann invariant in smoothing questions.
• It outlines a roadmap of classification results and obstructions specific to topological 4-manifolds, distinguishing from smooth category behavior.