Skip to main content
2 of 2
added 12 characters in body
Dan Ramras
  • 8.8k
  • 3
  • 47
  • 77

A good place to look for finite toy examples is in the theory of group extensions with non-abelian kernel.

A homomorphism $G \to Out(H)$ is the same as a functor $G \to Ho(Top)$ sending $*$ `to $BH$, where $G$ is viewed as a category with one object $*$ and $G$ as morphisms. By the Dwyer-Kan obstruction theory (noting that the diagram is centric) the obstructions to lifting this to a diagram in Top lies in $H^3(G;Z(H))$.

A closer inspection shows that this obstruction class is the same as the obstruction in $H^3(G;Z(H))$ to constructing an extension

$$1 \to H \to ? \to G \to 1$$

It is possible to calculate this obstruction group in a number of cases:

Eilenberg-MacLane show in the 1947 Annals paper "Cohomology Theory in Abstract Groups II" that given a group $G$ and an abelian group $C$ with an action of $C$, and a class $v$ in $H^3(G;C)$ then there exist a group $H$ with center $C$ and a morphism $G \to Out(H)$ realizing the class $v$. (A special case is proven in MacLane's book Homology, and there is an exposition on some of this in Brown's book on group cohomology.) Note that in this construction $H$ may be infinite even if $G$ and $C$ are not.

It is also possible to give completely finite examples: Given a group H there is a universal obstruction in $H^3(Out(H);Z(H))$ associated to this group, determining whether the extension

$$1 \to H \to ? \to Out(H) \to 1$$

exists. Other obstruction classes will be a pull-back of this one (in particular it has the best chance of being non-zero).

The topological interpretation of this obstruction class is that it is the unique k-invariant of the space $BAut(BH)$, where Aut means the space of self-homotopy equivalences. (Recall that group extensions correspond to fibrations, and fibrations with fiber $F$ are classified by maps into $BAut(F)$, and this is a good way to understand group extensions with non-abelian kernel.)

Now, it is possible to calculate this class explicitly for small groups $H$. It of course vanishes when H is abelian. It also turns out to vanish for $H = D_8$ or $Q_8$, but is actually non-zero for $D_{16}$ and $Q_{16}$.

[As an aside I can say that the H^3 class always vanishes for compact connected Lie groups, which is a theorem of de Siebenthal from the 1950's. Kasper Andersen and I proved that this generalizes to p-compact groups (in a G&T paper from 2008), which was why Kasper and I examined the case where $H$ finite.]

[As a further aside I can say that there are a lot of similar obstruction questions over relatively small categories such as the orbit category and corresponding centric diagrams, which occur in e.g., in the theory of p-compact groups and p-local finite groups, when addressing certain uniqueness questions -- here lucily the obstructions are usually zero, although this is usually not so easy to prove, and in particular don't seem to follow from "formal" arguments.]

Jesper Grodal
  • 2.2k
  • 17
  • 19