# History of Topics in Special Relativity/Lorentz transformation (conformal)

## Lorentz transformation via sphere transformation

If one only requires the invariance of the light cone represented by the differential equation ${\displaystyle -dx_{0}^{2}+\dots +dx_{n}^{2}=0}$, which is the same as asking for the most general transformation that changes spheres into spheres, the Lorentz group can be extended by adding dilations represented by the factor λ. The result is the group Con(1,p) of spacetime w:conformal transformations in terms of w:special conformal transformations and inversions producing the relation

${\displaystyle -dx_{0}^{2}+\dots +dx_{n}^{2}=\lambda \left(-dx_{0}^{\prime 2}+\dots +dx_{n}^{\prime 2}\right)}$.

One can switch between two representations of this group by using an imaginary sphere radius coordinate x0=iR with the interval ${\displaystyle dx_{0}^{2}+\dots +dx_{n}^{2}}$ related to conformal transformations, or by using a real radius coordinate x0=R with the interval ${\displaystyle -dx_{0}^{2}+\dots +dx_{n}^{2}}$ related to Lie's (1871) sphere transformation (or w:spherical wave transformations) in terms of w:contact transformations preserving circles and spheres. It was shown by Bateman & Cunningham (1909–1910), that the group Con(1,3) is the most general one leaving invariant the equations of Maxwell's electrodynamics.

It turns out that Con(1,3) is isomorphic to the w:special orthogonal group SO(2,4), and contains the Lorentz group SO(1,3) as a subgroup by setting λ=1. More generally, Con(q,p) is isomorphic to SO(q+1,p+1) and contains SO(q,p) as subgroup.[1] This implies that Con(0,p) is isomorphic to the Lorentz group of arbitrary dimensions SO(1,p+1). Consequently, the conformal group in the plane Con(0,2) – known as the group of w:Möbius transformations – is isomorphic to the Lorentz group SO(1,3).[2][3] This can be seen using tetracyclical coordinates satisfying the form ${\displaystyle -x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=0}$, which were discussed by Pockels (1891), Klein (1893), Bôcher (1894). The relation between Con(1,3) and the Lorentz group was noted by Bateman & Cunningham (1909–1910) and others.

A subgroup of Lie's group of sphere transformations is the Laguerre group (or group of transformations by reciprocal directions) dealing with oriented spheres, planes and lines, which was already implicit in the work of Ribaucour (1870), Lie (1871), Darboux (1873). It's generated by the Laguerre inversion introduced by Laguerre (1882) and discussed by Darboux (1887) and Smith (1900) leaving invariant ${\displaystyle X^{2}+Y^{2}+Z^{2}-R^{2}}$ with R as radius, thus the Laguerre group is isomorphic to the Lorentz group. A similar concept was studied by Scheffers (1899) in terms of contact transformations. Stephanos (1883) argued that Lie's geometry of oriented spheres in terms of contact transformations, as well as the special case of the transformations of oriented planes into each other (such as by Laguerre), provides a geometrical interpretation of Hamilton's w:biquaternions. The w:group isomorphism between the Laguerre group and Lorentz group was pointed out by Bateman (1910), Cartan (1912, 1915/55), Poincaré (1912/21) and others.[4][5] The Laguerre inversion was written in the following ways:

{\displaystyle {\begin{matrix}-R^{2}+X^{2}=-R^{\prime 2}+X^{\prime 2}\\\hline {\begin{aligned}R'&=-R{\frac {1+a^{2}}{1-a^{2}}}+X{\frac {2a}{1-a^{2}}}\\X'&=-R{\frac {2a}{1-a^{2}}}+X{\frac {1+a^{2}}{1-a^{2}}}\end{aligned}}\end{matrix}}}

(1)

or

{\displaystyle {\begin{matrix}-R^{2}+X^{2}=-R^{\prime 2}+X^{\prime 2}\\\hline {\begin{aligned}R'&=-{\frac {1}{2}}\left(k+{\frac {1}{k}}\right)R+{\frac {1}{2}}\left(k-{\frac {1}{k}}\right)X\\X'&=-{\frac {1}{2}}\left(k-{\frac {1}{k}}\right)R+{\frac {1}{2}}\left(k+{\frac {1}{k}}\right)X\end{aligned}}\end{matrix}}}

(2)

A special case of Laguerre inversions (1, 2) with ${\displaystyle a=k={\sqrt {-1}}}$ was already given by Bonnet (1856). Formula (1) was given by Laguerre (1882) and Darboux (1887), formula (2) by Smith (1900). Laguerre transformations in trigonometric form were given by Scheffers (1899).

Formulas (1, 2) become ordinary Lorentz transformations by changing the sign of ${\displaystyle R'}$ and setting ${\displaystyle \beta ={\tfrac {2a}{1+a^{2}}}={\tfrac {k^{2}-1}{k^{2}+1}}}$. Furthermore, using ${\displaystyle \beta }$ together with ${\displaystyle \cos \alpha '={\tfrac {X'}{-R'}}}$ and ${\displaystyle \cos \alpha ={\tfrac {X}{R}}}$ gives:

${\displaystyle \cos \alpha '={\frac {\cos \alpha -\beta }{1-\beta \cos \alpha }}\quad {\text{or}}\quad \tan {\frac {\alpha '}{2}}={\sqrt {\frac {1+\beta }{1-\beta }}}\tan {\frac {\alpha }{2}}}$

(3)

Formula (3) was already used by Darboux (1873) as a sphere transformation, and in 1881 he showed that it can also be used to perform Laguerre transformations of planes. In special relativity, it turns out that formula (3) describes the aberration of light, see velocity addition and aberration.

## Historical notation

### Bonnet (1856)

w:Pierre Ossian Bonnet (1856) defined a reciprocal transformation preserving lines of curvatures. He noted that his transformation implies the following relation between curvature radii ${\displaystyle \rho ,\rho _{1}}$ and ordinates ${\displaystyle \zeta ,\zeta _{1}}$ of the respective curvature centers:[M 1]

${\displaystyle \rho _{1}=i\zeta ,\quad \rho =-i\zeta _{1}}$ where ${\displaystyle i={\sqrt {-1}}}$

Bonnet's transformation produces ${\displaystyle \rho ^{2}-\zeta ^{2}=\rho _{1}^{2}-\zeta _{1}^{2}}$ and represents a special case of Laguerre inversion (or Lorentz transformation) (1, 2) with ${\displaystyle a=k={\sqrt {-1}}}$. Lie (1871), Darboux (1887) and Smith (1900) all noticed that Bonnet's transformation is a special case of Lie's and Laguerre's transformations.

### Ribaucour (1870)

w:Albert Ribaucour (1870),[M 2] defined what was later called “Ribaucour transformations” preserving lines of curvature:

p. 330: If circles are normal to three surfaces, they are normal to a family of surfaces belonging to a triply orthogonal system. This results in a class of orthogonal triple systems which I will propose to call cyclic systems, intimately linked to the deformation of surfaces. Given a surface (A), we can propose to seek all the cyclic systems which derive from it; the ${\displaystyle ds^{2}}$ of this surface being put in the form ${\displaystyle ds^{2}=\lambda ^{2}.dx\ dy}$ [...]
p. 332: If spheres have their contact chords normal to surfaces, the circles passing through the centers of these spheres and their points of contact with their enveloping surfaces are normal to an infinity of surfaces forming part of a cyclic system. [...] If surfaces are part of an orthogonal system, the osculating circles of their orthogonal trajectories corresponding to all the points of one of these surfaces are normal to a family of surfaces belonging to a cyclic system. [...] I will point out the simple case where (A) is a plane, a case which leads to a general transformation of the surfaces with correspondence of the lines of curvature [...].

Referring to p. 332 of Ribaucour's paper, Darboux (1887) and Bateman (1910) argued that Ribaucour anticipated both Lie (1871) and Laguerre (1880) in formulating the “transformation by reciprocal directions”, which in Darboux's representation led to algebraic expressions identical to Laguerre inversion (or Lorentz transformation) (1) and (3).

### Lie (1871)

In several papers between 1847 and 1850 it was shown by w:Joseph Liouville[M 3] that the relation λ(δx2+δy2+δz2) is invariant under the group of w:conformal transformations generated by w:inversions transforming spheres into spheres, which can be related w:special conformal transformations or w:Möbius transformations. (The conformal nature of the linear fractional transformation ${\displaystyle {\tfrac {a+bz}{c+dz}}}$ of a complex variable ${\displaystyle z}$ was already discussed by Euler (1777)).[M 4][6]

Liouville's theorem was extended to all dimensions by w:Sophus Lie (1871a).[M 5][7] In addition, Lie described a manifold whose elements can be represented by spheres, where the last coordinate yn+1 can be related to an imaginary radius by iyn+1:[M 5]

${\displaystyle {\begin{matrix}\sum _{i=1}^{i=n}(x_{i}-y_{i})^{2}+y_{n+1}^{2}=0\\\downarrow \\\sum _{i=1}^{i=n+1}(y_{i}^{\prime }-y_{i}^{\prime \prime })^{2}=0\end{matrix}}}$

If the second equation is satisfied, two spheres y′ and y″ are in contact. Lie then defined the correspondence between w:contact transformations in Rn and conformal point transformations in Rn+1: The sphere of space Rn consists of n+1 parameter (coordinates plus imaginary radius), so if this sphere is taken as the element of space Rn, it follows that Rn now corresponds to Rn+1. Therefore, any transformation (to which he counted E:orthogonal transformations and inversions) leaving invariant the condition of contact between spheres in Rn, corresponds to the conformal transformation of points in Rn+1. He pointed out that conformal point transformations consist of motions (such as w:rigid transformations and orthogonal transformations), similarity transformations, and inversions.[M 6]

As shown by Bateman and Cunningham (1909), the spacetime conformal group Con(1,3) of "w:spherical wave transformations" corresponds to the transformations of Lie's sphere geometry in which the radius indicates the fourth coordinate, while the Lorentz group SO(1,3) is a subgroup of Con(1,3). It's also known that the Möbius group and Laguerre group, which are both isomorphic to the Lorentz group, are subgroups of Lie's sphere transformations group.

In the same paper, Lie also mentioned the “well known fact” that “parallel transformations” (dilatations having the property of transforming planes to parallel planes) preserve lines of curvature, and he alluded to Bonnet's (1856) transformation as an example.[M 7] Generally, all of the discussed transformations that preserve lines of curvature are either inversions or parallel transformations.[M 8] In a footnote he specifically remarked that line transformations under which "(const=0)" remains unchanged, give all transformations of R by which surfaces of common spherical image pass into other such surfaces, and that the new spherical image emerges from the former by a conformal point transformation of the image-sphere, and that Bonnet's (1856) transformation belongs here.[M 9]

Lie himself (1884)[M 10] pointed out that his remarks indicate the same transformation group treated in more recent works of Laguerre (1880-82) and Stephanos (1882). Consequently, Smith (1900) credits Lie as being the first one to allude to the existence of the (extended) Laguerre group, transforming spheres into spheres and planes into planes. On the other hand, Darboux (1887) pointed out that the transformation by reciprocal directions was already anticipated by Ribaucour (1870) even before Lie.

### Klein, Pockels, Bôcher (1871-91)

In relation to line geometry, w:Felix Klein (1871/72)[M 11] used coordinates satisfying the condition ${\displaystyle s_{1}^{2}+s_{2}^{2}+s_{2}^{2}+s_{2}^{2}+s_{5}^{2}=0}$. They were introduced in 1868 (belatedly published in 1873) by w:Gaston Darboux[M 12] as a system of five coordinates in R3 (later called "pentaspherical" coordinates) in which the last coordinate is imaginary. w:Sophus Lie (1871)[M 13] more generally used n+2 coordinates in Rn (later called "polyspherical" coordinates) satisfying ${\displaystyle \scriptstyle \sum _{i=1}^{i=n+2}x_{i}^{2}=0}$ in which the last coordinate is imaginary, as a means to discuss conformal transformations generated by inversions. These simultaneous publications can be explained by the fact that Darboux, Lie, and Klein corresponded with each other by letter.

When the last coordinate is defined as real, the corresponding polyspherical coordinates satisfy the form of a sphere. Initiated by lectures of Klein between 1889–1890, his student w:Friedrich Carl Alwin Pockels (1891) used such real coordinates, emphasizing that all of these coordinate systems remain invariant under conformal transformations generated by inversions:[M 14]

${\displaystyle x_{1}^{2}+x_{2}^{2}+\cdots +x_{n+1}^{2}-x_{n+2}^{2}=0{\text{ or }}\sum _{1}^{n+1}x_{h}^{2}-x_{n+2}^{2}=0}$

Special cases were described by Klein (1893):[M 15]

${\displaystyle y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+y_{4}^{2}-y_{5}^{2}=0}$ (pentaspherical).
${\displaystyle x_{1}^{2}+x_{2}^{2}+x_{3}^{2}-x_{4}^{2}=0}$ (tetracyclical).

Both systems were also described by w:Maxime Bôcher (1894) in an expanded version of a thesis supervised by Klein.[M 16]

Polyspherical coordinates indicate that the conformal group Con(0,p) is isomorphic to the Lorentz group SO(1,p+1).[8] For instance, Con(0,2) – known as Möbius group – is related to tetracyclical coordinates satisfying ${\displaystyle x_{1}^{2}+x_{2}^{2}+x_{3}^{2}-x_{4}^{2}=0}$, which is nothing other than the Lorentz interval invariant under the Lorentz group SO(1,3).

### Darboux (1873-87)

In 1873, w:Gaston Darboux stated the following proposition:[M 17]

Given a surface ${\displaystyle \left(\Sigma \right)}$, we add a fixed sphere ${\displaystyle \left({\rm {S}}\right)}$ to it, and we construct all spheres tangent to the surface and intersecting ${\displaystyle \left({\rm {S}}\right)}$ at a constant angle ${\displaystyle \alpha }$. Through the intersection of each of these spheres and ${\displaystyle \left({\rm {S}}\right)}$ new spheres pass intersecting ${\displaystyle \left({\rm {S}}\right)}$ at a constant angle ${\displaystyle \beta }$. These new spheres envelop a surface ${\displaystyle \left(\Sigma _{1}\right)}$, corresponding point by point to ${\displaystyle \left(\Sigma \right)}$ with conservation of lines of curvature. The corresponding points on the two surfaces are on circles normal both to the two surfaces and to the sphere ${\displaystyle \left({\rm {S}}\right)}$.

which he generalized by making a second proposition:[M 18]

Consider a surface ${\displaystyle \left(\Sigma \right)}$, envelope of a series of variable spheres ${\displaystyle \left({\rm {U}}\right)}$ intersecting under any angles the sphere ${\displaystyle \left({\rm {S}}\right)}$. At each of the spheres ${\displaystyle \left({\rm {U}}\right)}$ intersecting ${\displaystyle \left({\rm {S}}\right)}$ at an angle I call ${\displaystyle \varphi }$ we match a sphere ${\displaystyle \left({\rm {U_{1}}}\right)}$ passing through the intersection of ${\displaystyle \left({\rm {S}}\right)}$ and from ${\displaystyle \left({\rm {U}}\right)}$, and intersecting ${\displaystyle \left({\rm {S}}\right)}$ at an angle ${\displaystyle \varphi _{1}}$ determined by equation
${\displaystyle {\frac {\cos \varphi -\cos \varphi _{1}}{1-\cos \varphi \cos \varphi _{1}}}=h}$
Then the new spheres ${\displaystyle \left({\rm {U_{1}}}\right)}$ envelop a surface ${\displaystyle \left(\Sigma _{1}\right)}$ which corresponds point by point at ${\displaystyle \left(\Sigma \right)}$ with curvature lines preserved. If we subject the spheres ${\displaystyle \left({\rm {U}}\right)}$ tangent to ${\displaystyle \left(\Sigma \right)}$ to cut ${\displaystyle \left({\rm {S}}\right)}$ under a constant angle, ${\displaystyle \varphi }$ will be constant; it will be the same for ${\displaystyle \varphi _{1}}$, by virtue of the previous equation, and we find the theorem given above. »

This is equivalent to Laguerre transformation (or Lorentz transformation) (3) with ${\displaystyle h=\beta }$.

In 1881 he quoted his above propositions, gave priority to the first one to Ribaucour (1870), and then showed that Laguerre's transformation of reciprocal directions is included as well:[M 19]

This proposal gave a new means of realizing a mode of transformation of surfaces with preservation of the lines of curvature, to which Ribaucour had devoted a few lines in a Communication made to the Academy in 1870 sur la deformation des surfaces.
[..] Suppose, in particular, that the sphere ${\displaystyle \left({\rm {S}}\right)}$ reduces to a plane ${\displaystyle \left(\pi \right)}$. Then to any plane ${\displaystyle \left({\rm {P}}\right)}$ will correspond a plane ${\displaystyle \left({\rm {P'}}\right)}$ passing through the intersection of ${\displaystyle \left(\pi \right)}$ and ${\displaystyle \left({\rm {P}}\right)}$, and the angles ${\displaystyle \varphi ,\varphi '}$ that the planes ${\displaystyle \left({\rm {P}}\right)}$, ${\displaystyle \left({\rm {P'}}\right)}$ make with ${\displaystyle \left(\pi \right)}$ will be linked by relation (1). It is not difficult to recognize, in this transformation from one plane to another, that which has recently been studied by Laguerre under the name of transformation by reciprocal directions. We see that it is included in the transformation of spheres which is defined by our second proposition. I have recalled these results only to arrive at the proposition which is the main object of this Communication. I will show, in accordance with a general theorem of Lie, that the transformation first proposed by Ribaucour boils down to dilatations (transition from a surface to the parallel surface) and to transformations by reciprocal vector rays.

He went on to rewrite his 1873 equation as:[M 20]

${\displaystyle \mathrm {tang} {\frac {\varphi }{2}}=\mathrm {tang} {\frac {\varphi _{1}}{2}}{\sqrt {\frac {1-h}{1+h}}}}$

This is equivalent to Laguerre transformation (or Lorentz transformation) (3) with ${\displaystyle h=\beta }$.

In 1887, Darboux gave a much more detailed account. For instance, he re-derived and extended the transformation of oriented half-lines given by Laguerre (1882) using coordinates x,y,z,R:[M 21]

{\displaystyle {\begin{matrix}x^{\prime 2}+y^{\prime 2}+z^{\prime 2}-R^{\prime 2}=x^{2}+y^{2}+z^{2}-R^{2}\\\hline {\begin{aligned}x'&=x,&z'&={\frac {1+k^{2}}{1-k^{2}}}z-{\frac {2kR}{1-k^{2}}},\\y'&=y,&R'&={\frac {2kz}{1-k^{2}}}-{\frac {1+k^{2}}{1-k^{2}}}R,\end{aligned}}\end{matrix}}} or {\displaystyle {\begin{aligned}z'+R'&={\frac {1+k}{1-k}}(z-R)\\z'-R'&={\frac {1-k}{1+k}}(z+R)\end{aligned}}}

He went on to derive expressions and theorems similar to those given by him in 1873, and added that Bonnet's (1856) transformation is a special case.[M 22]

This is equivalent to Laguerre inversion (or Lorentz transformation) (1).

Regarding the history of such transformations (before Laguerre's research) he wrote:[M 23]

In the memoir already quoted, inserted in volume V of Mathematische Annalen, Lie has made known all the contact transformations which preserve the lines of curvature; he even pointed out (p. 186) the particular case of transformation by reciprocal directions; but this transformation had already been given in different works by Ribaucour. See, in particular, Ribaucour's note sur la deformation des surfaces (Comptes rendus, t. LXX, p. 332, 1870). In a different form, it was the subject of the author's studies published in Notes V and IX of Mémoire sur une classe remarquable de courbes et de surfaces algébriques, 1873.

### Laguerre (1880-82)

A systematic formulation of a geometry of orientation was given by w:Edmond Laguerre (1880), including geometric transformations of oriented planes into oriented planes and oriented spheres into oriented spheres, which he called "w:transformation by reciprocal directions".[M 24] Besides the focus on the transformation of planes, a distinguishing feature to previous authors was the employment of the concept of orientation (i.e. attributing a certain sign to lines and radii) which became an indispensable tool in Lie sphere geometry and Laguerre geometry.

Laguerre's transformations form a group (Laguerre group) which is isomorphic to the Lorentz group, and forms a subgroup of Lie's (1871) contact transformations of spheres.

In 1882 he developed the “transformation of oriented half-lines” which was later called "Laguerre inversion", using the following algebraic formulation (R being the radius and D the distance of its center to the axis):[M 25]

{\displaystyle \left.{\begin{aligned}D'&={\frac {D\left(1+\alpha ^{2}\right)-2\alpha R}{1-\alpha ^{2}}}\\R'&={\frac {2\alpha D-R\left(1+\alpha ^{2}\right)}{1-\alpha ^{2}}}\end{aligned}}\right|{\begin{aligned}D^{2}-D^{\prime 2}&=R^{2}-R^{\prime 2}\\D-D'&=\alpha (R-R')\\D+D'&={\frac {1}{\alpha }}(R+R')\end{aligned}}}

This is equivalent to Laguerre inversion (or Lorentz transformation) (1). The Laguerre inversions are generators of the Laguerre group.

### Stephanos (1883)

w:Cyparissos Stephanos (1883)[M 26] showed that Hamilton's biquaternion a0+a1ι1+a2ι2+a3ι3 can be interpreted as an oriented sphere in terms of Lie's sphere geometry (1871), having the vector a1ι1+a2ι2+a3ι3 as its center and the scalar ${\displaystyle a_{0}{\sqrt {-1}}}$ as its radius. Its norm ${\displaystyle a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}}$ is thus equal to the power of a point of the corresponding sphere. In particular, the norm of two quaternions N(Q1-Q2) (the corresponding spheres are in contact with N(Q1-Q2)=0) is equal to the tangential distance between two spheres. The general contact transformation between two spheres then can be given by a w:homography using 4 arbitrary quaternions A,B,C,D and two variable quaternions X,Y:[M 27][9][10]

${\displaystyle XAY+XB+CY+D=0}$ (or ${\displaystyle X=-{\frac {CY+D}{AY+B}}}$).

Stephanos pointed out that the special case A=0 denotes transformations of oriented planes (see Laguerre (1882)).

The Lorentz group SO(1,3) is a subgroup of the conformal group Con(1,3) in terms of Lie's (1871) transformations of oriented spheres in which the radius indicates the fourth coordinate. The Lorentz group is isomorphic to the group of Laguerre's (1880) transformation of oriented planes.

### Scheffers (1899)

w:Georg Scheffers (1899) synthetically determined all finite w:contact transformations preserving circles in the plane, consisting of dilatations, inversions, and the following one preserving circles and lines (compare with Laguerre inversion by Laguerre (1882) and Darboux (1887)):[M 28]

${\displaystyle {\begin{matrix}\sigma ^{\prime 2}-\rho ^{\prime 2}=\sigma ^{2}-\rho ^{2}\\\hline \rho '={\frac {\rho }{\cos \omega }}+\sigma \tan \omega ,\quad \sigma '=\rho \tan \omega +{\frac {\sigma }{\cos \omega }}\end{matrix}}}$

This is equivalent to Laguerre transformation (or Lorentz transformation) (1) by the identity ${\displaystyle \sin \omega =\beta ={\frac {2a}{1+a^{2}}}={\frac {k^{2}-1}{k^{2}+1}}}$.

### Smith (1900)

w:Percey F. Smith (1900) followed Laguerre (1882) and Darboux (1887) and defined the Laguerre inversion as follows:[M 29]

${\displaystyle {\begin{matrix}p^{\prime 2}-p^{2}=R^{\prime 2}-R^{2}\\\hline \kappa ={\frac {R'-R}{p'-p}}\\p'={\frac {\kappa ^{2}+1}{\kappa ^{2}-1}}p-{\frac {2\kappa }{\kappa ^{2}-1}}R,\quad R'={\frac {2\kappa }{\kappa ^{2}-1}}p-{\frac {\kappa ^{2}+1}{\kappa ^{2}-1}}R\end{matrix}}}$

He added that Bonnet's (1856) transformation is a special case with ${\displaystyle \kappa ^{2}=-1}$, and he also gave credit to Lie (1871) for defining the corresponding "group of the geometry of reciprocal directions".

This is equivalent to Laguerre inversion (or Lorentz transformation) (2).

### Bateman and Cunningham (1909–1910)

In line with Lie's (1871) research on the relation between sphere transformations with an imaginary radius coordinate and 4D conformal transformations, it was pointed out by w:Harry Bateman and w:Ebenezer Cunningham (1909–1910), that by setting u=ict as the imaginary fourth coordinates one can produce spacetime conformal transformations. Not only the quadratic form ${\displaystyle \lambda \left(dx^{2}+dy^{2}+dz^{2}+du^{2}\right)}$, but also w:Maxwells equations are covariant with respect to these transformations, irrespective of the choice of λ. These variants of conformal or Lie sphere transformations were called w:spherical wave transformations by Bateman.[R 1][R 2] However, this covariance is restricted to certain areas such as electrodynamics, whereas the totality of natural laws in inertial frames is covariant under the w:Lorentz group.[R 3] In particular, by setting λ=1 the Lorentz group SO(1,3) can be seen as a 10-parameter subgroup of the 15-parameter spacetime conformal group Con(1,3).

Bateman (1910/12)[11] also alluded to the identity between the Laguerre inversion and the Lorentz transformations. In general, the isomorphism between the Laguerre group and the Lorentz group was pointed out by w:Élie Cartan (1912, 1915/55),[5][R 4] w:Henri Poincaré (1912/21)[R 5] and others.

## References

### Historical mathematical sources

1. Bonnet (1856), p. 487
2. Ribaucour (1870). pp. 330-333
3. Liouville (1847)
4. Euler (1777), p. 140
5. Lie (1871), pp. 199–209
6. Lie (1871/72), first footnote on p. 186
7. Lie (1871/72), p. 184
8. Lie (1871/72), p. 186
9. Lie (1871/72), second footnote on p. 186
10. Lie (1884), footnote on p. 541
11. Klein (1871/72), p. 268
12. Darboux (1873), p. 137
13. Lie (1871), p. 208
14. Pockels (1891), pp. 197–206
15. Klein (1893c), pp. 200ff (pentaspherical), pp. 373ff (tetracyclical)
16. Bôcher (1894), pp. 30–34, 40–43
17. Darboux (1873), pp. 254-255.
18. Darboux (1873), footnote on p. 255.
19. Darboux (1881), p. 286f.
20. Darboux (1881), footnote on p. 287
21. Darboux (1887), p. 254
22. Darboux (1887), p. 256
23. Darboux (1887), footnote on p. 259
24. Laguerre (1880)
25. Laguerre (1882), pp. 550–551.
26. Stephanos (1883), p. 590ff
27. Stephanos (1883), p. 592
28. Scheffers (1899), p. 158
29. Smith (1900), p. 159

### Historical relativity sources

1. Bateman (1909/10), pp. 223ff
2. Cunningham (1909/10), pp. 77ff
3. Klein (1910)
4. Cartan (1912), p. 23
5. Poincaré (1912/21), p. 145
• Cunningham, Ebenezer (1910) [1909]. "The principle of Relativity in Electrodynamics and an Extension Thereof". Proceedings of the London Mathematical Society 8: 77–98. doi:10.1112/plms/s2-8.1.77.

### Secondary sources

1. Schottenloher (2008), section 2.2
2. Kastrup (2008), section 2.4.1
3. Schottenloher (2008), section 2.3
4. Coolidge (1916), p. 370
5. Cartan & Fano (1915/55), sections 14–15
6. Kastrup (2008), section 2.1
7. Kastrup (2008), section 2.3
8. Kastrup (2008), p. 22
9. Cartan & Study (1908), p. 460
10. Rothe (1916), p. 1399
11. Bateman (1910/12), pp. 358–359
• Cartan, É.; Study, E. (1908). "Nombres complexes". Encyclopédie des Sciences Mathématiques Pures et Appliquées 1.1: 328–468.
• Cartan, É.; Fano, G. (1955). "La théorie des groupes continus et la géométrie". Encyclopédie des Sciences Mathématiques Pures et Appliquées 3.1: 39–43.  (Only pages 1–21 were published in 1915, the entire article including pp. 39–43 concerning the groups of Laguerre and Lorentz was posthumously published in 1955 in Cartan's collected papers, and was reprinted in the Encyclopédie in 1991.)
• Coolidge, Julian (1916). A treatise on the circle and the sphere. Oxford: Clarendon Press.
• Kastrup, H. A. (2008). "On the advancements of conformal transformations and their associated symmetries in geometry and theoretical physics". Annalen der Physik 520 (9–10): 631–690. doi:10.1002/andp.200810324.
• Klein, Felix; Blaschke, Wilhelm (1926). Vorlesungen über höhere Geometrie. Berlin: Springer.
• Rothe, H. (1916). "Systeme geometrischer Analyse". Encyclopädie der Mathematischen Wissenschaften 3.1.1: 1282–1425.
• Schottenloher, M. (2008). A Mathematical Introduction to Conformal Field Theory. Springer. ISBN 978-3540706908.