Poisson Dixmier-Moeglin equivalence from a topological point of view (Q2048856)

The Poisson Dixmier-Moeglin equivalence is a generalisation to Poisson algebras of an equivalence between 3 classes of ideals in an algebra which was first investigated independently by \textit{J. Dixmier} [J. Algebra 48, 96--112 (1977; Zbl 0366.17007)] and \textit{C. Mœglin} [Bull. Soc. Math. Fr. 108, 143--186 (1980; Zbl 0447.17008)]. In the setting of this paper where \(A\) is a finitely generated commutative \(\mathbb{C}\)-algebra endowed with a Poisson bracket \(\{-,-\}:A\times A \to A\), this equivalence corresponds to requiring that the following sets coincide: \begin{itemize} \item The set of locally closed Poisson prime ideals; these are the prime ideals \(\mathfrak{p}\in \operatorname{Spec}(A)\) which are Poisson ideals, i.e., \(\{A,\mathfrak{p}\}\subset \mathfrak{p}\), and such that \(\mathfrak{p}\) is the intersection of an open subset with a closed subset in \(\operatorname{Spec}(A)\). \item The set of Poisson primitive ideals; these are the largest Poisson ideals contained in the maximal ideals of \(A\). \item The set of Poisson rational ideals; these are the Poisson prime ideals \(\mathfrak{p}\in \operatorname{Spec}(A)\) for which the Poisson centre of \(\operatorname{Frac}(A/\mathfrak{p})\) is the base field \(\mathbb{C}\). \end{itemize} The aim of the authors is to give topological characterisations of the Poisson Dixmier-Moeglin equivalence. In particular, they relate this equivalence to a separability criterion on the poset \((\operatorname{PSpec}(A),\subseteq)\) of Poisson prime ideals with respect to inclusion, and to the property that the prime symplectic cores are locally closed in \(\operatorname{Spec}(A)\). Such characterisations can be found in Section 6, and as an application it is shown that the centre of a generic 3-dimensional Sklyanin algebra (which is a non-trivial Poisson algebra) satisfies the Poisson Dixmier-Moeglin equivalence. Interestingly, most constructions are carried out when \(A\) is an algebra over a field \(k\) of characteristic \(0\) endowed with a set of \(k\)-linear derivations \(\Delta_A\) in order to characterise a version of the Dixmier-Moeglin equivalence for ideals stable under \(\Delta_A\). The case of a complex Poisson algebra is then obtained by considering \(k=\mathbb{C}\) and \(\Delta_A=\big\{ \{a,-\}\in \operatorname{Der}_{\mathbb{C}}(A) \mid a \in A \big\}\). Let us also note that some results are derived in the presence of a rational action by an affine algebraic group \(G\). This yields natural generalisations of the rational torus actions considered in [\textit{K. R. Goodearl}, Contemp. Math. 419, 131--154 (2006; Zbl 1147.17017)].