Low-dimensional topology

Low-dimensional topology is a fascinating area of mathematics that studies shapes and spaces with four or fewer dimensions. It helps us understand the properties of objects and their possible transformations, focusing especially 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, which explores the different ways these spaces can be structured. 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 a central part of this field.

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 applications, from understanding the shapes of molecules in chemistry to solving problems in physics and computer science.

History

In the 1960s, mathematicians began to focus more on studying shapes in three and four dimensions because these are especially challenging. In 1961, Stephen Smale solved a famous problem called the Poincaré conjecture for higher dimensions, showing that the lower dimensions needed new approaches. Later, in the late 1970s, Thurston's geometrization conjecture suggested that geometry and topology are closely connected in these dimensions.

Important discoveries continued into the 1980s and 2000s. For example, Vaughan Jones found a new way to study knots in the early 1980s, opening 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 more closely 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 kind of space where every point looks the same as a normal 3D space we live in. This makes studying these spaces interesting because they behave differently from spaces with more or fewer dimensions. Because of this, mathematicians have found connections between 3-manifolds and many other areas, like the study of knots and shapes made by braiding strings.

Knot and braid theory

Main articles: Knot theory and Braid theory

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

Hyperbolic 3-manifolds

Main article: Hyperbolic 3-manifold

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

Poincaré conjecture and geometrization

Main article: Geometrization conjecture

The geometrization conjecture suggests that every 3D space can be broken 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 that has four dimensions and follows special rules in topology, the study of shapes and spaces. In four dimensions, things work differently than in lower dimensions. Some spaces that seem the same from a topology point of view can actually be different when we look at them more closely.

Four-dimensional spaces are important in physics because they help describe the space we live in, according to theories about how the universe works. There are special cases, like exotic R⁴, where spaces look like normal space but have hidden differences that are only visible through advanced mathematics. These interesting properties make four-dimensional spaces a key area of study in both mathematics 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. For example, Steenrod's theorem tells us that a special kind of 3-dimensional space called a 3-manifold has a simple structure related to its directions or "tangent bundle".

Another key idea is that every closed 3-manifold can be found as the edge or boundary of a 4-manifold. This was discovered by several mathematicians and 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.