4-manifold

A 4-manifold is a mathematical object known as a 4-dimensional topological manifold. In geometry, a manifold is a space that locally looks like standard Euclidean space. While we experience three dimensions of space, a 4-manifold adds a fourth dimension to the structure. These objects are vital to modern physics. In the theory of general relativity, scientists model spacetime as a pseudo-Riemannian 4-manifold. This means space and time are treated as a single, continuous four-dimensional fabric.

In the study of manifolds, mathematicians distinguish between topological and smooth structures. A topological manifold describes the basic shape and connectivity of a space. A smooth manifold is a topological manifold that possesses a smooth structure, allowing for calculus. In most dimensions, these two concepts are closely linked. However, dimension four is a unique exception. In four dimensions, topological and smooth manifolds are quite different. Some topological 4-manifolds admit no smooth structure at all. Even when a smooth structure exists, it is not necessarily unique. This leads to the existence of manifolds that are homeomorphic but not diffeomorphic.

Michael Freedman provided a breakthrough in understanding topological 4-manifolds. He showed that for simply connected compact 4-manifolds, the homotopy type depends on the intersection form on the middle dimensional homology. A famous theorem by Freedman implies that the homeomorphism type depends on this intersection form and an invariant called the Kirby–Siebenmann invariant. Every combination of a unimodular form and the Kirby–Siebenmann invariant can arise under specific conditions. For example, if the form is even, the Kirby–Siebenmann invariant must be equal to 1/8 of the signature (mod 2). This work also addressed the 4-dimensional topological Poincaré conjecture.

Smooth 4-manifolds present even more complex challenges. A major open problem is the classification of simply connected compact smooth 4-manifolds. This task involves two parts: determining which topological manifolds are smoothable and classifying the different smooth structures on them. Simon Donaldson provided significant answers regarding smoothability. He proved that if the intersection form is definite, a smooth structure exists only if the form is diagonalizable. For indefinite forms, the situation depends on the relationship between the dimension and the signature. The "11/8 conjecture" suggests that smooth structures do not exist if the dimension is less than 11/8 times the absolute value of the signature.

Dimension four also exhibits strange phenomena not seen in other dimensions. In dimensions one, two, and three, every topological manifold has an essentially unique piecewise linear (PL) structure. In dimension four, many manifolds have a vanishing Kirby–Siebenmann invariant but still lack a PL structure. Furthermore, dimension four is the only dimension where the Euclidean space, R4, can have an exotic smooth structure. In fact, R4 has an uncountable number of these exotic structures. This stands in stark contrast to other dimensions, where the number of distinct smooth structures remains finite.

One reason 4-manifolds are so difficult to study is the failure of the Whitney trick. In higher dimensions, the Whitney trick uses an embedded 2-disk to simplify how submanifolds intersect. In dimension four, the 2-disks themselves are middle-dimensional. This means the disks encounter the same intersection problems they were meant to solve. This specific difficulty separates dimension four from all other dimensions. Additionally, the homeomorphism problem for 4-manifolds is unsolvable. Because there is no algorithm to determine if two finitely presented groups are isomorphic, there is no algorithm to tell if two 4-manifolds have the same fundamental group.

Despite these complexities, mathematicians have identified various geometric types for 4-manifolds. Richard Filipkiewicz classified these into 18 distinct geometries and one infinite family. These include Spherical types, such as the 4-sphere and the complex projective plane, which have finite fundamental groups. There are also Euclidean types, like the 4-dimensional Euclidean space, which feature Bieberbach groups. Other categories include Nilpotent types and Solvable types. These classifications help organize the vast and intricate landscape of four-dimensional space.