In
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 mathem ...
, a spinᶜ structure (or complex spin structure) is a special classifying map that can exist for orientable manifolds. Such manifolds are called spinᶜ manifolds. C stands for the
complex numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a ...
, which are denoted
and appear in the definition of the underlying
spinᶜ group. In four dimensions, a spinᶜ structure defines two complex plane bundles, which can be used to describe negative and positive
chirality
Chirality () is a property of asymmetry important in several branches of science. The word ''chirality'' is derived from the Greek (''kheir''), "hand", a familiar chiral object.
An object or a system is ''chiral'' if it is distinguishable fro ...
of
spinors
In geometry and physics, spinors (pronounced "spinner" IPA ) are elements of a complex numbers, complex vector space that can be associated with Euclidean space. A spinor transforms linearly when the Euclidean space is subjected to a slight (infi ...
, for example in the
Dirac equation
In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1/2 massive particles, called "Dirac ...
of
relativistic quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct physical models of suba ...
. Another central application is
Seiberg–Witten theory
In theoretical physics, Seiberg–Witten theory is an \mathcal = 2 supersymmetric gauge theory with an exact low-energy effective action (for massless degrees of freedom), of which the kinetic part coincides with the Kähler potential of the ...
, which uses them to study
4-manifolds
In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. T ...
.
Definition
Let
be a
-dimensional
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 "anticlockwise". A space is ori ...
. Its
tangent bundle
A tangent bundle is the collection of all of the tangent spaces for all points on a manifold, structured in a way that it forms a new manifold itself. Formally, in differential geometry, the tangent bundle of a differentiable manifold M is ...
is described by a classifying map
into the
classifying space
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e., a topological space all of whose homotopy groups are trivial) by a proper free ...
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. ...
. It can factor over the map
induced by the canonical projection
on
classifying spaces. In this case, the classifying map lifts to a continuous map
into the classifying space
of the
spinᶜ group , which is called ''spinᶜ structure''.
Let
denote the set of spinᶜ structures on
up to
homotopy
In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. ...
. The first
unitary group
Unitary may refer to:
Mathematics
* Unitary divisor
* Unitary element
* Unitary group
* Unitary matrix
* Unitary morphism
* Unitary operator
* Unitary transformation
* Unitary representation
* Unitarity (physics)
* ''E''-unitary inverse semi ...
is the second factor of the spinᶜ group and using its
classifying space
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e., a topological space all of whose homotopy groups are trivial) by a proper free ...
, which is the infinite
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 ...
and a model of the
Eilenberg–MacLane space
In mathematics, specifically algebraic topology, an Eilenberg–MacLane spaceSaunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name. ...
, there is a
bijection
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equival ...
:
:
Due to the canonical projection
, every spinᶜ structure induces a
principal -bundle or equvalently a complex
line bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organis ...
.
Properties
* Every spin structure induces a canonical spinᶜ structure.
[Nicolaescu, Example 1.3.16] The reverse implication doesn't hold as the
complex projective plane
In mathematics, the complex projective plane, usually denoted or 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 \C^3, \qquad (Z_1,Z_2, ...
shows.
* Every spinᶜ structure induces a canonical spinʰ structure. The reverse implication doesn't hold as the
Wu manifold
In mathematics, a 5-manifold is a 5-dimensional topological manifold, possibly with a piecewise linear or smooth structure.
Non-simply connected 5-manifolds are impossible to classify, as this is harder than solving the word problem for groups.. ...
shows.
* An orientable manifold
has a spinᶜ structure iff its third integral Stiefel–Whitney class
vanishes, hence is the image of the second ordinary Stiefel–Whitney class
under the canonical map
.
* Every orientable smooth manifold with four or less dimensions has a spinᶜ structure.
* Every
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 comple ...
has a spinᶜ structure.
[Mellor 1995, Theorem 3]
The following properties hold more generally for the lift on the Lie group
, with the particular case
giving:
* If
is a spinᶜ manifold, then
and
are spinᶜ manifolds.
[Albanese & Milivojević 2021, Proposition 3.6.]
* If
is a spin manifold, then
is a spinᶜ manifold iff
is a spinᶜ manifold.
* If
and
are spinᶜ manifolds of same dimension, then their
connected sum
In mathematics, specifically in topology, the operation of connected sum is a geometric modification on manifolds. Its effect is to join two given manifolds together near a chosen point on each. This construction plays a key role in the classifi ...
is a spinᶜ manifold.
[Albanese & Milivojević 2021, Proposition 3.7.]
* The following conditions are equivalent:
[Albanese & Milivojević 2021, Proposition 3.2.]
**
is a spinᶜ manifold.
** There is a real plane bundle
, so that
has a spin structure or equivalently
.
**
can be immersed in a spin manifold with two dimensions more.
**
can be embedded in a spin manifold with two dimensions more.
See also
*
Spinʰ structure
Literature
*
*
*
* {{cite journal , author=Michael Albanese und Aleksandar Milivojević , date=2021 , title=Spinʰ and further generalisations of spin , language=en , volume=164 , pages=104–174 , arxiv=2008.04934 , doi=10.1016/j.geomphys.2022.104709 , periodical=
Journal of Geometry and Physics
The ''Journal of Geometry and Physics'' is a scientific journal in mathematical physics. Its scope is to stimulate the interaction between geometry and physics by publishing primary research and review articles which are of common interest to pract ...
References
External links
*
spinᶜ structure on
''n''Lab
Differential geometry