[Paper Review] Poisson structures of multi-parameter symplectic and Euclidean spaces

Sei‐Qwon Oh|ArXiv.org|Aug 6, 2003

Advanced Topics in Algebra13 references3 citations

TL;DR

This paper constructs Poisson algebras as classical limits of multi-parameter quantized coordinate rings of symplectic and Euclidean $2n$-spaces, and proves that their prime and primitive spectra are topological quotients of the corresponding Poisson and symplectic spectra. The key result confirms a conjecture on primitive spectra of quantized algebras by showing that the quantized spaces arise as topological quotients of their classical counterparts via Poisson structures.

ABSTRACT

A class of Poisson algebras considered as a Poisson version of the multiparameter quantized coordinate rings of symplectic and Euclidean $2n$-spaces is constructed and the prime Poisson ideals and the symplectic ideals of these Poisson algebras are described. As a result, it is shown that the multiparameter quantized symplectic and Euclidean $2n$-spaces are topological quotients of their classical spaces.

Motivation & Objective

• To establish a Poisson algebraic framework for multi-parameter quantized symplectic and Euclidean $2n$-spaces as classical limits of their quantum counterparts.
• To describe the prime Poisson ideals and symplectic ideals of these Poisson algebras.
• To verify that the primitive spectra of the quantized algebras are topological quotients of their classical spectra, thus confirming a conjecture in noncommutative algebraic geometry.
• To generalize previous results on $\mathcal{O}_q(\mathbf{k}^n)$ and $\mathcal{O}_q(SL_2)$ to the multi-parameter symplectic and Euclidean cases.

Proposed method

• Construct a Poisson polynomial ring $A[x;\alpha,\delta]_p$ over a Poisson algebra $A$ using Poisson derivations $\alpha$ and derivations $\delta$ satisfying a specific compatibility condition.
• Define the Poisson algebra $A_{n,\Gamma}^{P,Q}$ as a Poisson version of the quantized coordinate ring $K_{n,\Gamma}^{P,Q}$, modeling the classical limit of multi-parameter quantum spaces.
• Introduce an additive group $K$ acting on $A_{n,\Gamma}^{P,Q}$ via Poisson derivations, enabling classification of $K$-prime Poisson ideals.
• Use the action of $K$ to relate the Poisson spectrum to the symplectic and prime spectra via quotient maps.
• Prove that the map $\pi: \text{spec } A \to \text{pspec } A$, $P \mapsto (P:\mathcal{H}(A))$, is a topological quotient map, linking prime ideals to Poisson ideals.
• Establish that the restriction $\pi|_{\max A_n}: \max A_n \to \text{symp } A_n$ is a topological quotient map, linking maximal ideals to symplectic ideals.

Experimental results

Research questions

• RQ1 Does the prime spectrum of the multi-parameter quantized symplectic and Euclidean $2n$-spaces arise as a topological quotient of the prime Poisson spectrum of its classical Poisson algebra?
• RQ2 Are the primitive spectra of the quantized algebras topological quotients of the symplectic spectra of the corresponding Poisson algebras?
• RQ3 Can the Poisson structure of the classical space be used to classify the prime and primitive ideals of its quantized deformation?
• RQ4 How does the action of an additive group of Poisson derivations on the Poisson algebra relate to the classification of $K$-prime Poisson ideals?
• RQ5 Is the conjecture that primitive spectra of quantized algebras are topological quotients of their classical spaces valid for multi-parameter symplectic and Euclidean $2n$-spaces?

Key findings

• The Poisson algebra $A_{n,\Gamma}^{P,Q}$ is constructed as a Poisson version of the multi-parameter quantized coordinate ring $K_{n,\Gamma}^{P,Q}$, providing a classical limit for these quantum spaces.
• The map $\pi: \text{spec } A_n \to \text{pspec } A_n$, $P \mapsto (P:\mathcal{H}(A_n))$, is a topological quotient map, linking prime ideals to prime Poisson ideals.
• The restriction $\pi|_{\max A_n}: \max A_n \to \text{symp } A_n$ is a topological quotient map, showing that symplectic ideals arise as images of maximal ideals under the Poisson quotient.
• For any symplectic ideal $P$ of $A_n$, it is shown that $P = \bigcap \{ M \in \max A_n \mid (M:\mathcal{H}(A_n)) = P \}$, proving that symplectic ideals are intersections of maximal ideals.
• The conjecture in [1, II.10.12] is confirmed for multi-parameter symplectic and Euclidean $2n$-spaces: the prime and primitive spectra of $K_{n,\Gamma}^{P,Q}$ are topological quotients of the corresponding classical spectra.