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.

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.

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 ${\displaystyle x^{+}}$and ${\displaystyle x^{-}}$and the latter ${\displaystyle x_{\perp }}$.

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

Instead of the standard coordinate system (using Einstein notation)

${\displaystyle ds^{2}=-dt^{2}+\delta _{ij}dx^{i}dx^{j}}$,

with ${\displaystyle i,j=1,\dots ,d}$we have

${\displaystyle ds^{2}=-2dx^{+}dx^{-}+\delta _{ij}dx^{i}dx^{j}}$

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

Both ${\displaystyle x^{+}}$and ${\displaystyle x^{-}}$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 ${\displaystyle (t,x)}$plane shows up as the squeeze mapping ${\displaystyle x^{+}\to e^{+\beta }x^{+}}$, ${\displaystyle x^{-}\to e^{-\beta }x^{-}}$, ${\displaystyle x^{i}\to x^{i}}$. A rotation in the ${\displaystyle (i,j)}$-plane only affects ${\displaystyle x_{\perp }}$.

The parabolic transformations show up as ${\displaystyle x^{+}\to x^{+}}$, ${\displaystyle x^{-}\to x^{-}+\delta _{ij}\alpha ^{i}x^{j}+{\frac {\alpha ^{2}}{2}}x^{+}}$, ${\displaystyle x^{i}\to x^{i}+\alpha ^{i}x^{+}}$. Another set of parabolic transformations show up as ${\displaystyle x^{+}\to x^{+}+\delta _{ij}\alpha ^{i}x^{j}+{\frac {\alpha ^{2}}{2}}x^{-}}$, ${\displaystyle x^{-}\to x^{-}}$and ${\displaystyle x^{i}\to x^{i}+\alpha ^{i}x^{-}}$.

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.

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

${\displaystyle x_{\pm }={\frac {1}{\sqrt {2}}}(x_{0}\pm x)}$

so that the metric ${\displaystyle ds^{2}}$is given by

${\displaystyle ds^{2}=2dx_{+}dx_{-}-(dx_{i})^{2}}$

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

${\displaystyle {\mathcal {L}}_{0}={\frac {dx_{-}}{d\sigma }}-{\frac {dx_{i}}{d\sigma }}{\frac {dx_{i}}{d\sigma _{0}}}=0.}$

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

${\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 )}.}$

Equating this to

${\displaystyle \delta {\mathcal {L}}_{0}={\frac {\partial }{\partial \sigma }}(Q\delta \sigma ),}$

where ${\displaystyle Q}$is the Noether charge, we obtain:

${\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}.}$

This result agrees with a result cited in the literature.

For a free particle of mass ${\displaystyle m}$the action is

${\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 ]}.}$

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

${\displaystyle {\mathcal {L}}=-{\frac {dx_{-}}{d\sigma }}+{\frac {1}{2}}{\bigg (}{\frac {dx_{i}}{d\sigma }}{\bigg )}^{2}-{\frac {m^{2}}{2}}.}$

The canonical momenta are

${\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 }}.}$

The Hamiltonian is (${\displaystyle \hbar =c=1}$):

${\displaystyle {\mathcal {H}}={\dot {x}}_{-}p_{-}+{\dot {x}}_{i}p_{i}-{\mathcal {L}}={\frac {1}{2}}p_{i}^{2}+{\frac {1}{2}}m^{2},}$

and the nonrelativistic Hamilton equations imply:

${\displaystyle x_{i}(\sigma )=p_{i}\sigma +{\it {const.}}.}$

One can now extend this to a free string.

• Newman–Penrose formalism