On the multiplicities of the central cocharacter of algebras with polynomial identities

技術的要約：多項式恒等式を持つ代数の中心的余指標に関する研究

問題提起
本論文は、零標数体上の結合代数の、余長さ（colength）および中心的余長さ（central colength）の列に基づく分類を扱う。多項式恒等式理論（PI理論）では、多項式恒等式による分割の次元を測る余次元列（$c_n(A)$）の研究が広範に行われてきたが、本研究はより微細な構造的不変量である余長さ（$l_n(A)$）、中心的余長さ（$l^z_n(A)$）、および固有中心的余長さ（$l^\delta_n(A)$）に焦点を当てている。

これらの列は、対称群 $S_n$ の作用の下での、多項式空間、中心多項式空間、および固有中心多項式空間の既約成分（多重度）の数をカウントするものである。中心的な問題は、これらの列が定数によって抑えられる（有界である）多様体の分類である。これまでの研究では、余長さが4で抑えられる多様体の分類が行われていたが、本論文は、余長さが7で抑えられる場合、および中心的余長さが2で抑えられる場合の分類へとこれを拡張している。

手法
著者らは、表現論、有限次元代数の構造論、およびT-イデアルとT-空間の理論を組み合わせた手法を用いている。

1. $S_n$ および $GL_m$ の表現論： 本論文は、$P_n(A), P^z_n(A), \Delta_n(A)$ の空間が、分割 $\lambda \vdash n$ によってインデックス付けされた $S_n$-既約加群へと分解されることを利用している。多重度 $m_\lambda, m^z_\lambda, m^\delta_\lambda$ は、$S_n$-指標と一般線形群 $GL_m$ の指標との間の対応関係（命題 3.1）を用いて計算される。
2. 最高ウェイトベクトル： 非ゼロの多重度を決定するために、著者らはヤング・タブローに関連する特定の最高ウェイトベクトル $f_{T_\lambda}$ を構成し、それらが代数のT-イデアルまたはT-空間に属するかどうかをテストする（命題 3.2）。
3. 有限次元代数の構造： 分類は、$A = F + J(A)$（ここで $J(A)$ はヤコブソン根基）という形式の代数の分解に大きく依存している。根基は、単位元との相互作用に基づいて、$J_{10}, J_{01}, J_{00}, J_{11}$ という部分空間へと分解される。
4. 多様体の包含と除外： 手法の核心は、もし多様体 $\text{var}(A)$ が特定の「臨界的」な代数（$G_4, A_7, A_9$ など）を含まないならば、$A$ はより単純な代数の直和としてPI同値であることを証明することにある。これは、根基成分の特定の積（例：$J_{10}J_{00} = \{0\}$）の消滅を分析することによって達成される。これは、代数が特定の恒等式を満たすことを強制する。

主要な貢献と結果

• 不変量の明示的な計算： 本論文は、広範な特定の代数に対して、余指標、中心的余指標、および固有中心的余指標の列、ならびにそれらに対応する余長さを明示的に記述している。これらには以下が含まれる：

  • 上三角行列の劣代数（$UT_m$）である $A_1, A_2, A_4, \dots, A_{10}$ およびその双対。
    *グラスマン代数とその劣代数（$G, G_{2k}, G_4$）。
  • これらの代数の直和（例：$G_4 \oplus A_1, A_4 \oplus A_2$）。
    本論文は、十分大きな $n$ に対して、これらの代数の $l_n(A), l^z_n(A), l^\delta_n(A)$ の正確な値を確立している。

• 有界な余長さの多様体の分類（定理 4.11）：
  著者らは、余長さ列 $l_n(A)$ が6で抑えられるすべての代数を、PI同値の意味で完全に分類した。結果によれば、もしある代数 $A$ が特定の集合 $I$（$A_7, A_8, A_9, A_{10}, G_6$ および様々な直和を含む）に含まれるいかなる代数も含まないならば、$A$ は冪零代数と、特定の有限個の代数（例：$N, C \oplus N, A_1 \oplus N, G_4 \oplus N$ など）の直和にPI同値である。

  • 系 4.13： これを、余長さが正確に7である代数の特徴付けへと拡張している。

• 有界な中心的余長さの多様体の分類（定理 5.6）：
  本論文は、中心的余長さ列 $l^z_n(A)$ が2で抑えられる多様体を分類している。もし代数 $A$ が特定の集合 $R$（$A_1 \oplus A^*_1, A_4, G_4 \oplus A_1$ などを含む）を回避する場合、その $A$ は冪零代数と、制限された一連の代数（例：$N, C \oplus N, A_1 \oplus N, G_4 \oplus N$）の直和にPI同値であることを証明している。

• 成長と余長さの関係：
  本研究は、余長さ列の有界性と余次元の多項式成長との間の関連性を強化し、この関係を中心および固有中心の文脈へと拡張している。

意義と主張
本論文は、PI多様体の分類に関する既存の文献を拡張することを主張している。先行研究（特に [7, 18]）では、余長さが4で抑えられる多様体の分類が行われていたが、本研究はこれを7まで押し上げている。著者らは、$var(UT_2)$ の部分多様体（これは余長さ4までをカバーする）を超えて進むことは、より高い余長さを理解するために、この多様体外の代数の研究を必要とする、著しく高い複雑性のレベルを明らかにすることを強調している。

さらに、本論文は、中心的余長さ列が定数（具体的には2）で抑えられる場合に、初めての明示的な分類を提供している。著者らは、固有中心的余長さ（$l^\delta_n$）に基づく分類は、固有中心的余長さがゼロとなる代数（例：$k>1$ のブロック三角行列）が存在するため困難であるように見えるが、中心的余長さの列は、分類のための実行可能かつ豊かな経路を提供すると述べている。

結果は、これらの有界条件を満たす代数の構造的形態に関する完全な特徴付けとして提示されており、これらの成長制約に対するPI同値類の決定的なリストを提供している。