この論文「ON CYCLIC INVARIANTS OF THE FREE ASSOCIATIVE ALGEBRA（自由結合代数の巡回不変量）」は、標数 0 の体 $K$ 上の $d$ 変数の自由結合代数 $K\langle X_d \rangle$ における、巡回群 $C_d$ の作用に対する不変量代数の構造を研究したものです。著者らは、この不変量代数が自由代数であることを示し、そのヒルベルト級数を計算するとともに、対称群 $S_n$ の作用（変数の位置の置換）を加味した「$S$-代数」としての生成系を具体的に構成しました。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記述します。

1. 問題設定と背景

• 対象: 標数 0 の体 $K$ 上の自由結合代数 $K\langle X_d \rangle = K\langle x_1, \dots, x_d \rangle$。
• 作用: 一般線形群 $GL_d(K)$ の部分群 $G$ が変数 $X_d$ に作用し、それによって代数全体に作用する。本論文では特に、巡回群 $C_d$（変数を巡回的にシフトする作用 $\rho(x_i) = x_{i+1}, \rho(x_d)=x_1$）に焦点を当てる。
• 不変量代数: $K\langle X_d \rangle^G = \{ f \in K\langle X_d \rangle \mid g(f) = f, \forall g \in G \}$。
• 既存の知見:
  • Lane (1976) と Kharchenko (1978) は、任意の $G$ に対して $K\langle X_d \rangle^G$ が自由代数であることを証明した。
  • Kharchenko は、次数 $n$ の斉次成分に対して対称群 $Sym(n)$が変数の位置を置換する作用を導入し、これを$S$-代数の構造として定式化した。
  • Koryukin は、$G$ が可約群（reductive group）の場合、この $S$-代数として不変量代数が有限生成であることを示した。
• 未解決・本研究の課題: 巡回群 $C_d$ に対する不変量代数 $K\langle X_d \rangle^{C_d}$ の具体的な構造、特に $S$-代数としての有限生成系（最小生成系）の明示的な記述。

2. 手法とアプローチ

著者らは以下のステップで解析を進めました。

1. 基底変換と対角化:

   • 変数 $x_1, \dots, x_d$ を、巡回シフト作用 $\rho$ に対して対角化される基底 $y_0, y_1, \dots, y_{d-1}$ に変換する（$\rho(y_k) = \varepsilon^k y_k$、ここで $\varepsilon$ は $d$ 乗根）。
   • これにより、不変量条件が指数の和に関する合同式（$\sum i_k \equiv 0 \pmod d$）に変換される。

2. 自由代数としての構造解析:

   • 不変量代数 $K\langle X_d \rangle^{C_d}$ が自由代数であることを利用し、その自由生成元を構成するアルゴリズムを提案した。
   • 生成元は、特定の条件（部分積が不変量にならないもの）を満たす単項式（モノミアル）の集合として特徴づけられる。

3. ヒルベルト級数の計算:

   • Dicks と Formanek の定理（自由代数の不変量に対するモリエンの公式の類似）を用いて、不変量代数のヒルベルト級数を厳密に計算した。

4. $S$-代数としての生成系の構成:

   • 可換な多項式環 $K[Y_d]^{C_d}$ の既知の生成系（Proposition 2.5）を、自由結合代数 $K\langle Y_d \rangle^{C_d}$ の $S$-代数生成系として転用できることを示した。
   • 具体的には、$C_3$ の場合について、標準的な変数 $x_i$ による巡回和（cyclic sums）を用いた生成系を構成し、それが最小であることを確認した。

3. 主要な結果

A. ヒルベルト級数と次元

任意の標数 0 の体 $K$ に対して、不変量代数 $K\langle X_d \rangle^{C_d}$ のヒルベルト級数は以下の通りである（定理 3.1）：
$$H(K\langle X_d \rangle^{C_d}, t) = \frac{1 - (d-1)t}{1 - dt}$$
これにより、次数 $n$ の斉次成分の次元は $\dim((K\langle X_d \rangle^{C_d})^{(n)}) = d^{n-1}$ となることが示された。

B. 自由生成系の構成

基底 $Y_d = \{y_0, \dots, y_{d-1}\}$ において、$C\langle Y_d \rangle^{C_d}$ の自由生成系は、以下の条件を満たす単項式 $y_{i_1} \cdots y_{i_n}$ の集合として与えられる（定理 3.2）：

1. 指数の和が $d$ で割り切れる：$i_1 + \dots + i_n \equiv 0 \pmod d$。
2. 真部分積（proper prefix）が不変量にならない：任意の $1 \le m < n$ に対して $i_1 + \dots + i_m \not\equiv 0 \pmod d$。

この構成はアルゴリズム 3.3 として具体的に記述されており、各次数 $n$ における自由生成元の個数が $(d-1)^{n-1}$ であることが確認された。

C. $S$-代数としての有限生成性

• 定理 4.1: 可換な不変量環 $C[Y_d]^{C_d}$ の生成系 $U$ は、そのまま $S$-代数 $(C\langle Y_d \rangle^{C_d}, \circ)$ の生成系となる。
• 具体例:
  • $d=3$ の場合、生成系は $\{y_0, y_1y_2, y_1^3, y_2^3\}$ である。
  • $d=4, 5$ についても同様に生成系が列挙された。
• 標準基底への転写（$d=3$）:
  • 変数 $x_1, x_2, x_3$ を用いた場合、$S$-代数 $(K\langle X_3 \rangle^{C_3}, \circ)$ は、以下の巡回和によって生成されることが示された（例 5.1）：
    • $v_1 = x_1 + x_2 + x_3$
    • $v_2 = x_1x_2 + x_2x_3 + x_3x_1$
    • $v_{31} = x_1^2x_2 + x_2^2x_3 + x_3^2x_1$
    • $v_{32} = x_1x_2^2 + x_2x_3^2 + x_3x_1^2$
  • これらは $C_3$ 不変量環 $K[X_3]^{C_3}$ の生成系と一致し、最小生成系であることが確認された。

4. 意義と貢献

1. 非可換不変論における具体的な構造の解明:
   自由結合代数の不変量代数は一般に複雑であるが、巡回群という具体的な群に対して、自由生成系と $S$-代数としての生成系を明示的に構成できたことは大きな進歩である。

2. 可換と非可換の対応関係の明確化:
   可換多項式環 $K[Y_d]^{C_d}$ の生成系が、そのまま非可換自由代数の $S$-代数生成系として機能することを示した（定理 4.1）。これは、対称群の作用（位置の置換）を考慮した場合、可換な関係式が非可換な文脈でも生成性を保つことを意味する。

3. 最小生成系に関する予想:
   著者らは、$S$-部分代数の任意の最小生成系は、次数ごとの生成元の数が一定であるという予想（Conjecture 5.2）を提示し、$d=3$ のケースでこれを検証した。これは非可換不変論における新しい方向性を示唆している。

4. 応用可能性:
   得られた結果は、非可換多項式の対称性、量子群、あるいは物理学における非可換幾何学の文脈における不変量理論の基礎として利用可能である。

結論

本論文は、自由結合代数における巡回群の不変量代数について、そのヒルベルト級数を閉じた形で導出し、自由生成系を具体的に記述するとともに、$S$-代数としての有限生成性を証明し、具体的な生成元を構成した。特に $d=3$ の場合の明示的な構成は、より一般的な群や高次元への拡張に向けた重要な一歩となっている。