biVector forum

The nilpotent extra dimension in R(2,0,1)

Hi everybody! I am new in this fantastic forum.

I have a question concerning the wonderful talk at SIGGRAPH2019 from Charles Gunn and Steven De Keninck.

What are the benefits of an explicit dimension with e0^2=0.

In Geometric Algebra over R^2 (with e1 and e2 as basis), i can define a bivector e1e2 for rotation, furthermore i can ad a vector to the bivector to build a nilpotent element like e0:=e1+ e1e2 with e0^2=0. So i need at least no extra dimension for mapping a vector along a straight line by an exponential function…

I guess the extra dimension simplifies other operations like the meet operation etc. Is there a simple mathematical argument for the extra dimension?

Best regards
Juergen

You cannot rotate around an arbitrary point, so you do not have all rotations in the Euclidean motions. For that, and the translations that involves, you will need a bit more. And the extra null dimension provides it precisely.
You can also see the motions as double reflections in general lines. To characterize a line in 2D, you need 3 homogeneous parameters. Anyway, bivector.net contains material elucidating this, see the sections on 2D PGA and 3D PGA.

Thank you very much for answering my question! I know your great book, what an honor!

At least in principle i can rotate around an arbitrary point by composing three exponential function to translate, rotate, translate… it will take more calculation time than using 2D PGA, i guess. Is this a crucial argument for using an additional dimension?

Your hint with double reflection is also an interesting point, i have to play a little bit with a 2x2 matrix representation of Clifford algebra Cl(2,0) the next days…