History of Topics in Special Relativity/Lorentz transformation (Möbius)

{{../Lorentz transformation (header)}}

Lorentz transformation via Cayley–Klein parameters, Möbius and spin transformations

The previously mentioned Euler-Rodrigues parameter a,b,c,d (i.e. Cayley-Hermite parameter in [[../Lorentz transformation (Cayley-Hermite)#math_Q3|E:(Q3)]] with d=1) are closely related to Cayley–Klein parameter α,β,γ,δ introduced by Helmholtz (1866/67), Cayley (1879) and Klein (1884) to connect Möbius transformations $\frac{\alpha \zeta +\beta }{\gamma \zeta +\delta }$ and rotations:

$\begin{array}{cccc}\alpha & =1+ib,& \beta & =-a+ic,\\ \gamma & =a+ic,& \delta & =1-ib.\end{array}$

thus [[../Lorentz transformation (Cayley-Hermite)#math_Q3|E:(Q3)]] becomes:

Also the Lorentz transformation can be expressed with variants of the Cayley–Klein parameters: One relates these parameters to a spin-matrix D, the w:spin transformations of variables ${\xi }^{\prime },{\eta }^{\prime },{\overline{\xi }}^{\prime },{\overline{\eta }}^{\prime }$ (the overline denotes w:complex conjugate), and the w:Möbius transformation of ${\zeta }^{\prime },{\overline{\zeta }}^{\prime }$. When defined in terms of isometries of hyperblic space (hyperbolic motions), the w:Hermitian matrix u associated with these Möbius transformations produces an invariant determinant $\det 𝐮=x_0^2-x_1^2-x_2^2-x_3^2$ identical to the Lorentz interval. Therefore, these transformations were described by w:John Lighton Synge as being a "factory for the mass production of Lorentz transformations". It also turns out that the related w:spin group Spin(3, 1) or w:special linear group SL(2, C) acts as the double cover of the Lorentz group (one Lorentz transformation corresponds to two spin transformations of different sign), while the w:Möbius group Con(0,2) or w:projective special linear group PSL(2, C) is isomorphic to both the Lorentz group and the group of isometries of hyperbolic space.

In space, the Möbius/Spin/Lorentz transformations can be written as:

thus:

or in line with [[../Lorentz transformation (general)#math_1b|E:general Lorentz transformation (1b)]] one can substitute $[u_1,u_2,u_3,1]=[\frac{x_1}{x_0},\frac{x_2}{x_0},\frac{x_3}{x_0},\frac{x_0}{x_0}]$ so that the Möbius/Lorentz transformations become related to the unit sphere:

The general transformation u′ in (Template:EquationNote) was given by Cayley (1854), while the general relation between Möbius transformations and transformation u′ leaving invariant the w:generalized circle was pointed out by Poincaré (1883) in relation to w:Kleinian groups. The adaptation to the Lorentz interval by which (Template:EquationNote) becomes a Lorentz transformation was given by Klein (1889-1893, 1896/97), Bianchi (1893), Fricke (1893, 1897). Its reformulation as Lorentz transformation (Template:EquationNote) was provided by Bianchi (1893) and Fricke (1893, 1897). Lorentz transformation (Template:EquationNote) was given by Klein (1884) in relation to surfaces of second degree and the invariance of the unit sphere. In relativity, (Template:EquationNote) was first employed by Herglotz (1909/10).

In the plane, the transformations can be written as:

thus

which includes the special case $\beta =\gamma =0$ implying $\delta =1/\alpha$, reducing the transformation to a Lorentz boost in 1+1 dimensions:

Finally, by using the Lorentz interval related to a hyperboloid, the Möbius/Lorentz transformations can be written

The general transformation u′ and its invariant $X_2^2-X_1{X}_3$ in (Template:EquationNote) was already used by Lagrange (1773) and Gauss (1798/1801) in the theory of integer binary quadratic forms. The invariant $X_2^2-X_1{X}_3$ was also studied by Klein (1871) in connection to hyperbolic plane geometry (see [[../Lorentz transformation (hyperbolic)#math_3d|E:(3d)]]), while the connection between u′ and $X_2^2-X_1{X}_3$ with the Möbius transformation was analyzed by Poincaré (1886) in relation to w:Fuchsian groups. The adaptation to the Lorentz interval by which (Template:EquationNote) becomes a Lorentz transformation was given by Bianchi (1888) and Fricke (1891). Lorentz Transformation (Template:EquationNote) was stated by Gauss around 1800 (posthumously published 1863), as well as Selling (1873), Bianchi (1888), Fricke (1891), Woods (1895) in relation to integer indefinite ternary quadratic forms. Lorentz transformation (Template:EquationNote) was given by Bianchi (1886, 1894) and Eisenhart (1905). Lorentz transformation (Template:EquationNote) of the hyperboloid was stated by Poincaré (1881) and Hausdorff (1899).

Historical notation

Template:Anchor Lagrange (1773) – Binary quadratic forms

After the invariance of the sum of squares under linear substitutions was discussed by [[../Lorentz transformation (imaginary)#Euler|E:Euler (1771)]], the general expressions of a w:binary quadratic form and its transformation was formulated by w:Joseph-Louis Lagrange (1773/75) as follows

$\begin{array}{c}p{y}^2+2qyz+r{z}^2=P{s}^2+2Qsx+R{x}^2\\ \begin{array}{cc}y& =Ms+Nx\\ z& =ms+nx\end{array}|\begin{array}{c}\begin{array}{cc}P& =p{M}^2+2qMm+r{m}^2\\ Q& =pMN+q(Mn+Nm)+rmn\\ R& =p{N}^2+2qNn+r{n}^2\end{array}\\ \downarrow \\ PR-Q^2=(pr-q^2)(Mn-Nm{)}^2\end{array}\end{array}$

Template:Anchor Gauss (1800)

Binary quadratic form

The theory of binary quadratic forms was considerably expanded by w:Carl Friedrich Gauss (1798, published 1801) in his w:Disquisitiones Arithmeticae. He rewrote Lagrange's formalism as follows using integer coefficients α,β,γ,δ:

$\begin{array}{c}F=a{x}^2+2bxy+c{y}^2=(a,b,c)\\ F^{\prime }=a^{\prime }{x}^{\prime 2}+2b^{\prime }{x}^{\prime }{y}^{\prime }+c^{\prime }{y}^{\prime 2}=(a^{\prime },b^{\prime },c^{\prime })\\ \begin{array}{cc}x& =\alpha x^{\prime }+\beta y^{\prime }\\ y& =\gamma x^{\prime }+\delta y^{\prime }\\ \\ x^{\prime }& =\delta x-\beta y\\ y^{\prime }& =-\gamma x+\alpha y\end{array}|\begin{array}{c}\begin{array}{cc}{a}^{\prime }& =a{\alpha }^2+2b\alpha \gamma +c{\gamma }^2\\ b^{\prime }& =a\alpha \beta +b(\alpha \delta +\beta \gamma )+c\gamma \delta \\ c^{\prime }& =a{\beta }^2+2b\beta \delta +c{\delta }^2\end{array}\\ \downarrow \\ b^2-a^{\prime }{c}^{\prime }=(b^2-ac)(\alpha \delta -\beta \gamma {)}^2\end{array}\end{array}$

As pointed out by Gauss, F and F′ are called "proper equivalent" if αδ-βγ=1, so that F is contained in F′ as well as F′ is contained in F. In addition, if another form F″ is contained by the same procedure in F′ it is also contained in F and so forth.

Template:Anchor Cayley–Klein parameter

After [[../Lorentz transformation (general)#Gauss2|E:Gauss (1798/1801)]] defined the integer ternary quadratic form

$f=a{x}^2+a^{\prime }{x}^{\prime 2}+a^{″}{x}^{\prime \prime 2}+2b{x}^{\prime }{x}^{″}+2b^{\prime }x{x}^{″}+2b^{″}x{x}^{\prime }=\left(\begin{array}{ccc}a,& a^{\prime },& a^{″}\\ b,& b^{\prime },& b^{″}\end{array}\right)$

he derived around 1800 (posthumously published in 1863) the most general transformation of the Lorentz interval $\left(\begin{array}{ccc}a,& a^{\prime },& a^{″}\\ b,& b^{\prime },& b^{″}\end{array}\right)=\left(\begin{array}{ccc}1,& 1,& -1\\ 0,& 0,& 0\end{array}\right)$ into itself, using a coefficient system α,β,γ,δ:

$\begin{array}{c}\left(\begin{array}{ccc}1,& 1,& -1\\ 0,& 0,& 0\end{array}\right)\\ \begin{array}{ccc}\alpha \delta +\beta \gamma & \alpha \beta -\gamma \delta & \alpha \beta +\gamma \delta \\ \alpha \gamma -\beta \delta & \frac{1}{2}(\alpha \alpha +\delta \delta -\beta \beta -\gamma \gamma )& \frac{1}{2}(\alpha \alpha +\gamma \gamma -\beta \beta -\delta \delta )\\ \alpha \gamma +\beta \delta & \frac{1}{2}(\alpha \alpha +\beta \beta -\gamma \gamma -\delta \delta )& \frac{1}{2}(\alpha \alpha +\beta \beta +\gamma \gamma +\delta \delta )\end{array}\\ (\alpha \delta -\beta \gamma =1)\end{array}$

Gauss' result was cited by [[../Lorentz transformation (Cayley-Hermite)#Bachmann|E:Bachmann (1869)]], Selling (1873), Bianchi (1888), w:Leonard Eugene Dickson (1923). The parameters α,β,γ,δ, when applied to spatial rotations, were later called Cayley–Klein parameters.

Template:Anchor Cayley (1854) – Cayley–Klein parameter

Already in 1854, Cayley published an alternative method of transforming quadratic forms by using certain parameters α,β,γ,δ in relation to an improper homographic transformation of a surface of second order into itself:

$\begin{array}{c}xy-zw=0\\ x_2{y}_2-z_2{w}_2=x_1{y}_1-z_1{w}_1\\ \begin{array}{cc}M{M}^{\prime }{x}_2& ={\gamma }^{\prime }\delta x_1+\alpha {\alpha }^{\prime }{y}_1-{\alpha }^{\prime }\delta z_1-\alpha {\gamma }^{\prime }{w}_1\\ M{M}^{\prime }{y}_2& =\beta {\beta }^{\prime }{x}_1+\gamma {\delta }^{\prime }{y}_1-\beta {\delta }^{\prime }{z}_1-{\beta }^{\prime }\gamma w_1\\ M{M}^{\prime }{z}_2& =\beta {\gamma }^{\prime }{x}_1+\gamma {\alpha }^{\prime }{y}_1-\beta {\alpha }^{\prime }{z}_1-\gamma {\gamma }^{\prime }{w}_1\\ M{M}^{\prime }{w}_2& ={\beta }^{\prime }\delta x_1+\alpha {\delta }^{\prime }{y}_1-\delta {\delta }^{\prime }{z}_1-\alpha {\beta }^{\prime }{w}_1\end{array}|\begin{array}{cc}{M}^2& =\alpha \beta -\gamma \delta \\ M^{\prime 2}& ={\alpha }^{\prime }{\beta }^{\prime }-{\gamma }^{\prime }{\delta }^{\prime }\end{array}\end{array}$

By setting $(x_1,y_1\dots )\Rightarrow (x_1+i{y}_1,x_1-i{y}_1\dots )$ and rewriting M and M' in terms of four different parameters $M^2=a^2+b^2+c^2+d^2$ he demonstrated the invariance of $x_1^2+y_1^2+z_1^2+w_1^2$, and subsequently showed the relation to 4D quaternion transformations. Fricke & Klein (1897) credited Cayley by calling the above transformation the most general (real or complex) space collineation of first kind of an absolute surface of second kind into itself. Parameters α,β,γ,δ are similar to what was later called Cayley–Klein parameters in relation to spatial rotations (which was done by Cayley in 1879 and before by w:Hermann von Helmholtz (1866/67)).

Template:Anchor Klein (1871–97)

Template:Anchor Cayley absolute and non-Euclidean geometry

Elaborating on Cayley's (1859) definition of an "absolute" (w:Cayley–Klein metric), w:Felix Klein (1871) defined a "fundamental w:conic section" in order to discuss motions such as rotation and translation in the non-Euclidean plane, and another fundamental form by using w:homogeneous coordinates x,y related to a circle with radius 2c with measure of curvature $-\frac{1}{4c^2}$. When c is positive, the measure of curvature is negative and the fundamental conic section is real, thus the geometry becomes hyperbolic (w:Beltrami–Klein model):

$\begin{array}{cc}{x}_1{x}_2-x_3^2& =0\\ x^2+y^2-4c^2& =0\end{array}|\begin{array}{c}{x}_1{x}_2-x_3^2=0\\ \begin{array}{cc}{x}_1& ={\alpha }_1{y}_1\\ x_2& ={\alpha }_2{y}_2\\ x_3& ={\alpha }_3{y}_3\end{array}\\ ({\alpha }_1{\alpha }_2-{\alpha }_3^2=0)\end{array}$

In (1873) he pointed out that hyperbolic geometry in terms of a surface of constant negative curvature can be related to a quadratic equation, which can be transformed into a sum of squares of which one square has a different sign, and can also be related to the interior of a surface of second degree corresponding to an ellipsoid or two-sheet w:hyperboloid.

Template:Anchor Möbius transformation, spin transformation, Cayley–Klein parameter

In (1872) while devising the w:Erlangen program, Klein discussed the general relation between projective metrics, w:binary forms and conformal geometry transforming a sphere into itself in terms of linear transformations of the w:complex variable x+iy. Following Klein, these relations were discussed by w:Ludwig Wedekind (1875) using $z^{\prime }=\frac{\alpha z+\beta }{\gamma z+\delta }$. Klein (1875) then showed that all finite groups of motions follow by determining all finite groups of such linear transformations of x+iy into itself. In (1878), Klein classified the substitutions of ${\omega }^{\prime }=\frac{\alpha \omega +\beta }{\gamma \omega +\delta }$ with αδ-βγ=1 into hyperbolic, elliptic, parabolic, and in (1882) he added the loxodromic substitution as the combination of elliptic and hyperbolic ones. (In 1890, w:Robert Fricke in his edition of Klein's lectures of w:elliptic functions and w:Modular forms, referred to the analogy of this treatment to the theory of quadratic forms as given by Gauss and in particular Dirichlet.)

In (1884) Klein related the linear fractional transformations (interpreted as rotations around the x+iy-sphere) to Cayley–Klein parameters [α,β,γ,δ], to Euler–Rodrigues parameters [a,b,c,d], and to the w:unit sphere by means of w:stereographic projection, and also discussed transformations preserving surfaces of second degree equivalent to the transformation given by Cayley (1854):

$\begin{array}{cc}\begin{array}{c}{z}^{\prime }=\frac{\alpha z+\beta }{\gamma z+\delta }\to z=z_1:z_2\to \begin{array}{cc}{z}_1^{\prime }& =\alpha z_1+\beta z_2\\ z_2^{\prime }& =\gamma z_1+\delta z_2\end{array}\\ {\xi }^2+{\eta }^2+{\zeta }^2=1\\ z=x+iy=\frac{\xi +i\eta }{1-\zeta }\\ z^{\prime }=\frac{(d+ic)z-(b-ia)}{(b+ia)z+(d-ic)}\\ (a^2+b^2+c^2+d^2=1)\end{array}|& \begin{array}{c}{X}_1{X}_4+X_2{X}_3=0\\ {\lambda }^{\prime }=\frac{a\lambda +b}{c\lambda +d},{\mu }^{\prime }=\frac{a^{\prime }\mu +b^{\prime }}{c^{\prime }\mu +d^{\prime }}\\ \lambda ={\lambda }_1:{\lambda }_2,\mu ={\mu }_1:{\mu }_2\\ X_1:X_2:X_3:X_4={\lambda }_1{\mu }_1:-{\lambda }_2{\mu }_1:{\lambda }_1{\mu }_2:{\lambda }_2{\mu }_2\end{array}\end{array}$

In his lecture in the winter semester of 1889/90 (published 1892–93), he discussed the hyperbolic plane by using (as in 1871) the Lorentz interval in terms of a circle with radius 2k as the basis of hyperbolic geometry, and another quadratic form to discuss the "kinematics of hyperbolic geometry" consisting of motions and congruent displacements of the hyperbolic plane into itself:

$\begin{array}{cc}\begin{array}{c}{x}^2+y^2-4k^2{t}^2=0\\ x_1{x}_3-x_2^2=0\end{array}& |\begin{array}{c}{x}_1{x}_3-x_2^2=0\\ \frac{x_1}{x_2}=\frac{x_2}{x_3}=\lambda =\frac{{\lambda }_1}{{\lambda }_2}\\ {\lambda }^{\prime }=\frac{\alpha \lambda +\beta }{\gamma \lambda +\delta }\to \begin{array}{cc}{\lambda }_1^{\prime }& =\alpha {\lambda }_1+\beta {\lambda }_2\\ {\lambda }_2^{\prime }& =\gamma {\lambda }_1+\delta {\lambda }_2\end{array}\\ (\alpha \delta -\beta \gamma =1)\\ \begin{array}{cc}{x}_1:x_2:x_3& ={\lambda }^2:\lambda :1={\lambda }_1^2:{\lambda }_1{\lambda }_2:{\lambda }_2^2\\ & ={\lambda }^{\prime 2}:{\lambda }^{\prime }:1={\lambda }_1^{\prime 2}:{\lambda }_1^{\prime }{\lambda }_2^{\prime }:{\lambda }_2^{\prime 2};\end{array}\end{array}\end{array}$

In his lecture in the summer semester of 1890 (published 1892–93), he discussed general surfaces of second degree, including an "oval" surface corresponding to hyperbolic space and its motions:

$\begin{array}{c}\text{General surfaces of second degree}:\\ \begin{array}{cc}{z}_1^2+z_2^2+z_3^2+z_4^2& \text{(no real parts, elliptic)}\\ z_1^2+z_2^2+z_3^2-z_4^2& \text{(oval,hyperbolic)}\\ z_1^2+z_2^2-z_3^2-z_4^2& \text{(ring)}\\ z_1^2-z_2^2-z_3^2-z_4^2& \text{(oval,hyperbolic)}\\ -z_1^2-z_2^2-z_3^2-z_4^2& \text{(no real parts,elliptic)}\end{array}\\ \text{all of which can be brought into the form:}\\ y_1{y}_3+y_2{y}_4=0\\ \text{Transformation:}\\ \begin{array}{cccc}\varrho y_1& ={\lambda }_1{\mu }_1,& \varrho y_1^{\prime }& ={\lambda }_1^{\prime }{\mu }_1^{\prime }\\ \varrho y_2& ={\lambda }_2{\mu }_1,& \varrho y_2^{\prime }& ={\lambda }_2^{\prime }{\mu }_1^{\prime }\\ \varrho y_3& ={\lambda }_2{\mu }_2,& \varrho y_3^{\prime }& =-{\lambda }_2^{\prime }{\mu }_2^{\prime }\\ \varrho y_4& ={\lambda }_1{\mu }_2,& \varrho y_4^{\prime }& ={\lambda }_1^{\prime }{\mu }_2^{\prime }\end{array}\end{array}|\begin{array}{c}\text{Oval (=hyperbolic motions in space):}\\ x_1^2+x_2^2+x_3^2-x_4^2=0\\ =(x_1+i{x}_3)(x_1-i{x}_3)+(x_2+x_4)(x_2-x_4)=0\\ =y_1{y}_3+y_2{y}_4=0\\ \\ x^2+y^2+z^2-1=0\\ \lambda =\frac{x+iy}{1-z},{\lambda }^{\prime }=\frac{\alpha \lambda +\beta }{\gamma \lambda +\delta },{\mu }^{\prime }=\frac{\overline{\alpha }\mu +\overline{\beta }}{\overline{\gamma }\mu +\overline{\delta }}\\ \begin{array}{cc}{\lambda }_1^{\prime }& =\alpha {\lambda }_1+\beta {\lambda }_2\\ {\lambda }_2^{\prime }& =\gamma {\lambda }_1+\delta {\lambda }_2\end{array},\begin{array}{cc}{\mu }_1^{\prime }& =\overline{\alpha }{\mu }_1+\overline{\beta }{\mu }_2\\ {\mu }_2^{\prime }& =\overline{\gamma }{\mu }_1+\overline{\delta }{\mu }_2\end{array}\end{array}$

In (1896/97), Klein again defined hyperbolic motions and explicitly used t as time coordinate, even though he added those cautionary remarks: "We shall consider t also as capable of complex values, not for the sake of studying the behavior of a fictitious, imaginary time, but because it is only by taking this step that it becomes possible to bring about the intimate association of kinetics and the theory of functions of a complex variable. [..] the non-Euclidean geometry has no meta-physical significance here or in the subsequent discussion". Using homogeneous coordinates, Klein defined the sphere x,y,z,t and then another "movable" sphere X,Y,Z,T as follows:

$\begin{array}{c}{x}^2+y^2+z^2-t^2=0\\ =(x+iy)(x-iy)+(z+t)(z-t)=0\\ x+iy:x-iy:z+t:t-z={\zeta }_1{\zeta }_2^{\prime }:{\zeta }_2{\zeta }_1^{\prime }:{\zeta }_1{\zeta }_1^{\prime }:{\zeta }_2{\zeta }_2^{\prime }\\ \frac{{\zeta }_1}{{\zeta }_2}=\zeta \Rightarrow \zeta =\frac{x+iy}{t-z}=\frac{t+z}{x-iy};\\ X^2+Y^2+Z^2-T^2=0\\ \text{introducing}Z,Z_1,Z_2\dots \text{similarly as above}\zeta ,{\zeta }_1,{\zeta }_2\dots \end{array}$

which he related by the following transformation:

$\begin{array}{c}\zeta =\frac{\alpha Z+\beta }{\gamma Z+\delta }\to \begin{array}{cc}{\zeta }_1& =\alpha Z_1+\beta Z_2\\ {\zeta }_2& =\gamma Z_1+\delta Z_2\end{array},\begin{array}{cc}{\zeta }_1^{\prime }& =\overline{\alpha }{Z}_1^{\prime }+\overline{\beta }{Z}_2^{\prime }\\ {\zeta }_2^{\prime }& =\overline{\gamma }{Z}_1^{\prime }+\overline{\delta }{Z}_2^{\prime }\end{array}\\ (\alpha \delta -\beta \gamma =1)\\ \begin{array}{ccccc}& X+iY& X-iY& T+Z& T-Z\\ x+iy& \alpha \overline{\delta }& \beta \overline{\gamma }& \alpha \overline{\gamma }& \beta \overline{\delta }\\ x-iy& \gamma \overline{\beta }& \delta \overline{\alpha }& \gamma \overline{\alpha }& \delta \overline{\beta }\\ t+z& \alpha \overline{\beta }& \beta \overline{\alpha }& \alpha \overline{\alpha }& \beta \overline{\beta }\\ t-z& \gamma \overline{\delta }& \delta \overline{\gamma }& \gamma \overline{\gamma }& \delta \overline{\delta }\end{array}\end{array}$

Template:Anchor Selling (1873–74) – Quadratic forms

Continuing the work of [[../Lorentz transformation (general)#Gauss2|E:Gauss (1801)]] on definite ternary quadratic forms and [[../Lorentz transformation (Cayley-Hermite)#Hermite|E:Hermite (1853)]] on indefinite ternary quadratic forms, w:Eduard Selling (1873) used the auxiliary coefficients ξ,η,ζ by which a definite form $𝔣$ and an indefinite form f can be rewritten in terms of three squares:

$\begin{array}{cc}𝔣& =𝔞x^2+𝔟y^2+𝔠z^2+2𝔤yz+2𝔥zx+2𝔨xy\\ & ={(\xi x+\eta y+\zeta z)}^2+{({\xi }_{1}x+{\eta }_{1}y+{\zeta }_{1}z)}^2+{({\xi }_{2}x+{\eta }_{2}y+{\zeta }_{2}z)}^2\\ \\ f& =a{x}^2+b{y}^2+c{z}^2+2gyz+2hzx+2kxy\\ & ={(\xi x+\eta y+\zeta z)}^2-{({\xi }_{1}x+{\eta }_{1}y+{\zeta }_{1}z)}^2-{({\xi }_{2}x+{\eta }_{2}y+{\zeta }_{2}z)}^2\end{array}\left|\begin{array}{cc}{\xi }^2+{\xi }_1^2+{\xi }_2^2& =𝔞\\ {\eta }^2+{\eta }_1^2+{\eta }_2^2& =𝔟\\ {\zeta }^2+{\zeta }_1^2+{\zeta }_2^2& =𝔠\\ \eta \zeta +{\eta }_1{\zeta }_1+{\eta }_2{\zeta }_2& =𝔤\\ \zeta \xi +{\zeta }_1{\xi }_1+{\zeta }_2{\xi }_2& =𝔥\\ \xi \eta +{\xi }_1{\eta }_1+{\xi }_2{\eta }_2& =𝔨\end{array}\right|\begin{array}{cc}{\xi }^2-{\xi }_1^2-{\xi }_2^2& =a\\ {\eta }^2-{\eta }_1^2-{\eta }_2^2& =b\\ {\zeta }^2-{\zeta }_1^2-{\zeta }_2^2& =c\\ \eta \zeta -{\eta }_1{\zeta }_1-{\eta }_2{\zeta }_2& =g\\ \zeta \xi -{\zeta }_1{\xi }_1-{\zeta }_2{\xi }_2& =h\\ \xi \eta -{\xi }_1{\eta }_1-{\xi }_2{\eta }_2& =k\end{array}$

In addition, Selling showed that auxiliary coefficients ξ,η,ζ can be geometrically interpreted as point coordinates which are in motion upon one sheet of a two-sheet hyperboloid, which is related to Selling's formalism for the reduction of indefinite forms by using definite forms.

Selling also reproduced the Lorentz transformation given by Gauss (1800/63), to whom he gave full credit, and called it the only example of a particular indefinite ternary form known to him that has ever been discussed:

$\begin{array}{c}\left(\begin{array}{ccc}1,& -1,& -1\\ 0,& 0,& 0\end{array}\right)\\ W=\left|\begin{array}{ccc}\frac{1}{2}({\alpha }^2+{\beta }^2+{\gamma }^2+{\delta }^2)& \frac{1}{2}({\alpha }^2+{\beta }^2-{\gamma }^2-{\delta }^2)& \alpha \gamma +\beta \delta \\ \frac{1}{2}({\alpha }^2-{\beta }^2+{\gamma }^2-{\delta }^2)& \frac{1}{2}({\alpha }^2-{\beta }^2-{\gamma }^2+{\delta }^2)& \alpha \gamma -\beta \delta \\ \alpha \beta +\gamma \delta & \alpha \beta -\gamma \delta & \alpha \delta +\beta \gamma \end{array}\right|\\ (\left|\begin{array}{cc}\alpha & \beta \\ \gamma & \delta \end{array}\right|=1)\end{array}$

Template:Anchor Poincaré (1881-86) – Möbius transformation

w:Henri Poincaré (1881a) demonstrated the connection of his formulas of the hyperboloid model [see [[../Lorentz transformation (general)#Poincare|E:Poincaré (1881)]]] to Möbius transformations:

$\begin{array}{c}{\xi }^2+{\eta }^2-{\zeta }^2=-1\\ [X=\frac{\xi }{\zeta +1},Y=\frac{\eta }{\zeta +1}]\to t=X+iY\\ {\xi }^{\prime 2}+{\eta }^{\prime 2}-{\zeta }^{\prime 2}=-1\\ [X^{\prime }=\frac{{\xi }^{\prime }}{{\zeta }^{\prime }+1},Y^{\prime }=\frac{{\eta }^{\prime }}{{\zeta }^{\prime }+1}]\to t^{\prime }=X^{\prime }+i{Y}^{\prime }\\ t^{\prime }=\frac{ht+k}{h^{\prime }t+k^{\prime }}\end{array}$

Poincaré (1881b) also used the Möbius transformation $\frac{az+b}{cz+d}$ in relation to w:Fuchsian functions and the discontinuous w:Fuchsian group, being a special case of the hyperbolic group leaving invariant the "fundamental circle" (w:Poincaré disk model and w:Poincaré half-plane model of hyperbolic geometry). He then extended Klein's (1878-1882) study on the relation between Möbius transformations and hyperbolic, elliptic, parabolic, and loxodromic substitutions, and while formulating w:Kleinian groups (1883) he used the following transformation leaving invariant the w:generalized circle:

$\begin{array}{c}(z,\frac{\alpha z+\beta }{\gamma z+\delta }),(z_0,\frac{{\alpha }_0{z}_0+{\beta }_0}{{\gamma }_0{z}_0+{\delta }_0})\\ z=\xi +i\eta ,z_0=\xi -i\eta ,{\rho }^2={\xi }^2+{\eta }^2+{\zeta }^2\\ A{\rho }^{\prime 2}+B{z}^{\prime }+B_0{z}_0^{\prime }+C=0\\ \begin{array}{cc}{\rho }^{\prime 2}& =\frac{{\rho }^2\alpha {\alpha }_0+z\alpha {\beta }_0+z_0\beta {\alpha }_0+\beta {\beta }_0}{{\rho }^2\gamma {\gamma }_0+z\gamma {\delta }_0+z_0\delta {\gamma }_0+\delta {\delta }_0}\\ z^{\prime }& =\frac{{\rho }^2\alpha {\gamma }_0+z\alpha {\delta }_0+z_0\beta {\gamma }_0+\beta {\delta }_0}{{\rho }^2\gamma {\gamma }_0+z\gamma {\delta }_0+z_0\delta {\gamma }_0+\delta {\delta }_0}\\ z_0^{\prime }& =\frac{{\rho }^2\gamma {\alpha }_0+z\gamma {\beta }_0+z_0\delta {\alpha }_0+\delta {\beta }_0}{{\rho }^2\gamma {\gamma }_0+z\gamma {\delta }_0+z_0\delta {\gamma }_0+\delta {\delta }_0}\end{array}\end{array}$

In 1886, Poincaré investigated the relation between indefinite ternary quadratic forms and Fuchsian functions and groups:

$\begin{array}{c}(z,\frac{\alpha z+\beta }{\gamma z+\delta })\\ Y^{\prime 2}-X^{\prime }{Z}^{\prime }=Y^2-XZ\\ \begin{array}{cc}{X}^{\prime }& ={\alpha }^{2}X+2\alpha \gamma Y+{\gamma }^{2}Z\\ Y^{\prime }& =\alpha \beta X+(\alpha \delta +\beta \gamma )Y+\gamma \delta Z\\ Z^{\prime }& ={\beta }^{2}X+2\beta \gamma Y+{\delta }^{2}Z\end{array}\\ \left[\begin{array}{cccccc}X=& ax+by+cz,& Y& =a^{\prime }x+b^{\prime }y+c^{\prime }z,& Z& =a^{″}x+b^{″}y+c^{″}z,\\ X^{\prime }=& a{x}^{\prime }+b{y}^{\prime }+c{z}^{\prime },& Y^{\prime }& =a^{\prime }{x}^{\prime }+b^{\prime }{y}^{\prime }+c^{\prime }{z}^{\prime },& Z^{\prime }& =a^{″}{x}^{\prime }+b^{″}{y}^{\prime }+c^{″}{z}^{\prime },\end{array}\right]\end{array}$

Template:Anchor Bianchi (1888-93) – Möbius and spin transformations

Related to Klein's (1871) and Poincaré's (1881-1887) work on non-Euclidean geometry and indefinite quadratic forms, w:Luigi Bianchi (1888) analyzed the differential Lorentz interval in term of conic sections and hyperboloids, alluded to the linear fractional transformation of $\omega$ and its conjugate ${\omega }_1$ with parameters α,β,γ,δ in order to preserve the Lorentz interval, and gave credit to Gauss (1800/63) who obtained the same coefficient system:

$\begin{array}{c}d{s}^2=d{x}^2+d{y}^2-d{z}^2;x^2+y^2-z^2=0;\\ X_3^2+Y_3^2-Z_3^2=-1\\ X_3=i\frac{1-\omega {\omega }_1}{\omega -{\omega }_1},Y_3=i\frac{\omega -{\omega }_1}{\omega -{\omega }_1},Z_3=i\frac{1+\omega {\omega }_1}{\omega -{\omega }_1},\\ \omega =\frac{\alpha {\omega }^{\prime }+\beta }{\gamma {\omega }^{\prime }+\delta }(\alpha \delta -\beta \gamma =1)\\ \left(\begin{array}{ccc}\frac{{\alpha }^2-{\beta }^2-{\gamma }^2+{\delta }^2}{2},& \gamma \delta -\alpha \beta ,& \frac{-{\alpha }^2-{\beta }^2+{\gamma }^2+{\delta }^2}{2}\\ \beta \delta -\alpha \gamma ,& \alpha \delta +\beta \gamma ,& \beta \delta +\alpha \gamma \\ \frac{-{\alpha }^2+{\beta }^2-{\gamma }^2+{\delta }^2}{2},& \alpha \beta +\gamma \delta ,& \frac{{\alpha }^2+{\beta }^2+{\gamma }^2+{\delta }^2}{2}\end{array}\right)\\ \begin{array}{cc}{x}^{\prime }& =\frac{{\alpha }^2-{\beta }^2-{\gamma }^2+{\delta }^2}{2}x+(\gamma \delta -\alpha \beta )y+\frac{-{\alpha }^2-{\beta }^2+{\gamma }^2+{\delta }^2}{2}z+c_1\\ y^{\prime }& =(\beta \delta -\alpha \gamma )x+(\alpha \delta +\beta \gamma )y+(\beta \delta +\alpha \gamma )z+c_2\\ z^{\prime }& =\frac{-{\alpha }^2+{\beta }^2-{\gamma }^2+{\delta }^2}{2}x+(\alpha \beta +\gamma \delta )y+\frac{{\alpha }^2+{\beta }^2+{\gamma }^2+{\delta }^2}{2}z+c_3\end{array}\end{array}$

In 1893, Bianchi gave the coefficients in the case of four dimensions:

$\begin{array}{c}\begin{array}{cc}z& =\frac{\alpha z^{\prime }+\beta }{\gamma z^{\prime }+\delta }\\ & (\alpha \delta -\beta \gamma =1)\end{array}\to \begin{array}{cc}z& =\frac{\xi }{\eta }\\ z^{\prime }& =\frac{{\xi }^{\prime }}{{\eta }^{\prime }}\end{array}\to \begin{array}{cc}\xi & =\alpha {\xi }^{\prime }+\beta {\eta }^{\prime }\\ \eta & =\gamma {\xi }^{\prime }+\delta {\eta }^{\prime }\\ \\ {\xi }_0& ={\alpha }_0\xi {\text{'}}_0+{\beta }_0\eta {\text{'}}_0\\ {\eta }_0& ={\gamma }_0\xi {\text{'}}_0+{\delta }_0\eta {\text{'}}_0\end{array}\\ F=(u_1+u{}_4)\xi {\xi }_0+(u_2+iu{}_3)\xi {\eta }_0+(u_2-iu{}_3){\xi }_0\eta +(u_4-u{}_1)\eta {\eta }_0\\ F^{\prime }=(u{\text{'}}_1+u^{\prime }{}_4){\xi }^{\prime }\xi {\text{'}}_0+(u{\text{'}}_2+i{u}^{\prime }{}_3){\xi }^{\prime }\eta {\text{'}}_0+(u{\text{'}}_2-i{u}^{\prime }{}_3)\xi {\text{'}}_0{\eta }^{\prime }+(u{\text{'}}_4-u^{\prime }{}_1){\eta }^{\prime }\eta {\text{'}}_0\\ (u_2+iu{}_3)(u_2-iu{}_3)+(u_1-u{}_4)(u_1+u{}_4)=(u{\text{'}}_2+i{u}^{\prime }{}_3)(u{\text{'}}_2-i{u}^{\prime }{}_3)+(u{\text{'}}_1-u^{\prime }{}_4)(u{\text{'}}_1+u^{\prime }{}_4)\\ \begin{array}{cc}u{\text{'}}_1+u{\text{'}}_4& =\alpha {\alpha }_0(u_1+u{}_4)+\alpha {\gamma }_0(u_2+iu{}_3)+{\alpha }_0\gamma (u_2-iu{}_3)+\gamma {\gamma }_0(u_4-u{}_1)\\ u{\text{'}}_2+iu{\text{'}}_3& =\alpha {\beta }_0(u_1+u{}_4)+\alpha {\delta }_0(u_2+iu{}_3)+{\beta }_0\gamma (u_2-iu{}_3)+\gamma {\delta }_0(u_4-u{}_1)\\ u{\text{'}}_2-iu{\text{'}}_3& ={\alpha }_0\beta (u_1+u{}_4)+{\alpha }_0\delta (u_2-iu{}_3)+\beta {\gamma }_0(u_2+iu{}_3)+{\gamma }_0\delta (u_4-u{}_1)\\ u{\text{'}}_4-u{\text{'}}_1& =\beta {\beta }_0(u_1+u{}_4)+\beta {\delta }_0(u_2+iu{}_3)+{\beta }_0\delta (u_2-iu{}_3)+\delta {\delta }_0(u_4-u{}_1)\end{array}\end{array}$

Solving for $u{\text{'}}_1\dots$ Bianchi obtained:

$\begin{array}{c}{u}_1^2+u_2^2+u_3^2-u_4^2=u_1^{\prime 2}+u_2^{\prime 2}+u_3^{\prime 2}-u_4^{\prime 2}\\ \begin{array}{cc}u{\text{'}}_1& =\frac{1}{2}(\alpha {\alpha }_0-\beta {\beta }_0-\gamma {\gamma }_0+\delta {\delta }_0)u_1+\frac{1}{2}(\alpha {\gamma }_0+{\alpha }_0\gamma -\beta {\delta }_0-{\beta }_0\delta )u_2+\\ & +\frac{i}{2}(\alpha {\gamma }_0-{\alpha }_0\gamma +{\beta }_0\delta -\beta {\delta }_0)u_3+\frac{1}{2}(\alpha {\alpha }_0-\beta {\beta }_0+\gamma {\gamma }_0-\delta {\delta }_0)u_4\\ u{\text{'}}_2& =\frac{1}{2}(\alpha {\beta }_0+{\alpha }_0\beta -\gamma {\delta }_0-{\gamma }_0\delta )u_1+\frac{1}{2}(\alpha {\delta }_0+{\alpha }_0\delta +\beta {\gamma }_0+{\beta }_0\gamma )u_2+\\ & +\frac{i}{2}(\alpha {\delta }_0-{\alpha }_0\delta +\beta {\gamma }_0-{\beta }_0\gamma )u_3+\frac{1}{2}(\alpha {\beta }_0+{\alpha }_0\beta +\gamma {\delta }_0+{\gamma }_0\delta )u_4\\ u{\text{'}}_3& =\frac{i}{2}({\alpha }_0\beta -\alpha {\beta }_0+\gamma {\delta }_0-{\gamma }_0\delta )u_1+\frac{i}{2}({\alpha }_0\delta -\alpha {\delta }_0+\beta {\gamma }_0-{\beta }_0\gamma )u_2+\\ & +\frac{1}{2}(\alpha {\delta }_0+{\alpha }_0\delta -\beta {\gamma }_0-{\beta }_0\gamma )u_3+\frac{i}{2}({\alpha }_0\beta -\alpha {\beta }_0+{\gamma }_0\delta -\gamma {\delta }_0)u_4\\ u{\text{'}}_4& =\frac{1}{2}(\alpha {\alpha }_0+\beta {\beta }_0-\gamma {\gamma }_0-\delta {\delta }_0)u_1+\frac{1}{2}(\alpha {\gamma }_0+{\alpha }_0\gamma +\beta {\delta }_0+{\beta }_0\delta )u_2+\\ & +\frac{i}{2}(\alpha {\gamma }_0-{\alpha }_0\gamma +\beta {\delta }_0-{\beta }_0\delta )u_3+\frac{1}{2}(\alpha {\alpha }_0+\beta {\beta }_0+\gamma {\gamma }_0+\delta {\delta }_0)u_4\end{array}\end{array}$

Template:Anchor Fricke (1891–97) – Möbius and spin transformations

w:Robert Fricke (1891) – following the work of his teacher Klein (1878–1882) as well as Poincaré (1881–1887) on automorphic functions and group theory – obtained the following transformation for an integer ternary quadratic form

$\begin{array}{c}{\omega }^{\prime }=\frac{\delta \omega +\beta }{\gamma \omega +\alpha }(\alpha \delta -\beta \gamma =1),\omega =\frac{\eta }{\xi },\\ \begin{array}{cc}{\xi }^{\prime }& =\xi {\alpha }^2+2\eta \alpha \gamma +\zeta {\gamma }^2\\ {\eta }^{\prime }& =\xi \alpha \beta +\eta (\alpha \delta +\beta \gamma )+\zeta \gamma \delta \\ {\zeta }^{\prime }& =\xi {\beta }^2+2\eta \beta \delta +\zeta {\delta }^2\end{array}\\ {\xi }^{\prime }{\zeta }^{\prime }-\eta {\text{'}}^2=(\alpha \delta -\beta \gamma {)}^2(\xi \zeta -{\eta }^2)\\ \xi =x\sqrt{q}-y,\eta =z,\zeta =x\sqrt{q}+y\\ q{x}^{\prime 2}-y^{\prime 2}-z^{\prime 2}=q{x}^2-y^2-z^2\\ \left(\begin{array}{ccc}\frac{1}{2}(+{\alpha }^2+{\beta }^2+{\gamma }^2+{\delta }^2)& \frac{1}{2\sqrt{q}}(-{\alpha }^2-{\beta }^2+{\gamma }^2+{\delta }^2)& \frac{1}{\sqrt{q}}(\alpha \gamma +\beta \delta )\\ \frac{1}{2}\sqrt{q}(-{\alpha }^2+{\beta }^2-{\gamma }^2+{\delta }^2)& \frac{1}{2}(+{\alpha }^2-{\beta }^2-{\gamma }^2+{\delta }^2)& (-\alpha \gamma +\beta \delta )\\ \sqrt{q}(\alpha \beta +\gamma \delta )& (-\alpha \beta +\gamma \delta )& (\alpha \delta +\beta \gamma )\end{array}\right)\end{array}$

And the general case of four dimensions in 1893:

$\begin{array}{c}y{\text{'}}_{2}y{\text{'}}_3-y{\text{'}}_{1}y{\text{'}}_4=y_2{y}_3-y_1{y}_4\\ \begin{array}{cc}{y}_1^{\prime }& =\alpha \overline{\alpha }{y}_1+\alpha \overline{\beta }{y}_2+\beta \overline{\alpha }{y}_3+\beta \overline{\beta }{y}_4\\ y_2^{\prime }& =\alpha \overline{\gamma }{y}_1+\alpha \overline{\delta }{y}_2+\beta \overline{\gamma }{y}_3+\beta \overline{\delta }{y}_4\\ y_3^{\prime }& =\gamma \overline{\alpha }{y}_1+\gamma \overline{\beta }{y}_2+\delta \overline{\alpha }{y}_3+\delta \overline{\beta }{y}_4\\ y_4^{\prime }& =\gamma \overline{\gamma }{y}_1+\gamma \overline{\delta }{y}_2+\delta \overline{\gamma }{y}_3+\delta \overline{\delta }{y}_4\end{array}\\ \begin{array}{cccc}{y}_1& =z_4\sqrt{s}+z_3\sqrt{r},& y_2& =z_1\sqrt{p}+i{z}_2\sqrt{q}\\ y_3& =z_1\sqrt{p}-i{z}_2\sqrt{q},& y_4& =z_4\sqrt{s}-z_3\sqrt{r}\end{array}\\ p{z}_1^{\prime 2}+qz{}_2^{\prime 2}+rz{}_3^{\prime 2}-sz{}_4^{\prime 2}=p{z}_1^2+q{z}_2^2+r{z}_3^2-s{z}_4^2\\ z{\text{'}}_i={\alpha }_{i1}{z}_1+{\alpha }_{i2}{z}_2+{\alpha }_{i3}{z}_3+{\alpha }_{i4}{z}_4\\ \begin{array}{cccc}2{\alpha }_{11}\text{or}2{\alpha }_{22}& =\alpha \overline{\delta }+\delta \overline{\alpha }\pm \beta \overline{\gamma }\pm \gamma \overline{\beta },& 2{\alpha }_{33}\text{or}2{\alpha }_{44}& =\alpha \overline{\alpha }+\delta \overline{\delta }\pm \beta \overline{\beta }\pm \gamma \overline{\gamma }\\ \frac{2{\alpha }_{12}\sqrt{p}}{i\sqrt{p}}\text{or}\frac{2{\alpha }_{21}i\sqrt{p}}{\sqrt{p}}& =\alpha \overline{\delta }-\overline{\delta }\alpha \mp \beta \overline{\gamma }\pm \gamma \overline{\beta },& \frac{2{\alpha }_{34}\sqrt{r}}{\sqrt{s}}\text{or}\frac{2{\alpha }_{43}\sqrt{s}}{\sqrt{r}}& =\alpha \overline{\alpha }-\delta \overline{\delta }\pm \beta \overline{\beta }\pm \gamma \overline{\gamma }\\ \frac{2{\alpha }_{13}\sqrt{p}}{\sqrt{r}}\text{or}\frac{2{\alpha }_{24}i\sqrt{p}}{\sqrt{s}}& =\alpha \overline{\gamma }-\delta \overline{\beta }\pm \gamma \overline{\alpha }\pm \beta \overline{\delta },& \frac{2{\alpha }_{14}\sqrt{p}}{\sqrt{s}}\text{or}\frac{2{\alpha }_{23}i\sqrt{q}}{\sqrt{r}}& =\alpha \overline{\gamma }+\delta \overline{\beta }\pm \gamma \overline{\alpha }\pm \beta \overline{\delta }\\ \frac{2{\alpha }_{31}\sqrt{r}}{\sqrt{p}}\text{or}\frac{2{\alpha }_{43}\sqrt{s}}{i\sqrt{q}}& =\alpha \overline{\beta }-\delta \overline{\gamma }\pm \beta \overline{\alpha }\mp \gamma \overline{\delta },& \frac{2{\alpha }_{41}\sqrt{s}}{\sqrt{p}}\text{or}\frac{2{\alpha }_{32}\sqrt{r}}{i\sqrt{q}}& =\alpha \overline{\beta }+\delta \overline{\gamma }\pm \beta \overline{\alpha }\pm \gamma \overline{\delta }\end{array}\end{array}$

Supported by Felix Klein, Fricke summarized his and Klein's work in a treatise concerning w:automorphic functions (1897). Using a sphere as the absolute, in which the interior of the sphere is denoted as hyperbolic space, they defined hyperbolic motions, and stressed that any hyperbolic motion corresponds to "circle relations" (now called Möbius transformations):

$\begin{array}{c}{z}_1^2+z_2^2+z_3^2-z_4^2=0\\ =(z_4+z_3)(z_4-z_3)-(z_1+i{z}_2)(z_1-i{z}_2)=0\\ =y_1{y}_4-y_2{y}_3=0\\ (y_1=z_4+z_3,y_2=z_1+i{z}_2,y_3=z_1-i{z}_2,y_4=z_4-z_3)\\ \zeta =\frac{z_1+i{z}_2}{z_4-z_3},\overline{\zeta }=\frac{z_1-i{z}_2}{z_4-z_3}\\ {\zeta }^{\prime }=\frac{\alpha \zeta +\beta }{\gamma \zeta +\delta },{\overline{\zeta }}^{\prime }=\frac{\overline{\alpha \zeta }+\overline{\beta }}{\overline{\gamma \zeta }+\overline{\delta }}(\alpha \delta -\beta \gamma \ne 0)\\ z_1:z_2:z_3{z}_4=(\zeta +\overline{\zeta }):-i(\zeta -\overline{\zeta }):(\zeta \overline{\zeta }-1):(\zeta \overline{\zeta }+1)\\ y_1:y_2:y_3{y}_4=\zeta \overline{\zeta }:\zeta :\overline{\zeta }:1={\zeta }_1{\overline{\zeta }}_1:{\zeta }_1{\overline{\zeta }}_2:{\zeta }_2{\overline{\zeta }}_1:{\zeta }_2{\overline{\zeta }}_2\\ (\zeta ={\zeta }_1:{\zeta }_2,\overline{\zeta }={\overline{\zeta }}_1:{\overline{\zeta }}_2)\\ \begin{array}{cc}{y}_1^{\prime }& =\alpha \overline{\alpha }{y}_1+\alpha \overline{\beta }{y}_2+\beta \overline{\alpha }{y}_3+\beta \overline{\beta }{y}_4\\ y_2^{\prime }& =\alpha \overline{\gamma }{y}_1+\alpha \overline{\delta }{y}_2+\beta \overline{\gamma }{y}_3+\beta \overline{\delta }{y}_4\\ y_3^{\prime }& =\gamma \overline{\alpha }{y}_1+\gamma \overline{\beta }{y}_2+\delta \overline{\alpha }{y}_3+\delta \overline{\beta }{y}_4\\ y_4^{\prime }& =\gamma \overline{\gamma }{y}_1+\gamma \overline{\delta }{y}_2+\delta \overline{\gamma }{y}_3+\delta \overline{\delta }{y}_4\end{array}\end{array}$

Template:Anchor Woods (1895) – Spin transformation

In a thesis supervised by Felix Klein, w:Frederick S. Woods (1895) further developed Bianchi's (1888) treatment of surfaces satisfying the Lorentz interval (pseudominimal surface), and used the transformation of Gauss (1800/63) and Bianchi (1888) while discussing automorphisms of that surface:

$\begin{array}{c}{x}^2+y^2-z^2=0;x^2+y^2-z^2=-1\\ (x,y,z)\Rightarrow \omega \\ \begin{array}{cc}{\omega }_1^{\prime }& =\alpha {\omega }_1+\beta {\omega }_2\\ {\omega }_2^{\prime }& =\gamma {\omega }_1+\delta {\omega }_2\end{array}(\alpha \delta -\beta \gamma =1)\\ \begin{array}{cc}{x}^{\prime }& =(-1{)}^k[\frac{{\alpha }^2-{\beta }^2-{\gamma }^2+{\delta }^2}{2}x+(\gamma \delta -\alpha \beta )y+\frac{-{\alpha }^2-{\beta }^2+{\gamma }^2+{\delta }^2}{2}z]+c_1\\ y^{\prime }& =(-1{)}^k[(\beta \delta -\alpha \gamma )x+(\alpha \delta +\beta \gamma )y+(\beta \delta +\alpha \gamma )z]+c_2\\ z^{\prime }& =(-1{)}^k[\frac{-{\alpha }^2+{\beta }^2-{\gamma }^2+{\delta }^2}{2}x+(\alpha \beta +\gamma \delta )y+\frac{{\alpha }^2+{\beta }^2+{\gamma }^2+{\delta }^2}{2}z]+c_3\end{array}\end{array}$

Template:Anchor Herglotz (1909/10) – Special relativity

Already in the context of special relativity, w:Gustav Herglotz (1909/10) followed Klein (1889–1897) as well as Fricke & Klein (1897) concerning the Cayley absolute, hyperbolic motion and its transformation, and classified the one-parameter Lorentz transformations as loxodromic, hyperbolic, parabolic and elliptic. He provided the general case (on the left) and the hyperbolic substitution (on the right) as follows:

$\begin{array}{c}{z}_1^2+z_2^2+z_3^2-z_4^2=0\\ z_1=x,z_2=y,z_3=z,z_4=t\\ Z=\frac{z_1+i{z}_2}{z_4-z_3}=\frac{x+iy}{t-z},Z^{\prime }=\frac{x^{\prime }+i{y}^{\prime }}{t^{\prime }-z^{\prime }}\\ Z=\frac{\alpha Z^{\prime }+\beta }{\gamma Z^{\prime }+\delta }\end{array}|\begin{array}{c}Z=Z^{\prime }{e}^{\vartheta }\\ \begin{array}{cccc}x& =x^{\prime },& t-z& =(t^{\prime }-z^{\prime })e^{\vartheta }\\ y& =y^{\prime },& t+z& =(t^{\prime }+z^{\prime })e^{-\vartheta }\end{array}\end{array}$

References

Historical mathematical sources

• {{#section:History of Topics in Special Relativity/mathsource|bia88diff}}
• {{#section:History of Topics in Special Relativity/mathsource|bia93quat}}
• {{#section:History of Topics in Special Relativity/mathsource|cay54hom}}
• {{#section:History of Topics in Special Relativity/mathsource|cay79hom}}
• {{#section:History of Topics in Special Relativity/mathsource|fri91}}
• {{#section:History of Topics in Special Relativity/mathsource|fri93}}
• {{#section:History of Topics in Special Relativity/mathsource|fri97}}
• {{#section:History of Topics in Special Relativity/mathsource|gau98}}
• {{#section:History of Topics in Special Relativity/mathsource|gau00}}
• {{#section:History of Topics in Special Relativity/mathsource|helm66}}
• {{#section:History of Topics in Special Relativity/mathsource|klei71}}
• {{#section:History of Topics in Special Relativity/mathsource|klei72a}}
• {{#section:History of Topics in Special Relativity/mathsource|klei72b}}
• {{#section:History of Topics in Special Relativity/mathsource|klei73}}
• {{#section:History of Topics in Special Relativity/mathsource|klei75}}
• {{#section:History of Topics in Special Relativity/mathsource|klei79}}
• {{#section:History of Topics in Special Relativity/mathsource|klei82}}
• {{#section:History of Topics in Special Relativity/mathsource|klei84}}
• {{#section:History of Topics in Special Relativity/mathsource|klei90a}}
• {{#section:History of Topics in Special Relativity/mathsource|klei90b}}
• {{#section:History of Topics in Special Relativity/mathsource|klei93a}}
• {{#section:History of Topics in Special Relativity/mathsource|klei93b}}
• {{#section:History of Topics in Special Relativity/mathsource|klei96}}
• {{#section:History of Topics in Special Relativity/mathsource|lag73}}
• {{#section:History of Topics in Special Relativity/mathsource|poin81a}}
• {{#section:History of Topics in Special Relativity/mathsource|poin81b}}
• {{#section:History of Topics in Special Relativity/mathsource|poin83}}
• {{#section:History of Topics in Special Relativity/mathsource|poin86}}
• {{#section:History of Topics in Special Relativity/mathsource|sel73}}
• {{#section:History of Topics in Special Relativity/mathsource|wed75}}
• {{#section:History of Topics in Special Relativity/mathsource|woo95}}

Historical relativity sources

Template:Reflist {{#section:History of Topics in Special Relativity/relsource|herg10}}

Secondary sources

Template:Reflist {{#section:History of Topics in Special Relativity/secsource|L7}}