spinor field
   HOME

TheInfoList



OR:

In differential geometry, given a spin structure on an n-dimensional orientable
Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent spac ...
(M, g),\, one defines the spinor bundle to be the complex vector bundle \pi_\colon\to M\, associated to the corresponding
principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equ ...
\pi_\colon\to M\, of spin frames over M and the spin representation of its
structure group In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a ...
(n)\, on the space of
spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
s \Delta_n.. A section of the spinor bundle \, is called a spinor field.


Formal definition

Let (,F_) be a spin structure on a
Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent spac ...
(M, g),\,that is, an
equivariant In mathematics, equivariance is a form of symmetry for functions from one space with symmetry to another (such as symmetric spaces). A function is said to be an equivariant map when its domain and codomain are acted on by the same symmetry gro ...
lift of the oriented orthonormal frame bundle \mathrm F_(M)\to M with respect to the double covering \rho\colon (n)\to (n) of the
special orthogonal group In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. ...
by the
spin group In mathematics the spin group Spin(''n'') page 15 is the double cover of the special orthogonal group , such that there exists a short exact sequence of Lie groups (when ) :1 \to \mathrm_2 \to \operatorname(n) \to \operatorname(n) \to 1. As ...
. The spinor bundle \, is defined to be the complex vector bundle =\times_\Delta_n\, associated to the spin structure via the spin representation \kappa\colon (n)\to (\Delta_n),\, where ()\, denotes the group of
unitary operator In functional analysis, a unitary operator is a surjective bounded operator on a Hilbert space that preserves the inner product. Unitary operators are usually taken as operating ''on'' a Hilbert space, but the same notion serves to define the c ...
s acting on a
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
.\, It is worth noting that the spin representation \kappa is a faithful and
unitary representation In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in case ' ...
of the group (n). pages 20 and 24


See also

* Clifford bundle * Clifford module bundle * Orthonormal frame bundle * Spin geometry *
Spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
*
Spinor representation In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature (i.e., including indefinite orthogonal groups). More precisely, they are two equi ...


Notes


Further reading

* * , Algebraic topology Riemannian geometry Structures on manifolds {{differential-geometry-stub