Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- > That part is fine. But why, then, does multiplying zzˉ give a “magnitude” that works in a reasonable way?
Because the product of all Galois conjugates is a norm and the determinant of the linear operator defined by general field multiplication of a primitive element when viewing the field extension as a vector space of the extension field over the base field.
Although the geometric interpretation of norms in Galois theory really only works for the complex numbers because only the complex numbers are a field. Quaternions are not a field.
by jordigh - The basic issue with geometric algebra is that geometric vectors generally do not have a distinguished notion of unit magnitude (is unit magnitude 1 meter? 1 mile? 1 inch?), so it is silly to work in a framework that requires pretending they do (since the definition of the geometric product of two vectors is dependent upon this choice). Dimensional analysis (a very handy way of tracking mathematical symmetries and thus sanity checking results) goes out the window when working with mixed grade multivectors.
This is not an issue when working with non-mixed-grade multivectors, for which dimensional analysis works just fine in the ordinary way. As the linked article notes, exterior algebra/the wedge product is great. Thinking about exterior powers of vector spaces is great. It's the further move of forcing everything into a Procrustean bed of Clifford algebra that is misguided for almost any application other than some spinor stuff.
by Chinjut - from a theoretical physicist point of view, i find GA don't add much to the standard tooling ppl use, i.e. Lie algebras, Clifford and (sometimes) differential forms. while it's always nice to have a formalism that "hides indices", in most cases (for (super-)gravitation at least) just writing tensor/clifford/lie indices is just much faster and less error prone.
i used to use differential form for gauge theories, einstein-cartan gravitation and ramond-ramond fields.
also, in a paper, we used O(D,D) clifford algebras/spinors to represent differential forms, which worked quite well in our very specific case (appendix A)
https://arxiv.org/pdf/1304.1472
ps: i had colleagues that worked on GA for ML in robotics but wasn't really impressed by what it accomplished
by immmmmm - 100 percent agree with the article. Wedge products are fundamental, GA is weird ideology.
I had the bad fortune of reviewing some GA research articles once upon a time. It was almost embarrassing. Everything of substance had been published in a conceptually cleaner bivector language previously. The only "contribution" was writing everything in terms of weirder, more convoluted concepts that contributed neither technical clarity nor conceptual parsimony.,
by Certhas - I tried to solve some engineering problems with PGA few years ago. Seemed to work OK up to a point, and at least for me was easier to approach than say Lie algebra or differential geometry.
TFA denigrates papers and websites that are "non-theoretical" or "trivial". As a user of the formalisms, these kinds of materials are exactly what I need. I don't care about proofs or theoretically problematic corner cases that "real mathematics" seems to be almost exclusively interested in.
I did hit a wall quite soon with GA, and got a feel that it may indeed be overhyped, but at least the scene seems to be interested about applied use.
There seems to be similar debate about nonstandard calculus. For my modest use it has provided some tools that can give me results that I don't know how to get with epsilon-delta etc. I don't really care if I don't "really understand" it because the underlying proofs need some heavy machinery. I don't understand those for standard calculus either, and in applied use you either manipulate infinitesimals without any proper algebra, or just hope what you need is in some table.
I can't comment on deeper theoretical or philosophical questions about these, and I don't really care about them. But to me maths communication often seems analogous to making people learn turing machines and lambda calculus before they are allowed to program in Javascript.
I don't think the author necessarily disagrees with me much, but this is maybe a kinda mini rant from a perspective of someone who is just an "end user" of mathematics.
by jampekka - This article captures so much of what I have felt but been unable to put into words about GA. I come from a computational physics background, and when translating theory into numerical algorithms, the dimensional analysis and units are very important (you have to be able to relate the simulation to something in the real world!). GA dispenses entirely with any notion of meaningful units, making the dimensional analysis and error checking extremely difficult. The geometric product has always seemed like some strange mathematical trick or coincidence that happens to maybe have some useful properties. Almost like how "new math" is perhaps easier to learn or understand at first, but you really just need to sit down and understand algorithmically what is going on with the basic arithmetic operations.by CyLith
- From a mathematician's point of view, yes, you should write the Maxwell field equations, at least to see it once, that way because you're showing a very low-level symmetry that even the differential forms approach doesn't get all the way to. Differential forms is a standard approach for general relativity, e.g. MTW.
I guess the people pushing this are a little pushy, but this reminds me of the whole pie fight over the Rust community. OK, so they're pushy. Nothing to do with the merits or demerits of the language (or of C for that matter).
If you're a baby duck about linear algebra and geometry, there's no need to care about different formalisms. Do whatever works. But it's interesting to see how all of this stuff comes together at different levels, whether it's the geometric product, differential forms, or just linear algebra.
by jsLavaGoat - Not a fan of the article. It resorts to ad hominem attacks like
> GA had gotten a bad reputation because of its tendency to attract bad mathematicians and full-on crackpots. Hestenes honestly sounds like one a lot of the time, and I’m not really sure whether he is or isn’t. It makes sense, really.
> GA ended up appealing to a lot of fringes: people who only had undergraduate degrees, people who had dropped out of PhDs, people with PhDs from unrigorous programs, people who had been good at math but were perhaps going a bit senile, random passerbies from engineering or computer programming, run-of-the-mill circle-squarers, people who had a bone to pick with establishment mathematics and felt like all dissenting views were being unfairly suppressed
> It didn’t help that a lot of the texts by the actually-competent GA people, like the Cambridge group, tended to say things that sounded and still sound kind of crackpotty as well.
After reading the article, the main "case against geometric algebra" I could find in there was that the author does not like the people using/doing research in geometric algebra, such as the ostensibly failed academics from a Cambridge research group [1] which the article links to.
I was expecting in the "An Actual Case Against GA" section that the author would demonstrate something like "Geometric Product actually does not work if you apply it to xyz domain". Rather, the section just ended up being mostly about the type of bikeshedding you see about naming of variables in programming.
There is I guess merit to the core "there is no good general interpretation or usage for the geometric product or mixed-grade multivectors" thesis of the article but calling other academics crackpots really subtracts from that message.