G2 shall be my favorite group! Well, for now. For a while. Or maybe for longer. It's the smallest of the exceptional Lie groups. Found 1893 by Élie Cartan. It was he who suggested to think about it in terms of rolling balls.

https://en.wikipedia.org/wiki/G2_%28mathematics%29

Picture two spheres, one three times larger than the other. Imagine them rolling on another without slipping nor twisting. Rolling surfaces have their own branch of mathematics: contact geometry!

If earth had exactly 365 noons a year, how much would it have turned with respect to the stars? Earth's own rotation is in the same direction as it's turning around the sun. Most of the solar system is prograde like that: everything rotates forwards.

In that case, and also in fact, noons add up with the full rotation around the sun. So the 'sidereal year' has one extra rise of your zodiac or your favorite star.

That extra turn is just what we need for our pair of spheres. The small ball will, as you may have guessed, unwind itself three times onto the large one, while turning four times around itself!

Well okay, we only have a projective sphere, whqich can only accomodate half a revolution, yielding two turns of the little ball. We need two because the little ball is 'spinorial'.

https://en.wikipedia.org/wiki/Spinor

A spinor is like an electron! If you turn an electron by 360° it's orientation somehow becomes negative. Only when you turn it another full round its orientation returns to the starting position.

Attach a ribbon to your electron, and to the ground. As a reminder of the EM field that connects the electron to the universe. Turn it once, and you get a twist. Twice and... well, did you know: you can undo a doubly twisted ribbon by itself!

Spinors are double covers for rotation groups. Double covering sounds like it would become more complicated. But on the contrary, it really makes things simpler: Take SO(3): the space of rotations in 3-space! Pick an axis of a sphere: a pair of antipodal points. We can then rotate around that axis. The result is a closed 3-space.

https://en.wikipedia.org/wiki/3D_rotation_group

It looks like a ball where, if you try to leave through the wall, you reappear on the opposite side, turned upside down! Not mirrored, turned.

Picking a pair of antipodal points alone leads to a projective plane RP(2). As flipping the axis can be compensated by rotating in the opposite direction.

When you fibrate SO(3) with RP² as base space like this, you get full 360° circles as fibers. Think of them as the diameters of the ball.

https://en.wikipedia.org/wiki/Fibration

https://en.wikipedia.org/wiki/Fiber_bundle

Now let's double cover that beast:

Take another copy of SO(3) also looking like the inside of a ball, and glue that onto our original along their spherical boundaries. Leaving a ball turns you over, but reentering turns you upright again!

No matter how you cross Spin(3) you never get back to your starting point turned upside down. The twist is gone! This pair of hemiballs is called 3-sphere or S³. Psst, this object actually lives in #4d! Now you know a bit more about how that works!

I'm indebted to @johncarlosbaez for his talk about the relation of G2 to the octonions, from which I learned all I know about G2. Find out more here:

http://math.ucr.edu/home/baez/ball/index.html

Thanks, John!

Refurio Anachro@RefurioAnachro@mastodon.cloudWell, not quite: for one, we only want half of the big sphere. If the small one rolls off the rim, it magically reappears on the opposite side. That's a projective plane!

https://en.wikipedia.org/wiki/Real_projective_plane

https://en.wikipedia.org/wiki/Projective_plane

The figure you get when you sew opposite points of the boundary of a hemisphere together is called a cross cap. Before you try that at home: it can't be embedded in 3-space without self-intersection.

https://en.wikipedia.org/wiki/Cross-cap