4 typo

I came into groupoids by trying to find a new proof of the fundamental group of the circle. It turned out that one could do this using the fundamental groupoid on two base points. Writing the 1968 edition of my book now called Topology and Groupoids' (T&G) (available on amazon.com and e-version from www.kagi.com) convinced me that all of 1-dimensional homotopy theory was better expressed in terms of groupoids rather than groups, in that one obtained more powerful theorems with simpler proofs. Later results on the fundamental groupoid of orbit spaces (Chapter 11 of T&G) are more awkward to express in terms of groups; this elaborates on the point by Dustin Clausen. See further details below.

Henry Whitehead answered the question of "Why not restrict to CW-complexes with just one vertex?" by considering covering spaces. Philip Higgins gave a considerable generalisation of Grusko's theorem by considering covering morphisms of groupoids, see his 1971 book Categories and groupoids' available as a TAC Reprint, 2005.

In 1966 I thought about prospective uses of groupoids in higher homotopy theory, and this led over many years to higher dimensional Seifert-van Kampen Theorems, with a range of new nonabelian calculations of second relative homotopy groups and triad homotopy groups (for the latter, see the "nonabelian tensor product of groups"). That sounds relevant to geometric topology!

So one answer to the original question is that the use of groupoids opens new worlds of possibilities.

Actually the idea of change of base point for the fundamental group' is a bit bizarre: one does not describe a railway timetable in terms of return journeys and change of starting point for these! Why is this still taught to students?

In the end, an aesthetic viewpoint implies more power!

Thanks to those above who give me additional examples.

Ross Geoghegan in his 1986 review (MR0760769) of two papers by M.A. Armstrong on the fundamental groups of orbit spaces wrote: "These two papers show which parts of elementary covering space theory carry over from the free to the nonfree case. This is the kind of basic material that ought to have been in standard textbooks on fundamental groups for the last fifty years." At present, to my knowledge, "Topology and Groupoids" is the only topology text to cover such results.

Consider the action of the cyclic group of order 2, $Z_s$ on the unit circle $S$ by complex conjugation. Take $1$ as base point. The induced action of $Z_2$ on the fundamental group $\pi_1(S,1)$ is $n\mapsto -n$, and the quotient by this action is $Z_2$. But the quotient of $S$ by the action is a semicircle, which is contractible. What has gone wrong?

The problem is there are two fixed points of the action. The quotient of the action of $Z_2$ on the groupoid $\pi_1(S, A)$, where $A$ consists of the points $\pm 1$, is indeed correct.

The point is that a group acting on a space $X$ acts also on the fundamental groupoid $\pi_1 X$. If $X$ is Hausdorff, the action is properly discontinuous, and $X$ has a universal cover, then the fundamental groupoiud of the orbit space $X/G$ is the orbit groupoid of $\pi_1 X$. This is the groupoid expression of Armstrong's results. See Chapter 11 of Topology and Groupoids.

April 21,2013: The book Nonablelian Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids gives an account of this new approach to basic algebraic topology at the border between homology and homotopy, without using singular homology theory, or simplicial approximation, but relying on the idea of multiple compositions of cubes. This also allows for results on second relative homotopy groups, results which, being essentially nonabelian, are not obtainable by traditional algebraic topology. It also avoids the "trick" of taking the free abelian group on ordered or oriented simplices in order to define chain groups, and the boundary map.

All this comes from considering the question: if groupoids are useful in $1$-dimensional homotopy theory, how useful can they be in higher homotopy theory? One quickly notices that whereas group objects internal to groups are abelian groups, group objects internal to groupoids are in some sense "more nonabelian" than groups, as are groupoid objects internal to groupoids. So one looks to such objects to model higher homotopy properties: and this has been achieved.

3 typo

Actually the idea of change of base point for the fundamental group' is a bit bizarre: one does not describe a railway timetable in terms of return journeys and change of starting point for these. ! Why is this still taught to students?

The point is that a group acting on a space $X$ acts also on the fundamental groupoid $\pi_1 X$. If $X$ is Hausdorff, the action is properly discontinuous, and $X$ has a universal cover, then the fundamental groupoiud of the orbit space $X/G$ is the orbit groupoid of $\pi_1 X$. This is the groupoid expression of Armstrong's results. See Chapter 11 of Topology and Groupoids.

April 21,2013: The book Nonablelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids gives an account of this new approach to basic algebraic topology at the border between homology and homotopy, without using singular homology theory, or simplicial approximation, but relying on the idea of multiple compositions of cubes. This also allows for results on second relative homotopy groups, results which, being essentially nonabelian, are not obtainable by traditional algebraic topology. It also avoids the "trick" of taking the free abelian group on ordered or oriented simplices in order to define chain groups, and the boundary map.

All this comes from considering the question: if groupoids are useful in $1$-dimensional homotopy theory, how useful can they be in higher homotopy theory? One quickly notices that whereas group objects internal to groups are abelian groups, group objects internal to groupoids are in some sense "more nonabelian" than groups, as are groupoid objects internal to groupoids. So one looks to such objects to model higher homotopy properties: and this has been achieved.

I came into groupoids by trying to find a new proof of the fundamental group of the circle. It turned out that one could do this using the fundamental groupoid on two base points. Writing the 1968 edition of my book now called `Topology and Groupoids' (T&G) (available on amazon.com and e-version from www.kagi.com) convinced me that all of 1-dimensional homotopy theory was better expressed in terms of groupoids rather than groups, in that one obtained more powerful theorems with simpler proofs. Later results on the fundamental groupoid of orbit spaces (Chapter 11 of T&G) are more awkward to express in terms of groups; this elaborates on the point by Dustin Clausen. See further details below.

Ronnie Brown

Ross Geoghegan in his 1986 review (MR0760769) of two papers by M.A. Armstrong on the fundamental groups of orbit spaces wrote: "These two papers show which parts of elementary covering space theory carry over from the free to the nonfree case. This is the kind of basic material that ought to have been in standard textbooks on fundamental groups for the last fifty years." At present, to my knowledge, "Topology and Groupoids" is the only topology text to cover such results.

Consider the action of the cyclic group of order 2, $Z_s$ on the unit circle $S$ by complex conjugation. Take $1$ as base point. The induced action of $Z_2$ on the fundamental group $\pi_1(S,1)$ is $n\mapsto -n$, and the quotient by this action is $Z_2$. But the quotient of $S$ by the action is a semicircle, which is contractible. What has gone wrong?

The problem is there are two fixed points of the action. The quotient of the action of $Z_2$ on the groupoid $\pi_1(S, A)$, where $A$ consists of the points $\pm 1$, is indeed correct.

The point is that a group acting on a space $X$ acts also on the fundamental groupoid $\pi_1 X$. If $X$ is Hausdorff, the action is properly discontinuous, and $X$ has a universal cover, then the fundamental groupoiud of the orbit space $X/G$ is the orbit groupoid of $\pi_1 X$. This is the groupoid expression of Armstrong's results. See Chapter 11 of Topology and Groupoids.

1