Homotopy group

In mathematics, homotopy groups are special tools used in algebraic topology to study and describe the shapes of different spaces. These groups help us understand how spaces are connected and what kinds of "holes" they might have.

The simplest and most important group is called the fundamental group, written as π₁(X). It looks at loops you can draw in a space and tells us how those loops can be stretched or shrunk into each other.

To understand higher homotopy groups, we look at maps of spheres into the space. For example, the nth homotopy group looks at how an n-dimensional sphere can be placed inside a space, focusing on how these maps can be changed smoothly into one another. These collections of maps form a group, called the nth homotopy group, written as πₙ(X).

These groups are important because they give us strong information about the space. If two spaces have different homotopy groups, they cannot be the same shape in a topological sense. Even if two spaces are not exactly the same, they might still share the same homotopy groups, showing that they have similar shape properties.

The idea of homotopy was first introduced by the mathematician Camille Jordan.

Introduction

In mathematics, we study complicated ideas by linking them to simpler ones. Homotopy groups are a way to connect groups — a type of math structure — to topological spaces, which are shapes that can stretch and bend.

This connection helps mathematicians use ideas from group theory to understand topology. For example, two shapes might look different, like a torus (which has a "hole") and a sphere (which doesn’t), and homotopy groups can show these differences clearly.

Definition

In math, we study shapes and how they can stretch and bend without tearing. One way to understand shapes is by looking at loops and paths on them.

The simplest idea is called the fundamental group fundamental group. It looks at loops that start and end at the same point.

For more complex shapes, we use homotopy groups. These help us understand the shape by looking at maps from spheres or cubes.

For most shapes, choosing different starting points doesn’t change the basic information we get. This helps us study the overall shape more easily.

Long exact sequence of a fibration

When we study shapes in mathematics, we look at how loops and paths behave in spaces. One important tool is the "long exact sequence of a fibration." It helps us understand how different spaces are related.

Imagine three spaces connected in a special way: a larger space, a smaller space inside it, and a base space. The long exact sequence shows how the loops in these spaces relate to each other. For example, in the Hopf fibration, we can see that some loops in a 3-dimensional sphere are the same as loops in a 2-dimensional sphere.

This idea is useful in many areas of mathematics. It helps us understand the shapes of spaces better.

Methods of calculation

Finding homotopy groups can be very hard, much harder than finding some other important shapes in math. There isn’t a simple way to break a space into smaller pieces to find its homotopy groups, unlike for the fundamental group. But new ideas from the 1980s helped scientists learn more about these groups.

For some special shapes, like tori, the higher homotopy groups are very simple. However, even for basic shapes like spheres, we still don’t know all their homotopy groups. To find these groups, scientists need very advanced tools. Some groups can be found by comparing them to other shape groups using a special rule.

A list of methods for calculating homotopy groups

Here are some important methods used to find homotopy groups:

• The long exact sequence of homotopy groups of a fibration.
• The Hurewicz theorem, which comes in different forms.
• The Blakers–Massey theorem, also called excision for homotopy groups.
• The Freudenthal suspension theorem, which is a result related to excision for homotopy groups.

Relative homotopy groups

Homotopy groups can also be studied for pairs of spaces. This means we look at a space (X) and a part of it called (A). We study how loops and shapes behave when part of them must stay inside (A).

These special groups are called relative homotopy groups, written as (\pi_n(X, A)). They help us understand the shape of (X) while considering how it connects to the part (A). When (A) is just a single point, these groups match the usual homotopy groups of the space (X).

Related notions

Homotopy groups are important in a part of math called homotopy theory. This theory helped create another idea called model categories. We can also talk about homotopy groups in a special kind of math shape called simplicial sets.

Homology groups are like homotopy groups because they can both show us the "holes" in a shape. But homotopy groups can be tricky to figure out. Homology groups are simpler because they follow a certain rule.

Main article: homotopy theory

Main articles: Homology (mathematics)