Metric derivative: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>FrescoBot
m Bot: fixing title linked in text
 
en>FallingGravity
→‎References: +page #; Note: the chapter did not "kill the book title", I had accidentally added the Title parameter twice.
 
Line 1: Line 1:
Boarding Run or Cattery Operator Deniston from Gold River, has several hobbies and interests that include acting, [http://comoganhardinheiropelainternet.comoganhardinheiro101.com/ como ganhar dinheiro] na internet and antiques. In the recent several months has gone to locations like Old Walled City of Shibam.
In a field of [[mathematics]] known as [[representation theory]] '''pure spinors''' (or '''simple spinors''') are [[spinor]] representations of the [[special orthogonal group]] that are annihilated by the largest possible [[linear subspace|subspace]] of the [[Clifford algebra]].  They were introduced by [[Élie Cartan]] in the 1930s to classify [[complex structure]]s{{dn|date=August 2012}}.  Pure spinors were introduced into the realm of theoretical physics, and elevated in their importance in the study of [[spinor bundle|spin geometry]] more generally, by [[Roger Penrose]] in the 1960s, where they became among the basic objects of study in [[twistor theory]].
 
==Definition==
Consider a [[complex number|complex]] [[vector space]] '''C'''<sup>2''n''</sup> with even [[complex dimension]] 2''n'' and a [[quadratic form]] ''Q'', which maps a vector ''v'' to complex number ''Q''(''v'').  The [[Clifford algebra]] ''C''ℓ<sub>2n</sub>('''C''') is the [[ring (mathematics)|ring]] generated by products of vectors in '''C'''<sup>2''n''</sup> subject to the relation
 
:<math>v^2=Q(v). \, </math>
 
[[Spinor]]s are [[module (mathematics)|modules]] of the Clifford algebra, and so in particular there is an action of '''C'''<sup>2''n''</sup> on the space of spinors.  The subset of '''C'''<sup>2''n''</sup> that annihilates a given spinor ψ is a complex subspace '''C'''<sup>''m''</sup>.  If ψ is nonzero then ''m'' is less than or equal to&nbsp;''n''.  If ''m'' is equal to ''n'' then ψ is said to be a ''pure spinor''.
 
==The set of pure spinors==
Every pure spinor is annihilated by a half-dimensional subspace of ''C''<sup>2''n''</sup>.  Conversely given a half-dimensional subspace it is possible to determine the pure spinor that it annihilates up to multiplication by a complex number.  Pure spinors defined up to complex multiplication are called '''projective pure spinors'''.  The space of projective pure spinors is the [[homogeneous space]]
 
:SO(2''n'')/U(''n'').
 
Not all spinors are pure.  In general pure spinors may be separated from impure spinors via a series of [[quadratic equation]]s called pure spinor [[Constraint (mathematics)|constraint]]s.  However in 6 or less real dimensions all spinors are pure.  In 8 dimensions there is, projectively, a single pure spinor constraint.  In 10 dimensions, the case relevant for [[superstring theory]], there are 10 constraints
 
:<math>\psi\Gamma^\mu \psi = 0.\,</math>
 
where Γ<sup>''μ''</sup> are the [[gamma matrices]], which represent the vectors '''C'''<sup>2''n''</sup> that generate the Clifford algebra.  In general there are
 
:<math> {2n \choose n - 4} </math>
 
constraints.
 
==Pure spinors in string theory==
<!--This all seems a bit dubious to me.  It was the second paragraph of the introduction, where it was clearly revisionist as a description of the "history" of pure spinors.  For example, Hitchin has known about pure spinors for ages.  Then again, string theorists love to appropriate things that have been around for ages.  So take this all with a grain of salt.-->
Recently pure spinors have attracted attention in [[string theory]].  In the year 2000 [[Nathan Berkovits]], professor at [http://www.ift.unesp.br/ Instituto de Fisica Teorica] in São Paulo-Brazil introduced the [[pure spinor formalism]] in his paper [http://xxx.lanl.gov/abs/hep-th/0001035 Super-Poincare covariant quantization of the superstring]. In 2002 [[Nigel Hitchin]] introduced [[generalized Calabi–Yau manifold]]s in his paper [http://xxx.lanl.gov/abs/math.DG/0209099 Generalized Calabi–Yau manifolds], where the [[generalized complex structure]] is defined by a pure spinor.  These spaces describe the geometries of [[Compactification (physics)#Flux compactification|flux compactification]]s in string theory.
 
==References==
 
*  Cartan, Élie.  ''Lecons sur la Theorie des Spineurs,'' Paris, Hermann (1937).
* Chevalley, Claude. ''The algebraic theory of spinors and Clifford Algebras.  Collected Works''. Springer Verlag (1996).
* Charlton, Philip. [http://csusap.csu.edu.au/~pcharlto/charlton_thesis.pdf The geometry of pure spinors, with applications], PhD thesis (1997).
*[http://xstructure.inr.ac.ru/x-bin/theme3.py?level=1&index1=315073 Pure spinor on arxiv.org]
 
[[Category:Spinors]]

Latest revision as of 01:43, 20 March 2013

In a field of mathematics known as representation theory pure spinors (or simple spinors) are spinor representations of the special orthogonal group that are annihilated by the largest possible subspace of the Clifford algebra. They were introduced by Élie Cartan in the 1930s to classify complex structuresTemplate:Dn. Pure spinors were introduced into the realm of theoretical physics, and elevated in their importance in the study of spin geometry more generally, by Roger Penrose in the 1960s, where they became among the basic objects of study in twistor theory.

Definition

Consider a complex vector space C2n with even complex dimension 2n and a quadratic form Q, which maps a vector v to complex number Q(v). The Clifford algebra C2n(C) is the ring generated by products of vectors in C2n subject to the relation

Spinors are modules of the Clifford algebra, and so in particular there is an action of C2n on the space of spinors. The subset of C2n that annihilates a given spinor ψ is a complex subspace Cm. If ψ is nonzero then m is less than or equal to n. If m is equal to n then ψ is said to be a pure spinor.

The set of pure spinors

Every pure spinor is annihilated by a half-dimensional subspace of C2n. Conversely given a half-dimensional subspace it is possible to determine the pure spinor that it annihilates up to multiplication by a complex number. Pure spinors defined up to complex multiplication are called projective pure spinors. The space of projective pure spinors is the homogeneous space

SO(2n)/U(n).

Not all spinors are pure. In general pure spinors may be separated from impure spinors via a series of quadratic equations called pure spinor constraints. However in 6 or less real dimensions all spinors are pure. In 8 dimensions there is, projectively, a single pure spinor constraint. In 10 dimensions, the case relevant for superstring theory, there are 10 constraints

where Γμ are the gamma matrices, which represent the vectors C2n that generate the Clifford algebra. In general there are

constraints.

Pure spinors in string theory

Recently pure spinors have attracted attention in string theory. In the year 2000 Nathan Berkovits, professor at Instituto de Fisica Teorica in São Paulo-Brazil introduced the pure spinor formalism in his paper Super-Poincare covariant quantization of the superstring. In 2002 Nigel Hitchin introduced generalized Calabi–Yau manifolds in his paper Generalized Calabi–Yau manifolds, where the generalized complex structure is defined by a pure spinor. These spaces describe the geometries of flux compactifications in string theory.

References