1. Introduction
Let
be an element of
. In an exponential form with parameters
and
:
is the Pauli vector with
. The subscript
is introduced in order to distinguish the other forms of
L that will be introduced subsequently.
We rewrite
and its complex conjugate in the following compact forms:
and
denotes complex conjugation.
corresponds to the Lorentz transformation with
and
being the rotation and boost parameters, respectively.
It is well known that the complex version of the
Lorentz transformation matrix can be written as a matrix direct product of
and
:
In order to obtain the familiar real matrix form of the Lorentz transformation matrix it is enough to change the basis:
where
Now, it is straightforward to show that
can be written as a commutative product of
and
by simply rewriting Eq.(
4) in a factorized form:
and
are the
versions of
and
matrices. They can be expressed in terms of
matrices:
and
are
versions of Pauli matrices:
These are traceless Hermitian matrices and they satisfy the same commutation relations as
matrices
By definition,
,
,
is the
identity.
basis do not form a complete set for
matrices, but the set of
does.
From the Eq.(
7),
can be found in terms of the elements of
:
where
,
,
, and
. Hence,
can be written in terms of
as
We can write
and
in terms of
and
matrices:
Or, simply
We also define the spinor metric
g for
that corresponds to the spinor metric
of
:
is the mostly minus Minkowski metric
1.
preserves the Minkowski metric:
Since
is real,
directly entails
. In an analogy with
, we have the following very useful relation:
In this note we will show that there are eight generalized eigenvectors of 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 last section.
2. The first and the second pairs and their transformation properties
Let
be the
representation of the Lorentz group that acts on the 2-component left-chiral spinor
:
where
In terms of the components
of
:
Let us call this transformation scheme
.
Let
be the dotted version corresponding to the
representation of the Lorentz group.
. Let
be the 2-component right-chiral spinor.
, where
transforms as
In terms of the components
, Eq.(
24) is equivalent to the scheme
given in Eq.(
22).
What happens when
acts on
? In this case, in terms of the components
Let us call this transformation scheme
. We can write
in a matrix form:
Let us name this transformation matrix as
. Note that,
, and Eq.(
26) is nothing but the transformation of
under the action of
, which is a type
transformation.
Now, let
be the
representation of
that acts on the first pair of the 4-component undotted covariant spinors:
where
and
are the generalized eigenvectors of
2:
Indices in the parentheses are simply labels for 4-component spinors.
Now consider the second pair of the generalized eigenvectors of
:
Transformation scheme of
and
is different from that of
and
. Under the action of
,
and
transform according to the scheme
, but
and
transform according to the scheme
. However, we may think in an alternative way:
and
are different kind of objects with different transformation properties, such that another transformation matrix,
, acts on them and under the action of
they transform according to the scheme
:
By definition
:
Or, simply
Now let
be the
representation.
. We regard the generalized eigenvectors of
as 4-component undotted contravariant spinors and we define the first pair as follows:
Under the action of
, dotted versions of
and
transform according to the scheme
.
The second pair of the generalized eigenvectors of
is defined as
Under the action of
, the dotted versions of
and
transform according to the scheme
. But, they transform according to the scheme
under the action of
:
where
by definition.
is related to
by the
metric,
, and its dotted version is defined as
3.
We write various forms of
Z and
L matrices in compact notation to manifest the parallelism between them:
3. Outer products of 4-component spinors and null 4-vectors
Let us define the outer product
which transforms as
In terms of the components of
of
This is a type
transformation with
and
:
Determinant of
is zero, hence
can be associated with a null 4-vector through the substitutions,
:
We also define the outer product
which transforms as
This is also a type
transformation. Determinant of
is zero and
can be associated with a null 4-vector:
Note that
can be obtained from
by parity inversion.
There are outer product forms of 4-component spinors that can be associated with null 4-vectors.
and
transform in a similar way with
:
For
and
,
transform according to the scheme
as
On the other hand,
and
transform in a similar way with
:
For
and
,
transform according to the scheme
as
and
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
and
,
and
transform according to the scheme
under the action of
and
:
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
and
z as variables that do not depend on
u and
v. Then, we can associate the following matrices
and
with 4-vectors, which are not necessarily null:
det
det
and in general not zero.
and
transform as
These are matrix representations of quaternions, because
matrices have the same properties as the Hamilton’s quaternion basis,
:
Similarly,
In order to make the analogy with
we consider the following two column objects that are pairwise combinations of 4-component spinors:
where
,
,
,
.
We define outer products of 4-component spinor pairs in the forms
and
. First we let
and
. The outer product
is formally a quaternion:
can be written as a sum of two basic forms:
. In its present form det
and
corresponds to a null 4-vector, but we can associate
with an arbitrary 4-vector in terms of the variables
and
z:
and it is the
version of
:
On the other hand,
has a different form:
In terms of the variables
and
z:
and it is the
version of
:
can be obtained from
by parity inversion and they transform as
These are type
transformations, hence these forms correspond to 4-vectors.
Now let
and
. The outer product
is also a quaternion:
In terms of variables
and
z:
. We also write
:
and it can be obtained from
by parity inversion.
and
transform with
and
:
These transformations obey the scheme
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, acts on the form , acts on the form , acts on the form , and acts on the form .
5. Two more pairs of spinors
There are four eigenvectors of
that constitute a complete orthonormal set of basis:
and
correspond to
eigenvalue and
and
correspond to
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:
We can obtain four more generalized eigenvectors of
by changing the sign or swapping
u and
v:
Totally we get eight undotted covariant spinors:
We can group
(
) pairwise:
We already know that
transforms with
and
transforms with
. Following the same procedure that we have applied in the previous sections we can show that
and
transform with
and
respectively:
where
There are also the dotted versions:
We also define the contravariat spinors
(
) that correspond to the generalized eigenvectors of
:
We group them pairwise:
Each pair of the dotted contravariant spinors transform with the associated dotted
Z matrix.
We define four two-column covariant objects:
And we define the corresponding two-column contravariant objects
Finally, we construct eight outer products that lead to the following quaternions:
Each form transforms in its own way with the matching Z or matrix.
Appendix A
Appendix A.1 Various forms of Z and L matrices
Appendix B Two types of Lorentz transformations
Appendix C The other way around
References
- D. Han, Y.S. Kim, Marilyn E. Noz, “Polarization optics and bilinear representation of the Lorentz group.” Physics Letters A 219 (1996) 26-32.
- K. N. Srinivasa Rao, Linear Algebra and Group Theory for Physicists, Second Edition, Hindustan Book Agency, New Delhi, India.
- Sudha and A.V.Gopala Rao, “Polarization Elements: A Group Theoretical Study”.
- D. Han, Y. S. Kim, Marilyn E. Noz, “Jones-matrix Formalism as a Representation of the Lorentz Group,” arXiv:physics/9703032V1[physics.optics] 28 Mar 1997.
- E. Kuntman, M. A. Kuntman, and O. Arteaga, “Vector and matrix states for Mueller matrices of nondepolarizing optical media,” J. Opt. Soc. Am. A 34, 80-86 (2017).
- E. Kuntman, M. A. Kuntman, A. Canillas, and O. Arteaga, “Quaternion algebra for Stokes–Mueller formalism,” J. Opt. Soc. Am. A 36, 492-497 (2019).
- R. M. A. Azzam, “Propagation of partially polarized light through anisotropic media with or without depolarization: A differential 4 × 4 matrix calculus,” J. Opt. Soc. Am. 68, 1756 (1978).
- R. Barakat, “Exponential versions of the Jones and Mueller–Jones polarization matrices,” J. Opt. Soc. Am. A/Vol. 13, No. 1 (1996).
- S.R. Cloude, “Group theory and polarization algebra”, Optik 75, 26-36 (1986).
- W. R. Hamilton, “On a new species of imaginary quantities connected with the theory of quaternions,” Proceedings of the Royal Irish Academy, 2:424–434 (1844).
- Ba¸skal, Sibel and Kim, Young S and Noz, Marilyn E, “Physics of the Lorentz Group,” Morgan and Claypool Publishers (2015).
- 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 as or if we like. These metrics also have the same properties of g. |
2 |
We may use the generalized eigenvectors of or 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: . But, the upper dot on an element of or has a particular meaning. . Similarly, . |
|
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. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).