447
edits
Line 1,650: | Line 1,650: | ||
}} | }} | ||
=== Spinors === | === Spinors === | ||
Spinors have two main instantiations: the infinitesimal quantity usually in finite dimensions as the value of a vector field at a point, or as the vector field taken over a finite region of space(time). | Spinors have two main instantiations: the infinitesimal quantity usually in finite dimensions as the value of a vector field at a point, or as the vector field taken over a finite region of space(time). References will be given after the brief explanations. | ||
</div> | </div> | ||
; Infinitesimally | ; Infinitesimally | ||
For the infinitesimal quantity in finite dimensions, spinors are constructed via an algebraic means known as representation theory. The key fact that supports the construction is that the special orthogonal Lie groups of rotations <math> SO(n,\mathbb{R}) </math> acting on linear n-dimensional space admit double coverings <math> Spin(n) </math> such that two elements of the spin group correspond to a single rotation. Five algebraic structures comprise the story here: an n-dimensional real vector space, the n-choose-2 dimensional rotation group acting on it, the spin group, another vector space acted upon by the spin group to be constructed, and the Clifford algebra of the first real vector space. To distinguish between the first vector space and the second, the elements of the former are simply referred to as vectors and the latter as spinors. This may be confusing because mathematically both are vector spaces whose elements are vectors, however physically the vectors of the first space have a more basic meaning as directions in physical coordinate space. | For the infinitesimal quantity in finite dimensions, spinors are constructed via an algebraic means known as representation theory. The key fact that supports the construction is that the special orthogonal Lie groups of rotations <math> SO(n,\mathbb{R}) </math> acting on linear n-dimensional space admit double coverings <math> Spin(n) </math> such that two elements of the spin group correspond to a single rotation. Five algebraic structures comprise the story here: an n-dimensional real vector space, the n-choose-2 dimensional rotation group acting on it, the spin group, another vector space acted upon (the representation) by the spin group to be constructed, and the Clifford algebra of the first real vector space. To distinguish between the first vector space and the second, the elements of the former are simply referred to as vectors and the latter as spinors. This may be confusing because mathematically both are vector spaces whose elements are vectors, however physically the vectors of the first space have a more basic meaning as directions in physical coordinate space. | ||
</div> | </div> | ||
:;1) | :;1) | ||
Line 1,659: | Line 1,659: | ||
</div> | </div> | ||
:;2) | :;2) | ||
::The Spin group is then found within the Clifford algebra, and because the fiber of the double cover map <math> Spin(n)\rightarrow SO(n, \mathbb{R})</math> is discrete, it is of the same dimension n-choose-2. | ::The Spin group is then found within the Clifford algebra, and because the fiber of the double cover map <math> Spin(n)\rightarrow SO(n, \mathbb{R}) </math> is discrete, it is of the same dimension n-choose-2. This will not be constructed here, but only the following operations which distribute over sums in the Clifford algebra are needed to get the Spin group and its homomorphism to the rotation group: | ||
::;a) | |||
:::an involution <math> \alpha, \alpha^2=id </math> induced by negating the embedded vectors of the Clifford algebra: <math> \alpha (x \cdot y\cdot z) = (-x)\cdot (-y)\cdot (-z)=(-1)^3x\cdot y\cdot z </math> | |||
::;b) | |||
:::the transpose <math> (-)^t </math> which reverses the order of any expression, e.g. <math> (x\cdot y \cdot z)^t = z\cdot y\cdot x </math> | |||
::;c) | |||
:::the adjoint action, conjugation, by an invertible element <math> \phi </math> of the Clifford algebra: <math> Ad_{\phi}(x)=\phi x \phi^{-1} </math> | |||
:;3) | |||
::Spinors are | |||
== Notes == | == Notes == |