In
differential geometry, a spin structure on an
orientable
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space i ...
Riemannian manifold allows one to define associated
spinor bundle In differential geometry, given a spin structure on an n-dimensional orientable Riemannian manifold (M, g),\, one defines the spinor bundle to be the complex vector bundle \pi_\colon\to M\, associated to the corresponding principal bundle \pi_\c ...
s, giving rise to the notion of a
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 ...
in differential geometry.
Spin structures have wide applications to
mathematical physics
Mathematical physics refers to the development of mathematical methods for application to problems in physics. The '' Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the developme ...
, in particular to
quantum field theory where they are an essential ingredient in the definition of any theory with uncharged
fermions. They are also of purely mathematical interest in
differential geometry,
algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify ...
, and
K theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometr ...
. They form the foundation for
spin geometry
In mathematics, spin geometry is the area of differential geometry and topology where objects like spin manifolds and Dirac operators, and the various associated index theorems have come to play a fundamental role both in mathematics and in math ...
.
Overview
In
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ...
and in
field theory, mathematicians ask whether or not a given oriented Riemannian manifold (''M'',''g'') admits
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. One method for dealing with this problem is to require that ''M'' has a spin structure.
This is not always possible since there is potentially a topological obstruction to the existence of spin structures. Spin structures will exist if and only if the second
Stiefel–Whitney class
In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of ...
''w''
2(''M'') ∈ H
2(''M'', Z
2) of ''M'' vanishes. Furthermore, if ''w''
2(''M'') = 0, then the set of the isomorphism classes of spin structures on ''M'' is acted upon freely and transitively by H
1(''M'', Z
2) . As the manifold ''M'' is assumed to be oriented, the first Stiefel–Whitney class ''w''
1(''M'') ∈ H
1(''M'', Z
2) of ''M'' vanishes too. (The Stiefel–Whitney classes ''w
i''(''M'') ∈ H
''i''(''M'', Z
2) of a manifold ''M'' are defined to be the Stiefel–Whitney classes of its
tangent bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of ...
''TM''.)
The bundle of spinors π
''S'': ''S'' → ''M'' over ''M'' is then the
complex vector bundle In mathematics, a complex vector bundle is a vector bundle whose fibers are complex vector spaces.
Any complex vector bundle can be viewed as a real vector bundle through the restriction of scalars. Conversely, any real vector bundle ''E'' can be ...
associated with 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 equi ...
π
P: P → ''M'' of spin frames over ''M'' and the spin representation of its structure group Spin(''n'') on the space of spinors Δ
''n''. The bundle ''S'' is called the spinor bundle for a given spin structure on ''M''.
A precise definition of spin structure on manifold was possible only after the notion of
fiber bundle had been introduced;
André Haefliger
André Haefliger (born 22 May 1929 in Nyon, Switzerland) is a Swiss mathematician who works primarily on topology.
Education and career
Haefliger went to school in Nyon and then attended his final years at Collège Calvin in Geneva. He studied ...
(1956) found the topological obstruction to the existence of a spin structure on an orientable Riemannian manifold and
Max Karoubi
__NOTOC__
Max Karoubi () is a French mathematician, topologist, who works on K-theory, cyclic homology and noncommutative geometry and who founded the first European Congress of Mathematics.
In 1967, he received his Ph.D. in mathematics (Doct ...
(1968) extended this result to the non-orientable pseudo-Riemannian case.
Spin structures on Riemannian manifolds
Definition
A spin structure on an
orientable
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space i ...
Riemannian manifold with an oriented vector bundle
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 grou ...
''lift'' of the orthonormal frame bundle
with respect to the double covering
. In other words, a pair
is a spin structure on the SO(''n'')-principal bundle
when
:a)
is a principal Spin(''n'')-bundle over
, and
:b)
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 grou ...
2-fold
covering map A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties.
Definition
Let X be a topological space. A covering of X is a continuous map
: \pi : E \rightarrow X
such that there exists a discrete spa ...
such that
andfor all and .
Two spin structures
and
on the same oriented
Riemannian manifold are called "equivalent" if there exists a Spin(''n'')-equivariant map
such that
:
and
for all
and
.
In this case
and
are two equivalent double coverings.
The definition of spin structure on
as a spin structure on the principal bundle
is due to
André Haefliger
André Haefliger (born 22 May 1929 in Nyon, Switzerland) is a Swiss mathematician who works primarily on topology.
Education and career
Haefliger went to school in Nyon and then attended his final years at Collège Calvin in Geneva. He studied ...
(1956).
Obstruction
Haefliger
found necessary and sufficient conditions for the existence of a spin structure on an oriented Riemannian manifold (''M'',''g''). The obstruction to having a spin structure is a certain element
'k''of H
2(''M'', Z
2) . For a spin structure the class
'k''is the second
Stiefel–Whitney class
In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of ...
''w''
2(''M'') ∈ H
2(''M'', Z
2) of ''M''. Hence, a spin structure exists if and only if the second Stiefel–Whitney class ''w''
2(''M'') ∈ H
2(''M'', Z
2) of ''M'' vanishes.
Spin structures on vector bundles
Let ''M'' be a
paracompact
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is normal ...
topological manifold In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real ''n''-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout math ...
and ''E'' an
oriented vector bundle on ''M'' of dimension ''n'' equipped with a
fibre metric In differential geometry, the notion of a metric tensor can be extended to an arbitrary vector bundle, and to some principal fiber bundles. This metric is often called a bundle metric, or fibre metric.
Definition
If ''M'' is a topological manifol ...
. This means that at each point of ''M'', the fibre of ''E'' is an
inner product space
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often ...
. A spinor bundle of ''E'' is a prescription for consistently associating a
spin 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 equ ...
to every point of ''M''. There are topological obstructions to being able to do it, and consequently, a given bundle ''E'' may not admit any spinor bundle. In case it does, one says that the bundle ''E'' is ''spin''.
This may be made rigorous through the language of
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 equi ...
s. The collection of oriented
orthonormal frame
In Riemannian geometry and relativity theory, an orthonormal frame is a tool for studying the structure of a differentiable manifold equipped with a metric. If ''M'' is a manifold equipped with a metric ''g'', then an orthonormal frame at a point ...
s of a vector bundle form a
frame bundle
In mathematics, a frame bundle is a principal fiber bundle F(''E'') associated to any vector bundle ''E''. The fiber of F(''E'') over a point ''x'' is the set of all ordered bases, or ''frames'', for ''E'x''. The general linear group acts nat ...
''P''
SO(''E''), which is a principal bundle under the action of the
special orthogonal group SO(''n''). A spin structure for ''P''
SO(''E'') is a ''lift'' of ''P''
SO(''E'') to a principal bundle ''P''
Spin(''E'') under the action of 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 a ...
Spin(''n''), by which we mean that there exists a bundle map ''
'' : ''P''
Spin(''E'') → ''P''
SO(''E'') such that
:
, for all and ,
where is the mapping of groups presenting the spin group as a double-cover of SO(''n'').
In the special case in which ''E'' is the
tangent bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of ...
''TM'' over the base manifold ''M'', if a spin structure exists then one says that ''M'' is a spin manifold. Equivalently ''M'' is ''spin'' if the SO(''n'') principal bundle of
orthonormal bases
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, ...
of the tangent fibers of ''M'' is a Z
2 quotient of a principal spin bundle.
If the manifold has a
cell decomposition
Cell most often refers to:
* Cell (biology), the functional basic unit of life
Cell may also refer to:
Locations
* Monastic cell, a small room, hut, or cave in which a religious recluse lives, alternatively the small precursor of a monastery w ...
or a
triangulation, a spin structure can equivalently be thought of as a homotopy-class of trivialization of the
tangent bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of ...
over the 1-
skeleton that extends over the 2-skeleton. If the dimension is lower than 3, one first takes a Whitney sum with a trivial line bundle.
Obstruction and classification
For an
orientable
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space i ...
vector bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every p ...
a spin structure exists on
if and only if the second
Stiefel–Whitney class
In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of ...
vanishes. This is a result of
Armand Borel
Armand Borel (21 May 1923 – 11 August 2003) was a Swiss mathematician, born in La Chaux-de-Fonds, and was a permanent professor at the Institute for Advanced Study in Princeton, New Jersey, United States from 1957 to 1993. He worked in alg ...
and
Friedrich Hirzebruch
Friedrich Ernst Peter Hirzebruch ForMemRS (17 October 1927 – 27 May 2012) was a German mathematician, working in the fields of topology, complex manifolds and algebraic geometry, and a leading figure in his generation. He has been described as ...
. Furthermore, in the case
is spin, the number of spin structures are in bijection with
. These results can be easily proven
pg 110-111 using a spectral sequence argument for the associated principal
-bundle
. Notice this gives a
fibrationhence the
Serre spectral sequence In mathematics, the Serre spectral sequence (sometimes Leray–Serre spectral sequence to acknowledge earlier work of Jean Leray in the Leray spectral sequence) is an important tool in algebraic topology. It expresses, in the language of homolog ...
can be applied. From general theory of spectral sequences, there is an exact sequence
where
In addition,
and
for some filtration on
, hence we get a map
giving an exact sequence
Now, a spin structure is exactly a double covering of
fitting into a commutative diagram
where the two left vertical maps are the double covering maps. Now, double coverings of
are in bijection with index
subgroups of
, which is in bijection with the set of group morphisms
. But, from
Hurewicz theorem
In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism. The theorem is named after Witold Hurewicz, and generalizes earlier results ...
and change of coefficients, this is exactly the cohomology group
. Applying the same argument to
, the non-trivial covering
corresponds to
, and the map to
is precisely the
of the second Stiefel–Whitney class, hence
. If it vanishes, then the inverse image of
under the map
is the set of double coverings giving spin structures. Now, this subset of
can be identified with
, showing this latter cohomology group classifies the various spin structures on the vector bundle
. This can be done by looking at the long exact sequence of homotopy groups of the fibration
and applying
, giving the sequence of cohomology groups
Because
is the kernel, and the inverse image of
is in bijection with the kernel, we have the desired result.
Remarks on classification
When spin structures exist, the inequivalent spin structures on a manifold have a one-to-one correspondence (not canonical) with the elements of H
1(''M'',Z
2), which by the
universal coefficient theorem
In algebraic topology, universal coefficient theorems establish relationships between homology groups (or cohomology groups) with different coefficients. For instance, for every topological space , its ''integral homology groups'':
:
completely ...
is isomorphic to H
1(''M'',Z
2). More precisely, the space of the isomorphism classes of spin structures is an
affine space
In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related ...
over H
1(''M'',Z
2).
Intuitively, for each nontrivial cycle on ''M'' a spin structure corresponds to a binary choice of whether a section of the SO(''N'') bundle switches sheets when one encircles the loop. If ''w''
2 vanishes then these choices may be extended over the two-
skeleton, then (by
obstruction theory In mathematics, obstruction theory is a name given to two different mathematical theories, both of which yield cohomological invariants.
In the original work of Stiefel and Whitney, characteristic classes were defined as obstructions to the ex ...
) they may automatically be extended over all of ''M''. In
particle physics
Particle physics or high energy physics is the study of fundamental particles and forces that constitute matter and radiation. The fundamental particles in the universe are classified in the Standard Model as fermions (matter particles) an ...
this corresponds to a choice of periodic or antiperiodic
boundary condition
In mathematics, in the field of differential equations, a boundary value problem is a differential equation together with a set of additional constraints, called the boundary conditions. A solution to a boundary value problem is a solution to th ...
s for
fermions
In particle physics, a fermion is a particle that follows Fermi–Dirac statistics. Generally, it has a half-odd-integer spin: spin , spin , etc. In addition, these particles obey the Pauli exclusion principle. Fermions include all quarks and ...
going around each loop. Note that on a complex manifold
the second Stiefel-Whitney class can be computed as the first
chern class
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ...
.
Examples
# A
genus
Genus ( plural genera ) is a taxonomic rank used in the biological classification of living and fossil organisms as well as viruses. In the hierarchy of biological classification, genus comes above species and below family. In binomial nom ...
''g''
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed ver ...
admits 2
2''g'' inequivalent spin structures; see
theta characteristic In mathematics, a theta characteristic of a non-singular algebraic curve ''C'' is a divisor class Θ such that 2Θ is the canonical class. In terms of holomorphic line bundles ''L'' on a connected compact Riemann surface, it is therefore ''L'' such ...
.
# If ''H''
2(''M'',Z
2) vanishes, ''M'' is ''spin''. For example, ''S''
''n'' is ''spin'' for all
. (Note that ''S''
2 is also ''spin'', but for different reasons; see below.)
# The
complex projective plane
In mathematics, the complex projective plane, usually denoted P2(C), is the two-dimensional complex projective space. It is a complex manifold of complex dimension 2, described by three complex coordinates
:(Z_1,Z_2,Z_3) \in \mathbf^3,\qquad (Z_1, ...
CP
2 is not ''spin''.
# More generally, all even-dimensional
complex projective space
In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a ...
s CP
2''n'' are not ''spin''.
# All odd-dimensional
complex projective space
In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a ...
s CP
2n+1 are ''spin''.
# All compact,
orientable manifold
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space is ...
s of
dimension 3 or less are ''spin''.
# All
Calabi–Yau manifold
In algebraic geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstri ...
s are ''spin''.
Properties
* The
 genus
In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the ...
of a spin manifold is an integer, and is an even integer if in addition the dimension is 4 mod 8.
*:In general the
 genus
In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the ...
is a rational invariant, defined for any manifold, but it is not in general an integer.
*:This was originally proven by
Hirzebruch
Friedrich Ernst Peter Hirzebruch ForMemRS (17 October 1927 – 27 May 2012) was a German mathematician, working in the fields of topology, complex manifolds and algebraic geometry, and a leading figure in his generation. He has been described as ...
and
Borel, and can be proven by the
Atiyah–Singer index theorem, by realizing the
 genus
In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the ...
as the index of a
Dirac operator
In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian. The original case which concerned Paul Dirac was to factorise forma ...
– a Dirac operator is a square root of a second order operator, and exists due to the spin structure being a "square root". This was a motivating example for the index theorem.
SpinC structures
A spin
C structure is analogous to a spin structure on an oriented
Riemannian manifold, but uses the Spin
C group, which is defined instead by the
exact sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next.
Definition
In the context ...
:
To motivate this, suppose that is a complex spinor representation. The center of U(''N'') consists of the diagonal elements coming from the inclusion , i.e., the scalar multiples of the identity. Thus there is a
homomorphism
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" ...
:
This will always have the element (−1,−1) in the kernel. Taking the quotient modulo this element gives the group Spin
C(''n''). This is the twisted product
:
where U(1) = SO(2) = S
1. In other words, the group Spin
C(''n'') is a
central extension of SO(''n'') by S
1.
Viewed another way, Spin
C(''n'') is the quotient group obtained from with respect to the normal Z
2 which is generated by the pair of covering transformations for the bundles and respectively. This makes the Spin
C group both a bundle over the circle with fibre Spin(''n''), and a bundle over SO(''n'') with fibre a circle.
The fundamental group π
1(Spin
C(''n'')) is isomorphic to Z if ''n'' ≠ 2, and to Z ⊕ Z if ''n'' = 2.
If the manifold has a
cell decomposition
Cell most often refers to:
* Cell (biology), the functional basic unit of life
Cell may also refer to:
Locations
* Monastic cell, a small room, hut, or cave in which a religious recluse lives, alternatively the small precursor of a monastery w ...
or a
triangulation, a spin
C structure can be equivalently thought of as a homotopy class of
complex structure over the 2-
skeleton that extends over the 3-skeleton. Similarly to the case of spin structures, one takes a Whitney sum with a trivial line bundle if the manifold is odd-dimensional.
Yet another definition is that a spin
C structure on a manifold ''N'' is a complex line bundle ''L'' over ''N'' together with a spin structure on .
Obstruction
A spin
C structure exists when the bundle is orientable and the second
Stiefel–Whitney class
In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of ...
of the bundle ''E'' is in the image of the map (in other words, the third integral Stiefel–Whitney class vanishes). In this case one says that ''E'' is spin
C. Intuitively, the lift gives the
Chern class
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ...
of the square of the U(1) part of any obtained spin
C bundle.
By a theorem of Hopf and Hirzebruch, closed orientable 4-manifolds always admit a spin
C structure.
Classification
When a manifold carries a spin
C structure at all, the set of spin
C structures forms an affine space. Moreover, the set of spin
C structures has a free transitive action of . Thus, spin
C-structures correspond to elements of although not in a natural way.
Geometric picture
This has the following geometric interpretation, which is due to
Edward Witten
Edward Witten (born August 26, 1951) is an American mathematical and theoretical physicist. He is a Professor Emeritus in the School of Natural Sciences at the Institute for Advanced Study in Princeton. Witten is a researcher in string theory, q ...
. When the spin
C structure is nonzero this square root bundle has a non-integral Chern class, which means that it fails the
triple overlap condition. In particular, the product of transition functions on a three-way intersection is not always equal to one, as is required for a
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 equi ...
. Instead it is sometimes −1.
This failure occurs at precisely the same intersections as an identical failure in the triple products of transition functions of the obstructed
spin bundle In differential geometry, given a spin structure on an n-dimensional orientable Riemannian manifold (M, g),\, one defines the spinor bundle to be the complex vector bundle \pi_\colon\to M\, associated to the corresponding principal bundle \pi_\col ...
. Therefore, the triple products of transition functions of the full ''spin''
''c'' bundle, which are the products of the triple product of the ''spin'' and U(1) component bundles, are either or and so the spin
C bundle satisfies the triple overlap condition and is therefore a legitimate bundle.
The details
The above intuitive geometric picture may be made concrete as follows. Consider the
short exact sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next.
Definition
In the context ...
, where the second
arrow is
multiplication by 2 and the third is reduction modulo 2. This induces a
long exact sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next.
Definition
In the context ...
on cohomology, which contains
::
where the second
arrow is induced by multiplication by 2, the third is induced by restriction modulo 2 and the fourth is the associated
Bockstein homomorphism ''β''.
The obstruction to the existence of a ''spin'' bundle is an element ''w''
2 of . It reflects the fact that one may always locally lift an SO(n) bundle to a ''spin'' bundle, but one needs to choose a Z
2 lift of each transition function, which is a choice of sign. The lift does not exist when the product of these three signs on a triple overlap is −1, which yields the
Čech cohomology
In mathematics, specifically algebraic topology, Čech cohomology is a cohomology theory based on the intersection properties of open covers of a topological space. It is named for the mathematician Eduard Čech.
Motivation
Let ''X'' be a topol ...
picture of ''w''
2.
To cancel this obstruction, one tensors this ''spin'' bundle with a U(1) bundle with the same obstruction ''w''
2. Notice that this is an abuse of the word ''bundle'', as neither the ''spin'' bundle nor the U(1) bundle satisfies the triple overlap condition and so neither is actually a bundle.
A legitimate U(1) bundle is classified by its
Chern class
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ...
, which is an element of H
2(''M'',Z). Identify this class with the first element in the above exact sequence. The next arrow doubles this Chern class, and so legitimate bundles will correspond to even elements in the second , while odd elements will correspond to bundles that fail the triple overlap condition. The obstruction then is classified by the failure of an element in the second H
2(''M'',Z) to be in the image of the arrow, which, by exactness, is classified by its image in H
2(''M'',Z
2) under the next arrow.
To cancel the corresponding obstruction in the ''spin'' bundle, this image needs to be ''w''
2. In particular, if ''w''
2 is not in the image of the arrow, then there does not exist any U(1) bundle with obstruction equal to ''w''
2 and so the obstruction cannot be cancelled. By exactness, ''w''
2 is in the image of the preceding arrow only if it is in the kernel of the next arrow, which we recall is the
Bockstein homomorphism β. That is, the condition for the cancellation of the obstruction is
:::
where we have used the fact that the third integral Stiefel–Whitney class ''W''
3 is the Bockstein of the second Stiefel–Whitney class ''w''
2 (this can be taken as a definition of ''W''
3).
Integral lifts of Stiefel–Whitney classes
This argument also demonstrates that second Stiefel–Whitney class defines elements not only of Z
2 cohomology but also of integral cohomology in one higher degree. In fact this is the case for all even Stiefel–Whitney classes. It is traditional to use an uppercase ''W'' for the resulting classes in odd degree, which are called the integral Stiefel–Whitney classes, and are labeled by their degree (which is always odd).
Examples
# All
oriented smooth manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ma ...
s of dimension 4 or less are spin
C.
# All
almost complex manifold
In mathematics, an almost complex manifold is a smooth manifold equipped with a smooth linear complex structure on each tangent space. Every complex manifold is an almost complex manifold, but there are almost complex manifolds that are not compl ...
s are spin
C.
# All ''spin'' manifolds are spin
C.
Application to particle physics
In
particle physics
Particle physics or high energy physics is the study of fundamental particles and forces that constitute matter and radiation. The fundamental particles in the universe are classified in the Standard Model as fermions (matter particles) an ...
the
spin–statistics theorem
In quantum mechanics, the spin–statistics theorem relates the intrinsic spin of a particle (angular momentum not due to the orbital motion) to the particle statistics it obeys. In units of the reduced Planck constant ''ħ'', all particles tha ...
implies that the
wavefunction
A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements ...
of an uncharged
fermion is a section of the
associated vector bundle to the ''spin'' lift of an SO(''N'') bundle ''E''. Therefore, the choice of spin structure is part of the data needed to define the wavefunction, and one often needs to sum over these choices in the
partition function. In many physical theories ''E'' is the
tangent bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of ...
, but for the fermions on the worldvolumes of
D-branes in
string theory it is a
normal bundle
In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion).
Definition
Riemannian manifold
Let (M,g) be a Riemannian m ...
.
In
quantum field theory charged spinors are sections of associated ''spin''
''c'' bundles, and in particular no charged spinors can exist on a space that is not ''spin''
''c''. An exception arises in some
supergravity
In theoretical physics, supergravity (supergravity theory; SUGRA for short) is a modern field theory that combines the principles of supersymmetry and general relativity; this is in contrast to non-gravitational supersymmetric theories such as ...
theories where additional interactions imply that other fields may cancel the third Stiefel–Whitney class. The mathematical description of spinors in supergravity and string theory is a particularly subtle open problem, which was recently addressed in references.
[.] It turns out that the standard notion of spin structure is too restrictive for applications to supergravity and string theory, and that the correct notion of spinorial structure for the mathematical formulation of these theories is a "Lipschitz structure".
See also
*
Metaplectic structure
*
Orthonormal frame bundle
In mathematics, a frame bundle is a principal fiber bundle F(''E'') associated to any vector bundle ''E''. The fiber of F(''E'') over a point ''x'' is the set of all ordered bases, or ''frames'', for ''E'x''. The general linear group acts nat ...
*
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 ...
References
Further reading
*
*
*
*
* {{Cite book , last1=Scorpan , first1=Alexandru , title=The wild world of 4-manifolds , publisher= American Mathematical Society , year=2005 , pages=174–189 , chapter=4.5 Notes Spin structures, the structure group definition; Equivalence of the definitions of , chapter-url=https://books.google.com/books?id=VgG9AwAAQBAJ&pg=PA173 , isbn=9780821837498
External links
Something on Spin Structuresby Sven-S. Porst is a short introduction to
orientation
Orientation may refer to:
Positioning in physical space
* Map orientation, the relationship between directions on a map and compass directions
* Orientation (housing), the position of a building with respect to the sun, a concept in building de ...
and spin structures for mathematics students.
Structures on Riemannian manifolds
Structures on manifolds
Algebraic topology
K-theory
Mathematical physics