Duality for t- modules: The Difficult Cases

Résumé technique : Dualité pour les $t$-modules : Les cas difficiles

Énoncé du problème
Cet article traite de la théorie de la dualité pour les $t$-modules d'Anderson, en se concentrant spécifiquement sur l'isomorphisme entre un $t$-module $\Upsilon$ et son double dual $\Upsilon^{\vee\vee}$. Bien que le théorème de Cartier–Nishi et la formule de Weil–Barsotti soient établis pour les modules de Drinfeld de rang au moins deux et pour certaines classes de $t$-modules (tels que les modules strictement purs ou ceux admettant des bidérivations de bas degré (LD) pour « Low Degree »), ces résultats échouent pour les $t$-modules généraux. Les travaux précédents des auteurs ([KK26], [KK25]) ont identifié que pour les $t$-modules triangulaires, l'isomorphisme $\Upsilon \cong \Upsilon^{\vee\vee}$ n'est pas garanti en présence de nilpotence ou lorsque les bidérivations dépassent la classe LD.

Le défi spécifique abordé ici est le « cas difficile » des $t$-modules triangulaires de dimension deux où le rang du premier sous-quotient $\psi_1$ excède le rang du second $\psi_2$ ($rk\psi_1 > rk\psi_2$), et où la bidérivation $\delta$ satisfait la condition $rk\psi_1 > \deg_\tau \delta \ge rk\psi_2$. Dans ce régime, l'isomorphisme $\Upsilon \cong \Upsilon^{\vee\vee}$ n'est plus réalisé par des matrices constantes mais nécessite des polynômes biaisés (skew polynomials). Ce changement introduit un « gonflement substantiel des coefficients » (coefficient swell), créant des obstacles computationnels sévères qui rendent la vérification manuelle impossible et compliquent les preuves théoriques.

Méthodologie
Les auteurs emploient une approche hybride combinant la théorie algébrique et un calcul symbolique assisté par ordinateur intensif.

1. Mathématiques expérimentales : Les auteurs ont utilisé Wolfram Mathematica 13.1 pour effectuer des calculs symboliques sur l'anneau des polynômes biaisés $K\{\tau\}$. Ils ont implémenté des algorithmes pour calculer les modules duaux ($\Upsilon^\vee$) et les bidérivations du double dual ($\delta^{\vee\vee}$) pour les $t$-modules triangulaires.
2. Développement algorithmique :
   • Calcul du dual : Ils ont spécialisé l'algorithme de $t$-réduction (issu de [GKK24]) pour calculer le dual d'un $t$-module triangulaire, en traitant spécifiquement les bidérivations avec des différentielles nulles.
   • Calcul du double dual : Ils ont étendu l'algorithme de $t$-réduction pour calculer la bidérivation du double dual $\delta^{\vee\vee}$ lorsque le module dual possède une forme triangulaire supérieure. Cela a impliqué la construction de familles spécifiques de bidérivations intérieures pour réduire les termes de haut degré.
   • Détection d'isomorphisme : Un algorithme a été développé pour déterminer le polynôme biaisé $u(\tau)$ tel que $\delta_1 - \delta_2 = \delta(u(\tau))_{\psi_2, \psi_1}$, établissant ainsi l'isomorphisme $\Upsilon_1 \cong \Upsilon_2$.
3. Analyse de complexité : Les auteurs ont quantifié le « gonflement d'expression » (expression swell) en mesurant le nombre de feuilles (leaf counts) et l'empreinte mémoire des expressions symboliques. Ils ont démontré que bien que le $\tau$-degré du dual soit théoriquement borné, la taille des coefficients croît de manière exponentielle, nécessitant l'assistance de l'ordinateur même pour des paramètres modérés.
4. Simplification stratégique : Pour gérer la complexité, les auteurs ont utilisé deux réductions clés :
   • Se restreindre aux $t$-modules moniques (réalisable via une extension de corps fini) pour éviter les expressions rationnelles dans les coefficients.
   • Se concentrer sur les bidérivations de la forme $d\tau^h$ en raison de la $\mathbb{F}_q$-linéarité de l'application de dualité.

Contributions principales et résultats

1. Définition des bidérivations ALD : Les auteurs introduisent le concept de bidérivations « Almost Low Degree » (ALD). Un $t$-module triangulaire permet des bidérivations ALD si le degré de sa bidérivation réduite $\delta_{red}$ satisfait $\deg_\tau \delta_{red} \le 3(rk\psi_2 - 1)$.
2. Formules explicites pour les duaux : L'article fournit une description récursive explicite de la bidérivation duale $\delta^\vee$ pour les $t$-modules triangulaires de dimension deux (Théorème 7.2). Cela implique une décomposition en composantes $\Delta_{k,l}$ et des définitions récursives pour les coefficients $\xi_{k,l}$.
3. Théorème principal (Cartier–Nishi pour ALD) : Le résultat central (Théorème 6.3) prouve que pour un $t$-module triangulaire de dimension deux $\Upsilon$ sans nilpotence, où $rk\psi_1 > rk\psi_2 > 1$, si $\Upsilon$ admet des bidérivations ALD, alors le théorème de Cartier–Nishi est vérifié (c'est-à-dire $\Upsilon \cong \Upsilon^{\vee\vee}$).
4. Motifs structurels dans les isomorphismes : À travers des expériences computationnelles, les auteurs ont observé que le polynôme $u(\tau)$ induisant l'isomorphisme présente des motifs récursifs pour $h \le 3(rk\psi_2 - 1)$. Spécifiquement, pour $h$ dans cette plage, le polynôme dépend des cas précédents de manière prévisible, tandis que pour $h > 3(rk\psi_2 - 1)$, la structure devient irrégulière et nettement plus complexe.
5. Mécanisme de preuve : La preuve repose sur la réduction de la bidérivation du double dual $\delta^{\vee\vee}$ modulo les bidérivations intérieures. En analysant les représentants des composantes $\Delta_{k,l}^\vee$, les auteurs montrent que la somme de ces représentants récupère la bidérivation originale $\delta$ modulo les bidérivations intérieures, établissant ainsi l'isomorphisme.

Signification et revendications
L'article prétend étendre la validité du théorème de Cartier–Nishi et de la formule de Weil–Barsotti à une classe de $t$-modules nettement plus large que celle connue précédemment. Plus précisément, il dépasse la condition restrictive de « Bas Degré » (LD) pour atteindre la condition de « Presque Bas Degré » (ALD).

Les auteurs soulignent que ce travail représente l'une des premières approches expérimentales aux problèmes d'arithmétique des corps de fonctions sur les corps globaux de fonctions, démontant que les méthodes assistées par ordinateur sont indispensables pour traiter les « cas difficiles » où survient le gonflement des coefficients.

L'article reste modeste concernant le cas général. Il reconnaît que pour les triplets $(r_1, r_2, h)$ où $h > 3(r_2 - 1) + 1$, la stratégie de décomposition actuelle échoue, et l'isomorphisme peut nécessiter des extensions de corps finis (extraction de racines $q$-ièmes) qui ne sont pas présentes dans le cas ALD. Bien que les auteurs conjecturent que la dualité se vérifie plus largement, ils affirment que prouver cela pour le cas général nécessiterait probablement une modification de leur approche actuelle, car les formules deviennent pratiquement intraitables sans les régularités structurelles spécifiques trouvées dans le régime ALD.