The action of the orthogonal group on the sphere is not formal
In this post, I record a simple and probably well-known fact; but since I have to remake the computation again and again (because I forget it...) I thought it would be nice to have it in an accessible place.
The fact is that for an odd , the usual action of the special orthogonal group on the sphere is not formal over ℚ in the sense of rational homotopy theory, even though both spaces are formal. This was first told to me by Thomas Willwacher, and it is mentioned as Remark 9.5 in his paper "Real models for the framed little (n)-disks operads" (arXiv:1705.08108) with Anton Khoroshkin.
Here is a quick proof for that generalizes easily. Suppose that the action map is formal. Then one can find maps that make the following diagram commute:
Let be a generator. By degree reasons, we must have for some constant . This implies that, over , the map factors through the second projection .
We know that and that . Let be a generator and let us show that must generate We also know that induces a principal -bundle :
where is given by for a fixed vector and is the stabilizer of . We thus get a long exact sequence of homotopy groups:
Since , we get that is a generator. This contradicts the fact that factors through the second projection as then would vanish.