nLab
2-group

Idea

The notion of 2-group is a vertical categorification of the notion of group.

It is the special case of an n-group for $n=2$, equivalently an ∞-group which is 1-truncated. Under the looping and delooping-equivalence, 2-groups are equivalent to pointed connected homotopy 2-types.

Somewhat more precisely, a $2$-group is a group object in the (2,1)-category of groupoids. Equivalently, it is a monoidal groupoid in which the tensor product with any object has an inverse up to isomorphism. Also equivalently, by the looping and delooping-equivalence, it is a pointed 2-groupoid with a single equivalence class of objects.

Like other notions of higher category theory, $2$-groups come in weak and strict forms, depending on how you interpret the above.

Strict $2$-groups

The earliest version studied is that of strict 2-groups.

A strict $2$-group consists of:

• a collection of group homomorphisms of the form

  $$C_1\stackrel{s,t}{\to }{C}_0\stackrel{i}{\to }{C}_1$$C_1 \stackrel{s,t}{\to} C_0 \stackrel{i}{\to} C_1

  such that the composites $s\cdot i$ and $t\cdot i$ are the identity morphisms on $C_0$, and such that, writing $C_1{\times }_{t,s}{C}_1$ for the pullback,

  $$\begin{array}{ccc}{C}_1{\times }_{t,s}{C}_1& \to & C_1\\ \downarrow & & {\downarrow }^t\\ C_1& \stackrel{s}{\to }& C_0\end{array}$$\array{ C_1 \times_{t,s} C_1 &\to& C_1 \\ \downarrow && \downarrow^{t} \\ C_1 &\stackrel{s}{\to}& C_0 }

  there is, in addition, a homomorphism

  $$C_1{\times }_{t,s}{C}_1\stackrel{\mathrm{comp}}{\to }{C}_1$$C_1 \times_{t,s} C_1 \stackrel{comp}{\to} C_1

  “respecting $s$ and $t$”;

• such that the composition $\mathrm{comp}$ is associative and unital with respect to $i$ “in the obvious way”.

See strict 2-group for further discussion and examples.

Weak $2$-groups

A weak $2$-group, or simply $2$-group, is a (weak) monoidal category such that:

• given any object $x$, there exists an object $x^{-1}$ such that the monoidal products $x\otimes x^{-1}$ and $x^{-1}\otimes x$ are each isomorphic to the monoidal unit $1$.

A coherent $2$-group is a monoidal category equipped with:

• for each object $x$ a specific object $x^{-1}$ and specific isomorphisms from $x\otimes x^{-1}$ and $x^{-1}\otimes x$ to $1$ which form an adjoint equivalence.

A theorem in HDA V (see references) shows that every weak $2$-group may be made coherent. For purposes of internalization, one probably wants to use the coherent version.

Definition

Definition

The (2,1)-category $2\mathrm{Grp}$ of 2-groups is equivalently

• the full sub-(2,1)-category of that of monoidal categories and strong monoidal functors on those that are groupoids and whose tensor product has weak inverses for each object;

• the full sub-(∞,1)-category of that of ∞-groups on the 1-truncated objects;

• the full sub-(∞,1)-category of that of group objects in ∞Grpd on the 1-truncated objects;

• the full sub-(∞,1)-category

  $$\mathrm{\infty }{\mathrm{Grpd}}_{1\le •\le 2}^{*/}\hookrightarrow \mathrm{\infty }{\mathrm{Grpd}}^{*/}$$\infty Grpd_{1 \leq \bullet \leq 2}^{*/} \hookrightarrow \infty Grpd^{*/}

  of ∞Grpd${}^{*/}$ on those objects which are both connected as well as 2-truncated.

Remark

The last equivalent characterization is related to the previous ones by the looping and delooping-equivalence

$$\begin{array}{ccc}\mathrm{Grp}(\mathrm{\infty }\mathrm{Grpd})& \stackrel{\stackrel{\Omega }{\leftarrow }}{\underset{B}{\to }}& \mathrm{\infty }{\mathrm{Grpd}}_{\ge 1}^{*/}\\ {\uparrow }^{\mathrm{full}\mathrm{inc}.}& & {\uparrow }^{\mathrm{full}\mathrm{inc}.}\\ 2\mathrm{Grp}& \stackrel{\stackrel{\Omega }{\leftarrow }}{\underset{B}{\to }}& 2{\mathrm{Grpd}}_{\ge 1}^{*/}\end{array}.$$\array{ Grp(\infty Grpd) &\stackrel{\overset{\Omega}{\leftarrow}}{\underset{\mathbf{B}}{\to}}& \infty Grpd^{*/}_{\geq 1} \\ \uparrow^{\mathrlap{full\;inc.}} && \uparrow^{\mathrlap{full\;inc.}} \\ 2 Grp &\stackrel{\overset{\Omega}{\leftarrow}}{\underset{\mathbf{B}}{\to}}& 2Grpd_{\geq 1}^{*/} } \,.

Here $(-{)}^{*/}$ denotes taking pointed objects, hence the slice under the point, and $(-{)}_{\ge }$ denotes the full full inclusion on connected objects.

By replacing in the last of these equivalent characterizations the ambient (∞,1)-topos ∞Grpd with any other one, to be denoted $H$, obtains notions of 2-groups with extra structure. For instance for $H=$ Smooth∞Grpd the $(\mathrm{\infty },1)$-topos of smooth ∞-groupoids one obtains:

Definition

The (2,1)-category $\mathrm{Smooth}2\mathrm{Grp}$ of smooth 2-groups is

$$\begin{array}{ccc}\mathrm{Grp}(\mathrm{Smooth}\mathrm{\infty }\mathrm{Grpd})& \stackrel{\stackrel{\Omega }{\leftarrow }}{\underset{B}{\to }}& \mathrm{Smooth}\mathrm{\infty }{\mathrm{Grpd}}_{\ge 1}^{*/}\\ {\uparrow }^{\mathrm{full}\mathrm{inc}.}& & {\uparrow }^{\mathrm{full}\mathrm{inc}.}\\ \mathrm{Smooth}2\mathrm{Grp}& \stackrel{\stackrel{\Omega }{\leftarrow }}{\underset{B}{\to }}& \mathrm{Smooth}2{\mathrm{Grpd}}_{\ge 1}^{*/}\end{array}.$$\array{ Grp(Smooth \infty Grpd) &\stackrel{\overset{\Omega}{\leftarrow}}{\underset{\mathbf{B}}{\to}}& Smooth\infty Grpd^{*/}_{\geq 1} \\ \uparrow^{\mathrlap{full\;inc.}} && \uparrow^{\mathrlap{full\;inc.}} \\ Smooth 2 Grp &\stackrel{\overset{\Omega}{\leftarrow}}{\underset{\mathbf{B}}{\to}}& Smooth2Grpd_{\geq 1}^{*/} } \,.

Below in presentation by crossed modules are discussed more explict presentations of $2\mathrm{Grp}$ and $\mathrm{Smooth}2\mathrm{Grpd}$ etc. by explicit algebraic data.

Properties

Presentation by crossed modules

By the discussion there, every ∞-group has a presentation by a simplicial group. More precisely, the (∞,1)-category, $\mathrm{\infty }\mathrm{Grp}$, is presented by the model structure on simplicial groups (for instance under simplicial localization)

$$\mathrm{\infty }\mathrm{Grpd}\simeq L_W{\mathrm{Grp}}^{{\Delta }^{\mathrm{op}}}.$$\infty Grpd \simeq L_W Grp^{\Delta^{op}} \,.

Moreover, if $G\in {\mathrm{Grp}}^{{\Delta }^{\mathrm{op}}}$ is an n-group, then it is equivalent to a n-coskeletal simplicial group. For $n=2$ one finds that these are naturally identified with crossed modules of groups (see there for more details).

In conclusion, this means that

Proposition

The (2,1)-category $2\mathrm{Grp}$ of 2-groups is equivalent to the simplicial localization of the category with weak equivalences whose

• objects are crossed modules

• morphisms are homomorphisms of crossed modules;

• weak equivalences are those morphisms of crossed modules which correspond to weak homotopy equivalences of the corresponding simplicial groups.

A straightforward analysis shows that

Proposition

For $(G_1\stackrel{\delta }{\to }{G}_0,G_0\stackrel{\alpha }{\to }\mathrm{Aut}(G_1))$ a crossed module, the homotopy groups of the corresponding 2-group/simplicial group are

• ${\pi }_0=G_0/\mathrm{im}(\delta )$ (the quotient of $G_0$ by the image of $\delta$, which is necessarily a normal subgroup of $G_0$);

• ${\pi }_1=\ker (\delta )$ (the kernel of $\delta$).

Accordingly, a weak equivalence of crossed modules $f:G\to H$ is a morphism of crossed modules which induces an isomorphism of kernel and cokernel of ${\delta }_G$ with that of ${\delta }_H$.

Similar statements hold for 2-groups with extra structure. For instance the $(2,1)$-category $\mathrm{Smooth}2\mathrm{Grp}$ of smooth 2-groups is equivalent to the simplicial localization of the category whose

• objects are sheaves of crossed modules on CartSp${}_{\mathrm{smooth}}$;

• weak equivalences are those morphisms of sheaves of crossed modules which on every stalk induce weak equivalences of crossed modules as above.

(See the discussion at Smooth∞Grpd for more on this.)

Examples

Specific examples

Picard 2-group

• Picard 2-group

Automorphism 2-groups

For $C$ any 2-category and $c\in C$ any object of it, the category ${\mathrm{Aut}}_C(c)\subset {\mathrm{Hom}}_C(c,c)$ of auto-equivalences of $c$ and invertible 2-morphisms between these is naturally a 2-group, whose group product comes from the horizontal composition in $C$.

If $C$ is a strict 2-category there is the notion of strict automorphism 2-group. See there for more details on that case.

For instance if $C={\mathrm{Grp}}_2\subset \mathrm{Grpd}$ is the 2-category of group obtained by regarding groups as one-object groupoids, then for $H\in \mathrm{Grp}$ a group, its automorphism 2-group obtained this way is the strict 2-group

$$\mathrm{AUT}(H):={\mathrm{Aut}}_{{\mathrm{Grp}}_2}(H)$$AUT(H) := Aut_{Grp_2}(H)

corresponding to the crossed module $(H\stackrel{\mathrm{Ad}}{\to }\mathrm{Aut}(H))$, where $\mathrm{Aut}(H)$ is the ordinary automorphism group of $H$.

Inner automorphism 2-groups

See inner automorphism 2-group.

String 2-group

See string 2-group.

Equivalences of 2-groups

We discuss some weak equivalences in the category with weak equivalences of crossed modules and crossed module homomorphisms, which presents $2\mathrm{Grp}$ by the discussion above.

From inclusions of normal subgroups

Let $G$ be a group and $N\hookrightarrow G$ the inclusion of a normal subgroup. Equipped with the canonical action of $G$ on $N$ by conjugation, this inclusion constitutes a crossed module. There is a canonical morphism of crossed modules from $(N\hookrightarrow G)$ to $(1\to G/N)$, hence to the ordinary quotient group, regarded as a crossed module.

Observation

The morphism $(N\hookrightarrow G)\to G/N$ is a weak equivalence of crossed modules, prop. 1. Accordingly, it presents an equivalence of 2-groups.

Proof

The canonical morphism in question is given by the commuting diagram of groups

$$\begin{array}{ccc}N& \stackrel{f_1}{\to }& 1\\ \downarrow & & \downarrow \\ G& \stackrel{f_0}{\to }& G/N\end{array}.$$\array{ N &\stackrel{f_1}{\to}& 1 \\ \downarrow && \downarrow \\ G &\stackrel{f_0}{\to}& G/N } \,.

By prop. 2 we need to check that this induces an isomorphism on the kernel and cokernel of the vertical morphisms.

The kernel of the left vertical morphism is the trivial group, because $N\hookrightarrow G$ is an inclusion, by definition. Clearly also the kernel of the right vertical morphisms is the trivial group. Hence $f_1$ restricted to the kernels is the unique morphism from the trivial group to itself, hence is an isomrphism.

Moreover, the cokernel of the left vertical morphism is of course the quotient $G/N$ and $f_0$, being the quotient map, is manifestly an isomorphism on cokernels.

This class of weak equivalence plays an important role as constituting 2-anafunctors that exhibit long fiber sequence extensions of short exact sequences of central extensions of groups.

Observation

Let $A\to \hat{G}$ be the inclusion of a central subgroup, exhibiting a central extension $A\to \hat{G}\to G$ with $G:=\hat{G}/A$. Then this short exact sequence of groups extends to a long fiber sequence of 2-groups

$$A\to \hat{G}\to G\to BA\to B\hat{G}\to BG\to B2A,$$A \to \hat G \to G \to \mathbf{B}A \to \mathbf{B}\hat G \to \mathbf{B}G \to \mathbf{B}2 A \,,

where $BA$ denotes the 2-group given by the crossed module $(A\to 1)$, and similarly for the other cases.

Here the connecting homomorphism $G\to BA$ is presented in the category of crossed modules by a zig-zag / anafunctor whose left leg is the above weak equivalence:

$$(1\to G)\stackrel{\simeq }{\leftarrow }(A\to \hat{G})\to (A\to 1).$$(1 \to G) \stackrel{\simeq}{\leftarrow} (A \to \hat G) \to (A \to 1) \,.

Example

For smooth 2-groups, useful examples of the above are smooth refinements of various universal characteristic classes:

• the second Stiefel-Whitney class

  $$w_2:B\mathrm{Spin}\to B{\mathbb{Z}}_2$$w_2 : \mathbf{B}Spin \to \mathbf{B}\mathbb{Z}_2

  is induced this way from the central extension ${\mathbb{Z}}_2\to \mathrm{Spin}\to \mathrm{SO}$ of the special orthogonal group by the spin group;

• the first Chern class

  $$c_1:BU(1)\to B^2\mathbb{Z}$$c_1 : \mathbf{B}U(1) \to \mathbf{B}^2 \mathbb{Z}

  induced from the central extension $\mathbb{Z}\to ℝ\to U(1)$.

Related concepts

• group

• 2-group, crossed module, differential crossed module

  • braided 2-group, symmetric 2-group

  • quantum 2-group

• 3-group, 2-crossed module / crossed square, differential 2-crossed module

• n-group

• ∞-group, simplicial group, crossed complex, hypercrossed complex

References

Exposition and discussion of 2-groups as special monoidal categories is in

• John Baez, Aaron Lauda, HDA V: 2-Groups (arXiv:math.QA/0307200).

Discussion of structured 2-groups (e.g. smooth 2-groups) is in sections 2.6.5 and 3.4.2 of

• Urs Schreiber, differential cohomology in a cohesive topos