[论文解读] Les invariants polynômes de la représentation coadjointe de groupes inhomogènes

Mustapha Raïs|ArXiv.org|Mar 30, 2009

Advanced Algebra and Geometry参考文献 3被引用 3

一句话总结

本文通过基于迹的对称多项式和佩夫连式（Pfaffians）识别不变代数的生成元，显式构造了非齐次李群的余伴随表示的多项式不变量，包括 $ISL(n)$、$IO(n)$、$ISO(n)$ 和 $GL(n) imes(Vigoplus V^*)$。关键结果是这些不变量的代数独立生成元的完整系统，其显式公式源自特征多项式及其梯度，扩展了此前关于李代数半直积的研究。

ABSTRACT

Explicit generators are given for the ring of invariant polynomials under the coadjoint representation of certain inhomogeneous groups.

研究动机与目标

• 研究非齐次李群余伴随表示中多项式不变量的结构，特别是半直积 $\mathfrak{g} \times V$ 的情形。
• 为 $\mathfrak{p} = \mathfrak{g} \times V$ 且 $\mathfrak{g} = \mathfrak{sl}(n)$、$\mathfrak{o}(n)$ 或 $\mathfrak{so}(n)$ 的情形，提供不变代数 $Y(\mathfrak{p})$ 在 $S(\mathfrak{p})$ 中的显式生成元。
• 通过矩阵迹和特征多项式的显式公式，扩展此前关于 $ISL(n)$ 和 $IO(n)$ 的结果。
• 建立奇维情形下不变量与佩夫连式之间的联系，特别针对 $n=2\ell+1$ 的 $ISO(n)$ 情形。
• 阐明 $IO(n)$ 与 $ISO(n)$ 不变代数之间的关系，表明后者需要一个不在标准迹构造像中的“奇异”不变量。

提出的方法

• 本文利用杜夫洛同构（Duflo isomorphism）将泛包络代数中心的研究转化为对称代数 $S(\mathfrak{p})$ 中多项式不变量代数的研究。
• 通过使用迹形式计算 $x \in \mathfrak{gl}(n)$ 的特征多项式系数的梯度 $B_k(x)$ 来构造生成元。
• 多项式不变量定义为由 $v^* B_k(y)$ 构成的矩阵的行列式，从而为 $ISL(n)$ 得到单个生成元 $f$，并将其推广至 $IO(n)$ 和 $ISO(n)$ 的多个生成元。
• 通过矩阵 $Y = \begin{pmatrix} y & -{}^t w^* \\ w^* & 0 \end{pmatrix}$ 推导出不变量的显式公式，其佩夫连式给出奇维情形下的关键不变量 $\Phi$。
• 该方法依赖于将不变量限制在特定子流形 $\mathfrak{h} \subset \mathfrak{p}^*$ 上，证明在此处不变量生成一个多项式代数。
• 运用表示理论技术，包括 $Ad^*$-不变性及协变多项式 $\Phi_k(y,v^*) = v^* B_k(y)$，证明生成元集合的维数和独立性。

实验结果

研究问题

• RQ1 对于 $ISL(n)$，其余伴随不变量的代数独立多项式生成元的完整系统是什么？
• RQ2 在奇维情形下，$IO(n)$ 与 $ISO(n)$ 的不变量有何不同？
• RQ3 当 $n=2\ell+1$ 时，佩夫连式在构造 $ISO(n)$ 的“奇异”不变量中起什么作用？
• RQ4 $GL(n)\times(V\oplus V^*)$ 的不变量与 $IO(n)$ 和 $ISO(n)$ 的不变量有何关系？
• RQ5 当 $\mathfrak{p} = \mathfrak{g} \times V$ 且 $\mathfrak{g} = \mathfrak{so}(n)$ 时，不变代数 $Y(\mathfrak{p})$ 的结构如何？其与 $\mathbb{Z}_2$-收缩框架的关系是什么？

主要发现

• 对于 $ISL(n)$，不变代数 $Y(\mathfrak{p})$ 由行列式函数 $f(y,v^*) = \det(v^*B_{n-1}(y), \dots, v^*)$ 的限制 $\overline{f}$ 生成，该函数是 $SL(n)$-协变的，并在余伴随作用下按 $\det(g)^{-1}$ 变换。
• 在 $n=2\ell+1$ 的 $IO(n)$ 情形下，不变代数 $J$ 由 $\psi_0, \dots, \psi_\ell$ 生成，其中 $\psi_k(y,w^*) = p_{2k+2}(Y) - p_{2k+2}(y)$，$Y = \begin{pmatrix} y & -{}^t w^* \\ w^* & 0 \end{pmatrix}$，且这些生成元代数独立。
• 对于 $n=2\ell+1$ 的 $ISO(n)$，不变代数 $Y(\mathfrak{c})$ 由 $\psi_0, \dots, \psi_{\ell-1}$ 和一个“奇异”不变量 $\Phi$ 生成，满足 $\Phi^2 = \psi\_\ell$，其中 $\Phi(y,w^*) = w^* \cdot pf(y)$，$pf(y)$ 为向量佩夫连式。
• 将不变量 $\overline{f}$ 限制在特定子代数 $\mathfrak{h}$ 上，得到一个多项式 $t$，其与 Kaneta 的生成元一致，确认了与早期工作的相容性。
• 建立了不变代数 $Y(\mathfrak{p})$ 与 $\mathbb{C}[\varphi_0, \dots, \varphi_\ell]$ 之间的显式同构，其中 $\varphi_k$ 为 $y$ 和 $w^*$ 的特征值的对称多项式，证明了代数独立性。
• $IO(n)$ 的不变代数 $J$ 同构于 $Y(\mathfrak{b})$ 的商代数，其中 $\mathfrak{b} = \mathfrak{gl}(n) \times (V \oplus V^*)$，表明较大群与较小群的不变量之间存在更深层次的结构关系。