Supersingular Drinfeld modules, Brandt matrices, and rank-metric codes

Résumé Technique : Modules de Drinfeld Supersinguliers, Matrices de Brandt et Codes de Rang

1. Problématique et Contexte

L'article s'inscrit à l'intersection de la théorie des nombres (modules de Drinfeld sur les corps de fonctions) et de la théorie des codes correcteurs d'erreurs (codes de rang).

• Contexte des codes : Les codes de rang (Rank-Metric Codes), et particulièrement les codes MRD (Maximum Rank Distance), sont cruciaux pour le codage réseau et le stockage distribué. Une sous-classe importante, les codes de corps intermédiaires (semifield codes), correspond à des codes MRD de paramètres $(n, n, n)$ qui définissent des structures algébriques appelées semi-champs.
• Construction existante : Dans un travail précédent ([MP26]), les auteurs ont établi une méthode pour construire ces codes à partir de modules de Drinfeld. L'idée est d'utiliser un sous-espace $M$ de l'anneau d'endomorphismes d'un module $\phi$ agissant sur le module de torsion $\phi[q]$. Pour obtenir un code de corps intermédiaire, la dimension de $M$ doit être exactement $r \cdot \deg(q)$ (où $r$ est le rang du module).
• Le problème : L'exemple simple de [MP26] fonctionnait car la dimension de l'espace des morphismes de degré $\tau$ borné était exactement égale à la dimension requise. Cependant, pour des modules de Drinfeld supersinguliers plus généraux (notamment de rang 2 sur un corps de caractéristique $p$ de degré $d > 1$), la dimension de l'espace des morphismes est strictement inférieure à la valeur attendue, ce qui empêche la construction directe de codes MRD optimaux.

L'objectif principal de cet article est de comprendre précisément la dimension de ces espaces de morphismes pour les modules supersinguliers et d'utiliser ces résultats pour construire de nouveaux codes de rang, même lorsque la dimension est "déficitaire".

2. Méthodologie

Les auteurs combinent plusieurs outils avancés de la théorie des nombres et de la géométrie arithmétique :

1. Modules de Drinfeld Supersinguliers :

   • Ils se concentrent sur les modules de rang $r=2$ définis sur un corps fini $k$ de caractéristique $p$ (idéal premier de $A = \mathbb{F}_q[T]$ de degré $d$).
   • L'anneau d'endomorphismes $\text{End}(\phi)$ d'un tel module est un ordre maximal dans une algèbre de quaternions $D$ sur $F = \mathbb{F}_q(T)$, ramifiée uniquement en $p$ et à l'infini.

2. Matrices de Brandt et Séries Thêta :

   • Les auteurs utilisent la théorie des matrices de Brandt $B(m)$, qui encodent le nombre d'isogénies entre les classes d'isomorphisme de modules supersinguliers de norme $m$.
   • Ils relient la dimension de l'espace des morphismes $M_s(\phi, \psi)$ (morphisme de degré $\tau \le s$) aux coefficients de Fourier d'une série thêta $\Theta$ associée à un cochain harmonique invariant par $\Gamma_0(p)$ sur l'arbre de Bruhat-Tits de $PGL_2(F_\infty)$.

3. Analyse des Fonctions L :

   • La clé de la preuve réside dans la décomposition de la série thêta en une partie d'Eisenstein et une partie cuspidale.
   • En utilisant des résultats profonds de Drinfeld, Deligne et Grothendieck sur les fonctions $L$ des formes automorphes cuspidales, ils démontrent que la fonction $L$ associée est un polynôme en $q^{-s}$ de degré $d-3$.
   • Cette propriété implique que les coefficients de Fourier (et donc les dimensions des espaces de morphismes) se stabilisent pour $s$ suffisamment grand.

4. Algorithmique :

   • Ils développent un algorithme efficace pour calculer les matrices de Brandt en exploitant la structure de l'anneau de polynômes tordus $k\{\tau\}$. Contrairement aux corps de nombres où l'on utilise l'énumération de réseaux, ici le test de norme se réduit à une division à droite dans $k\{\tau\}$.

5. Géométrie des Codes :

   • Pour contourner le déficit de dimension, ils utilisent des arguments géométriques :
     • Si $d$ est impair, ils cherchent une entrée nulle dans la matrice de Brandt pour sélectionner une paire de modules $(\phi, \psi)$ où l'espace de morphismes est naturellement de la bonne dimension.
     • Si $d$ est pair, ils cherchent un "bon hyperplan" (un sous-espace de codimension 1) dans l'espace des morphismes qui ne contient aucun élément "mauvais" (éléments non inversibles sur le module de torsion).

3. Résultats Principaux

A. Formule de Stabilisation (Théorème 1.2 / 3.5)
Pour deux modules de Drinfeld supersinguliers de rang 2, $\phi$ et $\psi$, définis sur $\mathbb{F}_p$ où $p$ est un idéal premier de degré $d$, la dimension $\mathbb{F}_q$ de l'espace des morphismes de degré $\tau$ au plus $s$, notée $m_s(\phi, \psi)$, satisfait :
$$m_s(\phi, \psi) = 2(s + 1) - (d - 1)$$
pour tout $s \ge d - 2$.

• Signification : La dimension est constante et linéaire en $s$, mais elle est inférieure de $(d-1)$ à la dimension idéale requise pour un code de corps intermédiaire ($2(s+1)$).
• Généralisation : Les auteurs conjecturent une formule similaire pour le rang $r \ge 2$ : $m_s = r(s+1) - \frac{r(r-1)(d-1)}{2}$.

B. Algorithme de Calcul
Les auteurs proposent un algorithme polynomial pour calculer les matrices de Brandt $B(q)$ pour les algèbres de quaternions sur les corps de fonctions.

• Complexité : L'algorithme repose sur la résolution de systèmes linéaires sur $\mathbb{F}_q$ et la division dans les polynômes tordus. La complexité est estimée à $O(q^{2s} s^2 m)$ pour une entrée de la matrice, où $m$ est la dimension de l'extension du corps de base.
• Implémentation : L'algorithme a été implémenté dans le logiciel Magma, permettant le calcul explicite de matrices de Brandt pour divers degrés de $p$ (exemples fournis pour $d \le 4$).

C. Construction de Codes de Corps Intermédiaires (Semifield Codes)
En combinant la formule de stabilisation avec l'analyse des entrées nulles des matrices de Brandt et l'existence d'hyperplans "propres", les auteurs construisent des codes MRD :

• Cas $d$ impair : Ils trouvent une paire $(\phi, \psi)$ telle que l'entrée correspondante dans la matrice de Brandt $B(q)$ est nulle. Cela garantit que l'espace $M_s(\phi, \psi)$ est inversible et a la dimension exacte requise pour former un code MRD.
• Cas $d$ pair : La dimension de $M_s$ a la mauvaise parité. Ils montrent par des exemples computationnels (pour $d=2$ et $d=4$) qu'il existe des hyperplans de codimension 1 dans $M_s$ qui évitent tous les éléments non inversibles. Ces hyperplans forment alors des codes MRD.
• Exemples : Des codes explicites sont construits pour $d \le 4$ avec $q=3$. Pour $d=2$, sur un espace de dimension 9, ils ont trouvé 8832 hyperplans "bons" sur 9841 possibles.

4. Contributions et Signification

1. Résolution d'un problème de dimension : L'article fournit une formule exacte et généralisée pour la dimension des espaces de morphismes entre modules supersinguliers, comblant une lacune dans la compréhension de la structure de ces espaces au-delà des cas simples.
2. Lien profond entre théorie des nombres et codes : Il démontre comment des résultats profonds sur les fonctions $L$ de formes automorphes (théorie de Drinfeld-Deligne-Grothendieck) peuvent être utilisés pour résoudre des problèmes concrets de construction de codes correcteurs.
3. Nouvelle méthode de construction de codes : L'approche par "hyperplans évitant les éléments mauvais" offre une stratégie nouvelle pour obtenir des codes MRD optimaux même lorsque la dimension naturelle de l'espace de départ est insuffisante.
4. Outils algorithmiques : La mise au point d'un algorithme efficace pour les matrices de Brandt dans le contexte des corps de fonctions ouvre la voie à l'exploration computationnelle de ces structures, qui étaient auparavant difficiles à manipuler par rapport au cas des corps de nombres.

En conclusion, cet article établit une théorie unifiée reliant la stabilité des dimensions d'espaces de morphismes de modules de Drinfeld aux propriétés spectrales des formes automorphes, et exploite ces résultats pour générer de nouvelles familles de codes de rang optimaux, essentiels pour les applications modernes en cryptographie et stockage de données.