Factorization in generalized Calogero-Moser spaces (Q2518369): Difference between revisions

Let \(W\) be a complex reflection group, \(\mathfrak h\) its reflection representation over \(\mathbb C\) with \(\text{rank}\mathfrak h=n,\) and \(S\) the set of all reflexions in \(W\). For a \(W\)-invariant function \(\mathbf c:S\rightarrow\mathbb C,\) the \textit{rational Cherednik algebra} \(H_{t,\mathbf c}(W)\) is the quotient of the skew group algebra of the tensor algebra, \(T(\mathfrak h\oplus\mathfrak h^\ast)\rtimes W,\) by the ideal generated by specific relations. The idempotent in \(\mathbb C W\) corresponding to the trivial representation will be denoted \(\mathbf e_{\text W}.\) Let \(Z_{\mathbf c}(W)\) denote the center of \(H_{0,\mathbf c}(W)\) and \(X_{\mathbf c}(W)=\text{maxspec}(Z_{\mathbf c}(W)),\) the corresponding affine variety. Then \(X_{\mathbf c}(W)\) is called the \textit{generalized Calogero-Moser space} associated to the complex reflection group \(W\) at the parameter \(\mathbf c.\) For a point \(b\in\mathfrak h,\) the stabilizer subgroup of \(W\) is denoted \(W_b.\) The author proves that \(\mathbb C[\mathfrak h]^W\) is contained in the center of \(H_{0,\mathbf c}(W,\mathfrak h),\) and that the embedding defines a surjective morphism \(\pi_W:X_{\mathbf c}(W)\twoheadrightarrow\mathfrak h/W.\) The algebra \(Z_{0,\mathbf c}(W)/\langle\mathfrak m(b)\rangle\) is the coordinate ring of the scheme-theoretic pullback \(\pi^{-1}_W(b).\) The \textit{Etingof-Ginzburg sheaf} is the coherent sheaf \(\mathcal R[W]\) on \(X_{\mathbf c}(W)\) corresponding to the finitely generated \(Z_{0,\mathbf c}(W)\)-module \(H_{0,\mathbf c}(W)\mathbf e_{\text W}.\) The main result in the article says that if \(\mathcal R[W_{b}]\) is the Etingof-Ginzburg sheaf on \(X_{\mathbf c^\prime}(W_b)\) and if \(b\in\mathfrak h/W,\) then there is an isomorphism of \(W\)-equivariant sheaves on \(\pi^{-1}_{W_b}(0)\) \[ \Phi_\ast(\mathcal R[W]|_{\pi^{-1}_W(b)})\simeq\text{Ind}^W_{W_b}\mathcal R[W_b]|_{\pi^{-1}_{W_b}(0)}. \] In the case with \(W=S_n,\) \(\mathfrak h=\mathbb C^n,\) the Calogero-Moser space \(X_{\mathbf c}(S_n)\) has been proved to be the classical one, and applying the result above to this example, the author proves a factorization conjectured by Etingof and Ginzburg. This article solves a particular given problem, and uses interesting techniques to do so.