On the cocharacter sequence of some PI-algebras

論文概要

タイトル: ON THE COCHARACTER SEQUENCE OF SOME PI-ALGEBRAS
著者: Elitza Hristova
分野: 環論、表現論、不変量理論（PI 代数、Lie 冪零性、GL(n) 表現）

この論文は、標数 0 の体上の単位的結合 PI 代数（多項式恒等式を満たす代数）の「共指標系列（cocharacter sequence）」における多重度 $m_\lambda(A)$ が非ゼロとなる分割 $\lambda$ の構造を研究するものである。特に、Berele によって導入された「最終的な腕の幅（eventual arm width）」$\omega_0(A)$ と「最終的な脚の幅（eventual leg width）」$\omega_1(A)$ の性質、および T-イデアルが長交換子の積で生成される場合の分割の制約条件を明らかにしている。

1. 研究の背景と問題設定

• PI 代数と共指標系列:
  任意の PI 代数 $A$ に対して、次数 $m$ の多重線形多項式空間 $P_m(A)$ は対称群 $S_m$ の加群構造を持つ。その指標 $\chi_m(A)$ を既約指標 $\chi_\lambda$ に分解したときの多重度 $m_\lambda(A)$ を調べるのが、PI 代数の量的理論における重要な課題である。
• フック定理（Amitsur-Regev）:
  任意の PI 代数 $A$ に対して、非ゼロの多重度を持つ分割 $\lambda$ は、ある $k \times l$ のフック型ヤング図形（$k$ 行目と $l$ 列目以降が制限される形状）に含まれることが知られている。
• Berele の定義:
  Berele は、非ゼロ多重度を持つ分割 $\lambda$ において、任意に大きくできる部分（行または列）の最大数を「最終的な腕の幅 $\omega_0(A)$」および「最終的な脚の幅 $\omega_1(A)$」として定義した。
  • 例：Lie 冪零代数の場合、Berele は $\omega_0(A)=1$ であることを示していた。
• 未解決の問題:
  単位的 PI 代数において、$\omega_0(A)=1$ となるための必要十分条件が「$A$ が Lie 冪零であること」かどうかは明確でなかった。また、T-イデアルが複数の長交換子イデアルの積 $I = I_{p_1+1} \cdots I_{p_k+1}$ である場合の、より精密な分割の制約条件（ステップ状のヤング図形への収束など）も未詳であった。

2. 手法とアプローチ

著者は、GL(n) 表現論の言語を用いて以下の手法を採っている。

1. GL(n) 加群としての分解:
   相対的自由代数 $F_n(V_I)$ を GL(n) 加群として分解し、その成分としての多重度 $m_\lambda(I)$ を調べる。
2. 固有多項式（Proper Polynomials）の代数 $B_n(A)$:
   純粋な交換子の積の線形結合からなる部分代数 $B_n(A)$ に注目する。Drensky の定理により、$F_n(V_I) \cong B_n(V_I) \otimes S(V)$ という分解が成り立つ。
3. Hilbert 系列の解析:
   $F_n(V_I)$ と $B_n(V_I)$ の Hilbert 系列（Schur 多項式を用いた表現）を計算し、T-イデアルの積 $I = J_1 \cdots J_k$ に対する系列の挙動を Formanek の関係式や Littlewood-Richardson 則を用いて解析する。
4. 射影写像の構成:
   特定の T-イデアルの積から、より単純な T-イデアル（例えば単一の長交換子イデアル）への射影写像を構成し、多重度の制約条件を導出する。

3. 主要な貢献と結果

第 1 部：Lie 冪零性と最終的な腕の幅

• 定理 2.1: 任意の T-イデアル $I$ に対して、固有多項式の代数 $B_n(V_I)$ が有限次元であることと、$F_n(V_I)$ がある長さ $p$ の交換子 $[x_1, \dots, x_p]=0$ を満たすこと（すなわち $I_p \subseteq I$）は同値である。
• コローラリー 2.2（主要結果 1）: 単位的結合 PI 代数 $A$ について、$\omega_0(A) = 1$ であることと、$A$ が Lie 冪零であること（$T(A) \supseteq I_p$ となる $p$ が存在すること）は同値である。
  • これにより、Berele の結果（Lie 冪零なら $\omega_0=1$）の逆が証明され、単位的代数における完全な同値関係が確立された。

第 2 部：T-イデアルの積と分割の制約

T-イデアルが $I = I_{p_1+1} \cdots I_{p_k+1}$ の形を持つ場合（$I_p$ は長さ $p$ の交換子で生成される T-イデアル）の解析を行った。

• パラメータの加法的性質（Proposition 3.2, Corollary 3.3）:
  T-イデアルが積の場合、以下のパラメータは各因子の和（または和に定数項を加えたもの）として計算される。
  • $\omega_0(A) = k$
  • $\omega_1(A) = k$ （すべての $p_i \ge 2$ の場合）
  • $s_2(A) = p_1 + \cdots + p_k - 1$
  • ここで $s_2(A)$ は、非ゼロ多重度を持つ分割 $\lambda$ について $\lambda_{\omega_0(A)+1} \le s_2(A)$ となる最小の整数。
• 分割のより精密な制約（Proposition 3.4, 4.3）:
  単にフック型だけでなく、「ステップ状（step-like）」のヤング図形に制限されることを示した。
  • $m_\lambda(I_{p+1}) \neq 0$ かつ $p > 2(k-1)$ ならば、$\lambda_{2k} \le p - k$ が成り立つ。
  • 具体的には、$p$ が大きくなるにつれて、$\lambda_2, \lambda_4, \lambda_6, \dots$ といった偶数インデックスの行の長さが段階的に制限される。
  • 例：$p=3$ の場合、$\lambda_2 \le 2$ かつ $\lambda_4 \le 1$。$p=5$ の場合、$\lambda_2 \le 4, \lambda_4 \le 3, \lambda_6 \le 2$ となる。
• 共役分割への制約（Proposition 4.4）:
  分割 $\lambda$ の共役 $\lambda'$ についても同様の制約（$\lambda'_{k+1}$ の上限）が導かれた。

第 3 部：SL(n) 不変量理論への応用

• 有限次元性の判定（Theorem 5.1, Corollary 5.2）:
  相対的自由代数 $F_n(V_I)$ における SL(n)-不変量部分環 $(F_n(V_I))^{SL(n)}$ が有限次元となるための条件を与えた。
  • $n > \omega_0(A)$ ならば、不変量環は有限次元である。
  • Hilbert 系列の次数の上限は $n \cdot s_2(A)$ （または $n > s_1(A)$ の場合は $n \cdot \omega_1(A)$）で抑えられる。
• 具体的な評価（Corollary 5.3）:
  $I = I_{p_1+1} \cdots I_{p_k+1}$ の場合、$k \le n-1$ ならば不変量環は有限次元であり、その Hilbert 系列の次数は $n(p_1 + \cdots + p_k - k)$ 以下となる。

4. 意義と結論

この論文は、PI 代数の共指標系列における分割の構造を、単なるフック型（hook）からより複雑な「ステップ状（step-like）」の図形へと一般化し、その具体的な制約条件を数式的に明らかにした点で画期的である。

1. 理論的統合: 「Lie 冪零性」と「最終的な腕の幅 $\omega_0(A)=1$」の同値性を証明し、Berele の研究を完成させた。
2. 構造の精密化: T-イデアルの積構造が、ヤング図形の形状にどのように影響するか（特に偶数行の長さの制限）を詳細に記述し、既知の結果（$U_k(K)$ や Grassmann 代数の場合）を一般化した。
3. 応用可能性: 得られた結果は、特殊線形群 SL(n) の不変量理論における有限次元性の判定や、その Hilbert 系列の次数評価に直接応用可能であり、非可換不変量理論への新たな洞察を提供している。

総じて、この研究は PI 代数の表現論的側面と、その T-イデアルの代数的構造（交換子の積）との間の深い関係を解明する重要な成果である。