[論文レビュー] Generalized argument shift method and complete commutative subalgebras in polynomial Poisson algebras

Anton Izosimov|arXiv (Cornell University)|Jun 14, 2014

Algebraic structures and combinatorial models参考文献 3被引用数 4

ひとこと要約

この論文は、元の可換部分代数が不完全である場合に、有限次元リー代数に関連する多項式ポアソン代数において完全可換部分代数を構成するため、ミシエンコ＝フォメンコの引数シフト法を拡張する。一般化された引数シフト構成を導入し、基本的半不変量から得られる関数を追加することでミシエンコ＝フォメンコ代数を拡張し、特異集合の余次元が1であり、再帰作用素に特定のスペクトル条件が満たされる場合に完全性を証明する。

ABSTRACT

The Mischenko-Fomenko argument shift method allows to construct commutative subalgebras in the symmetric algebra $S(\mathfrak g)$ of a finite-dimensional Lie algebra $\mathfrak g$. For a wide class of Lie algebras, these commutative subalgebras appear to be complete, i.e. they have maximal transcendence degree. However, for many algebras, Mischenko-Fomenko subalgebras are incomplete or even empty. In this case, we suggest a natural way how to extend Mischenko-Fomenko subalgebras, and give a completeness criterion for these extended subalgebras.

研究の動機と目的

• ミシエンコ＝フォメンコの引数シフト法の限界を解決する。この方法は、共軛表現における特異集合の余次元が1である場合、完全可換部分代数を生成できない。
• 標準的リー＝ポアソン括弧と凍結引数括弧の両方に対して可換性を保つ、ミシエンコ＝フォメンコ部分代数の自然な拡張を開発する。
• 再帰作用素のスペクトル的性質と安定化部分代数の構造に基づいて、拡張された部分代数の完全性基準を確立する。
• 一般化された引数シフト予想への一歩を提供する。この予想は、任意のリー代数に対して、両方のポアソン構造に関して可換な部分代数の存在を主張する。

提案手法

• 共軛軌道に関連する再帰作用素の固有値 $\lambda_i(x)$ を元のミシエンコ＝フォメンコ代数 $\mathcal{F}_a$ に付加することで、拡張された部分代数 $\widetilde{\mathcal{F}}_a$ を定義する。
• 特異集合 $\mathrm{Sing}_0$ に正確に消失する基本的半不変量 $p_\mathfrak{g}(x)$ を用い、安定化部分代数の次元がインデックスより2大きい臨界点を特定する。
• スケュー対称双線形形式 $P_\lambda = \mathcal{A}_{x - \lambda a}$ 及びそれらに関連する再帰作用素 $R$ の理論を用い、微分空間 $\mathrm{d}\widetilde{\mathcal{F}}(x)$ の等方性と最大性を分析する。
• ジョルダン＝クロネッカー定理および $A_a = \mathcal{A}_a$ の核の性質を用い、$R$ の固有値がすべて重複度2であり、$\mathrm{d}\lambda_i(x) \notin \mathrm{d}\mathcal{F}(x)$ であることを示し、最大等方性を保証する。
• $\mathrm{d}\widetilde{\mathcal{F}}(x)$ が $A_x$ および $A_a$ の両方に関して最大等方的であることを確立し、その次元が $b(\mathfrak{g}) = \frac{1}{2}(\dim\mathfrak{g} + \mathrm{ind}\,\mathfrak{g})$ に等しいことを示し、完全性を証明する。
• 拡張された部分代数 $\widetilde{\mathcal{F}}_a$ が完全であるための必要十分条件として、特異集合 $\mathrm{Sing}_0$ が基本的半不変量の零点集合に稠密であること、および再帰作用素 $R$ が重複度2より大きい固有値をもつジョルダンブロックを含まないこと（すなわち、すべての固有値が重複度2）を示す。

実験結果

リサーチクエスチョン

• RQ1 元の部分代数が不完全である場合、共軛表現における特異集合の余次元が1であるとき、ミシエンコ＝フォメンコ部分代数を $S(\mathfrak{g})$ 内で完全可換部分代数に拡張できる条件は何か？
• RQ2 標準的リー＝ポアソン括弧と凍結引数括弧の両方に対して可換性を保つように、一般化された引数シフト法を体系的に構成する方法は何か？
• RQ3 再帰作用素 $R$ にどのようなスペクトル的条件が、拡張された部分代数 $\widetilde{\mathcal{F}}_a$ の完全性を保証するか？
• RQ4 一般点 $x$ において、拡張された部分代数 $\widetilde{\mathcal{F}}_a$ がスケュー対称形式 $A_x$ および $A_a$ に関して最大等方的であるか？
• RQ5 安定化部分代数 $\mathfrak{g}_{x - \lambda_i a}$ の構造を用いて、$\widetilde{\mathcal{F}}_a$ の完全性を幾何的に特徴づけられるか？

主な発見

• 拡張された部分代数 $\widetilde{\mathcal{F}}_a$ は、標準的リー＝ポアソン括弧および凍結引数括弧 $\{\cdot,\cdot\}_a$ の両方に関して可換である。
• 部分代数 $\widetilde{\mathcal{F}}_a$ が完全であるための必要十分条件は、特異集合 $\mathrm{Sing}_0$ が基本的半不変量 $p_\mathfrak{g}(x)$ の零点集合に稠密であること、および再帰作用素 $R$ がすべての固有値の重複度が正確に2であることである。
• 特異集合 $\mathrm{Sing}_0$ に属する一般点 $x$ において、微分空間 $\mathrm{d}\widetilde{\mathcal{F}}(x)$ の次元は $b(\mathfrak{g}) = \frac{1}{2}(\dim\mathfrak{g} + \mathrm{ind}\,\mathfrak{g})$ に等しく、完全性が確認される。
• $\mathrm{d}\lambda_i(x) \notin \mathrm{d}\mathcal{F}(x)$ であるのは、$\mathrm{d}\lambda_i(x)$ が中心 $\mathcal{Z}(\mathfrak{g}_i)$ には属さないが、$[\mathfrak{g}_i, \mathfrak{g}_i]$ には属するため、元の部分代数と線形独立であることが保証される。
• $R$ にジョルダンブロックがないことは、$\dim\mathrm{Ker}(A_a|_{\mathfrak{g}_i}) = r = \mathrm{ind}\,\mathfrak{g}$ であることから保証され、$A_a|_{\mathfrak{g}_i} = 0$ かつ $\mathfrak{g}_i$ がアーベルである場合を除外する。
• 証明は、$\dim(\mathfrak{g}_i \cap L) = r$ および $\dim(\mathfrak{g}_i) = r+2$ であることから、商 $\mathfrak{g}_i / (\mathfrak{g}_i \cap L)$ が2次元であることを用い、$R$ のすべての固有空間が2次元であることを保証する。