5

Let $Gr_n=BO(n)$ be the real infinite grassmanian. I want to know wether $\pi_1(Gr_n)=\mathbb{Z}/2$ acts nontrivially on the higher homotopy groups of $Gr_n$. It is known that the action can be computed by inspection of the action of $O(n)$ on $\pi_*(O(n),\text{id})$ by conjugation. But I don't know whether that helps. The case $n=1$ is clear since the universal cover of $Gr_1=\mathbb{R}P^\infty$, which is given by $S^\infty$, is contractible. I want to know this to see whether $\pi_{m+1}(Gr_n,*)=\pi_m(O(n),\text{id})$ computes the isomorphism classes of $n$-dimensional vector bundles on $S^{m+1}$.

Can the question be rephrased as: Does flipping the orientation of an oriented vector bundle on $S^m$ change the oriented isomorphism type of the oriented vector bundle? Note that $\pi_{m}(Gr_n, *)=\pi_m(\tilde{Gr}_n, *)=[S^m, \tilde{Gr}_n]$ classifies orientable vector bundles on $S^m$. Does the deck transformation group act by flipping the orientation of the vector bundle here?

Fabio Neugebauer
  • 575
  • 3
  • 11
  • 2
    Yes, if you identify $\pi_m(\mathrm{Gr}_n,\ast)$ as classifying the isomorphism classes of orientable vector bundles on $S^m$ in the canonical fashion, the action of $\pi_1(\mathrm{Gr}_n,\ast)=\mathbb{Z}/2\mathbb{Z}$ corresponds to the involution that reverses orientation. For even $n$, the oriented diffeomorphism types of the tangent bundle $TS^n$ and the tangent bundle with orientation reversed $\overline{TS^n}$ can be distinguished by their Euler class, so $\mathrm{Gr}_n$ is not simple in these cases. I lack the clarity to see the odd-dimensional case right now. – Thorgott Jan 29 '24 at 23:20

0 Answers0