[論文レビュー] Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras

Florence Fauquant-Millet, Polyxeni Lamprou|arXiv (Cornell University)|Jan 4, 2017

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

ひとこと要約

この論文は、適応対を用いて代数的スライスを構成し、上限を改善することで、型B、D、E₆の単純リー代数の切り詰め最大パラボリック部分代数に対するポアソン中心の多項式性を確立する。ポアソン中心が生成元の次数が明示的に決定された多項式代数であることを証明し、従来の手法では失敗した場合を解決する。

ABSTRACT

We show that the Poisson centre of truncated maximal parabolic subalgebras of a simple Lie algebra of type B, D and E_6 is a polynomial algebra. In roughly half of the cases the polynomiality of the Poisson centre was already known by a completely different method. For the rest of the cases, our approach is to construct an algebraic slice in the sense of Kostant given by an adapted pair and the computation of an improved upper bound for the Poisson centre.

研究の動機と目的

• 型B、D、E₆の単純リー代数の切り詰め最大パラボリック部分代数に対するポアソン中心の多項式性を確立すること。
• 適応対を用いて、非再帰的リー代数への代数的スライスおよびワイエルシュトラス断片の理論を拡張すること。
• 多項式性が事前に不明であった場合のポアソン中心の斉次生成元の次数を計算すること。
• 改善された上限と標準的切断を用いた構成的メソッドにより、多項式性を確認すること。
• ドゥイエマンの第4問題を、これらのパラボリック部分代数に対して肯定的に解決すること。すなわち、不変分数の体が純代数的拡張をもつことを示すこと。

提案手法

• 切り詰めパラボリック部分代数 p⁻_{π',Λ} に対して適応対 (h, y) を構成し、代数的スライスを定義する。
• コスタントのスライス定理の枠組みを用いて、スライスをポアソン中心のワイエルシュトラス断片に持ち上げる。
• 半不変量で生成される代数の形式的特徴標を用いて、ポアソン中心の下界 ch 𝒜 を計算する。
• 重み空間分解と有理数補正 t(γ) を用いて、方程式 t(γ) ∈ ℚS を満たす γ + t(γ) が基本重み ϖ₆ の倍数であるようなものを見つけ、改善された上限 𝒷′ を得る。
• 下界と改善された上限を比較する。両者が一致する場合、ポアソン中心の多項式性が従う。
• 根空間における ad h の固有値を計算し、斉次生成元の次数を決定する。

実験結果

リサーチクエスチョン

• RQ1 型B、D、E₆の単純リー代数の切り詰め最大パラボリック部分代数のポアソン中心は多項式代数か？
• RQ2 適応対を用いて、このようなパラボリック部分代数に対して、コスタントの意味における代数的スライスを構成できるか？
• RQ3 形式的特徴標の一致によって多項式性が保証されない場合、ポアソン中心の斉次生成元の次数は何か？
• RQ4 これらのパラボリック部分代数の不変分数の体は、純代数的拡張をもつのか。これにより、ドゥイエマンの第4問題が肯定的に解決されるか？
• RQ5 重み空間分解と有理数補正 t(γ) を用いて、ポアソン中心の改善された上限を計算できるか？

主な発見

• ポアソン中心 Y(𝔭⁻_{π',Λ}) は、k 上の3つの斉次生成元をもつ多項式代数である。
• 生成元の次数は、それぞれ 6, 8, 18 として明示的に計算され、根空間における ad h の固有値に対応する。
• ポアソン中心の改善された上限が下界と一致し、多項式性が確認された。
• （𝔭⁻_{π',Λ})^* 内にアフィンスライス y + 𝔤_T が構成され、これが Y(𝔭⁻_{π'-Λ}) のワイエルシュトラス断片であることが証明された。
• 標準的切断 𝔭_Λ により、ポアソン半中心 Sy(𝔭) がポアソン中心 Y(𝔭_Λ) に一致することが保証され、不変量理論の適用が可能になった。
• 従来の特徴標一致の議論が失敗した E₆ 型パラボリック部分代数の未解決事例が、本手法により解決された。