🔢 mathematics

Classification of Rational Functions of Degree Three over Finite Fields

Cet article classe les fonctions rationnelles de degré trois sur les corps finis de caractéristique impaire en analysant leurs fréquences de valeurs et leurs points de ramification, complétant ainsi les travaux antérieurs sur la caractéristique paire.

Auteurs originaux : Xiang-dong Hou, Siyu Peng, Yongyu Qiang, Shujun Zhao

Publié 2026-04-22

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Xiang-dong Hou, Siyu Peng, Yongyu Qiang, Shujun Zhao

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🌊 Le Grand Tri des Fonctions Rationnelles

Imaginez que vous êtes un grand trieur de courriers dans un monde très spécial appelé les corps finis. Dans ce monde, il n'y a pas une infinité de nombres, mais un nombre fini (comme les cases d'un jeu de société).

Les mathématiciens de ce papier (Hou, Peng, Qiang et Zhao) s'occupent de trier des objets mathématiques appelés fonctions rationnelles de degré trois.

🧩 Qu'est-ce qu'une fonction rationnelle ?

Imaginez une machine qui prend un nombre, le transforme, et en sort un autre.

Une fonction simple, c'est comme une machine qui fait $x^2$ (elle multiplie le nombre par lui-même).
Une fonction rationnelle, c'est un peu plus compliqué : c'est le résultat d'une division entre deux polynômes (comme $\frac{x^3 + 2x}{x^2 + 1}$ ). C'est une machine qui fait des calculs plus complexes.

Le "degré trois" signifie simplement que la machine est assez puissante pour faire des calculs impliquant des nombres élevés à la puissance 3 (le cube).

🔄 Le Concept d'Équivalence : "La même musique, un autre instrument"

Le cœur du problème, c'est de savoir quand deux machines sont essentiellement les mêmes.
Les auteurs disent : "Deux machines sont équivalentes si on peut les transformer l'une en l'autre en changeant simplement la façon dont on regarde les entrées et les sorties."

L'analogie : Imaginez que vous écoutez une symphonie.
- Si vous changez le tempo (accélérer ou ralentir) ou si vous transposez la musique (jouer la même mélodie en partant d'une note plus haute), la musique reste fondamentalement la même.
- De la même manière, si vous pouvez transformer une fonction $f$ en une fonction $g$ en "tordant" l'espace des nombres (via des transformations simples appelées PGL), alors $f$ et $g$ sont considérées comme identiques pour les mathématiciens.

L'objectif du papier est de faire l'inventaire complet de toutes les formes uniques de ces machines de degré 3, sans compter les copies qui ne sont que des versions "tordues" les unes des autres.

📂 La Classification en Trois Catégories

Pour faire ce tri, les auteurs divisent toutes les machines possibles en trois grandes catégories, basées sur ce qui se passe quand on regarde les résultats de la machine :

Classe I : Les machines parfaites (Permutantes)
- Ces machines sont comme des distributeurs de billets parfaits : si vous mettez un nombre, il sort un résultat unique, et chaque résultat possible est obtenu exactement une fois. C'est un système parfaitement ordonné.
- Résultat : On savait déjà comment les classer.
Classe II : Les machines avec un doublon
- Ici, il y a un petit problème : pour un certain résultat, la machine a deux entrées différentes qui donnent le même résultat. C'est comme si deux personnes différentes avaient le même numéro de téléphone.
- Résultat : Les auteurs ont trouvé une façon simple de les ranger et de compter combien il y en a.
Classe III : Les machines complexes (Le gros morceau)
- C'est ici que réside la difficulté. Ces machines ont un comportement très particulier : pour un certain résultat, il y a trois entrées différentes qui y mènent, mais jamais deux. C'est un cas rare et subtil.
- Le défi : C'est la partie la plus difficile du papier. Les auteurs doivent prouver qu'il existe exactement un certain nombre de ces machines uniques et identifier ce qui les distingue.

🔍 Les Outils du Détective : Points de Ramification et Croix

Pour distinguer les machines de la Classe III, les auteurs utilisent des outils mathématiques sophistiqués, qu'ils expliquent avec des métaphores géométriques :

Les Points de Ramification (Les nœuds) :
Imaginez un chemin qui se divise. Parfois, le chemin se sépare en deux branches (un point de ramification). Les auteurs regardent combien de fois la machine "se divise" et comment elle le fait. C'est comme analyser la structure d'un arbre pour savoir s'il est unique.
Le Rapport Croisé (La boussole) :
C'est une mesure géométrique qui permet de comparer la position relative de quatre points. Les auteurs utilisent une "boussole" mathématique (appelée invariant $\theta$ ) pour voir si deux machines sont vraiment différentes ou si elles sont juste des versions déformées l'une de l'autre.

🎯 La Grande Découverte

Le papier réussit à prouver deux choses majeures :

Le Comptage Exact : Ils confirment qu'il existe exactement $q-1$ types uniques de machines dans la Classe III (où $q$ est le nombre total de nombres dans le corps fini).
L'Identification : Ils donnent une "carte d'identité" (une formule précise) pour chaque type unique. Grâce à leurs invariants (comme la boussole $\theta$ et une autre mesure $\mu^2$ ), ils peuvent dire : "Si vous avez ces deux chiffres, vous avez exactement cette machine, et aucune autre."

🌟 Pourquoi c'est important ?

Bien que cela semble très abstrait, ces fonctions rationnelles sont cruciales dans le monde réel :

Cryptographie : Elles aident à créer des codes secrets pour protéger les données sur internet.
Polynômes : Elles permettent de construire des équations très complexes qui sont difficiles à casser, utiles pour la sécurité informatique.
Théorie des nombres : Elles aident à comprendre la structure profonde des nombres.

En résumé :
Ces mathématiciens ont réussi à faire le grand ménage dans un monde de fonctions complexes. Ils ont prouvé qu'il n'y a pas de surprises cachées : ils ont trouvé chaque type unique de machine de degré 3, ils ont compté combien il y en a, et ils ont donné une recette précise pour les reconnaître. C'est comme avoir terminé le puzzle de toutes les formes possibles de ces objets mathématiques dans un monde fini.

1. Problématique et Contexte

L'article s'intéresse à la classification des fonctions rationnelles de degré 3 sur un corps fini $\mathbb{F}_q$ (où $q$ est une puissance d'un nombre premier $p$ ), modulo l'équivalence sous l'action du groupe projectif linéaire $PGL(2, \mathbb{F}_q)$ .

Deux fonctions rationnelles non constantes $f, g \in \mathbb{F}_q(X)$ sont dites équivalentes ( $f \sim g$ ) s'il existe $\psi, \phi \in PGL(2, \mathbb{F}_q)$ tels que $g = \psi \circ f \circ \phi$ . Cette relation d'équivalence préserve les propriétés fondamentales des fonctions rationnelles en théorie et en applications (comme la construction de polynômes irréductibles de haut degré ou les fonctions de permutation).

Bien que les cas de degré 1 (trivial) et de degré 2 soient bien compris, le cas du degré 3 est complexe. Récemment, Mattarei et Pizzato ont classifié ces fonctions pour les corps de caractéristique paire ( $p=2$ ). L'objectif principal de cet article est de fournir une classification complète et explicite pour les corps de caractéristique impaire ( $p \neq 2$ ).

Le nombre total de classes d'équivalence de fonctions rationnelles de degré 3 sur $\mathbb{F}_q$ est donné par la formule (1.1) :
$N(q, 3) = \begin{cases} 2(q+1) & \text{si } q \equiv 1, 4 \pmod 6 \\ 2q & \text{si } q \equiv 2, 5 \pmod 6 \\ 2q+1 & \text{si } q \equiv 3 \pmod 6 \end{cases}$
L'objectif est de construire un ensemble de représentants explicites pour ces classes.

2. Méthodologie

Les auteurs adoptent une approche structurée basée sur l'analyse des fréquences de valeurs (le nombre de préimages d'un point) et des points de ramification de la fonction $f : \mathbb{P}^1(\mathbb{F}_q) \to \mathbb{P}^1(\mathbb{F}_q)$ .

Ils divisent l'ensemble des fonctions de degré 3 en trois classes disjointes :

Classe I : Fonctions qui permutent le projetif $\mathbb{P}^1(\mathbb{F}_q)$ (toutes les fibres ont une seule image). Cette classe est déjà connue.
Classe II : Fonctions ayant au moins une fibre de cardinal 2, mais aucune de cardinal 3.
Classe III : Fonctions ayant au moins une fibre de cardinal 3, mais aucune de cardinal 2. C'est le cœur de la difficulté.

Pour la Classe III, les auteurs utilisent les invariants suivants :

Type de ramification : Analyse des points où la dérivée s'annule (ou via la formule de Hurwitz). Pour $p \ge 5$ , les types possibles sont $(2/1, 2/1, 2/1, 2/1)$ , $(2/1, 2/1, 3/1)$ , $(3/1, 3/1)$ , etc., selon la factorisation du polynôme dérivé $G_{s,t}(X)$ .
Invariants algébriques :
- L'invariant $\theta(s, t) = \frac{s^3}{t(1+s+t)}$ , dérivé de la forme canonique $f_{s,t}(X) = \frac{X^3+sX+t}{X(X-1)}$ .
- Le rapport croisé (Cross Ratio) des points de ramification, noté $\lambda$ .
- Un nouvel invariant $\mu^2$ pour la sous-classe III-b.

La stratégie consiste à :

Réduire les fonctions à des formes canoniques.
Distinguer les classes par les invariants $\theta$ , $\lambda$ et $\mu^2$ .
Utiliser des bornes de Hasse-Weil sur le nombre de points rationnels de courbes algébriques pour prouver que les invariants couvrent suffisamment de classes pour atteindre le nombre total connu $N(q, 3)$ .
Vérifier les cas particuliers ( $p=3$ ) et les cas exceptionnels où les invariants standards échouent.

3. Contributions Clés et Résultats

A. Classification de la Classe II

Les auteurs montrent que les fonctions de la Classe II sont équivalentes à l'une des formes suivantes :

$\frac{X^3+t}{X}$ où $t$ parcourt un système de représentants des cubes dans $\mathbb{F}_q^*$ .
$\frac{X^3+X^2+t}{X}$ où $t \in \mathbb{F}_q^*$ .
Ils prouvent que ces formes sont mutuellement non équivalentes, fournissant ainsi une classification complète pour cette classe.

B. Classification de la Classe III ( $p \ge 5$ )

La Classe III est subdivisée en quatre sous-classes (III-a à III-d) basées sur la factorisation du polynôme $G_{s,t}(X) = X^4 - 2X^3 - sX^2 - 2tX + t$ .

Sous-classe III-a ( $G_{s,t}$ irréductible) :
- Le type de ramification est $(2/4, 2/4, 2/4, 2/4)$ .
- L'invariant $\theta$ est suffisant pour distinguer les classes.
- L'ensemble des valeurs de $\theta$ est $\{27 + a \mid a \text{ est un non-carré dans } \mathbb{F}_q\}$ .
- Nombre de classes : $(q-1)/2$ .
Sous-classe III-b ( $G_{s,t}$ produit de deux quadratiques irréductibles distinctes) :
- Le type de ramification est $(2/2, 2/2, 2/2, 2/2)$ .
- L'invariant $\theta$ seul ne suffit pas. Les auteurs introduisent un invariant combiné $(\theta, \lambda)$ où $\lambda$ est lié au rapport croisé des points de ramification.
- Pour les cas où $(\theta, \lambda)$ échoue à distinguer deux classes (cas $q \equiv \pm 1 \pmod{12}$ ), ils introduisent un nouvel invariant $\mu^2$ , défini à partir des coefficients des facteurs quadratiques.
- Ils prouvent que $\mu^2$ distingue parfaitement toutes les classes de cette sous-classe.
- Nombre de classes : $(q-5)/2$ .
Sous-classe III-c ( $G_{s,t}$ carré d'une quadratique irréductible) :
- Existe uniquement si $q \not\equiv 1 \pmod 6$ .
- Représentée par la fonction unique $f_{-3,1}$ .
- Nombre de classes : 1 (ou 0 si $q \equiv 1 \pmod 6$ ).
Sous-classe III-d ( $G_{s,t}$ ayant des racines dans $\mathbb{F}_q$ ) :
- Représentée par des fonctions de la forme $f_{3u(u-1), -u^3}$ .
- Nombre de classes : 1 (ou 2 selon le cas).

Résultat Global : La somme des nombres de classes trouvés dans les sous-classes III-a, III-b, III-c et III-d correspond exactement à $N_{III}(q, 3) = q-1$ , confirmant la complétude de la classification.

C. Cas de la caractéristique $p=3$

Les auteurs adaptent leur méthode pour $p=3$ . La sous-classe III-c devient vide. Les invariants $\mu^2$ et $(\theta, \lambda)$ sont ajustés pour couvrir les $(q-3)/2$ classes de la sous-classe III-b.

D. Preuves Directes (Section 8)

Une partie de l'article explore la possibilité de prouver la complétude de la classification sans recourir au nombre total connu $N(q, 3)$ . En utilisant des propriétés du rapport croisé et des actions de groupes sur les points de ramification, ils fournissent des preuves directes pour la plupart des cas, bien que quelques cas exceptionnels nécessitent encore la connaissance du nombre total de classes.

4. Signification et Impact

Complétude Théorique : Cet article résout un problème ouvert majeur en théorie des corps finis en fournissant une classification explicite et complète des fonctions rationnelles de degré 3 en caractéristique impaire, complétant ainsi les travaux antérieurs sur la caractéristique paire.
Outils Invariants : L'introduction et l'utilisation rigoureuse des invariants $\theta$ , $\lambda$ et surtout $\mu^2$ offrent de nouvelles méthodes puissantes pour distinguer les classes d'équivalence de fonctions rationnelles, au-delà de la simple analyse de ramification.
Applications Potentielles : Une classification précise est cruciale pour :
- La construction de polynômes irréductibles de haut degré sur $\mathbb{F}_q$ .
- La théorie des fonctions de permutation (permutation rational functions), essentielles en cryptographie et en combinatoire.
- L'étude des courbes algébriques et de leurs points rationnels.
Validation Computationnelle : L'article inclut des codes Mathematica (Annexe B) pour vérifier les factorisations complexes et des exemples concrets pour $q=3^3$ et $q=5^2$ , renforçant la fiabilité des résultats théoriques.

En résumé, ce travail établit un cadre robuste et exhaustif pour l'étude des fonctions rationnelles de degré 3, combinant théorie des corps de fonctions, géométrie algébrique (bornes de Hasse-Weil) et calcul symbolique.