C_{4} 
is the algebra H(2) of all 2×2 matrices and a set of generators is the same
as for C_{3} with the addition of
There is, of course, a smart way of calculating the Clifford algebras to be found in the literature. It gives, with the same convention for the matrix algebras,

C_{5} = C(4), C_{6} = R(8), C_{7} = R(8)⊕R(8), C_{8} = R(16)

and after that there is an eightfold periodicity because C_{k + 8} is the matrix algebra C_{k}(16).
For instance, the algebra C_{10} will be H(16), a subalgebra of R(64).
Vector Fields on Spheres
The sphere S^{ n1} is the set of unit vectors in R^{n} and a tangent vector at u is a vector v that is orthogonal to it. A tangent vector field is a continuous mapping from the sphere such that u maps to a nonzero tangent vector at u. If the sphere has k independent tangent vector fields they can be made orthonormal at each point using one of the standard methods.
The first example is the circle S^{ 1} with the unit tangent vector pointing anticlockwise. If the circle is regarded as the set of complex numbers of unit norm, then the field is given by z → iz. Moreover, if S^{ 2n1} is considered as the unit sphere in C^{n} then

(z_{1}, z_{2}, ..., z_{n}) → (iz_{1}, iz_{2}, ..., iz_{n})

is a tangent vector field. Every odd dimensional sphere has then at least one tangent vector field. The same works with the quaternions. H = R^{4} and we consider 1, i, j, ij as an orthonormal basis. If (a, b, c, d) is a point in S^{ 3}, that is, a unit vector in R^{4}, then multiplying by i gives

i(a + bi + cj + dij) = ai  b + cij  dj,

so (a, b, c, d) becomes (b, a, d, c), which is an orthogonal unit vector, a tangent vector at the point. Multiplying by j and by ij give two more tangent vectors at the point and a calculation shows that the three are orthonormal. There are then three independent tangent vector fields on the three sphere. This can also be extended to show that S^{ 4n1} has at least three independent tangent vector fields.
Theorem. If the generators of C_{k} act linearly on R^{n}, then S^{ n1} has k independent vector fields. The n×n matrices that give the action of the generators will be orthogonal if the scalar product on R^{n} is suitably chosen. This is because the additive basis elements of C_{}k along with their negatives form a group G of order 2^{k+1} under multiplication. In that case, the new scalar product obtained from the standard one u·v by

(uv) = G^{ 1} ∑ gu·gv

(where the summation is over all g ∈ G) is such that (gugv) = (uv) for all g ∈ G because multiplying by g just permutes
the elements of the group. Since the action of the generators preserves this scalar
product, it is orthogonal with respect to a new orthonormal basis.
Consider the (k + 1)dimensional real vector space V with orthonormal basis e_{0}, e_{1}, ..., e_{k} from C_{k}. It acts linearly on R^{n} by linearly extending the action
of the generators and e_{0}, which acts as the identity matrix. The action gives a bilinear mapping V×R^{n} → R^{n}. The theorem will be proved if we can show that, for each point u in S^{ n1} ⊂ R^{n} the mapping from V to R^{n} given by acting on u preserves scalar product because the images of the generators will then be an orthonormal set of tangent vectors.
Preserving scalar product is equivalent to preserving norm since

v·w = ½(v + w²  v²  w²)

and it is suffcient to show that it takes unit vectors to unit vectors, which will
be true if the matrices of unit vectors v in V are orthogonal. The condition that v is orthogonal is that its transpose v^{t} is its inverse:
The generators and e0 are orthogonal so the first sum is e_{0}. The inverse of each generator is its negative so the second sum becomes
As an example, note that C_{7} = R(8)·R(8) and it acts on R^{8} by the action of the first factor in the tensor sum and so the sphere S^{ 7} has seven independent vector fields. The three on S^{ 3} were given by the action of H but this is the same as the action of C_{7} by the first factor in the vector sum so it agrees with
the theorem.
As a final example that illustrates the general formula below, consider C_{11} = C_{3}(16). It can be converted into the block matrix form H(16)⊕H(16) by
rearranging the rows and columns. It acts through the first factor on H^{16} = R^{64} giving 11 independent tangent vector fields on S^{ 63}.
The formula for the number of independent vector fields on S^{ n} is, if n + 1 is divisible by 16^{a} but not 16^{a+1} and if the quotient is divisible by 2^{b}, then there
are 2^{b} + 8a  1 of them. They can all be obtained in this way and Adams proved that there are not more of them.
References
 J. F. Adams, Vector Fields on Spheres, Bull. Am. Math. Soc., 68: 3041
(1962)
 J. F. Adams, Vector Fields on Spheres, Bull. Am. Math. Soc., 75: 603632
(1962)
 D. Husemoller, Fibre Bundles, McGrawHill Book Company, New York, 1966
Contact
Front page
Contents
Geometry
Algebra
Store
Copyright © 19962017 Alexander Bogomolny
