The special orthogonal group in dimension 4.
There is a commuting diagram of Lie groups of the form
where
in the top right we have Spin(4),
in the bottom left we have Sp(1).Sp(1)
in the bottom right we have SO(4)
the horizontal morphism assigns the conjugation action of unit quaternions, as indicated,
the right vertical morphism is the defining double cover,
the left vertical morphism is the defining quotient group-projection.
The integral cohomology ring of the classifying space $B SO(4)$ is
where
$p_1$ is the first Pontryagin class
$\chi$ is the Euler class,
$W_3$ is the integral Stiefel-Whitney class.
Notice that the cup product of the Euler class with itself is the second Pontryagin class
which therefore, while present, does not appear as a separate generator.
This is a special case of Brown 82, Theorem 1.5, reviewed for instance as Rudolph-Schmidt 17, Thm. 4.2.23 with Rmk. 4.2.25.
rotation groups in low dimensions:
sp. orth. group | spin group | pin group |
---|---|---|
SO(2) | Spin(2) | Pin(2) |
SO(3) | Spin(3) | |
SO(4) | Spin(4) | |
SO(5) | Spin(5) | |
Spin(6) | ||
Spin(7) | ||
SO(8) | Spin(8) | |
SO(9) | Spin(9) |
see also
See also
On the integral cohomology of the classifying space:
reviewed in
Last revised on April 10, 2019 at 11:55:53. See the history of this page for a list of all contributions to it.