On the semi-centre of a Poisson algebra (Q2188397)

Let \(A\) be a Poisson algebra on the field \(K\) of characteristic 0 with the Poisson bracket \(\{\cdot,\cdot\}\). The following definitions are essential: a Poisson ideal of \(A\) is an ideal \(I\) such that \(\{A,I\}\subset I\), a prime ideal is a Poisson prime ideal if it is also a Poisson ideal, the \(\text{P.Spec}(A)\) is the set of all Poisson prime ideals on \(A\) which is called Poisson prime spectrum. Next, if \(I\) is an ideal of \(A\), the Poisson core of \(I\) is just the largest Poisson ideal included in \(I\), and the Poisson cores of the maximal ideals of \(A\) are defined as the Poisson-primitive ideals of \(A\). Finally, a Poisson prime ideal \(I\) of \(A\) is Poisson rational when the Poisson center of \(\operatorname{Fract}A/I\) is algebraic on \(K\). We recall the Poisson Dixmier-Moeglin equivalence for \(A\), that is to say the equalities between the following sets: that of Poisson-primitive ideals of \(A\), that of locally closed points in \(\text{P.Spec}(A)\) with Zariski topology, that of Poisson rational Poisson prime ideals on \(A\). The Poisson semi-centre \(A^{sc}\) of \(A\) is the subalgebra spanned by all Poisson normal elements, we mean by Poisson normal element \(a\) of \(A\) if \(\{A,a\}\subset Aa\). The following assertion is proved for an integral Poisson algebra \(A\) with certain condition added by the finitely generation of \(A^{sc}\): there is a non-zero normal element in all non-zero Poisson ideals of \(A^{sc}\) and all rational Casimir of \(A^{sc}\) coincide with a quotient of two normal elements satisfying a property relative to derivation; the authors of the paper under review show with the same conditions above on \(A\) that \(A^{sc}\) verifies the Poisson Dixmier-Moeglin equivalence. This article is well-illustrated by examples.