double groupoid

In mathematics, especially in higher-dimensional algebra and homotopy theory, a double groupoid generalises the notion of groupoid and of category to a higher dimension.

Definition

A double groupoid D is a higher-dimensional groupoid involving a relationship for both 'horizontal' and 'vertical' groupoid structures.Brown, Ronald and C.B. Spencer: "Double groupoids and crossed modules", Cahiers Top. Geom. Diff.. 17 (1976), 343–362 (A double groupoid can also be considered as a generalization of certain higher-dimensional groups.Brown, Ronald, [http://www.bangor.ac.uk/r.brown/hdaweb2.htm Higher-dimensional group theory] {{webarchive|url=https://archive.today/20120723235509/http://www.bangor.ac.uk/r.brown/hdaweb2.htm |date=2012-07-23 }} explains how the groupoid concept has led to higher-dimensional homotopy groupoids, having applications in homotopy theory and in group cohomology) The geometry of squares and their compositions leads to a common representation of a double groupoid in the following diagram:

Double groupoid diagram

where M is a set of 'points', H and V are, respectively, 'horizontal' and 'vertical' groupoids, and S is a set of 'squares' with two compositions. The composition laws for a double groupoid D make it also describable as a groupoid internal to the category of groupoids.

Given two groupoids H and V over a set M, there is a double groupoid $\Box(H,V)$ with H,V as horizontal and vertical edge groupoids, and squares given by quadruples

:: $\begin{pmatrix} & h& \\[-0.9ex] v & & v'\\[-0.9ex]& h'& \end{pmatrix}$

for which one assumes always that h, h′ are in H and v, v′ are in V, and that the initial and final points of these edges match in M as suggested by the notation; that is for example sh = sv, th = sv', ..., etc. The compositions are to be inherited from those of H,V; that is:

:: $\begin{pmatrix} & h& \\[-0.9ex] v & & v'\\[-0.9ex]& h'& \end{pmatrix} \circ_1
\begin{pmatrix} & h'& \\[-0.9ex] w & & w'\\[-0.9ex]& h''& \end{pmatrix} =
\begin{pmatrix} & h& \\[-0.9ex] vw & & v'w'\\[-0.9ex]& h''& \end{pmatrix}$

and

:: $\begin{pmatrix} & h& \\[-0.9ex] v & & v'\\[-0.9ex]& h'& \end{pmatrix} \circ_2
\begin{pmatrix} & k& \\[-0.9ex] v' & & v''\\[-0.9ex]& k'& \end{pmatrix} =
\begin{pmatrix} & hk& \\[-0.9ex] v & & v''\\[-0.9ex]& h'k'& \end{pmatrix}$

This construction is the right adjoint to the forgetful functor which takes the double groupoid as above, to the pair of groupoids H,V over M.

Other related constructions are that of a double groupoid with connection{{cite web|url=https://planetmath.org/doublegroupoidwithconnection|title= Double Groupoid with Connection|work=PlanetMath}} and homotopy double groupoids.Brown, R., Hardie, K., Kamps, H. and T. Porter: 2002, "The homotopy double groupoid of a Hausdorff space.", Theory and Applications of Categories: 10, 71–93 The homotopy double groupoid of a pair of pointed spaces is a key element of the proof of a two-dimensional Seifert-van Kampen Theorem, first proved by Brown and Higgins in 1978,Brown, R. and Higgins, P.J. "On the connection between the second relative homotopy groups of some related spaces". _Proc. London Math. Soc._ (3) (36)(1978) 193–212 and given an extensive treatment in the book.R. Brown, P.J. Higgins, R. Sivera, [http://pages.bangor.ac.uk/~mas010/nonab-a-t.html Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids], EMS Tracts in Mathematics Vol. 15, 703 pages. (August

2011).

Examples

An easy class of examples can be cooked up by considering crossed modules, or equivalently the data of a morphism of groups

$[G_1 \xrightarrow{\phi} G_0]$

which has an equivalent description as the groupoid internal to the category of groups

$s,t:G_0\times G_1 \to G_0$

where

$\begin{matrix}
s(g_0,g_1) = g_0 & t(g_0,g_1) = \phi(g_1)g_0
\end{matrix}$

are the structure morphisms for this groupoid. Since groups embed in the category of groupoids sending a group

G

to the category

\textbf{B}G

with a single object and morphisms giving the group

G

, the structure above gives a double groupoid. Let's give an explicit example: from the group extension

$1 \to \mathbb{Z}_4 \to Q_8 \to \mathbb{Z}_2 \to 1$

and the embedding of

\mathbb{Z}_2 \to \mathbb{Z}_4

, there is an associated double groupoid from the two term complex of groups

$Q_8 \to \mathbb{Z}_4$

with kernel is

\mathbb{Z}_4

and cokernel is given by

\mathbb{Z}_2

. This gives an associated homotopy type

X

{{cite arXiv|last1=Cegarra|first1=Antonio M.|last2=Heredia|first2=Benjamín A.|last3=Remedios|first3=Josué|date=2010-03-19|title=Double groupoids and homotopy 2-types|class=math.AT|eprint=1003.3820}} with

$\pi_1(X) = \mathbb{Z}_2$ and $\pi_2(X) = \mathbb{Z}_4$

Its postnikov invariant can be determined by the class of

Q_8 \to \mathbb{Z}_4

in the group cohomology group

H^3(\mathbb{Z}_2,\mathbb{Z}_4) \cong \mathbb{Z}/2

. Because this is not a trivial crossed-module, it's postnikov invariant is

1

, giving a homotopy type which is not equivalent to the geometric realization of a simplicial abelian group.

Homotopy double groupoid

A generalisation to dimension 2 of the fundamental groupoid on a set of base points was given by Brown and Higgins in 1978 as follows. Let $(X,A,C)$ be a triple of spaces, i.e. $C \subseteq A \subseteq X$ . Define $\rho(X,A,C)$ to be the set of homotopy classes rel vertices of maps of a square into X which take the edges into A and the vertices into C. It is not entirely trivial to prove that the natural compositions of such squares in two directions are inherited by these homotopy classes to give a double groupoid, which also has an extra structure of so-called connections necessary to discuss the idea of commutative cube in a double groupoid. This double groupoid is used in an essential way to prove a two-dimensional Seifert-van Kampen theorem, which gives new information and computations on second relative homotopy groups as part of a crossed module. For more information, see Part I of the [http://pages.bangor.ac.uk/~mas010/nonab-a-t.html book] by Brown, Higgins, Sivera listed below.

Double groupoid category

The category whose objects are double groupoids and whose morphisms are double groupoid homomorphisms that are double groupoid diagram (D) functors is called the double groupoid category, or the category of double groupoids.

Notes

{{PlanetMath attribution|urlname=ExtensionOfAlgebraicTopology|title=higher dimensional algebra}}

References

Brown, Ronald and C.B. Spencer: "[https://web.archive.org/web/20160813154721/http://www.numdam.org/numdam-bin/fitem?id=CTGDC_1976__17_4_343_0 Double groupoids and crossed modules]", Cahiers Top. Geom. Diff.. 17 (1976), 343–362.
Brown, R., Hardie, K., Kamps, H. and T. Porter: 2002, "The homotopy double groupoid of a Hausdorff space.", Theory and Applications of Categories: 10,71–93
Brown, Ronald, 1987, "[https://wayback.archive-it.org/all/20070615161525/http://www.bangor.ac.uk/r.brown/groupoidsurvey.pdf From groups to groupoids: a brief survey]," Bull. London Math. Soc. 19: 113–34. Reviews the history of groupoids up to 1987, starting with the work of Brandt on quadratic forms. The downloadable version updates the many references.
Brown, Ronald,, 2006. [https://archive.today/20121222175700/http://www.bangor.ac.uk/r.brown/topgpds.html Topology and groupoids.] Booksurge. Revised and extended edition of a book previously published in 1968 and 1988. Groupoids are introduced in the context of their topological application.
Brown, Ronald,, [https://archive.today/20120723235509/http://www.bangor.ac.uk/r.brown/hdaweb2.htm Higher-dimensional group theory]. Explains how the groupoid concept has led to higher-dimensional homotopy groupoids, having applications in homotopy theory and in group cohomology.
F. Borceux, G. Janelidze, 2001, [https://archive.today/20121223050454/http://www.cup.cam.ac.uk/catalogue/catalogue.asp?isbn=9780521803090 Galois theories.] Cambridge Univ. Press. Shows how generalisations of Galois theory lead to Galois groupoids.
Cannas da Silva, A., and A. Weinstein, [http://www.math.ist.utl.pt/~acannas/Books/models_final.pdf Geometric Models for Noncommutative Algebras.] Especially Part VI.
Golubitsky, M., Ian Stewart, 2006, "[https://www.ams.org/bull/2006-43-03/S0273-0979-06-01108-6/S0273-0979-06-01108-6.pdf Nonlinear dynamics of networks: the groupoid formalism]", Bull. Amer. Math. Soc. 43: 305–64
Higgins, P. J., "The fundamental groupoid of a graph of groups", J. London Math. Soc. (2) 13 (1976) 145–149.
Higgins, P. J. and Taylor, J., "The fundamental groupoid and the homotopy crossed complex of an orbit space", in Category theory (Gummersbach, 1981), Lecture Notes in Math., Volume 962. Springer, Berlin (1982), 115–122.
Higgins, P. J., 1971. Categories and groupoids. Van Nostrand Notes in Mathematics. Republished in Reprints in Theory and Applications of Categories, No. 7 (2005) pp. 1–195; [http://www.tac.mta.ca/tac/reprints/articles/7/tr7abs.html freely downloadable]. Substantial introduction to category theory with special emphasis on groupoids. Presents applications of groupoids in group theory, for example to a generalisation of Grushko's theorem, and in topology, e.g. fundamental groupoid.
Weinstein, Alan, "[https://www.ams.org/notices/199607/weinstein.pdf Groupoids: unifying internal and external symmetry – A tour though some examples.]" Also available in [http://math.berkeley.edu/~alanw/Groupoids.ps Postscript.], Notices of the AMS, July 1996, pp. 744–752.

Category:Algebraic structures

Category:Homotopy theory

Category:Category theory

Category:Higher category theory