4-manifold

Math can look at space. Space has many parts. Some parts have four ways to move. This helps us learn about our world. It can even help us study stars.

Some shapes are special. In four ways to move, things work differently. Some shapes are smooth. Other shapes are not smooth at all.

Scientists use these shapes to study space and time. This helps them see how the world works. It is a big puzzle for math people.

Math people study these shapes to find rules. They want to know how they fit together. It is a very big job.

Can you think of a shape?

Math can look at space. Space has many parts. Some parts have four ways to move. This helps us learn about our world. It can even help us study stars.

Some shapes are special. In four ways to move, things work differently. Some shapes are smooth. Other shapes are not smooth at all.

Scientists use these shapes to study space and time. This helps them see how the world works. It is a big puzzle for math people.

Math people study these shapes to find rules. They want to know how they fit together. It is a very big job.

Can you think of a shape?

Mathematicians study shapes with four dimensions. We call these shapes 4-manifolds. A dimension is a way to move. In our world, we see three ways to move. But a 4-manifold has four. These shapes are very important in physics. Scientists use them to model spacetime. Spacetime is how we see space and time working together.

In four dimensions, shapes act in strange ways. In smaller dimensions, smooth shapes are easy to find. In four dimensions, they are not. Some shapes are topological. This means they have a basic shape. Other shapes are smooth. A smooth shape has a very steady surface. Some 4-manifolds have a smooth surface. Others have no smooth surface at all. Some shapes even have many different smooth ways to exist. This makes them a big puzzle for math experts.

A 4-manifold is a shape that has four ways to move. In our daily lives, we live in three dimensions. We can move up and down, left and right, and forward and backward. A 4-manifold adds one more direction to this list. These shapes are very important to scientists who study physics. They use these shapes to model spacetime. Spacetime is the way space and time work together as one thing.

In four dimensions, math works in a very strange way. In smaller dimensions, shapes are often simple to describe. You can usually find a smooth way to make a shape. A smooth shape has a surface that is steady and even. But in dimension four, things are different. Some shapes are topological, which means they have a basic form. However, they might not have any smooth structure at all. Some shapes can even have many different smooth ways to exist.

Math experts have worked on these puzzles for a long time. A mathematician named Michael Freedman did important work on these shapes. He showed how certain topological 4-manifolds are classified. He used something called an intersection form to help understand them. This form helps describe how parts of the shape meet. Another mathematician named Simon Donaldson also found big secrets about these shapes. He showed that some shapes, like Dolgachev surfaces, can have many smooth structures.

There are many specific facts about these complex shapes. For example, the number of smooth structures on a shape called R4 is uncountable. This means there are more ways to make it smooth than there are whole numbers. In dimension four, we also see the E8 manifold. This is a special shape that is not like a normal simplicial complex. Some shapes have a rank that makes them very hard to study. As the rank grows past 28, the number of shapes grows very fast.

Understanding 4-manifolds helps us see why our world is unique. In most dimensions, math follows very predictable rules. In dimension four, those rules often break. For instance, the smooth Poincaré conjecture is still unknown in dimension four. This is a famous puzzle about whether certain shapes are actually spheres. We also know there are 18 different types of geometries for these shapes. This includes things like Euclidean type and Spherical type.

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.