Manifolds Unfolded

Abstract

Groupoids arise naturally when classical group structures are insufficient to capture geometric or topological information. In contrast to groups, groupoids encode local symmetries and context-dependent composition, making them indispensable in algebraic topology, differential geometry, and higher category theory.

This article presents a rigorous yet intuitive exposition of groupoids from algebraic and category-theoretic perspectives, emphasizing the fundamental groupoid and its conceptual advantages over the fundamental group.

1. Motivation: Why Groupoids in Topology?

In algebraic topology, the fundamental group $\pi_1(X,x_0)$ plays a central role in capturing loop-based information about a space. However, this construction depends crucially on the choice of a basepoint and often obscures global connectivity phenomena.

Groupoids offer a natural resolution.

Instead of restricting attention to loops at a fixed point, groupoids allow:

• morphisms between arbitrary points
• composition only when geometrically meaningful
• algebraic structures that vary locally across the space

Thus, groupoids generalize groups in a manner that is structurally minimal yet conceptually maximal.

---

2. Algebraic Definition of a Groupoid

2.1 Partial Composition as a Feature

An algebraic groupoid consists of:

• a non-empty set $G$
• a partial binary operation $\ast$
• an inverse operation $(\cdot)^{-1}$

The operation $a \ast b$ is defined only for certain ordered pairs, i.e. a subset allowing more flexibility to reflect geometric compatibility, rather than algebraic completeness.

---

2.2 Axiomatic Structure

The axioms ensure:

1. Associativity holds wherever the relevant compositions defined.
   If compositions are meaningful, they associate exactly as in a group.
2. Local identities
   For every element $a \in G$, the expressions $$a \ast a^{-1}, \quad a^{-1} \ast a$$are defined and act as left and right identities respectively.
3. Inverse compatibility
   Every element is invertible, so whenever a composite exists, inverses cancel it coherently.

These axioms guarantee that each composable fragment behaves group-like, without imposing global closure.

---

2.3 Immediate Algebraic Consequences

Even with partiality, familiar properties persist:

• Inverses are involutive: $$(a^{-1})^{-1} = a$$
• Inverses reverse order: $$(a \ast b)^{-1} = b^{-1} \ast a^{-1}$$ provided the composition is defined.

This confirms that groupoids are not weakened groups, but context-aware algebraic structures.

---

3. The Fundamental Groupoid of a Topological Space

3.1 Construction

Let $X$ be a topological space. The fundamental groupoid comprises homotopy classes (relative endpoints) of paths with the partial composition law given by the concatenation of compatible paths. Inverses are given by path reversal.

We denote this structure by:$$\Pi_1(X)$$

The partiality of composition arises naturally from concatenation of paths with final point of the first one matching with the initial point of the second one.

---

3.2 Conceptual Advantages of Fundamental Groupoids over Fundamental Groups

The fundamental groupoid:

• removes basepoint dependence
• retains homotopy invariants across connected components
• behaves functorially under continuous maps

For many spaces—especially disconnected or highly stratified ones:$$\Pi_1(X) \quad \textbf{contains strictly more information than} \quad \pi_1(X)$$

In fact, the homotopy hypothesis, a well-known conjecture in homotopy theory formulated by Alexander Grothendieck, states that a suitable generalization of the fundamental groupoid, known as the fundamental ∞-groupoid, captures all information about a topological space up to weak homotopy equivalence.

---

4. Category-Theoretic Definition of Groupoids

4.1 Groupoids as Categories of Invertible Morphisms

From the categorical viewpoint:

A groupoid is a small category in which every morphism is invertible.

This definition is striking in its simplicity and power:

• identities exist automatically and each object has its personal identities.
• composition is always associative
• inverses are intrinsic to the structure

Partiality is encoded not algebraically, but via composability of arrows. In the context of the fundamental groupoid of a topological space, the categorical groupoid will consist of objects which are points of the topological space. The morphisms will be the homotopy classes (relative to end points) of paths between pairs of points in the space. Each morphism is invertible due to path reversal.

---

4.2 Equivalence Relations as Groupoids

We can view equivalence relations as groupoids. Sometimes, it is quite useful to view an equivalence relation as a groupoid. Given a set $X$ equipped with an equivalence relation $\sim$:

• Objects: elements of $X$
• Morphisms: a unique arrow $x \to y$ if and only if $x \sim y$

This constructs what we call, the equivalence groupoid, transforming static equivalence data into a dynamical categorical structure.

Such groupoids serve as foundational examples for:

• quotient spaces
• orbifolds
• stacks and higher geometric structures

---

5. Equivalence of Algebraic and Categorical Definitions

Although the algebraic and categorical definitions appear distinct, they are formally equivalent.

• From an algebraic groupoid, one constructs a category via elements-as-morphisms.
• From a categorical groupoid, one recovers partial composition via morphism composition.

This equivalence is not merely formal—it reflects a deep unity between:

• algebraic operations
• geometric intuition
• categorical abstraction

The equivalence of the two definitions can be a good topic to discuss in detail in another post.

---

6. Why Groupoids Matter in Modern Topology and Geometry

Groupoids provide the natural language for:

• homotopy theory beyond basepoints
• moduli spaces and orbifolds
• differentiable stacks
• higher groupoid models of spaces

They exemplify a recurring theme in modern mathematics that global structure emerges from coherent local data.

---

Concluding Reflection

Groups encode symmetry & Groupoids encode situated symmetry.

In topology, where locality and compatibility are fundamental, groupoids are not something optional — they are inevitable.

“… … people still obstinately persist, when calculating with fundamental groups, in fixing a single base point, instead of cleverly choosing a whole packet of points which is invariant under the symmetries of the situation, which thus get lost on the way. In certain situations (such as descent theorems for fundamental groups à la Van Kampen) it is much more elegant, even indispensable for understanding something, to work with fundamental groupoids with respect to a suitable packet of base points, …”

— Alexander Grothendieck, Esquisse d’un Programme (Section 2, English translation)