nForum - Discussion Feed (Spin(9)/Spin(7) is the 15-sphere)2024-03-29T14:33:11+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
David_Corfield comments on "Spin(9)/Spin(7) is the 15-sphere" (77569)https://nforum.ncatlab.org/discussion/9845/?Focus=77569#Comment_775692019-04-25T14:32:55+00:002024-03-29T14:33:11+00:00David_Corfieldhttps://nforum.ncatlab.org/account/20/
Added the reference from octonionic Hopf fibration.
v1, current
]]>
David_Corfield comments on "Spin(9)/Spin(7) is the 15-sphere" (77567)https://nforum.ncatlab.org/discussion/9845/?Focus=77567#Comment_775672019-04-25T14:26:12+00:002024-03-29T14:33:11+00:00David_Corfieldhttps://nforum.ncatlab.org/account/20/
Started this page. Needs a reference to a proof.
v1, current