Geometric Algebra - beyond vectors
I read a lot. It’s probably my biggest hobby. I like to mix nonfiction and fiction, and I include work-related things that aren’t directly tied to my current teaching or research. This post falls into the last category.
The theme I’ve been riding recently is things that aren’t taught to physicists but maybe should be. These are actual physics topics or physics-tangent topics that I know next to nothing about and didn’t really even hear about until recently. (I also have a list of non-physics things that I think physicists tend to lack, but that’s a rant for another day.) I am a rank novice in the topic below, so please forgive any errors. I’ll post more on these if I gain any shareable insights.
Geometric Algebra
The math we learned as undergraduates to describe the physical world is broken. Since Gibbs introduced vectors in the late 19th century and silenced Hamilton’s quaternions, justly or unjustly, we’ve made them a cornerstone of physics, but they become awkward when we start to talk about rotations or magnetic fields, for example, because we begin trying to paste vectors onto objects that aren’t just “a magnitude plus a direction.” For example, where the heck does the right-hand rule for cross products come from? It’s so bizarre and artificial when you think about it. In the end it traces back to us deciding that x, y, and z should be related to each other in some particular way and we need everything else we do to be consistent with that.
I first saw this a few years ago when my colleague Michael Huster lent me his copy of Alan Macdonald’s Linear and Geometric Algebra1 which gives an introduction to the topic from a math point of view. I admit that my initial take was that geometric algebra was just some book-keeping trick and not really that useful. In my defense, a lot of the research papers on the topic use GA in just that way, as a superficial compactification of notation.
I stumbled back onto the topic during my prep for teaching Electrodynamics last year, and started reading through some of David Hestenes’ papers. I guess what hooked me back in was this nagging feeling that the math we use, particularly vector calculus, is an impediment to understanding the physics that it describes. My students always struggle to apply Maxwell’s Equations to problems and I sympathize with them. I realize that the only reason I can navigate the topic is that I’ve memorized a bunch of tricks and informal rules but that I don’t have truly deep intuition beyond what experience tells me is the right way to solve problems. I think that by better understanding the structure of geometry (whether or not geometric algebra is the right tool for that), I might gain some insight into how the universe is constructed.
The book Geometric Algebra for Physicists by Chris Doran and Anthony Lasenby 2 is a good overview written from a physics perspective. It seems like Electrodynamics is one of the topics where this has the biggest impact. For example, all of Maxwell’s Equations can be reduced to a single equation in this system. Special relativity and rigid body dynamics are also especially nice. They even spend time discussing quantum mechanics in this context, although I’m more skeptical of that one.
What’s the basic idea?
Geometric Algebra comes from W. K. Clifford’s work in the late 1890’s to build up higher dimensional objects from products of vectors without throwing away information. What I mean by this is that the two vector products that we learn, the dot product and the cross product, both throw something away – in some ways they complement each other. Clifford combined the two into a “geometric product” to build areas and volumes out of vectors in a seemless way. The underlying philosophy of Geometric Algebra is right there in the name: geometry and algebra should be intimately related. Hestenes has done a ton of advocacy for this idea, particularly for physics. Another key constituency are computer scientists who have embraced GA as the way to put geometry into code.
The key ingredient is the “geometric product” of two vectors. It is defined (using notation familiar to physics students) as:
\[ = + i , \]
where the dot is the usual vector dot product, \( \) is the vector cross product, and i behaves like imaginary i in that \( i^2 = -1 \), but is really a geometric object called the “unit pseudoscalar” related to the 3d volume element. (I’m nerfing things a bit. The better definition has as the last term \( \), but most students haven’t seen the wedge product \( \) before.) Note that the resulting object breaks an old rule that’s drilled into us from traditional vector algebra: it’s a scalar plus a vector. In our old way of thinking you can’t do that – add scalars to vectors – but doing away with that rule has a lot of implications. With these new rules GA ends up subsuming a lot of higher math beyond vectors: quaternions, differential forms, matrices, etc. I won’t say more here, but if you’re interested check it out yourself!
My hot take
So, here’s what bugs me about all of this. All of this stuff is old news to mathematicians. It just hasn’t trickled down from the etherial heights of pure rational thought to us ground dwellers on the material plane. I bailed on the pure math classes as an undergrad (a bad “Intro to proofs” professor ruined it for me), so I can only blame myself that I can’t parse the jargon and writing style of math literature, but I wish there were more accessible resources for learning higher math. These books are a small crack in the wall to help me think about these things.
Oh, and I now think conformal geometry is cool and can probably solve some nagging questions that have been in my head for a while about the shape of gaussian laser beams. If I figure it out, I’ll be sure to pass it on.