Not signed in (Sign In)

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

  • Sign in using OpenID

Discussion Tag Cloud

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • 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 GG-equivariant stable homotopy theory it represents a non-torsion element in

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

    for GG a finite and non-cyclic subgroup of SO(3)SO(3), and SO(3)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 4S^4 which is induced by the defining action on 5\mathbb{R}^5 under the identification S 4S( 5)S^4 \simeq S(\mathbb{R}^5);

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

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

    This is almost explicit in Porteous 95, p. 263

    diff, v16, current

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

    added the remark


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

    diff, v17, current

    • 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

    S 3 fib(h ) S 7 h S 4 = = = Spin(4)Spin(3) Spin(5)Spin(3) Spin(5)Spin(4) \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)} }

    diff, v19, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2019
    • (edited Mar 31st 2019)

    added pointer to

    • 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)Spin(5)-equivariance of the quaternionic Hopf fibration

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

    diff, v20, current

    • 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)

    diff, v21, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeAug 22nd 2019
    • (edited Aug 22nd 2019)

    Does the Spin(5)Spin(5)-equivariance of the quaternionic Hopf fibration lift to Pin(5)Pin(5)-equivariance?

    (say for PinPin +Pin \coloneqq Pin^+)

    Theorem 4.1 in Gluck-Warner-Ziller says “No.” if the action on the ambient 8= 2\mathbb{R}^8 = \mathbb{H}^2 is quaternionic linear. But may we drop this assumption?

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 22nd 2019

    What happens to the coset space as you replace Spin by Pin in Spin(5)/Spin(3)S 7Spin(5)/Spin(3) \simeq S^7? The 3- and 4-spheres still work (is that for any version of Pin?).

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 22nd 2019

    Added link to free copy of The geometry of the Hopf fibrations on Ziller’s ResearchGate page.

    diff, v23, current

    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 22nd 2019
    • (edited Aug 22nd 2019)

    @David there’s issues with the number of connected components, if Pin(4)Pin(3)×Pin(3)Pin(4) \simeq Pin(3) \times Pin(3) (analogously to how Spin(4)Spin(3)×Spin(3)Spin(4) \simeq Spin(3)\times Spin(3). I thought this was the case, but I didn’t check the details, so I might be wrong. [Edit In fact this can’t be right, since by how Pin(n)Pin(n) is defined it has two connected components.]

    @Urs the definition of Pin(5) naturally involves some complex vector space underlying the Clifford algebra, IIRC, so my idea was to look at this using that representation.

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 22nd 2019
    • (edited Aug 22nd 2019)

    No, hang on. The Wikipedia page on the PinPin groups says that Pin +(3)=SO(3)×C 4Pin_+(3) = SO(3)\times C_4 and Pin (3)=SU(2)×C 2Pin_-(3) = SU(2)\times C_2. So there’s a convention mismatch, I think, if we want the version of PinPin that contains SpinSpin.

    (Edited earlier incorrect comments, was tired and not quite paying attention)

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 22nd 2019
    • (edited Aug 22nd 2019)

    Spin(3)=SU(2)Spin(3) = SU(2), and according to Wikipedia Pin (3)=SU(2)×C 2Pin_{-}(3) = SU(2) \times C_2, so that works.

    Then it has Pin +(3)Pin_+(3) is isomorphic to SO(3)×C 4SO(3) \times C_4.

    [Didn’t update to see the editing above.]

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 22nd 2019

    From Table 5.1 of Matrix Groups: An Introduction to Lie Group Theory by Baker, for instance, Cl 5=M 4()Cl_5 = M_4(\mathbb{C}), so we should be looking for a (possibly squashed) 7-sphere that is preserved by Pin(5)M 4()Pin(5) \subset M_4(\mathbb{C}).

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 22nd 2019

    Thanks for all the reactions.

    Meanwhile I was trying a different strategy, namely finding any orientation-reversing 2\mathbb{Z}_2-action under which the quaternionic Hopf fibration would be equivariant (a necessary condition for a full Pin(5)Pin(5)-equivariance).

    A trap to beware of here is that the complex Hopf fibration is equivariant with respect to complex conjugation, with the latter being orientation reversing on the codomain 2-sphere. This gives the generator η^π 1,0 st\widehat \eta \in \pi^{st}_{1,0} from Araki-Iriye 82, p. 24.

    This fact might make one feel that the quaternionic Hopf fibration should also be equivariant under quaternionic conjugation, which acts orientation-reversing on the codomain 4-sphere and which would evade the quaternion-linearity assumption in Gluck-Warner-Ziller, Theorem 4.1. But it is not the case: The relevant formula that works for \mathbb{C} relies on commutativity. Fixing the formula for the quaternions requires performing an extra reflection, which makes everything be oriented again.

    Indeed, the only way the quaternionic Hopf fibration appears with non-trivial 2\mathbb{Z}_2-action in Araki-Iriye 82 is with orientation-preserving action (their Prop. 10.1).

    This doesn’t prove that there is no orientation-reversing equivariance, unstably, but it makes me worry.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)