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

技術的概要：最大可換行列環の最小次元とシャープなカウター型上限

問題提起
本論文は、線形代数および結合代数における古典的な問題、すなわち、$K$ を代数的閉体とし $M_n(K)$ を $n \times n$ 行列の代数とするとき、$M_n(K)$ の部分環である最大可換部分環 $A$ の取りうる最小次元を決定する問題に取り組んでいる。高次元の例はよく理解されているが、$n$ よりも厳密に小さい次元を持つ最大可換環の存在（「カウター型」環と呼ばれる）は、微妙で未解明な現象である。

歴史的に、対角行列の代数は次元 $n$ の最大可換部分環を提供する。1961 年、カウターは $M_{14}(K)$ において次元 13 の例を構成し、$\dim A < n$ が可能であることを証明した。この研究以前は $n < 14$ に対する例は知られておらず、ラフィーによって確立された一般的な下限 $\dim A > (2n)^{2/3} - 1$ は、より小さな例外ケースを排除するには不十分であった。知識の具体的な欠落は、$7 \le n \le 13$ の範囲に関係しており、この範囲では分類も不等式 $\dim A \ge n$ の証明も存在しなかった。

手法
著者らは、スプルーネンコとティシュケビッチの標準形定理に基づく構造的アプローチを採用している。手法は以下のステップを経て進行する。

1. 局所環への還元: スプルーネンコとティシュケビッチの命題を用いて、著者らは局所的な最大可換環（すべての元が可逆または冪零であるもの）に焦点を当てる。任意の最大可換環が、局所的な最大可換環の直和に分解されることを確立する。
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 つの環を、最大可換性を維持しつつ特定の次元節約特性（$\dim(A_1 \star A_2) = \dim A_1 + \dim A_2 - 5$）を示す $(2, s_1+s_2, 2)$ の符号を持つより大きな環へと結合する。

主要な貢献と結果

• シャープな下限: 本論文は、任意の最大可換部分環 $A \subseteq M_n(K)$ の次元に対する正確な下限を確立する。
  $$\dim A \ge \begin{cases} n & \text{if } n \le 8 \\ 5 + \lceil \frac{4(n-4)}{5} \rceil & \text{if } n \ge 9 \end{cases}$$
  （注：本論文は、抄録および議論において $n \le 8$ の結果を $n \le 13$ に拡張し、この範囲にカウター型環が存在しないことを確認している）。

• $n \le 13$ のケースの解決: 著者らは、すべての $n \le 13$ に対して、任意の最大可換部分環が $\dim A \ge n$ を満たさなければならないことを証明する。したがって、$n \le 13$ の $M_n(K)$ において、$\dim A < n$ となるカウター型環は存在しない。これはラフィーの推定を精緻化し、小さな $n$ におけるギャップを埋めるものである。

• 最初の例外ケースの特定: 本論文は、$n=14$ が $\dim A < n$ が可能となる最初の次元であることを確認する。$M_{14}(K)$ におけるカウターの古典的な例（符号 $(2, 10, 2)$ で次元 13）は、最初の可能な例外ケースであり、本論文で導出された最適下限に達することが示される。

• 明示的な無限族: 著者らは、すべての $n \ge 14$ に対して下限に到達する最大可換部分環の明示的な無限族を構成する。これは、以下の 3 つの「構成ブロック」を定義することによって達成される。

  1. 符号 $(2, 5, 2)$ で次元 9 の $M_9(K)$ の部分環であるシード環 $E$。
  2. 符号 $(2, 10, 2)$ で次元 13 の $M_{14}(K)$ の部分環であるカウターの環 $C$。
  3. 符号 $(2, 1, 2)$ で次元 6 の $M_5(K)$ の部分環である対角レンガ $D$。
     これらのブロック（特に $E$ と $D$）をスタックすることで、著者らは任意の $n \ge 14$ に対して $\dim A_n = 5 + \lceil \frac{4(n-4)}{5} \rceil$ となる環 $A_n$ を生成する。

意義と主張
本論文は、最大可換部分環に対する正確な下限を決定することにより、ラフィーの古典的な推定を精緻化すると主張している。その主な意義は以下の点にある。

1. 小さな例外の排除: $n \le 13$ に対してカウター型環が存在しないことを決定的に証明すること。
2. 最初の例外の特性付け: カウターの $M_{14}$ の例を孤立した異常ではなく、最小の最大可換行列環の無限かつシャープな族の最初の成員として特定すること。
3. 構成証明: 各次元 $n \ge 14$ における最小の例を生成する構成法（スタック構成）を提供し、したがってその下限が厳密であることを示すこと。

著者らは、局所的な構成ブロックを理解していれば、最小の最大可換部分環に関する大域的な極値問題は本質的に解決されたと結論づけている。残りの困難さは「完全に局所的」であり、行列サイズに比較して小さな次元を持つ局所的な最大可換環の分類に焦点を当てている。