spin geometry, string geometry, fivebrane geometry …
Twistor space in the original sense of (Penrose 67) is a complex manifold whose complex geometry is usefully related to the conformal geometry of (conformally compactified complexified) 4-dimensional Minkowski spacetime. The Penrose transform from twistor space to this spacetime yields powerful computational tools for studying certain quantum field theories, in particular 4d Yang-Mills theory. Notably it sends ordinary cohomology classes on twistor space to self-dual Yang-Mills fields on spacetime (Ward 77, Ward-Wells 90). Morever, when twistor space is taken as a target space for twistor string theory, then it serves to compute the MHV amplitudes in super Yang-Mills theory (Witten 03).
This Penrose transform is exhibited by a correspondence of coset spaces/flag varieties/Grassmannians which is a special case of general such correspondences as they are studied in Schubert calculus, geometric representation theory, parabolic geometry. Therefore one can consider “generalized twistors” to be elements of certain flag varieties and “generalized Penrose transforms” to be those induced by the relevant correspondences. (Baston-Eastwood 89, Cap 01).
In this generality given a semisimple Lie group $G$ and two parabolic subgroups $P_1$ and $P_2$ with intersection $P_1 \cap P_2$, then the twistor correspondence is the correspondence (see also at Schubert calculus – Correspondences and at horocycle correspondence) of the form
given by the projections onto the two coset spaces/flag varieties and a Penrose transform is an integral transform/pull-push $(p_2)_! \circ (p_1)^\ast$ through this correspondence.
In particular there are higher twistor spaces corresponding to higher dimensional Minkowski spacetimes which are useful for describing higher dimensional quantum field theory, notably there are twistor spaces for 6-dimensional spacetime useful for the study of the 6d (2,0)-superconformal QFT on the worldvolume of the M5-brane (MREIC 11) with its self-dual higher gauge field, the B-field .
The original twistor correspondence (Penrose 67) is the correspondence
where
the Grassmannian $G_2(\mathbb{C}^4)$ of planes in complexified 4d Minkowski spacetime;
the twistor space is the complex projective space $\mathbb{C}P^3 = Gr_1(\mathbb{C}^4)$;
the correspondence space $Gr_{1, 2}(\mathbb{C}^4)$ is the space of lines in planes in $\mathbb{C}^4$.
(e.g. Ward-Wells 90)
We discuss the original twistors for the description of physics in 4d Minkowski spacetime. In summary, twistor space of 4d Minkowski space is the space of pairs consisting of a momentum vector and an angular momentum tensor subject to the constraint that the momentum is lightlike and of definite helicity.
The formulation is all motivated from the form that basic quantities of special relativistic physics take when vectors are expressed in spinor coordinates via the exceptional spin isomorphism
Under this identification a chiral spinor $\kappa$ is represented just by a pair of complex numbers $\xi, \eta \in \mathbb{C}$ and one may write the spinor as
Moreover, via the non-degenerate bilinear pairing
given by the Clifford algebra (see at spin representation for details) one can express vectors
in Minkowski spacetime as “bi-spinors” given by 2x2 Hermitean matrices
where $\gamma_i$ denote the generators of the Clifford algebra given by the Pauli matrices.
This is such that the Lorentz metric norm is just the determinant of this matrix
This spinorial re-expression of vectors turns out to yield very efficient expressions particularly for those kinds of terms that appear in the observed physics of massless chiral particles, such as they appear in the standard model of particle physics.
For instance a skew rank-2 tensor (2-from) $(F_{i j})$ with $F_{i j} = - F_{j i}$ (for instance the field strength of an electromagnetic field) has spinorial expression of the simple form
for complex numbers $(\phi_{\alpha_1 \alpha_2})$ and $(\psi_{\beta_1 \beta_2})$. Here if $F$ itself is real-number valued, then $\psi$ is the complex conjugate of $\phi$ and hence any real 2-form is encoded equivalently by a bispinor $\phi$ via
Crucially the Hodge dual of a 2-form has then the simple expression
which is the first sign that self-dual Yang-Mills theory has a simpler expression in terms of such spinorial coordinates.
Now characterizing an elementary particle is (by the discussion at unitary representation of the Poincaré group) the momentum 4-vector $(p^i)$ and its angular momentum tensor $(M^{i j})$. A twistor is effectively a pair of spinorial coordinates expression this data for massless and chiral particles.
Here chiral means this: from combining the momentum and angular momentum one obtains the Pauli-Lubanski vector
and chiral particles satisfy
for some constant $s$.
A twistor is a set of spinorial coordinates for encoding tensors $\left(\left(p^i\right), \left(M^{i j}\right)\right)$ which satisfy
masslessness: $p^i p_i = 0$
chirality $S_i = s p_i$.
By the discussion at celestial sphere we have that the first condition means equivalently that there is a single spinor $(\pi_\alpha)$ such that the spinorial expression for the momentum is
By the above discussion of 2-forms we know moreover that $M^{i j}$ is encoded by a bispinor $\mu_{\alpha \beta}$ and imposing the chirality constraint one finds, using the above formula for the Hodge dual, that its solutions are parameterized precisely by another spinor $(\omega_\alpha)$ via
(where the parenthesis denote symmetrization of indices).
In summary then the possible momentum and angular momentum $(p^i, M^{i j})$ of massless chiral particles in 4d Minkowski spacetime is parameterized precisely by pair of spinors
The image of this under modding out by a global complex factor is a Penrose twistor
an element of the 3-dimensional complex projective space, called twistor space.
To discuss twistor space for Minkowski spacetime, it is useful to work more generally with $d$-dimensional Minkowski spacetime for $d \in \{3,4,6,10\}$. If we also use the corresponding irreducible real spin representation then by the discussion there, these are equivalently 2-component vectors over the real normed division algebras $\mathbb{K} \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}\}$, respectively. (See also at supersymmetry and division algebra, we follow Bengtsson-Cederwall 88).
With this, the vector space underlying $d$-dimensional Minkowski spacetime $\mathbb{R}^{d-1,1}$ is identified with the space of $2 \times 2$ hermitian matrices with entries in $\mathbb{K}$
and the Minkowski metric norm-square is then identified with the determinant of matrices:
A choice of linear basis for this space is provided by the Pauli matrices with coefficients in $\mathbb{K}$, namely the matrices
where $\{e_n\}_{n = 2}^{d}$ denotes an orthonormal basis for the elements of $\mathbb{K}$. Here we write
for the operation of complex conjugation in $\mathbb{K}$, i.e. the $\mathbb{R}$-linear operation which sends the unit $1$ to itself, and sends imaginary elements to their negative.
In terms of this basis then a $d$-component vector $(X^\mu) \in \mathbb{R}^{d-1,1}$ is identified with the hermitian $2 \times 2$ matrix
This presentation of Minkowski spacetime by $2 \times 2$ hermitian matrices with coefficients in $\mathbb{K}$ makes it very natural to consider also its “$\mathbb{K}$-ification” (hence complexification in the case that $d = 4$ and $\mathbb{K} = \mathbb{C}$), namely the space of all $2 \times 2$ matrices with entries in $\mathbb{K}$:
This space carries the operation of Hermitian conjugation
as an involution, and ordinary $d$-dimensional Minkowski spacetime is hence the fixed point set of this involution.
By the discussion there, the Spin-invariant pairing of two real spinors $\psi, \phi \in \mathbb{K}^2$ to a vector $\overline{\psi} \Gamma \phi \in Mat_{2\times 2}^{hermitian}(\mathbb{K})$ is given by (prop.)
In particular the pairing of a spinor $\psi = (\psi_{\dot \alpha})$ with itself is
Since, as hermitian matrices, the $2 \times 2$ matrices arising this way are manifestly precisely the hermitian projection operators on 1-dimensional linear subspaces of $\mathbb{K}^2$, these are precisely the $2 \times 2$ hermitian matrices with vanishing determinant. Hence the future-oriented lightlike vectors in Minkowski spacetime in $d = \{3,4,6,10\}$ are precisely those that arise as the pairing of a chiral spinor with itself.
The above formula shows that as we rescale $\psi \mapsto k \psi$ with $k \in \mathbb{K}$, then the corresponding lightlike vector is sent to itself, rescaled by the real number $k \overline{k} \in \mathbb{R}$. Hence the direction of lightlike vectors is parameterized by the projective space $\mathbb{K}P^1$. At least for $\mathbb{K} = \mathbb{C}$ (the complex numbers) this is called the celestial sphere (in this case: the Riemann sphere $\mathbb{C}P^1$).
Lightlike vectors in $\mathbb{R}^{d-1,1}$ up to scale are equivalently loci of lightlike geodesics through the origin. A general lightlike geodesic in $\mathbb{R}^{d-1,1}$ is instead parameterized by
for some offset $(X^{\dot \alpha \alpha})$. To encode this offset into spinors, consider the image of $\psi$ under the Clifford action with $X$:
This relation bewteen $\omega$ and $\psi$ is called the incidence relation in this context.
The locus of the lightlike geodesic does not change as we rescale $\psi$ by elements $k \in \mathbb{K}$, and then $\omega$ gets rescaled accordingly. Hence the pair $(\omega^\alpha, \psi_{\dot \alpha})$ regarded as encoding lightlike geodesics in Minkowski spacetime should be thought of as an element of the projective space
This is the twistor space corresponding to the given Minkowski spacetime.
However, by the above definition of $\omega^\alpha$, not every element of this space corresponds to a lighlike geodesic. Rather (for $d \in \{3,4,6\}$) it is only those satisfying
reflecting the fact that $(X^{\dot \alpha \alpha})$ is a hermitian matrix, instead of a general $2\times 2$ matrix. (For $d = 10$ there is no elegant statement like this, due to the non-associativity of the octonions $\mathbb{K} = \mathbb{O}$. But there is nevertheless an analogue of the twistor transform in 10d Witten 86).
Hence the subspace inclusion
of Minkowski-spacetime into its $\mathbb{K}$-ification, corresponds to a subspace
of twistor space. This is called the space of null twistors, or the spin shell.
If we consider the metric on $\mathbb{K}^4$ given in component by
then this subspace is the quadric given by the equation
Now conversely, given $Z^a = (\omega^\alpha, \psi_{\dot\alpha})$ not equal to zero and satisfying this condition in that there is a hermitian $X^{\dot \alpha \alpha}$ with $\omega^{\alpha} = \psi_{\dot \alpha} X^{\dot \alpha \alpha}$, then also every hermitian matrix of the form
(for $\tau \in \mathbb{R}$, hence every point on the lightlike geodesic through $X$ in the direction of $\psi \psi^\dagger$) satisfies the relation (since the spinor index is raised with $(\epsilon^{\dot \alpha \dot \beta})$, which is skew symmetric). This way non-zero points in $\mathcal{N} \hookrightarrow \mathbb{K}P^3$ correspond to lightlike geodesics in Minkowski spacetime.
(graphics from Adamo 13)
This correspondence extends also to the 0-point in $\mathcal{N}$ if one passes to “compactified Minkowski spacetime”, given by the Grassmannian $Gr_2(\mathbb{C}^4)$ of complex planes in $\mathbb{C}^4$ (review includes Fioresi-Lledo-Varadarajan 07, section 2).
A real analog of this is the Radon transform.
The notion originates in
Roger Penrose, Twistor algebra, Journal of Mathematical Physics 8 (2): 345–366, (1967)
Roger Penrose, The twistor programme, Reports on Mathematical Physics 12 (1): 65–76 (1977)
Key developments concerning scattering amplitudes are due to
The relation to self-dual Yang-Mills theory is due to
Introductions and surveys include
Yuri Manin, chapters 1 and 2 of Gauge Field Theory and Complex Geometry, Grundlehren der Mathematischen Wissenschaften 289, Springer 1988
Paul Bair, Introduction to twistors (pdf)
S. A. Huggett, K. P. Todd, An introduction to twistor theory, Cambridge University Press (1985)
Liana David, The Penrose transform and its applications, 2001 (pdf)
Maciej Dunajski, Twistor Theory and Differential Equations (arXiv:0902.0274)
Roger Penrose, Twistor theory, talk at New Spaces for Mathematics and Physics, IHP Paris, 2015 (video recording)
R. Fioresi, M. A. Lledo, Veeravalli Varadarajan, The Minkowski and conformal superspaces, J.Math.Phys.48:113505,2007 (arXiv:0609813)
Michael Atiyah, Maciej Dunajski, Lionel Mason, Twistor theory at fifty: from contour integrals to twistor strings (arXiv:1704.07464)
Tim Adamo, Lectures on twistor theory (arXiv:1712.02196)
Review of the application in super Yang-Mills theory includes
See also
A discussion in the general context of geometric representation theory is in
and the further generalization to Cartan geometry/parabolic geometry is discussed in
More on traditional applications to quantum field theory is in
The relation of twistor geometry to MHV amplitudes in 4d Yang-Mills theory and twistor string theory is due to
Surveys of the resulting modern application of twistors in field theory include
Discussion of twistors in dimensions 3,4,6 and 10 using the normed division algebras (as in supersymmetry and division algebras) is in
and specifically for dimension 10 in
A general discussion of Penrose-Ward-type transforms sending circle 2-bundles (holomorphic line 2-bundles) on some twistor space to circle 2-bundles with connection and self-dual curvature 3-form on spacestime (expected to play a role in the description of the 6d (2,0)-superconformal QFT) is in
David Chatterjee, sections 4 and 8 of On Gerbs, 1998 (pdf)
L. J. Mason, R. A. Reid-Edwards, A. Taghavi-Chabert, appendix of Conformal Field Theories in Six-Dimensional Twistor Space, J. Geom. Phys. 62 (2012), no. 12, 2353-2375 (arXiv:1111.2585)
More generally, there are arguments that the worldvolume theory of several coincident M5-branes carries not just an abelian but a nonabelian higher gauge field given by a principal 2-bundle principal 2-connection.
The idea of generalizing the Penrose-Ward transform to one that takes nonabelian principal 2-bundles to self-dual principal 2-connections is explored in
Last revised on December 14, 2018 at 10:41:01. See the history of this page for a list of all contributions to it.