Geometric Number Systems and Spinors

# Geometric Number Systems and Spinors

Garret Sobczyk
Departamento de Físico-Matemáticas
72820 Puebla, Pue., México
###### Abstract

The real number system is geometrically extended to include three new anticommuting square roots of plus one, each such root representing the direction of a unit vector along the orthonormal coordinate axes of Euclidean 3-space. The resulting geometric (Clifford) algebra provides a geometric basis for the famous Pauli matrices which, in turn, proves the consistency of the rules of geometric algebra. The flexibility of the concept of geometric numbers opens the door to new understanding of the nature of space-time, and of Pauli and Dirac spinors as points on the Riemann sphere, including Lorentz boosts.

AMS Subject Classification: 15A66, 81P16

Keywords: geometric algebra, relative geometric algebra, Riemann sphere, complex Riemann sphere.

## 1 The geometric algebra of space G3

The most direct way of obtaining the geometric algebra of space is to extend the real number system to include three new anti-commutative square roots of , that represent unit vectors along the respective -coordinate axes. Thus, and . The resulting associative geometric algebra , as a real linear space, has the -dimensional standard basis

 G3=spanR{1,e1,e2,e3,e12,e13,e23,e123},

where represent unit bivectors in the three -coordinate planes, for , and represents the oriented directed trivector, or pseudoscalar element of space. The geometric numbers of -dimensional space are pictured in Figure 1.

To see that the rules of our geometric algebra are consistent, we relate it immediately to the famous Pauli algebra of square matrices over the complex numbers . The most intuitive way of doing this is to introduce the mutually annihilating idempotents , which satisfy the rules

 u2+=u+,  u2−=u−,  u+u−=0,  u++u−=1,  u+−u−=e3.

In addition, . All these rules are easily verified and left to the reader. Another important property of the geometric algebra is that the pseudoscalar element is in the center of the algebra, commuting with all elements, and . Thus can take over the roll of the unit imaginary .

By the spectral basis of the geometric algebra , we mean

 SG:=(1e1)u+(1e1)=(u+e1u−e1u+u−), (1)

where is taking over the roll of in the usual Pauli algebra. Any geometric number corresponds directly to a Pauli matrix , by the simple rule

 g=(1e1)u+[g](1e1).

For example, the famous Pauli matrices are specified by

 [e1]:=(0−110),  [e2]:=(0−II0),  [e1]:=(100−1), (2)

as can be easily checked. For , we have

 e2=(1e1)u+(0−II0)(1e1)=Ie1(u+−u−)=Ie1e3.

This shows that the Pauli algebra and the geometric algebra are fully compatible as algebraically isomorphic algebras over the complex numbers

 C:={z=s+tI|  for  s,t∈R}.

The geometric product of geometric numbers corresponds to the usual matrix algebra product of the matrices . The great advantage of the geometric algebra over the Pauli algebra , is that the geometric numbers are liberated from their coordinate representations as complex matrices, as well as being endowed with a complete geometric interpretation. On the other hand, the consistency of the rules of the geometric algebra follow from the known consistency of rules of matrix algebra, and matrices offer a computational tool for computing the product of geometric numbers .

It is worthwhile to give a summary of the deep relationship between pre-relativistic (Gibbs-Heaviside) vector algebra, and the geometric algebra . The geometric product of two vectors is given by

 ab=12(ab+ba)+12(ab−ba)=a⋅b+a∧b, (3)

where the inner product , and the outer product has the interpretation (due to Grassmann) of the bivector in the plane of the vectors and . The bivector , where is the vector normal to the plane of , and is its dual.

Another advantage of the geometric product over the inner product and the cross product , is the powerful cancellation rule

 ab=ac⟺a2b=a2c⟺b=c,

provided of course that . It takes knowledge of both and (or ), to uniquely determine the relative directions of the vectors and . Another unique advantage in the the geometric algebra is the Euler formula made possible by (3),

 ab=|a|b|eI^cθ=|a||b|(cosθ+I^csinθ),

where and similarly for , and is the angle between the vectors and . The unit vector can be defined by .

The Euler formula for the bivector , which has square , is the generator of rotations in the plane of the bivector . Later, when talking about Lorentz boosts, we will also utilize the hyperbolic Euler form

 eϕ^v=coshϕ+^vsinhϕ, (4)

where determines the rapidity of the boost in the direction of the unit vector .

A couple more formulas, relating the vector cross and dot products to the geometric product, are

 a∧b∧c:=a⋅(b×c)I=Idet[a,b,c],

and

 a⋅(b∧c):=(a⋅b)c−(a⋅c)b=−a×(b×c).

The triple vector products and are directly related to the geometric product by the identity

 a(b∧c)=12(a(b∧c)−(b∧c)a)+12(a(b∧c)+(b∧c)a),

where and . Detailed discussions and proofs of these identities, and their generalizations to higher dimensional geometric algebras, can be found in , . Geometric algebra has in recent years become a basic tool for research in quantum mechanics , , and more generally as a basic language of mathematics and physics , .

We now return to beautiful results which depend in large part only upon the geometric product. Thus the reader can relax and rely upon the familiar rules of matrix algebra, which are equally valid in the isomorphic geometric algebra.

## 2 Stereographic projection in R3

Consider the equation

 m=2^a+e3=2(^a+e3)(^a+e3)2=^a+e31+^a⋅e3, (5)

where is a unit vector for the vector . Clearly, this equation is well defined except when . Let us solve this equation for , but first we find that

 m⋅e3=(2^a+e3)⋅e3=1.

Returning to equation (5),

 (6)

Equation (5) can be equivalently expressed by

 ^a=^me3^m=(^me3)e3(e3^m)=(−I^m)e3(I^m),

showing that is obtained by a rotation of in the plane of through an angle of where , or equivalently, by a rotation of in the plane of through an angle of .

It is easily shown that the most general idempotent in has the form

 s=12(1+m+In) (7)

where

 (m+In)2=1⟺m2−n2=1  and  m⋅n=0,

and is the unit pseudoscalar element in . Consider now idempotents of the form , where . Equating , we find that

 (1+m+In)=(1+λe1)(1+e3)=1+λe1−Iλe2+e3.

Changing the parity of this equation, gives

 (1−m+In)=(1−λ†e1)(1−e3)=1−λ†e1−Iλ†e2−e3,

since the parity change (changing the sign of vectors) of is identical to the reverse (reversing the order of products of vectors) of .

We can now solve these last two equations for and in terms of , getting

 m=λ+λ†2e1+λ−λ†2Ie2+e3,In=λ−λ†2e1−λ+λ†2Ie2=m∧e3,

or

 m=x+e3andn=m×e3, (8)

where , the -plane. From (7), it immediately follows that

 s=12(1+m+In)=12(1+m+m∧e3)=mu+. (9)

We also easily find that

 m2=1+λλ†=1+x2≥1↔|m|=√1+λλ†=√1+x2.

A Pauli spinor is a column matrix of two complex components, which we denote by . Each Pauli spinor corresponds to a minimal left ideal , which in turn corresponds to geometric Pauli spinor, or Pauli g-spinor in the geometric algebra . We have

 [α]2=(α0α1)⟷[α]L:=(α00α10)⟷α:=(α0+α1e1)u+∈G3. (10)

By factoring out from -spinor , we get

 α=(α0+α1e1)u+=α0(1+α1α0e1)u+=α0p=α0mu+,

where is the idempotent defined above for .

By the norm of the -spinor , we mean

 |α|:=√2⟨α†α⟩0=√α0α†0+α1α†1≥0, (11)

where means the real number part of the geometric number . More generally we define the sesquilinear inner product between the -spinors to be

 ⟨α|β⟩:=2⟨α†β⟩0+3=α†0β0+α†1β1,

where means the scalar and pseudo-scalar parts of the geometric number . A -spinor is said to be normalized if .

From equations (7) and (11), it follows that for ,

 α=α0s=α0√1+λλ†^mu+=ρeIθ^mu+=ρeIθ^a+^m,

where , , and . Equations (5) and (6) have an immediate interpretation on the Riemann sphere centered at the origin. Figure 2 shows a cross-section of the Riemann -sphere, taken in the plane of the bivector , through the origin. We see that the stereographic projection from the South pole at the point , to the point on the Riemann sphere, passes through the point of the point onto the plane through the origin with the normal vector . Stereographic projection is just one example of conformal mappings, which have important generalizations to higher dimensions .

We can now simply answer a basic question in quantum mechanics. If a spin -particle is prepared in a normalized Pauli -spin state , what is the probability of finding it in a normalized Pauli g-state immediately thereafter? We calculate

 =2⟨^mb^b+^a+^b+^mb⟩0+3=⟨(1+^a⋅^b)u+⟩0+3=12(1+^a⋅^b). (12)

This relationship can be more directly expressed in terms of and . Using (6), for and , a short calculation gives the result

 1−(ma−mb)2m2am2b=12(1+^a⋅^b)⟺(ma−mb)2m2am2b=12(1−^a⋅^b), (13)

showing that the probability of finding the particle in that Pauli g-state is directly related to the Euclidean distance between the points and .

Clearly, when , the expression in (13) simplifies to

 (ma−mb)2m2am2b=1.

This will occur when , for which case

 ^b=^mbe3^mb=−^mae3^ma=−^aandmb⋅ma=0.

Writing for ,

 mb=xb+e3=1xae3(xa+e3)=e3xx2(xa+e3)=−1xa+e3. (14)

More details of the constructions found in this section can be found in  and .

## 3 Dirac spinors

What is missing in the concept of a Pauli spinor is the ability to distinguish between Pauli spinors in different reference frames. Within the geometric algebra , we are able to distinguish different inertial systems. Recall that the rest frame that defined the geometric algebra was , oriented by the property that . A set of three orthonormal geometric numbers , specified by the condition

 {e′1,e′2,e′3}=e12ϕ^v{e1,e2,e3}e−12ϕ^v,

where each , defines a rest frame, or inertial system of relative vectors moving with a velocity of , with respect to the inertial system defined by . If represents the time and position vector of an event in the inertial system , then the corresponding event in the inertial system is specified by the active Lorentz transformation , , .

Each inertial system is distinguished by how its observer partitions its geometric numbers into vectors and bivectors, in the same sense that what one observer identifies as a pure electric field, becomes a mixture of an (vector) electric and (bivector) magnetic field in an inertial system not at rest. But all observers have the same pseudoscalar element , representing the unit trivector of space. The relative geometric algebra

 G′3:=genR{e′k}3k=1=e12ϕ^vG3e−12ϕ^v,

consists of the same geometric numbers as in , but with a different observer dependent partition of what elements are identified as (relative) vectors, and what elements are identified as (relative) bivectors. These ideas have been explored by the author more fully in , and in the book [8, Chps:2,11].

Consider now Dirac spinors of the form

 Mϕ:=eϕe3x+e3=xcoshϕ+e3+Ie3×xsinhϕ (15)

where , and . When , becomes the Pauli spinor given in (8). Indeed, since ,

 ^Mϕ=Mϕ√x2+1=e12ϕe3M0√x2+1e−12ϕe3, (16)

so is just the normalized spinor defined by boosted into the inertial system where .

Starting with (15), we calculate

 ^Mϕ=xcoshϕ+e3√x2+1+I(e3×x)sinhϕ√x2+1=m1+Im2=e12ω^m1×^m2^m1e−12ω^m1×^m2, (17)

where and . which defines the velocity

 tanhω2=vωc:=√(m2)2(m1)2=|x|sinhϕ√x2cosh2ϕ+1

in the direction

From (16) and (17), it follows that the spinor boosted in the direction of , with rapidity , is in the same inertial system as the spinor defined by boosted in the direction of with rapidity .

Just as the equations (5) and (6) led to the interpretation of stereographic projection on the Riemann sphere, Figure 2, the generalized equation

 Mϕ=2^A+e3⟺^A=^Mϕe3^Mϕ,

where , leads to a stereographic projection of the Riemann sphere, followed by a boost. This is most clearly seen by writing

so the Dirac -spinor represented by , maps the North Pole into the point on the Riemann sphere, followed by the boost . See  for more details of this construction.

## References

•  W.E. Baylis, J.D. Keselica, The Complex Algebra of Physical Space: A Framework for Relativity, Advances in Applied Clifford Algebras, Vol. 22, No. 3, pp. 537 - 561, 2012.
•  D. Hestenes, New Foundations for Classical Mechanics, 2nd Ed., Kluwer 1999.
•  D. Hestenes, Zitterbewegung in Quantum Mechanics, Found Physics (2010) 40:1-54.
 http://geocalc.clas.asu.edu/pdf/ZBWinQM15**.pdf

•  G. Sobczyk, Part I: Vector Analysis of Spinors, (2014)
 http://arxiv.org/abs/1507.06608

•  G. Sobczyk, Part II: Spacetime Algebra of Dirac Spinors, (2015)
 http://arxiv.org/abs/1507.06609

•  G. Sobczyk, Conformal Mappings in Geometric Algebra, Notices of the AMS, Volume 59, Number 2, p.264-273, 2012.
•  G. Sobczyk, Geometry of Spin 1/2 Particles, Revista Mexicana de Física, 61 (2015) 211-223.
 http://rmf.smf.mx/pdf/rmf/61/3/61_3_211.pdf

•  G. Sobczyk, New Foundations in Mathematics: The Geometric Concept of Number, Birkhäuser, New York 2013.
•  G. Sobczyk, Geometric Matrix Algebra, Linear Algebra and its Applications, 429 (2008) 1163-1173.
•  G. Sobczyk, Hyperbolic Number Plane, The College Mathematics Journal, Vol. 26, No. 4, pp.268-280, September 1995.
•  G. Sobczyk, Spacetime Vector Analysis, Physics Letters A, Vol 84A, p.45-49, 1981.
You are adding the first comment!
How to quickly get a good reply:
• Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
• Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
• Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters   