An algorithm for the algebraic classification of the symmetric (3,1)-spinor

摘要

We present a detailed classification of the symmetric (3, 1)-spinor according to its factorization properties, analogously with the Petrov classification of the (4, 0)-spinor, and present an efficient algorithm, suitable for implementation on a computer, for performing such a classification. One application would be for the classification of spacetimes with torsion, since the symmetric part of the torsion spinor is a symmetric (3, 1)-spinor. This algorithm can also be applied to the Lanczos spinor potential of the Weyl curvature spinor. [References: 11]