Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

May's A Concise Course in Algebraic Topology gives the following statement of the Seifert-van Kampen theorem for fundamental groupoids $\Pi(X)$ (section 2.7):

Theorem (van Kampen). Let $\mathcal{O} = \{ U \}$ be a cover of a space $X$ by path connected open subsets such that the intersection of finitely many subsets in $\mathcal{O}$ is again in $\mathcal{O}$. Regard $\mathcal{O}$ as a category whose morphisms are the inclusions of subsets and observe that the functor $\Pi$, restricted to the spaces and maps in $\mathcal{O}$, gives a diagram $\Pi | \mathcal{O} : \mathcal{O} \to \text{Gpd}$ of groupoids. The groupoid $\Pi(X)$ is the colimit of this diagram.

As far as I can tell, however, his proof makes no use of the hypothesis that $\mathcal{O}$ consists of path connected subsets. Am I correct in thinking this? The motivation here is to be able to compute e.g. the fundamental group of the circle $S^1$ by writing it as the union of two intervals with disconnected intersection.

share|improve this question
2  
Do we need this rather so we can revert back to the fundamental group from the colimit, i.e. to guarantee that each $\Pi(U)$ has skeleton $\pi_1(U,x)$? –  Andrew Sep 18 '12 at 5:12
2  
This seems likely – May immediately goes on to talk about how to recover the fundamental group version of van Kampen. As far as I can tell the proof of the cited theorem does not make use of path-connectedness. On the other hand, computing the colimit of a diagram of possibly-disconnected groupoids is not fun! –  Zhen Lin Sep 18 '12 at 5:16
    
I agree with Andrew. Have you checked out Ronnie Brown - "Groupoids and Van Kampen's theorem" (1967)? (I'm sure he'll eventually be along to answer anyhow!) –  Juan S Sep 18 '12 at 6:33
    
Yes, Brown's article explains how to compute $\pi_1(S^1)$ using groupoid colimits. –  Justin Young Sep 18 '12 at 6:53
1  
@Qiaochu Yuan: For the cover with 2 open subsets, that result was in the 1967 paper referred to by Juan S. See also my answer below. –  Ronnie Brown Sep 18 '12 at 16:33
show 3 more comments

1 Answer

up vote 8 down vote accepted

Higgins' downloadable book Categories and groupoids has quite a lot on computing colimits of groupoids. The point is that the groupoid van Kampen theorem has the probably optimal theorem of this type in

R. Brown and A. Razak, ``A van Kampen theorem for unions of non-connected spaces'', Archiv. Math. 42 (1984) 85-88.

This involves the fundamental groupoid $\pi_1(X,A)$ on a set of base points, and for this and a general open cover, one needs that $A$ meets each path-component of each $1$-, $2$-, $3$-fold intersection of sets of the cover. This answers a particular point in the question. The case $A=X$ is the theorem as stated in the question, and the special case when $A$ is a singleton is in Hatcher's book. The reduction to $3$-fold intersections essentially relies on the idea of Lebesgue covering dimension.

This result translates the problem from topology into algebra; a particular fundamental group, if one wants it, is kind of hidden in the middle of this colimit of groupoids. One then has to do various combinatorial things such as choosing trees in components of graphs, to find the fundamental group. These methods are directly related to methods of use in combinatorial group theory, so one should think of them, including the notion of covering morphism of groupoids used in Higgins' book, as a form of combinatorial groupoid theory. HNN extensions of groups can also be seen as pushouts of groupoids.

One of the useful tools in Higgins' book is the following: given a groupoid $G$ with object set $X$ and a function $f:X \to Y$ construct a groupoid $U_f(G)$ with object set $Y$. This construction yields free groups, and free products of groups, as special cases. In Chapter 9 of Topology and Groupoids this construction is related to making identifications on a discrete subset of a topological space.

These ideas usefully generalise to higher dimensions, via Higher Homotopy Seifert-van Kampen Theorems: see for example Part I of Nonabelian Algebraic Topology for results on second relative homotopy groups. There is more to be said ..........

Later: I realise I did not answer the question as to the purpose of the generalisation. As suggested, the immediate purpose was to have a theorem which yielded the fundamental group of the circle, which is, after all, THE basic example in algebraic topology. It also gave easily additional examples: for example, let $X$ be the space formed by identifying all corresponding points of two copies of the interval $[-1,1]$ except for the point $0$. Thus $X$ is a non Hausdorff space. From the groupoid version with $A$ consisting of the two points $\pm 1/2$, we obtain that the fundamental group of $X$ is the integers.

As another example, consider the following union of two open sets:

union

Here one chooses one basepoint in each component of the intersection, in this case $4$ basepoints. This kind of example was in van Kampen's original paper, with no indication of proof. One might also have a connected union of 24 open sets, each with $5$ path components, and the intersections having hundreds of path components. Situations like this arise in combinatorial group theory. In general, one chooses the set of base points according to the geometry of the given situation.

The proof given in the paper referred to is by verification of the universal property, and does not require knowledge that the category of groupoids admits colimits, nor any specific method of constructing them.

For me, this work led to the impression that ALL of $1$-dimensional homotopy theory was better expressed in terms of groupoids rather than groups.

The proof also has the advantage of generalising to higher dimensions, once one has the appropriate higher dimensional homotopical gadgets. (It did take me 9 years to find, in conversation with Philip Higgins, the right $2$-dimensional gadget.)

share|improve this answer
    
There is further comment to be made on my answer. The result proved by May does not require any further assumption, since it deals with $\pi_1(X)=\pi_1(X,A)$ with $A=X$. However to get a specific result, one usually has to reduce $A$ to a subset appropriate to the geometry, and then the proof depends on making choices of paths to base points lying in certain intersections. The easiest proof does I think go back to the version by Crowell, and that proof has the advantage of generalising to higher dimensions. –  Ronnie Brown Sep 19 '12 at 9:23
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.