9
$\begingroup$

I believe it is possible to compute $\pi_1 S^1$ by applying the groupoid version of the Seifert-Van Kampen Theorem (in the version presented in May's Concise Course) to a covering of the circle by three arcs. Is there an account like this somewhere in the literature? Ideally I'd like a discussion that a student familiar with May's book would be able to read. (May doesn't take a 2-categorical approach to groupoids, and so he does not discuss the fact that a diagram of groupoids that is a point-wise equivalence induces an equivalence of colimits. This is rather important for computations.)

Edit: this last statement is false in general! I was thinking of homotopy colimits. The relevant (correct) fact appears in Ronnie Brown's book: retracts of pushouts are pushouts. This is the means by which one compares the Van Kampen theorem for the full fundamental groupoid - as in May's book - with the Van Kampen theorem for the fundamental groupoid on a set of basepoints.)

$\endgroup$
8
  • 1
    $\begingroup$ The book of Tammo Tom Dieck "Algebraic Topology" takes a related but different approach. $\endgroup$
    – j.c.
    Oct 29, 2010 at 7:09
  • 2
    $\begingroup$ The isomorphism $\pi_1(S^1)\simeq \mathbf{Z}$ is just a triviality:if we define $S^1$ as the pushout of the diagram of simplicial sets $\Delta^0 \leftarrow \partial\Delta^1\to \Delta^1$, then we see immediately that the set of maps from $S^1$ to the nerve of a groupoid $G$ is simply the set of arrows $x\to y$ in $G$ such that $x=y$. Therefore, the groupoid $\pi_1(S^1)$ is canonically isomorphic to the group $\mathbf{Z}$ (seen as a groupoid with one object), simply because they both share the same universal property. $\endgroup$ Nov 14, 2010 at 0:13
  • 2
    $\begingroup$ Denis-Charles, what exactly do you mean by "the groupoid $\pi_1 S^1$"? Are you referring to a combinatorial definition of the fundamental groupoid of a simplicial set? I'm familiar with Kan's combinatorial description of the homotopy groups of a Kan complex, and I guess you could mean something similar? Most importantly, how easy is it to identify this object with the fundamental groupoid of the geometric realization? Milnor's original proof that Kan's homotopy groups agree with the homotopy groups of the realization used the Van Kampen theorem. $\endgroup$
    – Dan Ramras
    Nov 14, 2010 at 6:01
  • 1
    $\begingroup$ Using the version of Van Kampen in Brown's book, you can even compute the fundamental group of the circle by using a cover with two intervals: just pick one basepoint in each component of the intersection. $\endgroup$ Nov 14, 2010 at 14:43
  • $\begingroup$ Omar, yes that's right! May's book has a seemingly unnecessary connectedness assumption on the intersections of sets in the cover, which is why I was thinking of 3 arcs. $\endgroup$
    – Dan Ramras
    Nov 14, 2010 at 18:10

3 Answers 3

14
$\begingroup$

I can only point to the place where this was originally done (or rather, the latest edition thereof):

Topology and Groupoids by Ronnie Brown

It's a fantastic textbook and easy to read (and cheap, if you buy the electronic copy - the best £5 I've spent). Ideally what you'd do is calculate the equivalent subgroupoid $\Pi_1(S^1,\{a,b,c\})$ where $a,b,c$ are three points in $S^1$, one in each intersection of opens.

$\endgroup$
4
  • $\begingroup$ This is what I had in mind. I did look in Chapter 9 of Brown's book (Chap. 9 is free) and didn't see this. (Brown seems to compute $\pi_1 S^1$ in some other way in Corollary 9.1.5; I haven't digested his notation yet, though.) Maybe this argument appears somewhere else? I'll have to get myself the full book, I guess. $\endgroup$
    – Dan Ramras
    Oct 29, 2010 at 5:50
  • $\begingroup$ Actually this isn't how he computes it, but it should be possible to do so. $\endgroup$
    – David Roberts
    Oct 29, 2010 at 5:52
  • $\begingroup$ I second David's recommendation. $\endgroup$
    – Josh
    Oct 29, 2010 at 11:33
  • $\begingroup$ Chapter 6 is the place to look, not Chapter 9. $\endgroup$
    – Dan Ramras
    Nov 13, 2010 at 20:59
8
$\begingroup$

A rather belated comment on these! I like the comparison between the circle $S^1$ as obtained from the unit interval $[0,1]$ by identifying $0$ and $1$ in the category of spaces, and the group of integers $\mathbb Z$ as obtained from the groupoid $\mathcal I$, which has objects $0$ and $1$ and exactly one arrow $\iota:0 \to 1$, by identifying $0$ and $1$ in the category of groupoids.

I got hold of the idea in the 1960s from writing the first edition of this book that all of 1-dimensional homotopy theory was better expressed in terms of groupoids rather than groups This led to the question: are groupoids useful in higher homotopy theory? Is the 1-dimensional case a ``one-off''? or not?

I liked the more exciting prospect, but it took 9 years to get with Philip Higgins in 1974 a good definition in dimension 2, namely the homotopy double groupoid of a pair of spaces, and a 2-dimensional van Kampen theorem.

June 2, 2018 More background to this area is in the paper published this year:

Modelling and Computing Homotopy Types:I

One of the points made is that the usual base point approach seems to assume all interesting spaces are path connected; yet the circle is a counterexample since it is nicely represented as a union of non connected spaces. The algebra of groupoids nicely copes with the more general case; one main point of my 1967 paper on the groupoid version of the van Kampen theorem was to obtain by such a method the fundamental group of the circle!

Note also that if the theorem is proved by verification of the universal property, then the proof for $\pi_1(X,C)$ is no more difficult than the proof for $\pi_1(X,c)$; the case of many sets is given in this paper.

$\endgroup$
2
  • $\begingroup$ Further comment: although I was attracted by the retraction argument, it turned out that it did not work easily for any family of open sets, and did not work in higher dimensions. So I returned to the original argument of Crowell and this is given in the paper: R.Brown and A. Razak, ``A van Kampen theorem for unions of non-connected spaces'', Archiv. Math. 42 (1984) 85-88, which also gives the best possible connectivity condition, that the set $A$ of base points meets each path component of each $3$-fold intersections of the cover. This is related to the Lebesgue Covering Dimension. $\endgroup$ Jan 13, 2013 at 22:19
  • $\begingroup$ I also prefer, contrary to Gramain and other authors, to give a proof by verification of the required universal property, rather than relying on a specific construction of a pushout, or colimit, of groups, or groupoids. One reason is to have a proof which generalises to higher dimensions, given the appropriate gadget, and so obtain new results and methods in homotopy theory. $\endgroup$ Nov 8, 2013 at 18:33
7
$\begingroup$

The reference to Brown is probably the best one for the moment. Unfortunately, May's book doesn't seem to be so useful because, even in the theorem about groupoids, there is a connectedness assumption on the interesections of the open sets covering the space. Moreover, once one has a general pushout theorem for groupoids, one needs to know how to compute the isotropy groups of the given groupoid, which May doesn't explain.

André Gramain has written a short account of that, Le théorème de van Kampen.

For a good space, the theory of coverings gives an equivalence of category between coverings and sets with an action of the fundamental group. (This determines the group.) This gives various way of computing the fundamental group(oid) of a space via descent theory. In the setting of schemes, Grothendieck gives the relevant theorems and formulae in a few lines in SGA 1.

I can phrase Denis-Charles's answer above in a slightly more elementary way, using the formulation via coverings.

The circle $S^1$ is the interval $[0,1]$ with endpoints attached; therefore, a covering of $S^1$ can be described as a covering of $[0,1]$ together with an identification of the fibers at $0$ and $1$. We thus have a covering $A\times [0,1]$, with a bijection of $A\times\{0\}$ with $A\times\{1\}$. That is, a set $A$, with a bijection of~$A$. That is, a set $A$ with an action of the group $\mathbf Z$. So $\pi_1(S^1)=\mathbf Z$.

$\endgroup$
2
  • $\begingroup$ May's path connectedness assumption seems to be unnecessary. I don't see anywhere in his proof that path connectedness is used (am I missing something?). The covering space perspective sounds a lot like the way Quillen computed the fundamental group of the Q-construction. $\endgroup$
    – Dan Ramras
    Nov 14, 2010 at 18:10
  • $\begingroup$ It is indeed unnecessary. But the computation of the isotropy groups of pushouts is definitely lacking without the assumption... $\endgroup$
    – ACL
    Nov 14, 2010 at 23:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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