nLab Eilenberg-Mac Lane object

Context

$\left(\infty ,1\right)$-Topos Theory

(∞,1)-topos theory

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

The notion of Eilenberg–Mac Lane object in an (∞,1)-topos or stable (∞,1)-category generalizes the notion of Eilenberg–Mac Lane space from the (∞,1)-topos Top of topological spaces or the stable (∞,1)-category of spectra:

it is an object ${B}^{n}A$ obtained from an abelian group object $A$ by delooping that $n$ times.

An object that is both $n$-truncated as well as $n$-connected.

Definition

Definition

Let $H$ be an (∞,1)-topos.

For $n\in ℕ$ an Eilenberg-MacLane object $X$ of degree $n$

• a pointed object $*\to X\in H$

• which is both $n$-connective as well as $n$-truncated.

This appears as HTT, def. 7.2.2.1

Remark

If one drops the condition that $X$ has a global point, then this is the definition of ∞-gerbes.

Properties

The next proposition asserts that Eilenberg-MacLane objects defined this way are shifted (∞,1)-categorical group objects:

Proposition

For $H$ an (∞,1)-topos, ${H}_{*}$ its (∞,1)-category of pointed objects, $\mathrm{Disc}\left(H\right)$ the full sub-(∞,1)-category on discrete objects (0-truncated objects) and $n\in ℕ$, write

${\pi }_{n}:{H}_{*}\to \mathrm{Disc}\left({H}_{*}\right)$\pi_n : \mathbf{H}_* \to Disc(\mathbf{H}_*)

for the (∞,1)-functor that assigns the $n$-th categorical homotopy groups.

• For $n=0$ this establishes an equivalence between the full subcategory on degree 0 Eilenberg-MacLane objects and pointed objects of $\mathrm{Disc}\left(H\right)$; moreover, the restriction ${\pi }_{0}:\mathrm{Disc}\left({H}_{*}\right)\to \mathrm{Disc}\left({H}_{*}\right)$ is equivalent to the identity.

• For $n=1$ this establishes an equivalence between the full subcategory on degree 1 Eilenberg-MacLane objects and the category of group objects in $\mathrm{Disc}\left(H\right)$.

• For $n\ge 2$ this establishes an equivalence between the full subcategory on degree $n$ Eilenberg-MacLane objects and the category of commutative group objects in $\mathrm{Disc}\left(H\right)$.

Proof

This is HTT, prop. 7.2.2.12.

Definition

For $H$ an (∞,1)-topos and $n\in ℕ$ write $K\left(-,n\right)$ for the homotopy inverse to the equivalence induced by ${\pi }_{n}$ by the above proposition. For $A\in \mathrm{Disc}\left(H\right)$ an (abelian) group object we say that

$K\left(A,n\right)\in H$K(A,n) \in \mathbf{H}

is the degree $n$-Eilenberg-MacLane object of $A$.

Proposition

We have that

$K\left(A,n\right)\simeq {B}^{n}A$K(A,n) \simeq \mathbf{B}^n A

is the $n$-fold delooping of the discrete group object $A$.

Proof

check

The categorical homotopy groups are defined in terms of the canonical powering of $H$ over ∞Grpd

$\left(-{\right)}^{\left(-\right)}:\infty \mathrm{Grpd}×H\to H\phantom{\rule{thinmathspace}{0ex}}.$(-)^{(-)} : \infty Grpd \times \mathbf{H} \to \mathbf{H} \,.

For fixed ∞-groupoid $K$ this

$\left(-{\right)}^{K}:H\to H\phantom{\rule{thinmathspace}{0ex}}.$(-)^{K} : \mathbf{H} \to \mathbf{H} \,.

preserves $\left(\infty ,1\right)$-limits and hence pullbacks. It follows that the categorical homotopy groups of the loop space object $\Omega K\left(A,n\right)$ are those of $K\left(A,n\right)$, shifted down by one degree.

By the above proposition on the equivalence between Eilenberg-MacLane objects and group objects, this identifies $\Omega K\left(A,n\right)\simeq K\left(A,n-1\right)$.

Examples

In $\mathrm{Top}$

In the archetypical (∞,1)-topos Top$\simeq$ ∞Grpd the notion of Eilenberg-MacLane object reduces to the traditional notion of Eilenberg-MacLane space.

In $\left(\infty ,1\right)$-sheaf $\left(\infty ,1\right)$-toposes

Recall that an (∞,1)-sheaf/∞-stack (∞,1)-topos $H={\mathrm{Sh}}_{\left(\infty ,1\right)}\left(C\right)$ may be presented by the model structure on simplicial sheaves on $C$.

In terms of this model the Eilenberg-Mac Lane objects $K\left(A,n\right)\in H$ (for abelian $A$) are the Eilenberg-MacLane sheaves of abelian sheaf cohomology theory.

Under the Dold–Kan correspondence

$N:\mathrm{sAb}\stackrel{←}{\to }{\mathrm{Ch}}_{+}:\Gamma$N : sAb \stackrel{\leftarrow}{\to} Ch_+ : \Gamma

chain complexes $A\left[n\right]$ of abelian groups concentrated in degree $n$ map into simplicial sets

$K\left(A,n\right):=\Gamma \left(A\left[n\right]\right)$K(A,n) := \Gamma(A[n])

and these to the corresponding constant simplicial sheaves on the site $C$, that we denote by the same symbol, for convenience.

Under the equivalence

$H={\mathrm{Sh}}_{\left(\infty ,1\right)}\left(C\right)\simeq \left(\mathrm{sSh}\left(C{\right)}_{\mathrm{loc}}{\right)}^{\circ }$\mathbf{H} = Sh_{(\infty,1)}(C) \simeq (sSh(C)_{loc})^\circ

of $H$ with the Kan complex-enriched full subcategory of $\mathrm{sSh}\left(C\right)$ on fibrant cofibrant objects, this identifies the fibrant reeplacement – the ∞-stackification – of $\Gamma \left(A\left[n\right]\right)$ with the Eilenberg-MacLane object in $H$.

Cohomology

The notion of cohomology in the (∞,1)-topos $H$ with coefficients in an object $𝒜\in H$ is often taken to be restricted to the case where $𝒜$ is an Eilenberg-MacLane object.

For $A\in \mathrm{Disc}\left(A\right)$ an abelian group object, and $n\in ℕ$, the degree $n$-cohomology of an object $X\in H$ is the cohomology with coefficients in $K\left(A,n\right)$:

${H}^{n}\left(X,A\right):=H\left(X,K\left(A,n\right)\right):={\pi }_{0}H\left(X,K\left(A,n\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$H^n(X, A) := H(X, K(A,n)) := \pi_0 \mathbf{H}(X, K(A,n)) \,.

References

The general discussion of Eilenberg-MacLane objects is in section 7.2.2 of

For a discussion of Eilenberg-MacLane objects in the context of the model structure on simplicial presheaves see top of page 4 of

• Jardine, Fields Lectures: Simplicial Presheaves (pdf)

Revised on January 16, 2011 08:02:22 by Toby Bartels (173.190.149.57)