> "linear algebra with a uselessly nonstandard notation"
Let me chime in that as a physicist (who does use the "pseudo" stuff occasionally) I very much share this opinion.
The notation may be really cool and compact, but I just do not see the benefit - for example, d*F = j and dF = 0 is compact enough for me.
It is all fine if people use this language to learn linear algebra or differential geometry. And maybe it has a use for numerics or computer science. But I am quite sure that the geometric algebra formalism will not be widely adopted in physics any time soon. Sorry.
> I strongly believe that if GA would make this distinction they would lose a lot fewer people. It is a completely interesting and useful thing to talk about “a representation of a particular class of operations that makes composition and inversion easy”, and completely offputting when you blur the distinction between operators and geometric objects themselves, and write every operation in terms of the geometric product when only a few of them are really compositions of operators.
I can't tell what "a few of them" refers to. What is this potential distinction between operators and geometric objects? Sounds like the the distinction between a group action and a group object?
I am willing to believe that GA is an unnecessary renaming of other simpler things, and also that it has these kind of culty vibes, but I'm focusing on the claim that (I understood as) "unifying the operators and geometric objects" is a bad feature rather than a good feature.
So, I've amended the article some since posting it because the main objection I got from a few GA enthusiasts was this idea of the GP as being used to compose operators. Which I had barely noticed the importance of because it's so hard to identify in the texts! Although once they mentioned it I began to appreciate that, when the GP works and is useful, this is why. So I changed things to address that point more directly... but I didn't really find the energy to do a perfect job of it (like researching all the examples I would need to make the point more clearly), and it's a bit muddy at the moment. Like at the spot you pointed out. I need to figure out a clearer way to say this stuff...
What I am getting at is that if you go read, say, the Doran/Lasenby book, they start out talking about multivectors for areas and volumes and etc---and they do all this with the GP. Which makes no sense! Ever calculation they do leaves you think "huh?" The GP makes no sense at all if you're talking about units of length, area, volume, etc. Its transformation laws, its composition laws... you end up having to undo it all afterwards with a bunch of janky other operations.
But if you talk about the GP for composing reflections to make rotations, it's fine, that makes sense. I just really want this distinction to be made more clearly. I'm only interested in the GP when it corresponds to an explicit geometric operation. Nobody makes this distinction as clear as I want; I hope to eventually find a really sound version of the argument and then write it out as another article.
Roughly speaking it's equivalent to conflating the sense of a complex number as a vector with a complex number as an operator on vectors. Yes, they're isomorphic, but given a vector in R^2 there's no intrinsic sense in which you should be able to interpret it as also being the operation of multiplying by r e^(iθ) on other vectors. Pretending like they're the same thing is just bewildering: that identification between vectors and operations should be something you have to explicitly construct. For starters, if you change bases for (x,y) the vector should rotate but the rotation operation shouldn't change. That sort of thing. GA is making this same confusion but on a larger scale.
My position is that the geometric product and antiproduct are good for one thing, performing transformations with sandwich products q ⟑ p ⟑ q̃ or q ⟇ p ⟇ q̰ and composing those transformations. Literally everything else (join, meet, contraction, expansion, projection, inner product, norm, ...) can and should be done in the exterior algebra without any geometric products.
agree but I am still trying to grok the divine truth as to why exactly that is. What's up with the sandwich products? Why do they work? I guess it is like a change-of-basis for a matrix (PAP^{-1)) but I still don't quite see why, and why it works as a change-of-basis on multivectors, not just vectors.
Well by "taught in linear algebra" I mean "taught to undergraduates in their first or second year". It is totally bizarre that people learn about determinants, matrix minors, curl, magnetic fields, angular momentum, etc... but not about wedge products, in which all of these things are much easier to understand.
Totally agree! And this is why I sympathize with GA fanatics. Although it might not really make sense to do the rebranding or be maximalist about the geometric product, I do think there is a shared goal of making these things easier to understand.
Ya, as I write in my article, I'm very on board with the "change the curriculum to make more sense" project. I just want to be talking about how to do it in a critical way, rather than just going with the GA way, which requires, in my opinion, a lot of justification that I haven't seen.
Let me chime in that as a physicist (who does use the "pseudo" stuff occasionally) I very much share this opinion.
The notation may be really cool and compact, but I just do not see the benefit - for example, d*F = j and dF = 0 is compact enough for me.
It is all fine if people use this language to learn linear algebra or differential geometry. And maybe it has a use for numerics or computer science. But I am quite sure that the geometric algebra formalism will not be widely adopted in physics any time soon. Sorry.