This is a continuation of the post Projective Geometric Algebra Done Right from earlier this year. That post introduces the geometric antiproduct and the notation ⟑ and ⟇ used in this post. As before, everything in this post assumes familiarity with Chapter 4 of FGED1.
A large two-page reference poster containing a ton of information related to this post and the previous post is available here.
I have been thinking about the geometric product and geometric antiproduct on a low-priority thread for most of 2020, and I have discovered a number of interesting properties that highlight beautiful symmetries in projective geometric algebra (PGA). This post summarizes a lot of my findings for those who’d like further insight into the pervasive duality that geometric algebra has to offer. There have been arguments that only one product is necessary in geometric algebra, but it’s my intention to demonstrate in part of this post that there exist elegant concepts that are complete only if both products are working together in harmony.
I have been using the symbol E4 to represent the volume element of the 4D exterior algebra, also known as the unit antiscalar. E4 is the wedge product of all the basis vectors e1 ∧ e2 ∧ e3 ∧ e4. I have recently decided that the symbol E4 was inadequately conveying the fact that scalars and antiscalars are two sides of the same coin. I wanted to emphasize that they are equal and opposite within the algebra, with neither one having a place of greater importance, so after much searching and thought, I’ve come to the conclusion that the best symbol for the unit antiscalar is 𝟙, the number one in blackboard bold. I will use the symbol 1, an ordinary bold number one, as the unit scalar. These two symbols balance each other nicely, and both of them will show up throughout this post.
Bulk and Weight
A homogeneous point is represented by the vector p = pxe1 + pye2 + pze3 + pwe4. The w coordinate is sometimes called the weight of the point, and the point is projected into 3D space by scaling so that the w coordinate is one. For a line given by L = vxe41 + vye42 + vze43 + mxe23 + mye31 + mze12, the weight is the magnitude of the direction vector (vx, vy, vz), and the line is projected into 3D space by scaling so that this magnitude is one. For a plane given by f = fxe234 + fye314 + fze124 + fwe321, the weight is the magnitude of the normal vector (fx, fy, fz), and the plane is projected into 3D space by scaling so that this magnitude is one. We use the term unitization to refer to the projection operation that causes the weight of any object to have magnitude one.
In general, the components of an object in the algebra can be separated into those that include the basis vector e4 and those that do not. The parts that do include e4 represent the extent of the object into the fourth dimension, and these components are collectively called the weight of the object. An object is projected into 3D space by normalizing its weight to unit magnitude, and I will have much more to say about this when I discuss norms below. The remaining parts of an object, those that do not include the basis vector e4, are collectively called the bulk of the object.
I will use a solid circle as a subscript to represent the bulk of an object, and I will use an empty circle as a subscript to represent the weight. Then the notation a● means the sum of the components of a that exclude the basis vector e4, and the notation a○ means the sum of the components of a that include the basis vector e4. We will never have a need to use these directly in a calculation, but their complements actually arise in an interesting way when we perform projections, as discussed below.
I’ve always considered it to be somewhat artificial whenever we have to pick off components of some value in order to create another quantity. It generally indicates that something has been overcalculated, and a simpler or more natural operation can be used instead. I was pleasantly surprised to discover that the complements of the bulk and weight can be directly calculated in the algebra with the following formulas:
= ã ⟑ 𝟙 (bulk right complement)
= 1 ⟇ ã (weight right complement)
= a̰ ⟑ 𝟙 (bulk left complement)
= 1 ⟇ a̰ (weight left complement)
These equations possess an elegant symmetry that relates the reverse and antireverse to the right and left complements and makes use of both the geometric product and geometric antiproduct with the multiplicative identity of the other product.
Since the bulk and weight are disjoint, so are their complements, and we can add them to obtain full complements:
= + = ã ⟑ 𝟙 + 1 ⟇ ã (right complement)
= + = a̰ ⟑ 𝟙 + 1 ⟇ a̰ (left complement)
What this really means is that the combination of both the product and antiproduct allows us to calculate a complete dual of any element using only the multiplication and reversion operations of the algebra. This task is impossible in a degenerate algebra when only the geometric product is recognized because it always annihilates components containing e4. The geometric antiproduct is required in order to fill in the other half.
The bulk of an object stores information about its position, encoding the object’s location relative to the origin. The weight of an object stores information about its attitude, encoding the spatial direction that the object faces. The weight is particularly useful in projection calculations because its complement provides directional information in a form that can be conveniently joined with the geometry being projected.
In many algebras, the Euclidean norm of some element a is routinely calculated using the formula ‖a‖ = (a ∙ a*)½, where ∙ is the multiplication in the algebra and * represents some kind of conjugate operation. In the geometric algebra, this becomes ‖a‖ = (a ⟑ ã)½. Because e42 = 0, this formula ends up calculating the magnitude of only the bulk part of a. However, when we recognize that geometric algebra has two products, we can also calculate a different norm using the formula ‖a‖ = (a ⟇ a̰)½, where we are taking the square root with respect to the antiproduct. Whereas the product a ⟑ ã results in a scalar quantity, the antiproduct a ⟇ a̰ results in an antiscalar quantity. (The square root of an antiscalar simply follows the identity (x𝟙)½ = x½𝟙.) This second norm calculates the magnitude of the weight part of a, demonstrating another way in which the product and antiproduct work together to form a whole. The two norms are summarized as follows:
‖a‖● = (a ⟑ ã)½ (bulk norm)
‖a‖○ = (a ⟇ a̰)½ (weight norm)
I’m introducing a new definition for the norm of an element a, with no qualifier, to be the sum of the bulk norm and the weight norm:
‖a‖ = ‖a‖● + ‖a‖○ = (a ⟑ ã)½ + (a ⟇ a̰)½ (total geometric norm)
Unlike conventional norms, this norm is a two-component homogeneous magnitude consisting of a pair of numbers, a scalar and an antiscalar, which we could write as x1 + y𝟙. As with all things homogeneous, we project into 3D space by requiring the weight part (y in this case) to have unit magnitude. Unitizing the norm by taking the quotient of the bulk part and the weight part (technically, division with respect to the antiproduct) produces a concrete Euclidean distance measure. In the case of a point, the unitized norm is the distance from the point to the origin. In the case of a line, the unitized norm is the perpendicular distance from the line to the origin. In the case of a plane, the unitized norm is the perpendicular distance from the plane to the origin.
We can also talk about the norm of a motion operator (motor) Q = rxe41 + rye42 + rze43 + rw𝟙 + uxe23 + uye31 + uze12 + uw. The bulk norm of Q is given by ‖Q‖● = (ux2 + uy2 + uz2 + uw2)½, and although it isn’t even remotely obvious, this is equal to exactly half of the weight-scaled distance that a point at the origin is moved by the motor Q, accounting for both rotation in the plane perpendicular to the axis and translation along the axis. I will show one way to arrive at this fact below.
The weight norm of Q is the magnitude of the four components making up the rotational part of the dual quaternion. As with everything else, it’s these components that include a factor of e4 that we want to unitize in order to project into 3D space. This nicely consistent rule means that purely rotational motors are the unit quaternions that we would expect.
When all we have to worry about is vectors, the formula (a ∙ b̂)b̂ is not too hard to understand as the projection of the vector a onto the vector b, where the notation b̂ means that b has been normalized. It is possible to generalize this formula in geometric algebra for the projection of points, lines, and planes onto other points, lines, and planes, but I find it difficult to form an intuitive understanding of what’s happening when we take the dot product between a point and a line, for example, and then multiply the result by the line again using one of the geometric products. Fortunately, projections can be broken down into simpler operations that make a lot of sense when you understand that a wedge product performs a join operation, and an antiwedge product performs a meet operation.
I’m first going to introduce the interior products because they allow me to express projections in an interesting form, but keep in mind that you ultimately will not need to use them directly if you don’t want to. The right and left interior products are defined as follows:
a ⊢ b = a ∨ b̅ (right interior product)
a ⊣ b = a̲ ∨ b (left interior product)
Up to sign, these produce the same results as what some authors call the right and left contraction products, and both types of products can be used as the basis for defining a dot product. In previous works by other authors, the left interior product has been defined using a̅ instead of a̲, but this introduces an asymmetry that causes some problems. Using the above definitions, a ⊢ a = a ⊣ a = +1 for all basis elements a of all grades, and the following relationship holds independently of the number of dimensions:
a ⊣ b = (−1)gr(a)(gr(a) + gr(b))b ⊢ a
Using the interior products, the general projection of a blade a onto a blade b is given by this peculiar-looking formula:
b̂ ⊢ a ⊣ b̂ (projection of a onto b)
This expression is associative in the sense that it doesn’t matter if we calculate (b̂ ⊢ a) ⊣ b̂ or b̂ ⊢ (a ⊣ b̂) because they both give the same answer. This formula for the projection is non-metric and thus cannot handle positional information. In order to project our points, lines, and planes onto one another, we need to make a small tweak that implicitly accounts for the fact that e42 = 0. This is done by taking only the weight part of b in one of the interior products (and it doesn’t matter which one) as follows:
(b○ ⊢ a) ⊣ b or b ⊢ (a ⊣ b○) (geometric projection of a onto b)
Now, we need to parenthesize so that the product with b○ is done first. Since the projective algebra is homogeneous, that hats on b have also been dropped. When we expand the first of these expressions using the definitions of the right and left interior products, we get this:
(∧ a) ∨ b (geometric projection of a onto b)
In this form, we can derive some geometric intuition about what’s going on. As mentioned above, the expressiontends to extract the attitude of the object b in a perpendicular form while throwing away information about the position. The wedge product joins things together, so the expression ∧ a means “create an object perpendicular to b that contains a.” Taking the antiwedge product of this object with the original b then performs a meet operation that projects a perpendicularly onto b.
In the case that we are projecting a point p onto a plane f, the weight complementgives us the vector fxe1 + fye2 + fze3 corresponding to the plane’s normal direction. The wedge product ∧ p then creates a line passing through p and perpendicular to the plane. Taking the antiwedge product between this line and the plane calculates the meet, essentially moving p along the perpendicular line until it hits the plane.
The case in which we are projecting a point p onto a line L is similar. The weight complementgives us the line at infinity vxe23 + vye31 + vze12 corresponding to all the points at infinity in directions perpendicular to the direction of the original line L. The wedge product ∧ p then creates a plane containing p and perpendicular to the original line. Taking the antiwedge product between this plane and the original line calculates the meet, essentially moving p in the perpendicular plane until it hits the line.
The above projection formulas work when we are projecting an object of lower dimensionality onto an object of equal or higher dimensionality. (When you project onto something of equal dimensionality, you always end up with a scaled version of the point, line, or plane that you’re projecting onto.) Although it takes a little getting used to, we can also go the other way and antiproject an object of higher dimensionality onto an object of lower dimensionality. It sounds a bit weird to say you’re going to do something like project a plane onto a point, but all it really does is move the plane in its normal direction so that it contains the point. This happens in the opposite sense that projecting a point onto a plane moves the point in the normal direction so that it lies in the plane.
The formula for an antiprojection is the same as the formula for a projection, except the interior products are replaced by interior antiproducts. We don’t really need to bother getting into a silly exposition of interior antiproducts because what ends up happening is that the wedge and antiwedge products are simply exchanged as follows:
(∨ a) ∧ b (geometric antiprojection of a onto b)
This formula projects planes onto lines, planes onto points, and lines onto points.
Now for a few notes about the exponential form of a motor Q under the geometric antiproduct ⟇. Suppose that we have a unitized line L and we want to construct the motor that performs a rotation about L through an angle 2𝜃 followed by a translation along L by a distance 2d. Such a motor is given by the exponential of (d + 𝜃𝟙) ⟇ L with respect to the geometric antiproduct, which expands to the following:
Q = e⟇(d + 𝜃𝟙) ⟇ L = cos⟇(d + 𝜃𝟙) + sin⟇(d + 𝜃𝟙) ⟇ L
The subscript ⟇ on the base e, the cosine, and the sine means that the multiplication on which these are based is the antiproduct. If you’d like to work things out with power series, keep in mind that x0 = 𝟙 under the antiproduct ⟇, not 1 as it would be under the product ⟑. We can expand this formula further so it becomes an expression involving ordinary sines and cosines of the angle 𝜃 as follows:
Q = e⟇(d + 𝜃𝟙) ⟇ L = 𝟙 cos 𝜃 − d sin 𝜃 + (d ⟇ L) cos 𝜃 + L sin 𝜃
When we take the weight norm of the right side of this equation, we always get ‖Q‖○ = 𝟙, which is nice because it means that the motor is always unitized. (Remember that the direction part of L has been assumed to be unit length.) When we take the bulk norm, we get the following:
‖Q‖● = (d2 + (mx2 + my2 + mz2) sin2 𝜃)½
The d2 appearing in this equation clearly corresponds to half the distance moved along the line L. For a unitized line, the square of the moment appearing in the equation is the squared perpendicular distance from the line to the origin, but it’s rather oddly multiplied by sin2 𝜃 without any accompanying cosine in sight. Making sense out of this requires a little trig fu:
sin2 𝜃 = ½(1 − cos 2𝜃)
= ¼(2 − 2 cos 2𝜃)
= ¼(sin2 2𝜃 + cos2 2𝜃 + 1 − 2 cos 2𝜃)
= ¼[sin2 2𝜃 + (1 − cos 2𝜃)2]
This last line is the square of precisely half the distance that a point one unit away from the line would move in the plane perpendicular to the line under the rotation through the angle 2𝜃 performed by the motor Q. Multiplying this by the square of the line’s moment tells us how far any point the same distance from the line as the origin moves in the perpendicular plane. Adding the d2 to account for the motion parallel to the line, we conclude that the norm of a motor is equal to exactly half the distance that the origin is moved when we apply the motor Q to it.
Symmetries abound in PGA, and they should be embraced whenever possible. Mathematically, a model in which vectors are planes and we only use the geometric product is absolutely identical to a model in which vectors are points and we only use the geometric antiproduct. Any claim that one of these models is somehow more natural or better in any way from a mathematical perspective of any kind is categorically wrong. That said, it is still valid to argue about which model departs from established conventions the most and whether both the geometric product and geometric antiproduct should be recognized within the algebra. My opinion is that the model in which vectors are points not only sticks to established conventions to a much greater degree but is also more intuitive. Based on what I’ve written above, it should be clear that I think a complete understanding and clean implementation of PGA requires us to welcome both the geometric product and geometric antiproduct and take advantage of the symmetries they provide.
The following table compares a variety of the properties of the two models to help you form your own opinion.
|Direct homogeneous model|
Vectors are points
Both the products ⟑ and ⟇ are available
|Dual homogeneous model|
Vectors are planes
Only the geometric product ⟑ is available
|The grade of a projective k-dimensional object is k + 1.||The grade of a projective k-dimensional object is 3 − k.|
|A point p is a vector pxe1 + pye2 + pze3 + pwe4.||A point p is a trivector pxe234 + pye314 + pze124 + pwe321.|
|A direction v is a vector vxe1 + vye2 + vze3.||A direction v is a trivector vxe234 + vye314 + vze124.|
|A plane f is a trivector fxe234 + fye314 + fze124 + fwe321.||A plane f is a vector fxe1 + fye2 + fze3 + fwe4.|
|The wedge product ∧ performs the join operation.||The wedge product ∧ performs the meet operation.|
|The antiwedge product ∨ performs the meet operation.||The antiwedge product ∨ performs the join operation.|
|The weight of an object is the magnitude of the components that include the projective basis element e4.||The weight of an object is the magnitude of the components that do not include the projective basis element e4.|
|Norms with respect to the geometric product ⟑ correspond to Euclidean distances for points, lines, planes, and motors.||Norms with respect to the geometric product ⟑ correspond to weights.|
|Norms with respect to the geometric antiproduct ⟇ correspond to weights.||The geometric antiproduct is not available, but there is something called an infinity-norm that can only be defined implicitly. It is able to produce Euclidean distances.|
|The dot product between two directions v and w satisfies the formula v ∙ w = ‖v‖ ‖w‖ cos 𝜃.||The dot product between two directions v and w is always 0. Recovering the conventional dot product formula requires an antidot product, which is not available in this model. If it were available, it would produce an antiscalar.|
|The dual of an element a is given by ã ⟑ 𝟙 + 1 ⟇ ã, and the inverse dual is given by a̰ ⟑ 𝟙 + 1 ⟇ a̰ (or vice-versa).||There are no explicit formulas for the dual or inverse dual because both the geometric product and geometric antiproduct are required.|