I’ve dabbled in higher homotopy groups before mostly to define things like higher -theory but have never spent much time getting to know them. I was intrigued when I heard that is naturally an integral representation of via the standard monodromy action. This means that, if you tensor with some field of characteristic zero, you end up with a ‘proper’ representation of the fundamental group, or, equivalently, a local system on . These objects arose quite naturally, so maybe they’re interesting…

I know of no interesting examples. First, higher homotopy groups are often torsion so the tensored representation is frequently going to be zero. Second, in many cases where there are nice descriptions of things like the monodromy action is trivial. This is the case for Lie groups, generalising the fact that is abelian and so the monodromy conjugation action is trivial.

Serre proved in the 1950s that the action of is trivial when is an -space: a topological unital magma (yep, I just wanted to use the word ‘magma’). Here’s my slightly sorrowful note proving Serre’s result (from which one can deduce that is abelian for an -space and so, in particular, the case for Lie groups).

### Like this:

Like Loading...

*Related*