[論文レビュー] Complete families of commuting functions for coisotropic Hamiltonian actions

É. B. Vinberg, Oksana Yakimova|arXiv (Cornell University)|Nov 20, 2005

Advanced Algebra and Geometry参考文献 9被引用数 10

ひとこと要約

本稿は、標数0の体上の代数群 $ G $ に対して、コイソトロピックハミルトニアン $ G $-多様体上に、代数的に独立でポアソン可換な関数の完全族が存在することを確立する。不変式理論とリー代数構造への帰納法を用いて、このような多様体が、トレース度数 $ ( ext{dim} hinspace X + \operatorname{tr.deg}\, \mathbb{F}(X)^G)/2 $ の最大のポアソン可換部分代数を有することを証明し、可積分系とポアソン幾何学における重要な問題を解決する。

ABSTRACT

Let G be an algebraic group over a field F of characteristic zero, with Lie algebra g=Lie(G). The dual space g^* equipped with the Kirillov bracket is a Poisson variety and each irreducible G-invariant subvariety X\subset g^* carries the induced Poisson structure. We prove that there is a family of algebraically independent polynomial functions {f_1,...f_l} on X, which pairwise commute with respect to the Poisson bracket and such that l=(dim X+tr.deg F(X)^G)/2. We also discuss several applications of this result to complete integrability of Hamiltonian systems on symplectic Hamiltonian G-varieties of corank zero and 2.

研究の動機と目的

• 標数0の体上の代数群に対して、コイソトロピックハミルトニアン $ G $-多様体上に、完全な可換関数族の存在を確立すること。
• シンプレクティック多様体上のコイソトロピック作用の文脈において、ポアソン可換部分代数の構造を解明すること。
• 非再帰的かつ代数的に閉じていない設定へと、完全可積分性に関する結果を一般化すること。
• 不変式理論とリー代数の縮約を用いて、最大のポアソン可換部分代数を一様に構成する枠組みを提供すること。

提案手法

• 多様体 $ X \subset \mathfrak{g}^* $ が $ G $-不変であるとき、$ \mathbb{F}[X] $ 上のポアソン代数構造を用いる。
• リー代数 $ \mathfrak{g}^* $ 上のキリロフ＝コスタントのポアソン括弧を適用し、$ X $ 上にポアソン構造を誘導する。
• 特に、べき零部分代数と特徴的イデアルに注目して、リー代数構造への帰納法により問題を簡略化する。
• 不変式理論を用いる：$ \mathbb{F}(X)^H $ および $ \mathbb{F}(X)^G $ を用いてトレース度数を計算する。
• 中心化子 $ R = \{ f \in \mathbb{F}(X) \mid \{f, \mathbb{F}[X]^H\} = 0 \} $ を用いて、ポアソン中心を制御する。
• 体拡張に対して降下技術を適用し、同型 $ \mathbb{K}(\widetilde{X}) = \mathbb{F}(X)^H \otimes_\mathbb{F} \mathbb{K} $ を用いて、代数的に閉じた体に還元する。

実験結果

リサーチクエスチョン

• RQ1 任意のコイソトロピックハミルトニアン $ G $-多様体は、代数的に独立でポアソン可換な関数の完全族を有するか？
• RQ2 このような文脈におけるポアソン可換部分代数の最大トレース度数は何か？
• RQ3 非再帰的または代数的に閉じていない場合に、ポアソン中心と不変量の構造はどのように相互作用するか？
• RQ4 リー代数の部分構造を用いた帰納的構成により、完全可換族の構成を簡略化できるか？
• RQ5 べき零部分代数と特徴的イデアルは、可換関数の帰納的構成においてどのような役割を果たすか？

主な発見

• 任意のリー代数 $ \mathfrak{q} $ がシンプレクティック代数 $ \mathcal{P} $ 上にコイソトロピックハミルトニアン作用をもつとき、ノエター部分代数 $ \mathcal{P}(\mathfrak{q}) $ はトレース度数 $ \frac{1}{2} \operatorname{rk} \mathcal{P} $ のポアソン可換部分代数を含む。
• リー代数 $ \mathfrak{g}^* $ の $ G $-不変部分多様体 $ X \subset \mathfrak{g}^* $ 上に存在する代数的に独立なポアソン可換関数の最大数は $ l(X) = \frac{1}{2}(\dim X + \operatorname{tr.deg}\, \mathbb{F}(X)^G) $ である。
• この構成は体拡張に対して不変である：基底体を拡張しても $ l(X) = l(\widetilde{X}) $ が成り立つ。
• 代数的に閉じていない $ \mathbb{F} $ に対しても、降下と同型 $ \mathbb{K}(\widetilde{X}) = \mathbb{F}(X)^H \otimes_\mathbb{F} \mathbb{K} $ を用いることで、結果が成り立つ。
• 非代数的リー代数に対しては、べき零部分代数の分解により、再帰的またはハイゼンベルク型の状況に帰着される。
• ハイゼンベルクの場合、部分代数 $ \tilde{\mathfrak{l}} $ を $ \tilde{\mathfrak{l}} \cap \mathfrak{n} = \mathfrak{z} $ を満たすように選び、$ l(\tilde{X}) = l(X) - \frac{1}{2}\dim V $ とすることで、帰納的構造を保つ。