Hacker News Reader

Comment by contravariant | Hacker News Reader

I never did quite 'get' geometric algebra. I mean the exterior algebra gives a couple of clear generalisations, and for the ones that require a metric you can typically use the Hodge star to find a generalisation.

Geometric algebra then blends all of this together, and I'm still not entirely convinced that this improves things. Is it actually ever handy to have to deal with mixed degree multivectors?

View on HN

Even without using mixed-degree multivectors, the fact that the existence and the properties of all the different kinds of multivectors results from a small set of simple axioms is very satisfying in itself.

Before all these concepts were unified by geometric algebra, the system of physical quantities as taught in most places was a huge mess of many different kinds of quantities, scalars, polar vectors, axial vectors, pseudoscalars, tensors, pseudotensors, complex numbers, quaternions, spinors and so on.

It was not at all obvious why there are so many kinds of quantities, which are the relationships between them, are there any other kinds of quantities besides those already studied, etc.

Geometric algebra has brought order in this chaos and it has enabled a much deeper and more complete understanding of physics, by reducing a long list of seemingly arbitrary rules to a much smaller set of axioms, and by deriving all the many kinds of physical quantities from the vectors in the strict sense, i.e. from the translations of the space, which are themselves derived from the points of the affine space (as equivalence classes of point pairs).

(Both logically and historically, in physics the vectors are more fundamental than the scalars. The scalars are obtained by dividing collinear vectors, i.e. they are equivalence classes of pairs of collinear vectors. This division operation is a.k.a. measurement and what are now named as "real numbers" were named as "measures" in the past, for more than two millennia. For any Archimedean group it is possible to define a division operation using the Axiom of Archimedes, generating a set of scalars over which the original group is a vector space).

Yeah but like all of that is true about the exterior algebra as well. Except exterior algebra is a bit more explicit about where you use the metric, which is really convenient when the metric starts to become important.

Yes. In physics. E.g. Maxwell's equation reduces to a single equation in geometric Algebra: https://peeterjoot.com/archives/geometric-algebra/maxwells_g...

Clifford (i.e. "geometric") algebras are of some mathematical interest, but for physics the only real value I've seen from them is in offering a fairly nice presentation of spin groups, which is ultimately where the Dirac matrices come from. The geometric algebra advocacy, so far as I can tell, comes entirely from engineers who were never given a proper account of tensors in the first place: it's certainly an improvement over whatever godawful basis-dependent stuff gets taught there.

I'd be interested to know your opinion on space-time algebras. They seem like they would provide a nice way of unifying spatial rotations and Lorentz boosts, but that may be blind optimism as your last sentence seems to have been written to describe me specifically...

Spacetime algebra is just the Clifford algebra Cl_1_3(R), so all of the above applies.

> They seem like they would provide a nice way of unifying spatial rotations and Lorentz boosts

Yes and no: the right way to unify rotations and boosts is to consider them as the orientation-preserving elements of the Lorentz group (sometimes called the proper Lorentz group). You can construct this from the corresponding Clifford algebra, but it's somewhat technical and not physically well-motivated until you start dealing with spinors. It's also the group of symmetries of spacetime that leave the origin unchanged, which is far, far more natural.

I found it a much nicer way to think about physical concepts.

Torque and magnetism, for example, make much more sense as bivectors.

And never having to do the right-hand rule is a nice plus.

I'm not versed at all into the Hodge star operator but it feels like Maxwell's equations expressed in both systems[1] might locate the answer. With Hodge star:

    dF = 0
    d * F = J

Expressed in GA:

    ∇F = J

The eyeball-difference of which (dF = 0) would be your "how GA then blends all of this together", if I understand correctly. I'd guesstimate that dF = 0 to be akin to Gauss' law; and that maybe GA somewhat incorporates that the curl of a gradient is the zero field.

[1] https://en.wikipedia.org/wiki/Mathematical_descriptions_of_t...

These are not quite equivalent, since using the hodge dual explicitly incorporates the geometry of space in a way left implicit by your geometric algebra formulation. The appropriate exterior algebra analogue here is simply `F = dA`. F is the electromagnetic field tensor, d is the exterior derivative, A is the 4-potential.

Reply on news.ycombinator.com