Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The notion of 2-group is a vertical categorification of the notion of group.
It is the special case of an n-group for , 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 -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, -groups come in weak and strict forms, depending on how you interpret the above.
The earliest version studied is that of strict 2-groups.
A strict -group consists of:
a collection of group homomorphisms of the form
such that the composites and are the identity morphisms on , and such that, writing for the pullback,
there is, in addition, a homomorphism
“respecting and ”;
such that the composition is associative and unital with respect to “in the obvious way”.
See strict 2-group for further discussion and examples.
A weak -group, or simply -group, is a (weak) monoidal category where every morphism is invertible and such that:
A coherent -group is a monoidal category where every morphism is invertible and equipped with:
A theorem in HDA V (see references) shows that every weak -group may be made coherent. For purposes of internalization, one probably wants to use the coherent version.
The (2,1)-category 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;
of ∞Grpd on those objects which are both connected as well as 2-truncated.
The last equivalent characterization is related to the previous ones by the looping and delooping-equivalence
Here denotes taking pointed objects, hence the slice under the point, and 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 , obtains notions of 2-groups with extra structure. For instance for Smooth∞Grpd the -topos of smooth ∞-groupoids one obtains:
The (2,1)-category of smooth 2-groups is
Below in presentation by crossed modules are discussed more explict presentations of and etc. by explicit algebraic data.
By the discussion there, every ∞-group has a presentation by a simplicial group. More precisely, the (∞,1)-category, , is presented by the model structure on simplicial groups (for instance under simplicial localization)
Moreover, if is an n-group, then it is equivalent to a n-coskeletal simplicial group. For one finds that these are naturally identified with crossed modules of groups (see there for more details).
In conclusion, this means that
The (2,1)-category 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
For a crossed module, the homotopy groups of the corresponding 2-group/simplicial group are
(the quotient of by the image of , which is necessarily a normal subgroup of );
(the kernel of ).
Accordingly, a weak equivalence of crossed modules is a morphism of crossed modules which induces an isomorphism of kernel and cokernel of with that of .
Similar statements hold for 2-groups with extra structure. For instance the -category of smooth 2-groups is equivalent to the simplicial localization of the category whose
objects are sheaves of crossed modules on CartSp;
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.)
For any 2-category and any object of it, the category of auto-equivalences of and invertible 2-morphisms between these is naturally a 2-group, whose group product comes from the horizontal composition in .
If 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 is the 2-category of group obtained by regarding groups as one-object groupoids, then for a group, its automorphism 2-group obtained this way is the strict 2-group
corresponding to the crossed module , where is the ordinary automorphism group of .
See inner automorphism 2-group.
See string 2-group.
See Platonic 2-group
We discuss some weak equivalences in the category with weak equivalences of crossed modules and crossed module homomorphisms, which presents by the discussion above.
Let be a group and the inclusion of a normal subgroup. Equipped with the canonical action of on by conjugation, this inclusion constitutes a crossed module. There is a canonical morphism of crossed modules from to , hence to the ordinary quotient group, regarded as a crossed module.
The morphism is a weak equivalence of crossed modules, prop. . Accordingly, it presents an equivalence of 2-groups.
The canonical morphism in question is given by the commuting diagram of groups
By prop. 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 is an inclusion, by definition. Clearly also the kernel of the right vertical morphisms is the trivial group. Hence 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 and , 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.
Let be the inclusion of a central subgroup, exhibiting a central extension with . Then this short exact sequence of groups extends to a long fiber sequence of 2-groups
where denotes the 2-group given by the crossed module , and similarly for the other cases.
Here the connecting homomorphism is presented in the category of crossed modules by a zig-zag / anafunctor whose left leg is the above weak equivalence:
For smooth 2-groups, useful examples of the above are smooth refinements of various universal characteristic classes:
the second Stiefel-Whitney class
is induced this way from the central extension of the special orthogonal group by the spin group;
the first Chern class
induced from the central extension .
homotopy level | n-truncation | homotopy theory | higher category theory | higher topos theory | homotopy type theory |
---|---|---|---|---|---|
h-level 0 | (-2)-truncated | contractible space | (-2)-groupoid | true/unit type/contractible type | |
h-level 1 | (-1)-truncated | contractible-if-inhabited | (-1)-groupoid/truth value | (0,1)-sheaf/ideal | mere proposition/h-proposition |
h-level 2 | 0-truncated | homotopy 0-type | 0-groupoid/set | sheaf | h-set |
h-level 3 | 1-truncated | homotopy 1-type | 1-groupoid/groupoid | (2,1)-sheaf/stack | h-groupoid |
h-level 4 | 2-truncated | homotopy 2-type | 2-groupoid | (3,1)-sheaf/2-stack | h-2-groupoid |
h-level 5 | 3-truncated | homotopy 3-type | 3-groupoid | (4,1)-sheaf/3-stack | h-3-groupoid |
h-level | -truncated | homotopy n-type | n-groupoid | (n+1,1)-sheaf/n-stack | h--groupoid |
h-level | untruncated | homotopy type | ∞-groupoid | (∞,1)-sheaf/∞-stack | h--groupoid |
The notion of 2-groups first appears in
Alexandru Solian, Groupe dans une catégorie, C. R. Acad. Sc. Paris 275 (1972) [ark:/12148/bpt6k57310477/f7]
Alexandru Solian, Coherence in categorical groups, Communications in Algebra 9 10 (1980) 1039-1057 [doi:10.1080/00927878108822631]
and in
Sinh (1973) was supervised by Alexander Grothendieck and showed that 2-groups are classified, up to equivalence, by quadruples consisting of:
She later published two papers on the subject:
Hoàng Xuân Sính, Gr-catégories strictes, Acta Mathematica Vietnamica 3 2 (1978) 47-59 [web, pdf]
Hoàng Xuân Sính, Catégories de Picard restreintes, Acta Mathematica Vietnamica 7 1 (1983) 117-122 [pdf, web]
Sinh 1978 appears to prove that every 2-group is equivalent to a strict 2-group arising from a crossed module. The second calls a symmetric 2-group (i.e. a symmetric monoidal category with all objects and morphisms invertible) a Picard category, and calls a Picard category restrained if the braiding is the identity for all objects . The article then proves that every Picard category is equivalent to one arising from a 2-term chain complex of abelian groups.
Computational enumeration of geometrically discrete 2-groups using the computer program XMod:
Murat Alp, Christopher Wensley, Enumeration of -groups of low order, Int. J. Algebra Comput. 10, 407 (2000) [doi:10.1142/S0218196700000170]
Graham Ellis, Luyen Van Le, Homotopy 2-types of Low order, Experimental Mathematics 23 4 (2014) [doi:10.1080/10586458.2014.912059, pdf]
An early textbook account on strict 2-groups and explaining the relation to crossed modules:
Exposition of general 2-groups as monoidal categories with all objects and morphisms invertible (sometimes called Picard 2-groups):
Beware that most of the above discussion is about geometrically discrete 2-groups.
Discussion of geometrically structured 2-groups (notably smooth 2-groups, hence “Lie 2-groups”):
and via group stacks:
For more on this see the references at string 2-group.
A key example due to its universality for higher central extensions of compact Lie groups by the circle 2-group to smooth 2-groups is
Further on 2-group-extensions by the circle 2-group:
of tori (see also at T-duality 2-group):
of finite subgroups of SU(2) (to Platonic 2-groups):
Arguments that 2-groups play a role in symmetry protected topological phases of matter:
Anton Kapustin, Ryan Thorngren, Higher symmetry and gapped phases of gauge theories, in Algebra, Geometry, and Physics in the 21st Century, Progress in Mathematics, 324 (2017) 177-202 [arXiv:1309.4721, doi:10.1007/978-3-319-59939-7_5]
Maissam Barkeshli, Parsa Bonderson, Meng Cheng, Zhenghan Wang, Symmetry Fractionalization, Defects, and Gauging of Topological Phases, Phys. Rev. B 100 115147 (2019) [arXiv:1410.4540, doi:10.1103/PhysRevB.100.115147, talk pdf]
In this vein, 2-groups are now discussed by a vocal group of physicists under the term “generalized symmetries” or similar.
Last revised on March 30, 2024 at 10:24:27. See the history of this page for a list of all contributions to it.