Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices

技术摘要：具有单位上三角伽罗瓦群的伽罗瓦扩张的分歧群

问题陈述
本文研究了在特征为 $p > 0$ 且剩余域为完美域的完全离散赋值域 $K$ 上，有限伽罗瓦扩张 $L/K$ 的分歧群与分歧跳跃（ramification breaks）的计算问题。具体而言，研究重点在于其伽罗瓦群同构于 $n \times n$ 单位上三角矩阵群 $UT_n(\mathbb{F}_p)$ 的情形。

虽然阿廷-施莱尔（Artin-Schreier）或阿廷-施莱尔-维特（Artin-Schreier-Witt）扩张等交换扩张的分歧跳跃可以通过其定义方程中系数的估值来显式确定，但非交换情形呈现出显著的复杂性。在非交换情形下，上分歧跳跃可能是非整数（分母为群阶的分数），且现有方法通常需要分析扩张域 $L \setminus K$ 中的元素。本文旨在建立一种仅利用扩张定义方程的系数即可计算这些跳跃的方法，而不需引用 $K$ 之外的 $L$ 中元素。

方法论
作者采用了一种结合了矩阵环上的代数与阿廷-施莱尔扩张理论的多步方法：

1. 矩阵环上的估值： 文中定义了在由 $\mathbb{F}_p$ 中对角元素组成的上三角矩阵环 $FT_n(M)$ 上的估值 $v_M$。该估值的构造通过扩展基域 $M$ 的估值来实现，并满足类似于超度量不等式的性质，即在特定条件下满足 $v_M(XY) \ge \min(v_M(X), v_M(Y))$。这一结构作为交换情形中 Witt 向量过滤的局部类比。

2. 定义方程： 扩张 $L/K$ 由矩阵方程 $X^{(p)}A = X$ 定义，其中 $A \in UT_n(K)$，且 $X^{(p)}$ 表示将 $X$ 的每个条目提升至 $p$ 次幂得到的矩阵。解矩阵 $\Theta$ 的条目生成了 $L$ 在 $K$ 上的扩张。

3. 通过域扩张进行约化： 为了将非交换问题约化为阿廷-施莱尔情形，作者引入了一个特定的全狂野扩张 $K_R/K$，由 $T^q + T^{q-1} = t^R$ 定义（其中 $q=p^N$ 且 $R$ 与 $p$ 互素）。同构映射 $\iota_R$ 将 $K$ 映射到 $K_R$。

4. 矩阵逼近： 核心技术创新在于构造一个矩阵 $S_R \in NT_n(K_R)$（零上三角矩阵），用以逼近由 $\Theta$ 与其在 $\iota_R$ 下的像之间的差异所导出的矩阵 $D_R$。矩阵 $S_R$ 的条目 $s_{R,i,j}$ 是仅利用 $A$ 的系数和同构 $\iota_R$ 显式构造的。

5. 归纳计算： 文中建立了中间子域 $L_{i,j}/K$ 的分歧跳跃与矩阵条目 $s_{R,i,j}$ 估值之间的关系。通过证明在特定条件下 $v_{K_R}(s_{R,i,j}) = -q r_{i,j} + R$，作者建立了一个关于 $A$ 的系数与分歧数据之间的算法联系。

主要结果
主定理（定理 6.3）指出，对于 $3 \le n \le p+2$ 且满足 $1 \le i < j \le n$ 及 $j-i \le p+1$ 的指标，子扩张 $K(\theta_{l,m} \mid i \le l < m \le j)/K$ 的最大上分歧跳跃 $r_{i,j}$ 为：
$$r_{i,j} = \frac{R - v_{K_R}(s_{R,i,j})}{q}$$
其中 $s_{R,i,j}$ 是仅由定义矩阵 $A$ 的系数构造出的矩阵 $S_R$ 的一个条目。

此外，本文定义了一个由 $A$ 的条目估值（具体为矩阵图路径的最大估值）导出的量 $\mu_{i,j}$。文中证明了 $r_{i,j} \le \mu_{i,j}$，这为分歧跳跃提供了一个比计算完整的矩阵 $S_R$ 更容易计算的显式上界。当关于系数的特定等式条件成立时，该界是紧确的。

意义与主张
本文声称推广了 Kanesaka 和 Sekiguchi [KS79] 的结果，后者利用 Witt 向量计算了交换扩张的分歧跳跃。作者断言，所得公式（文中方程 1.1）是阿廷-施莱尔-维特结果的单位上三角矩阵类比。

这项工作的意义在于：

• 显式计算： 它提供了一种无需构造或分析扩张域 $L \setminus K$ 中的元素，即可计算此类非交换扩张分歧跳跃的方法。
• 算法性质： 该结果提供了一个具体的算法，仅利用定义矩阵 $A$ 及其在 $\iota_R$ 下的像即可确定最大的分歧跳跃。
• 基础性步骤： 由于每个有限 $p$-群都可以嵌入到某个 $UT_n(\mathbb{F}_p)$ 中，作者指出这些发现可能有助于阐明更一般的非交换 $p$-扩张的分歧情况，尽管本文将严格证明限制在满足约束 $j-i \le p+1$ 的单位上三角情形下。

本文并未声称解决了所有 $n$ 或所有非交换群的问题，并指出将该方法推广到任意 $j-i$ 或不同的伽罗瓦群结构需要进一步研究。该方法明确受到 Abrashkin [A95] 关于李代数过滤研究的启发，即将生成元与分歧过滤之间的对应关系适配到矩阵设置中。