[論文レビュー] The Dixmier-Moeglin equivalence and a Gel'fand-Kirillov problem for Poisson polynomial algebras

K. R. Goodearl, Stéphane Launois|arXiv (Cornell University)|May 24, 2007

Algebraic structures and combinatorial models参考文献 13被引用数 8

ひとこと要約

本稿は、標数0の体上の反復ポアソン多項式代数に対して、ポアソン・ディクスミエール＝モーグリン同等性とゲルファンド＝キリロフ問題の二次的類似を確立する。有理的トーラス作用と安定ポアソン素イデアルの有限性を活用することで、ポアソン原始的イデアルがそれらの $H$-層内で最大のポアソン素イデアルに一致することを証明し、また、ポアソン括弧行列のランクと整数性条件が満たされる場合、特定のポアソン多項式代数の商体がポアソン＝ヴェイル体と同型であることを示す。

ABSTRACT

The structure of Poisson polynomial algebras of the type obtained as semiclassical limits of quantized coordinate rings is investigated. Sufficient conditions for a rational Poisson action of a torus on such an algebra to leave only finitely many Poisson prime ideals invariant are obtained. Combined with previous work of the first-named author, this establishes the Poisson Dixmier-Moeglin equivalence for large classes of Poisson polynomial rings, such as semiclassical limits of quantum matrices, quantum symplectic and euclidean spaces, quantum symmetric and antisymmetric matrices. For a similarly large class of Poisson polynomial rings, it is proved that the quotient field of the algebra (respectively, of any Poisson prime factor ring) is a rational function field $F(x_1,...,x_n)$ over the base field (respectively, over an extension field of the base field) with $\{x_i,x_j\}= λ_{ij} x_ix_j$ for suitable scalars $λ_{ij}$, thus establishing a quadratic Poisson version of the Gel'fand-Kirillov problem. Finally, partial solutions to the isomorphism problem for Poisson fields of the type just mentioned are obtained.

研究の動機と目的

• 標数0の体上の反復ポアソン多項式代数に対して、ポアソン・ディクスミエール＝モーグリン同等性を確立すること。
• ポアソン多項式代数の文脈におけるゲルファンド＝キリロフ問題の二次的類似を調査すること。
• ポアソン多項式代数の商体がポアソン＝ヴェイル体と同型となる条件を特定すること。
• 有理的トーラス作用と整数性条件を用いて、量子代数の半古典的極限に関する既知の結果をポアソン設定へと拡張すること。
• 有理的トーラス作用の下で、ポアソン原始的イデアルがそれらの $H$-層内で最大のポアソン素イデアルとして特徴付けられることを明らかにすること。

提案手法

• 代数的トーラス $H = (k^\times)^r$ の有理的作用を、アフィンポアソン代数のポアソン素イデアルスぺクトラムを $H$-層に分割するために用いる。
• 文献[7]の定理0.3を適用し、有限個の $H$-安定ポアソン素イデアルが存在することにより、ポアソン・ディクスミエール＝モーグリン同等性が成立することを示す。
• ポアソン括弧行列 $\lambda$ を整数行列変換とランク条件を用いて分析し、商体の同型型を特定する。
• 基底変換におけるポアソン構造の関係を表す行列方程式 $\mu = A\lambda A^{\operatorname{tr}}$ および $\lambda = B\mu B^{\operatorname{tr}}$ を用いる。
• $i<j$ に対して $λ_{ij}$ の $Δ$-線形独立性と変換行列の整数性から、$A, B \in GL_n(\mathbb{Z})$ を導出する。
• ラプラス展開と小行列式の消滅条件を用いて、$BA$ が $±1$ の成分をもつ対角行列であることを示し、$BA \in GL_n(\mathbb{Z})$ を得る。

実験結果

リサーチクエスチョン

• RQ1 反復ポアソン多項式代数に対して、ポアソン・ディクスミエール＝モーグリン同等性が成立する条件は何か？
• RQ2 ポアソン多項式代数の商体がポアソン＝ヴェイル体と同型となるのはいつか？
• RQ3 有理的トーラス作用は、ポアソン代数におけるポアソン原始的イデアルの構造にどのように影響するか？
• RQ4 ポアソン括弧行列のランクと整数性が、商体の同型型を決定する上で果たす役割は何か？
• RQ5 $GL_n(\mathbb{Z})$-作用の下でのポアソン括弧行列の同倹性は、行列のランクと $Δ$-線形独立性によって特徴付けられるか？

主な発見

• 有理的トーラス作用の下で、$H$-安定ポアソン素イデアルが有限個存在するアフィンポアソン代数に対して、ポアソン・ディクスミエール＝モーグリン同等性が成立する。
• 与えられた条件下で、ポアソン原始的イデアルは、それらの $H$-層内で最大のポアソン素イデアルに正確に一致する。
• ポアソン括弧行列のランクが $n(n-1)/2$ に達し、その成分が $Δ$-線形独立である場合、ポアソン多項式代数の商体はポアソン＝ヴェイル体と同型である。
• 括弧行列が最大ランクに達し、成分が $Δ$-線形独立である場合、括弧を関連付ける変換行列 $A$ および $B$ は $GL_n(\mathbb{Z})$ に属する必要がある。
• 全ランクおよび $Δ$-線形独立性の仮定の下で、行列 $BA$ は $±1$ の成分をもつ対角行列であり、$BA \in GL_n(\mathbb{Z})$ であることが示される。
• 行列成分が $Δ$-基底をなしており、ランクが最大である場合、$GL_n(\mathbb{Z})$-作用の下でのポアソン括弧行列の同倹性が成立する。