History of Topics in Special Relativity/Lorentz transformation (conformal)
|History of Topics in Special Relativity: History of Lorentz transformation ( )|
Most general Lorentz transformations LT via squeeze mappings
Lorentz transformation via conformal, spherical wave, and Laguerre transformation[edit | edit source]
If one only requires the invariance of the light cone represented by the differential equation , 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
One can switch between two representations of this group by using an imaginary sphere radius coordinate x0=iR with the interval related to conformal transformations, or by using a real radius coordinate x0=R with the interval related to w:spherical wave transformations in terms of w:contact transformations preserving circles and spheres. Both representations were studied by Lie (1871) and others. 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. 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). This can be seen using tetracyclical coordinates satisfying the form , 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 special case of Lie's geometry of oriented spheres is the Laguerre group, transforming oriented planes and lines into each other. It's generated by the Laguerre inversion introduced by Laguerre (1882) and discussed by Darboux (1887) and Smith (1900) leaving invariant 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.
Historical notation[edit | edit source]
Lie (1871) – Conformal, spherical, and orthogonal transformations[edit | edit source]
In several papers between 1847 and 1850 it was shown by w:Joseph Liouville[M 1] 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 of a complex variable was already discussed by Euler (1777)).[M 2]
Liouville's theorem was extended to all dimensions by w:Sophus Lie (1871a).[M 3] 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 3]
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.
Eventually, Lie (1871/72) pointed out that conformal point transformations consist of motions (such as w:rigid transformations and orthogonal transformations), similarity transformations, and inversions.[M 4]
Klein, Pockels, Bôcher (1871-91) – Conformal transformation and polyspherical coordinates[edit | edit source]
In relation to line geometry, w:Felix Klein (1871/72)[M 5] used coordinates satisfying the condition . They were introduced in 1868 (belatedly published in 1872/73) by w:Gaston Darboux[M 6] as a system of five coordinates in R3 (later called "pentaspherical" coordinates) in which the last coordinate is imaginary. w:Sophus Lie (1871)[M 7] more generally used n+2 coordinates in Rn (later called "polyspherical" coordinates) satisfying 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 8]
Special cases were described by Klein (1893):[M 9]
Laguerre (1882) – Laguerre inversion[edit | edit source]
After previous work by w:Albert Ribaucour (1870),[M 11] a transformation which transforms oriented spheres into oriented spheres, oriented planes into oriented planes, and oriented lines into oriented lines, was explicitly formulated by w:Edmond Laguerre (1882) as "w:transformation by reciprocal directions" which was later called "Laguerre inversion/transformation". It can be seen as a special case of the conformal group in terms of Lie's transformations of oriented spheres. In two dimensions the transformation or oriented lines has the form (R being the radius):[M 12]
Stephanos (1883) – Biquaternions[edit | edit source]
w:Cyparissos Stephanos (1883)[M 13] 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 as its radius. Its norm 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 14]
- (or ).
Stephanos pointed out that the special case A=0 denotes transformations of oriented planes (see Laguerre (1882)).
Darboux (1887) – Laguerre inversion[edit | edit source]
Darboux rewrote these equations as follows:
Scheffers (1899) – Contact transformation[edit | edit source]
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 16]
Smith (1900) – Laguerre inversion[edit | edit source]
Bateman and Cunningham (1909–1910) – Spherical wave transformation[edit | edit source]
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 , 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) 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),[R 4] w:Henri Poincaré (1912/21)[R 5] and others.
References[edit | edit source]
Historical mathematical sources[edit | edit source]
- Liouville (1847)
- Euler (1777), p. 140
- Lie (1871), pp. 199–209
- Lie (1871/72), p. 186
- Klein (1871/72), p. 268
- Darboux (1872/73), p. 137
- Lie (1871), p. 208
- Pockels (1891), pp. 197–206
- Klein (1893c), pp. 200ff (pentaspherical), pp. 373ff (tetracyclical)
- Bôcher (1894), pp. 30–34, 40–43
- Ribaucour (1870)
- Laguerre (1882), pp. 550–551.
- Stephanos (1883), p. 590ff
- Stephanos (1883), p. 592
- Darboux (1887)
- Scheffers (1899), p. 158
- Smith (1900), p. 159
- Bôcher, M. (1894). Über die Reihenentwicklungen der Potentialtheorie. Leipzig: Macmillan. https://archive.org/details/acv1533.0001.001.umich.edu.
- Darboux, G. (1887). Leçons sur la théorie générale des surfaces. Première partie. Paris: Gauthier-Villars. pp. 254–256. https://archive.org/details/leconsurlagendes01darbrich.
- Euler, L. (1777). "De proiectione geographica superficiei sphaericae". Acta Academiae Scientiarum Imperialis Petropolitanae: 133–142. http://eulerarchive.maa.org/pages/E491.html.
- Klein, F. (1872) . "Ueber Liniengeometrie und metrische Geometrie". Mathematische Annalen 5: 257–277. doi:10.1007/bf01444841. http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002241854.
- Klein, F. (1893c). Schilling, Fr.. ed. Einleitung in die höhere Geometrie I, Vorlesung gehalten während des Wintersemesters 1892–93. Göttingen. https://archive.org/details/eininhohere01kleirich.
- Laguerre, Edmond (1881). "Sur la transformation par directions réciproques". Comptes Rendus 92: 71–73. http://gallica.bnf.fr/ark:/12148/bpt6k7351t/f70.image.
- Laguerre, Edmond (1882). "Transformations par semi-droites réciproques". Nouvelles annales de mathématiques 1: 542–556.
- Lie, S. (1871a). "Ueber diejenige Theorie eines Raumes mit beliebig vielen Dimensionen, die der Krümmungs-Theorie des gewöhnlichen Raumes entspricht". Göttinger Nachrichten: 191–209. https://books.google.com/books?id=mH41bQAAMAAJ&pg=PA191.
- Lie, S. (1872) . "Ueber Complexe, insbesondere Linien- und Kugel-Complexe, mit Anwendung auf die Theorie partieller Differentialgleichungen". Mathematische Annalen 5: 145–256. doi:10.1007/bf01446331. https://books.google.com/books?id=TdZSAAAAcAAJ&pg=PA145. English translation by David Delphenich: On complexes – in particular, line and sphere complexes – with applications to the theory of partial differential equations
- Liouville, Joseph (1850). "Théorème sur l'équation dx²+dy²+dz²=λ(dα²+dβ²+dγ²)". Journal de Mathématiques Pures et Appliquées 15: 103. https://books.google.com/books?id=wlZOAAAAMAAJ&pg=PA103.
- Pockels, F. (1891). Über die partielle Differentialgleichung Δu+k²u=0 und deren Auftreten in der mathematischen Physik. Leipzig: Teubner. https://archive.org/details/berdiepartiell02pockuoft.
- Ribaucour, Albert (1870). "Sur la déformation des surfaces". Comptes Rendus 70: 330–333. https://books.google.com/books?id=YboxAQAAMAAJ&pg=PA330.
- Scheffers, G. (1899). "Synthetische Bestimmung aller Berührungstransformationen der Kreise in der Ebene". Leipziger Math.-Phys. Berichte 51: 145–160. https://hdl.handle.net/2027/hvd.32044092889328.
- Smith, Percey F. (1900). "On a Transformation of Laguerre". Annals of Mathematics 1 (1/4): 153–172. doi:10.2307/1967282. https://archive.org/details/jstor-1967282.
- Stephanos, C. (1883). "Sur la théorie des quaternions". Mathematische Annalen 7 (4): 589–592. doi:10.1007/bf01443267. http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002247798.
Historical relativity sources[edit | edit source]
- Bateman (1909/10), pp. 223ff
- Cunningham (1909/10), pp. 77ff
- Klein (1910)
- Cartan (1912), p. 23
- Poincaré (1912/21), p. 145
- Bateman, H. (1910) . "The Transformation of the Electrodynamical Equations". Proceedings of the London Mathematical Society 8: 223-264. http://hdl.handle.net/2027/inu.30000021006535.
- The Transformation of the Electrodynamical Equations on English Wikisource
- Bateman, Harry (1912) . "Some geometrical theorems connected with Laplace's equation and the equation of wave motion". American Journal of Mathematics 34 (3): 325–360. doi:10.2307/2370223. https://archive.org/details/jstor-2370223.
- Cartan, Élie (1912). "Sur les groupes de transformation de contact et la Cinématique nouvelle". Société de Mathématique the France – Comptes Rendus des Séances: 23. https://archive.org/stream/bulletinsocit40soci#page/422/mode/2up.
- Cunningham, Ebenezer (1910) . "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.
- The principle of Relativity in Electrodynamics and an Extension Thereof on English Wikisource
- Klein, Felix (1921) . Über die geometrischen Grundlagen der Lorentzgruppe. 1. 533–552. doi:10.1007/978-3-642-51960-4_31. ISBN 978-3-642-51898-0.
- Über die geometrischen Grundlagen der Lorentzgruppe on German Wikisource
- Poincaré, Henri (1921) . "Rapport sur les travaux de M. Cartan (fait à la Faculté des sciences de l'Université de Paris)". Acta Mathematica 38 (1): 137–145. doi:10.1007/bf02392064. https://archive.org/stream/actamathematica38upps#page/n153/mode/2up. Written by Poincaré in 1912, printed in Acta Mathematica in 1914 though belatedly published in 1921.
Secondary sources[edit | edit source]
- Schottenloher (2008), section 2.2
- Kastrup (2008), section 2.4.1
- Schottenloher (2008), section 2.3
- Coolidge (1916), p. 370
- Cartan & Fano (1915/55), sections 14–15
- Kastrup (2008), section 2.1
- Kastrup (2008), section 2.3
- Kastrup (2008), p. 22
- Cartan & Study (1908), p. 460
- Rothe (1916), p. 1399
- 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. http://gallica.bnf.fr/ark:/12148/bpt6k2440f/f173.image.
- 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. http://gallica.bnf.fr/ark:/12148/bpt6k29100t/f194.image. (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. http://resolver.sub.uni-goettingen.de/purl?PPN373601816.
- Rothe, H. (1916). "Systeme geometrischer Analyse". Encyclopädie der Mathematischen Wissenschaften 3.1.1: 1282–1425. http://resolver.sub.uni-goettingen.de/purl?PPN360609767.
- Schottenloher, M. (2008). A Mathematical Introduction to Conformal Field Theory. Springer. ISBN 978-3540706908.