[论文解读] 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$ 在自同构群 $G$ 作用下的普遍包络代数 $U(L)^G$ 提供一种构造性生成不变量的方法。
• 通过标准双射 $\omega: S(L) \to U(L)$ 将 $U(L)$ 中 $G$-不变生成元的问题约化为交换情形。
• 为满足李幂零恒等式的相对自由结合代数建立一个具有显式次数界的构造性希尔伯特-纳加塔定理。
• 通过利用约化群作用下的表示理论与舒尔函子，将经典不变量理论推广至非交换情形。

提出的方法

• 利用标准双射 $\omega: S(L) \to U(L)$（一个 $K$-向量空间同构），将对称代数 $S(L)^G$ 中的齐次生成元转移至普遍包络代数 $U(L)^G$。
• 利用 $GL(V)$-等变性，通过 $T(V) \twoheadrightarrow F(\mathfrak{R},V) \twoheadrightarrow S(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$ 作为 $GL(E)$-模由 $F(\mathfrak{R},U + nhW)^G$ 生成。
• 通过分拆高度界 $h = h(\mathfrak{R})$，建立 $F(\mathfrak{R},V)^G$ 的不变子代数是有限生成的，并给出显式次数界。

实验结果

研究问题

• RQ1 能否从 $S(L)^G$ 的生成元显式构造出 $U(L)^G$ 的生成元？
• RQ2 在群作用下，$U(L)$ 的不变量理论与对称代数 $S(L)$ 的不变量理论之间有何关系？
• RQ3 在满足李幂零恒等式的相对自由结合代数中，$F(\mathfrak{R},V)^G$ 的生成元可建立怎样的次数界？
• RQ4 在约化群 $G$ 作用下，$GL(V)$-表示的结构如何约束 $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$ 的不变子代数包含于由 $F(\mathfrak{R},U + nhW)^G$ 生成的 $GL(E)$-子模中，表明在更大空间上的不变量可由有限维基底上的不变量生成。
• 该结果推广了威爾的极化定理（当 $\mathfrak{R}$ 为交换情形时，$h=1$），为非交换情形提供了具有有效次数界的经典不变量理论的非交换类比。