Low-dimensional topology

Low-dimensional topology is a fun area of mathematics that studies shapes and spaces with four or fewer dimensions. It helps us understand the properties of objects and how they can change, focusing on spaces with one, two, three, and four dimensions.

One of the key topics in low-dimensional topology is the theory of 3-manifolds and 4-manifolds. Another important area is knot theory, which looks at how loops can be tangled and untangled in three dimensions. Braid groups, which describe how strands can be woven together, are also important.

This branch of mathematics is closely related to geometric topology and sometimes includes the study of one-dimensional spaces, though this is often considered part of continuum theory. Low-dimensional topology has many real-world uses, from understanding the shapes of molecules in chemistry to solving problems in physics and computer science.

History

In the 1960s, mathematicians started studying shapes in three and four dimensions because these are very interesting. In 1961, Stephen Smale solved a famous problem called the Poincaré conjecture for higher dimensions. This showed that the lower dimensions needed new ideas.

Later, in the late 1970s, Thurston's geometrization conjecture suggested that geometry and topology are linked in these dimensions.

More discoveries happened in the 1980s and 2000s. For example, Vaughan Jones found a new way to study knots in the early 1980s. This opened up exciting links to mathematical physics. Then, in 2002, Grigori Perelman proved the three-dimensional Poincaré conjecture using an idea called Ricci flow. These advances helped connect low-dimensional topology with other areas of mathematics.

Two dimensions

Main article: surface (topology)

A surface is a flat, two-dimensional space. Common examples are the outer layers of solid objects, like the skin of a ball.

Some special surfaces, like the Klein bottle, can't be shown perfectly in our normal three-dimensional world without bending or crossing over themselves.

The classification theorem helps us understand all possible closed surfaces. It says any closed surface fits into one of three groups: spheres, combinations of tori (like donuts), or combinations of real projective planes.

Spheres and tori are orientable, meaning they have a consistent "inside" and "outside." The number of tori in a surface is called its genus. The other group, made from real projective planes, is nonorientable. Each group has special properties that mathematicians study.

Main article: Teichmüller space

Main article: Uniformization theorem

Three dimensions

Main article: 3-manifold

In math, a 3-manifold is a special space where every point looks the same as our normal 3D world. This makes these spaces interesting because they act differently from spaces with more or fewer dimensions. Mathematicians have found links between 3-manifolds and other areas, like the study of knots and braided shapes.

Knot and braid theory

Main articles: Knot theory and Braid theory

Knot theory studies mathematical knots, which are like real knots but with ends joined so they can’t be undone. These knots are examined to see how they can be changed without cutting or passing through themselves. Braid theory looks at how braids can be grouped and combined, which helps understand more complex math ideas.

Hyperbolic 3-manifolds

Main article: Hyperbolic 3-manifold

A hyperbolic 3-manifold is a special 3D space with a consistent curved shape. These spaces are built from a larger space called hyperbolic space, using certain rules. They have areas that look thin and long, and areas that are thicker and more compact.

Poincaré conjecture and geometrization

Main article: Geometrization conjecture

The geometrization conjecture suggests that every 3D space can be split into pieces, each with its own special shape. This idea was proposed by William Thurston and helps solve other important math problems, like the Poincaré conjecture.

Four dimensions

Main article: 4-manifold

A 4-manifold is a space with four dimensions. It follows special rules in topology, which is the study of shapes and spaces. In four dimensions, things act differently than in lower dimensions. Some spaces may look the same but are actually different when examined closely.

Four-dimensional spaces are important in physics. They help explain the space we live in, based on theories about the universe. There are special cases, like exotic R⁴, where spaces seem normal but have hidden differences. These differences can only be seen using advanced mathematics. This makes four-dimensional spaces a key topic in both math and physics.

Main article: Exotic R4

A few typical theorems that distinguish low-dimensional topology

Some important ideas in low-dimensional topology show that usual tools for studying space don’t work the same way in lower dimensions.

Steenrod's theorem tells us that a special 3-dimensional space called a 3-manifold has a simple structure related to its directions, or its "tangent bundle".

Another key idea is that every closed 3-manifold can be found as the edge or boundary of a 4-manifold. This connects to special ways of splitting 3-manifolds called Heegaard splittings.

Finally, there is something special about the space R⁴. Unlike other spaces Rⁿ where n is not 4, R⁴ can have many different smooth structures. This surprising result was first seen by Michael Freedman, building on work by Simon Donaldson and Andrew Casson, and later expanded by other mathematicians.