Morita equivalence of Cherednik algebras

From MaRDI portal
Publication:4456147



Abstract: We classify the rational Cherednik algebras H_c(W) (and their spherical subalgebras) up to isomorphism and Morita equivalence in case when W is the symmetric group and `c' is a generic parameter value.


Let \(W\) be a finite Coxeter group generated by reflections in a finite-dimensional complex vector space \(\mathfrak h\). The rational Cherednik algebras associated to \(W\) is a family of associative algebras \(\{H_c(W)\}\) parametrized by the set of \(W\)-invariant complex multiplicities \(c\colon R\to\mathbb{C}\) on the system of roots \(R\subset{\mathfrak h}^*\) of \(W\). Specifically, for a fixed \(c\colon\alpha\to c_\alpha\), the algebra \(H_c=H_c(W)\) is generated by the vectors of \(\mathfrak{h,h}^*\), and the elements of \(W\) subject to the following relations \[ wxw^{-1}=w(x),\quad wyw^{-1}=w(y),\quad\forall y\in{\mathfrak h},\;x\in{\mathfrak h}^*,\;w\in W; \] \[ x_1x_2=x_2x_1,\quad y_1y_2=y_2y_1,\quad\forall y_1,y_2\in{\mathfrak h},\;x_1,x_2\in{\mathfrak h}^*; \] \[ yx-xy=\langle y,x\rangle-\sum_{\alpha\in R_+}c_\alpha\langle y,\alpha\rangle\langle\alpha^\vee,x\rangle s_\alpha,\quad\forall y\in{\mathfrak h},\;x\in{\mathfrak h}^*. \] Here, as usual, one writes \(\alpha^\vee\in{\mathfrak h}\) for the coroot, \(s_\alpha\in W\) for the reflection corresponding to the root \(\alpha\in R\), \(R_+\subset R\) for a choice of `positive' roots in \(R\), and \(\langle\cdot,\cdot\rangle\) for the canonical pairing between \(\mathfrak h\) and \({\mathfrak h}^*\). Furthermore, each \(H_c\) contains a distinguished subalgebra \(B_c:=eH_ce\), where \(e:=\tfrac 1{|W|}\sum w\) is the symmetrizing idempotent in \(\mathbb{C} W\subset H_c\). We call \(B_c=B_c(W)\) the spherical algebra associated to \((W,c)\). In this paper the authors classify the rational Cherednik algebras \(H_c(W)\) (and their spherical subalgebras) up to isomorphism and Morita equivalence in case when \(W\) is a symmetric group and \(c\) is a generic parameter value. Their main results can be encapsulated into the following two theorems. Theorem 2. If \(c\notin\overline\mathbb{Q}\), where \(\overline\mathbb{Q}\) is the algebraic closure of the field of rational numbers in \(\mathbb{C}\), the algebras \(H_c\) and \(H_{c'}\) are (a) isomorphic if and only if \(c=\pm c'\), (b) \(\mathbb{C}\)-linearly Morita equivalent if and only if \(c\pm c'\in\mathbb{Z}\). Theorem 3. If \(c\notin\overline\mathbb{Q}\), the algebras \(B_c\) and \(B_{c'}\) are (a) isomorphic if and only if \(c=c'\) or \(c=-c'-1\), (b) \(\mathbb{C}\)-linearly Morita equivalent if and only if \(c\pm c'\in\mathbb{Z}\).




Cited in
(26)








This page was built for publication: Morita equivalence of Cherednik algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4456147)