Hacker News Reader

Comment by BlackFly | Hacker News Reader

If you are working in ordinary Euclidean space with orthonormal bases, it doesn't do much for you. When you start doing calculus on embedded surfaces (the beginning of differential manifolds) it begins to be more helpful. Since Lie algebras are special types of differential manifolds, you can learn quite a bit by studying the geometry and this quickly leads into gauge theory and modern physics. The Geometry of Physics: An Introduction, by Theodore Frankel does a good job illustrating a lot of aspects of geometry even offering some geometric insight into some classical physics.

It is an absolute necessity for general relativity.

View on HN

That books seems very interesting, but is it really about Geometric Algebra? I'm not talking about geometry in general, or differential geometry, which I'm a bit familiar with. And not Algebraic Geometry either, for that matter, which is also a fascinating subject.

I mean specifically Geometric Algebra.

It sort of seems like a notation, but it has almost a cult like following and perhaps it's more than a notation, is it a theory, a branch of mathematics?

There is Geometric Algebra for Physicists by Doran and Lasenby (2003). It recasts mechanics, E&M up to gauge theories and GR into geometric algebra. I stalled out at mechanics but I've now taken it off the Tsundoku pile and may give it another chance.

Thanks for the tip!

It really is useful even at the advanced level. Following it far enough leads to the Atiyah-Singer Index Theorem and Hodge Theory. The advantage over the exterior algebra is that you have that and an interior algebra, which leads to many formulas in differential geometry becoming very natural (like Cartan's magic formula).

Is there some canonical metric on Lie algebras that makes this possible? Otherwise geometric algebra won't get you far.

Every Lie algebra is a bivector algebra (see 'Lie groups as Spin groups' http://geocalc.clas.asu.edu/pdf/LGasSG.pdf).

Additionally the GA formalism enables closed form solutions for the exponential map for all bivector algebras. (see 'Graded symmetry Groups' https://www.researchgate.net/publication/353116859_Graded_Sy...).

Reply on news.ycombinator.com