Tore algébrique - Wikiwand

Un tore algébrique est une construction mathématique qui apparaît dans l'étude des groupes algébriques. Ils constituent l'un des premiers exemples de tels groupes.

La notion est due à Armand Borel en 1956^[1], progressivement étendue par Alexandre Grothendieck^[2] et Takashi Ono (en)^[3]^,^[4] pour atteindre sa forme moderne. Les tores algébriques entretiennent d'étroites relations avec la théorie de Lie et les groupes algébriques.

L'étude des tores algébriques dans le cas des corps finis présente également un intérêt pratique en cryptographie, où ils permettent de construire des groupes d'ordre élevé tout en assurant que les éléments du groupe se prêtent à une représentation relativement compacte^[5]^,^[6]^,^[7]^,^{[Note 1]}.

Un tore algébrique de dimension $d$ sur un corps $k$ est un schéma en groupes (en) $\mathbb {T}$ qui vérifie^[8]^,^[9]^,^{[Note 2]} : $\mathbb {T} \times _{k}{\overline {k}}\simeq \left(\mathbb {G} _{m}\right)^{d}$ où ${\overline {k}}$ est la clôture algébrique^{[Note 3]} de $k$ et $\mathbb {G} _{m}$ est le groupe multiplicatif. On dit plus généralement d'une extension $L$ de $k$ telle que $\mathbb {T} \times _{k}L\simeq (\mathbb {G} _{m})^{d}$ qu'elle « déploie » le tore. La plus petite telle extension est appelée corps de rupture du tore. Si le tore est déployé sur $k$ , sans qu'il y ait besoin d'étendre les scalaires, on dit qu'il est « scindé ».

Dans le cas où $k=\mathbb {F} _{q}$ est un corps fini, un tore de dimension $d$ est déployé par $\mathbb {F} _{q^{n}}$ et correspond à la donnée d'un $\mathbb {Z}$ -module de rang $d$ et d'un automorphisme d'ordre $n$ ^[7].

Réseau des caractères

On associe à un tore $\mathbb {T}$ l'ensemble $X(\mathbb {T} )=\operatorname {Hom} (\mathbb {T} ,\mathbb {G} _{m})\simeq \mathbb {Z} ^{d}$ qui possède une structure naturelle de réseau euclidien, et qui est donc appelé « réseau des caractères » de ce tore. La notion duale existe, et l'ensemble $Y(\mathbb {T} )=\operatorname {Hom} (\mathbb {G} _{m},\mathbb {T} )\simeq \mathbb {Z} ^{d}$ est appelé « réseau des cocaractères ».

Le foncteur qui associe au tore son réseau des caractères forme une (anti-)équivalence de catégories. Ainsi, de même que la dualité de Pontriaguine classifie les groupes abéliens compacts via leurs caractères, les tores algébriques sont classifiés par leur réseau de caractères.

Exemple

Soit $k=\mathbb {R}$ , de clôture algébrique ${\overline {k}}=\mathbb {C}$ , on note $\sigma$ le seul élément non nul de $\operatorname {Gal} (\mathbb {C} /\mathbb {R} )$ . Il y a deux tores de dimension 1 sur $k$ , qui correspondent aux deux actions de $\operatorname {Gal} (\mathbb {C} /\mathbb {R} )$ sur $\mathbb {Z}$ : ou bien $\sigma$ agit comme l'identité (et on obtient le tore scindé $\mathbb {G} _{m}(\mathbb {R} )$ ) ou bien elle agit comme $-1$ et on obtient un tore dont les points réels forment un cercle unité : le groupe $U(1)$ .

Notes et références

Notes

↑ Plus précisément, il s'agit de représenter certains éléments de $\mathbb {F} _{q^{n}}^{\times }$ en n'utilisant que $\varphi (n)$ éléments de $\mathbb {F} _{q}$ , au lieu des $n$ que nécessiterait l'approche naïve.
↑ Une version un peu plus générale d'un tore défini sur un schéma est donnée par Grothendieck dans SGA 3, exposé IX, définition 1.3. L'isomorphisme s'entend alors au sens de la topologie fpqc.
↑ En réalité, séparable suffit.

Références

↑ Armand Borel, « Groupes Lineaires Algebriques », The Annals of Mathematics, vol. 64, n^o 1,‎ juillet 1956, p. 20 (ISSN 0003-486X, DOI 10.2307/1969949, lire en ligne, consulté le 5 février 2020)
↑ A. Grothendieck, « Généralités sur les groupes algébriques affines. Groupes algébriques affines commutatifs », Séminaire Claude Chevalley, vol. 1,‎ 1956-1958, p. 1–14 (lire en ligne, consulté le 5 février 2020)
↑ Takashi Ono, « Arithmetic of Algebraic Tori », The Annals of Mathematics, vol. 74, n^o 1,‎ juillet 1961, p. 101 (ISSN 0003-486X, DOI 10.2307/1970307, lire en ligne, consulté le 5 février 2020)
↑ Voskresenskiĭ, V. E., Algebraic Groups and Their Birational Invariants., American Mathematical Society, 2011 (ISBN 978-1-4704-1622-5 et 1-4704-1622-0, OCLC 1032716109, lire en ligne)
↑ Karl Rubin et Alice Silverberg, « Torus-Based Cryptography », dans Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, 2003 (ISBN 978-3-540-40674-7, lire en ligne), p. 349–365
↑ Karl Rubin et Alice Silverberg, « Algebraic tori in cryptography », High Primes and Misdemeanours: Lectures in Honour of the 60th Birthday of Hugh Cowie Williams,‎ 25 mai 2004, p. 317–326 (DOI 10.1090/fic/041/25, lire en ligne, consulté le 5 février 2020)
1 2 David Madore, « Tores algébriques sur les corps finis », 12 mars 2010
↑ James E. Humphreys, « Linear Algebraic Groups », Graduate Texts in Mathematics,‎ 1975 (ISSN 0072-5285, DOI 10.1007/978-1-4684-9443-3, lire en ligne, consulté le 5 février 2020)
↑ Bernard Le Stum, « Une introduction aux groupes algébriques », 30 mars 2007

Portail des mathématiques

Portail de la cryptologie

Notes

Références

Related Articles