Spinc Structure
   HOME

TheInfoList



OR:

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 \mathbb 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 M be a n-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 ...
TM is described by a classifying map M\rightarrow\operatorname(n) 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 ...
\operatorname(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. ...
\operatorname(n). It can factor over the map \operatorname^\mathrm(n)\rightarrow\operatorname(n) induced by the canonical projection \operatorname^\mathrm(n)\twoheadrightarrow\operatorname(n) on classifying spaces. In this case, the classifying map lifts to a continuous map M\rightarrow\operatorname^\mathrm(n) into the classifying space \operatorname^\mathrm(n) of the spinᶜ group \operatorname^\mathrm(n), which is called ''spinᶜ structure''. Let \operatorname^\mathrm(M) denote the set of spinᶜ structures on M 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 ...
\operatorname(1) 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 ...
\operatorname(1) \cong\operatorname(2), 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 ...
\mathbbP^\infty 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. ...
K(\mathbb,2), 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 ...
: : \operatorname^\mathrm(M) \cong ,\operatorname(1)\cong ,\mathbbP^\infty\cong ,K(\mathbb,2)\cong H^2(M,\mathbb). Due to the canonical projection \operatorname^\mathrm(n)\rightarrow\operatorname(1)/\mathbb_2 \cong\operatorname(1), every spinᶜ structure induces a principal \operatorname(1)-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, ...
\mathbbP^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.. ...
\operatorname(3)/\operatorname(3) shows. * An orientable manifold M has a spinᶜ structure iff its third integral Stiefel–Whitney class W_3(M) \in H^2(M,\mathbb) vanishes, hence is the image of the second ordinary Stiefel–Whitney class w_2(M) \in H^2(M,\mathbb) under the canonical map H^2(M,\mathbb_2)\rightarrow H^2(M,\mathbb). * 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 \operatorname^k(n) :=\left( \operatorname(n)\times\operatorname(k) \right)/\mathbb_2 , with the particular case k=2 giving: * If M\times N is a spinᶜ manifold, then M and N are spinᶜ manifolds.Albanese & Milivojević 2021, Proposition 3.6. * If M is a spin manifold, then M\times N is a spinᶜ manifold iff N is a spinᶜ manifold. * If M and N 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 ...
M\# N is a spinᶜ manifold.Albanese & Milivojević 2021, Proposition 3.7. * The following conditions are equivalent:Albanese & Milivojević 2021, Proposition 3.2. ** M is a spinᶜ manifold. ** There is a real plane bundle E\twoheadrightarrow M, so that TM\oplus E has a spin structure or equivalently w_2(TM\oplus E) =0. ** M can be immersed in a spin manifold with two dimensions more. ** M 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