[論文レビュー] 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} = \mathfrak{g}_0 \oplus \mathfrak{g}_1$ に基づく対合から得られる、対称代数 $\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}} \subset \mathcal{S}(\mathfrak{g})^{\mathfrak{g}_0}$ を定義する。
• 1パラメータ族 $\{\,,\}_t = \{\,,\}' + t\{\,,\}''$ を用いた、相性の良いポアソン括弧の方法を適用し、ポアソン可換部分代数を生成する。
• 正則な $t$ に対して、族 $\{\,,\}_t$ の中心から生成される代数 $\tilde{\mathcal{Z}}$ を導入し、ポアソン可換性を保証する。
• 歪対称形式のペアのジョルダン＝クロネッカー標準形を用いて、ポアソンテンソルのランクおよび核の構造を分析する。
• $\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}$ が多項式的であることが示される。
• 本論文は、代数的に独立であり、かつ引数シフト法では構成できない、最大のポアソン可換部分代数の新しいクラスを確立する。