Duality for t- modules: The Difficult Cases

技术摘要：$t$-模的对偶性：困难情形

问题陈述
本文研究了 Anderson $t$-模的对偶理论，特别关注 $t$-模 $\Upsilon$ 与其双对偶 $\Upsilon^{\vee\vee}$ 之间的同构问题。虽然对于秩至少为 2 的 Drinfeld 模以及某些类别的 $t$-模（如严格纯模或允许低度 (Low Degree, LD) 双导数的 $t$-模），Cartier–Nishi 定理和 Weil–Barsotti 公式已得到确立，但这些结果对于一般的 $t$-模并不成立。作者的前期工作（[KK26], [KK25]）指出，对于三角 $t$-模，当存在幂零性或双导数超过 LD 类时，同构 $\Upsilon \cong \Upsilon^{\vee\vee}$ 是无法保证的。

本文所处理的具体挑战是二维三角 $t$-模的“困难情形”，即第一个子商 $\psi_1$ 的秩大于第二个子商 $\psi_2$ 的秩（$rk\psi_1 > rk\psi_2$），且双导数 $\delta$ 满足条件 $rk\psi_1 > \deg_\tau \delta \ge rk\psi_2$。在这种情形下，同构 $\Upsilon \cong \Upsilon^{\vee\vee}$ 不再由常数矩阵实现，而是需要斜多项式（skew polynomials）。这种转变引入了“实质性的系数膨胀”（substantial coefficient swell），造成了严重的计算障碍，使得人工验证变得不可能，并使理论证明变得复杂。

研究方法
作者采用了一种结合代数理论与广泛的计算机辅助符号计算的混合方法。

1. 实验数学： 作者利用 Wolfram Mathematica 13.1 在斜多项式环 $K\{\tau\}$ 上进行符号计算。他们实现了算法来计算三角 $t$-模的对偶模（$\Upsilon^\vee$）和双对偶双导数（$\delta^{\vee\vee}$）。
2. 算法开发：
   • 对偶计算： 他们专门化了 $t$-约化算法（源自 [GKK24]）以计算三角 $t$-模的对偶，特别处理了具有消失微分的双导数。
   • 双对偶计算： 他们扩展了 $t$-约化算法，以在对偶模具有上三角形式时计算双对偶双导数 $\delta^{\vee\vee}$。这涉及构造特定的内双导数族，以约化高次项。
   • 同构检测： 开发了一种算法来确定使 $\delta_1 - \delta_2 = \delta(u(\tau))_{\psi_2, \psi_1}$ 成立的斜多项式 $u(\tau)$，从而建立同构 $\Upsilon_1 \cong \Upsilon_2$。
3. 复杂度分析： 作者通过测量符号表达式的叶计数（leaf counts）和内存占用量来量化“表达式膨胀”。他们证明了虽然对偶的 $\tau$-次数在理论上有界，但系数的大小呈指数级增长，因此即使对于中等参数也必须借助计算机辅助。
4. 策略性简化： 为了管理复杂度，作者利用了两种关键约化：
   • 将注意力限制在单项 $t$-模上（可通过有限域扩张实现），以避免系数中出现有理表达式。
   • 专注于形式为 $d\tau^h$ 的双导数，由于对偶映射的 $\mathbb{F}_q$-线性性质。

主要贡献与结果

1. ALD-双导数的定义： 作者引入了“几乎低度”（Almost Low Degree, ALD）双导数的概念。如果一个三角 $t$-模的约化双导数 $\delta_{red}$ 的次数满足 $\deg_\tau \delta_{red} \le 3(rk\psi_2 - 1)$，则该 $t$-模允许 ALD-双导数。
2. 对偶的显式公式： 本文提供了二维三角 $t$-模对偶双导数 $\delta^\vee$ 的显式递归描述（定理 7.2）。这涉及分解为分量 $\Delta_{k,l}$ 以及系数 $\xi_{k,l}$ 的递归定义。
3. 主定理（针对 ALD 的 Cartier–Nishi）： 核心结果（定理 6.3）证明了对于没有幂零性的二维三角 $t$-模 $\Upsilon$，若满足 $rk\psi_1 > rk\psi_2 > 1$ 且 $\Upsilon$ 允许 ALD-双导数，则 Cartier–Nishi 定理成立（即 $\Upsilon \cong \Upsilon^{\vee\vee}$）。
4. 同构中的结构模式： 通过计算实验，作者观察到诱导同构的多项式 $u(\tau)$ 在 $h \le 3(rk\psi_2 - 1)$ 时表现出递归模式。具体而言，在此范围内，该多项式以可预测的方式依赖于之前的案例；而当 $h > 3(rk\psi_2 - 1)$ 时，其结构变得不规则且显著复杂。
5. 证明机制： 证明依赖于将双对偶双导数 $\delta^{\vee\vee}$ 对内双导数取模。通过分析分量 $\Delta_{k,l}^\vee$ 的代表元，作者表明这些代表元的和在内双导数意义下恢复了原始的双导数 $\delta$，从而建立了同构。

意义与主张
本文声称将 Cartier–Nishi 定理和 Weil–Barsotti 公式扩展到了比以往已知的更广泛的 $t$-模类。具体而言，它从受限的“低度”（LD）条件跨越到了“几乎低度”（ALD）条件。

作者强调，这项工作代表了处理全局函数域上函数域算术问题的首批实验性方法之一，证明了计算机辅助方法在处理发生系数膨胀的“困难情形”时是不可或缺的。

本文对于一般情形保持审慎。作者承认，对于三元组 $(r_1, r_2, h)$，若 $h > 3(r_2 - 1) + 1$，目前的分解策略会失效，且同构可能需要并非在 ALD 情况中存在的有限域扩张（提取 $q$ 次根）。虽然作者推测对偶性在更广泛的情况下仍然成立，但他们指出，要在一般情形下证明这一点，可能需要修改目前的方法，因为在没有 ALD 范畴内特有的结构正则性的情况下，公式在实际操作中会变得难以处理。