Seven-dimensional cross product

In mathematics, the seven-dimensional cross product is a binary operation on vectors in a seven-dimensional Euclidean space. It is a generalization of the ordinary three-dimensional cross product. The seven-dimensional cross product has the same relationship to the octonions as the three-dimensional cross product does to the quaternions.

Nontrivial binary cross products exist only in 3 and 7 dimensions. There are no higher-dimensional analogs.

Characteristic properties

A cross product in an "n"-dimensional Euclidean space "V" is defined as a bilinear map:"V" × "V" → "V"such that
* x · (x × y) = y · (x × y) = 0, and
*|x × y|² = |x|² |y|² − (x · y)²for all x and y in "V". Here x·y denotes the standard Euclidean dot product. The first of these properties states that the cross product should be perpendicular to each of its arguments. The second states that the norm of the cross product should be equal to the area of the parallelogram formed by the arguments. This is equivalent to the statement
*|x × y| = |x||y|sin θwhere θ is the inner angle between x and y.

It has been shown that nontrivial cross products exist only for "n" = 3 and "n" = 7. The reason has to do with the connection between cross products and normed division algebras (see the section below).

Some properties that follow from the above characterization, and are therefore true in seven dimensions, are:
*x × y = −y × x
*x · (y × z) = y · (z × x) = z · (x × y)
*x × (x × y) = −|x|²y + (x·y)x.

Some properties of the 3-dimensional cross product which do not generally hold for the 7-dimensional one are the vector triple product formula (equality holds in three dimensions):x × (y × z) ≠ (x·z)y − (x·y)zand the Jacobi identity::x × (y × z) + y × (z × x) + z × (x × y) ≠ 0.Both of these fail due to the nonassociativity of the octonions.

Coordinate expression

Unlike the 3-dimensional cross product, the 7-dimension cross product is not unique (up to a sign). This is because there is more than one direction perpendicular to any given plane. However, any two cross products differ by an orthogonal transformation.

One possible cross product on R⁷ is given by the rules
*e₁×e₂ = e₄
*e_"i"×e_"j" = e_"k" implies that
**e_2"i"×e_2"j" = e_2"k"
**e_"i"+1×e_"j"+1 = e_"k"+1where {e_"i"} is the standard basis for R⁷ and the indices are read from 1 to 7 modulo 7. Together with the fact that the cross product must be antisymmetric these rules complete determine the cross product.

Explicitly, the cross product is given by the expression:

The 7-dimensional cross product can also be written as a sum of seven 3-dimensional cross products. Let π_"i" denote the orthogonal projection of R⁷ onto the 3-dimensional subspace spanned by e_"i"+1, e_"i"+2, and e_"i"+4. Then:$mathbf\{x\}\; imesmathbf\{y\}\; =\; sum\_\{i=1\}^\{7\}pi\_i(mathbf\; x)\; imespi\_i(mathbf\; y).$

Since the cross product is bilinear, one can write the operator x×– as a matrix. This matrix has the form:The cross product x×y is then given by "T"_x(y).

Relation to the octonions

Just as the 3-dimensional cross product can be expressed in terms of the quaternions, the 7-dimensional cross product can be expressed in terms of the octonions. After identifying R⁷ with the imaginary octonions (the orthogonal complement of the identity in O), the cross product is given in terms of octonion multiplication by:$mathbf\; x\; imes\; mathbf\; y\; =\; mathrm\{Im\}(mathbf\{xy\})\; =\; frac\{1\}\{2\}(mathbf\{xy\}-mathbf\{yx\}).$Conversely, suppose "V" is a 7-dimensional Euclidean space with a given cross product. Then one can define a bilinear multiplication on R⊕"V" as follows::$(a,mathbf\{x\})(b,mathbf\{y\})\; =\; (ab\; -\; mathbf\{x\}cdotmathbf\{y\},\; amathbf\; y\; +\; bmathbf\; x\; +\; mathbf\{x\}\; imesmathbf\{y\}).$The space R⊕"V" with this multiplication is then isomorphic to the octonions.

The cross product only exists in dimensions 3 and 7 since one can always define a multiplication on a space of one higher dimension as above, and this space can be shown to be a normed division algebra. Such algebras only exist in dimensions 1, 2, 4, and 8. (There is, of course, a trivial cross product is dimension 1 coming from the complex numbers; trivial since the complex numbers are commutative).

The failure of the 7-dimension cross product to satisfy the Jacobi identity is due to the nonassociativity of the octonions. In fact, :$mathbf\{x\}\; imes(mathbf\{y\}\; imesmathbf\{z\})\; +\; mathbf\{y\}\; imes(mathbf\{z\}\; imesmathbf\{x\})\; +\; mathbf\{z\}\; imes(mathbf\{x\}\; imesmathbf\{y\})\; =\; -frac\{3\}\{2\}\; [mathbf\; x,\; mathbf\; y,\; mathbf\; z]\; .$where [x, y, z] is the associator.

References

*cite journal | last = Brown | first = Robert B. | coauthors = Gray, Alfred | year = 1967 | title = Vector cross products | journal = Commentarii Mathematici Helvetici | volume = 42 | issue = 1 | pages = 222–236 | doi = 10.1007/BF02564418
*cite book | last = Lounesto | first = Pertti | title = Clifford algebras and spinors | publisher = Cambridge University Press | location = Cambridge, UK | year = 2001 | isbn=0-521-00551-5
*cite paper | first = Z.K. | last = Silagadze | title = Multi-dimensional vector product | date = 2002 | id = arxiv|archive=math.RA|id=0204357