# Difference between revisions of "Crossed module"

(Importing text file) |
m (AUTOMATIC EDIT (latexlist): Replaced 62 formulas out of 62 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.) |
||

(One intermediate revision by one other user not shown) | |||

Line 1: | Line 1: | ||

− | + | <!--This article has been texified automatically. Since there was no Nroff source code for this article, | |

+ | the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist | ||

+ | was used. | ||

+ | If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category. | ||

− | + | Out of 62 formulas, 62 were replaced by TEX code.--> | |

− | + | {{TEX|semi-auto}}{{TEX|done}} | |

+ | A [[Morphism|morphism]] $\mu : M \rightarrow P$ of groups together with an action of the [[Group|group]] $P$ on the group $M$ satisfying two conditions which makes the structure a common generalization of: | ||

− | + | 1) a [[Normal subgroup|normal subgroup]] of $P$; | |

− | + | 2) a $P$-module (cf. also [[Module|Module]]); | |

− | + | 3) the inner [[Automorphism|automorphism]] mapping $M \rightarrow \operatorname { Aut } ( M )$; | |

− | for all | + | 4) an [[Epimorphism|epimorphism]] $M \rightarrow P$ with central kernel. The two conditions are: |

+ | |||

+ | \begin{equation*} \mu ( \square ^ { g } m ) = g \mu ( m ) g ^ { - 1 } , \square ^ { \mu ( m ) } m ^ { \prime } = m m ^ { \prime } m ^ { - 1 }, \end{equation*} | ||

+ | |||

+ | for all $g \in G$ and $m , m ^ { \prime } \in M$, where $( g , m ) \rightarrow \square ^ { g } m$ is the action of $G$ on $M$. | ||

The notion is due to J.H.C. Whitehead [[#References|[a9]]] and plays an important role in the theory of algebraic models of homotopy types of spaces. | The notion is due to J.H.C. Whitehead [[#References|[a9]]] and plays an important role in the theory of algebraic models of homotopy types of spaces. | ||

− | In topology the structure arises from the second relative [[Homotopy group|homotopy group]] and its boundary | + | In topology the structure arises from the second relative [[Homotopy group|homotopy group]] and its boundary $\pi _ { 2 } ( X , A , x ) \rightarrow \pi _ { 1 } ( A , x )$ [[#References|[a5]]], or as $\pi _ { 1 } ( F , e ) \rightarrow \pi _ { 1 } ( E , e )$ for a [[Fibration|fibration]] $F \rightarrow E \rightarrow B$. The second example has been used in relative [[Algebraic K-theory|algebraic $K$-theory]], to give a crossed module $\operatorname { St } ( \Lambda , I ) \rightarrow \operatorname { GL } ( \Lambda , I )$ for an [[Ideal|ideal]] $I$ in a [[Ring|ring]] $\Lambda$. |

− | From the first of these examples, crossed modules can be seen as | + | From the first of these examples, crossed modules can be seen as $2$-dimensional versions of groups, with $P$, $M$ as, respectively, the $1$- and $2$-dimensional parts. This impression is confirmed by the existence of a functorial classifying space functor $B ( \mu )$ of such a crossed module whose homotopy groups are $\text{Coker}( \mu )$, $\operatorname { Ker } ( \mu )$ in dimensions $1$ and $2$ and are otherwise $0$. For any connected pointed [[CW-complex|CW-complex]] $X$ there are a crossed module $\mu$ and a mapping $X \rightarrow B ( \mu )$ inducing an isomorphism in homotopy in dimensions $1$ and $2$. This results from a homotopy classification of mappings $X \rightarrow B ( \mu )$. Thus, crossed modules capture all homotopy $2$-types. These results are special cases of results on crossed complexes (cf. also [[Crossed complex|Crossed complex]]). |

− | It was proved in [[#References|[a2]]] that the homotopy crossed module functor | + | It was proved in [[#References|[a2]]] that the homotopy crossed module functor $\Pi _ { 2 }$ from pointed pairs of spaces to crossed modules satisfies a generalized Van Kampen theorem, in that it preserves certain colimits. This allows for the determination of certain second relative homotopy groups as crossed modules, thus giving non-trivial non-Abelian information and often determining the $2$-type of a space. Some of the explicit calculations are conveniently done by computer [[#References|[a8]]]. |

− | One consequence of the generalized Van Kampen theorem is a result of J.H.C. Whitehead [[#References|[a9]]], giving a certain second relative [[Homotopy group|homotopy group]] as a free crossed module | + | One consequence of the generalized Van Kampen theorem is a result of J.H.C. Whitehead [[#References|[a9]]], giving a certain second relative [[Homotopy group|homotopy group]] as a free crossed module $\partial : C ( w ) \rightarrow P$: this is determined by a function $w : R \rightarrow P$ from a set $R$ to the group $P$ and satisfies a universal property. A common situation is when $P$ is the free group on a set $S$, and $w$ is an inclusion: then the free crossed module is determined by the presentation $\langle S : R \rangle$ of the group $G = \text { Coker } ( \partial )$, and $\operatorname { Ker } ( \partial )$ is known as the $G$-module of identities among relations [[#References|[a4]]], [[#References|[a5]]] for the presentation. This module should be thought of as giving a non-Abelian form of syzygies (cf. also [[Syzygy|Syzygy]]), and as the start of a free crossed resolution of the group $G$. Free crossed modules are also conveniently seen as special cases of crossed modules induced from a crossed module $\nu : N \rightarrow Q$ by a morphism $Q \rightarrow P$ of groups [[#References|[a2]]], [[#References|[a8]]]. |

− | There are a number of other algebraically defined categories equivalent to the category of crossed modules, namely: group objects in groupoids; groupoid objects internal to the category of groups; group objects internal to the category of groupoids; cat | + | There are a number of other algebraically defined categories equivalent to the category of crossed modules, namely: group objects in groupoids; groupoid objects internal to the category of groups; group objects internal to the category of groupoids; cat$\square ^ { 1 }$-groups; simplicial groups whose Moore complex is of length $1$ (cf. also [[Simplicial complex|Simplicial complex]]); and certain kinds of double groupoids. This last fact is crucial in the proof of the generalized Van Kampen theorem in [[#References|[a2]]], which uses a homotopy double groupoid of a pair of spaces. It is important to note that group objects internal to the category of groups are just Abelian groups: thus, the extension to groupoid objects in groups, or groupoid objects in groupoids, opens up the area of higher-dimensional non-Abelian structures for modeling geometry, and this has been exploited by a number of mathematicians. This seems to answer a dream of the topologists of the early part of the 20th century, of finding a higher-dimensional but still non-commutative analogue of the [[Fundamental group|fundamental group]]. |

− | Generalizing the above to the case where | + | Generalizing the above to the case where $P$ is a [[Groupoid|groupoid]] rather than group yields the notion of crossed module of groupoids. This is important for many applications, and is the convenient format also for the generalized Van Kampen theorem. Such crossed modules are equivalent to $2$-groupoids [[#References|[a3]]]. |

The notion of groupoid object internal to the category of groups generalizes to groupoid object in other categories, and in many cases (basically when quotients are determined by kernels) one obtains a corresponding notion of crossed module [[#References|[a7]]]. Such a notion is at the root of the area of non-Abelian homological algebra, see for example [[#References|[a1]]], [[#References|[a6]]]. | The notion of groupoid object internal to the category of groups generalizes to groupoid object in other categories, and in many cases (basically when quotients are determined by kernels) one obtains a corresponding notion of crossed module [[#References|[a7]]]. Such a notion is at the root of the area of non-Abelian homological algebra, see for example [[#References|[a1]]], [[#References|[a6]]]. | ||

− | A crossed module of groupoids | + | A crossed module of groupoids $\mu : M \rightarrow P$ has a classifying space $B ( \mu )$, and this gives a connection with homotopy $2$-types (see [[#References|[a10]]] for details and references). |

====References==== | ====References==== | ||

− | <table>< | + | <table><tr><td valign="top">[a1]</td> <td valign="top"> L. Breen, "Bitorseurs et cohomologie non–Abélienne" P. Cartier (ed.) et al. (ed.) , ''The Grothendieck Festschrift: a Collection of Articles Written in Honour of the 60th Birthday of Alexander Grothendieck'' , '''I''' , Birkhäuser (1990) pp. 401–476 {{MR|1086889}} {{ZBL|0743.14034}} </td></tr><tr><td valign="top">[a2]</td> <td valign="top"> R. Brown, P.J. Higgins, "On the second relative homotopy groups of some related spaces" ''Proc. London Math. Soc.'' , '''36''' : 3 (1978) pp. 193–212 {{MR|478150}} {{ZBL|0405.55015}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> R. Brown, P.J. Higgins, "The equivalence of $\infty$-groupoids and crossed complexes" ''Cah. Topol. Géom. Diff.'' , '''22''' (1981) pp. 371–386 {{MR|639048}} {{ZBL|}} </td></tr><tr><td valign="top">[a4]</td> <td valign="top"> R. Brown, J. Huebschmann, "Identities among relations" R. Brown (ed.) T.L. Thickstun (ed.) , ''Low Dimensional Topology'' , ''London Math. Soc. Lecture Notes'' , '''48''' , Cambridge Univ. Press (1982) pp. 153–202 {{MR|0662431}} {{ZBL|0485.57001}} </td></tr><tr><td valign="top">[a5]</td> <td valign="top"> "Two-dimensional homotopy and combinatorial group theory" C. Hog-Angeloni (ed.) W. Metzler (ed.) A.J. Sieradski (ed.) , ''London Math. Soc. Lecture Notes'' , '''197''' , Cambridge Univ. Press (1993) {{MR|1279174}} {{ZBL|0788.00031}} </td></tr><tr><td valign="top">[a6]</td> <td valign="top"> A.S.-T. Lue, "Cohomology of groups relative to a variety" ''J. Algebra'' , '''69''' (1981) pp. 155–174 {{MR|0613866}} {{ZBL|0468.20044}} </td></tr><tr><td valign="top">[a7]</td> <td valign="top"> T. Porter, "Extensions, crossed modules and internal categories in categories of groups with operators" ''Proc. Edinburgh Math. Soc.'' , '''30''' (1987) pp. 373–381</td></tr><tr><td valign="top">[a8]</td> <td valign="top"> C.D. Wensley, M. Alp, "XMOD: a GAP share package" , Acad. Press Council (1997)</td></tr><tr><td valign="top">[a9]</td> <td valign="top"> J.H.C. Whitehead, "Combinatorial homotopy II" ''Bull. Amer. Math. Soc.'' , '''55''' (1949) pp. 453–496 {{MR|0030760}} {{ZBL|0040.38801}} </td></tr><tr><td valign="top">[a10]</td> <td valign="top"> R. Brown, "Groupoids and crossed objects in algebraic topology" ''Homology, Homotopy and Appl.'' , '''1''' (1999) pp. 1–78 {{MR|1691707}} {{ZBL|0920.55002}} </td></tr></table> |

## Latest revision as of 16:58, 1 July 2020

A morphism $\mu : M \rightarrow P$ of groups together with an action of the group $P$ on the group $M$ satisfying two conditions which makes the structure a common generalization of:

1) a normal subgroup of $P$;

2) a $P$-module (cf. also Module);

3) the inner automorphism mapping $M \rightarrow \operatorname { Aut } ( M )$;

4) an epimorphism $M \rightarrow P$ with central kernel. The two conditions are:

\begin{equation*} \mu ( \square ^ { g } m ) = g \mu ( m ) g ^ { - 1 } , \square ^ { \mu ( m ) } m ^ { \prime } = m m ^ { \prime } m ^ { - 1 }, \end{equation*}

for all $g \in G$ and $m , m ^ { \prime } \in M$, where $( g , m ) \rightarrow \square ^ { g } m$ is the action of $G$ on $M$.

The notion is due to J.H.C. Whitehead [a9] and plays an important role in the theory of algebraic models of homotopy types of spaces.

In topology the structure arises from the second relative homotopy group and its boundary $\pi _ { 2 } ( X , A , x ) \rightarrow \pi _ { 1 } ( A , x )$ [a5], or as $\pi _ { 1 } ( F , e ) \rightarrow \pi _ { 1 } ( E , e )$ for a fibration $F \rightarrow E \rightarrow B$. The second example has been used in relative algebraic $K$-theory, to give a crossed module $\operatorname { St } ( \Lambda , I ) \rightarrow \operatorname { GL } ( \Lambda , I )$ for an ideal $I$ in a ring $\Lambda$.

From the first of these examples, crossed modules can be seen as $2$-dimensional versions of groups, with $P$, $M$ as, respectively, the $1$- and $2$-dimensional parts. This impression is confirmed by the existence of a functorial classifying space functor $B ( \mu )$ of such a crossed module whose homotopy groups are $\text{Coker}( \mu )$, $\operatorname { Ker } ( \mu )$ in dimensions $1$ and $2$ and are otherwise $0$. For any connected pointed CW-complex $X$ there are a crossed module $\mu$ and a mapping $X \rightarrow B ( \mu )$ inducing an isomorphism in homotopy in dimensions $1$ and $2$. This results from a homotopy classification of mappings $X \rightarrow B ( \mu )$. Thus, crossed modules capture all homotopy $2$-types. These results are special cases of results on crossed complexes (cf. also Crossed complex).

It was proved in [a2] that the homotopy crossed module functor $\Pi _ { 2 }$ from pointed pairs of spaces to crossed modules satisfies a generalized Van Kampen theorem, in that it preserves certain colimits. This allows for the determination of certain second relative homotopy groups as crossed modules, thus giving non-trivial non-Abelian information and often determining the $2$-type of a space. Some of the explicit calculations are conveniently done by computer [a8].

One consequence of the generalized Van Kampen theorem is a result of J.H.C. Whitehead [a9], giving a certain second relative homotopy group as a free crossed module $\partial : C ( w ) \rightarrow P$: this is determined by a function $w : R \rightarrow P$ from a set $R$ to the group $P$ and satisfies a universal property. A common situation is when $P$ is the free group on a set $S$, and $w$ is an inclusion: then the free crossed module is determined by the presentation $\langle S : R \rangle$ of the group $G = \text { Coker } ( \partial )$, and $\operatorname { Ker } ( \partial )$ is known as the $G$-module of identities among relations [a4], [a5] for the presentation. This module should be thought of as giving a non-Abelian form of syzygies (cf. also Syzygy), and as the start of a free crossed resolution of the group $G$. Free crossed modules are also conveniently seen as special cases of crossed modules induced from a crossed module $\nu : N \rightarrow Q$ by a morphism $Q \rightarrow P$ of groups [a2], [a8].

There are a number of other algebraically defined categories equivalent to the category of crossed modules, namely: group objects in groupoids; groupoid objects internal to the category of groups; group objects internal to the category of groupoids; cat$\square ^ { 1 }$-groups; simplicial groups whose Moore complex is of length $1$ (cf. also Simplicial complex); and certain kinds of double groupoids. This last fact is crucial in the proof of the generalized Van Kampen theorem in [a2], which uses a homotopy double groupoid of a pair of spaces. It is important to note that group objects internal to the category of groups are just Abelian groups: thus, the extension to groupoid objects in groups, or groupoid objects in groupoids, opens up the area of higher-dimensional non-Abelian structures for modeling geometry, and this has been exploited by a number of mathematicians. This seems to answer a dream of the topologists of the early part of the 20th century, of finding a higher-dimensional but still non-commutative analogue of the fundamental group.

Generalizing the above to the case where $P$ is a groupoid rather than group yields the notion of crossed module of groupoids. This is important for many applications, and is the convenient format also for the generalized Van Kampen theorem. Such crossed modules are equivalent to $2$-groupoids [a3].

The notion of groupoid object internal to the category of groups generalizes to groupoid object in other categories, and in many cases (basically when quotients are determined by kernels) one obtains a corresponding notion of crossed module [a7]. Such a notion is at the root of the area of non-Abelian homological algebra, see for example [a1], [a6].

A crossed module of groupoids $\mu : M \rightarrow P$ has a classifying space $B ( \mu )$, and this gives a connection with homotopy $2$-types (see [a10] for details and references).

#### References

[a1] | L. Breen, "Bitorseurs et cohomologie non–Abélienne" P. Cartier (ed.) et al. (ed.) , The Grothendieck Festschrift: a Collection of Articles Written in Honour of the 60th Birthday of Alexander Grothendieck , I , Birkhäuser (1990) pp. 401–476 MR1086889 Zbl 0743.14034 |

[a2] | R. Brown, P.J. Higgins, "On the second relative homotopy groups of some related spaces" Proc. London Math. Soc. , 36 : 3 (1978) pp. 193–212 MR478150 Zbl 0405.55015 |

[a3] | R. Brown, P.J. Higgins, "The equivalence of $\infty$-groupoids and crossed complexes" Cah. Topol. Géom. Diff. , 22 (1981) pp. 371–386 MR639048 |

[a4] | R. Brown, J. Huebschmann, "Identities among relations" R. Brown (ed.) T.L. Thickstun (ed.) , Low Dimensional Topology , London Math. Soc. Lecture Notes , 48 , Cambridge Univ. Press (1982) pp. 153–202 MR0662431 Zbl 0485.57001 |

[a5] | "Two-dimensional homotopy and combinatorial group theory" C. Hog-Angeloni (ed.) W. Metzler (ed.) A.J. Sieradski (ed.) , London Math. Soc. Lecture Notes , 197 , Cambridge Univ. Press (1993) MR1279174 Zbl 0788.00031 |

[a6] | A.S.-T. Lue, "Cohomology of groups relative to a variety" J. Algebra , 69 (1981) pp. 155–174 MR0613866 Zbl 0468.20044 |

[a7] | T. Porter, "Extensions, crossed modules and internal categories in categories of groups with operators" Proc. Edinburgh Math. Soc. , 30 (1987) pp. 373–381 |

[a8] | C.D. Wensley, M. Alp, "XMOD: a GAP share package" , Acad. Press Council (1997) |

[a9] | J.H.C. Whitehead, "Combinatorial homotopy II" Bull. Amer. Math. Soc. , 55 (1949) pp. 453–496 MR0030760 Zbl 0040.38801 |

[a10] | R. Brown, "Groupoids and crossed objects in algebraic topology" Homology, Homotopy and Appl. , 1 (1999) pp. 1–78 MR1691707 Zbl 0920.55002 |

**How to Cite This Entry:**

Crossed module.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Crossed_module&oldid=16728