[論文レビュー] Invariants of unipotent transformations acting on noetherian relatively free algebras

Vesselin Drensky|ArXiv.org|May 21, 2004

Advanced Topics in Algebra参考文献 13被引用数 10

ひとこと要約

この論文は、ノイザー的相対的自由代数に作用するユニポテンツ変換の不変量代数が、有限生成であるための必要十分条件として、その代数的多様体が $UT_2(K)$ を含まないことに帰着されることを確立している。証明は、スペクトが導入した適切な多項式的恒等式と、次数付き成分の構造を用い、問題を有限次元ベクトル空間に還元する。これには、多項式的不変量に関するワイツェンボックの定理を非可換設定に拡張して利用している。

ABSTRACT

The classical theorem of Weitzenboeck states that the algebra of invariants of a single unipotent transformation $g$ in $GL_m(K)$ acting on the polynomial algebra $K[x_1,...,x_m]$ over a field $K$ of characteristic 0 is finitely generated. Recently the author and C.K. Gupta have started the study of the algebra of $g$-invariants of relatively free algebras of rank $m$ in varieties of associative algebras. They have shown that the algebra of invariants is not finitely generated if the variety contains the algebra $UT_2(K)$ of $2 imes 2$ upper triangular matrices. The main result of the present paper is that the algebra of invariants is finitely generated if and only if the variety does not contain the algebra $UT_2(K)$. As a by-product of the proof we have established also the finite generation of the algebra of $g$-invariants of the mixed trace algebra generated by $m$ generic $n imes n$ matrices and the traces of their products.

研究の動機と目的

• ユニポテンツ変換 $g$ が相対的自由代数 $F_m(rak{V})$ に作用するとき、不変量代数 $F_m(rak{V})^g$ が有限生成であるための正確な条件を同定すること。
• 非可換不変量論におけるユニポテンツ作用の不変量の有限生成性という未解決問題を解明すること。
• 可換不変量論における古典的結果（ワイツェンボックの定理）を、相対的自由な結合的代数の非可換設定に拡張すること。
• 主結果の副産物として、混合トレース代数 $T_{nm}^g$ の有限生成性を確立すること。

提案手法

• スペクトが導入した適切な多項式的恒等式を用い、$UT_2(K)$ を含まない多様体における相対的自由代数の構造を分析すること。
• 交換子フィルトレーションに関して、相対的自由代数 $F_m(rak{V})$ を次数付き成分 $B_m^{(k)}(rak{V})$ に分解すること。
• もし $UT_2(K) \notin \frak{V}$ ならば、$F_m(\frak{V})$ 内の適切な多項式の空間が有限次元であるため、関連する次数付き成分の有限生成性が保証されることを活用すること。
• ユニポテンツ作用における多項式代数の不変量代数 $K[X]^ ho$ が有限生成であることを示すために、ワイツェンボックの定理を適用すること。
• 導来 $\delta = \log g$ の冪零性を用いて、各次数付き商 $I_k/I_{k+1}$ の不変量が $K[X]^ ho$ 上の有限生成モジュールであることを示すことで、問題を還元すること。
• 商から元の代数への $\delta$-不変元の持ち上げを行い、$F_m(\frak{V})^\delta$ を生成する有限集合が存在することを証明すること。

実験結果

リサーチクエスチョン

• RQ1 多様体 $\frak{V}$ に対して、ユニポテンツ変換 $g$ が作用するとき、不変量代数 $F_m(\frak{V})^g$ が有限生成である条件は何か？
• RQ2 $UT_2(K)$ が $\frak{V}$ に含まれるか否かが、$F_m(\frak{V})^g$ の有限生成性にどのように影響するか？
• RQ3 相対的自由代数に適用した構造的技法を用いて、混合トレース代数 $T_{nm}^g$ の有限生成性を確立できるか？
• RQ4 古典的ワイツェンボック定理（多項式的不変量）は、非可換的で相対的自由な結合的代数へどの程度一般化可能か？

主な発見

• 不変量代数 $F_m(\frak{V})^g$ が有限生成であることは、多様体 $\frak{V}$ が $2\times 2$ 上三角行列代数 $UT_2(K)$ を含まないことに必要十分である。
• 任意の $m > 1$ に対して、$F_m(\frak{V})^g$ の有限生成性は、$\frak{V}$ がエンゲル恒等式 $[x_2, x_1, \dots, x_1] = 0$ を満たすときに限り成立し、これは $UT_2(K) \notin \frak{V}$ と同値である。
• もし $UT_2(K) \notin \frak{V}$ ならば、$F_m(\frak{V})$ 内の適切な多項式のベクトル空間は有限次元であるため、証明において有限次元の技法を用いることが可能になる。
• 任意のユニポテンツ $g \in GL_m$ に対して、$m$ 個の一般化 $n\times n$ 行列とそれらの積のトレースで生成される混合トレース代数 $T_{nm}^g$ は有限生成である。
• 交換子フィルトレーションにおける各次数付き商 $I_k/I_{k+1}$ の不変量は、$K[X]^\delta$ 上の有限生成モジュールであるため、$F_m(\frak{V})^\delta$ の有限生成集合の構成が可能になる。
• 証明により、$F_m(\frak{V})^g$ と $SL_2$-作用が混合テンソル代数に作用する不変量との間の構造的類似性が確立され、古典的ワイツェンボック枠組みが非可換設定へ拡張されている。