nLab fundamental groupoid

Contents

Contents

Idea

The fundamental groupoid of a space XX is a groupoid whose objects are the points of XX and whose morphisms are paths in XX, identified up to endpoint-preserving homotopy.

In parts of the literature the fundamental groupoid, and more generally the fundamental ∞-groupoid, is called the Poincaré groupoid.

Definition

The fundamental groupoid Π 1(X)\Pi_1(X) of a topological space XX is the groupoid whose set of objects is XX and whose morphisms from xx to yy are the equivalence classes of homotopy of homotopy relative to I\partial I [γ][\gamma] of continuous maps γ:[0,1]X\gamma : [0,1] \to X whose endpoints map to xx and yy (which the homotopies are required to fix). Composition is by concatenation (and reparametrization) of representative maps. Under the homotopy-equivalence relation this becomes an associative and unital composition with respect to which every morphism has an inverse; hence Π 1(X)\Pi_1(X) is a groupoid.

The use of the fundamental groupoid of a manifold for describing the monodromy principle on the extension of local morphisms is discussed in the paper by Brown/Mucuk listed below.

Remarks

Relationship to fundamental group

For any xx in XX the first homotopy group π 1(X,x)\pi_1(X,x) of XX based at xx arises as the automorphism group of xx in Π 1(X)\Pi_1(X):

π 1(X,x)=Aut Π 1(X)(x). \pi_1(X,x) = Aut_{\Pi_1(X)}(x) \,.

So the fundamental groupoid gets rid of the choice of basepoint for the fundamental group, and this is valuable for some applications. The set of connected components of Π 1(X)\Pi_1(X) is precisely the set Π 0(X)\Pi_0(X) of path-components of XX. (This is not to be confused with the set of connected components of XX, sometimes denoted by the same symbol. Of course they are the same when XX is locally path-connected.)

Topologizing the fundamental groupoid

The fundamental groupoid Π 1(X)\Pi_1(X) can be made into a topological groupoid (i.e. a groupoid internal to Top) when XX is path-connected, locally path-connected and semi-locally simply connected. This is a special case of (Brown 06, 10.5.8). This construction is closely linked with the construction of a universal covering space for a path-connected pointed space. The object space of this groupoid is just the space XX.

When XX is not semi-locally simply connected, the set of arrows of the fundamental groupoid inherits the quotient topology from the path space such that the fibres of (s,t):Mor(Π 1(X))X×X(s,t):Mor(\Pi_1(X)) \to X\times X are not discrete, which is an obstruction to the above-mentioned source fibre's being a covering space. However the composition is no longer continuous. When XX is not locally path-connected, Π 0(X)\Pi_0(X) also inherits a non-discrete topology (the quotient topology of XX by the relation of path connections).

In circumstances like these more sophisticated methods are appropriate, such as shape theory. This is also related to the fundamental group of a topos, which is in general a progroup or a localic group rather than an ordinary group.

Π 1(X)\Pi_1(X) with a chosen set of basepoints

An improvement on the fundamental group and the total fundamental groupoid relevant to the van Kampen theorem for computing the fundamental group or groupoid is to use Π 1(X,A)\Pi_1(X,A), defined for a set AA to be the full subgroupoid of Π 1(X)\Pi_1(X) on the set AXA\cap X, thus giving a set of base points which can be chosen according to the geometry at hand. Thus if XX is the union of two open sets U,VU,V with intersection WW then we can take AA large enough to meet each path-component of U,V,WU,V,W; note that by the above definition we can write Π 1(U,A)\Pi_1(U,A), etc. If XX has an action of a group GG then GG acts on Π 1(X,A)\Pi_1(X,A) if AA is a union of orbits of the action. Thus Π 1(X,A)\Pi_1(X,A) can represent some symmetry of a given situation.

The notion of Π 1(X,A)\Pi_1(X,A) was introduced in 1967 by Ronnie Brown to give a version of the Seifert-van Kampen Theorem which allowed the determination of the fundamental group of a connected space which is the union of connected subspaces with nonconnected intersection, such as the circle, a space which is, after all, THE basic example in topology.

Grothendieck writes in his 1984 Esquisse d'un Programme? (English translation):

“ ..,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 `a 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,..”.

Notice that Π 1(X,X)\Pi_1(X,X) recovers the full fundamental groupoid, while Π 1(X,{x})\Pi_1(X,\{x\}) is simply the fundamental group π 1(X,x)\pi_1(X,x).

Basically, Π 1(X,A)\Pi_1(X,A) allows for the computation of homotopy 1-types; the theory was developed in Elements of Modern Topology (1968), now available as Topology and Groupoids (2006). These accounts show the use of the algebra of groupoids in 1-dimensional homotopy theory, for example for covering spaces, and, in the later edition, for orbit spaces. spring

In higher category theory

See fundamental ∞-groupoid.

Simplicial version

See simplicial fundamental groupoid.

References

A detailed treatment is available in

Monograph:

  • Philip J. Higgins, §6 of: Categories and Groupoids, Mathematical Studies 32, van Nostrand New York (1971), Reprints in Theory and Applications of Categories 7 (2005) 1-195 [tac:tr7, pdf]

Review and Exposition:

See also:

  • R. Brown, Groupoids and Van Kampen’s theorem, Proc. London Math. Soc. (3) 17 (1967) 385-401.

  • R. Brown and G. Danesh-Naruie, The fundamental groupoid as a topological groupoid, Proc. Edinburgh Math. Soc. 19 (1975) 237-244.

  • R. Brown and O. Mucuk, The monodromy groupoid of a Lie groupoid, Cah. Top. G'eom. Diff. Cat. 36 (1995) 345-369.

  • Ronnie Brown, Topology and Groupoids, Booksurge (2006). (See particularly 10.5.8, using lifted topologies to topologise (π 1X)/N(\pi_1 X)/N where NN is a normal, totally disconnected subgroupoid of π 1X\pi_1 X, and XX admits a universal cover). (more info)

Discussion from the point of view of Galois theory is in

Discussion of the fundamental groupoid (for good topological spaces and for noetherian schemes) as the costack? (via the Seifert-van Kampen theorem) characterized as being 2-terminal is in

Discussion in the context of dynamical systems:

Last revised on November 18, 2023 at 05:19:02. See the history of this page for a list of all contributions to it.