Arithmetic exceptionality of generalized Chebyshev polynomials of the second kind

Résumé Technique : Exceptionnalité Arithmétique des Polynômes de Tchebychev de Seconde Espèce Généralisés

Énoncé du Problème
L'article étudie l'exceptionnalité arithmétique des polynômes de Tchebychev de seconde espèce généralisés, notés $Q^k_{\mathfrak{g}}$, associés aux algèbres de Lie semi-simples $\mathfrak{g}$. Un polynôme $f \in \mathbb{Z}[x]$ à $n$ variables est défini comme arithmétiquement exceptionnel si la application induite $f: \mathbb{F}_p^n \to \mathbb{F}_p^n$ est une permutation pour une infinité de nombres premiers $p$.

Bien que l'exceptionnalité arithmétique des polynômes de Tchebychev de première espèce $P^k_{\mathfrak{g}}$ soit bien comprise (par exemple, $P^k_{A_1}$ correspond aux polynômes de Dickson de première espèce, qui sont exceptionnels pour certains $k$), le comportement de la seconde espèce ($Q^k_{\mathfrak{g}}$) est moins clair. Spécifiquement, pour le cas classique $\mathfrak{g} = A_1$, il est connu que $Q^k_{A_1}$ (équivalent aux polynômes de Dickson de seconde espèce $E_k(x,1)$) n'est pas arithmétiquement exceptionnel pour $k \ge 2$. Les auteurs traitent le problème ouvert de savoir si cette non-exceptionnalité s'étend aux algèbres de Lie de rang supérieur, en se concentrant spécifiquement sur le cas de rang deux $\mathfrak{g} = A_2$. Les polynômes $Q^k_{A_2}$ sont des applications bivariées définies via les caractères des représentations irréductibles de $A_2$.

Méthodologie
Les auteurs emploient une combinaison de théorie des nombres algébriques, de la théorie des corps finis et de la théorie des représentations des algèbres de Lie. Leur approche repose sur plusieurs mécanismes clés :

1. Restriction Diagonale : Pour analyser l'application bivariée $Q^k_{A_2}: \mathbb{F}_q^2 \to \mathbb{F}_q^2$, les auteurs restreignent le domaine à la diagonale $D = \{(a, a) \mid a \in \mathbb{F}_q\}$. Ils définissent un polynôme univarié $f_k(x) = h_k(x, x)$, où $Q^k_{A_2} = (h_k(y_1, y_2), h_k(y_2, y_1))$. Ils établissent que si $Q^k_{A_2}$ est une permutation, alors sa restriction diagonale $f_k$ doit également être une permutation. Cela réduit le problème au cas univarié.
2. Paramétrage Cyclotomique : En utilisant une correspondance entre le corps fini $\mathbb{F}_q$ et les points fixes de l'application de Tchebychev de première espèce $P^q_{A_1}$, les auteurs paramètrent les éléments de $\mathbb{F}_q$ en utilisant des valeurs de la forme $2\cos(2\pi u)$ dérivées de racines de l'unité. Cela permet de traduire le problème de permutation en questions sur le comportement des sommes trigonométriques et des éléments cyclotomiques.
3. Analyse de la Norme : Le cœur de la preuve implique le calcul des normes de corps d'éléments cyclotomiques spécifiques. En analysant le produit des images des éléments non nuls sous l'application $f_k$, les auteurs dérivent des conditions sous lesquelles le polynôme résultant ne peut pas être une permutation. Ils utilisent les propriétés de l'application de norme dans les extensions cyclotomiques $\mathbb{Q}(\zeta_n)$ et leurs sous-corps réels maximaux.
4. Conditions de Congruence : Les auteurs dérivent des conditions nécessaires impliquant les plus grands diviseurs communs (PGCD) et des contraintes d'arithmétique modulaire sur $k$ et le nombre premier $p$ pour que $f_k$ soit une permutation. Ils démontrent que pour des nombres premiers suffisamment grands $p$, ces conditions échouent.

Contributions Clés et Résultats
L'article fournit une preuve rigoureuse que les polynômes de Tchebychev généralisés de seconde espèce associés au système de racines $A_2$ ne sont pas arithmétiquement exceptionnels.

• Théorème Principal (Théorème 24) : Pour tout entier $k > 1$, l'application polynomiale bivariée $Q^k_{A_2}: \mathbb{F}_q^2 \to \mathbb{F}_q^2$ n'est pas une permutation pour toutes les primes $p$ sauf une infinité finie. Spécifiquement, si $Q^k_{A_2}$ est une permutation, alors $p < |\tau(k)| + 1$, où $\tau(k)$ est une fonction définie par les auteurs impliquant $k$. Par conséquent, $Q^k_{A_2}$ n'est pas arithmétiquement exceptionnel.
• Cas Univarié ($A_1$) : L'article revisite le théorème de Cohen concernant $Q^k_{A_1}$ (polynômes de Dickson de seconde espèce), fournissant une preuve autonome que $Q^k_{A_1}$ n'est pas arithmétiquement exceptionnel pour $k \ge 2$ en établissant une borne sur $p$ basée sur $k$.
• Relations de Récurrence : Les auteurs définissent explicitement les relations de récurrence pour les composantes de $Q^k_{A_2}$, notant que bien qu'elles partagent la même récurrence que les polynômes de première espèce $P^k_{A_2}$, les conditions initiales distinctes mènent à des comportements arithmétiques fondamentalement différents.
• Formules Explicites : L'article dérive des formules explicites pour les valeurs de la restriction diagonale $f_k$ à des points spécifiques (par exemple, $0, 1, 2, 3, -1$) et établit l'équation fonctionnelle pour $f_k$ en termes de racines de l'unité (Théorème 29).

Signification et Revendications
Les auteurs affirment que ce travail étend la compréhension de l'exceptionnalité arithmétique du cas classique univarié ($A_1$) au premier cas multivarié non trivial ($A_2$). Ils soulignent que tandis que les polynômes de première espèce $P^k_{A_2}$ sont exceptionnels pour une infinité de nombres premiers (comme démontré dans la littérature antérieure), les polynômes de seconde espèce $Q^k_{A_2}$ présentent le même comportement de non-exceptionnalité que leurs homologues de $A_1$.

L'article conclut en notant que les méthodes développées — spécifiquement la réduction à la diagonale et l'utilisation des normes cyclotomiques — pourraient potentiellement être généralisées à d'autres algèbres de Lie semi-simples, telles que $B_2$ et $G_2$. Cependant, les auteurs reconnaissent modestement que des difficultés immédiates surgissent dans ces cas car la propriété de symétrie permettant la restriction diagonale (qui est vérifiée pour $A_2$) ne se vérifie pas nécessairement pour d'autres systèmes de racines. Ce travail est présenté comme une étape fondamentale dans la classification des propriétés arithmétiques de ces familles de polynômes généralisés.