11
$\begingroup$

Assume the first three obstruction classes of a rank 4 vector bundle vanish and look at the fourth obstruction class. This fourth obstruction class can be decomposed as the Euler class and the first Pontryagin class (since $\pi_3(SO_4) \simeq \mathbb{Z} \oplus \mathbb{Z}$). Is there a geometric description of a system of generators in $\pi_3(SO_4)$ which is associated to these classes?

Recall that $SO_4$ is double covered by $SU_2 \times SU_2$ and since $SU_2 \cong S_3$, $π_3(SO_4)=\pi_3(S_3) \oplus \pi_3(S_3)= \mathbb{Z} \oplus \mathbb{Z}$. The question is: how do the Euler and Pontryagin classes relate to this double cover? In other words, what is the system of generator $\langle \alpha, \beta \rangle$ of $\mathbb{Z} \oplus \mathbb{Z}$ so that given an element, if one writes it down as $a\alpha+b\beta$ then $a$ would be associated to the Euler class and $b$ to the Pontryagin class

$\endgroup$

1 Answer 1

15
$\begingroup$

Geometric generators for $\pi_3(SO(4))$ have been identified in §22 of Steenrod's "Topology of fibre bundles", using the identification of $S^3$ as unit quaternions. Conjugation of quaternions induces an element of $\pi_3(SO(4))$ denoted by $\alpha_3$ and left multiplication induces an element denoted by $\beta_3$. These generate $\pi_3(SO(4))\cong\mathbb{Z}\oplus\mathbb{Z}$.

The relation between obstruction classes and characteristic classes is discussed in

  • A. Dold and H. Whitney. Classification of oriented sphere bundles over a 4-complex. Ann. Math. 69 (1959), 667--677.

I think their Theorem 2 states that the part of the obstruction class corresponding to the generator $\beta_3$ is exactly to the Euler class. On the other hand, the Pontryagin class of the bundle is $-4d_1-2d_2$ where $d_1$ is the part of the obstruction class corresponding to $\alpha_3$ and $d_2$ is the part of the obstruction class corresponding to $\beta_3$. Of course, then one can identify an actual element of the homotopy group corresponding to the Pontryagin class, but this will not be a generator of $\pi_3(SO(4))$. Note that, contrary to what is implicitly claimed in the question, the obstruction class doesn't actually decompose as sum of Euler class and Pontryagin class (but this is consistent with the index of the Hurewicz map being 2).

$\endgroup$
1
  • 2
    $\begingroup$ How nice! and thanks for correcting my misunderstanding of the obstruction class... It was based on the idea the values of both the Euler and Pontryagin classes can be identifies with $\mathbb{Z}$ and that there is no other class in this dimension. So I (wrongly, hastily and naively) assumed there could be no other way to express the obstruction class. Should I edit the question? $\endgroup$
    – ARG
    Commented Aug 9, 2018 at 18:37

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .