Welcome to Gaia! ::

The Physics and Mathematics Guild

Back to Guilds

 

Tags: physics, mathematics, science, universe 

Reply Mathematics
Diff geometry question

Quick Reply

Enter both words below, separated by a space:

Can't read the text? Click here

Submit

Swordmaster Dragon

PostPosted: Wed Aug 22, 2007 11:06 am


Hey (anyone who might be able to answer the question),

Have you seen, or do you know of, any proofs why the spheres S1, S3, and S7 are the only parallelizable (sp?) spheres? Or even just proofs that those are parallelizable? I feel like it should somehow be deeply connected to the fact that the only division algebras over the real numbers have degrees 2, 4, and 8, but that's probably more wishful thinking than anything.

On a slightly unrelated note, does anyone know of a really good differential geometry book? Everything I've picked up so far has either been far above or far below my level (or simply not what I was looking for). Oddly enough, the best intro to the subject I've seen has come from the preliminary chapters of Thirring's "Classical Mathematical Physics", which goes over basic definitions of manifolds and tensor analysis. Unfortunately, it's still slightly above my level...

Thanks!
PostPosted: Thu Aug 23, 2007 9:47 pm


Well, the 1-sphere and the 3-sphere are both Lie groups, so they are easily parallelized by taking a basis at the identity and moving that around by actions of the corresponding Lie group.
The 7-sphere isn't a Lie group, but the octonionic structure is what allows for the parallelizability, just as the complex and quaternionic structures on the 1-sphere and the 3-sphere respectively allow them to be Lie groups and thus parallelizable. I'm not quite sure how this works, though, since I can't think of how the parallelization of the 7-sphere wouldn't lead to a Lie group structure of some sort.

The parallelization of an n-sphere conversely gives rise to a division algebra, which would explain why there is the restriction to the 1-, 3-, and 7-spheres.

More details I don't quite know.

There's also this: complicated algebraic geometry/topology proof for why S(4k-1) is not parallelizable for s > 2 I haven't quite gotten through all of it and it requires a lot of reference-checking.

The people to go to for proof are R. Bott, J. Milnor and M. Kervaire, the last of whom is the author of the link I provided above.

Layra-chan
Crew


Swordmaster Dragon

PostPosted: Fri Aug 24, 2007 8:52 am


...? My intuition was right for once?

WTF?



Thanks for the link, though it'll take a while to grok through (and a lot more knowledge than I have now). Especially constructing Lie groups and homotopy groups. Again, related note, any phenomenal books you've seen on the subject?
PostPosted: Fri Aug 24, 2007 12:12 pm


Unfortunately, I don't know of any good books. My differential geometry comes mostly from the lecture notes of the class I took on it, supplemented by random papers and wandering through Wikipedia.

Layra-chan
Crew


grey wanderer

PostPosted: Sat Aug 25, 2007 11:23 am


The proof with which I'm familiar uses K-theory (although the word "familiar" might be misleading as it seems to imply that I actually remember the proof)
Hatcher has an online book about K-theory and vector bundles-- you'll want section 2.3
http://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
You really need to read all the material up to that point if you've not encountered K-theory before, but it's all in there.
Reply
Mathematics

 
Manage Your Items
Other Stuff
Get GCash
Offers
Get Items
More Items
Where Everyone Hangs Out
Other Community Areas
Virtual Spaces
Fun Stuff
Gaia's Games
Mini-Games
Play with GCash
Play with Platinum