Physics:Light-cone coordinates

In physics, particularly special relativity, light-cone coordinates, introduced by Paul Dirac and also known as Dirac coordinates, are a special coordinate system where two coordinate axes combine both space and time, while all the others are spatial.

Motivation

A spacetime plane may be associated with the plane of split-complex numbers which is acted upon by elements of the unit hyperbola to effect Lorentz boosts. This number plane has axes corresponding to time and space. An alternative basis is the diagonal basis which corresponds to light-cone coordinates.

Light-cone coordinates in special relativity

In a light-cone coordinate system, two of the coordinates are null vectors and all the other coordinates are spatial. The former can be denoted [math]\displaystyle{ x^+ }[/math] and [math]\displaystyle{ x^- }[/math] and the latter [math]\displaystyle{ x_\perp }[/math].

Assume we are working with a (d,1) Lorentzian signature.

Instead of the standard coordinate system (using Einstein notation)

[math]\displaystyle{ ds^2=-dt^2+\delta_{ij}dx^i dx^j }[/math],

with [math]\displaystyle{ i,j=1,\dots,d }[/math] we have

[math]\displaystyle{ ds^2=-2dx^+dx^- + \delta_{ij}dx^i dx^j }[/math]

with [math]\displaystyle{ i,j=1,\dots,d-1 }[/math], [math]\displaystyle{ x^+=\frac{t+x}{\sqrt{2}} }[/math] and [math]\displaystyle{ x^-=\frac{t-x}{\sqrt{2}} }[/math].

Both [math]\displaystyle{ x^+ }[/math] and [math]\displaystyle{ x^- }[/math] can act as "time" coordinates.

One nice thing about light cone coordinates is that the causal structure is partially included into the coordinate system itself.

A boost in the [math]\displaystyle{ (t,x) }[/math] plane shows up as the squeeze mapping [math]\displaystyle{ x^+ \to e^{+\beta}x^+ }[/math], [math]\displaystyle{ x^- \to e^{-\beta}x^- }[/math], [math]\displaystyle{ x^i \to x^i }[/math]. A rotation in the [math]\displaystyle{ (i,j) }[/math]-plane only affects [math]\displaystyle{ x_\perp }[/math].

The parabolic transformations show up as [math]\displaystyle{ x^+ \to x^+ }[/math], [math]\displaystyle{ x^- \to x^- + \delta_{ij}\alpha^i x^j + \frac{\alpha^2}{2} x^+ }[/math], [math]\displaystyle{ x^i \to x^i + \alpha^i x^+ }[/math]. Another set of parabolic transformations show up as [math]\displaystyle{ x^+ \to x^+ + \delta_{ij}\alpha^i x^j + \frac{\alpha^2}{2} x^- }[/math], [math]\displaystyle{ x^- \to x^- }[/math] and [math]\displaystyle{ x^i \to x^i + \alpha^i x^- }[/math].

Light cone coordinates can also be generalized to curved spacetime in general relativity. Sometimes calculations simplify using light cone coordinates. See Newman–Penrose formalism. Light cone coordinates are sometimes used to describe relativistic collisions, especially if the relative velocity is very close to the speed of light. They are also used in the light cone gauge of string theory.

Light-cone coordinates in string theory

A closed string is a generalization of a particle. The spatial coordinate of a point on the string is conveniently described by a parameter [math]\displaystyle{ \sigma }[/math] which runs from [math]\displaystyle{ 0 }[/math] to [math]\displaystyle{ 2\pi }[/math]. Time is appropriately described by a parameter [math]\displaystyle{ \sigma_0 }[/math]. Associating each point on the string in a D-dimensional spacetime with coordinates [math]\displaystyle{ x_0, x }[/math] and transverse coordinates [math]\displaystyle{ x_i, i=2,...,D }[/math], these coordinates play the role of fields in a [math]\displaystyle{ 1+1 }[/math] dimensional field theory. Clearly, for such a theory more is required. It is convenient to employ instead of [math]\displaystyle{ x_0=\sigma_0 }[/math] and [math]\displaystyle{ x }[/math], light-cone coordinates [math]\displaystyle{ x_{\pm} }[/math] given by

[math]\displaystyle{ x_{\pm}=\frac{1}{\sqrt 2}(x_0 \pm x) }[/math]

so that the metric [math]\displaystyle{ ds^2 }[/math] is given by

[math]\displaystyle{ ds^2 = 2dx_+dx_- -(dx_i)^2 }[/math]

(summation over [math]\displaystyle{ i }[/math] understood). There is some gauge freedom. First, we can set [math]\displaystyle{ x_+=\sigma_0 }[/math] and treat this degree of freedom as the time variable. A reparameterization invariance under [math]\displaystyle{ \sigma \rightarrow \sigma + \delta\sigma }[/math] can be imposed with a constraint [math]\displaystyle{ {\mathcal L}_0 =0 }[/math] which we obtain from the metric, i.e.

[math]\displaystyle{ {\mathcal L}_0 = \frac{dx_-}{d\sigma} - \frac{dx_i}{d\sigma}\frac{dx_i}{d\sigma_0}=0. }[/math]

Thus [math]\displaystyle{ x_- }[/math] is not an independent degree of freedom anymore. Now [math]\displaystyle{ {\mathcal L}_0 }[/math] can be identified as the corresponding Noether charge. Consider [math]\displaystyle{ {\mathcal L}_0(x_-,x_i) }[/math]. Then with the use of the Euler-Lagrange equations for [math]\displaystyle{ x_i }[/math] and [math]\displaystyle{ x_- }[/math] one obtains

[math]\displaystyle{ \delta{\mathcal L}_0 = \frac{\partial}{\partial \sigma}\bigg(\frac{\partial {\mathcal L}_0}{\partial(\partial x_i/\partial \sigma)}\delta x_i + \delta x_-\bigg). }[/math]

Equating this to

[math]\displaystyle{ \delta{\mathcal L}_0 = \frac{\partial}{\partial \sigma}(Q\delta\sigma), }[/math]

where [math]\displaystyle{ Q }[/math] is the Noether charge, we obtain:

[math]\displaystyle{ Q=\frac{\partial{\mathcal L}_0}{\partial(\partial x_i/\partial\sigma)}\frac{\delta x_i}{\delta \sigma} + \frac{\delta x_-}{\delta \sigma} = -\frac{dx_i}{d\sigma_0}\frac{\delta x_i}{\delta \sigma} + \frac{\delta x_-}{\delta \sigma} = {\mathcal L}_0. }[/math]

This result agrees with a result cited in the literature.

Free particle motion in light-cone coordinates

For a free particle of mass [math]\displaystyle{ m }[/math] the action is

[math]\displaystyle{ S=\int{\mathcal L}d\sigma, \;\;\; {\mathcal L} = -\frac{1}{2}\bigg[\frac{dx^{\mu}}{d\sigma}\frac{dx_{\mu}}{d\sigma} +m^2\bigg]. }[/math]

In light-cone coordinates [math]\displaystyle{ {\mathcal L} }[/math] becomes with [math]\displaystyle{ \sigma = x_+ }[/math] as time variable:

[math]\displaystyle{ {\mathcal L} = -\frac{dx_-}{d\sigma} + \frac{1}{2}\bigg(\frac{dx_i}{d\sigma}\bigg)^2 - \frac{m^2}{2}. }[/math]

The canonical momenta are

[math]\displaystyle{ p_-=\frac{\partial {\mathcal L}}{\partial(dx_-/d\sigma)}= -1, \;\;\; p_i =\frac{\partial {\mathcal L}}{\partial( dx_i/d\sigma)}=\frac{dx_i}{d\sigma}. }[/math]

The Hamiltonian is ([math]\displaystyle{ \hbar = c = 1 }[/math]):

[math]\displaystyle{ {\mathcal H} = \dot{x}_-p_- + \dot{x}_ip_i - {\mathcal L} = \frac{1}{2}p_i^2 + \frac{1}{2}m^2, }[/math]

and the nonrelativistic Hamilton equations imply:

[math]\displaystyle{ x_i(\sigma) = p_i\sigma + {\it const.}. }[/math]

One can now extend this to a free string.

See also

• Newman–Penrose formalism