[论文解读] Poisson-commutative subalgebras of $S(\mathfrak g)$ associated with involutions

Dmitri I. Panyushev, Oksana Yakimova|arXiv (Cornell University)|Sep 2, 2018

Advanced Algebra and Geometry参考文献 17被引用 5

一句话总结

该论文通过与对合相关的对称分解 $\mathfrak{g} = \mathfrak{g}_0 \oplus \mathfrak{g}_1$，在半单李代数 $\mathfrak{g}$ 的对称代数 $\mathcal{S}(\mathfrak{g})$ 中构造了极大泊松交换子代数。论文引入了 $\mathfrak{g}_0$-不变子代数 $\mathcal{S}(\mathfrak{g})^{\mathfrak{g}_0}$ 中的子代数 $\mathcal{Z}$ 和 $\tilde{\mathcal{Z}}$，并证明当 $\mathbb{Z}_2$-收缩代数 $\mathfrak{g}_0 \ltimes \mathfrak{g}_1^{\text{ab}}$ 的不变量环为多项式环时，$\tilde{\mathcal{Z}}$ 是多项式环且极大。

ABSTRACT

The symmetric algebra $S(\mathfrak g)$ of a reductive Lie algebra $\mathfrak g$ is equipped with the standard Poisson structure, i.e., the Lie-Poisson bracket. Poisson-commutative subalgebras of $S(\mathfrak g)$ attract a great deal of attention, because of their relationship to integrable systems and, more recently, to geometric representation theory. The transcendence degree of a Poisson-commutative subalgebra ${\mathcal C}\subset S(\mathfrak g)$ is bounded by the "magic number" $\boldsymbol{b}(\mathfrak g)$ of $\mathfrak g$. The "argument shift method" of Mishchenko-Fomenko was basically the only known source of $\mathcal C$ with ${ m trdeg\,}{\mathcal C}=\boldsymbol{b}(\mathfrak g)$. We introduce an essentially different construction related to symmetric decompositions $\mathfrak g=\mathfrak g_0\oplus\mathfrak g_1$. Poisson-commutative subalgebras $\mathcal Z, ilde{\mathcal Z}\subset S(\mathfrak g)^{\mathfrak g_0}$ of the maximal possible transcendence degree are presented. If the $\mathbb Z_2$-contraction $\mathfrak g_0\ltimes\mathfrak g_1^{\sf ab}$ has a polynomial ring of symmetric invariants, then $ ilde{\mathcal Z}$ is a polynomial maximal Poisson-commutative subalgebra of $S(\mathfrak g)^{\mathfrak g_0}$, and its free generators are explicitly described.

研究动机与目标

• 在 $\mathcal{S}(\mathfrak{g})$ 中构造具有极大超越次数的新族泊松交换子代数。
• 通过引入基于对合产生的对称对 $\mathfrak{g} = \mathfrak{g}_0 \oplus \mathfrak{g}_1$ 的新构造，扩展参数平移方法。
• 确定所构造子代数 $\tilde{\mathcal{Z}}$ 为多项式且极大泊松交换子代数的条件。
• 将 $\tilde{\mathcal{Z}}$ 的结构与 $\mathbb{Z}_2$-收缩代数 $\mathfrak{g}_0 \ltimes \mathfrak{g}_1^{\text{ab}}$ 及其不变量的几何性质联系起来。
• 当收缩代数的不变量环为多项式环时，提供 $\tilde{\mathcal{Z}}$ 的显式生成元。

提出的方法

• 利用由李代数对合诱导的对称分解 $\mathfrak{g} = \mathfrak{g}_0 \oplus \mathfrak{g}_1$，在 $\mathcal{S}(\mathfrak{g})^{\mathfrak{g}_0}$ 中定义子代数 $\mathcal{Z}, \tilde{\mathcal{Z}}$。
• 通过一维参数族 $\{\,,\}_t = \{\,,\}' + t\{\,,\}''$ 应用相容泊松括号的方法，生成泊松交换子代数。
• 将代数 $\tilde{\mathcal{Z}}$ 定义为当 $t$ 为正则值时，一族 $\{\,,\}_t$ 的中心生成的代数，从而保证泊松交换性。
• 利用一对斜对称形式的若尔当代数-克罗内克标准型分析泊松张量的秩与核结构。
• 依赖于 $\mathbb{Z}_2$-收缩代数 $\mathfrak{g}_0 \ltimes \mathfrak{g}_1^{\text{ab}}$ 具有对称不变量的多项式环这一条件，以确保 $\tilde{\mathcal{Z}}$ 为多项式环。
• 利用标准型中若尔当代数与克罗内克块的结构，计算核与子空间的维数，从而导出超越次数公式。

实验结果

研究问题

• RQ1 能否在参数平移方法之外，构造出 $\mathcal{S}(\mathfrak{g})$ 的新极大泊松交换子代数？
• RQ2 在何种条件下，子代数 $\tilde{\mathcal{Z}}$ 为多项式且极大泊松交换子代数？
• RQ3 $\mathbb{Z}_2$-收缩代数 $\mathfrak{g}_0 \ltimes \mathfrak{g}_1^{\text{ab}}$ 的结构如何影响 $\tilde{\mathcal{Z}}$ 的不变量与泊松交换性？
• RQ4 如何精确确定 $\tilde{\mathcal{Z}}$ 的超越次数，其与“魔术数”$\mathbf{b}(\mathfrak{g})$ 的关系是什么？
• RQ5 当收缩代数的不变量环为多项式环时，能否构造出 $\tilde{\mathcal{Z}}$ 的显式自由生成元？

主要发现

• 子代数 $\tilde{\mathcal{Z}}$ 是 $\mathcal{S}(\mathfrak{g})^{\mathfrak{g}_0}$ 中的极大泊松交换子代数，其超越次数等于魔术数 $\mathbf{b}(\mathfrak{g})$。
• 当 $\mathbb{Z}_2$-收缩代数 $\mathfrak{g}_0 \ltimes \mathfrak{g}_1^{\text{ab}}$ 具有对称不变量的多项式环时，$\tilde{\mathcal{Z}}$ 是一个多项式代数，且其自由生成元可显式描述。
• 通过相容泊松括号构造 $\tilde{\mathcal{Z}}$ 的方法，可得到超越次数达到可能最大值的泊松交换子代数。
• 通过若尔当代数-克罗内克标准型计算泊松张量的核维数，得到在特定秩条件下 $\dim L = (\dim V - m) + \frac{1}{2}(\dim V - \dim U)$ 的公式。
• 若对合 $\sigma$ 为“良好”对合（即其对应的对称对满足有利的不变性条件），则子代数 $\mathcal{Z}$ 为多项式代数。
• 本文建立了一类新的极大泊松交换子代数，其元素代数独立，且无法通过参数平移方法构造。