N-group (category theory) explained
N-group (category theory) should not be confused with p-group.
In mathematics, an n-group, or n-dimensional higher group, is a special kind of n-category that generalises the concept of group to higher-dimensional algebra. Here,
may be any
natural number or
infinity. The thesis of
Alexander Grothendieck's student
Hoàng Xuân Sính was an in-depth study of under the moniker 'gr-category'.
The general definition of
-group is a matter of ongoing research. However, it is expected that every
topological space will have a
homotopy at every point, which will encapsulate the
Postnikov tower of the space up to the
homotopy group
, or the entire Postnikov tower for
.
Examples
Eilenberg-Maclane spaces
One of the principal examples of higher groups come from the homotopy types of Eilenberg–MacLane spaces
since they are the fundamental building blocks for constructing higher groups, and homotopy types in general. For instance, every group
can be turned into an Eilenberg-Maclane space
through a simplicial construction,
[1] and it behaves
functorially. This construction gives an equivalence between groups and . Note that some authors write
as
, and for an
abelian group
,
is written as
.
2-groups
See main article: articles, Double groupoid and 2-group.
The definition and many properties of 2-groups are already known. can be described using crossed modules and their classifying spaces. Essentially, these are given by a quadruple
where
are groups with
abelian,
t:\pi1\to\operatorname{Aut}\pi2
a
group homomorphism, and
a
cohomology class. These groups can be encoded as homotopy
with
and
, with the action coming from the action of
on higher homotopy groups, and
coming from the
Postnikov tower since there is a fibration
coming from a map
. Note that this idea can be used to construct other higher groups with group data having trivial middle groups
, where the fibration sequence is now
coming from a map
whose homotopy class is an element of
.
3-groups
Another interesting and accessible class of examples which requires homotopy theoretic methods, not accessible to strict groupoids, comes from looking at homotopy of groups.[2] Essentially, these are given by a triple of groups
with only the first group being non-abelian, and some additional homotopy theoretic data from the Postnikov tower. If we take this as a homotopy
, the existence of universal covers gives us a homotopy type
which fits into a fibration sequence
giving a homotopy
type with
trivial on which
acts on. These can be understood explicitly using the previous model of, shifted up by degree (called delooping). Explicitly,
fits into a Postnikov tower with associated Serre fibration
giving where the
-bundle
comes from a map
, giving a cohomology class in
. Then,
can be reconstructed using a homotopy quotient
.
n-groups
The previous construction gives the general idea of how to consider higher groups in general. For an with groups
with the latter bunch being abelian, we can consider the associated homotopy type
and first consider the universal cover
. Then, this is a space with trivial
, making it easier to construct the rest of the homotopy type using the Postnikov tower. Then, the homotopy quotient
gives a reconstruction of
, showing the data of an is a higher group, or
simple space, with trivial
such that a group
acts on it homotopy theoretically. This observation is reflected in the fact that homotopy types are not realized by
simplicial groups, but
simplicial groupoids
[3] pg 295 since the groupoid structure models the homotopy quotient
.
Going through the construction of a 4-group
is instructive because it gives the general idea for how to construct the groups in general. For simplicity, let's assume
is trivial, so the non-trivial groups are
. This gives a Postnikov tower
where the first non-trivial map
is a fibration with fiber
. Again, this is classified by a cohomology class in
. Now, to construct
from
, there is an associated fibration
given by a homotopy class
. In principle
[4] this cohomology group should be computable using the previous fibration
with the Serre spectral sequence with the correct coefficients, namely
. Doing this recursively, say for a, would require several spectral sequence computations, at worst
many spectral sequence computations for an .
n-groups from sheaf cohomology
with universal cover
, and a
sheaf of abelian groups
on
, for every
there exists
[5] canonical
homomorphisms
X,H0(\tilde{X},\pi*l{F}))\toHn(X,l{F})
giving a technique for relating constructed from a complex manifold
and sheaf cohomology on
. This is particularly applicable for
complex tori.
See also
References
- Web site: On Eilenberg-Maclane Spaces. live. https://web.archive.org/web/20201028001827/http://www.people.fas.harvard.edu/~xiyin/Site/Notes_files/AT.pdf. 28 Oct 2020.
- Conduché. Daniel. 1984-12-01. Modules croisés généralisés de longueur 2. Journal of Pure and Applied Algebra. en. 34. 2. 155–178. 10.1016/0022-4049(84)90034-3. 0022-4049.
- Book: Goerss, Paul Gregory.. Simplicial homotopy theory. 2009. Birkhäuser Verlag. Jardine, J. F., 1951-. 978-3-0346-0189-4. Basel. 534951159.
- Web site: Integral cohomology of finite Postnikov towers. live. https://web.archive.org/web/20200825141534/http://doc.rero.ch/record/482/files/Clement_these.pdf. 25 Aug 2020.
- Book: Birkenhake, Christina. Complex Abelian Varieties. 2004. Springer Berlin Heidelberg. Herbert Lange. 978-3-662-06307-1. Second, augmented. Berlin, Heidelberg. 573–574. 851380558.
- Hoàng Xuân Sính, Gr-catégories, PhD thesis, (1973)
- math/0307200v3. Baez . John C. . Lauda . Aaron D. . Higher-Dimensional Algebra V: 2-Groups . 2003 .
- Roberts . David Michael . Schreiber . Urs . The inner automorphism 3-group of a strict 2-group . Journal of Homotopy and Related Structures . 2008 . 3 . 193–244. 0708.1741.
- Web site: Classification of weak 3-groups . MathOverflow.
- Stacks and the homotopy theory of simplicial sheaves . Homology, Homotopy and Applications . January 2001 . 3 . 2 . 361–384 . Jardine . J. F. . 10.4310/HHA.2001.v3.n2.a5 . 123554728 . free .
Algebraic models for homotopy n-types
- 10.1017/S030500419900393X. Algebraic invariants for homotopy types . 1999 . Blanc . David . Mathematical Proceedings of the Cambridge Philosophical Society . 127 . 3 . 497–523 . math/9812035 . 1999MPCPS.127..497B . 17663055 .
- Arvasi . Z. . Ulualan . E. . On algebraic models for homotopy 3-types . Journal of Homotopy and Related Structures . 2006 . 1 . 1–27 . math/0602180.
- Book: 10.1017/CBO9780511526305.014. Computing homotopy types using crossed n-cubes of groups . Adams Memorial Symposium on Algebraic Topology . 1992 . Brown . Ronald . 187–210 . math/0109091 . 9780521420747 . 2750149 .
- Book: 10.1090/conm/431/08277. Weak units and homotopy 3-types . Categories in Algebra, Geometry and Mathematical Physics . Contemporary Mathematics . 2007 . Joyal . André . Kock . Joachim . 431 . 257–276 . 9780821839706 . 13931985 .
- - musings by Tim porter discussing the pitfalls of modelling homotopy n-types with n-cubes
Cohomology of higher groups
- 10.1073/pnas.32.11.277. Determination of the Second Homology and Cohomology Groups of a Space by Means of Homotopy Invariants . 1946 . Eilenberg . Samuel . MacLane . Saunders . Proceedings of the National Academy of Sciences . 32 . 11 . 277–280 . 16588731 . 1078947 . 1946PNAS...32..277E . free .
- 0911.2861. Thomas . Sebastian . The third cohomology group classifies crossed module extensions . 2009 . math.KT .
- On the second cohomology group of a simplicial group . Homology, Homotopy and Applications . January 2010 . 12 . 2 . 167–210 . Thomas . Sebastian . 10.4310/HHA.2010.v12.n2.a6 . 55449228 . free . 0911.2864 .
- 10.1017/S1474748010000186 . Group cohomology with coefficients in a crossed module . 2011 . Noohi . Behrang . Journal of the Institute of Mathematics of Jussieu . 10 . 2 . 359–404 . 0902.0161 . 7835760 .
Cohomology of higher groups over a site
Note this is (slightly) distinct from the previous section, because it is about taking cohomology over a space
with values in a higher group
, giving higher cohomology groups
. If we are considering
as a homotopy type and assuming the
homotopy hypothesis, then these are the same cohomology groups.
- 1101.2918. Jibladze . Mamuka . Pirashvili . Teimuraz . Cohomology with coefficients in stacks of Picard categories . 2011 . math.AT .
- 1702.02128 . Debremaeker . Raymond . Cohomology with values in a sheaf of crossed groups over a site . 2017 . math.AG .