Geometric Algebra and its Application

to Mathematical Physics
Chris J?? L?? Doran
Sidney Sussex College
A dissertation submitted for the
degree of Doctor of Philosophy in the
University of Cambridge??
February 
Preface
This dissertation is the result of work carried out in the Department of Applied
Mathe
matics and Theoretical Physics between October  and October ?? Sections of the
dissertation have appeared in a series of collaborative papers  ?? Except where
explicit reference is made to the work of others
the work contained in t
his dissertation is
my own??
Acknowledgements
Many people have given help and support over the last three years and I am grate
ful to
them all?? I owe a great debt to my supervisor Nick Manton
for allowing me
the freedom
to pursue my own interests
and to my two principle collaborators Anthony
Lasenby and
Stephen Gull
whose ideas and inspiration were essential in shaping my resear
ch?? I also
thank David Hestenes for his encouragement and his company on an arduous journey
to
Poland?? Above all
I thank Julie Cooke for the love and encouragement that
sustained
me through to the completion of this work?? Finally
I thank Stuart Rankin a
nd Margaret
James for many happy hours in the Mill Mike and Rachael
Tim and Imogen
Paul
Alan
and my other colleagues in DAMTP and MRAO??
I gratefully acknowledge
nancial support from the SERC
DAMTP and Sidney Sussex
College??
To my parents
Contents
?? Introduction ??
?? Some History and Recent Developments ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? 
? ?

Axioms and De
nitions ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ??
??

?? The Geometric Product ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? ?? 
??

??

The Geometric Algebra of the Plane ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? 

??

?? The Geometric Algebra of Space ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? 
? ?

?? Reections and Rotations ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? ?? 
? ?

?? The Geometric Algebra of Spacetime ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?

? ?? ??


?? Linear Algebra ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?
? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??


???? Linear Functions and the Outermorphism ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
??


????

NonOrthonormal Frames ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?
? ?? ?? ??


 Grassmann Algebra and Berezin Calculus 

?? Grassmann Algebra versus Cliord Algebra ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? ??

??

The Geometrisation of Berezin Calculus ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?

? ?? ?? ?? ?? ?? 

??

?? Example I?? The Grauss Integral ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? 

??

??

Example II?? The Grassmann Fourier Transform ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 

?? Some Further Developments ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?

? ?? ?? ?? ?? ?? ?? ?? ?? 
 Lie Groups and Spin Groups 
?? Spin Groups and their Generators ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?
? ?? ?? ?? ?? ?? ?? ?? 
??

The Unitary Group as a Spin Group ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? ?? ?? 
? ? The General Linear Group as a Spin Group ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? 
? ??? Endomorphisms of ??n ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? 
? ? The Remaining Classical Groups ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? 
? ??? Complexi
cation son
C ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? 
????

Quaternionic Structures spn and so??

n ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 
???? The Complex and Quaternionic General Linear Groups ?? ?? ?? ?? ?? ?? ?? 
? ??? The symplectic Groups Spn R and Spn
C ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 
?? Summary ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 
 Spinor Algebra 
?? Pauli Spinors ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 
???? Pauli Operators ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
 ?? ?? ?? ?? ?? ?? ?? ??
??

Multiparticle Pauli States ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?

? ?? ?? ?? ?? ?? ?? ?? ?? ??
i
? ?

?? The NonRelativistic Singlet State ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ??
??

??

NonRelativistic Multiparticle Observables ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

 ??
?? Dirac Spinors ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
 ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
???? Changes of Representation Weyl Spinors ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 
?? The Multiparticle Spacetime Algebra ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?
? ?? ?? ?? ?? ?? ?? 
???? The Lorentz Singlet State ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?
? ?? ?? ?? ?? ?? 
? ?

Spinor Calculus ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 
????

Spinor Observables ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? 
????

The

spinor Inner Product ?? ?? ??

?? ?? 
???? The Null Tetrad ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? 
???? The rA??A Operator ?? ??
?? ?? ?? ?? ?? ?? ?? 
???? Applications ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? 
 Pointparticle Lagrangians ??
?? The Multivector Derivative
? ?? ?? ?? ?? ?? ?? ?? ?? ?? 

?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?

??

Scalar and Multivector Lagrangians ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? ?? ?? ?? 
??

?? Noethers Theorem ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? ?? ?? ?? ?? 
??

??

Scalar Parameterised Transformations ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? ?? 
??

?? Multivector Parameterised Transformations ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??

?? 
?? Applications Models for Spinning Point Particles ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? 
 Field Theory ????
?? The Field Equations and Noethers Theorem ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? 

??

Spacetime Transformations and their Conjugate Tensors ?? ?? ?? ?? ?? ?? ?? ?? ?

? ?? 


?? Applications ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? 


?? Multivector Techniques for Functional Dierentiation ?? ?? ?? ?? ?? ?? ?? ?? ?? ?
? ?? ?? 
Gravity as a Gauge Theory ??
?? Gauge Theories and Gravity ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??
?? ?? ?? ?? ?? ?? ?? ?? ?? 
???? Local Poincare Invariance ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?
? ?? ?? ?? ?? ?? 
????

Gravitational Action and the Field Equations ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?

?