Le groupe des traces de Poisson de la variete quotient h+h*/W en rang 2

TL;DR

This paper computes the dimension of the Poisson trace group for certain quotient varieties arising from symplectic group actions and compares it to the dimension of the trace group of their non commutative deformations, revealing specific values for types A2, B2, and G2.

Contribution

It establishes a precise equality between the Poisson trace dimension and the Hochschild 0-th homology dimension for specific symplectic quotient varieties, extending understanding of their algebraic structures.

Findings

Dimension of $HP_0$ is 1 for type A2.

Dimension of $HP_0$ is 2 for type B2.

Dimension of $HP_0$ is 3 for type G2.

Abstract

Let $V$ be a symplectic space over $\mathbb{C}$, $dim_\mathbb{C} V=2l$, and let $G$ be a finite subgroup of $Sp(V)$. The invariant regular functions $\mathbb{C}[V]^G$ inherit a Poisson algebra structure and so the quotient variety ${\cal X}=V/G$ becomes then an affine algebraic Poisson variety. One can now consider the non commutative deformation of $\cal X$ given by the invariant algebra $A_l(\mathbb{C})^G$, where $A_l(\mathbb{C})$ stands for the Weyl algebra of rank $l$. There exist two families of natural examples of this situation. The first concerns wreath products of a finite subgroup of $SL(2,\mathbb{C})$ with an appropriate symmetric group acting on $(\mathbb{C}^2)^n$; the second family is constructed with a Weyl group $W$ acting on the double of the reflexion representation ${\mathfrak{h}}\oplus {\mathfrak{h}}^*$. A nice result of Berest, Etingof and Ginzburg establishes the finiteness of the dimension of $HP_0({\cal X})= \mathbb{C}[\cal X]/\{\mathbb{C}[\cal X], \mathbb{C}[\cal X]\}$, the Poisson trace group of $\cal X$. The purpose of this work is to compute this dimension in certain cases and in particular to compare it to the dimension of the usual trace group of the above mentioned non commutative deformation. The principal theorem establihed here is : {\bf Theorem.} With the above notations, we have the following equality: $$dim_\mathbb{C} HP_0({{\mathfrak{h}}\oplus {\mathfrak{h}}^*}/W)=dim_\mathbb{C} HH_0(A_l(\mathbb{C})^W).$$ Moreover, this common dimension is 1 in type $ A_2$, 2 in type $B_2$ and 3 in type $G_2$. We also give examples where the difference of these two dimensions is unbounded.