Group graded algebras and varieties with quadratic codimension growth

技術要約：群次数付き代数と二次的余次元成長を持つ多様体

問題提起
本論文は、標数ゼロの体上の結合的（associative）な代数における、単元的な $G$-次数付き多様体の分類を扱う。特に、二次的な余次元成長を示すものに焦点を当てる。多項式恒等式理論（PI理論）において、任意のPI代数の余次元列は、多項式的に有界であるか指数関数的に成長するか（ケマーの二分法）が確立されているが、特定の多項式成長率を持つ多様体の体系的な分類は依然として不完全である。通常の（次数付きでない）場合、多項式成長 $n^k$ を持つ単元的な多様体は、$k$ が小さい場合（$k=4$ まで）のみ分類されている。有限群 $G$ によって分解される代数を扱う $G$-次数付きの設定においては、分類はさらに進展しておらず、現在は高々線形成長の多様体に関する一般的な結果に限定されている。本研究は、第 $n$ 次 $G$-次数付き余次元 $c_n^G(A)$ が漸近的に $qn^2$ として成長する単元的な $G$-次数付き多様体を分類することで、この空白を埋めることを目的としている。

手法
著者は、これらの多様体を分析するために、対称群の表現論と固有多項式（proper polynomials）の理論を用いる。手法は以下の主要なステップで進行する：

1. 固有多項式への還元： 単元的な代数において、多項式 $G$-次数付き多項式の空間は、「固有」多項式の部分空間（交換子および、次数1の変数が交換子の中にのみ現れる積の線形結合）を通じて分析される。本論文は、全余次元 $c_n^G(A)$ と固有余次元 $\gamma_n^G(A)$ の関係を利用し、次数 $t$ の多項式成長は、すべての $m > t$ に対して $\gamma_m^G(A) = 0$ であることを示している。
2. 余特性量分解： 研究は、積対称群 $S_{n_1} \times \dots \times S_{n_k}$ の既約指標への、固有余特性量 $\pi_{n_1, \dots, n_k}(A)$ の分解に焦ずつけている。二次成長（$t=2$）の場合、分析は $n=1$ および $n=2$ の分割に対応する既約指標の多重度に限定される。
3. 最小多様体の構成： 最小多様体の生成元として機能する、特定の有限次元 $G$-次数付き代数の家族（上三角行列代数の変種、グラスマン代数、および特定の直和を含む）を構成する。これらには、$C_g^m$、$K_{g,h}^7$、$G_{g,h}^2$、および $W_{g,h}^\alpha$ と表記される代数が含まれる。
4. 多重度の特徴付け： 中心的な手法は、余特性量分解における特定の既約指標の非ゼロの多重度と、その多様体に含まれる特定の最小代数の存在との間の直接的な対応関係を確立することである。著者は、二次成長を持つ2つの単元的な $G$-次数付き代数が、その固有余特性量における多重度を共有する場合、それらは同一の多様体を生成することを証明している。

主要な貢献と結果

• 最小多様体の分類： 本論文は、二次的成長を持つすべての単元的な $G$-次数付き最小多様体を特定し、特徴付けている。これらは、以下の型（群の要素 $g, h, u, v$ に依存する）の代数に同型なものによって生成されることが示されている：

  • $C_g^2, C_g^3$：上三角行列に関連する可換代数。
  • $K_{g,h}^7$：特定の7次元代数。
  • $G_{g,h}^2$：グラスマン代数の次数付き版。
  • $W_{g,h}^\alpha$：$\alpha \in F^*$ によってパラメータ化された4次元代数の家族。
  • これらの代数の直和（例：$K_{g,h}^7 \oplus G_{g,h}^2$）。

• 構造分解定理： 主要な結果（定理 5.14）は、二次的余次元成長を持つ任意の単元的な $G$-次数付き多様体は、上述の最小多様体の集合からの有限個の直和によって生成されることを述べている。具体的には、$\text{var}_G(A)$ が二次的成長を持つならば、$A$ は $A_1 \oplus \dots \oplus A_m$（ここで各 $A_i$ は特定された最小代数のいずれかである）と $T_G$-同値であり、少なくとも一つの直和成分が（線形ではなく）正確に二次的成長を持つ。

• 多重度と構造の対応： 本論文は、特定の既約指標（例：$\chi((1)g), \chi((1,1)g), \chi((1)g) \otimes \chi((1)h)$）の非消滅的な多重度と、特定の最小代数（例：$C_g^2, G_{g,g}^2, K_{g,h}^7$）の多様体への包含との間の精密な辞書（補題 5.2–5.10）を提供している。これにより、余特性量データのみから多様体の構造を再構成することが可能となる。

• 線形成長結果の一般化： 本研究は、[16] で確立された「高々線形成長」を持つ多様体の分類を、二次的なケースへと拡張しており、そのような多様体が最小多様体の直和へと分解するという構造的原理が、二次的成長においても保持されることを示している。

意義
本論文の主要な意義は、二次的余次元成長を持つ単元的な $G$-次数付き多様体の完全な構造記述を提供することにある。これらの多様体が最小多様体の直和へと分解することを示すことで、本研究は、すべてのそのような多様体を分類するという複雑な問題を、特定のパラメータ化された家族である最小代数の分類へと還元している。これは、通常のケースにおける結果と同様に、次数付きPI理論の基礎的な枠組みを確立するものである。また、群 $G$ に依存して無限の多様体の家族が存在する可能性があるにもかかわらず、それらはすべて高度に構造化されており、明示的に記述可能であることを強調している。これらの結果は、固有多項式の組合せ論と対称群の表現論の相互作用に依拠しており、次数付き恒等式の漸近的挙動を分析するための厳密な手法を提供している。