Duality for t- modules: The Difficult Cases

Resumen Técnico: Dualidad para $t$-módulos: Los Casos Difíciles

Planteamiento del Problema
Este artículo aborda la teoría de la dualidad para los $t$-módulos de Anderson, centrándose específicamente en el isomorfismo entre un $t$-módulo $\Upsilon$ y su doble dual $\Upsilon^{\vee\vee}$. Si bien el teorema de Cartier–Nishi y la fórmula de Weil–Barsotti están establecidos para los módulos de Drinfeld de rango al menos dos y para ciertas clases de $t$-módulos (como los módulos estrictamente puros o aquellos que permiten biderivaciones de Bajo Grado (LD)), estos resultados fallan para los $t$-módulos generales. El trabajo previo de los autores ([KK26], [KK25]) identificó que, para los $t$-módulos triangulares, el isomorfismo $\Upsilon \cong \Upsilon^{\vee\vee}$ no está garantizado cuando hay nilpotencia presente o cuando las biderivaciones exceden la clase LD.

El desafío específico abordado aquí es el "caso difícil" de los $t$-módulos triangulares bidimensionales donde el rango del primer subcociente $\psi_1$ excede el rango del segundo $\psi_2$ ($rk\psi_1 > rk\psi_2$), y la biderivación $\delta$ satisface la condición $rk\psi_1 > \deg_\tau \delta \ge rk\psi_2$. En este régimen, el isomorfismo $\Upsilon \cong \Upsilon^{\vee\vee}$ ya no se realiza mediante matrices constantes, sino que requiere polinomios sesgados (skew polynomials). Este cambio introduce un "crecimiento sustancial de los coeficientes" (coefficient swell), lo que crea obstáculos computacionales severos que hacen imposible la verificación manual y complican las demostraciones teóricas.

Metodología
Los autores emplean un enfoque híbrido que combina la teoría algebraica con una extensa computación simbólica asistida por computadora.

1. Matemática Experimental: Los autores utilizaron Wolfram Mathematica 13.1 para realizar computaciones simbólicas sobre el anillo de polinomios sesgados $K\{\tau\}$. Implementaron algoritmos para computar los módulos duales ($\Upsilon^\vee$) y las biderivaciones del doble dual ($\delta^{\vee\vee}$) para $t$-módulos triangulares.
2. Desarrollo Algorítmico:
   • Computación del Dual: Especializaron el algoritmo de $t$-reducción (de [GKK24]) para computar el dual de un $t$-módulo triangular, manejando específicamente biderivaciones con diferenciales que se anulan.
   • Computación del Doble Dual: Extendieron el algoritmo de $t$-reducción para computar la biderivación del doble dual $\delta^{\vee\vee}$ cuando el módulo dual tiene una forma triangular superior. Esto implicó la construcción de familias específicas de biderivaciones internas para reducir los términos de alto grado.
   • Detección de Isomorfismos: Se desarrolló un algoritmo para determinar el polinomio sesgado $u(\tau)$ tal que $\delta_1 - \delta_2 = \delta(u(\tau))_{\psi_2, \psi_1}$, estableciendo así el isomorfismo $\Upsilon_1 \cong \Upsilon_2$.
3. Análisis de Complejidad: Los autores cuantificaron el "crecimiento de expresiones" (expression swell) midiendo los conteos de hojas (leaf counts) y las huellas de memoria de las expresiones simbólicas. Demostraron que, si bien el $\tau$-grado del dual está acotado teóricamente, el tamaño de los coeficientes crece exponencialmente, lo que hace necesaria la asistencia de la computadora incluso para parámetros moderados.
4. Simplificación Estratégica: Para gestionar la complejidad, los autores utilizaron dos reducciones clave:
   • Restringir la atención a $t$-módulos mónicos (lograble mediante la extensión del cuerpo finito) para evitar expresiones racionales en los coeficientes.
   • Centrarse en biderivaciones de la forma $d\tau^h$ debido a la $\mathbb{F}_q$-linealidad del mapa de dualidad.

Contribuciones Clave y Resultados

1. Definición de Biderivaciones ALD: Los autores introducen el concepto de biderivaciones de "Casi Bajo Grado" (ALD, por sus siglas en inglés). Un $t$-módulo triangular permite biderivaciones ALD si el grado de su biderivación reducida $\delta_{red}$ satisface $\deg_\tau \delta_{red} \le 3(rk\psi_2 - 1)$.
2. Fórmulas Explícitas para Duales: El artículo proporciona una descripción recursiva explícita de la biderivación dual $\delta^\vee$ para $t$-módulos triangulares bidimensionales (Teorema 7.2). Esto implica una descomposición en componentes $\Delta_{k,l}$ y definiciones recursivas para los coeficientes $\xi_{k,l}$.
3. Teorema Principal (Cartier–Nishi para ALD): El resultado central (Teorema 6.3) demuestra que para un $t$-módulo triangular bidimensional $\Upsilon$ sin nilpotencia, donde $rk\psi_1 > rk\psi_2 > 1$, si $\Upsilon$ permite biderivaciones ALD, entonces el teorema de Cartier–Nishi se cumple (es decir, $\Upsilon \cong \Upsilon^{\vee\vee}$).
4. Patrones Estructurales en los Isomorfismos: A través de experimentos computacionales, los autores observaron que el polinomio $u(\tau)$ que induce el isomorfismo exhibe patrones recursivos para $h \le 3(rk\psi_2 - 1)$. Específicamente, para $h$ en este rango, el polinomio depende de casos previos de una manera predecible, mientras que para $h > 3(rk\psi_2 - 1)$, la estructura se vuelve irregular y significativamente más compleja.
5. Mecanismo de Demostración: La demostración se basa en reducir la biderivación del doble dual $\delta^{\vee\vee}$ módulo las biderivaciones internas. Al analizar los representantes de los componentes $\Delta_{k,l}^\vee$, los autores muestran que la suma de estos representantes recupera la biderivación original $\delta$ módulo las biderivaciones internas, estableciendo así el isomorfismo.

Significado y Reivindicaciones
El artículo afirma extender la validez del teorema de Cartier–Nishi y la fórmula de Weil–Barsotti a una clase de $t$-módulos sustancialmente más amplia de lo conocido anteriormente. Específicamente, va más allá de la restrictiva condición de "Bajo Grado" (LD) hacia la condición de "Casi Bajo Grado" (ALD).

Los autores enfatizan que este trabajo representa uno de los primeros enfoques experimentales a problemas de aritmética de cuerpos de funciones sobre cuerpos globales de funciones, demostrando que los métodos asistidos por computadora son indispensables para manejar los "casos difíciles" donde ocurre el crecimiento de coeficientes.

El artículo mantiene la modestia respecto al caso general. Reconoce que para triples $(r_1, r_2, h)$ donde $h > 3(r_2 - 1) + 1$, la estrategia de descomposición actual falla, y el isomorfismo puede requerir extensiones de cuerpos finitos (extracción de raíces $q$-ésimas) que no están presentes en el caso ALD. Aunque los autores conjeturan que la dualidad se mantiene de forma más amplia, afirman que demostrar esto para el caso general probablemente requeriría una modificación de su enfoque actual, ya que las fórmulas se vuelven prácticamente intratables sin las regularidades estructurales específicas encontradas en el régimen ALD.