Minimal Dimensions of Maximal Commutative Matrix Algebras and Sharp Courter-Type Bounds

技术摘要：极大交换矩阵代数的最小维数与精确的 Courter 型界

问题陈述
本文探讨线性代数与结合代数中的一个经典问题：确定极大交换子代数 $A \subseteq M_n(K)$ 的最小可能维数，其中 $K$ 是代数闭域，$M_n(K)$ 是 $n \times n$ 矩阵代数。虽然大维数示例已得到充分理解，但维数严格小于 $n$ 的极大交换代数（称为"Courter 型”代数）的存在性是一个微妙且理解较少的现象。

历史上，对角矩阵代数提供了一个维数为 $n$ 的极大交换子代数。1961 年，Courter 在 $M_{14}(K)$ 中构造了一个维数为 13 的示例，证明了 $\dim A < n$ 是可能的。在此项工作之前，对于 $n < 14$ 的情况尚无任何示例已知，且 Laffey 确立的一般下界 $\dim A > (2n)^{2/3} - 1$ 不足以排除更小的反例情况。知识上的具体空白涉及 $7 \le n \le 13$ 的范围，在该范围内既没有分类结果，也没有关于不等式 $\dim A \ge n$ 的证明。

方法论
作者采用基于 Suprunenko 和 Tyshkevich 正规形定理的结构化方法。方法论步骤如下：

1. 约化为局部代数：利用 Suprunenko 和 Tyshkevich 的一个命题，作者聚焦于局部极大交换代数（即其中每个元素要么可逆，要么幂零）。他们确立了任何极大交换代数均可分解为局部极大交换代数的直和。
2. 签名分析：局部极大交换代数共轭于由签名 $(n_1, n_2, n_3)$ 定义的块下三角形式，其中 $n = n_1 + n_2 + n_3$。代数结构由基块 $\Sigma \cong M_{n_3 \times n_1}(K)$ 和由幂零元生成的根层 $\Lambda$ 决定。
3. 中心化子估计：作者推导了具有给定签名的代数其中心化子 $C(A)$ 维数的精确下界。通过施加极大交换性条件（$C(A) = A$），他们导出了一个将根生成元维数（$d$）与签名分量联系起来的公式。
4. 签名优化：作者分析了代表维数下界的函数 $F(n_1, n_2, n_3)$。他们证明，当 $n_1, n_3 \ge 2$ 时，最小维数出现在边界签名族 $(2, s, 2)$ 中。
5. 堆叠构造：为了证明推导出的下界是可实现的，作者引入了一种“堆叠构造”。该操作将两个签名分别为 $(2, s, 2)$ 的代数合并为一个签名 $(2, s_1+s_2, 2)$ 的更大代数，同时保持极大交换性并表现出特定的维数节省性质（$\dim(A_1 \star A_2) = \dim A_1 + \dim A_2 - 5$）。

主要贡献与结果

• 精确下界：本文确立了任意极大交换子代数 $A \subseteq M_n(K)$ 维数的精确下界：
  $$\dim A \ge \begin{cases} n & \text{若 } n \le 8 \\ 5 + \lceil \frac{4(n-4)}{5} \rceil & \text{若 } n \ge 9 \end{cases}$$
  （注：本文在摘要和讨论中将 $n \le 8$ 的结果扩展至 $n \le 13$，确认在此范围内不存在 Courter 型代数。）

• $n \le 13$ 情形的解决：作者证明，对于所有 $n \le 13$，任何极大交换子代数必须满足 $\dim A \ge n$。因此，在 $n \le 13$ 的 $M_n(K)$ 中不存在 Courter 型代数（即 $\dim A < n$ 的代数）。这细化了 Laffey 的估计，并填补了小 $n$ 值的空白。

• 首个反例的识别：本文确认 $n=14$ 是 $\dim A < n$ 成为可能的第一个维数。Courter 在 $M_{14}(K)$ 中的经典示例（签名 $(2, 10, 2)$，维数 13）被证明是第一个可能的反例，且它达到了本文推导出的最优界。

• 显式无穷族：作者构造了显式的极大交换子代数无穷族，这些族对所有 $n \ge 14$ 均达到下界。这是通过定义三个“构建块”实现的：

  1. 一个签名 $(2, 5, 2)$、维数 9 的种子代数 $E \subseteq M_9(K)$。
  2. Courter 代数 $C \subseteq M_{14}(K)$，签名 $(2, 10, 2)$，维数 13。
  3. 一个签名 $(2, 1, 2)$、维数 6 的对角砖块 $D \subseteq M_5(K)$。
     通过堆叠这些块（特别是 $E$ 和 $D$），作者生成了任意 $n \ge 14$ 的代数 $A_n$，使得 $\dim A_n = 5 + \lceil \frac{4(n-4)}{5} \rceil$。

意义与主张
本文声称通过确定极大交换子代数的精确下界，细化了 Laffey 的经典估计。其主要意义在于：

1. 排除小反例：确凿地证明对于 $n \le 13$ 不存在 Courter 型代数。
2. 刻画首个反例：将 Courter 的 $M_{14}$ 示例识别为并非孤立的异常，而是无穷、精确的最小极大交换矩阵代数族的首个成员。
3. 构造性证明：提供了一种构造性方法（堆叠构造）来生成每个维数 $n \ge 14$ 的最小示例，从而证明该界是紧的。

作者得出结论，只要理解了局部构建块，关于最小极大交换子代数的全局极值问题在本质上已得到解决。剩余的困难被描述为“完全局部的”，专注于相对于矩阵尺寸具有小维数的局部极大交换代数的分类。