nLab
fundamental group

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Homotopy theory

Background

Variations

Definitions

Paths and cylinders

Homotopy groups

Theorems

Contents

Idea

The fundamental group π 1(X,x) of a pointed topological space (X,x) is the group of based homotopy classes of loops at x, with multiplication defined by concatenation (following one path by another).

This is also called the first homotopy group of X.

The notion of fundamental group π 1(X,x) generalises in one direction to the fundamental groupoid Π 1(X), or in another direction to the homotopy groups π n(X,a) for n∈ℕ. Both of this is contained within the fundamental ∞-groupoid Π(X).

Definition

Definition

For X a topological space and x:*→X a point. A loop in X based at x is a continuous function

γ:Δ 1→X\gamma : \Delta^1 \to X

from the topological 1-simplex, such that γ(0)=γ(1)=x.

A based homotopy between two loops is a homotopy

Δ 1 ↓ (id,δ 0) ↘ f Δ 1×Δ 1 →η X ↑ (id,δ 1) ↗ g Δ 1\array{ \Delta^1 \\ \downarrow^{\mathrlap{(id,\delta_0)}} & \searrow^{\mathrlap{f}} \\ \Delta^1 \times \Delta^1 &\stackrel{\eta}{\to}& X \\ \uparrow^{\mathrlap{(id,\delta_1)}} & \nearrow_{\mathrlap{g}} \\ \Delta^1 }

such that η(0,−)=η(1,−)=x.

Proposition

This notion of based homotopy is an equivalence relation.

Proof

This is directly checked. It is also a special case of the general discussion at homotopy.

Definition

Given two loops γ 1,γ 2:Δ 1→X, define their concatenation to be the loop

γ 2⋅γ 1:t↦{γ 1(2t) (0≤t≤1/2) γ 2(2(t−1/2)) (1/2≤t≤1).\gamma_2 \cdot \gamma_1 : t \mapsto \left\{ \array{ \gamma_1(2 t) & ( 0 \leq t \leq 1/2 ) \\ \gamma_2(2 (t-1/2)) & (1/2 \leq t \leq 1) } \right. \,.
Proposition

Concatenation of loops respects based homotopy classes where it becomes an associative, unital binary pairing with inverses, hence the product in a group.

Remark

See also at path groupoid for similar constructions.

Definition

For X a topological space and x∈X a point, the set of based homotopy equivalence classes of based loops in X equipped with the group structure from prop. 2 is the fundamental group or first homotopy groupof (X,x), denoted

π 1(X,x)∈Grp.\pi_1(X,x) \in Grp \,.

Hence if we write [γ]∈p 1(X,x) for the based homotopy class of a loop p, then then group operation is

[γ 1]⋅[γ 2]≔[γ 1⋅γ 2].[\gamma_1] \cdot [\gamma_2] \coloneqq [\gamma_1 \cdot \gamma_2] \,.
Definition

A topological space whose fundamental group is trivial is called a simply connected topological space.

Definition

Conversely, a topological space whose only non-trivial homotopy group is the fundamental group is called an Eilenberg-MacLane space denoted K(π 1(X),1).

Properties

Naturality

Proposition

If a topological space X is path-connected space, then all of the fundamental groups π 1(X,x) are isomorphic, for all choices of base points x∈X.

Proof

For x 0,x 1∈X any two basepoints, there is by assumption a path connecting them, hence a continuous function

p:Δ 1→Xp : \Delta^1 \to X

such that p(0)=x 0 and p(1)=x 1.

Write p¯≔(p(1−(−))) for the same path with the orientation reversed. Then for γ 0 any loop based at x 0, the concatenation [p⋅(γ 0⋅p¯)], def. 1 yield a loop based at x 1 (obtained from [γ 0] by conjugation with [p]).

It is immediate to check that this induces an isomorphism

Ad [p]:π 1(X,x 0)→π 1(X,x 1).Ad_{[p]} : \pi_1(X,x_0) \to \pi_1(X,x_1) \,.
Remark

Therefore one sometimes loosely speaks of ‘the’ fundamental group of a connected space. But beware that the isomorphism in the above construction is not unique. Therefore forming fundamental groups is not a functor on connected spaces.

Proposition

It is, however, a functor on pointed topological spaces: π 1(−): Top */→ Grp.

Relation to singular homology

The fundamental group is in general non-abelian (i.e. is not an abelian group), the the Examples below. For a connected topological space X, its abelianization is equivalent to the first singular homology group

π 1(X,x) ab≃H 1(X).\pi_1(X,x)^{ab} \simeq H_1(X) \,.

See at singular homology – Relation to homotopy groups for more on this.

Relation to universal covers

There is a relation to universal covers: The group of cover automorphisms of a universal cover is isomorphic to the fundamental group of the covered space. This is used to establish a link between Galois theory and fundamental groups. This version of the fundamental group is sometimes called the Chevalley or algebraic fundamental group of the space.

In Grothendieck's Galois theory, the role of the basepoint is replaced by considering a ‘fibre functor’ F:𝒞→Sets or to FinSets, where 𝒞 is the category of coverings of the given space. This theory extends to other situations and the term algebraic fundamental group is used in particular for the case of schemes (of a suitable type); see (SGA1).

Generalizations

Non-locally ‘nice’ spaces and ‘generalised’ spaces

The definition of fundamental group in terms of homotopy classes of loops at a base point does not work well for the spaces that occur in algebraic geometry, nor for many spaces considered in analysis as there may be very few loops. For instance, for a scheme there are in general very few paths, and Grothendieck gave a definition of a fundamental group in SGA1 which is closely related to the Galois groups of number theory, but in cases where both the path-based group and this algebraic fundamental group make sense, the algebraic form tends to be related to the profinite completion of the topological fundamental group; see the example in that entry.

A similar type of construction gives the fundamental group of a topos. Other related forms include a Čech version of the fundamental group used in shape theory, and linked to Čech homology groups of a compact space.

The notion of fundamental group generalizes to that of fundamental groupoid in both the loop based theory and in Grothendieck's Galois theory as described in SGA1. In this form it has been used to give generalisations for simplicial profinite spaces in work by Quick and to pro-spaces in work of Isaksen.

Proper fundamental groups

In the context of proper homotopy theory there are two related fundamental groups for single ended spaces.

Examples

Example

The fundamental group of the point is trivial: π 1({*})=*.

Example

By definition 3, the fundamental group of every simply connected topological space is trivial.

Example

The fundamental group of the circle is the group of integers π 1(S 1)≃ℤ.

Remark

An instructive formalization of this basic statement in homotopy type theory is in (Shulman).

Example

By definition 4, the fundamental group of any Eilenberg-MacLane space K(G,1) is G: π 1(K(G,1))=G.

References

Discussion from the point of view of Galois theory is in

Isaksen’s work is

  • D. C. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc., 353, (2001), 2805–2841

whilst Quick’s is in

  • G. Quick, Profinite homotopy theory, Documenta Mathematica, 13, (2008), 585–612.

Formalization in homotopy type theory is at

Revised on January 19, 2013 20:05:53 by Ingo Blechschmidt (188.174.130.250)
Edit | Back in time (20 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Timeline of category theory and related mathematics, groupoid, oriental, homotopy theory, anafunctor, groupoid cardinality, group, infinity-groupoid, fundamental groupoid, model category, simplicial set, simplicial category, category with weak equivalences, homotopy category, derived functor, cubical set, Nonabelian Algebraic Topology, (infinity,1)-category, Kan complex, n-groupoid, simplicial object, quasi-isomorphism, homotopical category, category of fibrant objects, deformation retract, homotopical functor, strict omega-groupoid, model structure on topological spaces, simplex, topology, simplicially enriched category, path space object, horn, simplicial complex, interval object, fundamental category, Kan fibration, simplicial T-complex, small object argument, homotopy hypothesis, fibration, Trimble n-category, simplicial group, simplicial identities, fundamental infinity-groupoid, directed homotopy theory, homotopy 3-type, homotopy n-type, cat-2-group, simplicial presheaf, homotopy limit, Grpd, SimpSet, van Kampen theorem, higher van Kampen theorem, homotopy 1-type, homotopy pullback, homotopy 2-type, homotopy type, Euler characteristic, 1-groupoid, join of simplicial sets, T-complex, cubical T-complex, homotopy group, fundamental group, m-cofibrant space, Postnikov system, homotopy equivalence, weak homotopy equivalence, profinite completion of a group, Waldhausen category, fundamental group of a topos, shape theory, Grothendieck's Galois theory, Thomason model structure, homotopy category of an (infinity,1)-category, derived category, mapping cone, 2009 March changes, orbit groupoid, Reedy category, reduced suspension, local system, generalized Reedy category, differential forms on simplices, calculus of fractions, associahedron, category of simplices, things to be categorified, Eckmann-Hilton duality, covering space, Freudenthal suspension theorem, simplicial homotopy group, boundary of a simplex, semi-locally simply connected space, Eilenberg-Mac Lane space, Galois theory, twisted cohomology, generalized (Eilenberg-Steenrod) cohomology, algebraic topology, weak inverse, simplicial skeleton, homotopy, homotopy (as an operation), model structure on presheaves of simplicial groupoids, co-H-space, H-space, suspension, singular simplicial complex, pointed space, supergravity C-field, Kan fibrant replacement, (infinity,1)-categorical hom-space, Nielsen-Schreier theorem, anodyne morphism, history of cohomology with local coefficients, stable homotopy theory, derivator, homotopy - contents, cochain on a simplicial set, free groupoid, n-truncated object of an (infinity,1)-category, nonabelian Hodge theory, A-infinity-space, A1-homotopy theory, homotopy localization, spine, Whitehead tower, knot invariant, dendroidal set, Whitehead theorem, quasifibration, suspension object, cocylinder, Hurewicz cofibration, mapping cylinder, homotopy extension property, homotopy inverse, mapping cocone, simply connected space, internal infinity-groupoid, simplicial ring, cofibration, transgression of bundle gerbes, counterexamples in algebra, automorphism infinity-group, categorical homotopy groups in an (infinity,1)-topos, simplicial topological group, schematic homotopy type, Higgs bundle, CW approximation, test category, model structure on cubical sets, simplicial localization of a homotopical category, Calculus of fractions and homotopy theory, algebraic fundamental group, decalage, clique, quandle, Ho(Top), proper homotopy theory, homotopy Kan extension, pointed derivator, zigzag, subdivision, two-out-of-six property, homotopy exact square, 2d TQFT, pullback in a derivator, nice simplicial topological space, geometric homotopy groups in an (infinity,1)-topos, infinite loop space, homotopy equivalence of toposes, n-connected space, long exact sequence of homotopy groups, knot group, factorization lemma, augmented simplicial set, cosimplicial simplicial set, fundamental (infinity,1)-category, strict 2-groupoid, zigzag category, geometric realization of cohesive infinity-groupoids, chain homotopy, model structure on simplicial algebras, higher homotopy van Kampen theorem, cell complex, model structure on operator algebras, fundamental infinity-groupoid of a locally infinity-connected (infinity,1)-topos, van Kampen theorem for toposes, fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos, Pi-algebra, spherical object, Boardman-Vogt resolution, localizing subcategory, geometric realization of categories, Milnor mu-bar invariants, Betti number, homotopy groups of a Lie groupoid, cohomology operation, two-out-of-three, Homotopy Limit Functors on Model Categories and Homotopical Categories, semi-simplicial set, homotopy type theory, Parametrized Homotopy Theory, looping, fiber functor, dendroidal homotopy coherent nerve, bisimplicial set, contents of contents, B1-homotopy theory, homotopy groups of spheres, suspension of a chain complex, Hurewicz theorem, loop, homotopy level, function extensionality, coend in a derivator, univalence axiom, Bousfield lattice, Cartan-Eilenberg category, elegant Reedy category, algebraic K-theory, a historical perspective, Simplicial homotopy theory, simplicial homotopy theory, iterated loop space, Eilenberg subcomplex, model structure for infinity-groupoids, local fibration, reduced simplicial set, projective resolution, absolute Galois group, Galois group, The Geometry of Physics - An Introduction, null homotopy, the fundamental group and Galois theory, instanton in QCD, interval object in chain complexes, homotopy class, abelianization, homotopy category of chain complexes, Ho(sSet), free resolution, n-connected map, homotopical structure on C*-algebras, geometry of physics, Galois cohomology, h-groupoid, model topos, Aharonov-Bohm effect, localization of model categories, model structure for homotopy n-types, Toda bracket, differential Galois theory, semi-simplicial object, core in a 2-category, geometry of physics - modules, relative category, cosmic string