Recent posts: D. Cubero. Thermal equilibrium in special relativity
Powered by MaxBlogPress 

339. Twistors: getting more formal

Print This Post Print This Post   Save This Post as PDF                                


After discussing (or rather musing about) generalities related to twistor formalism, let me now get a bit more formal – I hope it will finally help you to understand what I was talking about in the previous posts :-)

As was mentioned before, the twistor space corresponding to 4-dimensional real Minkowski spacetime is a complex projective space CP^3 – that is, by definition we introduce complex coordinates (z_0,z_1,z_2,z_3) such that z_i\ne 0 and the points z and \lambda z are identified for arbitrary \lambda.

It is possible to describe lines in CP^3 by a pair (z,w), z\ne \lambda w for any \lambda. The set of these straight lines therefore depends on four complex parameters. Conformal structure in twistor space is defined by the condition that the distance between any straight line k crossing a given line l and the line l itself is zero (therefore the line k belongs to the light cone with origin somewhere in l).

Let us consider a real hypersurface (called Hermitian quadric) given by the equation

F(z)=|z_0|^2+|z_1|^2-|z_2|^2-|z_3|^2=0.

It divides the twistor space CP^3 into two parts: the form F(z) is positive in one part and negative in the other. The set M of all straight lines belonging to this Hermitian quadric depends only on 4 real parameters and therefore represents conformal compactification of Minkowski space. Cones of all lines from the set that cross the given line l are just light cones. If we want to get the usual Minkowski space, we need to choose a particular line L (for example, z_0=z_1, z_2=z_3) and remove all the lines belonging to the set M_L from the twistor space.

That’s how 4-dimensional flat space with Minkowski signature is embedded into the twistor space CP^3… Euclidean space (S_4) can be embedded into as follows. Consider a set of straight lines connecting points (z_0,z_1,z_2,z_3) and (-\bar{z}_1,\bar{z}_0,-\bar{z}_3,\bar{z}_2). All these lines either do not intersect or coincide. This way we can divide CP^3 into classes of non-intersecting lines or introduce fibration in other words.

Finally, let us talk a bit about various symmetries associated with twistor space and various embeddings discussed above. First of all, the group of projective transformations of CP^3 space is SL(4,C). It has a subgroup SU(2,2) which conserves the quadric F(z) above. It therefore induces the group of conformal transformations of Minkowski space. If we want to keep the line L defined above fixed, the corresponding subgroup of the SU(2,2) group is nothing but Poincare group of Minkowski space. Finally, if we fix one more line not crossing L, we will get Lorentz group.

  • Digg
  • Reddit
  • StumbleUpon
  • Technorati

If you liked the post, please kindly consider to leave a comment, subscribe to the RSS feed or get new posts sent directly to your Inbox. If you want to chat with me in real time, you can find me on Twitter. The posts below are probably related to the subject of this one:

361. NEQNET: first two weeks of April
337. Twistors and non-linear differential equations. Curved spacetime
335. What is twistor
373. Some musings about Unruh effect
271. Continuing dS/CFT – correspondence. Part 2

RSS feed | Trackback URI

1 Comment »

Please, enter your name (required)
e-mail (required - never shown publicly)
URI
or login via Facebook by clicking the button below
Your comment (smaller size | larger size)
For LaTeX in your comment, please use tags [tex] and [/tex]. Also, you may use the following HTML tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong> .

« Back to text comment
or subscribe me to comments RSS feed

Trackback responses to this post