Poisson Noether's problem and Poisson rationality (Q2144375)

Let \(G\subset \mathrm{GL}(h)\) be a complex reflection group. Then \(G\) acts by Poisson-algebra automorphisms on the coordinate ring \(\mathbb{C}[h^*\oplus h]\) endowed with the natural Poisson bracket (here \(h^*\) stands for the dual space of the finite dimensional complex vector space \(h\)). This action extends to an action on the field of fractions \(K_n(\mathbb{C})\) of \(\mathbb{C}[h^*\oplus h]\). The first main result in the paper is that the subfield \(K_n(\mathbb{C})^G\) of \(G\)-invariants is isomorphic to \(K_n(\mathbb{C})\) as a Poisson field. Moreover, an explicit isomorphism is given for irreducible complex reflection groups or the symmetric group \(S_n\) acting naturally on \(h=\mathbb{C}^n\). The questions studied in the paper can be thought of as analogues in the quasi-classical limit of the Noncommutative Noether Problem and the Gelfand-Kirillov Conjecture for rational Cherednik algebras. In particular, the above mentioned theorem is obtained by proving a version in the quasi-classical limit of results proved earlier by the same author and V. Futorny on certain noncommutative Ore domains that quantize the present Poisson algebras. As an application, the Calogero-Moser spaces associated to complex reflection groups are shown to be Poisson rational, and the Gelfand-Kirillov Conjecture for trigonometric Cherednik algebras and the Poisson rationality of their Calogero-Moser spaces are verified.