# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 25th 2015
• (edited Nov 25th 2015)

I have created an entry on the quaternionic Hopf fibration and then I have tried to spell out the argument, suggested to me by Charles Rezk on MO, that in $G$-equivariant stable homotopy theory it represents a non-torsion element in

$[\Sigma^\infty_G S^7 , \Sigma^\infty_G S^4]_G \simeq \mathbb{Z} \oplus \cdots$

for $G$ a finite and non-cyclic subgroup of $SO(3)$, and $SO(3)$ acting on the quaternionic Hopf fibration via automorphisms of the quaternions.

I have tried to make a rigorous and self-contained argument here by appeal to Greenlees-May decomposition and to tom Dieck splitting. But check.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeMar 10th 2019
• (edited Mar 10th 2019)

added the following fact, which I didn’t find so easy to see:

Consider

1. the Spin(5)-action on the 4-sphere $S^4$ which is induced by the defining action on $\mathbb{R}^5$ under the identification $S^4 \simeq S(\mathbb{R}^5)$;

2. the Spin(5)-action on the 7-sphere $S^7$ which is induced under the exceptional isomorphism $Spin(5) \simeq Sp(2) = U(2,\mathbb{H})$ by the canonical left action of $U(2,\mathbb{H})$ on $\mathbb{H}^2$ via $S^7 \simeq S(\mathbb{H}^2)$.

Then the complex Hopf fibration $S^7 \overset{h_{\mathbb{H}}}{\longrightarrow} S^4$ is equivariant with respect to these actions.

This is almost explicit in Porteous 95, p. 263

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeMar 22nd 2019
• (edited Mar 22nd 2019)

Of the resulting action of Sp(2)$\times$Sp(1) on the 7-sphere (from this Prop.), only the quotient group Sp(n).Sp(1) acts effectively.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeMar 31st 2019

added pointer to Table 1 in

• Machiko Hatsuda, Shinya Tomizawa, Coset for Hopf fibration and Squashing, Class.Quant.Grav.26:225007, 2009 (arXiv:0906.1025)

for the coset presentation

$\array{ S^3 &\overset{fib(h_{\mathbb{H}})}{\longrightarrow}& S^{7} &\overset{h_{\mathbb{H}}}{\longrightarrow}& S^4 \\ = && = && = \\ \frac{Spin(4)}{Spin(3)} &\longrightarrow& \frac{Spin(5)}{Spin(3)} &\longrightarrow& \frac{Spin(5)}{Spin(4)} }$
• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeMar 31st 2019
• (edited Mar 31st 2019)

• Herman Gluck, Frank Warner, Wolfgang Ziller, The geometry of the Hopf fibrations, L’Enseignement Mathématique, t.32 (1986), p. 173-198

which in its Prop. 4.1 explicitly states and proves the $Spin(5)$-equivariance of the quaternionic Hopf fibration

(but fails to mention the coset representation that makes this manifest)

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeApr 27th 2019
• (edited Apr 27th 2019)

added this in the list of references:

Noteworthy fiber products with the quaternionic Hopf fibration, notably exotic 7-spheres, are discussed in

• Llohann D. Sperança, Explicit Constructions over the Exotic 8-sphere (pdf)