Homotopy Group Calculator

Homotopy Group: -

Group Structure: -

Understanding Homotopy Groups

What are Homotopy Groups?

Homotopy groups are fundamental invariants in algebraic topology that classify continuous maps and deformations between topological spaces. Imagine you have two continuous paths or shapes within a space. Homotopy theory asks if one can be smoothly deformed into the other without breaking it. Homotopy groups provide a powerful way to measure the "holes" or "connectivity" of a space, giving us a deeper understanding of its intrinsic structure. They are algebraic objects (groups) that capture geometric information, making them a cornerstone of modern topology.

πₙ(X) = [Sⁿ, X]

where:

  • πₙ(X) is the nth homotopy group of space X. This group consists of all possible ways to continuously map an n-dimensional sphere into the space X, where maps that can be smoothly deformed into each other are considered equivalent.
  • Sⁿ is the n-dimensional sphere. For example, S¹ is a circle, S² is the surface of a standard sphere, and S⁰ is just two points.
  • [Sⁿ, X] denotes homotopy classes of maps from Sⁿ to X. A "homotopy class" means a collection of maps that can be continuously deformed into one another.
  • π₁(X) is specifically called the fundamental group. It classifies loops (paths starting and ending at the same point) in a space and tells us about its one-dimensional "holes." For example, the fundamental group of a circle is the integers (ℤ), because you can loop around it any number of times.

Advanced Concepts

  • Long Exact Sequence:
    • The long exact sequence of homotopy groups is a powerful tool that connects the homotopy groups of related topological spaces, often arising from fiber bundles or pairs of spaces. It's a sequence of groups and homomorphisms (structure-preserving maps) where the image of each map is exactly the kernel of the next, allowing mathematicians to deduce unknown homotopy groups from known ones.
    • Fiber bundles: These are spaces that locally look like a product of two spaces, but globally can be more complex (e.g., a cylinder is a fiber bundle over a circle). The long exact sequence helps relate the homotopy groups of the total space, base space, and fiber.
    • Relative homotopy groups: These groups classify maps of spheres into a space, where part of the sphere is mapped to a specific subspace. They are crucial for understanding the connectivity of a space relative to its subspaces.
    • Hurewicz theorem: This theorem provides a fundamental link between homotopy groups and homology groups (another type of topological invariant), especially for simply connected spaces. It states that under certain conditions, the first non-trivial homotopy group is isomorphic to the first non-trivial homology group.
    • Whitehead theorem: This theorem states that if a continuous map between two CW complexes induces isomorphisms on all homotopy groups, then the map is a homotopy equivalence (meaning the spaces are topologically equivalent). It's a cornerstone for proving topological equivalence using algebraic invariants.
  • Homotopy Operations:
    • Homotopy operations are ways to combine or transform homotopy classes, often leading to new insights into the structure of homotopy groups. They are functions that take elements from homotopy groups and produce elements in other homotopy groups.
    • Suspension homomorphism: This operation takes a map from Sⁿ to X and creates a new map from Sⁿ⁺¹ to the suspension of X. It's a way to "lift" homotopy classes to higher dimensions.
    • Hopf fibration: A classic example of a fiber bundle, the Hopf fibration describes how a 3-sphere (S³) can be seen as a bundle of circles (S¹) over a 2-sphere (S²). It's a key example for understanding non-trivial fiber bundles and their associated long exact sequences.
    • Smash products: This is a way to combine two pointed topological spaces into a new space. It's often used in the construction of new spaces whose homotopy groups are related to the original spaces.
    • Loop spaces: The loop space of a topological space X, denoted ΩX, consists of all continuous loops in X starting and ending at a base point. There's a deep connection between the nth homotopy group of X and the (n-1)th homotopy group of its loop space: πₙ(X) ≅ πₙ₋₁(ΩX).
  • Computational Tools:
    • Calculating homotopy groups is notoriously difficult, especially for higher dimensions. Therefore, mathematicians rely on sophisticated computational tools and theorems to determine their structure.
    • Spectral sequences: These are powerful algebraic tools used to compute homology, cohomology, and homotopy groups. They provide a systematic way to approximate these groups through a sequence of differential calculations.
    • Obstruction theory: This theory deals with the problem of extending maps from a subspace to the entire space. It uses cohomology groups to identify "obstructions" that prevent such extensions, which can be related to homotopy groups.
    • CW complexes: These are topological spaces built by attaching cells of increasing dimension. They provide a flexible and computationally friendly framework for studying homotopy groups, as many topological spaces can be modeled as CW complexes.
    • Cellular approximation: This theorem states that any continuous map between CW complexes can be deformed into a cellular map (one that maps n-cells to n-cells). This simplifies the study of maps and their induced homomorphisms on homotopy groups.

Classical Results

Homotopy Groups of Spheres

πₙ(Sⁿ) = ℤ, n ≥ 1: This is a fundamental result stating that the nth homotopy group of an n-sphere is the infinite cyclic group (integers). This means there's essentially one fundamental way to wrap an n-sphere around itself, and any number of times (positive or negative). For example, π₁(S¹) = ℤ (loops on a circle) and π₂(S²) = ℤ (maps of a sphere to itself).

Higher Homotopy Groups of Spheres

πₙ₊ₖ(Sⁿ) stable for k < 2n-1: This refers to the concept of stable homotopy groups of spheres. For a fixed 'k', the groups πₙ₊ₖ(Sⁿ) become isomorphic for sufficiently large 'n'. This means that for high enough dimensions, the homotopy groups of spheres exhibit a stable pattern, simplifying their study. However, calculating these groups for k ≥ 2n-1 (the unstable range) is one of the most challenging problems in algebraic topology.

Homotopy Groups of the Torus

π₁(T²) = ℤ × ℤ: The fundamental group of a 2-dimensional torus (T², a donut shape) is the direct product of two infinite cyclic groups. This reflects the two independent "holes" or loops you can make around a torus: one around the "body" and one through the "hole." Any loop on a torus can be continuously deformed into a combination of these two basic loops.

Homotopy Groups of Projective Spaces

π₁(ℙⁿ) = ℤ₂: The fundamental group of the n-dimensional real projective space (ℙⁿ) is the cyclic group of order 2 (ℤ₂), for n ≥ 2. This means there are only two distinct types of loops in projective space: those that can be shrunk to a point, and those that cannot, but if you traverse them twice, they can be shrunk. This non-trivial fundamental group highlights the non-orientable nature of some projective spaces.