Duality for t- modules: The Difficult Cases

Technische Samenvatting: Dualiteit voor $t$-modules: De Moeilijke Casussen

Probleemstelling
Dit artikel behandelt de dualiteitstheorie voor Anderson $t$-modules, met een specifieke focus op de isomorfie tussen een $t$-module $\Upsilon$ en zijn dubbel duale $\Upsilon^{\vee\vee}$. Hoewel de Cartier–Nishi-stelling en de Weil–Barsotti-formule gevestigd zijn voor Drinfeld-modules van rang minstens twee en voor bepaalde klassen van $t$-modules (zoals strikt pure modules of modules die Low Degree (LD) biderivaties toestaan), falen deze resultaten voor algemene $t$-modules. Voorgaand werk door de auteurs ([KK26], [KK25]) identificeerde dat voor driehoekige $t$-modules de isomorfie $\Upsilon \cong \Upsilon^{\vee\vee}$ niet gegarandeerd is wanneer nilpotentie aanwezig is of wanneer biderivaties de LD-klasse overschrijden.

De specifieke uitdaging die hier wordt aangepakt, is de "moeilijke casus" van tweedimensionale driehoekige $t$-modules waarbij de rang van het eerste subquotient $\psi_1$ groter is dan de rang van het tweede $\psi_2$ ($rk\psi_1 > rk\psi_2$), en de biderivatie $\delta$ voldoet aan de voorwaarde $rk\psi_1 > \deg_\tau \delta \ge rk\psi_2$. In dit regime wordt de isomorfie $\Upsilon \cong \Upsilon^{\vee\vee}$ niet langer gerealiseerd door constante matrices, maar vereist het skew-polynomen. Deze verschuiving introduceert een "substantiële coëfficiënt-opzwelling" (coefficient swell), wat ernstige computationele obstakels creëert die handmatige verificatie onmogelijk maken en theoretische bewijzen compliceren.

Methodologie
De auteurs hanteren een hybride benadering die algebraische theorie combineert met uitgebreide computergestuurde symbolische berekeningen.

1. Experimentele Wiskunde: De auteurs maakten gebruik van Wolfram Mathematica 13.1 om symbolische berekeningen uit te voeren over de skew-polynoomring $K\{\tau\}$. Zij implementeerden algoritmen om duale modules ($\Upsilon^\vee$) en dubbel duale biderivaties ($\delta^{\vee\vee}$) voor driehoekige $t$-modules te berekenen.
2. Algoritmische Ontwikkeling:
   • Duale Berekening: Zij specialiseerden het $t$-reductiealgoritme (uit [GKK24]) om het duale van een driehoekige $t$-module te berekenen, waarbij specifiek werd omgegaan met biderivaties met verdwijnende differentiaalvormen.
   • Dubbel Duale Berekening: Zij breidden het $t$-reductiealgoritme uit om de dubbel duale biderivatie $\delta^{\vee\vee}$ te berekenen wanneer de duale module een boven-driehoekige vorm heeft. Dit omvatte het construeren van specifieke families van innerlijke biderivaties om termen met een hoge graad te reduceren.
   • Isomorfie Detectie: Er werd een algoritme ontwikkeld om het skew-polynoom $u(\tau)$ te bepalen waarvoor geldt $\delta_1 - \delta_2 = \delta(u(\tau))_{\psi_2, \psi_1}$, waarmee de isomorfie $\Upsilon_1 \cong \Upsilon_2$ wordt vastgesteld.
3. Complexiteitsanalyse: De auteurs kwantificeerden de "expressie-opzwelling" door het tellen van bladeren (leaf counts) en het geheugengebruik van symbolische expressies te meten. Zij toonden aan dat hoewel de $\tau$-graad van het duale modulo een theoretische bovengrens heeft, de grootte van de coëfficiënten exponentieel groeit, wat computerondersteuning noodzakelijk maakt zelfs voor gematigde parameters.
4. Strategische Vereenvoudiging: Om de complexiteit te beheersen, gebruikten de auteurs twee belangrijke reducties:
   • Het beperken van de aandacht tot monische $t$-modules (bereikbaar via een eindige velderbreiding) om rationale expressies in coëfficiënten te vermijden.
   • Het focussen op biderivaties van de vorm $d\tau^h$ vanwege de $\mathbb{F}_q$-lineariteit van de dualiteitsmap.

Belangrijkste Bijdragen en Resultaten

1. Definitie van ALD-biderivaties: De auteurs introduceren het concept van "Almost Low Degree" (ALD) biderivaties. Een driehoekige $t$-module staat ALD-biderivaties toe als de graad van de gereduceerde biderivatie $\delta_{red}$ voldoet aan $\deg_\tau \delta_{red} \le 3(rk\psi_2 - 1)$.
2. Expliciete Formules voor Dualen: Het artikel biedt een expliciete recursieve beschrijving van de duale biderivatie $\delta^\vee$ voor tweedimensionale driehoekige $t$-modules (Stelling 7.2). Dit omvat een decompositie in componenten $\Delta_{k,l}$ en recursieve definities voor coëfficiënten $\xi_{k,l}$.
3. Hoofdstelling (Cartier–Nishi voor ALD): Het centrale resultaat (Stelling 6.3) bewijst dat voor een tweedimensionale driehoekige $t$-module $\Upsilon$ zonder nilpotentie, waarbij $rk\psi_1 > rk\psi_2 > 1$, indien $\Upsilon$ ALD-biderivaties toestaat, de Cartier–Nishi-stelling standhoudt (d.w.z. $\Upsilon \cong \Upsilon^{\vee\vee}$).
4. Structurele Patronen in Isomorfieën: Door middel van computationele experimenten observeerden de auteurs dat het polynoom $u(\tau)$ dat de isomorfie induceert, recursieve patronen vertoont voor $h \le 3(rk\psi_2 - 1)$. Specifiek, voor $h$ in deze reeks, hangt het polynoom op een voorspelbare wijze af van eerdere gevallen, terwijl de structuur voor $h > 3(rk\psi_2 - 1)$ onregelmatig en aanzienlijk complexer wordt.
5. Bewijsmechanisme: Het bewijs berust op het reduceren van de dubbel duale biderivatie $\delta^{\vee\vee}$ modulo innerlijke biderivaties. Door de representanten van de componenten $\Delta_{k,l}^\vee$ te analyseren, tonen de auteurs aan dat de som van deze representanten de oorspronkelijke biderivatie $\delta$ herstelt modulo innerlijke biderivaties, waarmee de isomorfie wordt vastgesteld.

Betekenis en Claims

Het artikel claimt de geldigheid van de Cartier–Nishi-stelling en de Weil–Barsotti-formule uit te breiden naar een substantieel bredere klasse van $t$-modules dan voorheen bekend. Specifiek beweegt het verder dan de restrictieve "Low Degree" (LD) voorwaarde naar de "Almost Low Degree" (ALD) voorwaarde.

De auteurs benadrukken dat dit werk een van de eerste experimentele benaderingen is van problemen in de functieveld-aritmetiek over globale functievelden, en dat het aantoont dat computergestuurde methoden onmisbaar zijn voor het aanpakken van de "moeilijke casussen" waar coëfficiënt-opzwelling optreedt.

Het artikel blijft bescheiden over de algemene casus. Er wordt erkend dat voor triples $(r_1, r_2, h)$ waar $h > 3(r_2 - 1) + 1$, de huidige decompositiestrategie faalt, en dat de isomorfie mogelijk eindige velderbreidingen vereist (het extraheren van $q$-de machtswortels) die niet aanwezig zijn in de ALD-casus. Hoewel de auteurs vermoeden dat de dualiteit breder standhoudt, stellen zij dat het bewijzen hiervan voor de algemene casus waarschijnlijk een modificatie van hun huidige benadering vereist, aange\dat de formules praktisch onhandelbaar worden zonder de specifieke structurele regelmatigheden die in het ALD-regime worden gevonden.