# Lanczos tensor

The Lanczos tensor or Lanczos potential is a rank 3 tensor in general relativity that generates the Weyl tensor.[1] It was first introduced by Cornelius Lanczos in 1949.[2] The theoretical importance of the Lanczos tensor is that it serves as the gauge field for the gravitational field in the same way that, by analogy, the electromagnetic four-potential generates the electromagnetic field.[3][4]

## Definition

The Lanczos tensor can be defined in a few different ways. The most common modern definition is through the Weyl–Lanczos equations, which demonstrate the generation of the Weyl tensor from the Lanczos tensor.[4] These equations, presented below, were given by Takeno in 1964.[1] The way that Lanczos introduced the tensor originally was as a Lagrange multiplier[2][5] on constraint terms studied in the variational approach to general relativity.[6] Under any definition, the Lanczos tensor exhibits the following symmetries:

${\displaystyle H_{abc}+H_{bac}=0,\,}$
${\displaystyle H_{abc}+H_{bca}+H_{cab}=0.}$

The Lanczos tensor always exists in four dimensions[7] but does not generalize to higher dimensions.[8] This highlights the specialness of four dimensions.[3] Note further that the full Riemann tensor cannot in general be derived from derivatives of the Lanczos potential alone.[7][9] The Einstein field equations must provide the Ricci tensor to complete the components of the Ricci decomposition.

### Weyl–Lanczos equations

The Weyl–Lanczos equations express the Weyl tensor entirely as derivatives of the Lanczos tensor:[10]

${\displaystyle C_{abcd}=H_{abc;d}+H_{cda;b}+H_{bad;c}+H_{dcb;a}+(H^{e}{}_{(ac);e}+H_{(a|e|}{}^{e}{}_{;c)})g_{bd}+(H^{e}{}_{(bd);e}+H_{(b|e|}{}^{e}{}_{;d)})g_{ac}-(H^{e}{}_{(ad);e}+H_{(a|e|}{}^{e}{}_{;d)})g_{bc}-(H^{e}{}_{(bc);e}+H_{(b|e|}{}^{e}{}_{;c)})g_{ad}-{\frac {2}{3}}H^{ef}{}_{f;e}(g_{ac}g_{bd}-g_{ad}g_{bc})}$

where ${\displaystyle C_{abcd}}$ is the Weyl tensor, the semicolon denotes the covariant derivative, and the subscripted parentheses indicate symmetrization. Although the above equations can be used to define the Lanczos tensor, they also show that it is not unique but rather has gauge freedom under an affine group.[11] If ${\displaystyle \Phi ^{a}}$ is an arbitrary vector field, then the Weyl–Lanczos equations are invariant under the gauge transformation

${\displaystyle H'_{abc}=H_{abc}+\Phi _{[a}g_{b]c}}$

where the subscripted brackets indicate antisymmetrization. An often convenient choice is the Lanczos algebraic gauge, ${\displaystyle \Phi _{a}=-{\frac {2}{3}}H_{ab}{}^{b},}$ which sets ${\displaystyle H'_{ab}{}^{b}=0.}$ The gauge can be further restricted through the Lanczos differential gauge ${\displaystyle H_{ab}{}^{c}{}_{;c}=0}$. These gauge choices reduce the Weyl–Lanczos equations to the simpler form

${\displaystyle C_{abcd}=H_{abc;d}+H_{cda;b}+H_{bad;c}+H_{dcb;a}+H^{e}{}_{ac;e}g_{bd}+H^{e}{}_{bd;e}g_{ac}-H^{e}{}_{ad;e}g_{bc}-H^{e}{}_{bc;e}g_{ad}.}$

## Wave equation

The Lanczos potential tensor satisfies a wave equation[12]

{\displaystyle {\begin{aligned}\Box H_{abc}=&J_{abc}\\&{}-2{R_{c}}^{d}H_{abd}+{R_{a}}^{d}H_{bcd}+{R_{b}}^{d}H_{acd}\\&{}+\left(H_{dbe}g_{ac}-H_{dae}g_{bc}\right)R^{de}+{\frac {1}{2}}RH_{abc},\end{aligned}}}
${\displaystyle J_{abc}=R_{ca;b}-R_{cb;a}-{\frac {1}{6}}\left(g_{ca}R_{;b}-g_{cb}R_{;a}\right)}$

is known as the Cotton tensor. Since the Cotton tensor depends only on covariant derivatives of the Ricci tensor, it can perhaps be interpreted as a kind of matter current.[13] The additional self-coupling terms have no direct electromagnetic equivalent. These self-coupling terms, however, do not affect the vacuum solutions, where the Ricci tensor vanishes and the curvature is described entirely by the Weyl tensor. Thus in vacuum, the Einstein field equations are equivalent to the homogeneous wave equation ${\displaystyle \Box H_{abc}=0,}$ in perfect analogy to the vacuum wave equation ${\displaystyle \Box A_{a}=0}$ of the electromagnetic four-potential. This shows a formal similarity between gravitational waves and electromagnetic waves, with the Lanczos tensor well-suited for studying gravitational waves.[14]

In the weak field approximation where ${\displaystyle g_{ab}=\eta _{ab}+h_{ab}}$, a convenient form for the Lanczos tensor in the Lanczos gauge is[13]

${\displaystyle 4H_{abc}\approx h_{ac,b}-h_{bc,a}-{\frac {1}{6}}(\eta _{ac}{h^{d}}_{d,b}-\eta _{bc}{h^{d}}_{d,a}).}$

## Example

The most basic nontrivial case for expressing the Lanczos tensor is, of course, for the Schwarzschild metric.[4] The simplest, explicit component representation in natural units for the Lanczos tensor in this case is

${\displaystyle H_{trt}={\frac {GM}{r^{2}}}}$

with all other components vanishing up to symmetries. This form, however, is not in the Lanczos gauge. The nonvanishing terms of the Lanczos tensor in the Lanczos gauge are

${\displaystyle H_{trt}={\frac {2GM}{3r^{2}}}}$
${\displaystyle H_{r\theta \theta }={\frac {-GM}{3(1-2GM/r)}}}$
${\displaystyle H_{r\phi \phi }={\frac {-GM\sin ^{2}\theta }{3(1-2GM/r)}}}$

It is further possible to show, even in this simple case, that the Lanczos tensor cannot in general be reduced to a linear combination of the spin coefficients of the Newman–Penrose formalism, which attests to the Lanczos tensor's fundamental nature.[10] Similar calculations have been used to construct arbitrary Petrov type D solutions.[15]

## References

1. Hyôitirô Takeno, "On the spintensor of Lanczos", Tensor, 15 (1964) pp. 103–119.
2. Cornelius Lanczos, "Lagrangian Multiplier and Riemannian Spaces", Rev. Mod. Phys., 21 (1949) pp. 497–502. Template:Hide in printTemplate:Only in print
3. P. O’Donnell and H. Pye, "A Brief Historical Review of the Important Developments in Lanczos Potential Theory", EJTP, 7 (2010) pp. 327–350. Template:Url
4. M. Novello and A. L. Velloso, "The Connection Between General Observers and Lanczos Potential", General Relativity and Gravitation, 19 (1987) pp. 1251-1265. Template:Hide in printTemplate:Only in print
5. Cornelius Lanczos, "The Splitting of the Riemann Tensor", Rev. Mod. Phys., 34 (1962) pp. 379–389. Template:Hide in printTemplate:Only in print
6. Cornelius Lanczos, "A Remarkable Property of the Riemann–Christoffel Tensor in Four Dimensions", Annals of Mathematics, 39 (1938) pp. 842-850. Template:Url
7. F. Bampi and G. Caviglia, "Third-order tensor potentials for the Riemann and Weyl tensors", General Relativity and Gravitation, 15 (1983) pp. 375-386. Template:Hide in printTemplate:Only in print
8. S. B. Edgar, "Nonexistence of the Lanczos potential for the Riemann tensor in higher dimensions", General Relativity and Gravitation, 26 (1994) pp. 329-332. Template:Hide in printTemplate:Only in print
9. E. Massa and E. Pagani, "Is the Riemann tensor derivable from a tensor potential?", General Relativity and Gravitation, 16 (1984) pp. 805-816. Template:Hide in printTemplate:Only in print
10. P. O’Donnell, "A Solution of the Weyl–Lanczos Equations for the Schwarzschild Space-Time", General Relativity and Gravitation, 36 (2004) pp. 1415-1422. Template:Hide in printTemplate:Only in print
11. K. S. Hammon and L. K. Norris "The Affine Geometry of the Lanczos H-tensor Formalism", General Relativity and Gravitation,25 (1993) pp. 55-80. Template:Hide in printTemplate:Only in print
12. P. Dolan and C. W. Kim "The wave equation for the Lanczos potential", Proc. R. Soc. Lond. A, 447 (1994) pp. 557-575. Template:Hide in printTemplate:Only in print
13. Mark D. Roberts, "The Physical Interpretation of the Lanczos Tensor." Nuovo Cim.B 110 (1996) 1165-1176. Template:Hide in printTemplate:Only in print Template:ArXiv
14. J. L. López-Bonilla, G. Ovando and J. J. Peña, "A Lanczos Potential for Plane Gravitational Waves." Foundations of Physics Letters 12 (1999) 401-405. Template:Hide in printTemplate:Only in print
15. Zafar Ahsan and Mohd Bilal, "A Solution of Weyl-Lanczos Equations for Arbitrary Petrov Type D Vacuum Spacetimes." Int J Theor Phys 49 (2010) 2713-2722. Template:Hide in printTemplate:Only in print