# Spinor

In mathematics , and there especially in differential geometry , a spinor is a vector in a smallest representation of a spin group . The spin group is isomorphic to a subset of a Clifford algebra . Every Clifford algebra is isomorphic to a partial algebra of a real, complex or quaternionic matrix algebra. This has a canonical representation using column vectors, the spinors. ${\ displaystyle (\ rho, V)}$

In physics , a spinor is usually a vector of a 2-dimensional complex representation of the spin group , which belongs to the group of Lorentz transformations of the Minkowski space . The turning behavior is particularly important here. ${\ displaystyle \ operatorname {Spin} (1,3)}$ ${\ displaystyle \ operatorname {SO} (1,3)}$

## History of spinors

In 1913, Élie Cartan classified the irreducible complex representations of simple Lie groups . In addition to the known tensor representations, he also found a new two-valued representation in the form of spinors (and said beforehand that these could build up the other representations), especially for linear representations of the rotating groups. His textbook on spinors appeared later. Their significance especially in physics but was only after the discovery of the Dirac equation by Paul Dirac recognized in 1928 (they allowed him an equation first order, the Dirac equation, as linearization of an equation 2nd order, the Klein-Gordon equation to win) . Paul Ehrenfest wondered why the representation in Dirac (with the relativistic covariant Dirac equation) was four-dimensional, in contrast to the Pauli equation by Wolfgang Pauli , in which he also introduced his Pauli matrices , which was previously established for spin within the framework of non-relativistic quantum mechanics two-dimensional. Ehrenfest coined the name Spinor for the new types in 1928 and commissioned Bartel Leendert van der Waerden to analyze them mathematically, a study that Van der Waerden published in 1929.

Dirac worked largely independently when he introduced the spinors, and in his own words also independently of Pauli in the use of Pauli matrices. Pauli himself received substantial support in the mathematical interpretation of his equation in 1927 by Pascual Jordan (who pointed out the connection with quaternions).

Dirac's work was within the Lorentz group, the connection with spinors in Euclidean space was established by Cartan in his book in 1938 and Richard Brauer and Hermann Weyl in an essay in 1935 (using Clifford algebras). Claude Chevalley continued the algebraic theory of spinors in the context of Clifford algebras in his textbook 1954.

They became particularly important in differential geometry through the Atiyah-Singer index theorem in the early 1960s.

## Spinors of quantum physics

### Structure of the spin group (1,3)

The spin group is a subset of the even part of Clifford algebra . The entire algebra - as a vector space has 16 dimensions - is of the four canonical basis vectors , , , of the 4-dimensional Minkowski space of a square shape (in this coordinate basis) generated. Accordingly, the products of different basis vectors anticommute; applies to their squares , ie , . ${\ displaystyle \ operatorname {Spin} (1,3)}$${\ displaystyle C \ ell ^ {0} (1,3)}$ ${\ displaystyle C \ ell (1,3)}$${\ displaystyle \ mathbb {R}}$${\ displaystyle \ mathbf {e} _ {0}}$${\ displaystyle \ mathbf {e} _ {1}}$${\ displaystyle \ mathbf {e} _ {2}}$${\ displaystyle \ mathbf {e} _ {3}}$${\ displaystyle \ mathrm {M} ^ {4}}$${\ displaystyle Q (x) = (x ^ {0}) ^ {2} - (x ^ {1}) ^ {2} - (x ^ {2}) ^ {2} - (x ^ {3} ) ^ {2}}$${\ displaystyle v ^ {2} = - Q (v)}$${\ displaystyle (\ mathbf {e} _ {0}) ^ {2} = - 1}$${\ displaystyle (\ mathbf {e} _ {1}) ^ {2} = (\ mathbf {e} _ {2}) ^ {2} = (\ mathbf {e} _ {3}) ^ {2} = 1}$

The (a vector space 8-dimensional) sub-algebra of the straight elements is generated by two-fold products which contain: , , . These also anticommute; their squares have the value 1 . ${\ displaystyle \ mathbb {R}}$${\ displaystyle C \ ell ^ {0} (1,3)}$${\ displaystyle \ mathbf {e} _ {0}}$${\ displaystyle \ mathbf {f} _ {1}: = \ mathbf {e} _ {0} \ mathbf {e} _ {1}}$${\ displaystyle \ mathbf {f} _ {2}: = \ mathbf {e} _ {0} \ mathbf {e} _ {2}}$${\ displaystyle \ mathbf {f} _ {3}: = \ mathbf {e} _ {0} \ mathbf {e} _ {3}}$

For example, a base of consists of the one element, the four elements described below and : ${\ displaystyle C \ ell ^ {0} (1,3)}$${\ displaystyle \ mathbf {f} _ {k}}$${\ displaystyle \ mathbf {g} _ {k}}$${\ displaystyle \ omega}$

The missing twofold products (i.e. those that do not contain) form a "doubly even" subalgebra generated by even products of : ${\ displaystyle \ mathbf {e} _ {0}}$${\ displaystyle \ mathbf {f} _ {k}}$

${\ displaystyle \ mathbf {g} _ {1}: = - \ mathbf {f} _ {2} \ mathbf {f} _ {3} = - \ mathbf {e} _ {2} \ mathbf {e} _ {3}}$
${\ displaystyle \ mathbf {g} _ {2}: = - \ mathbf {f} _ {3} \ mathbf {f} _ {1} = - \ mathbf {e} _ {3} \ mathbf {e} _ {1}}$
${\ displaystyle \ mathbf {g} _ {3}: = - \ mathbf {f} _ {1} \ mathbf {f} _ {2} = - \ mathbf {e} _ {1} \ mathbf {e} _ {2}}$

The squares of have the value -1 , and each of the is (possibly up to the sign) the product of the other two, so etc. The subalgebra generated by the is isomorphic to the algebra of the quaternions . With regard to the Pauli matrices we identify , , ; More details below. ${\ displaystyle \ mathbf {g} _ {k}}$${\ displaystyle \ mathbf {g} _ {k}}$${\ displaystyle \ mathbf {g} _ {1} \ mathbf {g} _ {2} = \ mathbf {g} _ {3}}$${\ displaystyle \ mathbf {g} _ {k}}$${\ displaystyle \ mathbf {g} _ {1} = \ mathrm {j}}$${\ displaystyle \ mathbf {g} _ {2} = \ mathrm {k}}$${\ displaystyle \ mathbf {g} _ {3} = \ mathrm {i}}$

The volume element is still missing among the basis vectors of the even sub-algebra

${\ displaystyle \ omega = \ mathbf {e} _ {0} \ mathbf {e} _ {1} \ mathbf {e} _ {2} \ mathbf {e} _ {3} = - \ mathbf {f} _ {1} \ mathbf {g} _ {1} = - \ mathbf {f} _ {2} \ mathbf {g} _ {2} = - \ mathbf {f} _ {3} \ mathbf {g} _ { 3}.}$

This commutes with the entire even sub-algebra, it is true . ${\ displaystyle \ omega ^ {2} = - 1}$

#### Isomorphic matrix algebra

It is easy to see that the even sub-algebra is generating and that the odd part of the algebra is as obtaining. Overall: ${\ displaystyle (\ omega, \ mathbf {g} _ {1}, \ mathbf {g} _ {2})}$${\ displaystyle C \ ell ^ {1} (1,3) = \ mathbf {e} _ {0} C \ ell ^ {0} (1,3)}$

• ${\ displaystyle (\ omega, \ mathbf {e} _ {0})}$and generate subalgebras isomorphic to the quaternions,${\ displaystyle (\ mathbf {g} _ {1}, \ mathbf {g} _ {2})}$
• these sub-algebras commute with each other and
• together span the entire algebra.

This gives the isomorphism ${\ displaystyle \ varphi}$

${\ displaystyle C \ ell (1,3) \ simeq \ mathbb {H} \ otimes _ {\ mathbb {R}} \ mathbb {H}}$,

which restricted an isomorphism

${\ displaystyle C \ ell ^ {0} (1,3) \ simeq \ mathbb {C} \ otimes _ {\ mathbb {R}} \ mathbb {H}}$

results.

In the following it is always , where is an imaginary unit of the quaternions. Then the isomorphism can be defined as follows: ${\ displaystyle \ mathbb {C} = \ mathbb {R} [i]}$${\ displaystyle i}$

${\ displaystyle \ varphi (\ omega): = \ mathrm {i} \ otimes 1, \ varphi (\ mathbf {e} _ {0}): = \ mathrm {k} \ otimes 1,}$
${\ displaystyle \ varphi (\ mathbf {g} _ {1}): = 1 \ otimes \ mathrm {j}, \ varphi (\ mathbf {g} _ {2}): = 1 \ otimes \ mathrm {k} , \ varphi (\ mathbf {g} _ {3}): = 1 \ otimes \ mathrm {i}.}$

As a result, with and${\ displaystyle \ mathbf {f} _ {k} = \ omega \ mathbf {g} _ {k}}$${\ displaystyle \ mathbf {e} _ {k} = - \ mathbf {e} _ {0} \ mathbf {f} _ {k}}$

${\ displaystyle \ varphi (\ mathbf {f} _ {1}): = \ mathrm {i} \ otimes \ mathrm {j}, \ varphi (\ mathbf {f} _ {2}): = \ mathrm {i } \ otimes \ mathrm {k}, \ varphi (\ mathbf {f} _ {3}): = \ mathrm {i} \ otimes \ mathrm {i},}$
${\ displaystyle \ varphi (\ mathbf {e} _ {1}): = - \ mathrm {j} \ otimes \ mathrm {j}, \ varphi (\ mathbf {e} _ {2}): = - \ mathrm {j} \ otimes \ mathrm {k}, \ varphi (\ mathbf {e} _ {3}): = - \ mathrm {j} \ otimes \ mathrm {i}.}$

### Own spinors

In quantum mechanics, intrinsic spinors represent the basis vectors that describe the spin state of a particle. For a single spin 1/2 particle they can be viewed as the eigenvectors of the Pauli matrices . They form a complete orthonormal system.

### Representation in the quaternions, Majorana spinors

There is an isomorphism which assigns the mapping to a tensor product . This is a quaternionic one-dimensional or a real four-dimensional representation of the entire Clifford algebra. The latter is called the Majorana spinor representation , after Ettore Majorana . ${\ displaystyle \ rho \ colon \ mathbb {H} \ otimes _ {\ mathbb {R}} \ mathbb {H} \ to {\ mbox {Hom}} _ {\ mathbb {R}} (\ mathbb {H} , \ mathbb {H})}$${\ displaystyle a \ otimes b}$${\ displaystyle x \ mapsto \ rho (a \ otimes b) (x): = bx {\ bar {a}}}$${\ displaystyle \ rho _ {M}: = \ rho \ circ \ varphi}$

### Representation in complex numbers, Weyl spinors

We define a bijective map as . This mapping is real linear and complex right antilinear, i.e. H. . Be the coordinate map. That's how we define ${\ displaystyle S \ colon \ mathbb {C} ^ {2} \ to \ mathbb {H}}$${\ displaystyle S (z ^ {1}, z ^ {2}): = \ mathrm {k} \, {\ bar {z}} ^ {1} + {\ bar {z}} ^ {2}}$${\ displaystyle S (wz ^ {1}, wz ^ {2}): = S (z ^ {1}, z ^ {2}) {\ bar {w}}}$${\ displaystyle \ theta: = S ^ {- 1}}$

${\ displaystyle \ rho _ {W} \ colon C \ ell ^ {0} (1,3) \ to M_ {2} (\ mathbb {C})}$, through ,${\ displaystyle \ rho _ {W} (c) (z ^ {1}, z ^ {2}): = (\ theta \ circ \ rho _ {M} (x) \ circ S) (z ^ {1 }, z ^ {2})}$

d. H. one element from becomes the figure that through ${\ displaystyle \ varphi (c) = w \ otimes q}$${\ displaystyle \ mathbb {C} \ otimes _ {\ mathbb {R}} \ mathbb {H}}$

${\ displaystyle \ rho (w \ otimes q) (S (z ^ {1}, z ^ {2})) = qS (z ^ {1}, z ^ {2}) {\ bar {w}} = qS (z ^ {1} w, z ^ {2} w)}$

is given, assigned. It is z. B.

${\ displaystyle \ rho _ {W} (\ mathbf {f} _ {1}) (z ^ {1}, z ^ {2}) = \ theta (\ rho (- \ mathrm {i} \ otimes \ mathrm {j}) (S (z ^ {1}, z ^ {2})) = \ theta (\ mathrm {jk} {\ bar {z}} ^ {1} \ mathrm {i} + \ mathrm {j } {\ bar {z}} ^ {2} \ mathrm {i}) = (- z ^ {2}, - z ^ {1})}$.

The matrix in this figure is the first Pauli matrix , analogously and . ${\ displaystyle \ sigma _ {1}}$${\ displaystyle \ mathbf {f} _ {2} \ mapsto \ sigma _ {2}}$${\ displaystyle \ mathbf {f} _ {3} \ mapsto \ sigma _ {3}}$

Thus, a complex two-dimensional representation of the even sub-algebra and thus also of the group. This representation of is called Weyl-Spinor representation , named after Hermann Weyl (see also: Pauli matrices ). ${\ displaystyle \ rho _ {W}}$${\ displaystyle \ operatorname {Spin} (1,3)}$${\ displaystyle C \ ell ^ {0} (1,3)}$

There is a conjugate representation for this , where${\ displaystyle {\ bar {\ rho}} _ {W} (c) (z): = ({\ bar {\ theta}} \ circ \ rho _ {M} (x) \ circ {\ bar {S }}) (x)}$${\ displaystyle {\ bar {S}} (z_ {1}, z_ {2}) = \ mathrm {j} S (z_ {1}, z_ {2}) = {\ bar {z}} ^ {1 } \ mathrm {j} - {\ bar {z}} ^ {2}}$

### Weyl, Dirac and Majorana spinors

A true representation is an embedding of the algebra in a matrix group, or generally in the endomorphism group of a vector space. Elements of the spin group are to be mapped onto orthogonal or unitary matrices.

The following lemma : If , are self-adjoint unitary mappings with and , then breaks down into isomorphic, mutually orthogonal subspaces and . The triple can be mapped isomorphically ${\ displaystyle A}$${\ displaystyle B}$${\ displaystyle V}$${\ displaystyle A ^ {2} = B ^ {2} = I}$${\ displaystyle AB = -BA}$${\ displaystyle V}$${\ displaystyle V _ {+}: = \ operatorname {ker} (IA)}$${\ displaystyle V _ {-}: = \ operatorname {ker} (I + A) = BV _ {+}}$${\ displaystyle (V, A, B)}$

${\ displaystyle V = \ mathbb {K} ^ {2} \ otimes V _ {+}, A = {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix}} \ otimes I _ {+}, B = {\ begin {pmatrix} 0 & 1 \\ 1 & 0 \ end {pmatrix}} \ otimes I _ {+}.}$

${\ displaystyle I _ {+}}$is the identity on . The occurring tensor product can also be understood here as the Kronecker product of matrices . ${\ displaystyle V _ {+}}$

#### Weyl spinors

A Weyl spinor representation , named after Hermann Weyl , is a smallest complex representation of . This is also the smallest complex representation of the even sub-algebra . ${\ displaystyle \ operatorname {Spin} (1,3)}$${\ displaystyle C \ ell ^ {0} (1,3)}$

Suppose we had a complex representation of in a Hermitian vector space . The images are (for the sake of brevity we will omit this in the following ) unitary, self-adjoint images of themselves. ${\ displaystyle (\ rho, V)}$${\ displaystyle C \ ell ^ {0} (1,3)}$${\ displaystyle V}$${\ displaystyle \ rho (\ mathbf {f} _ {k})}$${\ displaystyle \ rho}$${\ displaystyle V}$

${\ displaystyle A: = \ mathbf {f} _ {3}}$and meet the requirements of the lemma, so we can use an isomorphic representation ${\ displaystyle B: = \ mathbf {f} _ {1}}$

${\ displaystyle V = \ mathbb {C} ^ {2} \ otimes V _ {+}}$with and${\ displaystyle \ mathbf {f} _ {3} = {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix}} \ otimes I _ {+}}$${\ displaystyle \ mathbf {f} _ {1} = {\ begin {pmatrix} 0 & 1 \\ 1 & 0 \ end {pmatrix}} \ otimes I _ {+}}$

pass over.

In order to restrict the shape of , we consider the product and find that due to the interchangeability rules ${\ displaystyle \ mathbf {f} _ {2}}$${\ displaystyle \ mathbf {f} _ {1} \ mathbf {f} _ {2}}$

${\ displaystyle (f_ {1} f_ {2}) f_ {3} = f_ {3} (f_ {1} f_ {2})}$ and ${\ displaystyle (f_ {1} f_ {2}) f_ {1} = - f_ {1} (f_ {1} f_ {2})}$

the following form necessarily results

${\ displaystyle \ mathbf {f} _ {1} \ mathbf {f} _ {2} = {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix}} \ otimes \ mathbf {g} _ {12 }}$ With ${\ displaystyle (\ mathbf {g} _ {12}) ^ {2} = - 1.}$

Since the vector space is complex, we can split it into mutually orthogonal subspaces and on which how or acts. Both subspaces result in separate representations, the minimal ones are complex conjugate to one another, the matrices are the Pauli matrices already mentioned , because if so is ${\ displaystyle V _ {+}}$${\ displaystyle V _ {++}}$${\ displaystyle V _ {+ -}}$${\ displaystyle \ mathbf {g} _ {12}}$${\ displaystyle \ mathrm {i}}$${\ displaystyle \ mathrm {-i}}$${\ displaystyle \ mathbf {g} _ {12} = \ mathrm {i}}$

${\ displaystyle \ mathbf {f} _ {2} = {\ begin {pmatrix} 0 & - \ mathrm {i} \\\ mathrm {i} & 0 \ end {pmatrix}} \ otimes I _ {+}.}$

In the minimal case it is , or vice versa. So there are two conjugated Weyl spinor representations . ${\ displaystyle V _ {++} = \ mathbb {C}}$${\ displaystyle V _ {+ -} = \ {0 \}}$

Application: see Weyl equation

#### Dirac spinors

In the quantum electrodynamics or Atiyah-Singer index theory is Dirac operator defined. The "how" is not important, just that a representation of the entire Clifford algebra is needed. The Dirac-Spinor representation , according to Paul Dirac , is the smallest complex representation of when used in 3 + 1 space-time dimensions . However, higher-dimensional Dirac spinors are also considered, for example in string theory . ${\ displaystyle C \ ell (1,3)}$

Given such a complex representation, we can analyze the representation of the even sub-algebra as above. To also determine the odd part, let's consider the image of . It commutates with and anticommutates with . As above, we note that ${\ displaystyle \ mathbf {e} _ {1}}$${\ displaystyle \ mathbf {f} _ {3}}$${\ displaystyle \ mathbf {f} _ {1}}$

${\ displaystyle \ mathbf {e} _ {1} = {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix}} \ otimes \ mathbf {g} _ {1}}$ With ${\ displaystyle (\ mathbf {g} _ {1}) ^ {2} = 1.}$

You convince yourself that the subspaces and are swapped, so we can replace the representation with an even more factored one: ${\ displaystyle \ mathbf {g} _ {1}}$${\ displaystyle V _ {++}}$${\ displaystyle V _ {+ -}}$

${\ displaystyle V = \ mathbb {C} ^ {2} \ otimes \ mathbb {C} ^ {2} \ otimes V _ {++}}$ with the pictures of the generators
${\ displaystyle \ mathbf {e} _ {0} = {\ begin {pmatrix} 0 & -1 \\ 1 & 0 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 0 & 1 \\ 1 & 0 \ end {pmatrix}} \ otimes I _ {++}}$
${\ displaystyle \ mathbf {e} _ {1} = {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 0 & 1 \\ 1 & 0 \ end {pmatrix}} \ otimes I _ {++}}$
${\ displaystyle \ mathbf {e} _ {2} = {\ begin {pmatrix} 1 & 0 \\ 0 & 1 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 0 & - \ mathrm {i} \\\ mathrm {i } & 0 \ end {pmatrix}} \ otimes I _ {++}}$
${\ displaystyle \ mathbf {e} _ {3} = {\ begin {pmatrix} 0 & -1 \\ - 1 & 0 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 0 & 1 \\ 1 & 0 \ end {pmatrix}} \ otimes I _ {++}}$

The minimal Dirac spinor representation is again the one with (and each isomorphic to it). ${\ displaystyle V _ {++} = \ mathbb {C}}$

Dirac spinors in 3 + 1 dimensions are used within the framework of quantum electrodynamics for the mathematical description of fermions with spin 1/2. In the Standard Model of particle physics, these Dirac fermions include all fundamental fermions.

#### Majorana spinors

The Majorana spinor representation , according to Ettore Majorana , of both the spin group and the Clifford algebra is the smallest real representation of . We can take over the analysis from above up to the point where and are defined. Here we are now able to disassemble and , reversed both subspaces, however , so ${\ displaystyle C \ ell (1,3)}$${\ displaystyle \ mathbf {g} _ {1}}$${\ displaystyle \ mathbf {g} _ {12}}$${\ displaystyle V _ {+}}$${\ displaystyle V _ {+}}$${\ displaystyle A = \ mathbf {g} _ {1}}$${\ displaystyle V _ {++}: = \ operatorname {ker} (IA)}$${\ displaystyle V _ {+ -}: = \ operatorname {ker} (I + A)}$${\ displaystyle B = \ mathbf {g} _ {12}}$${\ displaystyle B ^ {2} = - I}$

${\ displaystyle V _ {+} = \ mathbb {R} ^ {2} \ otimes V _ {++}}$with and${\ displaystyle \ mathbf {g} _ {1} = {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix}} \ otimes I _ {++}}$${\ displaystyle \ mathbf {g} _ {12} = {\ begin {pmatrix} 0 & -1 \\ 1 & 0 \ end {pmatrix}} \ otimes I _ {++}.}$

After multiplying out, we get for ${\ displaystyle V _ {++} = \ mathbb {R}}$

${\ displaystyle V = \ mathbb {C} ^ {2} \ otimes \ mathbb {C} ^ {2}}$ with the pictures of the generators
${\ displaystyle \ mathbf {e} _ {0} = {\ begin {pmatrix} 0 & -1 \\ 1 & 0 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix} }}$
${\ displaystyle \ mathbf {e} _ {1} = {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix} }}$
${\ displaystyle \ mathbf {e} _ {2} = {\ begin {pmatrix} 1 & 0 \\ 0 & 1 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 0 & -1 \\ - 1 & 0 \ end {pmatrix}} }$
${\ displaystyle \ mathbf {e} _ {3} = {\ begin {pmatrix} 0 & -1 \\ - 1 & 0 \ end {pmatrix}} \ otimes {\ begin {pmatrix} 1 & 0 \\ 0 & -1 \ end {pmatrix }}.}$

In elementary particle physics, they are used to describe Majorana fermions , which, however, have not yet been observed.

### Turning behavior

From the above, perhaps the most essential property of spinors for physics is not easy to recognize or to deduce:

• For particles with an integer spin  (measured in units of Planck's reduced quantum of action ), so-called bosons , the wave function is multiplied by the factor  for a full rotation  by, i.e. H. it remains unchanged.${\ displaystyle s}$ ${\ displaystyle \ hbar \,}$${\ displaystyle 2 \ pi \! \,}$${\ displaystyle (-1) ^ {2s} = + 1 \! \,}$
• On the other hand, for particles with half-integer spin, the fermions , a full rotation by  the factor -1 results in the wave function. I.e. With a full rotation, these particles change the sign of their quantum mechanical phase or they have to perform two full rotations in order to get back to their original state, similar to the hour hand of a clock.${\ displaystyle 2 \ pi \! \,}$

Integer or half-integer values ​​of are the only possibilities for the expression of the spin. ${\ displaystyle s}$

## Generalization in Mathematics

In mathematics, especially in differential geometry, a spinor is understood to be a (mostly smooth) section of the spinor bundle. The spinor bundle is a vector bundle that arises as follows: Starting from an oriented Riemannian manifold (M, g) , one forms bundle P of the ON repere. This consists of all oriented orthonormal bases point by point:

${\ displaystyle P_ {x} = \ {(s_ {1}, \ dots, s_ {n}) {\ text {oriented orthonormal basis of}} T_ {x} M \}}$

This is a main fiber bundle with structural group . A spin structure is then a pair (Q, f) consisting of a main fiber bundle Q with structure group spin n and an image that fulfills the following properties: ${\ displaystyle SO_ {n}}$${\ displaystyle f \ colon Q \ rightarrow P}$

1. ${\ displaystyle \ pi _ {P} \ circ f = \ pi _ {Q}}$, where and are the projections of the main fiber bundles and${\ displaystyle \ pi _ {P} \ colon P \ rightarrow M}$${\ displaystyle \ pi _ {Q}}$
2. ${\ displaystyle f (p \ cdot g) = f (p) \ cdot \ lambda (g)}$, where is the two-fold overlay image.${\ displaystyle \ lambda \ colon \ operatorname {Spin} _ {n} \ rightarrow SO_ {n}}$

A spin structure does not exist for every manifold, if one exists, the manifold is called spin. The existence of a spin structure is equivalent to the disappearance of the second Stiefel-Whitney class .

Given a spin structure (Q, f) , the (complex) spinor bundle is constructed as follows: The irreducible representation of the (complex) Clifford algebra (which is unique when restricted to the spin group) is used (compare here ) and the spinor bundle is formed as an associated vector bundle ${\ displaystyle \ kappa \ colon Cl_ {n} \ rightarrow \ Delta _ {n} = \ mathbb {C} ^ {[n / 2] ^ {2}}}$

${\ displaystyle S = Q \ times _ {\ kappa} \ Delta _ {n} = (Q \ times \ Delta _ {n}) / \ sim}$,

where the equivalence relation is given by . ${\ displaystyle (p, v) = (p \ cdot g, \ kappa (g ^ {- 1}) (v)) \, \ forall g \ in \ operatorname {Spin} _ {n}}$

Analogous constructions can also be carried out if the Riemannian metric is replaced by a pseudoriemannian. The spinors described above are spinors in the sense described here over the manifold with the pseudo-Euclidean metric . In this case, the spinor bundle is a trivial vector bundle. ${\ displaystyle \ mathbb {R} ^ {4}}$${\ displaystyle \ langle (v_ {1}, \ dots, v_ {4}), (w_ {1}, \ dots, w_ {4}) \ rangle = -v_ {1} w_ {1} + v_ {2 } w_ {2} + v_ {4} w_ {3} + v_ {4} w_ {4}}$