Duality for t- modules: The Difficult Cases

Technical Summary: Duality for t-Modules: The Difficult Cases

Problem Statement
This paper addresses the duality theory for Anderson $t$-modules, specifically focusing on the isomorphism between a $t$-module $\Upsilon$ and its double dual $\Upsilon^{\vee\vee}$. While the Cartier–Nishi theorem and the Weil–Barsotti formula are established for Drinfeld modules of rank at least two and for certain classes of $t$-modules (such as strictly pure modules or those allowing Low Degree (LD) biderivations), these results fail for general $t$-modules. Previous work by the authors ([KK26], [KK25]) identified that for triangular $t$-modules, the isomorphism $\Upsilon \cong \Upsilon^{\vee\vee}$ is not guaranteed when nilpotence is present or when biderivations exceed the LD class.

The specific challenge addressed here is the "difficult case" of two-dimensional triangular $t$-modules where the rank of the first subquotient $\psi_1$ exceeds the rank of the second $\psi_2$ ($rk\psi_1 > rk\psi_2$), and the biderivation $\delta$ satisfies the condition $rk\psi_1 > \deg_\tau \delta \ge rk\psi_2$. In this regime, the isomorphism $\Upsilon \cong \Upsilon^{\vee\vee}$ is no longer realized by constant matrices but requires skew polynomials. This shift introduces a "substantial coefficient swell," creating severe computational obstacles that render manual verification impossible and complicate theoretical proofs.

Methodology
The authors employ a hybrid approach combining algebraic theory with extensive computer-assisted symbolic computation.

1. Experimental Mathematics: The authors utilized Wolfram Mathematica 13.1 to perform symbolic computations over the skew-polynomial ring $K\{\tau\}$. They implemented algorithms to compute dual modules ($\Upsilon^\vee$) and double dual biderivations ($\delta^{\vee\vee}$) for triangular $t$-modules.
2. Algorithmic Development:
   • Dual Computation: They specialized the $t$-reduction algorithm (from [GKK24]) to compute the dual of a triangular $t$-module, specifically handling biderivations with vanishing differentials.
   • Double Dual Computation: They extended the $t$-reduction algorithm to compute the double dual biderivation $\delta^{\vee\vee}$ when the dual module has an upper-triangular form. This involved constructing specific families of inner biderivations to reduce high-degree terms.
   • Isomorphism Detection: An algorithm was developed to determine the skew polynomial $u(\tau)$ such that $\delta_1 - \delta_2 = \delta(u(\tau))_{\psi_2, \psi_1}$, thereby establishing the isomorphism $\Upsilon_1 \cong \Upsilon_2$.
3. Complexity Analysis: The authors quantified the "expression swell" by measuring leaf counts and memory footprints of symbolic expressions. They demonstrated that while the $\tau$-degree of the dual is theoretically bounded, the size of the coefficients grows exponentially, necessitating computer assistance even for moderate parameters.
4. Strategic Simplification: To manage complexity, the authors utilized two key reductions:
   • Restricting attention to monic $t$-modules (achievable via finite field extension) to avoid rational expressions in coefficients.
   • Focusing on biderivations of the form $d\tau^h$ due to the $\mathbb{F}_q$-linearity of the duality map.

Key Contributions and Results

1. Definition of ALD-biderivations: The authors introduce the concept of "Almost Low Degree" (ALD) biderivations. A triangular $t$-module allows for ALD-biderivations if the degree of its reduced biderivation $\delta_{red}$ satisfies $\deg_\tau \delta_{red} \le 3(rk\psi_2 - 1)$.
2. Explicit Formulas for Duals: The paper provides an explicit recursive description of the dual biderivation $\delta^\vee$ for two-dimensional triangular $t$-modules (Theorem 7.2). This involves a decomposition into components $\Delta_{k,l}$ and recursive definitions for coefficients $\xi_{k,l}$.
3. Main Theorem (Cartier–Nishi for ALD): The central result (Theorem 6.3) proves that for a two-dimensional triangular $t$-module $\Upsilon$ without nilpotence, where $rk\psi_1 > rk\psi_2 > 1$, if $\Upsilon$ allows for ALD-biderivations, then the Cartier–Nishi theorem holds (i.e., $\Upsilon \cong \Upsilon^{\vee\vee}$).
4. Structural Patterns in Isomorphisms: Through computational experiments, the authors observed that the polynomial $u(\tau)$ inducing the isomorphism exhibits recursive patterns for $h \le 3(rk\psi_2 - 1)$. Specifically, for $h$ in this range, the polynomial depends on previous cases in a predictable manner, whereas for $h > 3(rk\psi_2 - 1)$, the structure becomes irregular and significantly more complex.
5. Proof Mechanism: The proof relies on reducing the double dual biderivation $\delta^{\vee\vee}$ modulo inner biderivations. By analyzing the representatives of the components $\Delta_{k,l}^\vee$, the authors show that the sum of these representatives recovers the original biderivation $\delta$ modulo inner biderivations, thus establishing the isomorphism.

Significance and Claims
The paper claims to extend the validity of the Cartier–Nishi theorem and the Weil–Barsotti formula to a substantially broader class of $t$-modules than previously known. Specifically, it moves beyond the restrictive "Low Degree" (LD) condition to the "Almost Low Degree" (ALD) condition.

The authors emphasize that this work represents one of the first experimental approaches to problems in function field arithmetic over global function fields, demonstrating that computer-assisted methods are indispensable for handling the "difficult cases" where coefficient swell occurs.

The paper remains modest regarding the general case. It acknowledges that for triples $(r_1, r_2, h)$ where $h > 3(r_2 - 1) + 1$, the current decomposition strategy fails, and the isomorphism may require finite field extensions (extracting $q$-th roots) that are not present in the ALD case. While the authors conjecture that the duality holds more broadly, they state that proving this for the general case would likely require a modification of their current approach, as the formulas become practically intractable without the specific structural regularities found in the ALD regime.