20: Sir Roger Penrose - Plotting the Twist of Einstein’s Legacy: Difference between revisions

Line 1,673: Line 1,673:
[[File:Spinor_construction.png|frameless|]]
[[File:Spinor_construction.png|frameless|]]
</div>
</div>
::The hook arrows denote the constructed embeddings, the double arrow gives the spin double cover of the rotations, and the downwards vertical arrows are the representations of the two groups acting on their respective vector spaces. The lack of an arrow between the two vector spaces indicates no direct relationship between vectors and spinors, only between their groups. In the cases of Euclidean and indefinite signatures of quadratic forms, a fixed orthonormal of <math> V </math> can be identified with the identity rotation such that all other bases/frame are related to it by rotations and thus identified with those rotations. Similarly for the spinors, there are "spin frames" which when choosing one to correspond to the identity, biject with the whole spin group. This theory of group representations on vector spaces and spinors in particular were first realized by mathematicians, in particular [https://www.google.com/books/edition/The_Theory_of_Spinors/f-_DAgAAQBAJ?hl=en&gbpv=1&printsec=frontcover Cartan] for spinors, in the study of abstract symmetries and their realizations on geometric objects. However, the next step was taken by physicists.
::The hook arrows denote the constructed embeddings, the double arrow gives the spin double cover of the rotations, and the downwards vertical arrows are the representations of the two groups acting on their respective vector spaces. The lack of an arrow between the two vector spaces indicates no direct relationship between vectors and spinors, only between their groups. There is however a bilinear relationship, meaning a map which is quadratic in the components of spinors to obtain components of vectors, justifying not only that spin transformations are square roots of rotations but spinors as square roots of vectors. When n is even, the spinor space will decompose into two vector spaces: <math> \delta = S^+ \oplus S^- </math>. In a chosen spin-basis these bilinear maps will come from evaluating products
of spinors from the respective subspaces under the gamma matrices as quadratic forms.
</div>
In the cases of Euclidean and indefinite signatures of quadratic forms, a fixed orthonormal of <math> V </math> can be identified with the identity rotation such that all other bases/frame are related to it by rotations and thus identified with those rotations. Similarly for the spinors, there are "spin frames" which when choosing one to correspond to the identity, biject with the whole spin group. This theory of group representations on vector spaces and spinors in particular were first realized by mathematicians, in particular [https://www.google.com/books/edition/The_Theory_of_Spinors/f-_DAgAAQBAJ?hl=en&gbpv=1&printsec=frontcover Cartan] for spinors, in the study of abstract symmetries and their realizations on geometric objects. However, the next step was taken by physicists.
</div>
</div>
;Finitely
;Finitely