[論文レビュー] Constructive noncommutative invariant theory

M. Domokos, Vesselin Drensky|arXiv (Cornell University)|Nov 15, 2018

Advanced Topics in Algebra参考文献 16被引用数 3

ひとこと要約

本稿は、有限次元リー代数の普遍包あらゆる代数における群作用の下での不変量を構成的に生成する方法を確立する。これは、標準的双対写像を介して対称代数からの同次生成元を上げることで達成される。また、再帰的自由な非可換代数にリー可解性の恒等式を満たす再帰的自由な可換代数における不変量に対して明示的な次数上限を伴う構成的ヒルベルト＝ナガタの定理を確立する。

ABSTRACT

The problem of finding generators of the subalgebra of invariants under the action of a group of automorphisms of a finite dimensional Lie algebra on its universal enveloping algebra is reduced to finding homogeneous generators of the same group acting on the symmetric tensor algebra of the Lie algebra. This process is applied to prove a constructive Hilbert-Nagata Theorem (including degree bounds) for the algebra of invariants in a Lie nilpotent relatively free associative algebra endowed with an action induced by a representation of a reductive group.

研究の動機と目的

• 有限次元リー代数 $L$ の普遍包あらゆる代数 $U(L)^G$ における自己同型群 $G$ の下での不変量を生成する構成的メソッドを提供すること。
• 標準的双対写像 $\omega: S(L) \to U(L)$ を通じて、$U(L)$ における $G$-不変生成元の問題を可換の場合に還元すること。
• 再帰的自由な可換代数にリー可解性の恒等式を満たす場合に、不変量に対する明示的な次数上限を伴う構成的ヒルベルト＝ナガタの定理を確立すること。
• 再帰的群作用の下で、表現論とシュール関手を用いることで、古典的不変量理論を非可換な設定へ拡張すること。

提案手法

• 標準的双対写像 $\omega: S(L) \to U(L)$、これは $K$-ベクトル空間同型写像であるため、対称代数 $S(L)^G$ からの同次生成元を普遍包あらゆる代数 $U(L)^G$ へ移す。
• テンソル代数、再帰的自由代数、対称代数の間の canonical surjections $T(V) \twoheadrightarrow F(\mathfrak{R},V) \twoheadrightarrow S(V)$ の $GL(V)$-同変性を活用し、これらの代数間の不変量を関連付ける。
• ピエリの法則とカウチの恒等式を用いて、$F(\mathfrak{R},U + W \otimes E)_d$ の分解における $GL(E)$-既約表現の高さを制限し、$\mathrm{ht}(\mu) \leq nh$ を満たす分割 $\mu$ のみが現れることを保証する。
• $G$-不変量が $F(\mathfrak{R},U + W \otimes E)$ 内に $GL(E)$-部分空間として存在することと、$\mathrm{ht}(\mu) \leq nh$ を満たす $S^\mu(E)$ の最高重量ベクトルは、必ず $F(\mathfrak{R},U + nhW)^G$ 内に存在することを用いる。
• $GL(K^m)$ の作用を用いて、$F(\mathfrak{R},U + W \otimes E)^G$ が $F(\mathfrak{R},U + nhW)^G$ を生成する $GL(E)$-加群として生成されることを証明する。
• 再帰的自由代数 $F(\mathfrak{R},V)^G$ の不変量部分代数が、$h = h(\mathfrak{R})$ として定義される多様体 $\mathfrak{R}$ の高さを用いて、明示的な次数上限を伴い、有限生成であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 普遍包あらゆる代数 $U(L)^G$ の生成元は、$S(L)^G$ の生成元から明示的に構成可能か？
• RQ2 $U(L)$ と対称代数 $S(L)$ の不変量理論の関係は何か？
• RQ3 リー可解性の恒等式を満たす再帰的自由な可換代数 $F(\mathfrak{R},V)^G$ の生成元に対して、どのような次数上限を確立できるか？
• RQ4 $GL(V)$-表現の構造は、再帰的群 $G$ の下で $F(\mathfrak{R},V)$ 内の $G$-不変元の形をどのように制限するか？
• RQ5 古典的ヒルベルト＝ナガタの定理は、非可換な設定においてどの程度構成的に拡張可能か？

主な発見

• 定理 1.1 は、$\{f_\lambda\}$ が $S(L)^G$ の同次生成系であるならば、$\{\omega(f_\lambda)\}$ が $U(L)^G$ を生成することを示し、可換から非可換な設定への構成的上げ上げを提供する。
• 本稿は、$\mathfrak{R} \subseteq \mathfrak{N}_p$ の場合に $F(\mathfrak{R},V)^G$ に対して構成的ヒルベルト＝ナガタの定理を証明し、不変量代数が明示的な次数上限を伴い有限生成であることを示している。
• 任意の $F(\mathfrak{R},V)^G$ の同次生成元の次数は、$d \leq nh$ で抑えられる。ここで $n = \dim(W)$、$h = h(\mathfrak{R})$ は多様体 $\mathfrak{R}$ の高さであり、$\mathfrak{R}$ がリー可解性の恒等式を満たすと仮定する。
• 証明は表現論的技法に依拠しており、$F(\mathfrak{R},V)_d$ のシュール関手 $S^\lambda(V)$ への分解（$\mathrm{ht}(\lambda) \leq h$）と、その後続の $GL(E)$-分解における $\mathrm{ht}(\mu) \leq nh$ の境界が得られる。
• $F(\mathfrak{R},U + W \otimes E)^G$ は、$GL(E)$-部分空間として $F(\mathfrak{R},U + nhW)^G$ によって生成される。これは、より大きな空間における不変量が、有限次元の基本空間における不変量から生成されることを示している。
• 結果は、$\mathfrak{R}$ が可換（$h=1$）の場合にウェイの極化定理を非可換設定に一般化し、有効な境界を伴う非可換版の古典的不変量理論を提供する。