Métrique de Cayley-Klein

Parmi les idées ayant servi de base à la construction de Cayley-Klein, on trouve l'« algèbre des jets (en) » créée par Karl von Staudt en 1847, une approche de la géométrie ne faisant pas intervenir de distances ou d'angles, et n'utilisant que les notions de division harmonique et de birapport[1]. En 1853, Edmond Laguerre obtint un autre résultat important (en), montrant que l'angle entre deux droites (en géométrie euclidienne) peut être calculé à partir d'un birapport[2]. Finalement, en 1859, Arthur Cayley formula dans son article On the theory of distance[3] des relations exprimant les distances à partir de calculs (en géométrie projective) liés à une quadrique définie par lui comme l'absolu de la géométrie étudiée[4]^,[5]. Felix Klein, dans des articles de 1871 et 1873, puis dans une série d'ouvrages[6], reprit le travail de von Staudt, en supprima les dernières références à la distance euclidienne, et le combina à la théorie de Cayley pour définir la nouvelle métrique comme le logarithme d'un birapport[7], éliminant le risque d'une définition circulaire[8], et montrant que les géométries non euclidiennes pouvaient, comme la géométrie euclidienne, être définies à partir de cette métrique[9].

La géométrie de Cayley-Klein (suivant les principes du programme d'Erlangen) est l'étude du groupe des isométries pour cette métrique ; on démontre qu'il s'agit du sous-groupe des transformations projectives laissant globalement invariante la quadrique absolue ; chaque choix de quadrique correspond à une des géométries classiques (euclidienne, hyperbolique, elliptique, etc.).

On fixe une quadrique Q d'un espace projectif E sur le corps des complexes ; Q est appelée la quadrique absolue de la géométrie qu'on veut définir. Si a et b sont deux points distincts de E, non dans Q, la droite (a,b) intersecte Q en deux autres points p et q[10]. La distance de Cayley–Klein d(a,b) est proportionnelle au logarithme du birapport (a,b ; p,q)[11] : ${\displaystyle d(a,b)=C\ln(a,b;p,q)}$, où ${\displaystyle C}$ est une constante.

Si le birapport est positif, ${\displaystyle C}$ est réel (cela correspond à une géométrie hyperbolique ; la valeur 1/2 donne une courbure ${\displaystyle K=-1}$) ; sinon, il faut prendre ${\displaystyle C}$ complexe (on est alors dans le cas d'une géométrie elliptique).

Pour des calculs algébriques (et en utilisant une forme plus moderne de représentation), on se place en coordonnées homogènes, et on fixe une forme quadratique ${\displaystyle Q}$ ; on note ${\displaystyle B}$ la forme bilinéaire associée, appelée dans ce contexte forme polaire de ${\displaystyle Q}$, définie par ${\displaystyle B(u,v)={\frac {1}{2}}\left(Q(u+v)-Q(u)-Q(v)\right)}$. La quadrique absolue a alors pour équation ${\displaystyle Q(x)=0}$ (plus précisément, ${\displaystyle Q(x)=\sum q_{\alpha \beta }x_{\alpha }x_{\beta }=0}$, ${\displaystyle x}$ étant un point de coordonnées ${\displaystyle x_{i}}$, avec ${\displaystyle \alpha ,\beta \in \{1,2,3\}}$ dans le cas du plan et ${\displaystyle \alpha ,\beta \in \{1,2,3,4\}}$ dans l'espace ; de plus, la matrice de ${\displaystyle Q}$ étant symétrique, on a ${\displaystyle q_{\alpha \beta }=q_{\beta \alpha }}$) ; on démontre alors que la distance de Cayley–Klein entre les points ${\displaystyle x}$ et ${\displaystyle y}$ est [12]:

${\displaystyle d=C\ln {\frac {B(x,y)+{\sqrt {B^{2}(x,y)-Q(x)Q(y)}}}{B(x,y)-{\sqrt {B^{2}(x,y)-Q(x)Q(y)}}}}}$ ; avec ces notations, ${\displaystyle B(x,y)=\sum q_{\alpha \beta }x_{\alpha }y_{\beta }}$.

Prenant ${\displaystyle C=1/2}$ pour simplifier, on en déduit que dans le cas hyperbolique[13] :

${\displaystyle d=\operatorname {argch} {\frac {B(x,y)}{\sqrt {Q(x)Q(y)}}}}$,

et dans le cas elliptique (en prenant ${\displaystyle C=i/2}$)[14] :

${\displaystyle d=\operatorname {arccos} {\frac {B(x,y)}{\sqrt {Q(x)Q(y)}}}}$.

Dans le cas réel, toute quadrique définie par l'équation ${\displaystyle Q(x)=\sum q_{\alpha \beta }x_{\alpha }x_{\beta }=0}$ peut être mise par changement (linéaire) de variable sous la forme ${\displaystyle Q(X)=\sum \epsilon _{i}X_{i}^{2}=0}$, avec ${\displaystyle \epsilon _{i}\in \{0,1,-1\}}$ (réduction de Gauss), le nombre des ${\displaystyle \epsilon _{i}}$ de chaque type ne dépendant pas du changement de variable, d'après la loi d'inertie de Sylvester. On obtient dans l'espace euclidien usuel la classification suivante (voir l'article quadrique et les articles détaillés pour des illustrations)[15] :

Les transformations projectives bijectives (les collinéations) laissant ces formes invariantes sont liées aux transformations de Möbius[16]. Ces formes amènent à des équations simples pour la distance de Cayley-Klein ; le plan euclidien a ainsi pour absolu les droites isotropes ${\displaystyle x_{1}^{2}+x_{2}^{2}=0}$ (ou , si l'on préfère, les points cycliques ${\displaystyle x_{1}^{2}+x_{2}^{2}=0,\ x_{3}=0}$)[17]. De même, le plan hyperbolique a pour absolu le cercle unité ${\displaystyle x_{1}^{2}+x_{2}^{2}-x_{3}^{2}=0}$, et comme distance de Cayley-Klein ${\displaystyle d=\operatorname {argch} {\frac {x_{1}y_{1}+x_{2}y_{2}-x_{3}y_{3}}{{\sqrt {x_{1}^{2}+x_{2}^{2}-x_{3}^{2}}}{\sqrt {y_{1}^{2}+y_{2}^{2}-y_{3}^{2}}}}}}$[18].

Dans ses conférences de 1919 et 1920 (publiées à titre posthume en 1926) sur l'histoire des mathématiques, Klein écrivait[19] :

« Le cas ${\displaystyle x^{2}+y^{2}+z^{2}-t^{2}=0}$ (ou ${\displaystyle dx^{2}+dy^{2}+dz^{2}-dt^{2}=0}$, pour rester en trois dimensions et utiliser des coordonnées homogènes) a récemment acquis une signification particulière à travers la théorie de la relativité. »

Autrement dit, la conique (ou quadrique) absolue de la géométrie hyperbolique, ${\displaystyle x_{1}^{2}+x_{2}^{2}-x_{3}^{2}=0}$ ou ${\displaystyle x_{1}^{2}+x_{2}^{2}+x_{3}^{2}-x_{4}^{2}=0}$, correspond aux intervalles ${\displaystyle x^{2}+y^{2}-t^{2}}$ ou ${\displaystyle x^{2}+y^{2}+z^{2}-t^{2}}$ de l'espace-temps, et les transformations laissant la quadrique absolue invariante sont en correspondance avec les transformations de Lorentz. De même, les équations du cercle ou de la sphère unité en géométrie hyperboliquecorrespondent à des vitesses physiques ${\displaystyle \left({\tfrac {dx}{dt}}\right)^{2}+\left({\tfrac {dy}{dt}}\right)^{2}=1}$ ou ${\displaystyle \left({\tfrac {dx}{dt}}\right)^{2}+\left({\tfrac {dy}{dt}}\right)^{2}+\left({\tfrac {dz}{dt}}\right)^{2}=1}$, qui, en relativité, sont bornées par la vitesse de la lumière  c, donc pour tout vecteur-vitesse physique v, le rapport v/c doit rester à l'intérieur de la sphère unité, qui forme l'absolu de cette géométrie.

D'autres aspects de cette relation entre la métrique de Cayley–Klein pour l'espace hyperbolique et celle de l'espace de Minkowski en relativité restreinte furent mis en évidence par Klein en 1910[20], ainsi que dans l'édition de 1928 de ses conférences sur la géométrie non euclidienne[21].

En 2008, Horst Martini et Margarita Spirova ont généralisé le premier des théorèmes de Clifford sur les cercles (en) et d’autres théorèmes de géométrie euclidienne en utilisant la géométrie affine associée à une métrique de Cayley-Klein : l’idée est d’appliquer la même construction à des coniques absolues dégénérées (formées du produit d’une droite et de la droite de l’infini) ; le rôle joué par les complexes en géométrie euclidienne est dévolu aux complexes fendus dans leurs constructions[22].

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Cayley–Klein metric » (voir la liste des auteurs).