Polyèdre de Klein

Modèle:Voir homonymes En géométrie des nombres, le polyèdre de Klein, nommé d'après Felix Klein, est une généralisation du concept de fractions continues à des dimensions supérieures.

Définition

Soit $C$ un cône simplicial fermé de l' espace euclidien ${ℝ}^n$ . Le polyèdre de Klein de $C$ est l' enveloppe convexe des points non nuls de $C\cap {\mathbb{Z}}^n$ .

Relation avec les fractions continues

Soit $\alpha >0$ un nombre irrationnel. Dans ${ℝ}^2$, les cônes générés par $\{(1,\alpha ),(1,0)\}$ et par$\{(1,\alpha ),(0,1)\}$ permettent de créer deux polyèdres de Klein, dont chacun est délimité par une suite de segments adjacents. On définit la longueur entière d'un segment comme la taille de son intersection avec ${\mathbb{Z}}^n$ moins 1 . Grâce à cela, on peut faire correspondre les longueurs entières des arêtes de ces deux polyèdres de Klein avec pour l'expansion en fraction continue de $\alpha$, l'un des polyèdres correspondant aux termes pairs et l'autre correspondant aux termes impairs.

Graphes associés au polyèdre de Klein

Supposons que $C$ est généré par une base$(a_i)$ de ${ℝ}^n$ (de sorte que $C=\{\sum _i{\lambda }_i{a}_i:(\mathrm{\forall }i){\lambda }_i\ge 0\}$), et soit $(w_i)$ la base dual (c'est-à-dire$C=\{x:(\mathrm{\forall }i)⟨w_i,x⟩\ge 0\}$). X étant un vecteur , on note $D(x)$ la droite générée par le vecteur $x$, et $H(x)$ l'hyperplan orthogonal à $x$ .

On dit que le vecteur $x\in {ℝ}^n$ est irrationnel si$H(x)\cap {\mathbb{Q}}^n=\{0\}$ ; et on dit que le cône $C$ est irrationnel si tous les vecteurs $a_i$ et $w_i$ sont irrationnels.

Le bord $V$ d'un polyèdre de Klein s'appelle une voile . On peut associer à la voile$V$ d'un cône irrationnel deux graphes :

• le graphe ${\mathrm{\Gamma }}_{\mathrm{e}}(V)$ dont les sommets sont des sommets de $V$, deux sommets étant reliés s'ils sont les extrémités d'une arête (unidimensionnelle) de $V$ ;
• le graphique ${\mathrm{\Gamma }}_{\mathrm{f}}(V)$ dont les sommets sont les faces $(n-1)$ -dimensionnelles (appelées chambres) de$V$, deux chambres étant reliées si elles partagent une face de dimension $(n-2)$ .

Ces deux graphes sont structurellement liés au graphe orienté${\mathrm{{\rm Y}}}_n$ dont l'ensemble de sommets est${\mathrm{G}\mathrm{L}}_n(\mathbb{Q})$, où un sommet $A$ est relié au sommet $B$ si et seulement si $A^{-1}B$ est de la forme$UW$ où

$U=\left(\begin{array}{cccc}1& \cdots & 0& c_1\\ ⋮& \ddots & ⋮& ⋮\\ 0& \cdots & 1& c_{n-1}\\ 0& \cdots & 0& c_n\end{array}\right)$

(avec $c_i\in \mathbb{Q}$ ,$c_n\ne 0$) et $W$ est une matrice de permutation. En admettant que $V$ soit triangulaire, les sommets de chacun des graphes ${\mathrm{\Gamma }}_{\mathrm{e}}(V)$ et${\mathrm{\Gamma }}_{\mathrm{f}}(V)$ peuvent être décrits en termes de graphe ${\mathrm{{\rm Y}}}_n$ :

• Parmi tous les chemins $(x_0,x_1,\dots )$ dans ${\mathrm{\Gamma }}_{\mathrm{e}}(V)$, on peut trouver un chemin$(A_0,A_1,\dots )$ dans ${\mathrm{{\rm Y}}}_n$ tel que $x_k=A_k(e)$, où $e$ est le vecteur$(1,\dots ,1)\in {ℝ}^n$ .
• Parmi tous les chemins $({\sigma }_0,{\sigma }_1,\dots )$ dans ${\mathrm{\Gamma }}_{\mathrm{f}}(V)$, on peut trouver un chemin$(A_0,A_1,\dots )$ dans ${\mathrm{{\rm Y}}}_n$ tel que ${\sigma }_k=A_k(\mathrm{\Delta })$, où $\mathrm{\Delta }$ est le $(n-1)$ -simplex canonique de ${ℝ}^n$ .

Généralisation du théorème de Lagrange

Lagrange a prouvé que pour un nombre réel irrationnel $\alpha$, l'expansion en fraction continue de $\alpha$ est périodique si et seulement si $\alpha$ est un irrationnel quadratique . Les polyèdres de Klein permettent de généraliser ce résultat.

Soit $K\subseteq ℝ$ un corps de nombres de degré $n$, et ${\alpha }_i:K\to ℝ$ un plongement réel de $K$ . Le cône simplicial $C$ est dit être divisé sur $K$ si $C=\{x\in {ℝ}^n:(\mathrm{\forall }i){\alpha }_i({\omega }_1)x_1+\dots +{\alpha }_i({\omega }_n)x_n\ge 0\}$ où ${\omega }_1,\dots ,{\omega }_n$ est une base de $K$ sur $\mathbb{Q}$ .

Étant donné un chemin $(A_0,A_1,\dots )$ dans${\mathrm{{\rm Y}}}_n$, soit $R_k=A_{k+1}{A}_k^{-1}$ . Le chemin est appelé périodique, avec une période de $m$, si $R_{k+qm}=R_k$ pour tous $k,q\ge 0$ . La matrice de période d'un tel chemin est définie comme étant $A_m{A}_0^{-1}$ . Un chemin dans ${\mathrm{\Gamma }}_{\mathrm{e}}(V)$ ou ${\mathrm{\Gamma }}_{\mathrm{f}}(V)$ associé à un tel chemin est également dit périodique, avec la même matrice de période.

Le théorème de Lagrange généralisé stipule que pour un cône simplicial irrationnel$C\subseteq {ℝ}^n$, avec générateurs $(a_i)$ et$(w_i)$ comme ci-dessus et avec un voile $V$, les trois conditions suivantes sont équivalentes:

• $C$ est divisé sur un corps de nombres réels de degré $n$ .
• Pour chacun des $a_i$ il y a un chemin périodique passant par $x_0,x_1,\dots$ dans ${\mathrm{\Gamma }}_{\mathrm{e}}(V)$ tel que le$x_k$ s'approche asymptotiquement de la droite $D(a_i)$ ; et toutes les matrices de période de ces chemins commutent.
• Pour chacun des $w_i$ il y a un chemin périodique passant par les chambres ${\sigma }_0,{\sigma }_1,\dots$ dans${\mathrm{\Gamma }}_{\mathrm{f}}(V)$ tel que ${\sigma }_k$ s'approche asymptotiquement de l'hyperplan $H(w_i)$ ; et toutes les matrices de période de ces chemins commutent.

Exemple

Prenons $n=2$ et $K=\mathbb{Q}(\sqrt{2})$ . Le cône simplicial $\{(x,y):x\ge 0,|y|\le x/\sqrt{2}\}$ est divisé$K$ . Les sommets de la voile sont les points $(p_k,\pm q_k)$ correspondant aux paires $p_k/q_k$ de la fraction continue de $\sqrt{2}$ . Le chemin des sommets $(x_k)$ dans le quadrant positif commence à $(1,0)$ et est constitué de $((1,0),(3,2),(17,12),(99,70),\dots )$ . Soit ${\sigma }_k$ le segment de droite joignant $x_k$ à $x_{k+1}$ . On note ${\overline{x}}_k$ et ${\overline{\sigma }}_k$ les réflexions de $x_k$ et ${\sigma }_k$ suivant l'axe $x$ . Enfin, on pose $T=\left(\begin{array}{cc}3& 4\\ 2& 3\end{array}\right)$, pour que $x_{k+1}=T{x}_k$, et $R=\left(\begin{array}{cc}6& 1\\ -1& 0\end{array}\right)=\left(\begin{array}{cc}1& 6\\ 0& -1\end{array}\right)\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ .

$M_{\mathrm{e}}=\left(\begin{array}{cc}\frac{1}{2}& \frac{1}{2}\\ \frac{1}{4}& -\frac{1}{4}\end{array}\right)$ ,${\overline{M}}_{\mathrm{e}}=\left(\begin{array}{cc}\frac{1}{2}& \frac{1}{2}\\ -\frac{1}{4}& \frac{1}{4}\end{array}\right)$ ,$M_{\mathrm{f}}=\left(\begin{array}{cc}3& 1\\ 2& 0\end{array}\right)$, et${\overline{M}}_{\mathrm{f}}=\left(\begin{array}{cc}3& 1\\ -2& 0\end{array}\right)$ .

• Les chemins $(M_{\mathrm{e}}{R}^k)$ et $({\overline{M}}_{\mathrm{e}}{R}^k)$ sont périodiques (avec une période de 1) dans ${\mathrm{{\rm Y}}}_2$, avec des matrices de période $M_{\mathrm{e}}R{M}_{\mathrm{e}}^{-1}=T$ et ${\overline{M}}_{\mathrm{e}}R{\overline{M}}_{\mathrm{e}}^{-1}=T^{-1}$ . On a $x_k=M_{\mathrm{e}}{R}^k(e)$ et${\overline{x}}_k={\overline{M}}_{\mathrm{e}}{R}^k(e)$ .
• Les chemins $(M_{\mathrm{f}}{R}^k)$ et $({\overline{M}}_{\mathrm{f}}{R}^k)$ sont périodiques (avec une période de 1) dans ${\mathrm{{\rm Y}}}_2$, avec matrices de période $M_{\mathrm{f}}R{M}_{\mathrm{f}}^{-1}=T$ e t${\overline{M}}_{\mathrm{f}}R{\overline{M}}_{\mathrm{f}}^{-1}=T^{-1}$ . On a ${\sigma }_k=M_{\mathrm{f}}{R}^k(\mathrm{\Delta })$ et${\overline{\sigma }}_k={\overline{M}}_{\mathrm{f}}{R}^k(\mathrm{\Delta })$ .

Généralisation de l'approximabilité

Un nombre réel $\alpha >0$ est dit mal approximable s'il existe une constante c telle que $\mathrm{\forall }(p,q)\in {\mathbb{Z}}^2$ on ait $\left|x-\frac{p}{q}\right|>\frac{c}{q^2}$ . Un nombre irrationnel est mal approximable si et seulement si les quotients partiels de sa fraction continue sont bornés. Ce fait admet une généralisation en termes de polyèdres de Klein.

Étant donné un cône simplicial $C=\{x:(\mathrm{\forall }i)⟨w_i,x⟩\ge 0\}$ dans ${ℝ}^n$, avec $⟨w_i,w_i⟩=1$, on définit la norme minimale de $C$ comme $N(C)=\inf \{\prod _i⟨w_i,x⟩:x\in {\mathbb{Z}}^n\cap C\setminus \{0\}\}$ .

Etant donnés les vecteurs ${𝐯}_1,\dots ,{𝐯}_m\in {\mathbb{Z}}^n$, on pose $[{𝐯}_1,\dots ,{𝐯}_m]=\sum _{i_1<\cdots <i_n}|\det ({𝐯}_{i_1}\cdots {𝐯}_{i_n})|$ . Il s'agit du volume (au sens euclidien) de$\{\sum _i{\lambda }_i{𝐯}_i:(\mathrm{\forall }i)0\le {\lambda }_i\le 1\}$ .

Soit $V$ la voile d'un cône simplicial irrationnel $C$ .

• Pour un sommet $x$ de${\mathrm{\Gamma }}_{\mathrm{e}}(V)$, soit $[x]=[{𝐯}_1,\dots ,{𝐯}_m]$ où ${𝐯}_1,\dots ,{𝐯}_m$ sont des mailles élémentaires dans ${\mathbb{Z}}^n$ générant les arêtes émanant de $x$ .
• Pour un sommet $\sigma$ de${\mathrm{\Gamma }}_{\mathrm{f}}(V)$, soit $[\sigma ]=[{𝐯}_1,\dots ,{𝐯}_m]$ où ${𝐯}_1,\dots ,{𝐯}_m$ sont les extrémités de $\sigma$ .

Alors $N(C)>0$ si et seulement si $\{[x]:x\in {\mathrm{\Gamma }}_{\mathrm{e}}(V)\}$ et$\{[\sigma ]:\sigma \in {\mathrm{\Gamma }}_{\mathrm{f}}(V)\}$ sont tous deux bornés.

Les quantités$[x]$ et$[\sigma ]$ sont appelés déterminants . En dimensions 2, avec le cône généré par$\{(1,\alpha ),(1,0)\}$, il s'agit des quotients partiels de la fraction continue de $\alpha$ .

Voir également

• Immeuble (mathématiques)

Références

• ON allemand, 2007, "Polyèdres et treillis de Klein avec des minima normaux positifs". Journal de théorie des nombres de Bordeaux 19 : 175–190.
• EI Korkina, 1995, «Fractions continues bidimensionnelles. Les exemples les plus simples ". Proc. Institut de mathématiques Steklov 209 : 124–144.
• G. Lachaud, 1998, "Voiles et polyèdres de Klein" en mathématiques contemporaines 210 . American Mathematical Society: 373 – 385.