15
$\begingroup$

For $G$ an abelian group, the Eilenberg-Maclane space $K(G, n)$ represents singular cohomology $H^n(-; G)$ with coefficients in $G$ on the homotopy category of CW-complexes. If $n > 1$, then $G$ must be abelian, but for $n = 1$ there are also Eilenberg-Maclane spaces for $G$ nonabelian, so one might imagine that they represent some kind of nonabelian cohomology $H^1(-; G)$. Is this functor known by a better name, and what's known about it? In particular,

  • Does it have an alternate definition along the lines of the usual definition of singular cohomology?
  • Is there a universal coefficient theorem for it?
  • 0
    I figured it out.2011-05-09

1 Answers 1

15

K(G,1) aka BG classifies G-bundles — i.e. G-coverings, if G is discrete. (Details can be found e.g. in May's Concise Course in Algebraic Topology.)

Usual definition of Cech cohomology works for $H^1(X;G)$ even in non-abelian case (but it's just the usual cocycle definition of G-bundle).

As for universal coefficient theorem, even if $H_1(X;\mathbb Z)$ is trivial, $H^1(X;G)$ needn't be; but (if G is discrete) $H^1(X;G)=\operatorname{Hom}(\pi_1(X);G)/\text{conjugation}$ (reference: Hatcher, 1B.9). (But if one wishes to consider BG for general G, things get worse — "$H^1$" is no longer defined by 2-skeleton of X. Perhaps, AHSS from cohomology to K-theory can be viewed as kind of "universal coefficient spectral sequence" for $G=U=\lim U(n)$.)

  • 2
    Also, I googled http://www-math.mit.edu/~mbehrens/18.906/prin.pdf -- which looks good2011-04-30