Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

Please welcome our new moderators!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

122 submissions , 103 unreviewed
3,497 questions , 1,172 unanswered
4,543 answers , 19,337 comments
1,470 users with positive rep
407 active unimported users
More ...

Gentle introduction to twistors

+ 10 like - 0 dislike
63 views

When reading about the twistor uprising or trying to follow a corresponding Nima talk, it always annoys me that I have no clue about how twistor space, the twistor formalism, or twistor theory works. First of all, are these three terms some kind of synonyms or what is the relationship between them? Twistors are just a deep black gap in my education.

I've read the Road to Reality but I just did not get it from the relevant chapter therein, maybe because I could not understand better the one or two chapters preceding it either ... :-/

So can somebody point me to a gentle, but nevertheless slightly technical source that explains twistors step by step (similar to a demystified book...) such that even I can get it, if something like this exists? Since I think I'd really have to "meditate" about it a bit, I'd prefer something written I can print out, but nevertheless I would appreciate video lectures or talks too.

asked Sep 13, 2012 in Theoretical Physics by Dilaton (4,175 points) [ revision history ]
edited Apr 24, 2014 by dimension10

I am removing the "resources" tag, because twistor59's (and also David Bar Moshe's, to a smaller extent) are much more than resource recommendations.    

3 Answers

+ 6 like - 0 dislike

:-) The best gentle introduction to basic twistor theory that I know of is the book by Huggett and Tod

If you don't have access to that book and some other answers don't surface in the meantime I'm happy to write a few bits and pieces here, but will have to wait until the weekend. (I may be biased, but I think it's well worth learning, as the MHV amplitude applications are extremely interesting).

Edit: Here are a few paragraphs to give a flavor of twistor theory:

Twistor theory makes extensive use of Weyl spinors, which form representations of $SL(2;\mathbb{C})$ - the double cover of the (restricted) Lorentz group. These come in two varieties – unprimed spinors $\omega_A$ transforming according to the fundamental representation, and primed spinors $\omega_{A’}$ transforming according to the conjugate representation. (Note in much of the modern literature, primed and unprimed are denoted by dotted $\lambda_{\dot{a}}$ and undotted). Spinor indices are raised and lowered using the antisymmetric spinor $$\epsilon_{AB}=\epsilon_{A’B’}=\epsilon^{AB}= \epsilon^{A’B’} = \left(\begin{array}{cc} 0 & 1 \\ -1 & 0 \end{array} \right)$$ Minkowski-space vectors $x^a$ can be put into correspondence with two-index unprimed/primed spinors by writing $$x^{AA’} = \frac{1}{\sqrt{2}}\left(\begin{array}{cc} x^0+x^1 & x^2+ix^3 \\ x^2-ix^3 & x^0-x^1 \end{array} \right)$$ Now if we take a primed/unprimed spinor pair $(\omega^A, \pi_{A’})$, then the set of Minkowski vectors which satisfy $$\omega^A=ix^{AA’}\pi_{A’} \ \ \ (1)$$ is a null line in Minkowski space provided we impose the reality condition $$\omega^A{\bar{\pi}}_{A}+{\bar{\omega}}^{A’}\pi_{A’}=0$$ The pair of spinors is referred to as a twistor $Z^{\alpha} = (\omega^A, \pi_{A’})$. The space of such four-component objects is “twistor space” $\mathbb{T}$, upon which we define a Hermitian form via the conjugation operation $${\bar{Z}}_0 = \bar{Z^2} = {\bar{\pi}}_0$$ $${\bar{Z}}_1 = \bar{Z^3} = {\bar{\pi}}_1$$ $${\bar{Z}}_2 = \bar{Z^0} = {\bar{\omega}}^{0’}$$ $${\bar{Z}}_3 = \bar{Z^1} = {\bar{\omega}}^{1’}$$

The reality condition above is then expressible as $Z^{\alpha}{\bar{Z}}_{\alpha}=0$ and twistors satisfying this condition are called null twistors.

The locus of points in Minkowski space satisfying (1) is unchanged if we multiply the twistor $Z^{\alpha}{\bar{Z}}_{\alpha}=0$ by any non zero complex number. In fact it proves extremely useful to impose this as an equivalence relation on $\mathbb{T}$ and work with its projective version $P\mathbb{T}$. Projective null twistors, then, correspond to light rays in Minkowski space. The correspondence between (projective) twistor space and Minkowski space is made more complete if we attach to Minkowski space its conformal boundary (light cone at infinity) and if we complexify it. We are then dealing with complexified, compactified Minkowski space $\mathbb{C}M$ and twistors (we will always mean projective twistors) correspond to totally null two-planes (called alpha planes) in $\mathbb{C}M$. The alpha planes corresponding to null twistors (such objects live in a subspace of $P\mathbb{T}$ called $PN$) will intersect the real slice of $\mathbb{C}M$ in null rays.

Conversely a point x in real Minkowski space defines a set of null rays – the ones defining the null cone at that point. There is a two-sphere’s worth of such rays (the celestial sphere), and the set of twistors defining these rays defines a subset of $PN$ having the topology of a two-sphere, but more importantly having the complex structure of a $\mathbb{C}P^1$, and known as a projective line (or just “line”). Figure 1 shows a point x in Minkowski space and the corresponding line $L_x$ in $PN$, and also a pair of twistors $Z$ and $W$ on $L_x$ and the null rays $\gamma_Z$ and $\gamma_W$ they correspond to.

enter image description here

Now the fun starts when you consider functions on twistor space. Suppose we consider a function homogeneous of degree zero (i.e. $f(\lambda Z^{\alpha}) = f(Z^{\alpha}); \lambda \in \mathbb{C}^*$). We then define the field on spacetime: $$\phi_{AB}(x) = \oint{\rho_x(\frac{\partial}{\partial \omega^A} \frac{\partial}{\partial \omega^B}f(\omega^A, \pi_{A’}))\pi_{C’}d\pi^{C’}}$$ where $\rho_x$ means “impose the restriction (1)”. To get a non trivial field, the function f needs to have singularities on twistor space, i.e it mustn’t be holomorphic everywhere. For example it can have poles. The contour used is on the projective line $L_x$ and avoids the singularities of f.
enter image description here

The field defined in this way satisfies $$\nabla^{AA'} \phi_{AB} = 0 \ \ \ (2)$$ Where $$\nabla_{AA’} = \frac{\partial}{\partial x^{AA’}}$$ We can decompose an antisymmetric electromagnetic field tensor into its anti self-dual and self-dual parts respectively as $$ F_{ab} = F_{AA'BB'} = \phi_{AB}\epsilon_{A'B'} +{\tilde{\phi}}_{A'B'}\epsilon_{AB}$$ Then (2) represents the (source free) Maxwell equations (for anti self dual Maxwell fields). The correspondence between twistor functions and anti-self-dual solutions of the Maxwell equations is not unique. However, treating the twistor functions as representatives of certain sheaf cohomology classes does give a unique correspondence.

Choosing twistor functions with other homogeneities gives rise to other types of field (symmetric spinors with other numbers of primed or unprimed indices satisfying equations similar to (2)). For example the equations for self dual Maxwell fields $$\nabla^{AA'} \phi_{A’B’} = 0$$ are given by a (slightly different) contour integral involving twistor functions of homogeneity -4: $$\phi_{A'B'}(x) = \oint{\rho_x(\pi_{A'}\pi_{B'}f(\omega^D, \pi_{D'}))\pi_{C'}d\pi^{C'}}$$

Other ways of using the twistor correspondence exist, for example a correspondence can be set up for fields on a real space with Euclidean signature. This programme led to the construction of self dual solutions of the Yang Mills equations on $S^4$ (the compactification of $\mathbb{R}^4$). In this case, the correspondence is between self dual Yang Mills fields on $S^4$ and holomorphic bundles on twistor space which are (holomorphically) trivial on projective lines in twistor space (and which have various other conditions depending on the structure group of the Yang Mills theory you’re interested in).

Both twistor space and Minkowski space can be “thickened” by adding Grassmannian coordinates and in this way supersymmetric versions of the twistor correspondences of the type illustrated above can be given. This has been used in the treatment of Supersymmetric Yang Mills theory.

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user twistor59
answered Sep 13, 2012 by twistor59 (2,490 points) [ no revision ]
Hi Twistor :-))), thanks a lot. From afar the book looks very nice and it seems to contain many things I always wanted to know and to be quite accessible to me :-). I would appreciate it if you could write some further more detailed information as you find time for it. Cheers

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user Dilaton
I accept this answer because I think it is easier for me to start with this book before I read Nair's lecture notes.

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user Dilaton
@Dilaton Yes, I think it is an easier space to start. Although I've seen Nair's work, I hadn't seen that set of notes, identified by David, before. It's probably a good idea to get a feel for "conventional" twistors before flipping to their supersymmetric versions.

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user twistor59
Dear @twistor59, thanks for extending this answer to such a nice introduction and first summary. Of course from just reading it once I do not understand everything in detail, but it gives me a first idea what twistors are and how they are applied. Are the primed indices then the same thing as the dotted indices as applied in SUSY for example? The meaning of the bar in the reality condition confuses me a little bit since in this bock the spinors with dotted indices are often bared (if I remember this correctly) ...

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user Dilaton
@Dilaton: for example you might see the anticommutator of two supercharges written with dotted indices as $\{Q_{\alpha},{\bar{Q}}_{\dot{\alpha}}\} = 2\sigma^{\mu}_{\alpha \dot{\alpha}}P_{\mu}$ This would, in the notation of this post, be written $\{Q_A, {\bar{Q}}_{A'}\} = 2\sigma^{\mu}_{AA'}P_{\mu}$

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user twistor59
In some circumstances, people are using a spinor labelled with a barred symbol to mean an independent entity from the unbarred spinor, and in some circumstances they use the barred spinor to mean the conjugate of the unbarred one, if the former, most authors will state this explicitly. Applying conjugation converts the spinor index undotted->dotted or vice versa.

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user twistor59
+ 4 like - 0 dislike

I would like to recommend to you the following lecture notes by V.P. Nair. These lecture notes contain a very concise chapter about twistors, their relation to massless wave equations and their use in the construction of Yang-Mills amplitudes. The importance of this work to me is that, here, Nair connects these two applications to another (may be less famous) application of twistors in the theory of quantization on geometrically nontrivial manifolds (such as the quantization problem of a particle moving on the two sphere in the presence of a monople).

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user David Bar Moshe
answered Sep 14, 2012 by David Bar Moshe (3,505 points) [ no revision ]
Thanks, this seems to explain the things I finally want to know ... :-)

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user Dilaton
+ 2 like - 0 dislike

Also, see the lectures by Maciej Dunajski

Twistor Theory and Differential Equations

(there are also slides available)

and his book

Solitons, Instantons and Twistors

This post imported from StackExchange Physics at 2014-03-12 15:46 (UCT), posted by SE-user just-learning
answered Feb 22, 2014 by just-learning (95 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ys$\varnothing$csOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...