Preprint
Article

4-Component Spinors for SL(4,C) and Four Types of Transformations

Altmetrics

Downloads

241

Views

204

Comments

1

This version is not peer-reviewed

Submitted:

09 April 2023

Posted:

11 April 2023

Read the latest preprint version here

Alerts
Abstract
We define a spinor-Minkowski metric for SL(4,C). It is not a trivial generalization of the SL(2,C) metric and it involves the Minkowski metric. We define 4x4 version of the Pauli matrices and their 4-component generalized eigenvectors. The generalized eigenvectors can be regarded as 4-component spinors and they can be grouped into four categories. Each category transforms in its own way. The outer products of pairwise combinations of 4-component spinors can be associated with 4-vectors.
Keywords: 
Subject: Physical Sciences  -   Theoretical Physics

1. Introduction

Let L A be an element of S L ( 2 , C ) . In an exponential form with parameters θ and η :
L A = e x p ( i 2 ( θ · σ + i η · σ ) )
σ is the Pauli vector with σ 1 = σ x , σ 2 = σ y , σ 3 = σ z . The subscript A is introduced in order to distinguish the other forms of L that will be introduced subsequently.
We rewrite L A and its complex conjugate in the following compact forms:
L A = e x p ( i 2 π A · σ ) , L A * = e x p ( i 2 π A * · σ * )
( π A ) i = θ i + i η i and * denotes complex conjugation. L A corresponds to the Lorentz transformation with θ i and η i being the rotation and boost parameters, respectively.
It is well known that the complex version of the 4 × 4 Lorentz transformation matrix can be written as a matrix direct product of L A and L A * :
λ = L A L A *
In order to obtain the familiar real matrix form of the Lorentz transformation it is enough to change the basis:
Λ = A ( L A L A * ) A 1
where
A = 1 2 1 0 0 1 0 1 1 0 0 i i 0 1 0 0 1 , A 1 = A = 1 2 1 0 0 1 0 1 i 0 0 1 i 0 1 0 0 1
Now, it is straightforward to show that S O ( 3 , 1 ) can be written as a commutative product of S L ( 4 , C ) and S L ( 4 , C ) * by simply rewriting Eq.(4) in a factorized form:
Λ = [ A ( L A I ) A 1 ] [ A ( I L A * ) A 1 ] = Z A Z A * = Z A * Z A ,
Z A = A ( L A I ) A 1 , Z A * = A ( I L A * ) A 1 .
Z A and Z A * are the 4 × 4 versions of L A and L A * matrices. They can be expressed in terms of Σ i matrices:
Z A = e x p ( i 2 π A · Σ ) , Z A * = e x p ( i 2 π A * · Σ * ) .
Σ = ( Σ 1 , Σ 2 , Σ 3 ) and Σ i are 4 × 4 versions of Pauli matrices:
Σ 1 = 0 1 0 0 1 0 0 0 0 0 0 i 0 0 i 0 , Σ 2 = 0 0 1 0 0 0 0 i 1 0 0 0 0 i 0 0 , Σ 3 = 0 0 0 1 0 0 i 0 0 i 0 0 1 0 0 0
These are traceless Hermitian matrices and they satisfy the same commutation relations as σ i matrices
1 2 Σ i , 1 2 Σ j = i 2 ϵ i j k Σ k .
By definition, Σ μ = A ( σ μ I ) A 1 , ( μ = 0 , 1 , 2 , 3 ) , Σ 0 is the 4 × 4 identity. Σ μ basis do not form a complete set for 4 × 4 matrices, but the set of Σ μ Σ ν * does.
From the Eq.(7), Z A can be found in terms of the elements of L A :
Z A = α 0 α 1 α 2 α 3 α 1 α 0 i α 3 i α 2 α 2 i α 3 α 0 i α 1 α 3 i α 2 i α 1 α 0
where α 0 = 1 2 ( L 11 + L 22 ) , α 1 = 1 2 ( L 12 + L 21 ) , α 2 = i 2 ( L 12 L 21 ) , and α 3 = 1 2 ( L 11 L 22 ) . Hence, L A can be written in terms of α μ as
L A = α 0 + α 3 α 1 i α 2 α 1 + i α 2 α 0 α 3
We can write L A and Z A in terms of σ μ and Σ μ matrices:
L A = α 0 σ 0 + α 1 σ 1 + α 2 σ 2 + α 3 σ 3
Z A = α 0 Σ 0 + α 1 Σ 1 + α 2 Σ 2 + α 3 Σ 3
Or, simply
L A = ( + + + + ) σ .
Z A = ( + + + + ) Σ .
We also define the spinor metric g for S L ( 4 , C ) that corresponds to the spinor metric ϵ of S L ( 2 , C ) :
g = g μ ν = i η Σ 2 * = 0 0 i 0 0 0 0 1 i 0 0 0 0 1 0 0 ; g 1 = g μ ν = g .
η is the mostly minus Minkowski metric1.
Z A preserves the Minkowski metric:
Z A T η Z A = η
Since η is real, Z A T η Z A = η directly entails Λ T η Λ = η . In an analogy with ϵ σ i ϵ 1 = σ i * , we have the following very useful relation:
g Σ i g 1 = Σ i *
In this note we will show that there are eight generalized eigenvectors of Σ 3 * matrix that can be interpreted as 4-component covariant spinors. The generalized eigenvectors can be pairwise grouped into four categories. The first pair transforms in the usual way, but the other three transform in different ways.
In the following we will study the first and the second pairs in detail, and we will introduce the remaining two in the subsequent sections.

2. The First and the Second Pairs and Their Transformation Properties

Let L A = e x p ( i 2 π A · σ ) be the ( 1 2 , 0 ) representation of the Lorentz group that acts on the 2-component left-chiral spinor ξ L :
ξ L ξ L = L A ξ L .
where
L A = L 11 L 12 L 21 L 22
In terms of the components u , v of ξ L :
u u = L 11 u + L 12 v , v v = L 21 u + L 22 v .
Let us call this transformation scheme T A .
Let L ˙ A = e x p ( i 2 π A * · σ ) be the dotted version corresponding to the ( 0 , 1 2 ) representation of the Lorentz group. L ˙ A = ( L A 1 ) . Let ξ R be the 2-component right-chiral spinor. ξ R = ϵ ξ L * , where
ϵ = ϵ a b = 0 1 1 0 , ϵ 1 = ϵ a b = ϵ .
ξ R transforms as
ξ R ξ R = L ˙ A ξ R
In terms of the components u , v , Eq.(24) is equivalent to the scheme T A given in Eq.(22).
What happens when L A acts on ϵ ξ L ? In this case, in terms of the components
u u = L 22 u L 21 v , v v = L 12 u + L 11 v
Let us call this transformation scheme T B . We can write T B in a matrix form:
u v u v = L 22 L 21 L 12 L 11 u v
Let us name this transformation matrix as L B . Note that, L B = ( L ˙ A ) * , and Eq.(26) is nothing but the transformation of ξ L under the action of L B , which is a type T B transformation.
Now, let Z A = e x p ( i 2 π A · Σ ) be the ( 1 2 , 0 ) representation of S L ( 4 , C ) that acts on the first pair of the 4-component undotted covariant spinors:
χ ( 1 ) Z A χ ( 1 ) , χ ( 2 ) Z A χ ( 2 )
where χ ( 1 ) and χ ( 2 ) are the generalized eigenvectors of Σ 3 *  2:
χ ( 1 ) = 1 2 u v i v u , χ ( 2 ) = 1 2 v u i u v
Indices in the parentheses are simply labels for 4-component spinors.
Now consider the second pair of the generalized eigenvectors of Σ 3 * :
χ ( 3 ) = 1 2 v u i u v , χ ( 4 ) = 1 2 u v i v u
Transformation scheme of χ ( 3 ) and χ ( 4 ) is different from that of χ ( 1 ) and χ ( 2 ) . Under the action of Z A , χ ( 1 ) and χ ( 2 ) transform according to the scheme T A , but χ ( 3 ) and χ ( 4 ) transform according to the scheme T B . However, we may think in an alternative way: Suppose that χ ( 3 ) and χ ( 3 ) are different kind of objects with different transformation properties, such that another transformation matrix, Z B , acts on them and under the action of Z B they transform according to the scheme T A :
χ ( 3 ) Z B χ ( 3 ) , χ ( 4 ) Z B χ ( 4 ) ,
By definition Z B = A ( L B I ) A 1 :
Z B = α 0 α 1 α 2 α 3 α 1 α 0 i α 3 i α 2 α 2 i α 3 α 0 i α 1 α 3 i α 2 i α 1 α 0 = α 0 Σ 0 α 1 Σ 1 + α 2 Σ 2 α 3 Σ 3 .
Or, simply
Z B = ( + + ) Σ
Now let Z ˙ A = e x p ( i 2 π A * · Σ ) be the ( 0 , 1 2 ) representation. Z ˙ A = ( Z A 1 ) . We regard the generalized eigenvectors of Σ 3 as 4-component undotted contravariant spinors and we define the first pair as follows:
χ ( 1 ) = 1 2 v u i u v , χ ( 2 ) = 1 2 u v i v u
Under the action of Z ˙ A , dotted versions of χ ( 1 ) and χ ( 1 ) transform according to the scheme T A .
χ ˙ ( 1 ) Z ˙ A χ ˙ ( 1 ) , χ ˙ ( 2 ) Z ˙ A χ ˙ ( 2 )
The second pair of the generalized eigenvectors of Σ 3 is defined as
χ ( 3 ) = 1 2 u v i v u , χ ( 4 ) = 1 2 v u i u v
Under the action of Z ˙ A , the dotted versions of χ ( 3 ) and χ ( 4 ) transform according to the scheme T B . But, they transform according to the scheme T A under the action of Z ˙ B :
χ ˙ ( 3 ) Z ˙ B χ ˙ ( 3 ) , χ ˙ ( 4 ) Z ˙ B χ ˙ ( 4 )
where Z ˙ B = ( Z B 1 ) by definition. χ ( a ) is related to χ ( a ) by the S L ( 4 , C ) metric, χ ( a ) = g χ ( a ) , and its dotted version is defined as 3.
χ ˙ ( a ) = ( g χ ( a ) ) * .
We write various forms of Z and L matrices in compact notation to manifest the parallelism between them:
L A = ( + + + + ) σ , L B = ( + + ) σ , L ˙ A = ( + ) σ * , L ˙ B = ( + + + ) σ * .
Z A = ( + + + + ) Σ , Z B = ( + + ) Σ , Z ˙ A = ( + ) Σ * , Z ˙ B = ( + + + ) Σ * .

3. Outer Products of 4-Component Spinors and Null 4-Vectors

Let us define the outer product W L = ξ L ξ L which transforms as
W L W L = ( L A ξ L ) ( L A ξ L ) = L A W L L A
This is a type T A transformation. Determinant of W L is zero, hence W L can be associated with a null 4-vector through the substitutions, t = 1 2 ( u u ˙ + v v ˙ ) , x = 1 2 ( u v ˙ + v u ˙ ) , y = i 2 ( u v ˙ v u ˙ ) , z = 1 2 ( u u ˙ v v ˙ ) :
W L = t + z x i y x + i y t z
We also define the outer product W R = ξ R ξ R which transforms as
W R W R = ( L ˙ A ξ R ) ( L ˙ A ξ R ) = L ˙ A W R L ˙ A
This is also a type T A transformation. Determinant of W R is zero and W R can be associated with a null 4-vector:
W R = t z x + i y x i y t + z
Note that W R can be obtained from W L by parity inversion.
There are outer product forms of 4-component spinors that can be associated with null 4-vectors. W ( 11 ) = χ ( 1 ) χ ( 1 ) and W ( 22 ) = χ ( 2 ) χ ( 2 ) transform in a similar way with W L :
W ( 11 ) = u u ˙ u v ˙ i u v ˙ u u ˙ v u ˙ v v ˙ i v v ˙ v u ˙ i v u ˙ i v v ˙ v v ˙ i v u ˙ u u ˙ u v ˙ i u v ˙ u u ˙ , W ( 22 ) = v v ˙ v u ˙ i v u ˙ v v ˙ u v ˙ u u ˙ i u u ˙ u v ˙ i u v ˙ i u u ˙ u u ˙ i u v ˙ v v ˙ v u ˙ i v u ˙ v v ˙
For a = 1 and a = 2 , W ( a a ) transform according to the scheme T A as
W ( a a ) W ( a a ) = ( Z A χ ( a ) ) ( Z A χ ( a ) ) = Z A W ( a a ) Z A .
This equation is equivalent to the Eq.(40), and it is the main motivation behind the interpretation of χ ( a ) as 4-component spinors for S L ( 4 , C ) .
W ˙ ( 11 ) = χ ˙ ( 1 ) χ ˙ ( 1 ) and W ˙ ( 22 ) = χ ˙ ( 2 ) χ ˙ ( 2 ) transform in a similar way with W R :
W ˙ ( 11 ) = v v ˙ u v ˙ i u v ˙ v v ˙ v u ˙ u u ˙ i u u ˙ v u ˙ i v u ˙ i u u ˙ u u ˙ i v u ˙ v v ˙ u v ˙ i u v ˙ v v ˙ , W ˙ ( 22 ) = u u ˙ v u ˙ i v u ˙ u u ˙ u v ˙ v v ˙ i v v ˙ u v ˙ i u v ˙ i v v ˙ v v ˙ i u v ˙ u u ˙ v u ˙ i v u ˙ u u ˙
For a = 1 and a = 2 , W ˙ ( a a ) transform according to the scheme T A as
W ˙ ( a a ) Z ˙ A W ˙ ( a a ) Z ˙ A
W ( a a ) and W ˙ ( a a ) are Hermitian and zero determinant matrices, hence they correspond to null 4-vectors.
We also have outer products of 4-component spinors of the other kind. For a = 3 and a = 4 , W ( a a ) and W ˙ ( a a ) transform according to the scheme T A under the action of Z B and Z ˙ B :
W ( a a ) Z B W ( a a ) Z B , W ˙ ( a a ) Z ˙ B W ˙ ( a a ) Z ˙ B
These are also Hermitian and zero determinant matrices and they correspond to null 4-vectors.

4. Quaternion Forms and 4-Vectors

In general, we can treat t , x , y and z as variables that do not depend on u and v. Then, we can associate the following matrices X L and X R with 4-vectors, which are not necessarily null:
W L X L = t + z x i y x + i y t z = t σ 0 + x σ 1 + y σ 2 + z σ 3 = ( + + + + ) σ
W R X R = t z x + i y x i y t + z = t σ 0 x σ 1 y σ 2 z σ 3 = ( + ) σ
det X L = det X R = t 2 x 2 y 2 z 2 and in general not zero. X L and X R transform as
X L X L = L A X L L A , X R X R = L ˙ A X R L ˙ A
These are matrix representations of quaternions, because i σ 1 , i σ 2 , i σ 3 matrices have the same properties as the Hamilton’s quaternion basis, i , j , k :
X L = t σ 0 + i x ( i σ 1 ) + i y ( i σ 2 ) + i z ( i σ 3 ) = t 1 + i x i + i y j + i z k .
Similarly,
X R = t 1 i x i i y j i z k .
In order to make the analogy with S L ( 4 , C ) we consider the following two column objects that are pairwise combinations of 4-component spinors:
χ A = 1 2 u v v u i v i u u v , χ B = 1 2 v u u v i u i v v u , χ A = 1 2 v u u v i u i v v u , χ B = 1 2 u v v u i v i u u v
where χ A = ( χ ( 1 ) , χ ( 2 ) ) , χ B = ( χ ( 3 ) , χ ( 4 ) ) , χ A = ( χ ( 1 ) , χ ( 2 ) ) , χ B = ( χ ( 3 ) , χ ( 4 ) ) .
We define an outer product of 4-component spinor pair in the form W A = χ A χ A , which is formally a quaternion:
W A = 1 2 u u ˙ + v v ˙ u v ˙ + v u ˙ i u v ˙ i v u ˙ u u ˙ v v ˙ v u ˙ + u v ˙ v v ˙ + u u ˙ i v v ˙ i u u ˙ v u ˙ u v ˙ i v u ˙ + i u v ˙ i v v ˙ + i u u ˙ v v ˙ + u u ˙ i v u ˙ i u v ˙ u u ˙ v v ˙ u v ˙ v u ˙ i u v ˙ + i v u ˙ u u ˙ + v v ˙
W A can be written as a sum of two basic forms: W A = W ( 11 ) + W ( 22 ) . In its present form det W A = 0 and W A corresponds to a null 4-vector, but we can associate W A with an arbitrary 4-vector in terms of the variables t , x , y and z:
W A Q A = t x y z x t i z i y y i z t i x z i y i x t = t Σ 0 + x Σ 1 + y Σ 2 + z Σ 3 .
Q A = ( + + + + ) Σ and it is the 4 × 4 version of X L :
Q A = A ( X L I ) A 1
Similarly, we define W ˙ A :
W ˙ A = χ ˙ A χ ˙ A = W ˙ ( 11 ) + W ˙ ( 22 ) = 1 2 v ˙ v + u ˙ u v ˙ u u ˙ v i v ˙ u + i u ˙ v v ˙ v u ˙ u u ˙ v v ˙ u u ˙ u + v ˙ v i u ˙ u i v ˙ v u ˙ v + v ˙ u i u ˙ v i v ˙ u i u ˙ u + i v ˙ v u ˙ u + v ˙ v i u ˙ v + i v ˙ u v ˙ v u ˙ u v ˙ u + u ˙ v i v ˙ u i u ˙ v v ˙ v + u ˙ u
In terms of the variables t , x , y and z:
W ˙ A Q ˙ A = t x y z x t i z i y y i z t i x z i y i x t = t Σ 0 x Σ 1 y Σ 2 z Σ 3 .
Q ˙ A = ( + ) Σ and it is the 4 × 4 version of X R :
Q ˙ A = A ( X R I ) A 1 .
Q ˙ A can be obtained from Q A by parity inversion and they transform as
Q A Z A Q A Z A , Q ˙ A Z ˙ A Q ˙ A Z ˙ A
These are type T A transformations, hence these forms correspond to 4-vectors.
The outer product W B = χ B χ B is also a quaternion:
W B = 1 2 v v ˙ + u u ˙ v u ˙ u v ˙ i v u ˙ + i u v ˙ v v ˙ u u ˙ u v ˙ v u ˙ u u ˙ + v v ˙ i u u ˙ i v v ˙ u v ˙ + v u ˙ i u v ˙ i v u ˙ i u u ˙ + i v v ˙ u u ˙ + v v ˙ i u v ˙ + i v u ˙ v v ˙ u u ˙ v u ˙ + u v ˙ i v u ˙ i u v ˙ v v ˙ + u u ˙
In terms of variables t , x , y and z:
W B Q B = t x y z x t i z i y y i z t i x z i y i x t = t Σ 0 x Σ 1 + y Σ 2 z Σ 3 .
Q B = ( + + ) Σ .
We also write W ˙ B :
W ˙ B = χ ˙ B χ ˙ B = 1 2 u ˙ u + v ˙ v u ˙ v + v ˙ u i u ˙ v i v ˙ u u ˙ u v ˙ v v ˙ u + u ˙ v v ˙ v + u ˙ u i v ˙ v i u ˙ u v ˙ u u ˙ v i v ˙ u + i u ˙ v i v ˙ v + i u ˙ u v ˙ v + u ˙ u i v ˙ u i u ˙ v u ˙ u v ˙ v u ˙ v v ˙ u i u ˙ v + i v ˙ u u ˙ u + v ˙ v
W ˙ B Q ˙ B = t x y z x t i z i y y i z t i x z i y i x t = t Σ 0 + x Σ 1 y Σ 2 + z Σ 3 .
Q ˙ B = ( + + + ) Σ and it can be obtained from Q B by parity inversion. Q B and Q ˙ B transform with Z B and Z ˙ B :
Q B Z B Q B Z B , Q ˙ B Z ˙ B Q ˙ B Z ˙ B
These transformations obey the scheme T A also, hence they correspond to 4-vectors.
With the compact notation we can show a very nice symmetry: The form of the transformation matrix matches the form of the transformed object. For example, Z A = ( + + + + ) Σ acts on the form Q A = ( + + + + ) Σ , Z B = ( + + ) Σ acts on the form Q B = ( + + ) Σ , Z ˙ A = ( + ) Σ * acts on the form Q ˙ A = ( + ) Σ , and Z ˙ B = ( + + + ) Σ * acts on the form Q ˙ B = ( + + + ) Σ .

5. Two More Pairs of Spinors

There are four eigenvectors of Σ 3 * that constitute a complete orthonormal set of basis:
e 1 = 1 0 0 1 , e 2 = 1 0 0 1 , e 3 = 0 1 i 0 , e 4 = 0 1 i 0 .
e 1 and e 3 correspond to + 1 eigenvalue and e 2 and e 4 correspond to 1 eigenvalue. We obtain eight generalized eigenvectors by combining the basis corresponding to the same eigenvalue. For example, we can obtain the four generalized eigenvectors that we have previously studied as follows:
χ ( 1 ) = u e 1 + v e 3 , χ ( 2 ) = v e 2 u e 4 ,
χ ( 3 ) = v e 1 + u e 3 , χ ( 4 ) = u e 2 v e 4 ,
We can obtain four more generalized eigenvectors of Σ 3 * by changing the sign or swapping u and v:
χ ( 5 ) = u e 1 + v e 3 , χ ( 6 ) = v e 2 u e 4 ,
χ ( 7 ) = v e 1 + u e 3 , χ ( 8 ) = u e 2 + v e 4 ,
Totally we get eight undotted covariant spinors:
χ ( 1 ) = u v i v u , χ ( 2 ) = v u i u v , χ ( 3 ) = v u i u v , χ ( 4 ) = u v i v u ,
χ ( 5 ) = u v i v u , χ ( 6 ) = v u i u v , χ ( 7 ) = v u i u v , χ ( 8 ) = u v i v u .
We can group χ ( a ) ( a = 1 , 2 , 8 ) pairwise:
P A = { χ ( 1 ) , χ ( 2 ) } , P B = { χ ( 3 ) , χ ( 4 ) } , P C = { χ ( 5 ) , χ ( 6 ) } , P D = { χ ( 7 ) , χ ( 8 ) } ,
We already know that P A transforms with Z A and P B transforms with Z B . Following the same procedure that we have applied in the previous sections we can show that P C and P D transform with Z C and Z D respectively:
Z C = A ( L C I ) A 1 , Z D = A ( L D I ) A 1 ,
where
L C = L 11 L 12 L 21 L 22 = α 0 + α 3 α 1 + i α 2 α 1 i α 2 α 0 α 3 = ( + + ) σ
L D = L 22 L 21 L 12 L 11 = α 0 α 3 α 1 + i α 2 α 1 i α 2 α 0 + α 3 = ( + + ) σ
L ˙ C = ( + + + ) σ * = L D *
L ˙ D = ( + + + ) σ * = L C *
Z C = α 0 α 1 α 2 α 3 α 1 α 0 i α 3 i α 2 α 2 i α 3 α 0 i α 1 α 3 i α 2 i α 1 α 0 = ( + + ) Σ
Z D = α 0 α 1 α 2 α 3 α 1 α 0 i α 3 i α 2 α 2 i α 3 α 0 i α 1 α 3 i α 2 i α 1 α 0 = ( + + ) Σ
There are also the dotted versions:
Z ˙ C = α 0 * α 1 * α 2 * α 3 * α 1 * α 0 * i α 3 * i α 2 * α 2 * i α 3 * α 0 * i α 1 * α 3 * i α 2 * i α 1 * α 0 * = ( + + + ) Σ *
Z ˙ D = α 0 * α 1 * α 2 * α 3 * α 1 * α 0 * i α 3 * i α 2 * α 2 * i α 3 * α 0 * i α 1 * α 3 * i α 2 * i α 1 * α 0 * = ( + + + ) Σ *
We also define the contravariat spinors χ ( a ) = g χ ( a ) ( a = 1 , 2 , 8 ) that correspond to the generalized eigenvectors of Σ 3 :
χ ( 1 ) = v u i u v , χ ( 2 ) = u v i v u , χ ( 3 ) = u v i v u , χ ( 4 ) = v u i u v ,
χ ( 5 ) = v u i u v , χ ( 6 ) = u v i v u , χ ( 7 ) = u v i v u , χ ( 8 ) = v u i u v .
We group them pairwise:
P A = { χ ( 1 ) , χ ( 2 ) } , P B = { χ ( 3 ) , χ ( 4 ) } , P C = { χ ( 5 ) , χ ( 6 ) } , P D = { χ ( 7 ) , χ ( 8 ) }
Each pair of the dotted contravariant spinors transform with the associated dotted Z matrix.
We define four two-column covariant objects:
χ A = ( χ ( 1 ) , χ ( 2 ) ) , χ B = ( χ ( 3 ) , χ ( 4 ) ) , χ C = ( χ ( 5 ) , χ ( 6 ) ) , χ D = ( χ ( 7 ) , χ ( 8 ) )
And we define the corresponding two-column contravariant objects
χ A = ( χ ( 1 ) , χ ( 2 ) ) , χ B = ( χ ( 3 ) , χ ( 4 ) ) , χ C = ( χ ( 5 ) , χ ( 6 ) ) , χ D = ( χ ( 7 ) , χ ( 8 ) )
Finally, we construct eight outer products that lead to the following quaternions:
χ A χ A Q A = ( + + + + ) Σ , χ ˙ A χ ˙ A Q ˙ A = ( + ) Σ .
χ B χ B Q B = ( + + ) Σ , χ ˙ B χ ˙ B Q ˙ B = ( + + + ) Σ .
χ C χ C Q C = ( + + ) Σ , χ ˙ C χ ˙ C Q ˙ C = ( + + + ) Σ .
χ D χ D Q D = ( + + ) Σ , χ ˙ D χ ˙ D Q ˙ D = ( + + + ) Σ .
Each form transforms in its own way with the matching Z or Z ˙ matrix.

6. Complex Conjugated Forms

Let us write the complex conjugates of the quaternion forms:
Q A = ( + + + + ) Σ c . c . Q ˙ A = ( + + + + ) Σ *
Q B = ( + + ) Σ c . c . Q ˙ B = ( + + ) Σ *
Q C = ( + + ) Σ c . c . Q ˙ C = ( + + ) Σ *
Q D = ( + + ) Σ c . c . Q ˙ D = ( + + ) Σ *
Q ˙ A = ( + ) Σ c . c . Q A = ( + ) Σ *
Q ˙ B = ( + + + ) Σ c . c . Q B = ( + + + ) Σ *
Q ˙ C = ( + + + ) Σ c . c . Q C = ( + + + ) Σ *
Q ˙ D = ( + + + ) Σ c . c . Q D = ( + + + ) Σ *
Conjugate forms reside in the dual space that spanned by Σ μ * . They don’t have any counterpart in S L ( 2 , C ) . Dotted lower indexed and undotted upper indexed forms transform with Z * or with ( Z ˙ ) * matrices respectively and all transformations obey the scheme T A .
4-vector scalar product can be defined by using the dual forms in two equivalent ways. Let Q and P be two 4-vectors and let Q X and P X be the corresponding quaternions ( X = A , B , C , D ) :
Q · P = 1 4 Tr ( Q X T P X )
Or, noting that P X = g P X g 1 , we can write also as:
Q · P = 1 4 ( Q μ ν ˙ P μ ν ˙ )
where now indices refer to the components and the summation convention is implied.
In general, in order to get something real we have to use both Σ and Σ * . As an example, Λ = Z Z * = Z * Z , is the real Lorentz transformation matrix.

7. Four Types of Transformations for SL(2, C)

We can suggest a similar formalism for S L ( 2 , C ) . Let ξ A , ξ B , ξ C and ξ D be covariant spinors:
ξ A = u v , ξ B = v u , ξ C = u v , ξ D = v u
and let ξ A , ξ B , ξ C and ξ D be contravariant spinors:
ξ A = v u , ξ B = u v , ξ C = v u , ξ D = u v
where ξ A = ξ B , ξ B = ξ A , ξ C = ξ D and ξ D = ξ C . This proliferation is necessary for the symmetry in Figure 1.
We have the following transformation properties:
ξ A L A ξ A , ξ B L B ξ B , ξ C L C ξ C , ξ D L D ξ D
ξ ˙ A L ˙ A ξ A , ξ ˙ B L ˙ B ξ B , ξ ˙ C L ˙ C ξ C , ξ ˙ D L ˙ D ξ D ,
L ˙ A = L B * , L ˙ B = L A * , L ˙ C = L D * , L ˙ D = L C *
All transformations obey the scheme T A .
We have the following outer products:
ξ A ξ A X A = ( + + + + ) σ , ξ B ξ B X B = ( + + ) σ
ξ C ξ C X C = ( + + ) σ , ξ D ξ D X D = ( + + ) σ
ξ ˙ A ξ ˙ A X ˙ A = ( + ) σ , ξ ˙ B ξ ˙ B X ˙ B = ( + + + ) σ ,
ξ ˙ C ξ ˙ C X ˙ C = ( + + + ) σ , ξ ˙ D ξ ˙ D X ˙ D = ( + + + ) σ ,
It is worth noting that complex conjugating these forms does not yield anything new.

Appendix A

Appendix A.1. Various Forms of Z and L Matrices

Let us begin with the exponential form Z A = e R , where R = i 2 π · Σ , π i = θ i + i η i . Let ϕ be the complex angle defined as ϕ = 1 2 π 1 2 + π 2 2 + π 3 2 . Using the property R 2 = ϕ 2 I :
Z A = cos ϕ I i sin ϕ 2 ϕ π · Σ = α 0 α 1 α 2 α 3 α 1 α 0 i α 3 i α 2 α 2 i α 3 α 0 i α 1 α 3 i α 2 i α 1 α 0
where
α 0 = cos ϕ , α 1 = i sin ϕ 2 ϕ π 1 , α 2 = i sin ϕ 2 ϕ π 2 , α 3 = i sin ϕ 2 ϕ π 3 .
Or in a compact form
Z A = α 0 Σ 0 + α 1 Σ 1 + α 2 Σ 2 + α 3 Σ 3 = ( + + + + ) Σ .
It is easy to show that
Z A 1 = α 0 Σ 0 α 1 Σ 1 α 2 Σ 2 α 3 Σ 3 = ( + ) Σ .
and
Z A = α 0 * Σ 0 + α 1 * Σ 1 + α 2 * Σ 2 + α 3 * Σ 3 = ( + + + + ) Σ *
where complex conjugation is applied only to α μ .
The corresponding L A is
L A = α 0 + α 3 α 1 i α 2 α 1 + i α 2 α 0 α 3
In terms of the Pauli matrices:
L A = α 0 σ 0 + α 1 σ 1 + α 2 σ 2 + α 3 σ 3 = ( + + + + ) σ .
In order to write Z B we first find L B = ( L ˙ A ) * , where
L ˙ A = ( L A 1 ) = α 0 * α 3 * α 1 * + i α 2 * α 1 * i α 2 * α 0 * + α 3 * = ( + ) σ * .
From the definition Z B = A ( L B I ) A 1 :
Z B = α 0 α 1 α 2 α 3 α 1 α 0 i α 3 i α 2 α 2 i α 3 α 0 i α 1 α 3 i α 2 i α 1 α 0 = α 0 Σ 0 α 1 Σ 1 + α 2 Σ 2 α 3 Σ 3 .
Or, simply
Z B = ( + + ) Σ
We write various forms of Z and L matrices in compact forms:
L A = ( + + + + ) σ , L B = ( + + ) σ , L ˙ A = ( + ) σ * , L ˙ B = ( + + + ) σ * .
Z A = ( + + + + ) Σ , Z B = ( + + ) Σ , Z ˙ A = ( + ) Σ * , Z ˙ B = ( + + + ) Σ * .
Although, all types of Z and L matrices are in the same form, there is a very important difference between them. Because of the particular property of the Pauli matrices, σ 1 * = σ 1 , σ 3 * = σ 3 , but σ 2 * = σ 2 , we have the following relations:
L B = L ˙ A * , L ˙ B = L A * .
For example,
L ˙ A = ( + ) σ * L ˙ A * = ( + ) σ * = ( + + ) σ = L B .
On the other hand we do not have a similar property with Σ matrices, hence
Z B Z ˙ A * , Z ˙ B Z A * .
.
The structural difference between S L ( 2 , C ) and S L ( 4 , C ) becomes more apparent when we write the matrices in exponential forms. In order to do this we have to define two types of π : π A = ( π 1 , π 2 , π 3 ) and π B = ( π 1 , π 2 , π 3 ) .
L A = e x p ( i 2 π A · σ ) , L B = e x p ( i 2 π B · σ ) , L ˙ A = e x p ( i 2 π A * · σ ) , L ˙ B = e x p ( i 2 π B * · σ ) .
Z A = e x p ( i 2 π A · Σ ) , Z B = e x p ( i 2 π B · Σ ) , Z ˙ A = e x p ( i 2 π A * · Σ ) , Z ˙ B = e x p ( i 2 π B * · Σ ) .
Due to the properties, π B · σ = π A · σ * and π B · σ * = π A · σ , the relations in Eq.(A13) hold. But we do not have similar relations with the Σ matrices.

Appendix A.2. Two Types of Lorentz Transformations

Let ξ A and χ A be 2- and 4-component spinors that transform according to the scheme T A , and let V A be a 4-vector that can be associated with the outer products ξ A ξ A and χ A χ A . V A transforms as
V A V A = Λ A V A ,
Λ A is the usual 4 × 4 real Lorentz transformation matrix that corresponds to the scheme T A :
Λ A = A ( L A L A * ) A 1
where L A = L . The corresponding S L ( 4 , C ) elements are
Z A = A ( L A I ) A 1 , Z A * = A ( I L A * ) A 1
Λ A = Z A Z A * = Z A * Z A .
Let χ B be a 4-component spinor that transforms according to the scheme T B , and let V B be a 4-vector associated with the outer product χ B χ B . V B transforms as
V B V B = Λ B V B ,
where Λ B is the 4 × 4 real Lorentz transformation matrix that corresponds to the scheme T B :
Λ B = A ( L B L B * ) A 1
. where L B = L ˙ A * by definition. The corresponding S L ( 4 , C ) elements are
Z B = A ( L B I ) A 1 , Z B * = A ( I L B * ) A 1 .
Λ B = Z B Z B * = Z B * Z B .
In this case, we don’t have a counterpart of χ B in the formalism of S L ( 2 , C ) .
Λ A and Λ B preserves the Minkowski norm due to the relations Λ A T η Λ A = η and Λ B T η Λ B = η . Since η is real, these relations follow from the following more fundamental relations:
Z A T η Z A = η , Z B T η Z B = η .

Appendix A.3. The Other Way Around

Suppose that, for a = 1 or a = 2 , the eigenvectors of Σ 3 * and Σ 3 transform as follows:
χ ( a ) χ ( a ) = Z A χ ( a ) , χ ( a ) χ ( a ) = Z ˙ A * χ ( a )
We know that these transformations obey the scheme T A .
Suppose that, for a = 3 or a = 4 , the eigenvectors of Σ 3 * and Σ 3 are mathematical objects that have different properties than the eigenvectors with indices a = 1 or a = 2 . Possibly, they describe physical objects of different kind which transform as
χ ( a ) χ ( a ) = Z B χ ( a ) , χ ( a ) χ ( a ) = Z ˙ B * χ ( a )
In this case, these transformations will also obey the scheme T A , and accordingly all null and non-null 4-vectors that correspond to the outer product forms and associated quaternion forms will transform in the usual way, i.e., they transform with Λ A .

References

  1. Han, D.; Kim, Y.S.; Noz, M.E. Polarization optics and bilinear representation of the Lorentz group. Physics Letters A 1996, 219, 26–21. [Google Scholar] [CrossRef]
  2. K. N. Srinivasa Rao, Linear Algebra and Group Theory for Physicists, Second Edition, Hindustan Book Agency, New Delhi, India.
  3. Sudha and, A.V. Gopala Rao, "Polarization Elements: A Group Theoretical Study".
  4. D. Han, Y. S. D. Han, Y. S. Kim, Marilyn E. arXiv:physics/9703032V1[physics.optics] 28 Mar 1997.
  5. Kuntman, E.; Kuntman, M.A.; Arteaga, O. Vector and matrix states for Mueller matrices of nondepolarizing optical media. J. Opt. Soc. Am. A 2017, 34, 80–86. [Google Scholar] [CrossRef] [PubMed]
  6. Kuntman, E.; Kuntman, M.A.; Canillas, A.; Arteaga, O. Quaternion algebra for Stokes–Mueller formalism. J. Opt. Soc. Am. A 2019, 36, 492–497. [Google Scholar] [CrossRef] [PubMed]
  7. Azzam, R.M.A. Propagation of partially polarized light through anisotropic media with or without depolarization: A differential 4 × 4 matrix calculus. J. Opt. Soc. Am. 1978, 68, 1756. [Google Scholar] [CrossRef]
  8. Barakat, R. Exponential versions of the Jones and Mueller–Jones polarization matrices. J. Opt. Soc. Am. A 1996, 13, 1. [Google Scholar] [CrossRef]
  9. Cloude, S.R. Group theory and polarization algebra. Optik 1986, 75, 26–36. [Google Scholar]
  10. Hamilton, W.R. On a new species of imaginary quantities connected with the theory of quaternions. Proceedings of the Royal Irish Academy 1844, 2, 424–434. [Google Scholar]
  11. Başkal, Sibel and Kim, Young S and Noz, Marilyn E, "Physics of the Lorentz Group," Morgan and Claypool Publishers (2015).
  12. A.A. Bogush, V.M. A.A. Bogush, V.M. Red’kov, "On unique parametrization of the linear group GL(4.C) and its subgroups by using the Dirac matrix algebra basis," arXiv:hep-th/0607054V1 (2006).
1
We can define the spinor metric for S L ( 4 , C ) as i η Σ 1 * or i η Σ 3 * if we like. These metrics also have the same properties of g.
2
We may use the generalized eigenvectors of Σ 1 or Σ 2 matrices as well, but, in that case, we have to employ the other forms of the spinor metric.
3
The upper dot on a spinorial object simply means complex conjugation: χ ˙ ( a ) = ( χ ( a ) ) * . But, the upper dot on an element of S L ( 2 , C ) or S L ( 4 , C ) has a particular meaning. L ˙ A = e x p ( i 2 π A * · σ ) L A * . Similarly, Z ˙ A = e x p ( i 2 π A * · Σ ) Z A * .
Figure 1. Reflections and inversions. Σ * space is not shown.
Figure 1. Reflections and inversions. Σ * space is not shown.
Preprints 70726 g001
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated