User:Maschen/twistor theory


 * THIS IS TO BE REWRITTEN AND MERGED INTO THE ARTICLE. IT IS MOSTLY WRITTEN FROM THE EXTERNAL LINKS.

Motivation
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
< >

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
< >

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).

Appearance of a moving sphere
< >

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
< >

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.

Twistors as spinors
< >

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.

<>

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
<>

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.

<>

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&prime; 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
<>

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
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.

<>

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

<>

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
<>

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
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
Let Ka be a vector in Minkowski spacetime of signature (+−−−). It can be represented in the form of a Hermitian matrix:


 * $$K^{AA'} = \frac{1}{\sqrt{2}}\begin{pmatrix} K^0 + K^3 & K^1 + i K^2 \\ K^1 - i K^2 & K^0 - K^3 \end{pmatrix}$$

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


 * $$2 \det(K^{AA'}) = g_{ab}K^a K^b = \| K \|^2$$

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


 * $$K^{AA'} = \kappa^A \bar{\kappa}^{A'} \,,\quad \kappa^A = \begin{pmatrix}\xi & \eta \end{pmatrix}\,,\quad \bar{\kappa}^{A'} = \begin{pmatrix}\bar{\xi} \\ \bar{\eta} \end{pmatrix}$$

where ξ, η are complex numbers, meaning κA is an element of C2. The κA and $\overline{κ}$A&prime; are Hermitian conjugates of each other: κA is a spinor and $\overline{κ}$A&prime; 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 $$\mathbb{P}\mathbb{C}^1$$, 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:


 * $$2 \det(K^{AA'}) = \varepsilon_{AB}\varepsilon_{A'B'} K^{AA'} K^{BB'} = g_{ab}K^a K^b $$


 * $$g_{ab} = \varepsilon_{AB}\varepsilon_{A'B'} $$

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 ε:


 * $$\kappa_A = \kappa^B \varepsilon_{BA} \,\quad \kappa_{A'} = \kappa^{B'} \varepsilon_{B'A'}$$

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


 * $$\kappa_A \kappa^A = \kappa_{A'}\kappa^{A'} = 0 $$

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
We present here the basic results written in spinor notation. Every complex-valued antisymmetric second-order tensor Fab can be written as:


 * $$F_{ab} = \phi_{AB} \varepsilon_{A'B'} + \psi_{A'B'} \varepsilon_{AB} $$

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


 * $$\psi_{A'B'} = \overline{\phi_{AB}} = \bar{\phi}_{A'B'} $$

and the tensor dual to F is:


 * $$\star F_{ab} = -i\phi_{AB} \varepsilon_{A'B'} + i\psi_{A'B'} \varepsilon_{AB}$$

Maxwell's equations have the form:


 * $$\nabla^A_{B'} \phi_{AB} = 2\pi J_{BB'}$$
 * $$\phi_{AB} = \nabla_{A'(A} \Phi_{B)}^{A'} $$

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


 * $$T_{ab} = \frac{1}{2\pi} \phi_{AB}\bar{\phi}_{A'B'} $$

Approach to twistor by momentum, angular momentum, and spin
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,


 * $$ p^a(Q) = p^a(0) $$

although the angular momentum is not:


 * $$ M^{ab} (Q) = M^{ab}(0) + (q^a p^b - q^b p^a) $$

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


 * $$ S_a (Q) = \frac{1}{2} \varepsilon_{abcd} p^b M^{cd} = \star M_{ab} p^b $$

is also independent of the origin:


 * $$ S_a (Q) = \frac{1}{2} \varepsilon_{abcd} p^b M^{cd} = \star M_{ab} p^b $$

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


 * $$ p^a =\bar{\pi}_A \pi_{A'} $$

while for the angular momentum:


 * $$ M^{ab} = \bar{\mu}_{AB} \varepsilon_{A'B'} + \mu_{A'B'} \varepsilon_{AB} $$

with dual:


 * $$ \star M^{ab} = -i\bar{\mu}_{AB} \varepsilon_{A'B'} + i \mu_{A'B'} \varepsilon_{AB} $$

and finally for the Pauli-Lubanski pseudovector:


 * $$ S_a = i \bar{\mu}_{AB} \bar{\pi}^B \pi_{A'} \varepsilon_{A'B'} -i \mu_{A'B'} \varepsilon_{AB} $$

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


 * $$ S_a = s p_a $$

then:


 * $$ \mu_{A'B'} \pi^{B'} \pi^{A'} = 0 $$

and


 * $$ \mu_{A'B'} = \alpha_{(A'} \beta_{B')} = \frac{1}{2}(\alpha_{A'} \beta^{B'} + \alpha_{B'} \beta^{A'})$$

where the round brackets denote index symmetrization, and either αA&prime; or βB&prime; are proportional to πa&prime;. Always:


 * $$ \pi_{A} \pi^{A} = 0 $$

The same arguments apply to $\overline{μ}$AB. Introducing ωA by the equation:


 * $$ \bar{\mu}_{AB} = i\omega_{(A} \bar{\pi}_{B)} $$

These form the components of a twistor:


 * $$ Z^\alpha = (\omega^{A}, \pi_{A'} ) $$

with conjugate:


 * $$ \bar{Z}_\alpha = (\bar{\pi}_{A}, \bar{\omega}^{A'}) $$

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


 * $$ s = \frac{1}{2}(\omega^A \bar{\pi}_A + \bar{\omega}^{A'} \pi_{A'} ) = \frac{1}{2} Z^\alpha \bar{Z}_\alpha $$

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


 * $$ [p_a, p_b ] = 0 $$
 * $$ [q^a, q^b ] = 0 $$
 * $$ [p_a, q^b ] = i\hbar g_a^b $$

induce the following commutation relations on the twistor space:


 * $$ [Z^\alpha, Z^\beta ] = 0 $$
 * $$ [\bar{Z}_\alpha, \bar{Z}_\beta ] = 0 $$
 * $$ [Z^\alpha, \bar{Z}_\beta ] = \hbar \delta_\beta^\alpha $$

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


 * $$ Z^\alpha \rightarrow Z^\alpha $$
 * $$ \bar{Z}_\alpha \rightarrow -\hbar \frac{\partial}{\partial Z^\alpha} $$

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


 * $$ s = \frac{1}{4}(Z^\alpha \bar{Z}_\alpha + \bar{Z}_\alpha Z^\alpha ) = -\frac{\hbar}{2}\left(Z^\alpha \frac{\partial}{\partial Z^\alpha} + 2 \right)$$

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
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 $$G_{2,4}\mathbb{C}$$.

Incidence
The basic concept is that of incidence. The twistor $$ Z^\alpha = (\omega^{A}, \pi_{A'} ) $$ is incident with a spacetime point xa if and only if:


 * $$ \omega^A = i x^{AA'} \pi_{A'} $$

The dual twistor:


 * $$ W_\alpha = (\mu_A, \nu^{A'} ) $$

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


 * $$ \nu^{A'} = - i x^{AA'} \mu_A $$

The twistor is incident with its dual if


 * $$ Z^\alpha W_\alpha = 0 $$

In the projective twistor space $$\mathbb{P}\mathbb{T}$$, Zα defines a point as an equivalence class of all twistors in $$\mathbb{T}$$ 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 $$\leftrightsquigarrow$$, then


 * $$ x^a \leftrightsquigarrow Z^\alpha \rightarrow x^a + \lambda^A \pi^{A'} \leftrightsquigarrow Z^\alpha $$

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


 * $$ Z^\alpha \leftrightsquigarrow W_\alpha $$

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
Let $$\phi_{ABC \ldots} = \phi_{(ABC \ldots)} $$ and $$\phi_{A'B'C' \ldots} = \phi_{(A'B'C' \ldots)} $$ 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:


 * $$\nabla^{AA'}\phi_{ABC \ldots} = 0 \,,\quad \nabla^{AA'}\phi_{A'B'C' \ldots} = 0 $$

while for a massless negative helicity field:


 * $$\nabla^{AA'}\phi_{ABC \ldots} = 0 \,,\quad \nabla^{AA'}\phi_{A'B'C' \ldots} = 0 $$

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


 * $$\Box \phi = 0 $$

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:


 * $$ \phi_{ABC \ldots}(R^a) = \frac{1}{2\pi i} \oint_{Z^\alpha \leftrightsquigarrow R^a } \frac{\partial}{\partial \omega^A}\frac{\partial}{\partial \omega^B}\frac{\partial}{\partial \omega^C} \cdots f(Z^\alpha) \pi_{p'} d \pi^{p'} $$


 * $$ \phi_{A'B'C' \ldots}(R^a) = \frac{1}{2\pi i} \oint_{Z^\alpha \leftrightsquigarrow R^a } \pi_{A'}\pi_{B'}\pi_{C'} \cdots f(Z^\alpha) \pi_{p'} d \pi^{p'} $$

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:


 * $$ f(Z^\alpha) = \frac{1}{A_\alpha Z^\alpha B_\alpha Z^\alpha}$$
 * $$ \phi(r^a) = \frac{2}{A_C B^C}\frac{1}{(r^a-q^a)(r_a-q_a)}$$
 * $$ q^e = \frac{i}{A_C B^C} (A^{E'} B^E - A^E B^{E'})$$