User:Jheald/sandbox/GA/Affine geometric algebra

Dorst et al mention that attempts have been made to extend the Conformal Geometric Algebra to allow ellipsoids to be natural objects, and stretches to be natural bivectorised transformations.

They mention attempts by Perwass and by Doran, but say neither is yet satisfactory.

p.498: [Two features of Geometric Algebra are essential to the way it allows symmetries and symmetrical objects to be represented automatically in a covariant way:]


 * 48: Perwass & Förstner, Uncertain Geometry with Circles, Spheres and Conics. Computational Imaging and Vision, 31, 23--41; also relevant section of Perwass book
 * -- can represent ellipsoids, but can no longer represent translations in his algebra.
 * 15: Doran & Lasenby, Geometric Algebra for Physicists

Complex signature ?
Seems to me that we already know a bivectorised transformation that can represent stretches: the hyperbolic rotations that occur in mixed-signature Clifford algebras.

Could such "imaginary" rotations not be introduced alongside real rotations, to represent a hyperbolic rotation? eg into the Conformal Geometric Algebra model?


 * (How much would we then need to complexify to close the algebra?)

Once we have stretches, ellipsoids should appear as the eigenfunctions of a transformation S Rc S-1. (ie inverse stretch (to turn it into a circle), reflection in a circle, stretch (to turn it back into an ellipse).

Hestenes & followers' party line is against complex CAs... but perhaps this might indicate one way towards their interpretation?