[论文解读] 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

一句话总结

本文建立了特征零域上迭代泊松多项式代数的泊松迪克西尔-莫格林等价性，以及格列夫兰德-基里洛夫问题的二次类比。通过利用有理环作用与稳定泊松素理想的有限性，证明了泊松本原理想在其 $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.

研究动机与目标

• 建立特征零域上迭代泊松多项式代数的泊松迪克西尔-莫格林等价性。
• 在泊松多项式代数的背景下，研究格列夫兰德-基里洛夫问题的二次类比。
• 确定泊松多项式代数的商域同构于泊松-外尔域的条件。
• 通过环作用与整性条件，将量子代数的半经典极限已知结果推广至泊松设定。
• 在有理环作用下，表征泊松本原理想为其 $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$ 时 $\lambda_{ij}$ 的 $\mathbb{Z}$-线性无关性与变换矩阵的整性，推导出 $A, B \in GL_n(\mathbb{Z})$。
• 应用拉普拉斯展开与余子式消失条件，证明 $BA$ 必为对角矩阵且元素为 $\pm 1$，从而推出 $BA \in GL_n(\mathbb{Z})$。

实验结果

研究问题

• RQ1 迭代泊松多项式代数的泊松迪克西尔-莫格林等价性在何种条件下成立？
• RQ2 泊松多项式代数的商域在何种情况下同构于泊松-外尔域？
• RQ3 有理环作用如何影响泊松代数中泊松本原理想的结构？
• RQ4 泊松括号矩阵的秩与整性在确定商域同构类型中起何作用？
• RQ5 能否通过矩阵秩与 $\mathbb{Z}$-线性无关性表征泊松括号矩阵在 $GL_n(\mathbb{Z})$-作用下的等价性？

主要发现

• 在有理环作用下，若仿射泊松代数仅有有限个 $H$-稳定泊松素理想，则泊松迪克西尔-莫格林等价性成立。
• 在给定条件下，泊松本原理想恰好是其 $H$-层内极大泊松素理想。
• 若泊松括号矩阵具有满秩 $n(n-1)/2$ 且其元素 $\mathbb{Z}$-线性无关，则泊松多项式代数的商域同构于泊松-外尔域。
• 当括号矩阵具有最大秩且元素 $\mathbb{Z}$-线性无关时，关联泊松括号的变换矩阵 $A$ 与 $B$ 必须属于 $GL_n(\mathbb{Z})$。
• 在满秩与 $\mathbb{Z}$-线性无关性假设下，矩阵 $BA$ 为对角矩阵且元素为 $\pm 1$，从而推出 $BA \in GL_n(\mathbb{Z})$。
• 当矩阵元素构成 $\mathbb{Z}$-基且秩达到最大时，泊松括号矩阵在 $GL_n(\mathbb{Z})$-作用下的等价性成立。