Conventions

As GA is still in evolution, people around the world hasn’t settled down to a common way of indicating elements and operations. Here are the ones that we believe are the most common and least likely to cause confusion.

SymbolMeaning
e_1, e_2 ... e_korthonormal basis vectors
\pmb{v}, \pmb{w} ...vector (bold lowercase letter)
B, D ...bivector
Iunit pseudoscalar
M^{-1}inverse of a multivector M (in euclidean space M^{-1} = M^\dagger)
M^\daggerconjugate (reverse) of a multivector M; it is also indicated with tilde above \widetilde{M}, especially in spacetime algebra
M^*dual of a multivector, i.e. its representation in the orthogonal complement
R = e^{-B\frac{\theta}{2}}rotor of amplitude \theta on B plane (bivector) coherent with the orientation of B
R = e^{-i\pmb{n}\frac{\theta}{2}}rotor of amplitude \theta around the \pmb{n} axis (3D only)
M \mapsto RMR^{-1}generalized rotation of multivector M by the rotor R

The dual of a multivector AA is defined by multiplying it by the pseudoscalar II. But “multiplying by II” hides three ambiguities, and for this reason a convention must be fixed:

  1. On the right or on the left? AIAI or IAIA. In 3D the pseudoscalar commutes with everything, so AI=IAAI = IA and this choice does not change the sign. But in 2D and in even dimensions II anticommutes with vectors, so vI=IvvI = -Iv: there, the right/left choice changes the sign. This is the first source of ambiguity.
  2. I or I1AI^{-1}? Some authors define the dual as AIAI, others as AI1AI^{-1}. And I1=±II^{-1} = \pm I depending on the dimension: in 3D I2=1I^2 = -1, so I1=II^{-1} = -I. Thus those who use II and those who use I1I^{-1} get opposite signs already in 3D. This is the most subtle source of sign, because both conventions are widespread in the literature (Hestenes often uses I1I^{-1} precisely to stabilize the signs).
  3. The orientation of II itself. I=e1e2e3I = e_1 e_2 e_3​ or I=e3e2e1I = e_3 e_2 e_1​? They differ by a sign. And in 4D the ordering e0e1e2e3e_0 e_1 e_2 e_3 versus other permutations comes into play as well.

We fix here, once and for all, our convention, valid throughout the site:

  • pseudoscalar in increasing order: I=e1e2e3I = e_1 e_2 e_3​ (in 3D);
  • dual defined as multiplication on the right by I1I^{-1}: A=AI1A^* = A\,I^{-1};
  • in 3D, I2=1I^2 = -1I, hence I1=II^{-1} = -I.

With this convention, the relationship between the outer product and the cross product is:

(1)   \begin{equation*} \pmb{a}\times\pmb{b} = (\pmb{a}\wedge\pmb{b})\,I^{-1} = -(\pmb{a}\wedge\pmb{b})\,I \end{equation*}