Spacetime algebra
Inmathematical physics,spacetime algebra(STA) is the application ofClifford algebraCl1,3(R), or equivalently thegeometric algebraG(M4)to physics.Spacetimealgebra provides a "unified, coordinate-free formulation for all ofrelativistic physics,including theDirac equation,Maxwell equationandGeneral Relativity"and" reduces the mathematical divide betweenclassical,quantumandrelativistic physics."[1]: ix
Spacetime algebra is avector spacethat allows not onlyvectors,but alsobivectors(directed quantities describing rotations associated with rotations or particular planes, such as areas, or rotations) orblades(quantities associated with particular hyper-volumes) to be combined, as well asrotated,reflected,orLorentz boosted.[2]: 40, 43, 97, 113 It is also the natural parent algebra ofspinorsin special relativity.[2]: 333 These properties allow many of the most important equations in physics to be expressed in particularly simple forms, and can be very helpful towards a more geometric understanding of their meanings.[1]: v
In comparison to related methods, STA andDirac algebraare both Clifford Cl1,3algebras, but STA usesreal numberscalarswhile Dirac algebra usescomplex numberscalars. The STA spacetime split is similar to thealgebra of physical space(APS, Pauli algebra)approach. APS represents spacetime as aparavector,a combined 3-dimensional vector space and a 1-dimensional scalar.[3]: 225–266
Structure
[edit]For any pair of STA vectors,,there is avector (geometric) product,inner (dot) productandouter (exterior, wedge) product.The vector product is a sum of an inner and outer product:[1]: 6
The inner product generates a real number (scalar), and the outer product generates a bivector. The vectorsandare orthogonal if their inner product is zero; vectorsandare parallel if their outer product is zero.[2]: 22–23
Theorthonormal basisvectors are atimelikevectorand 3spacelikevectors.TheMinkowski metrictensor's nonzero terms are the diagonal terms,.For:
TheDirac matricesshare these properties, and STA is equivalent to the algebra generated by the Dirac matrices over the field of real numbers;[1]: x explicit matrix representation is unnecessary for STA.
Products of the basis vectors generate atensor basiscontaining one scalar,four vectors,six bivectors,four pseudovectors (trivectors)and onepseudoscalarwith.[1]: 11 The pseudoscalarcommuteswith alleven-gradeSTA elements, butanticommuteswith allodd-gradeSTA elements.[4]: 6
Subalgebra
[edit]STA'seven-graded elements(scalars, bivectors, pseudoscalar) form a Clifford Cl3,0(R)even subalgebraequivalent to the APS or Pauli algebra.[1]: 12 The STA bivectors are equivalent to the APS vectors and pseudovectors. The STA subalgebra becomes more explicit by renaming the STA bivectorsasand the STA bivectorsas.[1]: 22 [2]: 37 The Pauli matrices,,are a matrix representation for.[2]: 37 For any pair of,the nonzero inner products are,and the nonzero outer products are:[2]: 37 [1]: 16
The sequence of algebra to even subalgebra continues as algebra of physical space, quaternion algebra, complex numbers and real numbers.[1]: 12
Division
[edit]A nonzero vectoris anull vector(degree 2nilpotent) if.[5]: 2 An example is.Null vectors are tangent to thelight cone(null cone).[5]: 4 An elementis anidempotentif.[6]: 103 Two idempotentsandare orthogonal idempotents if.[6]: 103 An example of an orthogonal idempotent pair isandwith.Proper zero divisors are nonzero elements whose product is zero such as null vectors or orthogonal idempotents.[7]: 191 Adivision algebrais an algebra that contains multiplicative inverse (reciprocal) elements for every element, but this occurs if there are no proper zero divisors and if the only idempotent is 1.[6]: 103 [8]: 211 [a]The only associative division algebras are the real numbers, complex numbers and quaternions.[9]: 366 As STA is not a division algebra, some STA elements may lack an inverse; however, division by the non-null vectormay be possible by multiplication by its inverse, defined as.[10]: 14
Reciprocal frame
[edit]Associated with the orthogonal basisis the reciprocal basis setsatisfying these equations:[1]: 63
These reciprocal frame vectors differ only by a sign, with,but.
A vectormay be represented using either the basis vectors or the reciprocal basis vectorswith summation over,according to theEinstein notation.The inner product of vector and basis vectors or reciprocal basis vectors generates the vector components.
Themetricandindex gymnasticsraise or lower indices:
Spacetime gradient
[edit]The spacetime gradient, like the gradient in a Euclidean space, is defined such that thedirectional derivativerelationship is satisfied:[11]: 45
This requires the definition of the gradient to be
Written out explicitly with,these partials are
Spacetime split
[edit]Spacetime split – examples: |
[12]: 257 |
[12]: 257 |
whereis theLorentz factor |
[12]: 259 |
In STA, aspacetime splitis a projection from four-dimensional space into (3+1)-dimensional space in a chosen reference frame by means of the following two operations:
- a collapse of the chosen time axis, yielding a 3-dimensional space spanned by bivectors, equivalent to the standard 3-dimensional basis vectors in thealgebra of physical spaceand
- a projection of the 4D space onto the chosen time axis, yielding a 1-dimensional space of scalars, representing the scalar time.[13]: 180
This is achieved by pre-multiplication or post-multiplication by a timelike basis vector,which serves to split a four vector into a scalar timelike and a bivector spacelike component, in the reference frame co-moving with.Withwe have
Spacetime split is a method for representing an even-graded vector of spacetime as a vector in the Pauli algebra, an algebra where time is a scalar separated from vectors that occur in 3 dimensional space. The method replaces these spacetime vectors[1]: 22–24
As these bivectorssquare to unity, they serve as a spatial basis. Utilizing thePauli matrixnotation, these are written.Spatial vectors in STA are denoted in boldface; then withand,the-spacetime split,and its reverseare:
However, the above formulas only work in the Minkowski metric with signature (+ - - -). For forms of the spacetime split that work in either signature, alternate definitions in whichandmust be used.
Transformations
[edit]To rotate a vectorin geometric algebra, the following formula is used:[14]: 50–51
- ,
whereis the angle to rotate by, andis the normalized bivector representing the plane of rotation so that.
For a given spacelike bivector,,soEuler's formulaapplies,[2]: 401 giving the rotation
- .
For a given timelike bivector,,so a "rotation through time" uses the analogous equation for thesplit-complex numbers:
- .
Interpreting this equation, these rotations along the time direction are simplyhyperbolic rotations.These are equivalent toLorentz boostsin special relativity.
Both of these transformations are known asLorentz transformations,and the combined set of all of them is theLorentz group.To transform an object in STA from any basis (corresponding to a reference frame) to another, one or more of these transformations must be used.[1]: 47–62
Any spacetime elementis transformed by multiplication with the pseudoscalar to form itsdualelement.[11]: 114 Duality rotationtransforms spacetime elementto elementthrough anglewith pseudoscalaris:[1]: 13
Duality rotation occurs only fornon-singularClifford algebra, non-singular meaning a Clifford algebra containing pseudoscalars with a non-zero square.[1]: 13
Grade involution (main involution, inversion)transforms every r-vectorto:[1]: 13 [15]
Reversiontransformation occurs by decomposing any spacetime element as a sum of products of vectors and then reversing the order of each product.[1]: 13 [16]For multivector arising from a product of vectors,the reversion is:
Clifford conjugationof a spacetime elementcombines reversion and grade involution transformations, indicated as:[17]
The grade involution, reversion and Clifford conjugation transformations areinvolutions.[18]
Classical electromagnetism
[edit]The Faraday bivector
[edit]In STA, theelectric fieldandmagnetic fieldcan be unified into a single bivector field, known as the Faraday bivector, equivalent to theFaraday tensor.[2]: 230 It is defined as:
whereandare the usual electric and magnetic fields, andis the STA pseudoscalar.[2]: 230 Alternatively, expandingin terms of components,is defined that
The separateandfields are recovered fromusing
Theterm represents a given reference frame, and as such, using different reference frames will result in apparently different relative fields, exactly as in standard special relativity.[2]: 233
Since the Faraday bivector is a relativistic invariant, further information can be found in its square, giving two new Lorentz-invariant quantities, one scalar, and one pseudoscalar:
The scalar part corresponds to the Lagrangian density for the electromagnetic field, and the pseudoscalar part is a less-often seen Lorentz invariant.[2]: 234
Maxwell's equation
[edit]STA formulatesMaxwell's equationsin a simpler form as one equation,[19]: 230 rather than the 4 equations ofvector calculus.[20]: 2–3 Similarly to the above field bivector, the electriccharge densityandcurrent densitycan be unified into a single spacetime vector, equivalent to afour-vector.As such, the spacetime currentis given by[21]: 26
where the componentsare the components of the classical 3-dimensional current density. When combining these quantities in this way, it makes it particularly clear that the classical charge density is nothing more than a current travelling in the timelike direction given by.
Combining the electromagnetic field and current density together with the spacetime gradient as defined earlier, we can combine all four of Maxwell's equations into a single equation in STA. [19]: 230
The fact that these quantities are all covariant objects in the STA automatically guaranteesLorentz covarianceof the equation, which is much easier to show than when separated into four separate equations.
In this form, it is also much simpler to prove certain properties of Maxwell's equations, such as theconservation of charge.Using the fact that for any bivector field, thedivergenceof its spacetime gradient is,one can perform the following manipulation:[22]: 231
This equation has the clear meaning that the divergence of the current density is zero, i.e. the total charge and current density over time is conserved.
Using the electromagnetic field, the form of theLorentz forceon a charged particle can also be considerably simplified using STA.[23]: 156
Potential formulation
[edit]In the standard vector calculus formulation, two potential functions are used: theelectric scalar potential,and themagnetic vector potential.Using the tools of STA, these two objects are combined into a single vector field,analogous to theelectromagnetic four-potentialin tensor calculus. In STA, it is defined as
whereis the scalar potential, andare the components of the magnetic potential. As defined, this field has SI units ofwebersper meter (V⋅s⋅m−1).
The electromagnetic field can also be expressed in terms of this potential field, using
However, this definition is not unique. For any twice-differentiable scalar function,the potential given by
will also give the sameas the original, due to the fact that
This phenomenon is calledgauge freedom.The process of choosing a suitable functionto make a given problem simplest is known asgauge fixing.However, in relativistic electrodynamics, theLorenz conditionis often imposed, where.[2]: 231
To reformulate the STA Maxwell equation in terms of the potential,is first replaced with the above definition.
Substituting in this result, one arrives at the potential formulation of electromagnetism in STA:[2]: 232
Lagrangian formulation
[edit]Analogously to the tensor calculus formalism, the potential formulation in STA naturally leads to an appropriateLagrangian density.[2]: 453
The multivector-valuedEuler-Lagrange equationsfor the field can be derived, and being loose with the mathematical rigor of taking the partial derivative with respect to something that is not a scalar, the relevant equations become:[24]: 440
To begin to re-derive the potential equation from this form, it is simplest to work in the Lorenz gauge, setting[2]: 232
This process can be done regardless of the chosen gauge, but this makes the resulting process considerably clearer. Due to the structure of thegeometric product,using this condition results in.
After substituting in,the same equation of motion as above for the potential fieldis easily obtained.
The Pauli equation
[edit]STA allows the description of thePauli particlein terms of arealtheory in place of a matrix theory. The matrix theory description of the Pauli particle is:[25]
whereis aspinor,is the imaginary unit with no geometric interpretation,are the Pauli matrices (with the 'hat' notation indicating thatis a matrix operator and not an element in the geometric algebra), andis the Schrödinger Hamiltonian.
The STA approach transforms the matrix spinor representationto the STA representationusing elements,,of the even-graded spacetime subalgebra and the pseudoscalar:[2]: 37 [26]: 270, 271
The Pauli particle is described by thereal Pauli–Schrödinger equation:[25]
where nowis an even multi-vector of the geometric algebra, and the Schrödinger Hamiltonian is.Hestenes refers to this as thereal Pauli–Schrödinger theoryto emphasize that this theory reduces to the Schrödinger theory if the term that includes the magnetic field is dropped.[25]: 30 The vectoris an arbitrarily selected fixed vector; a fixed rotation can generate any alternative selected fixed vector.[27]: 30
The Dirac equation
[edit]STA enables a description of theDirac particlein terms of arealtheory in place of a matrix theory. The matrix theory description of the Dirac particle is:[28]
whereare the Dirac matrices andis the imaginary unit with no geometric interpretation.
Using the same approach as for Pauli equation, the STA approach transforms the matrix upper spinorand matrix lower spinorof the matrix Dirac bispinorto the corresponding geometric algebra spinor representationsand.These are then combined to represent the full geometric algebra Dirac bispinor.[29]: 279
Following Hestenes' derivation, the Dirac particle is described by the equation:[28][30]: 283
Here,is the spinor field,andare elements of the geometric algebra,is theelectromagnetic four-potential,andis the spacetime vector derivative.
Dirac spinors
[edit]A relativisticDirac spinorcan be expressed as:[31][32][33]: 280
where, according to its derivation byDavid Hestenes,is an even multivector-valued function on spacetime,is a unimodular spinor or "rotor",[34]andandare scalar-valued functions.[31]In this construction, the components ofdirectly correspond with the components of aDirac spinor,both having 8 scalar degrees of freedom.
This equation is interpreted as connecting spin with the imaginary pseudoscalar.[35]: 104–121
The rotor,,Lorentz transforms the frame of vectorsinto another frame of vectorsby the operation;[36]: 15 note thatindicates thereverse transformation.
This has been extended to provide a framework for locally varying vector- and scalar-valued observables and support for theZitterbewegunginterpretation of quantum mechanics originally proposed bySchrödinger.[37][1]: vi
Hestenes has compared his expression forwith Feynman's expression for it in the path integral formulation:
whereis the classical action along the-path.[31]
Using the spinors, the current density from the field can be expressed by[38]: 8
Symmetries
[edit]Global phase symmetryis a constant global phase shift of the wave function that leaves the Dirac equation unchanged.[39]: 41–48 Local phase symmetryis a spatially varying phase shift that leaves the Dirac equation unchanged if accompanied by agauge transformationof theelectromagnetic four-potentialas expressed by these combined substitutions.[40]: 269, 283
In these equations, the local phase transformation is a phase shiftat spacetime locationwith pseudovectorandof even-graded spacetime subalgebra applied to wave function;the gauge transformation is a subtraction of the gradient of the phase shiftfrom the electromagnetic four-potentialwith particle electric charge.[40]: 269, 283
Researchers have applied STA and related Clifford algebra approaches to gauge theories,electroweakinteraction,Yang–Mills theory,and thestandard model.[41]: 1345–1347
The discrete symmetries areparity,charge conjugationandtime reversalapplied to wave function.These effects are:[42]: 283
General relativity
[edit]General relativity
[edit]Researchers have applied STA and related Clifford algebra approaches to relativity, gravity and cosmology.[41]: 1343 Thegauge theory gravity(GTG) uses STA to describe an induced curvature onMinkowski spacewhile admitting agauge symmetryunder "arbitrary smooth remapping of events onto spacetime" leading to this geodesic equation.[43][44][4][12]
and the covariant derivative
whereis the connection associated with the gravitational potential, andis an external interaction such as an electromagnetic field.
The theory shows some promise for the treatment of black holes, as its form of theSchwarzschild solutiondoes not break down at singularities; most of the results ofgeneral relativityhave been mathematically reproduced, and the relativistic formulation ofclassical electrodynamicshas been extended toquantum mechanicsand theDirac equation.
See also
[edit]Notes
[edit]- ^An example: given idempotent,define,then,,and.Find the inversesatisfying.Thus,.However, there is nosatisfying,so this idempotent has no inverse.
Citations
[edit]- ^abcdefghijklmnopqHestenes 2015.
- ^abcdefghijklmnopDoran & Lasenby 2003.
- ^Baylis 2012.
- ^abLasenby, Doran & Gull 1995.
- ^abO'Donnell 2003.
- ^abcVaz & da Rocha 2016.
- ^Warner 1990,Theorems 21.2, 21.3.
- ^Warner 1990.
- ^Palais 1968.
- ^Hestenes & Sobczyk 1984.
- ^abHestenes & Sobczyk 2012c.
- ^abcdLasenby & Doran 2002.
- ^Arthur 2011.
- ^Hestenes 2015,Eqs. (16.22),(16.23).
- ^Floerchinger 2021,Eq. (18).
- ^Floerchinger 2021,Eq. (25).
- ^Floerchinger 2021,Eq. (27).
- ^Floerchinger 2021.
- ^abDoran & Lasenby 2003,Eq. (7.14).
- ^Jackson 1998.
- ^Hestenes 2015,Eq. (8.4).
- ^Doran & Lasenby 2003,Eq. (7.16).
- ^Doran & Lasenby 2003,Eq. (5.170).
- ^Doran & Lasenby 2003,Eq. (12.3).
- ^abcHestenes 2003a,Eqs. (75),(81).
- ^Doran & Lasenby 2003,Eqs. (8.16),(8.20),(8.23).
- ^Hestenes 2003a,Eqs. (82),(83),(84).
- ^abDoran et al. 1996,Eqs. (3.43),(3.44).
- ^Doran & Lasenby 2003,Eq. (8.69).
- ^Doran & Lasenby 2003,Eq. (8.89).
- ^abcHestenes 2012b,Eqs. (3.1),(4.1),pp 169-182.
- ^Gull, Lasenby & Doran 1993,Eq. (5.13).
- ^Doran & Lasenby 2003,Eq. (8.80).
- ^Hestenes 2003b,Eq. (205).
- ^Hestenes 2003a.
- ^Hestenes 2003b,Eq. (79).
- ^Hestenes 2010.
- ^Hestenes 1967,Eq. (4.5).
- ^Quigg 2021.
- ^abDoran & Lasenby 2003,Eqs. (8.8),(8.9),(8.10),(8.92),(8.93).
- ^abHitzer, Lavor & Hildenbrand 2024.
- ^Doran & Lasenby 2003,Eq. (8.90).
- ^Doran, Lasenby & Gull 1993.
- ^Lasenby, Doran & Gull 1998.
References
[edit]- Arthur, John W. (2011).Understanding Geometric Algebra for Electromagnetic Theory.IEEE Press Series on Electromagnetic Wave Theory. Wiley. p. 180.ISBN978-0-470-94163-8.
- Baylis, William E. (2012). "Vector Algebra of Physical Space".Theoretical Methods in the Physical Sciences: An introduction to problem solving using Maple V.Birkhäuser. p. 225-266.ISBN978-1-4612-0275-2.
- Doran, Chris; Lasenby, Anthony; Gull, Stephen (1993). "Gravity as a Gauge Theory in the STA". In Brackx, F.; Delanghe, R.; Serras, H. (eds.).Clifford Algebras and their Applications in Mathematical Physics.Fundamental Theories of Physics. Vol. 55. Springer Netherlands. pp. 375–385.ISBN978-94-011-2006-7.
- Doran, Chris; Lasenby, Anthony; Gull, Stephen; Somaroo, Shyamal; Challinor, Anthony (1996). Hawkes, Peter W. (ed.).STA and electron physics.Advances in Imaging and Electron Physics. Vol. 95. Academic Press. pp. 272–386,292.ISBN0-12-014737-8.
- Doran, Chris; Lasenby, Anthony (2003).Geometric Algebra for Physicists.Cambridge University Press.ISBN0 521 48022 1.
- Floerchinger, Stefan (2021)."Real Clifford Algebras and Their Spinors for Relativistic Fermions".Universe.7(6): 168.
- Gull, S.; Lasenby, A.; Doran, C. (1993)."Imaginary numbers are not real—the geometric algebra of spacetime"(PDF).Foundations of Physics.23:1175–1201.
- Hestenes, David (1967),"Real Spinor Fields"(PDF),Journal of Mathematical Physics,8(4): 798–808,Bibcode:1967JMP.....8..798H,doi:10.1063/1.1705279
- Hestenes, David; Sobczyk (1984),Clifford Algebra to Geometric Calculus,Springer Verlag,ISBN978-90-277-1673-6
- Hestenes, David (2003a). "Oersted Medal Lecture 2002: Reforming the mathematical language of physics".American Journal of Physics.71(2): 104–121.Bibcode:2003AmJPh..71..104H.CiteSeerX10.1.1.649.7506.doi:10.1119/1.1522700.
- Hestenes, D. (2003b)."Spacetime physics with geometric algebra"(PDF).American Journal of Physics.71(6): 691–714.Bibcode:2003AmJPh..71..691H.doi:10.1119/1.1571836.Retrieved2012-02-24.
- Hestenes, David (2010)."Zitterbewegung in Quantum Mechanics"(PDF).Foundations of Physics.40.
- Hestenes, D. (2012b) [1990]."On decoupling probability from kinematics in quantum mechanics".In Fougère, P.F. (ed.).Maximum Entropy and Bayesian Methods.Springer. pp. 161–183.ISBN978-94-009-0683-9.PDFArchived2022-10-29 at theWayback Machine
- Hestenes, D.; Sobczyk, Garret (2012c).Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics.Springer Science & Business Media.ISBN978-94-009-6292-7.
- Hestenes, David (2015).Space-Time Algebra.Springer International Publishing.ISBN978-3-319-18412-8.
- Hitzer, Eckhard; Lavor, Carlile; Hildenbrand, Dietmar (2024)."Current survey of Clifford geometric algebra applications".Mathematical Methods in the Applied Sciences.47(3): 1331–1361.doi:10.1002/mma.8316.ISSN0170-4214.
- Jackson, John David (1998).Classical Electrodynamics.John Wiley & Sons.ISBN978-0-471-30932-1.
- Lasenby, Anthony; Doran, Chris; Gull, Stephen (1995). "Astrophysical and Cosmological Consequences of a Gauge Theory of Gravity". InSanchez, Norma;Zichichi, Antonino (eds.).Advances In Astrofundamental Physics: International School Of Astrophysics "D. Chalonge".World Scientific. pp. 359–401.ISBN978-981-4548-78-6.Reprint
- Lasenby, A.; Doran, C.; Gull, S. (1998), "Gravity, gauge theories and geometric algebra",Phil. Trans. R. Soc. Lond. A,356(1737): 487–582,arXiv:gr-qc/0405033,Bibcode:1998RSPTA.356..487L,doi:10.1098/rsta.1998.0178,S2CID119389813
- Lasenby, A.N.; Doran, C.J.L. (2002). "Geometric algebra, Dirac wavefunctions and black holes". In Bergmann, P.G.; De Sabbata, Venzo (eds.).Advances in the interplay between quantum and gravity physics.Springer. pp. 256–283, See p.257.ISBN978-1-4020-0593-0.
- O'Donnell, Peter J. (2003).Introduction to 2-spinors in General Relativity.World Scientific.ISBN978-981-279-531-1.
- Palais, R. S. (1968)."The Classification of Real Division Algebras".The American Mathematical Monthly.75(4): 366–368.doi:10.2307/2313414.ISSN0002-9890.
- Quigg, Chris (29 November 2021).Gauge Theories Of Strong, Weak, And Electromagnetic Interactions.CRC Press.ISBN978-0-429-68902-4.
- Vaz, Jayme; da Rocha, Roldão (2016).An Introduction to Clifford Algebras and Spinors.Oxford University Press.ISBN978-0-19-108578-9.
- Warner, Seth (1990).Modern algebra.New York: Dover Publications. pp. 191, 211.ISBN978-0-486-66341-8.
External links
[edit]- Exploring Physics with Geometric Algebra, book I
- Exploring Physics with Geometric Algebra, book II
- A multivector Lagrangian for Maxwell's equation
- Imaginary numbers are not real – the geometric algebra of spacetime,a tutorial introduction to the ideas of geometric algebra, by S. Gull, A. Lasenby, C. Doran
- Physical Applications of Geometric Algebracourse-notes, see especially part 2.
- Cambridge University Geometric Algebra group
- Geometric Calculus research and development