Jump to content

User:Maschen/twistor theory

From Wikipedia, the free encyclopedia
THIS IS TO BE REWRITTEN AND MERGED INTO THE ARTICLE. IT IS MOSTLY WRITTEN FROM THE EXTERNAL LINKS.

Motivation

[edit]

The motivation and one of the initial aims of twistor theory is to provide an adequate formalism for the union of quantum theory and general relativity. Twistors are essentially complex objects, like wavefunctions in quantum mechanics, as well as endowed with holomorphic and algebraic structure sufficient to encode space-time points. In this sense twistor space can be considered more primitive than the space-time itself and indeed provides a background against which space-time could be meaningfully quantized.

Stereographic projection

[edit]

<<add diagram>>

In quantum mechanics a state of an object is described by a vector in Hilbert space. This is a linear superposition of some basis vectors, for example, in the case of an electron (or any spin-1/2 particle) it is some linear superposition of the spin "up" and "down" states. The two component vector (z,w) is called a spinor. The norm of this spinor caries no information - indeed, it is usually set to 1. Only the direction is physically significant which forces us to consider the projective (spin) space. In the electron example, spin state is therefore described by a point in CP1, conveniently represented with Riemann sphere.

Properties of stereographic projection

[edit]

<<add diagram>>

Stereographic projection is a shape (i.e. angle) preserving map. Hence circles on the sphere will be mapped to circles on the plane (except those containing the south pole, which are mapped to straight lines on the plane). This geometry is preserved by Möbius (fractional linear) transformation. In terms of spinors, this is the action of SL(2,C).

Relativity

[edit]

Appearance of a moving sphere

[edit]

<<add diagram>>

In relativity, an observer sees a t=const. section of its past null cone. This is a celestial (Riemann) 2-sphere that can be stereographically projected onto a complex plane. Möbius transformations of the plane correspond to Lorentz transformations of the celestial sphere.

This "spinorial" point of view has an interesting application in finding the apparent shape of a rapidly moving sphere.

Naively we would expect to see Lorentz contraction. However, no such contraction will be observed: every observer will see a circular outline (moving in some direction; of corse, they do not agree on the direction or the velocity of the sphere).

Lorentz transformation of sphere of vision

[edit]

<<add diagram>>

The spherical outline on the t=const. section of observer's past light cone will remain spherical under Lorentz transformation since we know that Lorentz transformation on the celestial sphere is just Möbius transformation on the image of the sphere under stereographic projection. All these are shape preserving maps which proves out assertion.

Synge argument is another demonstration of the Lorentz-invariance of the circular outline on the celestial sphere. Here the blue timelike hyperplane intersects the observer's past lightcone and t=const. hyperplanes in a circle. It is clear that Lorentz transformation cannot change the shape of the circle.

Twistor theory

[edit]

Twistors as spinors

[edit]

<<add diagram>>

A space-time point can be represented as a Riemann sphere in terms of some section of its light cone. This is precisely how space-time points are represented in the projective twistor space.

The full twistor space is just a 4-dimensional complex vector space {(Z0, Z1, Z2, Z3)} = C4. More technical details are given below.

<<image: twistors as spinors for O(2,4)>>

Another way of defining twistors is as spinors for O(2,4) group (actually, the subgroup that preserves "time" and "space" orientations). Minkowski space M can be represented in R6 with metric signature (++−−−−) as a parabolic intersection of a hyperplane with the null cone of the origin. All generators of the cone intersect M except for the U = W generator. Adding this generator gives the compactified Minkowski space M#. Projectively, M# corresponds to a quadric.

Incidence

[edit]

<<image: Klein correspondence>>

Twistors are essentially complex objects and in order to proceed we shall have to consider the complexification of the compactified Minkowski space. This is a quadric in the 5-dimensional complex projective space. On this quadric, there are two 3-parameter families of totally null 2-planes, one self-dual (SD, alpha-planes), the other anti-self-dual (ASD, beta-planes). Projective twistor space is the space of all alpha-planes. Through every point on the quadric there is a one-parameter family of alpha-planes which means that space-time points are represented as projective lines in the projective twistor space.

This correspondence between the lines in CP3 and points of a quadric in CP5 is known as the Klein correspondence. image: incidence relation

In terms of the coordinates (r0,r1,r2,r3) on CM, the complexified Minkowski space, and homogeneous coordinates (Z0, Z1, Z2, Z3) on CP3, the Klein correspondence can be espressed explicitly in terms of the incidence relation.

If we restrict ourselves to real space-time points, the corresponding lines in CP3 lie in a 5-real-dimensional hypersurface PN.

<<image: spinor components>>

This transparency shows the same matrix equation of incidence relation written in terms of spinor components of a twistor in abstract-index notation. Indices A, A′ take values 0 and 1.

In complexified Minkowski space the incidence relation associates an alpha-plane with each projective twistor. image: momentum and angular momentum

The spinor components of a twistor have a natural interpretation in terms of the momentum and angular momentum of a zero rest mass particle. Technical details can be found in the Twistor Primer.

This identification also yields the spin in the form of the Pauli-Lubanski vector.

Quantization

[edit]

<<image: quantization>>

The quantum mechanical commutation relations for momentum and angular momentum give simple commutation relation for twistors and dual twistors. Hence the quantisation rule for twistor theory: dual twistors are represented with derivative operators. Substituting into the expression for the spin, we observe that Euler homogeneity operator features in the formula. States with well defined spin s are therefore described by functions on twistor space which are homogeneous of degree −2(s + 1). image: massless field eqns

Field equations

[edit]

Massless field of spin s is a spinor field with 2s indices, primed for s > 0 and unprimed for s < 0. We expect to be able to encode a spin s massless field with a homgeneity degree −2(s + 1) twistor function.

<<image: twistor representation>>

Indeed, this is achieved with a contour integral formula shown.

<<image: cohomology>>

An important observation can be made here that two different twistor functions encode the same field if their difference is a holomorphic function. Thus it is the equivalence classes of functions (strictly speaking, Cech cohomology representatives) that correspond to massless fields. For more information on Cech cohomology see Applications of Sheaf Cohomology in Twistor Theory.

Gravitation

[edit]

<<image: linearised gravity>>

These are the massless fields equations and their solutions in the linearized case of gravitational interaction. As expected, homogeneity degree +2 and -6 functions encode the anti-self-dual and self-dual parts of the gravitational field.

Background on spinors

[edit]

Roger Penrose was first led to the concept of twistors in his investigation of the structure of spacetime and it was he who first saw the wide range of applications for this new mathematical construct. The building blocks are spinors.

Notation:

  • capital indices indicate the entries in a matrix, row vector or column vector.
  • Latin and Greek indices take spacetime values.

Spinors

[edit]

Let Ka be a vector in Minkowski spacetime of signature (+−−−). It can be represented in the form of a Hermitian matrix:

Twice the determinant is the square of the norm of the vector:

with gab the components of the metric. If Ka is null future-pointing, there is a decomposition

where ξ, η are complex numbers, meaning κA is an element of C2. The κA and κA′ are Hermitian conjugates of each other: κA is a spinor and κA′ is an element of the conjugate spinor space.

Thus the null cone can be parametrized by two complex numbers, the components of the spinor κA.

In the projective case, when we are interested only in the direction of κA, the space of parametrization reduces to , the 1-dimensional complex projective space, which is homeomorphic to the celestial sphere S1.

Since the determinant is the unique skew-symmetric form of maximal rank (up to a constant factor), we have the following decomposition:

where ε is the Levi-civita symbol in two dimensions, with non-zero entries ε01 = −ε10.

Now we can define raising and lowering of spinor indices via ε:

wherein the order of indices is important since ε is antisymmetric, even though the metric is symmetric. The norm is:

Spinor calculations are equivalent to tensor calculations in many ways. The main difference is that in the spinor case there are unprimed and primed (conjugate) spaces with their respective duals. The isomorphisms between the spaces and their duals are given by the skew-symmetric form so care must be taken to write the indices in the correct order.

Electromagnetism in spinor notation

[edit]

We present here the basic results written in spinor notation. Every complex-valued antisymmetric second-order tensor Fab can be written as:

where ϕAB and ψAB are symmetric spinors. For real-valued Fab:

and the tensor dual to F is:

Maxwell's equations have the form:

for some four-potential Φb and four-current Jb. The expression for the stress-energy tensor is also particularly simple:

Twistors

[edit]

Approach to twistor by momentum, angular momentum, and spin

[edit]

One of the easiest and most straightforward ways of defining twistors uses the transformation properties of linear and angular momentum of a particle under a shift of origin. Consider a change of origin from 0 to a point Q with coordinates qa. With respect to the new origin, the momentum is independent of the origin,

although the angular momentum is not:

The the Pauli-Lubanski spin vector, built out of the momentum, angular momentum, and four-dimensional Levi-Civita symbol:

is also independent of the origin:

If the momentum is future pointing and null, then from the above result we can decompose it into:

while for the angular momentum:

with dual:

and finally for the Pauli-Lubanski pseudovector:

In nature we only observe massles particles with definite handedness, i.e. with

then:

and

where the round brackets ( ) denote index symmetrization, and either αA′ or βB′ are proportional to πa′. Always:

The same arguments apply to μAB. Introducing ωA by the equation:

These form the components of a twistor:

with conjugate:

The helicity of a massless particle is given by half of the square of twistor norm:

Quantization

[edit]

The canonical commutation rules for Minkowski spacetime are those of the Poincaré group:

induce the following commutation relations on the twistor space:

One way of quantizing the theory is to use the following substitution:

The spin operator can be easily derived in the non-commutative case following the same procedure. The result is the symmetrized form:

Therefore, if we want a twistor function f(Zα) to be an eigenstate of the spin operator with eigenvalue ħs, the function f(Zα) must be homogeneous of degree −2(s + 1).

Klein Correspondence

[edit]

In this section we outline some basic twistor geometry. Let M be complexified and compactified Minkowski space. We can think of it as the Grassmannian manifold .

Incidence

[edit]

The basic concept is that of incidence. The twistor is incident with a spacetime point xa if and only if:

The dual twistor:

is incident with a spacetime point xa if and only if:

The twistor is incident with its dual if

In the projective twistor space , Zα defines a point as an equivalence class of all twistors in proportional to Zα. The set of all spacetime points incident with it forms a totally null complex 2-plane in M (α-plane). If we denote the incidence relation by , then

for all λA. Any two vectors in the α-plane are orthogonal to each other. Since Zα and λZα have the same incidence properties for nonzero λ, , it is natural to study incidence on the projective twistor space PT.


Dual twistors now correspond to planes in PT and are incident on β-planes in M. These are also totally null complex 2-planes in M. Finally, it can be shown that

if and only if there is a spacetime point incident on both of them. Geometric correspondence defined by the incidence relation (Klein correspondence) is summarised in the following table:

Classical fields

[edit]

Let and be two symmetric spin-(n/2) fields in M, where n is the number of spinor indices. Massless field of spin s is a spinor field with 2s indices, primed for s > 0 and unprimed for s < 0.

The field equation for a massless positive helicity field is given by:

while for a massless negative helicity field:

as for the massless spinless case we have the scalar wave equation:

We expect to be able to encode a spin s massless field with a homgeneity degree −2(s + 1) twistor function. Indeed, this is achieved with contour integral formulae. The solutions can then be written in the form:

An important observation can be made here that two different twistor functions encode the same field if their difference is a holomorphic function. Thus it is the equivalence classes of functions (strictly speaking, Cech cohomology representatives) that correspond to massless fields. For more information on Cech cohomology see Applications of Sheaf Cohomology in Twistor Theory.

Consider the cases:

References

[edit]
  • R. Penrose (2005). "33". The Road to Reality. Vintage books. ISBN 978-00994-40680.

Oxford science publications. Vol. 15. Oxford University Press. ISBN 0-198-534-981. {{cite book}}: line feed character in |series= at position 68 (help)CS1 maint: multiple names: authors list (link)

[edit]