Fundamental group

The fundamental group is a vital concept in algebraic topology. It provides a way to study the shape of a space by examining its loops. Specifically, it is the group of equivalence classes under homotopy for all loops in a topological space.

This group acts as a mathematical tool to record information about holes. By analyzing these loops, mathematicians can distinguish between different shapes. The fundamental group is also a homotopy invariant. This means that if two spaces are homotopy equivalent, they share the same fundamental group.

To understand the mechanism, we must first define a loop and a homotopy. A loop is a continuous map that starts and ends at a specific base-point. A homotopy is a continuous interpolation between two such loops. If one loop can be smoothly deformed into another without breaking, they are considered homotopic.

This process creates equivalence classes. Instead of looking at every single possible loop, which is an unwieldy and massive set, we only look at these classes. This makes the study of the space much more manageable and computable.

The fundamental group gains its structure through the process of concatenation. To combine two loops, you travel along the first loop and then immediately follow the second.

This operation creates a new loop. The group must also have a neutral element, which is the class of the constant loop. This is a loop that stays at the base-point and does not wrap around any holes. Every loop also has an inverse. The inverse is simply the same loop traveled in the opposite direction. These rules ensure the set follows the mathematical requirements of a group.

History shows that this concept emerged from the study of Riemann surfaces. Mathematicians like Bernhard Riemann, Felix Klein, and Henri Poincaré contributed to these ideas. Henri Poincaré formally defined the fundamental group in his 1895 paper, "Analysis situs."

His work helped describe the monodromy properties of complex-valued functions. It also provided a method for the complete topological classification of closed surfaces. This laid the groundwork for modern algebraic topology.

Different spaces produce very different fundamental groups. A space is called simply connected if its fundamental group is trivial. For example, a 2-sphere is simply connected because any loop on its surface can be contracted to a point.

However, a circle is not simply connected. Its loops are categorized by how many times they wind around the center. The fundamental group of a circle is isomorphic to the additive group of integers.

This allows for positive or negative winding numbers.

More complex shapes lead to even more intricate groups. A figure-eight shape has a fundamental group known as a free group on two generators.

Unlike the circle, this group is not abelian. This means the order in which you combine the loops matters. In a figure-eight, following loop A then loop B is not the same as loop B then loop A. Even knots have unique fundamental groups. The knot group of a trefoil knot is a specific non-abelian group.

This helps mathematicians prove that a trefoil knot cannot be transformed into a simple circle.

The fundamental group connects to many other mathematical fields. In graph theory, the group is a free group based on the number of edges and vertices. For a connected graph, the number of generators equals the number of edges minus the number of vertices plus one. It also plays a role in studying topological groups. If a space is a topological group, its fundamental group is always commutative, or abelian. This connection shows how the local properties of a space influence its global topological structure.