Duality for t- modules: The Difficult Cases

Technische Zusammenfassung: Dualität für $t$-Moduln: Die schwierigen Fälle

Problemstellung
Diese Arbeit befasst sich mit der Dualitätstheorie von Anderson-$t$-Moduln, wobei der Schwerpunkt auf dem Isomorphismus zwischen einem $t$-Modul $\Upsilon$ und seinem Doppeldual $\Upsilon^{\vee\vee}$ liegt. Während der Cartier–Nishi-Satz und die Weil–Barsotti-Formel für Drinfeld-Module des Rangs mindestens zwei sowie für bestimmte Klassen von $t$-Moduln (wie etwa streng reine Moduln oder solche, die Low Degree (LD) Biderivationen zulassen) etabliert sind, versagen diese Ergebnisse für allgemeine $t$-Moduln. Vorherige Arbeiten der Autoren ([KK26], [KK25]) haben identifiziert, dass bei triangulären $t$-Moduln der Isomorphismus $\Upsilon \cong \Upsilon^{\vee\vee}$ nicht garantiert ist, wenn Nilpotenz vorliegt oder wenn Biderivationen die LD-Klasse überschreiten.

Die spezifische Herausforderung, die hier adressiert wird, ist der „schwierige Fall“ zweidimensionaler triangulärer $t$-Moduln, bei denen der Rang des ersten Subquotienten $\psi_1$ den Rang des zweiten $\psi_2$ übersteigt ($rk\psi_1 > rk\psi_2$) und die Biderivation $\delta$ die Bedingung $rk\psi_1 > \deg_\tau \delta \ge rk\psi_2$ erfüllt. In diesem Regime wird der Isomorphismus $\Upsilon \cong \Upsilon^{\vee\vee}$ nicht mehr durch konstante Matrizen realisiert, sondern erfordert skewsymmetrische Polynome. Dieser Wechsel führt zu einem „substanziellen Koeffizienten-Anwachsen“ (coefficient swell), was schwerwiegende rechnerische Hindernisse schafft, die eine manuelle Verifizierung unmöglich machen und theoretische Beweise erschweren.

Methodik
Die Autoren verwenden einen hybriden Ansatz, der algebraische Theorie mit umfangreicher computergestützter symbolischer Komputation kombiniert.

1. Experimentelle Mathematik: Die Autoren nutzten Wolfram Mathematica 13.1, um symbolische Berechnungen über dem Skew-Polynomring $K\{\tau\}$ durchzuführen. Sie implementierten Algorithmen zur Berechnung dualer Moduln ($\Upsilon^\vee$) und Doppeldual-Biderivationen ($\delta^{\vee\vee}$) für trianguläre $t$-Moduln.
2. Algorithmische Entwicklung:
   • Dual-Berechnung: Sie spezialisierten den $t$-Reduktionsalgorithmus (aus [GKK24]), um das Dual eines triangulären $t$-Moduls zu berechnen, wobei sie insbesondere Biderivationen mit verschwindenden Differentialen behandelten.
   • Doppeldual-Berechnung: Sie erweiterten den $t$-Reduktionsalgorithmus, um die Doppeldual-Biderivation $\delta^{\vee\vee}$ zu berechnen, wenn das duale Modul eine obere Dreiecksform aufweist. Dies beinhaltete die Konstruktion spezifischer Familien innerer Biderivationen, um hochgradige Terme zu reduzieren.
   • Isomorphismus-Detektion: Es wurde ein Algorithmus entwickelt, um das skewsymmetrische Polynom $u(\tau)$ zu bestimmen, so dass $\delta_1 - \delta_2 = \delta(u(\tau))_{\psi_2, \psi_1}$ gilt, wodurch der Isomorphismus $\Upsilon_1 \cong \Upsilon_2$ etabliert wird.
3. Komplexitätsanalyse: Die Autoren quantifizierten das „Ausdruck-Anwachsen“ (expression swell), indem sie Leaf-Counts und Speicher-Footprints symbolischer Ausdrücke maßen. Sie zeigten, dass, obwohl der $\tau$-Grad des Duals theoretisch beschränkt ist, die Größe der Koeffizienten exponentiell wächst, was computergestützte Hilfe selbst für moderate Parameter notwendig macht.
4. Strategische Vereinfachung: Um die Komplexität zu bewältigen, nutzten die Autoren zwei wesentliche Reduktionen:
   • Die Beschränkung auf monische $t$-Moduln (erreichbar über endliche Körpererweiterungen), um rationale Ausdrücke in den Koeffizienten zu vermeiden.
   • Die Fokussierung auf Biderivationen der Form $d\tau^h$ aufgrund der $\mathbb{F}_q$-Linearität der Dualitätsabbildung.

Wesentliche Beiträge und Ergebnisse

1. Definition von ALD-Biderivationen: Die Autoren führen das Konzept der „Almost Low Degree“ (ALD) Biderivationen ein. Ein trianguläres $t$-Modul erlaubt ALD-Biderivationen, wenn der Grad seiner reduzierten Biderivation $\delta_{red}$ die Bedingung $\deg_\tau \delta_{red} \le 3(rk\psi_2 - 1)$ erfüllt.
2. Explizite Formeln für Duale: Die Arbeit liefert eine explizite rekursive Beschreibung der dualen Biderivation $\delta^\vee$ für zweidimensionale trianguläre $t$-Moduln (Theorem 7.2). Dies beinhaltet eine Zerlegung in Komponenten $\Delta_{k,l}$ und rekursive Definitionen für Koeffizienten $\xi_{k,l}$.
3. Hauptsatz (Cartier–Nishi für ALD): Das zentrale Resultat (Theorem 6.3) beweist, dass für ein zweidimensionales trianguläres $t$-Modul $\Upsilon$ ohne Nilpotenz, bei dem $rk\psi_1 > rk\psi_2 > 1$ gilt, der Cartier–Nishi-Satz gilt (d. h. $\Upsilon \cong \Upsilon^{\vee\vee}$), sofern $\Upsilon$ ALD-Biderivationen zulässt.
4. Strukturelle Muster in Isomorphismen: Durch computergestützte Experimente beobachteten die Autoren, dass das Isomorphismus induzierende Polynom $u(\tau)$ für $h \le 3(rk\psi_2 - 1)$ rekursive Muster aufweist. Speziell für $h$ in diesem Bereich hängt das Polynom auf vorhersehbare Weise von vorangegangenen Fällen ab, wohingegen die Struktur für $h > 3(rk\psi_2 - 1)$ irregulär und signifikant komplexer wird.
5. Beweismechanismus: Der Beweis beruht auf der Reduktion der Doppeldual-Biderivation $\delta^{\vee\vee}$ modulo innerer Biderivationen. Durch die Analyse der Repräsentanten der Komponenten $\Delta_{k,l}^\vee zeigen die Autoren, dass die Summe dieser Repräsentanten die ursprüngliche Biderivation$\delta$ modulo innerer Biderivationen wiederherstellt, wodurch der Isomorphismus etabliert wird.

Bedeutung und Behauptungen
Die Arbeit beansprucht, die Gültigkeit des Cartier–Nishi-Satzes und der Weil–Barsotti-Formel auf eine wesentlich breitere Klasse von $t$-Moduln auszudehnen als bisher bekannt. Insbesondere geht sie über die restriktive „Low Degree“ (LD)-Bedingung hinaus zur „Almost Low Degree“ (ALD)-Bedingung.

Die Autoren betonen, dass diese Arbeit eine der ersten experimentellen Ansätze zu Problemen der Funktionenkörperarithmetik über globalen Funktionenkörper darstellt und zeigt, dass computergestützte Methoden unverzichtbar sind, um die „schwierigen Fälle“ zu handhaben, in denen ein Koeffizienten-Anwachsen auftritt.

Die Arbeit bleibt hinsichtlich des allgemeinen Falls bescheiden. Sie räumt ein, dass für Tripel $(r_1, r_2, h)$, bei denen $h > 3(r_2 - 1) + 1$, die aktuelle Zerlegungsstrategie versagt und der Isomorphismus möglicherweise Körpererweiterungen (Extraktion von $q$-ten Wurzeln) erfordert, die im ALD-Fall nicht vorhanden sind. Während die Autoren konjekturieren, dass die Dualität breiter gilt, stellen sie fest, dass der Beweis für den allgemeinen Fall wahrscheinlich eine Modifikation ihres aktuellen Ansatzes erfordern würde, da die Formeln ohne die im ALD-Regime gefundenen spezifischen strukturellen Regularitäten praktisch unhandlich werden.