johncarlosbaez, (edited )
@johncarlosbaez@mathstodon.xyz avatar

There's a dot product and cross product of vectors in 3 dimensions. But there's also a dot product and cross product in 7 dimensions obeying a lot of the same identities! There's nothing really like this in other dimensions.

We can get the dot and cross product in 3 dimensions by taking the imaginary quaternions and defining

v⋅w= -½(vw + wv), v×w = ½(vw - wv)

We can get the dot and cross product in 7 dimensions using the same formulas, but starting with the imaginary octonions.

The following stuff is pretty well-known: the group of linear transformations of ℝ³ preserving the dot and cross product is called the 3d rotation group, SO(3). We say SO(3) has an 'irreducible representation' on ℝ³ because there's no linear subspace of ℝ³ that's mapped to itself by every transformation in SO(3).

Much to my surprise, it seems that SO(3) also has an irreducible representation on ℝ⁷ where every transformation preserves the dot product and cross product in 7 dimensions!

It's not news that SO(3) has an irreducible representation on ℝ⁷. In physics we call ℝ³ the spin-1 representation of SO(3), or at least a real form thereof, while ℝ⁷ is called the spin-3 representation. It's also not news that the spin-3 representation of SO(3) on ℝ⁷ preserves the dot product. But I didn't know it also preserves the cross product on ℝ⁷, which is a much more exotic thing!

In fact I still don't know it for sure. But @pschwahn asked me a question that led me to guess it's true:

https://mathstodon.xyz/@pschwahn/112435119959135052

and I think I almost see a proof, which I outlined after a long conversation on other things.

The octonions keep surprising me.

https://en.wikipedia.org/wiki/Seven-dimensional_cross_product

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • ngwrru68w68
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • megavids
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • provamag3
  • JUstTest
  • All magazines