Associative Composition Algebra/Homographies

From Wikibooks, open books for an open world
Jump to navigation Jump to search

The concept of homography has already been introduced as Möbius transformations on the projective binarion line. In fact, the concept has been extended to screw displacements using quaternions, where non-commutativity of the algebra has been accommodated.

Since the associative property is a requisite of a mathematical group, this text has required AC algebras to have it so that the algebras have a multiplicative group. Furthermore, associativity, and the fact that multiplication distributes over addition, are used in the following application of matrix multiplication:

Proposition: On an associative composition algebra, the homography is well-defined on the projective line.

With u taken from the group of units of A, (ua, ub) are the homogeneous coordinates of a point in the projective line P(A). One writes : and ~ is an equivalence relation on A x A; for instance, it is a transitive relation because of associativity.

These equalities, involving the matrix product on the right, show that the result of the matrix transformation does not depend on the representative (a,b) from an equivalence class of the relation.

The condition requires the pair (a,b) to be sufficient to generate A: they must not both lie in a proper subalgebra. The projective line is

where U[a: b] represents the equivalence class of (a, b).

Embedding, points at infinity[edit | edit source]

A canonical embedding of A into P(A) is given by

If ab = 1, then since a ∈ U. For such a,

showing that moves the elements of U ⊂A to the equivalence class of U[a−1: 1], thus extending the multiplicative inverse map to P(A).

is referred to as a point at infinity, but unless A is a division algebra, it is not the only element of

The action of on E(A) can be verified to agree with the translation aa + t acting in A.

Some insight into the role of component q in the homography matrix is gained from the product

Due to the conjugation with the inverter operator, the transformation is a translation at infinity.

For a positive real number p, the action of on E(A) agrees with the dilation apa acting in A. Furthermore, inner automorphisms are extended by homographies:

Conformal spacetime transformations[edit | edit source]

In 1910 reference was made to "conformal transformations of spacetime" by Harry Bateman and Ebenezer Cunningham, though the method of description was by differential geometry of transformations respecting Maxwell's equations of electromagnetism. Using M ⊂ B to represent spacetime, and the AC algebra B for homographies on P(B) to represent transformations, a general conformal transformation can be written:

The more commonly noted subgroups are an affine group (b = 0), the Poincaré group (p = 1 and b = 0), and the Lorentz group (p = 1 and a = b = 0).

There are 15 degrees of freedom in g: p is one, a and b contribute four each, while u and v contribute six.

In particular, with u = exp(a r) generates the orthogonal group O(3) in the Lorentz group, and

with v = exp(b hr) generates the boosts, per the exercises in the last chapter.

Exercises

1. Find the coordinates of elements of the projective line over the field with two elements.

2. For g extending translation, rotation, and inversion, find {x : xg = x}, the fixed point set of g.

Cross ratio[edit | edit source]

On the real projective line the homography

takes [a: 1] to [0: 1] and [b: 1] to [1: 0].

The numbers between them have positive real values. The midpoint of the interval (a,b) goes to [1: 1].

For commutative rings (binarions here), there is a cross ratio homography which maps a sufficiently distinct triple from the ring to the projective line over the Galois field Z/2Z, which is contained in the projective line over any ring. But in the non-commutative case (quaternions here), the homography which separates points p and q is only conditionally normalizable. Indeed, compose

with the separation of p and q:

Exercise: Show that

is sufficient to provide a normalized homography mapping of {p, q, t} to {[0 :1], [1 :0], [1, 1] }.

Split-quaternions