Abstract
We present a series of algorithms for computing geometric and representationtheoretic invariants of Calogero–Moser spaces and rational Cherednik algebras associated with complex reflection groups. In particular, we are concerned with Calogero–Moser families (which correspond to the \(\mathbb {C}^\times \)fixed points of the Calogero–Moser space) and cellular characters (a proposed generalization by Rouquier and the first author of Lusztig’s constructible characters based on a Galois covering of the Calogero–Moser space). To compute the former, we devised an algorithm for determining generators of the center of the rational Cherednik algebra (this algorithm has several further applications), and to compute the latter we developed an algorithmic approach to the construction of cellular characters via Gaudin operators. We have implemented all our algorithms in the Cherednik Algebra Magma Package by the second author and used this to confirm open conjectures in several new cases. As an interesting application in birational geometry we are able to determine for many exceptional complex reflection groups the chamber decomposition of the movable cone of a \(\mathbb {Q}\)factorial terminalization (and thus the number of nonisomorphic relative minimal models) of the associated symplectic singularity. Making possible these computations was also a source of inspiration for the first author to propose several conjectures about the geometry of Calogero–Moser spaces (cohomology, fixed points, symplectic leaves), often in relation with the representation theory of finite reductive groups.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let V be a finitedimensional complex vector space and let \(W \subseteq {\textrm{GL}}(V)\) be a finite subgroup generated by reflections in V. The rational Cherednik algebras defined by Etingof and Ginzburg [33] yield a flat family of deformations \({\textbf{H}}_c\) of the algebra \(\mathbb {C} [V \times V^* ]\rtimes W\). Here, \(\mathbb {C} [V \times V^* ]\) is the coordinate ring of the space \(V \times V^*\) considered as an algebraic variety and \(\mathbb {C} [V \times V^* ]\rtimes W\) denotes the semidirect product with the group algebra of W, which incorporates the action of W on \(V \times V^*\). Moreover, c is a parameter from a complex vector space \({\mathscr {C}}\) whose dimension is equal to the number of conjugacy classes of reflections contained in W. We note that in [33] a further deformation parameter \(t \in \mathbb {C}\) is considered but here we focus on the case \(t=0\). Since their introduction, rational Cherednik algebras have attracted a tremendous amount of interest. This stems from their diverse connections to other fields and problems, especially in algebraic geometry and representation theory. We will mention two such connections that serve as motivation for this paper.
The spectrum \({\mathscr {Z}}_c\) of the center \({\textbf{Z}}_c\) of \({\textbf{H}}_c\) is the Calogero–Moser space originating from physics [26, 51]. It is a Poisson deformation of the quotient variety \((V \times V^*)/W\), the latter being a symplectic singularity in the sense of Beauville [1]. The representation theory of \({\textbf{H}}_c\) is closely tied to the geometry of \({\mathscr {Z}}_c\) and plays a key role in the question of whether \((V \times V^*)/W\) admits a symplectic (equivalently, crepant) resolution, see [7, 33, 35, 52], and in determining the chamber decomposition of the movable cone of a \(\mathbb {Q}\)factorial terminalization (i.e. a relative minimal model) of \((V \times V^*)/W\), see [6, 53].
The representation theory of \({\textbf{H}}_c\) is furthermore (conjecturally) linked to (parts of) Kazhdan–Lusztig theory [39] and provides a candidate for extending this theory from finite Coxeter groups to complex reflection groups following the philosophy of the “spetses” program [24]. It was noticed in [36] that \({\textbf{Z}}_c\) contains the subalgebra \({\textbf{P}}= {\mathbb {C}}[V]^W \otimes {\mathbb {C}}[V^*]^W\). This inclusion defines a finite \({\mathbb {C}}^\times \)equivariant morphism \(\Upsilon _c :{\mathscr {Z}}_c \rightarrow {\mathscr {P}}\). The quotient of \({\textbf{H}}_c\) by the ideal generated by the origin in \({\mathscr {P}}\) is the restricted rational Cherednik algebra \(\overline{{\textbf{H}}}_c\). Its blocks are in bijection with the fiber of \(\Upsilon _c\) at the origin—which in turn is precisely the set of \({\mathbb {C}}^\times \)fixed points of \({\mathscr {Z}}_c\)—and the set of simple modules of \(\overline{{\textbf{H}}}_c\) is naturally in bijection with the set \({{\,\mathrm{{\textrm{Irr}}}\,}}(W)\) of irreducible complex characters of W. In particular, the blocks of \(\overline{{\textbf{H}}}_c\) yield a partition of \({{\,\mathrm{{\textrm{Irr}}}\,}}(W)\). These are the Calogero–Moser families. They are (conjecturally) related to Rouquier families defined by the associated Hecke algebra, see [30, 38, 49], which generalize Lusztig’s families of unipotent characters associated with finite Coxeter groups [44, 45]. Rouquier and the first author [18, 19] noticed that the Galois group of the Galois closure \({\mathscr {R}}_c \rightarrow {\mathscr {P}}\) of the covering \({\mathscr {Z}}_c \rightarrow {\mathscr {P}}\) acts (noncanonically) on the set W. By considering orbits in W under various subgroups of this Galois group, they obtained a decomposition of W. These are the Calogero–Moser cells which are conjectured to coincide with Kazhdan–Lusztig cells and thus potentially provides a way to generalize them to complex reflection groups. This conjecture was recently proven to be true for the symmetric group [22]. Associated to each Calogero–Moser left cell [19] constructed a cellular character: several descriptions are available and, in this paper, we will use the one involving Gaudin operators. They are expected to coincide with Lusztig’s constructible characters [45] for Coxeter groups.
1.1 Algorithms
According to the Shephard–Todd classification [56], the class of irreducible complex reflection groups splits into two classes: the infinite series of groups G(d, m, n), which are normal subgroups of the wreath product \(C_d \wr S_n\), and 34 exceptional groups \(G_4, \ldots , G_{37}\). Whereas the infinite series shows a common combinatorial pattern, each of the exceptional groups is essentially unique and often needs separate treatment.
It is especially because of the exceptional groups that we wanted to find algorithms allowing us to explicitly compute invariants of the associated Calogero–Moser spaces and rational Cherednik algebras so that we can test conjectures and gather data to drive the development of the theory. An important aspect of our approach is that we wanted to compute invariants for all parameters c. This is why we usually work with the generic rational Cherednik algebra \({\textbf{H}}\) (and its center \({\textbf{Z}}\)) defined over a polynomial ring, i.e. our parameters c are indeterminates.
In this paper we present algorithms for computing the following:

1.
The inverse of the natural truncation map \({\textrm{Trunc}}:{\textbf{Z}}\rightarrow {\mathbb {C}}[{\mathscr {C}}\times V \times V^*]^W\), which is an isomorphism of \({\mathbb {C}}[{\mathscr {C}}]\)modules (Algorithm 3.7). Our algorithm iteratively deforms an element of \({\mathbb {C}}[{\mathscr {C}}\times V \times V^*]^W\) to an element of \({\textbf{Z}}\).

2.
A minimal system of algebra generators of \({\textbf{Z}}\) (Algorithm 3.10).

3.
A presentation of \({\textbf{Z}}\) and thus of the Calogero–Moser space (Algorithm 3.14).

4.
The Calogero–Moser families (Algorithm 5.7).

5.
The Calogero–Moser hyperplanes (Algorithm 5.7). The complement of this hyperplane arrangement is precisely the locus where the Calogero–Moser families remain generic. These hyperplanes play a similar role as the essential hyperplanes for Rouquier families [30].

6.
Cuspidal families (Algorithm 5.17). These are the families lying on a zerodimensional symplectic leaf of \({\mathscr {Z}}_c\), see [3, 8].

7.
Cellular characters (Algorithm 6.2). Our approach uses the description of cellular characters via Gaudin operators from [19].
1.2 Results and applications
Our algorithms are not just theoretical. We have implemented all of them in the Cherednik Algebra Magma Package (CHAMP) created by the second author [58], which is based on the computer algebra system MAGMA [46] and is available at
https://github.com/ulthiel/Champ.
Because of the complexity and wealth of data—there are many invariants and all of them depend on parameters—we can in this paper only give a brief summary of what is now actually computable. Some of the data is organized in a database which is accessible from within CHAMP. The most striking results and applications presented in this paper are the following:

1.
An explicit minimal system of algebra generators of \({\textbf{Z}}\) is now known for all exceptional complex reflection groups except \(G_{16}  G_{22}\) and \(G_{27}  G_{37}\); moreover, all algebra generators of \(\mathbb {Z}\)degree 0 are known also for \(G_{27}\) and \(G_{28}\) (see Sect. 3.5). Knowing the degree0 generators is the key to the following results on families and hyperplanes.

2.
The Calogero–Moser hyperplanes are now known for all exceptional complex reflection groups except \(G_{16}  G_{19}, G_{21}\), and \(G_{32}\) (see Table 3). Applying results of [6, 53] we thus know in all these cases the chamber decomposition of the movable cone of a \(\mathbb {Q}\)factorial terminalization (i.e. a relative minimal model) of the associated symplectic singularity \((V \times V^*)/W\) and we know the number of nonisomorphic relative minimal models. Particularly exciting is that we were able to determine this for the Weyl group \(G_{28} = F_4\) (the computation took several days).

3.
The Calogero–Moser families are now known for all exceptional complex reflection groups (and all parameters) except \(G_{16}  G_{19}\), \(G_{21}\), \(G_{29}G_{37}\). In all cases we confirmed a conjecture by Martino [49] stating that the Calogero–Moser families are unions of the Rouquier families (Theorem 5.15). Particularly exciting is again the case \(G_{28}=F_4\) where the Rouquier families are the same as the Lusztig families and the equality to Calogero–Moser families was conjectured previously by Gordon and Martino [38]. In this last (big) case, we also prove that there is a unique cuspidal Calogero–Moser family, confirming a conjecture by Bellamy and the second author [8].

4.
The Calogero–Moser cellular characters are now known for spetsial groups of rank \(\leqslant 2\) at spetsial parameters (see [47] for the definition of spetsial): in all known cases, they coincide with the cellular characters defined by Malle and Rouquier [48] built from the spetses philosophy [24].
Apart from the above results, making possible these computations was used in several other papers where the first author is involved, to understand some symplectic singularities [5] or to propose several conjectures about the geometry of Calogero–Moser spaces (cohomology, fixed points, symplectic leaves), often in relation with the representation theory of finite reductive groups [14,15,16]. Let us mention some of these applications:

1.
For dihedral groups of order 8 and 12 the symplectic singularity in the origin of the associated Calogero–Moser space has been identified in [5] as the symplectic singularity of the closure of the minimal orbit of a semisimple Lie algebra (see Proposition 3.19). Basis for this identification was the computation of \({\textbf{Z}}\) via our algorithm, together with its Poisson bracket. We were now able to achieve the identification also in case of the exceptional group \(G_4\) (Proposition 4.4).

2.
Explicit equations of the Calogero–Moser spaces associated with dihedral groups at equal parameters have been obtained in [13], together with the explicit Poisson bracket. The pattern was found thanks to experiments for dihedral groups of order 8, 10, 12, 14. This was applied by Bellamy, Fu, Juteau, Levy, Sommers and the first author to find a new family of isolated symplectic singularities with trivial local fundamental group [5], answering an old question of Beauville [1].

3.
It is conjectured in [14, Conj. B] that the normalization of the closure of a symplectic leaf in the fixed point subvariety of the Calogero–Moser space under some automorphism is also a Calogero–Moser space (associated with another complex reflection group, perfectly identified). For \(G_4\) we could confirm this conjecture (Theorem 4.7).

4.
The first author proposed an intriguing conjecture [16, Conj. 12.3] relating the parameters involved in the previous conjecture [14, Conj. B] with the parameters involved in the endomorphism algebra of the cohomology of a DeligneLusztig variety. This was inspired by experiments in type \(B_2\) or \(G_2\) and, for people believing in spetses (see Sect. 6.3), by explicit computations for \(G_4\) (see [16, Sect. 18]).
2 Calogero–Moser spaces and rational Cherednik algebras
We recall some basics about Calogero–Moser spaces and rational Cherednik algebras from [33], keeping the notation of [19]. Throughout this paper, we abbreviate \(\otimes _{\mathbb {C}}\) by \(\otimes \). All varieties are complex algebraic, and for an affine variety \({\mathscr {X}}\) we denote its coordinate ring by \({\mathbb {C}}[{\mathscr {X}}]\). For a group W we denote by \({{\,\mathrm{{\textrm{Irr}}}\,}}(W)\) the set of complex irreducible characters of W.
2.1 Reflection groups
We fix in this paper a complex vector space V of finite dimension n and a finite subgroup W of \({\textrm{GL}}(V)\). For an element \(w \in W\) we denote by \(V^w\) the fixed space of w. By
we denote the set of reflections in W. We assume throughout this paper that W is generated by its reflections, i.e. W is a reflection group. We denote by
the determinant character of W. Considering V and \(V^*\) as algebraic varieties, we identify the coordinate ring \({\mathbb {C}}[V]\) (resp. \({\mathbb {C}}[V^*]\)) of V (resp. \(V^*)\) with the symmetric algebra \({\textrm{S}}(V^*)\) (resp. \({\textrm{S}}(V)\)). If \(s \in {{\,\textrm{Ref}\,}}(W)\), we denote by \(\alpha _s \in V^*\) (resp. \(\alpha _s^{\scriptscriptstyle {\vee }}\in V\)) an element such that \((V^s)^\perp ={\mathbb {C}}\alpha _s\) (resp. \((V^{*s})^\perp ={\mathbb {C}}\alpha _s^{\scriptscriptstyle {\vee }}\)). Here, \((V^s)^\perp \) denotes the space of linear forms whose kernel contains \(V^s\), and \((V^{*s})^\perp \) is defined analogously.
We denote by \({\mathscr {A}}\) the set of reflecting hyperplanes of W, namely
If \(H \in {\mathscr {A}}\), we denote by \(W_H\) the pointwise stabilizer of H, by \(\alpha _H\) an element of \(V^*\) such that \(H={{\,\mathrm{{\textrm{Ker}}}\,}}(\alpha _H)\), and by \(\alpha _H^\vee \) an element such that \(V=H \oplus {\mathbb {C}}\alpha _H^\vee \) and the line \({\mathbb {C}}\alpha _H^\vee \) is \(W_H\)stable. For \(s \in {{\,\textrm{Ref}\,}}(W)\), we set \(\alpha _s=\alpha _{V^s}\) and \(\alpha _s^\vee =\alpha _{V^s}^\vee \). We set \(e_H=W_H\). Note that \(W_H\) is cyclic of order \(e_H\) and that
We denote by \(\varepsilon _{H,j}\) the (central) primitive idempotent of \({\mathbb {C}}W_H\) associated with the character \({{\,\mathrm{{\textrm{Res}}}\,}}_{W_H}^W \varepsilon ^{j}\), namely
If \(\Omega \) is a Worbit of reflecting hyperplanes, we write \(e_\Omega \) for the common value of all the \(e_H\), where \(H \in \Omega \). We denote by \(\aleph (W)\) the set of pairs \((\Omega ,j)\) where \(\Omega \in {\mathscr {A}}/W\) and \(0 \leqslant j \leqslant e_\Omega 1\).
2.2 Parameters
Let \({\mathscr {C}}\) denote the \({\mathbb {C}}\)vector space of maps
which are invariant under Wconjugation. We denote by \({{\,\textrm{Ref}\,}}(W)/\!\sim \) the set of conjugacy classes of reflections of W. For \(s \in {{\,\textrm{Ref}\,}}(W)\) we denote by \(C_s \in {\mathscr {C}}^*\) the linear form defined by \(C_s(c)=c_s\). Of course, \(C_s=C_t\) if s and t are conjugate. We identify \({\mathbb {C}}[{\mathscr {C}}]={\mathbb {C}}[(C_s)_{s \in {{\,\textrm{Ref}\,}}(W)/\!\sim }]\). If \(c \in {\mathscr {C}}\), we denote by \({\mathfrak C}_c\) the ideal of \({\mathbb {C}}[{\mathscr {C}}]\) of functions vanishing at c. This ideal is generated by \((C_sc_s)_{s \in {{\,\textrm{Ref}\,}}(W)/\!\sim }\).
Let \({\mathscr {K}}\) denote the space of maps
which satisfy \(k_{\Omega ,0}+k_{\Omega ,1}+\cdots + k_{\Omega ,e_\Omega 1}=0\) for all \(\Omega \in {\mathscr {A}}/W\). For \(k \in {\mathscr {K}}\), \(H \in {\mathscr {A}}\), and \(0 \leqslant j \leqslant e_H1\) we write \(k_{H,j}=k_{\Omega ,j}\), where \(\Omega \) is the Worbit of H. The linear map
is an isomorphism and we denote by
its inverse. Throughout the paper, we will identify \({\mathscr {C}}\) and \({\mathscr {K}}\) through these isomorphisms.
Let \(K_{\Omega ,j} \in {\mathscr {K}}^*\) be the linear form defined by \(K_{\Omega ,j}(k)=k_{\Omega ,j}\) for all \(k \in {\mathscr {K}}\). Then \(K_{\Omega ,0}+K_{\Omega ,1}+\cdots + K_{\Omega ,e_\Omega 1}=0\). As before, we write \(K_{H,j}=K_{\Omega ,j}\). Through the identification \({\mathscr {K}}^* \simeq {\mathscr {C}}^*\), we have
Note that \((K_{(\Omega ,j)})_{(\Omega ,j) \in \aleph (W), j \ne 0}\) is a basis of \({\mathscr {K}}^*={\mathscr {C}}^*\).
2.3 Rational Cherednik algebras at \({\varvec{t=0}}\)
We follow the convention of [19] and define the generic rational Cherednik algebra \({\textbf{H}}\) (at \(t=0\)) to be the quotient of the \({\mathbb {C}}[{\mathscr {C}}]\)algebra \({\mathbb {C}}[{\mathscr {C}}] \otimes ({\textrm{T}}(V\times V^*)\rtimes W)\), the second factor being the semidirect product of the tensor algebra \({\textrm{T}}(V \times V^*)\) with the group W, by the relations
for all x, \(x'\in V^*\), y, \(y'\in V\). Here \(\langle \,\ \rangle : V\times V^*\rightarrow {\mathbb {C}}\) is the standard pairing. From (2.1), one deduces an equivalent presentation, namely
for all x, \(x'\in V^*\), y, \(y'\in V\).
The first commutation relations imply that we have morphisms of algebras \({\mathbb {C}}[V] \rightarrow {\textbf{H}}\) and \({\mathbb {C}}[V^*] \rightarrow {\textbf{H}}\). By [33, Theo. 1.3] we have an isomorphism of \({\mathbb {C}}\)vector spaces
induced by multiplication. This is the socalled PBWdecomposition of \({\textbf{H}}\).
2.4 Calogero–Moser space
We denote by \({\textbf{Z}}\) the center of the algebra \({\textbf{H}}\). It is wellknown [33] that \({\textbf{Z}}\) is an integral domain which is integrally closed. Moreover, \({\textbf{Z}}\) contains \({\mathbb {C}}[V]^W\) and \({\mathbb {C}}[V^*]^W\) as subalgebras [36], hence it contains
and \({\textbf{Z}}\) is a free \({\textbf{P}}\)module of rank W. We denote by \({\mathscr {Z}}\) the affine algebraic variety whose ring of regular functions \({\mathbb {C}}[{\mathscr {Z}}]\) is \({\textbf{Z}}\). This is the generic Calogero–Moser space associated with (V, W). It is irreducible and normal.
We set
so \({\mathbb {C}}[{\mathscr {P}}]={\textbf{P}}\). The inclusion \({\textbf{P}}\hookrightarrow {\textbf{Z}}\) induces a morphism of varieties
which is finite and flat.
For \(c \in {\mathscr {C}}\) we denote by
the specialization of \({\textbf{H}}\) at c. Similarly, we write \({\textbf{Z}}_c={\textbf{Z}}/{\mathfrak C}_c {\textbf{Z}}\) and \({\textbf{P}}_c = {\textbf{P}}/{\mathfrak C}_c {\textbf{P}}\). It turns out [19, Coro. 4.2.7] that \({\textbf{Z}}_c\) is the center of \({\textbf{H}}_c\). We let \({\mathscr {Z}}_c\) denote the variety \(\Upsilon ^{1}(\{c\} \times V/W \times V^*/W)\), so \({\mathbb {C}}[{\mathscr {Z}}_c]={\textbf{Z}}_c\).
2.5 Extrastructures on the center
The center \({\textbf{Z}}\) is endowed with extrastructures (a bigrading, a Poisson bracket, and a special central element) which are described below.
2.5.1 Gradings and \({\mathbb {C}}^\times \)action
The \({\mathbb {C}}\)algebra \({\mathbb {C}}[{\mathscr {C}}] \otimes ({\textrm{T}}(V\times V^*)\rtimes W)\) can be \(({\mathbb {N}}\times {\mathbb {N}})\)graded in such a way that the generators have the following bidegrees
This descends to an \(({\mathbb {N}}\times {\mathbb {N}})\)grading on \({\textbf{H}}\) because the defining relations (2.2) are bihomogeneous. As a consequence, \({\textbf{Z}}\) is also \(({\mathbb {N}}\times {\mathbb {N}})\)graded.
This bigrading induces a \({\mathbb {Z}}\)grading on \({\textbf{H}}\) and \({\textbf{Z}}\), by saying that a bihomogeneous element of bidegree (i, j) has \({\mathbb {Z}}\)degree \(ij\). If \(c \in {\mathscr {C}}\), then the ideal \({\mathfrak C}_c\) is not bihomogeneous (except if \(c=0\)) but is \({\mathbb {Z}}\)homogeneous. Therefore, \({\textbf{H}}_c\) and \({\textbf{Z}}_c\) do not inherit a bigrading, but they inherit a \({\mathbb {Z}}\)grading. Note finally that, by definition, \({\textbf{P}}={\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V]^W \otimes {\mathbb {C}}[V^*]^W\) is clearly a bigraded subalgebra of \({\textbf{Z}}\).
The \({\mathbb {Z}}\)grading on \({\textbf{Z}}\) and on \({\textbf{P}}\) induces a \({\mathbb {C}}^\times \)action on \({\mathscr {Z}}\) and on \({\mathscr {P}}\), and the morphism \(\Upsilon :{\mathscr {Z}}\rightarrow {\mathscr {P}}\) is \({\mathbb {C}}^\times \)equivariant.
2.5.2 Poisson structure
Let \(t \in {\mathbb {C}}\). One can define a deformation \({\textbf{H}}_{t}\) of \({\textbf{H}}\) as follows: \({\textbf{H}}_{t}\) is the quotient of the algebra \({\mathbb {C}}[{\mathscr {C}}] \otimes ({\textrm{T}}(V\times V^*)\rtimes W)\) by the relations
for all x, \(x'\in V^*\), y, \(y'\in V\). It is wellknown [33] that the PBWdecomposition still holds so that the family \(({\textbf{H}}_{t})_{t \in {\mathbb {C}}}\) is a flat deformation of \({\textbf{H}}={\textbf{H}}_{0}\). This allows one to define a Poisson bracket \(\{\,\ \}\) on \({\textbf{Z}}\) as follows. If \(z_1\), \(z_2 \in {\textbf{Z}}\), we denote by \(z_1^{t}\), \(z_2^t\) the corresponding element of \({\textbf{H}}_{t}\) through the PBWdecomposition and we set
The Poisson bracket is \({\mathbb {C}}[{\mathscr {C}}]\)linear.
2.5.3 Euler element
Let \((y_1,\dots ,y_n)\) be a basis of V and let \((x_1,\dots ,x_n)\) denote its dual basis. As in [19, Sect. 4.1], we set
Recall that \({{\textbf{e}}{\textbf{u}}}\) does not depend on the choice of the basis of V. Also
and
if \(z \in {\textbf{Z}}\) is \({\mathbb {Z}}\)homogeneous of degree d (see for instance [19, Prop. 3.3.3]).
2.6 Symplectic singularities and symplectic leaves
The following concept has been introduced by Beauville [1]: a normal variety X is said to have symplectic singularities if its smooth locus \(X_{\textrm{sm}}\) carries a symplectic form \(\omega \) and for some (thus any) resolution of singularities \(\pi : Y \rightarrow X\) the pullback \(\pi ^*(\omega )\) defined on \(\pi ^{1}(X_{\textrm{sm}}) \subseteq Y\) extends to a (possibly degenerate) 2form on all of Y.
For any \(c \in {\mathscr {C}}\) the Calogero–Moser space \({\mathscr {Z}}_c\) is a variety with symplectic singularities by [37]. Moreover, \({\mathscr {Z}}_c\) admits a stratification into smooth symplectic subvarieties called the symplectic leaves of \({\mathscr {Z}}_c\), see [25]. If \({\mathfrak m}\) denotes the maximal ideal in \({\textbf{Z}}_c\) corresponding to a point \(p \in {\mathscr {Z}}_c\), then the symplectic leaf \(\mathscr {L}_c(p)\) containing p is the subvariety defined by the largest ideal I contained in \({\mathfrak m}\) which is Poisson, i.e. \(\{\textbf{Z}_c,I\} \subset I\).
The zerodimensional symplectic leaves are also called cuspidal points. A cuspidal point \(p \in {\mathscr {Z}}_c\) corresponds to a maximal ideal \({\mathfrak m}\) in \({\textbf{Z}}_c\) such that \(\{{\mathfrak m},{\mathfrak m}\} \subset {\mathfrak m}\). It follows that the cotangent space \({\mathfrak m}/{\mathfrak m}^2\) in p inherits a structure of a Lie algebra from the Poisson bracket. We will denote this Lie algebra by \({{{\mathfrak L}{\mathfrak i}{\mathfrak e}}}_c(p)\).
2.7 CHAMP
The rational Cherednik algebra is implemented in CHAMP. This means concretely that it is realized as an algebra with a basis given by the PBWdecomposition (2.4) and that products of elements will be rewritten in the basis (the algorithm is described in [58]). Instead of working over the complex numbers it is (mostly) sufficient to work over the defining field of the complex reflection group W, which is a number field. CHAMP comes along with an extensive documentation and we can just give a minimal impression with the simple examples included in this paper. We note that because all actions in MAGMA are from the right, it was conceptually more consistent to implement in CHAMP the opposite algebra of the rational Cherednik algebra as defined herethis is only relevant when translating elements between paper and CHAMP.
Example 2.10
We verify that the Euler element in the generic rational Cherednik algebra for the Weyl group of type \(B_2\) is indeed central (this simply works by checking whether the element commutes with the generators \(x_j,y_j\) and with a set of generators of the group).
3 Generators and presentation of the center
We describe algorithms for computing a minimal system of algebra generators and a presentation of the center \({\textbf{Z}}\) of \({\textbf{H}}\). Since \({\textbf{Z}}_c={\textbf{Z}}/{\mathfrak C}_c {\textbf{Z}}\), we automatically obtain in this way also a (minimal) system of generators and a presentation of \({\textbf{Z}}_c\) for any \(c \in {\mathscr {C}}\). We use these algorithms in the sequel to obtain new results about the Calogero–Moser space for \(G_4\) (Sect. 4) and to compute families and hyperplanes (Sect. 5) for many exceptional complex reflection groups.
3.1 The truncation map
The backbone of our algorithms is the computation of the inverse of the truncation map: by the PBWdecomposition there is for any \(h \in {\textbf{H}}\) a unique family of elements \((h_w)_{w \in W}\) of \({\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*]\) such that
We define the \({\mathbb {C}}[{\mathscr {C}}]\)linear map \({\textrm{Trunc}}: {\textbf{H}}\rightarrow {\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*]\) by
It is easily seen that the map \({\textrm{Trunc}}: {\textbf{H}}\rightarrow {\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*]\,\) is Wequivariant and Plinear. Recall that \({\mathfrak C}_0\) denotes the ideal of \({\mathbb {C}}[{\mathscr {C}}]\) generated by \((C_s)_{s \in {{{\,\textrm{Ref}\,}}(W)/W}}\).
Lemma 3.1
The restriction of the map \({\textrm{Trunc}}\) to \({\textbf{Z}}\) induces an isomorphism of bigraded \({\mathbb {C}}[{\mathscr {C}}]\)modules
which satisfies
In other words, if \(f \in {\mathbb {C}}[{\mathscr {C}}\times V \times V^*]^W \subset {\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*]\), then there exists a unique element \(z=\sum _{w \in W} z_w w\) of \({\textbf{Z}}\) (where \(z_w \in {\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*]\)) such that
Proof
The map \({\textrm{Trunc}}: {\textbf{Z}}{\mathop {\longrightarrow }\limits ^{\sim }}{\mathbb {C}}[{\mathscr {C}}\times V \times V^*]^W\) is a \({\textbf{P}}\)linear map between two free \({\textbf{P}}\)modules of rank W. Since \({\textbf{Z}}/{\mathfrak C}_0{\textbf{Z}}={\textbf{Z}}_0\), it is surjective modulo \({\mathfrak C}_0\). By the graded Nakayama lemma (see for instance [21, Lemma 2.24]) applied to graded modules over the graded ring \({\mathbb {C}}[{\mathscr {C}}]\), this shows that it is surjective. As any surjective map between finitely generated free modules of the same rank is an isomorphism, the proof is complete. \(\square \)
Note for future reference the following consequence:
Corollary 3.2
Let \(z \in {\textbf{Z}}\), \(z \ne 0\) and let m be such that \(z \in {\mathfrak C}_0^m Z\). Write \(z=\sum _{w \in W} z_w w\), with \(z_w \in {\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*]\). Then \(z_w \in {\mathfrak C}_0^{m+1} Z\) for all \(w \in W {\setminus } \{1\}\).
Proof
The map \({\textrm{Trunc}}\) is \({\mathbb {C}}[{\mathscr {C}}]\)linear, so it is sufficient to prove the result for \(m=0\). But this follows from the fact that \({\textbf{Z}}/{\mathfrak C}_0{\textbf{Z}}= {\textbf{Z}}_0\). \(\square \)
We shall now describe how to compute the inverse map
If \(s \in {{\,\textrm{Ref}\,}}(W)\) and \(\varphi \in {\mathbb {C}}[V]\), we set
If \(f \in {\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*] \subset {\textbf{H}}\), then
A proof of this relation can be found in [36, Sect. 3.6].
We define
Let \(y_{{\textrm{reg}}} \in V^{{\textrm{reg}}}\) and use the notation of Lemma 3.1. Then
and, by (3.3), we get
Therefore,
for all \(w \in W\). If we denote by \(z_w^{<r>}\) the reduction modulo \({\mathfrak C}_0^{r+1} \otimes {\mathbb {C}}[V] \otimes {\mathbb {C}}[V^*]\) of \(z_w\), the formula (3.5) implies (by reduction modulo \({\mathfrak C}_0^{r+1}\)) that
for all \(w \in W\). This formula yields the following algorithm for computing \({\textrm{Trunc}}^{1}\).
Algorithm 3.7
Computation of \({\mathbf {Trunc^{1}}}\)
Example 3.8
Continuing Example 2.10, we compute \({\textrm{Trunc}}^{1}(f)\) for \(f = x_1y_1 + y_2 x_2\). The result is the Euler element. Recall that CHAMP implements the opposite of the rational Cherednik algebra and therefore the variables in f are reversed.
3.2 System of generators
Now that we can compute \({\textrm{Trunc}}^{1}\) it is easy to find a system of generators of \({\textbf{Z}}\).
Proposition 3.9
Let \((z_i^{(0)})_{i \in I}\) be a family of bihomogeneous generators of the \({\mathbb {C}}\)algebra \({\mathbb {C}}[V \times V^*]^W\). Let \(z_i = {\textrm{Trunc}}^{1}(z_i^{(0)})\) (for \(i \in I\)). Then \((z_i)_{i \in I}\) is a family of bihomogeneous generators of the \({\mathbb {C}}[{\mathscr {C}}]\)algebra \({\textbf{Z}}\).
Proof
Let \({\textrm{red}}_0: {\textbf{Z}}\rightarrow {\mathbb {C}}[V \times V^*]^W\) denote the reduction modulo \({\mathfrak C}_0\). Then, by construction, \({\textrm{red}}_0(z_i)=z_i^{(0)}\) and so the result follows from the graded Nakayama Lemma. \(\square \)
Algorithm 3.10
Minimal system of generators
Example 3.11
We continue Example 2.10 and compute a minimal system of generators of \({\textbf{Z}}\). In CHAMP, a minimal system of bihomogeneous generators of \({\mathbb {C}}[V \times V^*]^W\) is computed via the command SymplecticDoublingFundamentalInvariants and the computation of the generators of \({\textbf{Z}}\) via Algorithm 3.10 proceeds and stores the elements in the same order. In this example there are 8 generators, their bidegrees are as listed below.
Remark 3.12
We discovered a bug in the computation of fundamental invariants in MAGMA that resulted in the return value not necessarily being a minimal system of generators (which contradicts the definition of a system of fundamental invariants and also contradicts the algorithm in [40]). After reporting this bug, we were informed by MAGMA developer Allan Steel that this bug existed since V2.22 (May 2016). It was fixed after our report in V2.269 (October 2021). \(\blacksquare \)
3.3 Presentation
We now come to the computation of a presentation of \({\textbf{Z}}\), i.e. to the computation of the relations between a (minimal) system of generators of \({\textbf{Z}}\).
We fix a minimal system of bihomogeneous generators \((z_i^{(0)})_{i \in I}\) of \({\mathbb {C}}[V \times V^*]^W\) and we set \(z_i={\textrm{Trunc}}^{1}(z_i^{(0)})\) for \(i \in I\). We fix a family of indeterminates \(({\textbf{z}}_i)_{i \in I}\) and we denote by \(\pi _0: {\mathbb {C}}[({\textbf{z}}_i)_{i \in I}] \longrightarrow {\mathbb {C}}[V \times V^*]^W\) (resp. \(\pi : {\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[({\textbf{z}}_i)_{i \in I}] \longrightarrow {\textbf{Z}}\)) the unique morphism of \({\mathbb {C}}\)algebras (resp. \({\mathbb {C}}[{\mathscr {C}}]\)algebras) such that \(\pi _0({\textbf{z}}_i)=z_i^{(0)}\) (resp. \(\pi ({\textbf{z}}_i)=z_i\)). We endow \({\mathbb {C}}[({\textbf{z}}_i)_{i \in I}]\) with the \(({\mathbb {N}}\times {\mathbb {N}})\)grading such that \({\textbf{z}}_i\) has the same bidegree as \(z_i\) (or \(z_i^{(0)}\)), so that \(\pi _0\) and \(\pi \) are bigraded morphisms.
By definition, \(\pi _0\) is surjective and by Proposition 3.9, \(\pi \) is surjective. Our aim is to compute a (minimal) set of generators of \({{\,\mathrm{{\textrm{Ker}}}\,}}(\pi )\). We first explain how to compute preimages under the surjective morphism \(\pi \).
Algorithm 3.13
Preimages under \(\pi \)
Using Algorithm 3.13, one can lift relations between the \(z_i^{(0)}\)’s in \({\mathbb {C}}[V \times V^*]^W\) to relations between the \(z_i\)’s in \({\textbf{Z}}\):
Algorithm 3.14
Relations
The next theorem shows how one can use Algorithms 3.7, 3.10, 3.13, and 3.14 to obtain a presentation of the algebra \({\mathbb {C}}[{\mathscr {C}}]\)algebra \({\textbf{Z}}\):
Theorem 3.15
Let \((\rho _j^{(0)})_{j \in J}\) be a family of bihomogeneous generators of the ideal \({{\,\mathrm{{\textrm{Ker}}}\,}}(\pi _0)\) and, for \(j \in J\), let \(\rho _j \in {{\,\mathrm{{\textrm{Ker}}}\,}}(\pi )\) be bihomogeneous (of the same bidegree as \(\rho _j^{(0)}\)) and such that \(\rho _j \equiv \rho _j^{(0)} \mod {\mathfrak C}_0 \otimes {\mathbb {C}}[({\textbf{z}}_i)_{i \in I}]\) (such a \(\rho _j\) is produced by Algorithm 3.14). Then \({{\,\mathrm{{\textrm{Ker}}}\,}}(\pi )\) is generated by \((\rho _j)_{j \in J}\).
Proof
Let A denote the quotient of \({\mathbb {C}}[{\mathscr {C}}] \otimes {\mathbb {C}}[({\textbf{z}}_i)_{i \in I}]\) by the ideal \({\mathfrak a}\) generated by the family \((\rho _j)_{j \in J}\). The morphism \(\pi \) induces a surjective morphism of \({\mathbb {C}}[{\mathscr {C}}]\)algebras \({\tilde{\pi }}: A \twoheadrightarrow {\textbf{Z}}\). By construction, this morphism induces an isomorphism \({\tilde{\pi }}_0: A/{\mathfrak C}_0 A {\mathop {\longrightarrow }\limits ^{\sim }}{\textbf{Z}}/{\mathfrak C}_0 {\textbf{Z}}\simeq {\mathbb {C}}[V \times V^*]^W\). Since \({\textbf{Z}}\) is a free \({\mathbb {C}}[{\mathscr {C}}]\)module, there exists a sub\({\mathbb {C}}[{\mathscr {C}}]\)module \({\textbf{Z}}'\) of A such that \(A = {{\,\mathrm{{\textrm{Ker}}}\,}}({\tilde{\pi }}) \oplus {\textbf{Z}}'\). By reduction modulo \({\mathfrak C}_0\), we get that \({{\,\mathrm{{\textrm{Ker}}}\,}}({\tilde{\varvec{\pi }}})/{\mathfrak C}_0{{\,\mathrm{{\textrm{Ker}}}\,}}({\tilde{\varvec{\pi }}})=0\). This forces \({{\,\mathrm{{\textrm{Ker}}}\,}}({\tilde{\pi }})=0\), thanks to the graded Nakayama Lemma. \(\square \)
Example 3.16
We continue Example 2.10 and compute a presentation of \({\textbf{Z}}\). In CHAMP, the command SymplecticDoublingInvariantRingPresentation computes the relations of the invariant ring and the computation of the relations for \({\textbf{Z}}\) via Algorithm 3.14 proceeds and stores the relations in the same order. In this example, \({\textbf{Z}}\) is a quotient of a polynomial ring in 8 variables (corresponding to the 8 elements in the minimal system of generators that we computed previously) by an ideal generated by 9 relations.
3.4 Poisson brackets on \({\textbf{Z}}\)
Algorithm 3.13 allows us to express Poisson brackets \(\{ u,v \}\) of elements \(u,v \in {\textbf{Z}}\) in terms of the generators \(z_i\) so that we can algorithmically work with \({\textbf{Z}}\) as a Poisson algebra.
Algorithm 3.17
Poisson brackets on \({\textbf{Z}}\)
Example 3.18
We continue Example 2.10 and compute the Poisson brackets \(\{z_i,z_j\}\) of all generators \(z_i,z_j\) of \({\textbf{Z}}\). This is done in CHAMP with the command PoissonMatrix. We note that because of the opposite algebra convention, the Poisson brackets in CHAMP are the negatives of what we have on paper. Since \(z_2 = {{\textbf{e}}{\textbf{u}}}\) by Example 3.11, the second row of the matrix gives the (negatives) of the Poisson brackets \(\{z_i,{{\textbf{e}}{\textbf{u}}}\}\). Recall that \(\{z_i,{{\textbf{e}}{\textbf{u}}}\} = \deg _{\mathbb {Z}}z_i\) by (2.9).
3.5 Summary of what is computable
Our Algorithm 3.7 for computing the inverse of the truncation map performs very well in practice. In particular, we were able to compute a complete minimal system of generators of \({\textbf{Z}}\) for all exceptional complex reflection groups except \(G_{16}  G_{22}\) and \(G_{27}  G_{37}\). All these elements are stored in the database of CHAMP and can be loaded quickly. To give an impression of the performance—but also of the complexity involved in these computations—we note that we were able to compute, e.g., the inverse image of a generator \(z_i^{(0)}\) of \(({\mathbb {N}}\times {\mathbb {N}})\)degree (6, 6) for the Weyl group of type \(F_4\) (equal to the exceptional complex reflection group \(G_{28}\)) which has 6,010 monomials and the total number of monomials in the various coefficients of the inverse image \(z_i\) in \({\textbf{Z}}\) is 569,936. This single computation took about 6 h.
The higher the degree of the element of which we want to compute the inverse image, the more iterations Algorithm 3.7 will take—and each iteration will be more complicated than the previous. This is one of the reasons why we were not able to compute a complete system of generators of \({\textbf{Z}}\) for all the exceptional complex reflection groups. Another problem arises even before we can come to the iteration part of the algorithm: the invariant theory of the action of W on \(V \times V^*\) is very complicated and for the higher rank cases we were not even able to compute a system of generators of \({\mathbb {C}}[V \times V^*]^W\). The first in the series of exceptional complex reflection groups where this was not possible anymore is the group \(G_{30}\), which is also the Coxeter group of type \(H_4\) and therefore very interesting.
In our algorithm for computing families and hyperplanes that we present in Sect. 5 we do not need a complete (minimal) system of generators of \({\textbf{Z}}\) but only the subsystem consisting of generators of \(\mathbb {Z}\)degree 0. We were able to compute this also for \(G_{27}\) and \(G_{28}\). Unfortunately, for the interesting case \(G_{30}\) we are so far not able to do this because we do not even know how many generators of \(\mathbb {Z}\)degree 0 there are in the invariant ring. We think this case poses a very interesting problem—both theoretically and computationally.
Finally, we note that computing a presentation of \({\textbf{Z}}\) via Algorithm 3.14 is computationally very challenging and works only in the smallest cases: dihedral groups up to order 16 and the exceptional group \(G_4\). Nonetheless, even these few cases led to important insight and results, see Sects. 3.6 and 4. In Table 1 we provide an overview of the performance of the algorithms in the case of small dihedral groups.
3.6 Case of dihedral groups
We mention some new results about the Calogero–Moser space for dihedral groups that grew out of the fact that we were able to compute an explicit presentation of \({\textbf{Z}}\) in small cases (see Table 1).
Assume that \(\dim _{\mathbb {C}}V = 2\) and that W is the dihedral group of order 2d, with \(d \geqslant 3\). Write \(W=\langle s,t \rangle \) where s, t are Coxeter generators. Fix \(c \in {\mathscr {C}}\) and write \(a=c_s\) and \(b=c_t\). We assume that \(ab \ne 0\). Recall that \({\mathscr {Z}}_c\) has dimension 4 and that \(a=b\) whenever d is odd. Note the following facts:

If \(d \geqslant 4\) and \(a=b\), then \({\mathscr {Z}}_c\) has a unique singular point p, which is necessarily cuspidal [12, Tab. 5.2].

If \(d \geqslant 6\) is even and \(a \ne b\), then \({\mathscr {Z}}_c\) has a unique singular point q, which is necessarily cuspidal [12, Tab. 5.2].
Recall from Sect. 2.6 that we denote by \({{{\mathfrak L}{\mathfrak i}{\mathfrak e}}}_c(p)\) the Lie algebra in a cuspidal point p of \({\mathscr {Z}}_c\). If \({\mathfrak g}\) is a simple Lie algebra, we denote by \({\mathscr {O}}_{\textrm{min}}({\mathfrak g})\) the minimal nilpotent orbit of \({\mathfrak g}\). The following facts have been proved in [12, Prop. 8.4 and 8.8] and [5], and rely on the fact that we were able to compute an explicit presentation of the center \({\textbf{Z}}\):
Proposition 3.19
With the above notation:

(a)
If \(d=4\) and \(a=b\), then \({{{\mathfrak L}{\mathfrak i}{\mathfrak e}}}_c(p) \simeq {\mathfrak s}{\mathfrak l}_3({\mathbb {C}})\) and the symplectic singularity \(({\mathscr {Z}}_c,p)\) is equivalent to \((\overline{{\mathscr {O}}}_{\textrm{min}}({\mathfrak s}{\mathfrak l}_3({\mathbb {C}})),0)\).

(b)
If \(d=6\) and \(a \ne b\), then \({{{\mathfrak L}{\mathfrak i}{\mathfrak e}}}_c(p) \simeq {\mathfrak s}{\mathfrak p}_4({\mathbb {C}})\) and the symplectic singularity \(({\mathscr {Z}}_c,q)\) is equivalent to \((\overline{{\mathscr {O}}}_{\textrm{min}}({\mathfrak s}{\mathfrak p}_4({\mathbb {C}})),0)\).
The main application of our algorithms in case of dihedral groups is given by the next theorem [5]. It has been obtained through an explicit description of a presentation of \({\textbf{Z}}_c\) whenever \(a=b\) for any \(d \geqslant 3\) (see [13]) which was obtained after computing the cases \(3 \leqslant d \leqslant 8\) with our algorithms and finding some general patterns. So, even though this does not appear finally in the proof of the main results in [13] and [5], it is fair to say that these two papers owe their existence to the algorithms developed here. Before stating the result, let us introduce some notation: we set \({\mathfrak g}_d={\mathfrak s}{\mathfrak l}_2({\mathbb {C}}) \oplus {\textrm{Sym}}^d({\mathbb {C}}^2)\), and we endow it with the Lie algebra structure such that \({\textrm{Sym}}^d({\mathbb {C}}^2)\) is a commutative ideal of \({\mathfrak g}_d\) and the adjoint action of \({\mathfrak s}{\mathfrak l}_2({\mathbb {C}})\) on \({\textrm{Sym}}^d({\mathbb {C}}^2)\) coincides with the natural action.
Theorem 3.20
If \(d \geqslant 5\) and \(a=b\), then \({{{\mathfrak L}{\mathfrak i}{\mathfrak e}}}_c(p) \simeq {\mathfrak g}_d\) and the isolated symplectic singularity \(({\mathscr {Z}}_c,p)\) has trivial local fundamental group.
This gives a new family of examples of isolated symplectic singularities with trivial local fundamental group, answering a question of Beauville [1, (4.3)].
4 The Calogero–Moser space for \(G_4\)
In this section, we use our algorithms to investigate Calogero–Moser spaces for the exceptional complex reflection group \(G_4\): we give an explicit presentation, identify the symplectic singularity in the origin, and confirm a conjecture about symplectic leaves.
4.1 The group and parameters
We assume that \(V={\mathbb {C}}^2\) and that W is the subgroup of \({\textbf{G}}{\textbf{L}}_2({\mathbb {C}})={\textbf{G}}{\textbf{L}}_{\mathbb {C}}(V)\) generated by
where \(\zeta \) is a primitive third root of unity. Then W is a primitive complex reflection group of type \(G_4\). Note that
We denote by \((y_1,y_2)\) the canonical basis of \({\mathbb {C}}^2\) and by \((x_1,x_2)\) its dual basis. Let \(H_s\) denote the reflecting hyperplane of s (note that \({\mathscr {A}}/W=1\) and \(e_{H_s}=3\)). For simplification, we set \(K_j=K_{H_s,j}\). Recall that \(K_0+K_1+K_2=0\). We also fix \(c \in {\mathscr {C}}\) and set \(k=\kappa (c)\) for the corresponding parameter in \({\mathscr {K}}\) (see Sect. 2.2). For simplification, we set \(k_j=k_{H_s,j}\). Note that \(k_0+k_1+k_2=0\).
4.2 Presentation of \({\textbf{Z}}\)
The computation of a presentation of \({\textbf{Z}}\) in CHAMP takes about 2 min and is performed by the following commands:
The presentation is also stored in the database and can be retrieved in an instance. This returns a family \((z_j)_{1 \leqslant j \leqslant 8}\) of 8 generators of \({\textbf{Z}}_k\) and a family \(({\mathscr {E}}_j')_{1 \leqslant j \leqslant 9}\) of 9 equations. To describe this presentation explicitly, we rename and reorder the generators as follows:
Moreover, we replace the equations \(({\mathscr {E}}_j')\) by the equations \(({\mathscr {E}}_j)\) defined as follows:
We then obtain the following theorem.
Theorem 4.2
We have:

(a)
\({\mathbb {C}}[V]^W={\mathbb {C}}[X_1,X_2]\) and \({\mathbb {C}}[V^*]^W={\mathbb {C}}[Y_1,Y_2]\), so that
$$\begin{aligned} {\textbf{P}}={\mathbb {C}}[X_1,Y_1,X_2,Y_2]. \end{aligned}$$ 
(b)
The \({\mathbb {Z}}\)degrees of the generators are given by
$$\begin{aligned} \deg (X_1,Y_1,X_2,Y_2,A,B,C,{{\textbf{e}}{\textbf{u}}}) = (4,4,6,6,2,2,0,0). \end{aligned}$$ 
(c)
The \({\mathbb {C}}[{\mathscr {C}}]\)algebra \({\textbf{Z}}\) admits the following presentation:
$$\begin{aligned} {\left\{ \begin{array}{ll} \textit{Generators:}~X_1,Y_1,X_2,Y_2,A,B,C,{{\textbf{e}}{\textbf{u}}}.\\ \textit{Relations: see Table}~2. \end{array}\right. } \end{aligned}$$
4.3 The symplectic singularity in the origin
Further to the dihedral group case mentioned in Sect. 3.6, we are able to identify a symplectic singularity in the Calogero–Moser space for \(G_4\).
Theorem 4.4
Assume the parameter is \((k_0,k_1,k_2)=(0,1,1)\). Then the origin is the unique singular point of \({\mathscr {Z}}_c\) and the symplectic singularity \(({\mathscr {Z}}_c,0)\) is equivalent to \((\overline{{\mathscr {O}}}_{\textrm{min}}({\mathfrak s}{\mathfrak l}_3({\mathbb {C}})),0)\).
Remark 4.5
By the HarishChandra theory of symplectic leaves [3], the Calogero–Moser space \({\mathscr {Z}}_c\) may admit an isolated singularity only if \((k_0+k_1)(k_0+k_2)(k_1+k_2)=0\) and \((k_0,k_1,k_2) \ne (0,0,0)\). Since the equations are symmetric in the \(k_i\)’s, we must focus on the case where \(k_1+k_2=0\) and, after multiplying by a scalar, the only possible case is the one considered in the above Theorem. \(\blacksquare \)
Proof
The proof is obtained via explicit computations. First, we specialize the presentation of \({\textbf{Z}}\) in the fixed parameter c to obtain a presentation of \({\textbf{Z}}_c\) and then create \({\mathscr {Z}}_c\) as a scheme:
Next, we compute the singular locus of \({\mathscr {Z}}_c\) as a (reduced) scheme:
Now, we show that \(0 \in {\mathscr {Z}}_c \subset {\mathbb {C}}^8\) is the unique singular point of \({\mathscr {Z}}_c\).
Note that even though we compute over \(\mathbb {Q}\), the result shows that also over \(\mathbb {C}\) the singular locus just consists of the origin. Next, we show that the projective tangent cone of \({\mathscr {Z}}_c\) at 0 is smooth (the computation takes about 2 min):
It thus follows from [1, Intro.] that the symplectic singularity \(({\mathscr {Z}}_c,0)\) is equivalent to \((\overline{{\mathscr {O}}}_{\textrm{min}}({\mathfrak g}),0)\) for some simple Lie algebra \({\mathfrak g}\). Now, \({\mathfrak g}\) is the tangent space of \(\overline{{\mathscr {O}}}_{\textrm{min}}({\mathfrak g})\) at 0. Its dimension is equal to 8 by the following command:
But \({\mathfrak s}{\mathfrak l}_3({\mathbb {C}})\) is the only simple Lie algebra of dimension 8, so we have proved the claim. \(\square \)
4.4 Confirming a conjecture about symplectic leaves
For the moment, let W be an arbitrary complex reflection group. For a variety \({\mathscr {X}}\) we denote by \({\mathscr {X}}^{\textrm{nor}}\) its normalization. If moreover \({\mathscr {X}}\) is affine and irreducible, then \({\mathscr {X}}^{\textrm{nor}}\) is also affine and \({\mathbb {C}}[{\mathscr {X}}^{\textrm{nor}}]\) is the integral closure of \({\mathbb {C}}[{\mathscr {X}}]\) in its fraction field \({\mathbb {C}}({\mathscr {X}})\).
We fix an element of finite order \(\tau \) of \({\textrm{N}}_{{\textbf{G}}{\textbf{L}}_{\mathbb {C}}(V)}(W)\) and a parameter \(c \in {\mathscr {C}}\) such that . Then \(\tau \) also acts on the Calogero–Moser space \({\mathscr {Z}}_c\) and we denote by \({\mathscr {Z}}_c^\tau \) the closed subvariety of fixed points under the action of \(\tau \) (endowed with its reduced structure). As explained in [14], the variety \({\mathscr {Z}}_c^\tau \) inherits a partition into symplectic leaves and we recall a conjecture about their structure [14, Conj. B]:
Conjecture 4.6
(Bonnafé) Let \({\mathscr {L}}\) be a symplectic leaf of \({\mathscr {Z}}_c^\tau \) and let \({\overline{{\mathscr {L}}}}\) denote its closure in \({\mathscr {Z}}_c^\tau \). Then \(\overline{{\mathscr {L}}}^{\textrm{nor}}\) is isomorphic, as a Poisson variety endowed with a \({\mathbb {C}}^\times \)action, to some Calogero–Moser space associated with another pair \((V_{\mathscr {L}},W_{\mathscr {L}})\) and some parameter \(k_{\mathscr {L}}\in \aleph (W_{\mathscr {L}})\).
In fact, [14, Conj. B] is somewhat more precise, as it explains how to recover the pair \((V_{\mathscr {L}},W_{\mathscr {L}})\). However, the parameter \(k_{\mathscr {L}}\) is quite a mystery. Note that, even if \(\tau ={{\,\mathrm{{\textrm{Id}}}\,}}_V\), this conjecture is still unproved. Let us give some known cases:

If \(k=0\) (see [14, Sect. 4]: note that \(k_{\mathscr {L}}=0\) in this case).

If \({\mathscr {Z}}_c\) is smooth, then \({\mathscr {Z}}_c^\tau \) is also smooth and its symplectic leaves are its irreducible components. It has been proved in [17, Theo. 1.3] that, whenever \(\tau \) is the scalar multiplication by a root of unity, then these irreducible components are isomorphic, as varieties endowed with a \({\mathbb {C}}^\times \)action, to Calogero–Moser spaces. This proves part of Conjecture 4.6 (it remains to check that the isomorphism constructed in [17, Theo. 1.3] respects the Poisson structure). Note however that precise formulas are given for the value of \(k_{\mathscr {L}}\) in [17, Theo. 4.21(b)].

If W is a Weyl group of type B and \(\tau ={{\,\mathrm{{\textrm{Id}}}\,}}_V\), then Conjecture B is proved by Bellamy–Maksimau–Schedler (work in preparation). As explained in [14, Coro. 10.7], we can easily deduce from their result that this also implies Conjecture B for Weyl groups of type D, with \(\tau \) being the identity or a nontrivial involutive graph automorphism.
We will now add one more example to this list:
Theorem 4.7
Assume that W is of type \(G_4\). Then Conjecture 4.6 holds.
Proof
We assume that W is the group \(G_4\) as in Sect. 4.1. Note that W acts trivially on \({\mathscr {Z}}_c\), so replacing \(\tau \) by \(w\tau \) for some \(w \in W\), does not change the fixed point subvariety. Therefore, since the normalizer of W is \(W \cdot {\mathbb {C}}^\times \), we may, and we will, assume that \(\tau \) is the scalar multiplication by a root of unity. Since \({{\,\mathrm{{\textrm{Id}}}\,}}_V \in W\), we may also assume that the order of \(\tau \) is even: let us denote it by 2d. Then
where \(I_\tau \) is the ideal generated by those of the generators \((X_1,Y_1,X_2,Y_2,A,B,C,{{\textbf{e}}{\textbf{u}}})\) whose \({\mathbb {Z}}\)degree is not divisible by 2d. In particular, if \(d \geqslant 4\), then \(I_\tau =\langle X_1,Y_1,X_2,Y_2,A,B\rangle \) and so \({\mathscr {Z}}_c^\tau \) is zerodimensional. In this case, there is nothing to prove. This means that we may, and we will, assume that \(d \in \{1,2,3\}\).
If \(d \in \{2,3\}\), then the computation of \({\mathscr {Z}}_c^\tau \) has been done in [17, Sect. 5] and it has been checked in both cases that there is only one irreducible component of dimension 2 (the other being of dimension 0) and it has been checked that it is isomorphic, as a variety endowed with a \({\mathbb {C}}^\times \)action, to the Calogero–Moser space associated with the pair \(({\mathbb {C}},{\varvec{\mu }}_{2d})\), as expected from [14, Conj. B]. However, it has not been checked in [17, Sect. 5] that the isomorphism respects the Poisson bracket, but this can be easily done in CHAMP. We will explain how precisely in the more difficult situation where \(d=1\), see below.
Consequently, this means that we may assume that \(d=1\), so that \({\mathscr {Z}}_c^\tau ={\mathscr {Z}}_c\). We will now prove that the symplectic leaves of \({\mathscr {Z}}_c\) satisfy Conjecture 4.6.
Let \({\mathscr {L}}\) be a symplectic leaf of \({\mathscr {Z}}_c\). First, note that \(\dim ({\mathscr {Z}}_c)=4\) so that \({\mathscr {L}}\) has dimension 0, 2 or 4. If \(\dim ({\mathscr {L}})=4\), then \({\overline{{\mathscr {L}}}}={\mathscr {Z}}_c\) and there is nothing to prove. If \(\dim ({\mathscr {L}})=0\), then \({\mathscr {L}}\) is a point and there is again nothing to prove. So we may assume that \(\dim ({\mathscr {L}})=2\). Note also that we may assume that \(k \ne 0\) since the case \(k=0\) has been treated for any group.
By the theory of Bellamy [3, Prop. 4.9], \({\mathscr {L}}\) is parametrized by a pair (P, p) where P is a parabolic subgroup of W and p is a cuspidal point of \({\mathscr {Z}}_c(V/V^P,P)\). Since \(\dim ({\mathscr {L}})=2\), [3, Prop. 4.7] forces \(\dim (V^P)=1\) and so we may assume that \(P=\langle s \rangle \). But, by [19, Sect. 18.5.A], \({\mathscr {Z}}_c(V/V^P,P)\) admits a cuspidal point if and only if at least two of the \(k_j\)’s are equal. As the isomorphism class of \({\mathscr {Z}}_c\) depends on \(k_0\), \(k_1\), \(k_2\) only up to permutation, we may assume that \(k_1=k_2\). Since \(k \ne 0\) and \(k_0+k_1+k_2=0\) and since we can rescale the parameters, this means that we may assume that
As in the proof of Theorem 4.4 and continuing with these computations, we create \({\mathscr {Z}}_c\) as a scheme in CHAMP as follows:
Next, we compute the reduced singular subscheme \({\mathscr {Z}}_c^{\textrm{sing}}\) of \({\mathscr {Z}}_c\) and check that it is of dimension 2 and irreducible:
We conclude that \({\mathscr {Z}}_c^{\textrm{sing}}\) is irreducible over \({\mathbb {Q}}\) but not necessarily geometrically irreducible. However, this also implies at least that it is of pure dimension 2. But its irreducible components (over \({\mathbb {C}}\)) are symplectic leaves of dimension 2: since \({\mathscr {Z}}_c(V/V^P,P)\) has only one cuspidal point, [3, Prop. 4.9] implies that \({\mathscr {Z}}_c\) has only one symplectic leaf of dimension 2, and this forces \({\mathscr {Z}}_c^{\textrm{sing}}\) to be geometrically irreducible. In other words,
Since \({\textrm{N}}_W(P)/P \simeq {\varvec{\mu }}_2\) acting on \(V^P \simeq {\mathbb {C}}\) by scalar multiplication, we need to find \(k_{\mathscr {L}}\in \aleph ({\textrm{N}}_W(P)/P)=\aleph ({\varvec{\mu }}_2)\) and a \({\mathbb {C}}^\times \)equivariant isomorphism of Poisson varieties
Looking at the equations of \({\textbf{Z}}_c\) in CHAMP we see that among them we have the two following ones:
This means that the elements \(X=X_2/X_1\) and \(Y=Y_2/Y_1\) belong to the integral closure of the ring \({\mathbb {C}}[\overline{{\mathscr {L}}}]\). Let \(A={\mathbb {C}}[{\mathscr {Z}}_c^{\textrm{sing}}][X,Y]\). We create the affine scheme \({\mathscr {L}}_0\) with coordinate ring A in CHAMP as follows:
We see that \({\mathscr {L}}_0\) is not reduced and define \({\mathscr {L}}_1\) to be its reduced subscheme:
We see that A, B and C can be expressed as polynomials in X, Y and \({{\textbf{e}}{\textbf{u}}}\). Therefore,
As it is a smooth, hence normal, variety this shows that \({\mathscr {L}}_1 = \overline{{\mathscr {L}}}^{\textrm{nor}}\). In other words, setting \(e'=e+3\) we obtain:
Now, let \(k_{\mathscr {L}}\in \aleph ({\mathbb {C}},{\varvec{\mu }}_2)\) be defined by \((k_{\mathscr {L}})_0=9\) and \((k_{\mathscr {L}})_1=9\). Note also that X and Y have degree 2 and \(2\) respectively. Using the description of Calogero–Moser spaces in rank 1 given by [19, Theo. 18.2.4], we get that we have a \({\mathbb {C}}^\times \)equivariant isomorphism of varieties
It remains to show that this isomorphism respects the Poisson bracket. For degree reasons, it respects the Poisson bracket with the Euler element, see (2.9). So, it remains to compute the Poisson bracket \(\{X,Y\}\) on both sides. On the righthand side of (4.9), we have
where \({{\textbf{e}}{\textbf{u}}}_\#\) denotes the image of \({{\textbf{e}}{\textbf{u}}}\) under the isomorphism (4.9). On the lefthand side of (4.9), we have
Since \({\mathbb {C}}[{\mathscr {Z}}_c^{\textrm{sing}}]\) is an integral domain, it is sufficient to show that
in \({\mathbb {C}}[{\mathscr {Z}}_c^{\textrm{sing}}]\). The matrix whose entries are the Poisson brackets \(\{u,v\}\) for u and v running over the generators \(X_1\), \(Y_1\), \(X_2\), \(Y_2\), A, B, C, \({{\textbf{e}}{\textbf{u}}}\) of \({\textbf{Z}}_c\) is obtained in CHAMP using Algorithm 3.17 as follows (recall that Poisson brackets in CHAMP are the negatives of our Poisson brackets because of the opposite algebra convention):
Finally, we confirm that equation (?) indeed holds:
This completes the proof. \(\square \)
5 Families and hyperplanes
In this section we describe algorithms for computing the Calogero–Moser families (which correspond to the \(\mathbb {C}^\times \)fixed points of \({\mathscr {Z}}_c\)) and an associated hyperplane arrangement which plays an important role in geometry (Sect. 5.4) and representation theory (Sect. 5.5). We furthermore give an algorithm for computing the cuspidal points (i.e. the zerodimensional symplectic leaves) of the Calogero–Moser space.
5.1 Restricted algebras, families, and hyperplanes
Throughout, let W be an arbitrary complex reflection group. Let \({\mathfrak m}_{0}\) be the maximal ideal in \({\mathbb {C}}[V]^W \otimes {\mathbb {C}}[V^*]^W\) corresponding to the origin of \(V/W \times V^*/W\). The \({\mathbb {C}}[{\mathscr {C}}]\)algebra \(\overline{{\textbf{H}}} = {\textbf{H}}/{\mathfrak m}_0 {\textbf{H}}\) is called the generic restricted rational Cherednik algebra. We can specialize \(\overline{{\textbf{H}}}\) in \(c \in {\mathscr {C}}\) to obtain the \({\mathbb {C}}\)algebra \(\overline{{\textbf{H}}}_c = \overline{{\textbf{H}}}/{\mathfrak C}_c \overline{{\textbf{H}}}\). Since \({\textbf{H}}\) is a free \({\textbf{P}}\)module of rank \(W^3\), it follows that \(\overline{{\textbf{H}}}\) is a free \({\mathbb {C}}[{\mathscr {C}}]\)module of rank \(W^3\) and that \(\overline{{\textbf{H}}}_c\) is a \({\mathbb {C}}\)algebra of dimension \(W^3\). The algebras \(\overline{{\textbf{H}}}_c\) were studied by Gordon [36].
The PBWdecomposition of \({\textbf{H}}\) induces a triangular decomposition of \(\overline{{\textbf{H}}}_c\) and this leads to a theory of standard modules similar to the theory for finitedimensional complex semisimple Lie algebras. Specifically, for each \(\lambda \in {{\,\mathrm{{\textrm{Irr}}}\,}}(W)\) there is an associated \(\overline{{\textbf{H}}}_c\)module \(\Delta _c(\lambda )\) which has simple head \(L_c(\lambda )\) and \(\{ L_c(\lambda ) \mid \lambda \in {{\,\mathrm{{\textrm{Irr}}}\,}}W \}\) is a complete set of representatives of isomorphism classes of simple \(\overline{{\textbf{H}}}_c\)modules. The details are given in Gordon [36]. Since \(\overline{{\textbf{H}}}_c\) is a finitedimensional \({\mathbb {C}}\)algebra, it has a block decomposition and each simple \(\overline{{\textbf{H}}}_c\)module belongs to exactly one block. Via the bijection \(\lambda \mapsto L_c(\lambda )\) this block decomposition yields a partition of \({{\,\mathrm{{\textrm{Irr}}}\,}}W\) that we denote by \(\textrm{CM}_c\). The parts of this partition are called the Calogero–Moser cfamilies.
Let \(\Upsilon _c :{\mathscr {Z}}_c \rightarrow {\mathscr {P}}_c\) be the fiber of the morphism \(\Upsilon :{\mathscr {Z}}\rightarrow {\mathscr {P}}\) from (2.5) in c, i.e. \(\Upsilon _c\) is the morphism defined by the inclusion \({\textbf{P}}_c \subseteq {\textbf{Z}}_c\). This morphism is \({\mathbb {C}}^\times \)equivariant and by [36] the blocks of \(\overline{{\textbf{H}}}_c\), and thus the Calogero–Moser cfamilies, are naturally in bijection with the \({\mathbb {C}}^\times \)fixed points of \({\mathscr {Z}}_c\). Denoting by \({\mathscr {Z}}_c^{{\mathbb {C}}^\times }\) the set of \({\mathbb {C}}^\times \)fixed points of \({\mathscr {Z}}_c\) we define
The set \({\mathscr {C}}_{\textrm{CM}}\) is known to be a union of (finitely many) hyperplanes (see below): these are the Calogero–Moser hyperplanes.
Remark 5.2
The original purpose of CHAMP, as presented in [58], was to compute decomposition matrices of standard modules for restricted rational Cherednik algebrasfrom which one can easily deduce the Calogero–Moser families. The database of CHAMP contains a wealth of such information for several exceptional complex reflection groups. We note that the algorithm for computing Calogero–Moser families we will present below (Algorithm 5.7) is much more efficient and allows to cover many more cases than the computation via decomposing standard modules (which, on the other hand, yields much more information). \(\blacksquare \)
5.2 Families and hyperplanes via central characters
The Calogero–Moser families and hyperplanes admit an explicit description via central characters thatcombined with the fact that we can compute generators of \({\textbf{Z}}\) via Algorithm 3.10immediately yields an algorithm for computing these invariants. We denote by
the unique \({\mathbb {C}}[{\mathscr {C}}]\)linear map which, through the isomorphism (2.4) of vector spaces given by the PBWdecomposition, sends an element \(f \in {\mathbb {C}}[V]\) (resp. \(f^* \in {\mathbb {C}}[V^*]\)) to f(0) (resp. \(f^*(0)\)), and which is the identity on \({\mathbb {C}}[{\mathscr {C}}]\) and \({\mathbb {C}}W\). This map is Wequivariant, so its restriction to \({\textbf{Z}}\) induces a map
which is a morphism of \({\mathbb {C}}[{\mathscr {C}}]\)algebras by [19, Coro. 4.2.11]. For a prime ideal \({\mathfrak C}\) of \({\mathbb {C}}[{\mathscr {C}}]\) we denote by
the composition of \({\varvec{\Omega }}\) with the scalar extension of the quotient map \({\mathbb {C}}[{\mathscr {C}}] \rightarrow {\mathbb {C}}[{\mathscr {C}}]/{\mathfrak C}\) to \({\textrm{Z}}({\mathbb {C}}W)\). Note that \({\varvec{\Omega }}^{(0)} = {\varvec{\Omega }}\) for the zero ideal (0) in \({\mathbb {C}}[ {\mathscr {C}}]\). For \(c \in {\mathscr {C}}\) we set
For \(\chi \in {{\,\mathrm{{\textrm{Irr}}}\,}}(W)\) we denote by \(\omega _\chi : {\textrm{Z}}({\mathbb {C}}W) \longrightarrow {\mathbb {C}}\) the associated central character and also denote by \(\omega _\chi : ({\mathbb {C}}[{\mathscr {C}}]/{\mathfrak C}) \otimes {\textrm{Z}}({\mathbb {C}}W) \longrightarrow {\mathbb {C}}[{\mathscr {C}}]/{\mathfrak C}\) its scalar extension to \({\mathbb {C}}[{\mathscr {C}}]/{\mathfrak C}\). We then set
It follows from [59, Theorems 1.1 and 1.5] that two characters \(\chi ,\chi '\) are in the same Calogero–Moser cfamily if and only if \({\varvec{\Omega }}_\chi ^c = {\varvec{\Omega }}_{\chi '}^c\). We will therefore say more generally that for a prime ideal \({\mathfrak C}\) in \({\mathbb {C}}[{\mathscr {C}}]\) two characters \(\chi ,\chi '\) are in the same Calogero–Moser \({\mathfrak C}\)family if \({\varvec{\Omega }}_\chi ^{{\mathfrak C}} = {\varvec{\Omega }}_{\chi '}^{{\mathfrak C}}\). We denote by \({\mathbb {C}}_{{\mathfrak C}}\) the set of Calogero–Moser \({\mathscr {C}}_{\textrm{CM}}\)families. The Calogero–Moser \({\mathfrak C}\)families for \({\mathfrak C}=(0)\) are called the generic Calogero–Moser families. These are determined by the condition \({\varvec{\Omega }}_\chi = {\varvec{\Omega }}_{\chi '}\). It is clear that if \({\mathfrak C}' \subseteq {\mathfrak C}\) is an inclusion of prime ideals of \({\mathbb {C}}[{\mathscr {C}}]\), then the \({\mathfrak C}\)families are unions of \({\mathfrak C}'\)families, i.e. specializing yields coarser families. In particular, the number of \({\mathfrak C}'\)families is less than or equal to the number of \({\mathfrak C}\)families. Let
be the locus of all \({\mathfrak C}\) where the \({\mathfrak C}\)families are not equal to (and thus coarser than) the generic families. It follows from [59, Theorem 1.3] that this locus is a closed subset of \(\textrm{Spec}({\mathbb {C}}[{\mathscr {C}}])\) which is either empty or pure of codimension 1. It is obviously contained in
This set is the union of the zero sets of the polynomials \({\varvec{\Omega }}_\chi ({{\textbf{e}}{\textbf{u}}})  {\varvec{\Omega }}_{\chi '}({{\textbf{e}}{\textbf{u}}}) \in {\mathbb {C}}[{\mathscr {C}}]\) for characters \(\chi ,\chi '\) with \({\varvec{\Omega }}_\chi ({{\textbf{e}}{\textbf{u}}}) \ne {\varvec{\Omega }}_{\chi '}({{\textbf{e}}{\textbf{u}}})\). Note that \({\varvec{\Omega }}_\chi ({{\textbf{e}}{\textbf{u}}}) \in {\mathbb {C}}[{\mathscr {C}}]\) is a linear polynomial. It thus follows that \(\widetilde{{\mathscr {C}}_{\textrm{Eu}}}\) is a union of (finitely many) hyperplanes: we call them the Euler hyperplanes. In particular, \(\widetilde{{\mathscr {C}}_{\textrm{Eu}}}\) is nonempty and thus pure of codimension 1. This shows that there is \(c \in {\mathscr {C}}\) such that the cfamilies are equal to the generic families and this implies that the set \({\mathscr {C}}_{\textrm{CM}}\) from (5.1) is equal to (the set of closed points of) \(\widetilde{{\mathscr {C}}_{\textrm{CM}}}\). It has been proven in [19, Coro. 7.8.3] that \(\widetilde{{\mathscr {C}}_{\textrm{CM}}}\) is a union of Euler hyperplanes. In particular, \(\widetilde{{\mathscr {C}}_{\textrm{CM}}}\) is a union of hyperplanes.
Given two partitions \(\mathscr {P},\mathscr {P}'\) of \({{\,\mathrm{{\textrm{Irr}}}\,}}W\) we denote by \(\mathscr {P} \wedge \mathscr {P}'\) the partition of \({{\,\mathrm{{\textrm{Irr}}}\,}}W\) whose parts are the unions of all parts of \(\mathscr {P}\) and \(\mathscr {P}'\) having nonempty intersection. Let \(H_1,\ldots ,H_r\) be the Calogero–Moser hyperplanes and for each j let \({\mathfrak C}_j\) be the corresponding prime ideal in \({\mathbb {C}}[{\mathscr {C}}]\). It follows from [59, Lemma 3.6] that for \(c \in {\mathscr {C}}_{\textrm{CM}}\) we have
i.e. the cfamilies are obtained by taking the meet of the \({\mathfrak C}_j\)families for all i such that c is contained in \(H_i\).
Our discussion yields an immediate algorithm for computing the Calogero–Moser hyperplanes and the cfamilies for all parameters \(c \in {\mathscr {C}}\) at once. Before stating this we record an elementary fact that simplifies the computations.
Lemma 5.6
Let \(z \in {\textbf{Z}}\) be \({\mathbb {Z}}\)homogeneous of nonzero degree. Then \({\varvec{\Omega }}(z)=0\).
Proof
Indeed, the morphism \({\varvec{\Omega }}: {\textbf{Z}}\rightarrow {\mathbb {C}}[{\mathscr {C}}] \otimes {\textrm{Z}}({\mathbb {C}}W)\) respects the \(({\mathbb {N}}\times {\mathbb {N}})\)bigrading, so respects the \({\mathbb {Z}}\)grading. But \({\mathbb {C}}[{\mathscr {C}}] \otimes {\textrm{Z}}({\mathbb {C}}W)\) is concentrated in \({\mathbb {Z}}\)degree 0. \(\square \)
Algorithm 5.7
Families and hyperplanes
Example 5.8
We compute in CHAMP the Calogero–Moser hyperplanes and families for the Weyl group of type \(B_2\).
5.3 Summary of what is computable
Remember from Sect. 3.5 that we could compute \((z_i)_{i \in I_0}\) for all exceptional complex reflection groups except \(G_{16}  G_{22}\) and \(G_{29}  G_{37}\). In all these cases, we could successfully run Algorithm 5.7 and we thus know the Calogero–Moser hyperplanes and the cfamilies for all \(c \in {\mathscr {C}}\). The results are contained in the database of CHAMP. It is particularly exciting that we were able to compute this for \(G_{28}\) because it is a Weyl group (of type \(F_4\)). Table 3 gives a brief summary of results about the Calogero–Moser hyperplane arrangement for exceptional complex reflection groups (we have published this table previously in [6]). In the following two subsections we mention important results that follow from these computations.
5.4 Applications in birational geometry
Let \(X = (V \times V^*)/W\). This variety is normal. Recall that the vector space \(V \times V^*\) carries a natural symplectic form and the action of W on this space is symplectic. Since the symplectic group is contained in the corresponding special linear group, it follows from the Reid–Tai criterion that X has canonical singularities (see, e.g., [41, Theorem 3.21]). An application of [2, Corollary 1.4.3] thus shows that X admits a \(\mathbb {Q}\)factorial terminalization, i.e. a crepant projective birational morphism \(\pi :Y \rightarrow X\) from a normal \(\mathbb {Q}\)factorial variety Y with terminal singularities (the projectivity of the morphism follows from the proof of [2, Corollary 1.4.3]). Since X has trivial canonical class by a result by Watanabe (see, e.g. [10, Theorem 4.6.2]), the \(\mathbb {Q}\)factorial terminalizations are the same as relative minimal models of X (relative to a logresolution of X).
Now, choose such a \(\mathbb {Q}\)factorial terminalization \(\pi :Y \rightarrow X\). For more details on the following we refer to [53]. The cohomology group \(\mathscr {K}_{\mathbb {C}} = H^2(Y,\mathbb {C})\) can be identified with \({{\,\mathrm{{\textrm{Pic}}}\,}}(Y) \otimes _{\mathbb {Z}} \mathbb {C}\). Let \({{\,\mathrm{{\textrm{Mov}}}\,}}(\pi )\) be the cone in \(\mathscr {K}_{\mathbb {R}} = {{\,\mathrm{{\textrm{Pic}}}\,}}(Y) \otimes _{\mathbb {Z}} \mathbb {R}\) formed by the \(\pi \)movable line bundles. This cone decomposes into the ample cones of the various other \(\mathbb {Q}\)factorial terminalizations of X, and the codimension1 faces of each of these ample cones generate a hyperplane arrangement in \(\mathscr {K}_{\mathbb {R}}\) decomposing \({{\,\mathrm{{\textrm{Mov}}}\,}}(\pi )\) into various chambers.
It is shown in [4] that \(\mathscr {K}_{\mathbb {R}}\) can naturally be identified with the real vector space inside the complex parameter space \({\mathscr {K}}\) spanned by the \(K_{\Omega ,j}\), i.e., \({\mathscr {K}}_{\mathbb {R}}=\sum _{(\Omega ,j) \in \aleph (W)} {\mathbb {R}}K_{\Omega ,j}\). Recall from Sect. 5.2 that the Calogero–Moser hyperplanes are Euler hyperplanes. It is then clear that in the parameters \(K_{\Omega ,j}\) the Calogero–Moser hyperplanes have rational coefficients and so they define a hyperplane arrangement in \({\mathscr {K}}_{\mathbb {R}}\) as well. Using the Poissongeometric description of the chamber decomposition of the movable cone given in [53], it was shown in [6] that these chambers coincide with orbits of the chambers of the Calogero–Moser hyperplane arrangement under the action of the Namikawa Weyl group on \({\mathscr {K}}_{{\mathbb {R}}}\). This group was shown in [4] to be simply the product of the full permutation groups on the indices j of the variables \({\mathscr {K}}_{\mathbb {R}}=\sum _{(\Omega ,j)}\) for fixed \(\Omega \).
To summarize, when we denote by \({\textrm{E}}_{\textrm{CM}}(W)\) the number of chambers of the Calogero–Moser hyperplane arrangement inside \({\mathscr {K}}_{\mathbb {R}}\) and by \({\mathbb {Q}}{\textrm{FT}}(W)\) the number of \(\mathbb {Q}\)factorial terminalizations of \((V \times V^*)/W\), then
Recall that the number of chambers of a real hyperplane arrangement is equal to the evaluation at \(1\) of its Poincaré polynomial [60]. Algorithms for computing the Poincaré polynomial are implemented in, e.g., the computer algebra system Sage [54]. In all cases of the exceptional complex reflection groups where we could compute the Calogero–Moser hyperplane arrangement we were also able to compute the number \({\mathbb {Q}}{\textrm{FT}}(W)\) as well, see Table 3. We note that the computation of the Poincaré polynomial in case of \(G_{11}\) in Sage took three weeks.
Remark 5.10
It would be very interesting to explicitly construct a \(\mathbb {Q}\)factorial terminalization of \((V \times V^*)/W\). Among the exceptional groups, this has so far only been done for \(G_4\), see [42], which is very special because it is the only exceptional group where the associated symplectic singularity admits a symplectic resolution, i.e. the \(\mathbb {Q}\)factorial terminalizations are smooth. Recently, an explicit presentation of a \(\mathbb {Q}\)factorial terminalization in the case of odd dihedral groups was constructed in [55, Corollary 7.3.13]. \(\blacksquare \)
5.5 Applications in representation theory
Several notions of families have been associated with real or complex reflection groups: they all form a partition of \({{\,\mathrm{{\textrm{Irr}}}\,}}(W)\) and it is a natural question to understand, or compare, all these partitions. Fix \(c \in {\mathscr {C}}\) and let \(k=\kappa (c) \in {\mathscr {K}}\). Let \(k^\sharp =(k_{\Omega ,j}^\sharp )_{(\Omega ,j) \in \aleph (W)}\) denote the element of \({\mathscr {K}}\) defined by \(k_{\Omega ,j}^\sharp =k_{\Omega ,j}\) (the indices j being viewed modulo \(e_\Omega \)).

If W is real (i.e. a Coxeter group) and c has real values (since reflections have order 2 in this case, this is equivalent to requiring that k has real values; note also that \(k=k^\sharp \) in this case), there are two different notions:

(L)
The Lusztig cfamilies are defined using the notion of cconstructible characters of W built on the Lusztig \({\textbf{a}}\)function (see for instance [19, Sect. 15.3.B]). They have been explicitly computed by Lusztig in all cases [45]. Note that they are related to the representation theory of finite reductive groups [44].

(KL)
The Kazhdan–Lusztig cfamilies are associated with the partition of W into Kazhdan–Lusztig ccells, built from the Kazhdan–Lusztig basis of the Hecke algebra (see for instance [19, Sect. 8.6]).
Lusztig conjectures that both notions coincide [45] and this conjecture holds in many cases (for instance, if c is constant or if W is of type \(F_4\)).

(L)

If W is a general complex reflection group, there are also two notions:

(R)
Broué–Kim [23] have associated a partition of \({{\,\mathrm{{\textrm{Irr}}}\,}}(W)\) into Rouquier kfamilies as blocks of the Hecke algebras of W with parameter k over a suitable ring (see for instance [19, Def. 6.5.1] for an extension of this definition to the case where k takes complex values: they are called Hecke kfamilies there). Chlouveraki [27,28,29,30,31] computed Rouquier kfamilies in all cases: as a consequence, she proved that, for W real, Rouquier kfamilies coincide with Lusztig cfamilies.

(CM)
The Calogero–Moser kfamilies defined by Gordon [36] and studied in this paper. Note that this last notion of families does not involve the Hecke algebra, in contrast to the first three ones.

(R)
Conjecture 5.11
(Martino) Let \(c \in {\mathscr {C}}\) and let \(k=\kappa (c) \in {\mathscr {K}}={\mathscr {C}}\). Then any Calogero–Moser cfamily is a union of Rouquier \(k^\sharp \)families.
Conjecture 5.12
(Gordon–Martino) Assume that W is a Coxeter group and assume \(c \in {\mathscr {C}}\) is realvalued. Then Calogero–Moser cfamilies coincide with Lusztig cfamilies.
The Martino conjecture is known to be true for the whole infinite series of complex reflection groups G(m, p, n), see [49, 50]. The Gordon–Martino conjecture is known to be true for all Coxeter groups except possibly \(H_4\) and \(E_6\)–\(E_8\) by [33, 36, 38, 50, 57]. Therefore, Rouquier families and Calogero–Moser families are two candidates for extending the notion of (Kazhdan)Lusztig families to general complex reflection groups. However, it must be pointed out that Martino’s Conjecture does not claim that Calogero–Moser families coincide with Rouquier families: indeed, there are cases where it is known that both notions do not coincide [57].
We will show that both conjectures are true for all the exceptional complex reflection groups for which we could compute the Calogero–Moser families (see Sect. 5.3). Note that both conjectures involve an infinite range of parameters. To be able to algorithmically test the conjectures, we need to reduce this to a finite problem. This is possible due to the semicontinuity property of both types of families: in both cases there is a finite hyperplane arrangement (the Calogero–Moser hyperplanes for the Calogero–Moser families and the socalled essential hyperplanes for the Rouquier families [30]) such that for all parameters outside these hyperplanes the respective families are always the same and for an arbitrary parameter the families are the smallest unions of the generic families on the hyperplanes containing the parameter. For the Calogero–Moser families this is precisely (5.5) and for the Rouquier families this property was established in [19]. We thus arrive at the following algorithm:
Algorithm 5.13
Testing the Martino conjecture
By testing for equality instead of union we can also test the Gordon–Martino conjecture in the same way. We note that the Rouquier families and the essential hyperplanes for the exceptional complex reflection groups have been computed in [30] and this data has been added to the database of CHAMP.
Example 5.14
We test the Martino conjecture for the group \(G_4\) in CHAMP:
Using this algorithm we have proven:
Theorem 5.15

(1)
The Martino conjecture is true for all exceptional complex reflection groups where we could compute the Calogero–Moser families, i.e. for all except possibly \(G_{16}\)–\(G_{22}\) and \(G_{29}\)–\(G_{37}\).

(2)
The Gordon–Martino conjecture is true for \(G_{23} = H_3\) and \(G_{28} = F_4\). \(\square \)
5.6 Cuspidal families
Recall from Sect. 2.6 that the zerodimensional symplectic leaves of \({\mathscr {Z}}_c\) are also called cuspidal points. It was shown in [8] that the cuspidal points are contained in \({\mathscr {Z}}_c^{{\mathbb {C}}^\times }\). Accordingly, we call a Calogero–Moser family cuspidal if the corresponding \({\mathbb {C}}^\times \)fixed point in \({\mathscr {Z}}_c\) is cuspidal. The cuspidal families are important because there is a kind of HarishChandra theory, developed by Bellamy [3], which reduces the study of Calogero–Moser families to the cuspidal ones (for parabolic subgroups of W).
For a Calogero–Moser cfamily \({\mathscr {F}}\) we denote by \({\varvec{\Omega }}_{\mathscr {F}}^c\) the map \({\varvec{\Omega }}_\chi ^c\) for one (any) \(\chi \in {\mathscr {F}}\). The corresponding point \({\mathfrak m}_{\mathscr {F}}^c\) of \({\mathscr {Z}}_c^{{\mathbb {C}}^\times }\) is then equal to the kernel of \({\varvec{\Omega }}_{\mathscr {F}}^c\). If \((z_i)_{i \in I}\) denotes a system of algebra generators of \({\textbf{Z}}\) then \({\mathfrak m}_{\mathscr {F}}^c\) is generated by the elements \((z_i{\varvec{\Omega }}_{\mathscr {F}}^c(z_i))_{i \in I}\). We thus obtain:
Proposition 5.16
\({\mathscr {F}}\) is cuspidal if and only if \({\varvec{\Omega }}_{\mathscr {F}}^c(\{z_i,z_j\}))=0\) for all i, \(j \in I\).
Note that, thanks to Lemma 5.6, we only need to compute the Poisson brackets \(\{z_i,z_j\}\) for the pairs (i, j) such that \(\deg _{\mathbb {Z}}(z_i)+\deg _{\mathbb {Z}}(z_j)=0\). We thus arrive at the following algorithm:
Algorithm 5.17
Cuspidal families
Example 5.18
We compute the cuspidal Calogero–Moser families for the dihedral group of order 8 in CHAMP and verify that in the equal parameter case there is a unique cuspidal family (see also Sect. 3.6):
6 Cellular characters
We fix \(c \in {\mathscr {C}}\). Calogero–Moser ccellular characters have been defined in [19, Def. 1.8.4] but we will use here the equivalent definition given by [19, Theo. 8.3.2] in terms of Gaudin algebras.
6.1 Definition
We recall here the definition of cellular characters which involves the Gaudin algebra [19, Sect. 13.2]. First, recall that \({\mathbb {C}}[{\mathscr {C}}\times V^{\textrm{reg}}][W]\) denotes the group algebra of W over the algebra \({\mathbb {C}}[{\mathscr {C}}\times V^{\textrm{reg}}]\), and not the semidirect product \({\mathbb {C}}[{\mathscr {C}}\times V^{\textrm{reg}}] \rtimes W\). For \(y \in V\), let
Then \({\textrm{Gau}}(W)\) is the sub\({\mathbb {C}}[{\mathscr {C}}\times V^{\textrm{reg}}]\)algebra of \({\mathbb {C}}[{\mathscr {C}}\times V^{\textrm{reg}}][W]\) generated by the \({\mathscr {D}}_y\)’s (\(y \in V\)): it will be called the generic Gaudin algebra associated with W. Recall that it is commutative [19, Sect. 8.3.B].
Now, if \(y \in V\), let \({\mathscr {D}}_y^c \in {\mathbb {C}}[V^{\textrm{reg}}][W]\) denote the specialization at c of \({\mathscr {D}}_y\) and let \({\textrm{Gau}}_c(W)\) denote the specialization of \({\textrm{Gau}}(W)\) at \(c \in {\mathscr {C}}\). Since \({\mathbb {C}}(V)^W \otimes _{{\mathbb {C}}[V^{\textrm{reg}}]^W} {\mathbb {C}}[V^{\textrm{reg}}] \simeq {\mathbb {C}}(V)\), we have
and \({\mathbb {C}}(V){\textrm{Gau}}_c(W)\) is the \({\mathbb {C}}(V)\)subalgebra of \({\mathbb {C}}(V)[W]\) generated by the \({\mathscr {D}}_y^c\)’s.
Let L be a simple \({\mathbb {C}}(V){\textrm{Gau}}_c(W)\)module and set
Then \(\gamma _L^{\textrm{Gau}}\) is a Calogero–Moser ccellular character of W, and they can all be obtained in this way [19, Theo. 13.2.10]. Note moreover that W acts on \({\textrm{Gau}}_c(W)\), so it acts on \({{\,\mathrm{{\textrm{Irr}}}\,}}({\mathbb {C}}(V){\textrm{Gau}}_c(W))\) and
for all \(L \in {{\,\mathrm{{\textrm{Irr}}}\,}}({\mathbb {C}}(V){\textrm{Gau}}_c(W))\) and all \(w \in W\).
6.2 Algorithm
Following Appendix I (see Remark I.12), the following algorithm allows us to compute the Calogero–Moser ccellular characters. For this, we fix a number field \(\Bbbk \) and a \(\Bbbk \)form \(V_\Bbbk \) of V which is stabilized by W (this is done in order to perform exact computations).
Algorithm 6.2
Cellular characters
The fact that the set of Calogero–Moser ccellular characters does not depend on the choice of the number field \(\Bbbk \) follows from Remark I.13 and from the fact that the group algebra \(\Bbbk W\) is split [9, 11].
Remark 6.3
The matrix which gives \({\mathscr {D}}\) has size W, so the computations involved in the previous algorithm can be heavy even for reasonably small W’s (type \(H_3\), \(F_4\), \(H_4\)...). If one has all the explicit representations of W, then the computation of \(\Pi \) might be performed for each representation, instead of the regular representation. \(\blacksquare \)
6.3 Spetses
For W a Coxeter group, it is conjectured that Calogero–Moser cellular characters coincide with Lusztig constructible characters [19, Conj. L]. This has been checked for dihedral groups [12] and for the symmetric group [22], as well when the Calogero–Moser space is smooth [19, Theo. 14.4.1].
For W a spetsial complex reflection group and for the spetsial parameter \(c_{\textrm{sp}}\) (i.e. the parameter such that \(\kappa (c_{\textrm{sp}})_{\Omega ,0}=1\) and \(\kappa (c_{\textrm{sp}})_{\Omega ,j}=0\) for all \(\Omega \in {\mathscr {A}}/W\) and \(1 \leqslant j \leqslant e_\Omega 1\)), the philosophy of spetses [24] allows one to propose good candidates for a notion of constructible characters [48] (let us call them Malle–Rouquier \(c_{\textrm{sp}}\)constructible characters). The construction is completely different from the construction of cellular characters, but it is conjectured that both notions coincide. As explained above, computations can become pretty heavy when the size of the group increases, but we were able to check the following result:
Theorem 6.4
If W a spetsial primitive complex reflection group of rank \(\leqslant 2\) (i.e. if \(W=G_4\), \(G_6\), \(G_8\) or \(G_{14}\)), then Calogero–Moser \(c_{\textrm{sp}}\)cellular characters coincide with Malle–Rouquier \(c_{\textrm{sp}}\)constructible characters.
Even though it seems like a weak result, it is an extension of the surprising links between the Poisson geometry of Calogero–Moser spaces and unipotent representations of finite reductive groups explained by the first author in [16].
References
Beauville, A.: Symplectic singularities. Invent. Math. 139, 541–549 (2000)
Birkar, C., Cascini, P., Hacon, C.D., McKernan, J.: Existence of minimal models for varieties of log general type. J. Am. Math. Soc. 23(2), 405–468 (2010)
Bellamy, G.: Cuspidal representations of rational Cherednik algebras at \(t=0\). Math. Z. 269, 609–627 (2011)
Bellamy, G.: Counting resolutions of symplectic quotient singularities. Compos. Math. 152, 99–114 (2016)
Bellamy, G., Bonnafé, C., Fu, B., Juteau, D., Levy, M., Sommers, E.: A new family of isolated symplectic singularities with trivial local fundamental group. Proc. Lond. Math. Soc. 126, 1496–1521 (2023)
Bellamy, G., Schedler, T., Thiel, U.: Hyperplane arrangements associated with symplectic quotient singularities, Phenomenological approach to algebraic geometry, 2545, Banach Center Publ., 116, Polish Acad. Sci. Inst. Math., Warsaw (2018)
Bellamy, G., Schmitt, J., Thiel, U.: Towards the classification of symplectic linear quotient singularities admitting a symplectic resolution. Math. Z. 300, 661–681 (2022)
Bellamy, G., Thiel, U.: Cuspidal Calogero–Moser and Lusztig families for Coxeter groups. J. Algebra 462, 197–252 (2016)
Benard, M.: Schur indices and splitting fields of the unitary reflection groups. J. Algebra 38, 318–342 (1976)
Benson, D. J.: Polynomial invariants of finite groups, London Math. Soc. Lecture Note Series 190. Cambridge University Press, Cambridge (1993)
Bessis, D.: Sur le corps de définition d’un groupe de réflexions complexe. Comm. Algebra 25, 2703–2716 (1997)
Bonnafé, C.: On the CalogeroMoser space associated with dihedral groups. Ann. Math. Blaise Pascal 25, 265–298 (2018)
Bonnafé, C.: On the Calogero–Moser space associated with dihedral groups II, The equal parameter case, preprint (2021). arXiv:2112.12401 (To appear in Ann. Math. Blaise Pascal)
Bonnafé, C.: Automorphisms and symplectic leaves of Calogero–Moser spaces. J. Aust. Math. Soc. 115, 26–57 (2023)
Bonnafé, C.: Regular automorphisms and Calogero–Moser families, Preprint (2021). arxiv:2112.13685 (To appear in Revista de la Unión Matemática Argentina)
Bonnafé, C.: Calogero–Moser spaces vs unipotent representations, preprint (2021). arXiv:2112.13684 (To appear in Pure and App. Math. Quart)
Bonnafé, C., Maksimau, R.: Fixed points in smooth Calogero–Moser spaces. Ann. Inst. Fourier 71, 643–678 (2021)
Bonnafé, C., Rouquier, R.: Calogero–Moser versus Kazhdan–Lusztig cells. Pac. J. Math. 261, 45–51 (2013)
Bonnafé, C., Rouquier, R.: Cherednik algebras and Calogero–Moser cells. arXiv:1708.09764
Bourbaki, N.: Algèbre commutative, chapitres 5, 6, 7
Broué, M.: Introduction to complex reflection groups and their braid groups, Lecture Notes in Mathematics 1988. Springer (2010)
Brochier, A., Gordon, I., White, N.: Gaudin Algebras, RSK and Calogero–Moser Cells in Type A. Proc. Lond. Math. Soc. 126, 1467–1495 (2023)
Broué, M., Kim, S.: Familles de caractères des algèbres de Hecke cyclotomiques. Adv. Math. 172, 53–136 (2002)
Broué, M., Malle, G., Michel, J.: Towards Spetses I. Transf. Groups 4, 157–218 (1999)
Brown, K., Gordon, I.: Poisson orders, symplectic reflection algebras and representation theory. J. Reine Angew. Math. 559, 193–216 (2003)
Calogero, F.: Solution of the onedimensional N body problems with quadratic and/or inversely quadratic pair potentials. J. Math. Phys. 12, 419–436 (1971)
Chlouveraki, M.: Sur les algèbres de Hecke cyclotomiques des groupes de réflexions complexes, thèse, Paris 7 (2007)
Chlouveraki, M.: Rouquier blocks of the cyclotomic Hecke algebras. C. R. Math. Acad. Sci. Paris 344, 615–620 (2007)
Chlouveraki, M.: Rouquier blocks of the cyclotomic Ariki–Koike algebras. Algebra Number Theory 2, 689–720 (2008)
Chlouveraki, M.: Blocks and families for cyclotomic Hecke algebras, Lecture Notes in Mathematics 1981. Springer (2009)
Chlouveraki, M.: Rouquier blocks of the cyclotomic Hecke algebras of \(G(de, e, r)\). Nagoya Math. J. 197, 175–212 (2010)
Curtis, C. W., Reiner, I.: Methods of representation theory, Vol. I, With applications to finite groups and orders. Pure and Applied Mathematics, A WileyInterscience Publication. Wiley, New York (1981)
Etingof, P., Ginzburg, V.: Symplectic reflection algebras, Calogero–Moser space, and deformed HarishChandra homomorphism. Invent. Math. 147, 243–348 (2002)
Ginzburg, V., Guay, N., Opdam, E., Rouquier, R.: On the category \({\mathscr {C} }\) for rational Cherednik algebras. Invent. Math. 154, 617–651 (2003)
Ginzburg, V., Kaledin, D.: Poisson deformations of symplectic quotient singularities. Adv. Math. 186, 1–57 (2004)
Gordon, I.: Baby Verma modules for rational Cherednik algebras. Bull. Lond. Math. Soc. 35, 321–336 (2003)
Gordon, I.: Symplectic reflection algebras, in Trends in representation theory of algebras and related topics, 285347, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich (2008)
Gordon, I.G., Martino, M.: Calogero–Moser space, restricted rational Cherednik algebras and twosided cells. Math. Res. Lett. 16, 255–262 (2009)
Kazhdan, D., Lusztig, G.: Representations of Coxeter groups and Hecke algebras. Invent. Math. 53, 165–184 (1979)
King, S.: Minimal generating sets of nonmodular invariant rings of finite groups. J. Symbolic Comput. 48, 101–109 (2013)
Kollár, J.: Singularities of the minimal model program, Cambridge Tracts in Mathematics, Vol. 200. Cambridge University Press, Cambridge (2013)
Lehn, M., Sorger, C.: A symplectic resolution for the binary tetrahedral group, Geometric methods in representation theory. II, 429435, Sémin. Congr., 24II, Soc. Math. France, Paris (2012)
Lusztig, G.: Left cells in Weyl groups, in Lie group representations, I, 99–111. Lecture Notes in Math, vol. 1024. Springer, Berlin (1983)
Lusztig, G.: Characters of reductive groups over finite fields. Ann. Math. Studies 107, Princeton UP (1984)
Lusztig, G.: Hecke Algebras with Unequal Parameters. CRM Monograph Series 18, American Mathematical Society, Providence, RI (2003)
Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. J. Symbolic Comput. 24, 235–265 (1997)
Malle, G.: Spetses, Proceedings of the International Congress of Mathematicians, Vol. II (Berlin, 1998). Doc. Math., Extra Vol. II, 87–96 (1998)
Malle, G., Rouquier, R.: Familles de caractères de groupes de réflexions complexes. Represent. Theory 7, 610–640 (2003)
Martino, M.: The Calogero–Moser partition and Rouquier families for complex reflection groups. J. Algebra 323, 193–205 (2010)
Martino, M.: Blocks of restricted rational Cherednik algebras for \(G(m, d, n)\). J. Algebra 397, 209–224 (2014)
Moser, J.: Three integrable Hamiltonian systems connected with isospectral deformations. Adv. Math. 16, 197–220 (1975)
Namikawa, Y.: Poisson deformations of affine symplectic varieties. Duke Math. J. 156, 51–85 (2011)
Namikawa, Y.: Poisson deformations and birational geometry. J. Math. Sci. Univ. Tokyo 22, 339–359 (2015)
The Sage Developers, SageMath, the Sage Mathematics Software System. https://www.sagemath.org
Schmitt, J.: On \({\mathbb{Q}}\)factorial terminalizations of symplectic linear quotient singularities, PhD thesis. University of Kaiserslautern–Landau (2023)
Shephard, G.C., Todd, J.A.: Finite unitary reflection groups. Canad. J. Math. 6, 274–304 (1954)
Thiel, U.: A counterexample to Martino’s conjecture about generic Calogero–Moser families. Algebr. Represent. Theory 17(5), 1323–1348 (2014)
Thiel, U.: CHAMP: a Cherednik algebra magma package. LMS J. Comput. Math. 18, 266–307 (2015)
Thiel, U.: Blocks in flat families of finitedimensional algebras. Pac. J. Math. 295, 191–240 (2018)
Zaslavsky, T.: Facing up to arrangements: facecount formulas for partitions of space by hyperplanes. Mem. Am. Math. Soc. 154, 1 (1975)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Cédric Bonnafé is partly supported by the ANR: Projects No ANR16CE40001001 (GeRepMod) and ANR18CE40002402 (CATORE). This work is a contribution to the SFBTRR 195 ’Symbolic Tools in Mathematics and their Application’ of the German Research Foundation (DFG). We would like to thank Gwyn Bellamy and Gunter Malle for comments on a preliminary version of this paper.
Appendix I: A general theory of cellular characters and how to compute them
Appendix I: A general theory of cellular characters and how to compute them
If A is a commutative ring, M is free Amodule of finite rank and \(\varphi \in {{\,\mathrm{{\textrm{End}}}\,}}_A(M)\), we denote by \({\textrm{char}}_\varphi \in A[{\textbf{t}}]\) the characteristic polynomial of \(\varphi \). If K is a field and \(f \in K[{\textbf{t}}]\), we denote by \(f^{\textrm{rad}}\) the greatest common divisor of f and \(f'\) (which is normalized to be monic) and we set \(f^{\textrm{sem}}=f/f^{\textrm{rad}}\in K[{\textbf{t}}]\). If moreover \(A=K\), we denote by \({\textrm{min}}_\varphi \in K[{\textbf{t}}]\) the minimal polynomial of \(\varphi \) (which is also normalized to be monic). Note that \({\textrm{char}}_\varphi ^{\textrm{sem}}= {\textrm{min}}_\varphi ^{\textrm{sem}}\).
Let \(\Bbbk \) be a field of characteristic 0.
We aim to define a notion of cellular characters of A and study its behavior under specialization or field extension. The results presented here are certainly neither new nor original: they are just adapted to our situation, and stated here with proof for the sake of completeness.
1.1 I.A: Cellular characters
The Kalgebra KA is split, so there is a bijection [32, Propositions 3.56 and 7.7]
This induces an isomorphism of \({\mathbb {Z}}\)modules
where, for a finite dimensional algebra B, \({\mathscr {K}}_0(B)\) is the Grothendieck group of the category of Bmodules. But the Kvector space KE inherits an action of \(K[D] \otimes _K KA\). So its class \({\varvec{[}}KE{\varvec{]}}\) in \({\mathscr {K}}_0(K[D] \otimes _K KA)\) can be written
where \(\gamma _S^p \in {\mathscr {K}}_0(KA) \simeq {\mathscr {K}}_0(A)\) (because A is split).
Definition I.2
The element \(\gamma _S^P\) of \({\mathscr {K}}_0(A)\) is called a Dcellular character.
It might be the case that the map
is not injective. But we will only be interested in the image of \(\gamma ^P\), and its behavior under specialization or field extension. This last situation is the simplest:
Proposition I.3
Let \(\Bbbk '\) be an extension field of \(\Bbbk \) and let \(P'=\Bbbk ' \otimes P\). We assume that \(P'\) is integral and integrally closed and we set \(K'=\Bbbk ' \otimes K\) (it is then the fraction field of \(P'\)). Then the images of the maps \(\gamma ^P\) and \(\gamma ^{P'}\) are equal.
Proof
Note that K[D] is commutative. So, if S is a simple K[D]module, then \(\Bbbk ' \otimes S\) is a multiplicity free semisimple \(K'[D]\)module [32, Propositions 3.56 and 7.7]. Moreover, \(\Bbbk ' \otimes S_1\) and \(\Bbbk ' \otimes S_2\) have a common irreducible constituent if and only if \(S_1 \simeq S_2\) (see [32, Theorem 7.9]). The proposition follows. \(\square \)
1.2 I.B: The case \({\varvec{n=1}}\)
We will first study here the case where \(n=1\). As it will be explained in the next subsection, the general case can in fact be reduced to this case.
The characteristic polynomial \({\textrm{char}}_D\) of D has coefficients in P. Using Euclid’s algorithm in \(K[{\textbf{t}}]\), one can compute the polynomial \({\textrm{char}}_D^{\textrm{rad}}\) (recall that it is the greatest common divisor of \({\textrm{char}}_D\) and its derivative \({\textrm{char}}_D'\)) and so the polynomial \({\textrm{char}}_D^{\textrm{sem}}={\textrm{char}}_D/{\textrm{char}}_D^{\textrm{rad}}\) is computable. We then write
where \(\Pi _i\) belongs to \(K[{\textbf{t}}]\) and is irreducible, \(n_i \geqslant 1\) and \(\Pi _i \ne \Pi _j\) if \(i \ne j\). By [19, Proposition B.4.1],
If \(1 \leqslant i \leqslant r\), we set
and we view it as a P[D]module, where D acts by multiplication by the indeterminate \({\textbf{t}}\). Then
Then
is a decomposition of KE into \(K[D] \otimes _K KA\)modules. As a K[D]module, the chief factors of \({{\,\mathrm{{\textrm{Ker}}}\,}}(\Pi _i(D)^{n_i})\) are all isomorphic to \({\mathscr {L}}_i\). Hence, if we denote by \({\varvec{[}}{{\,\mathrm{{\textrm{Ker}}}\,}}(\Pi _i(D)^{n_i}){\varvec{]}}_{KA}\) the image of \({{\,\mathrm{{\textrm{Ker}}}\,}}(\Pi _i(D)^{n_i})\) in \({\mathscr {K}}_0(KA)\), then this image is a multiple of \(\dim ({\mathscr {L}}_i)=\deg (\Pi _i)\) and
Therefore:
Proposition I.8
With the above notation, the set of Dcellular characters of A is equal to
We denote by \(\Delta \) the discriminant of the polynomial \({\textrm{char}}_D\): then \(\Delta \in P\) and, if \({\mathfrak p}\) is a prime ideal of P, we denote by \(\Delta ({\mathfrak p})\) the image of \(\Delta \) in \(P/{\mathfrak p}\). Note that
because the factorization of \({\textrm{char}}_D\) into irreducible polynomials is multiplicityfree (and since \(\Bbbk \) has characteristic 0).
Proposition I.10
Let \({\mathfrak p}\) be a prime ideal of P such that \(\Delta ({\mathfrak p}) \ne 0\) and \(P/{\mathfrak p}\) is integrally closed. Then the set of Dcellular characters coincides with the set of \(D({\mathfrak p})\)cellular characters.
Proof
Assume that \(\Delta ({\mathfrak p}) \ne 0\). Let us write
where \(\pi _{i,j} \in \Bbbk _P({\mathfrak p})[{\textbf{t}}]\) is irreducible, \(e_{i,j} \geqslant 1\) and \(\pi _{i,j} \ne \pi _{i,j'}\) if \(1 \leqslant j < j' \leqslant d_i\). Then
Since \(\Delta ({\mathfrak p}) \ne 0\), this means that \(e_{i,j} = 1\) for all i, j and that \(\pi _{i,j}=\pi _{i',j'}\) if and only if \((i,j)=(i',j')\).
Now, let \({\mathscr {E}}=\{(i,j)~~1\leqslant i \leqslant r\) and \(1 \leqslant j \leqslant d_i\}\) and, if \((i,j) \in {\mathscr {E}}\), let
viewed as a \(\Bbbk _P({\mathfrak p})[D({\mathfrak p})]\)module, where \(D({\mathfrak p})\) acts by multiplication by \({\textbf{t}}\). Then, by (I.5), the map
is bijective. We only need to show that
Since \(\Bbbk \) has characteristic 0, an equality between elements of the Grothendieck group is equivalent to an equality between the corresponding (virtual) characters. If we denote by \(\chi _i\) (resp. \(\chi _{i,j}^{\mathfrak p}\)) the character of \({\mathscr {L}}_i\) (resp. \({\mathscr {L}}_{i,j}^{\mathfrak p}\)), then
Since \(\chi _{i,j}=\chi _{i',j'}\) if and only if \((i,j)=(i',j')\), the result follows from (I.1) by taking associated characters and reduction modulo \({\mathfrak p}\). \(\square \)
1.3 I.C: Back to the general case
We come back to the initial setup of this appendix.
The main result of this subsection (see Proposition I.11) shows that the computation of the Dcellular characters can be reduced to the case where \(n=1\), by extending the ring of definition P. Let \(X_1\),..., \(X_n\) be indeterminates over P and let \(P[{\textbf{X}}]=P[X_1,\dots ,X_n]\). We set
Since \(P[{\textbf{X}}]\) is integrally closed, we are in the same setup as in the previous section (the case \(n=1\)), with P replaced by \(P[{\textbf{X}}]\) and D replaced by \({\mathscr {D}}\). So we can define similarly \({\mathscr {D}}\)cellular characters of A.
Proposition I.11
The set of Dcellular characters of A coincides with the set of \({\mathscr {D}}\)cellular characters of A.
Proof
Let \(\Delta _{\textbf{X}}\) denote the discriminant of \({\textrm{char}}_{\mathscr {D}}^{\textrm{sem}}\) (it is an element of \(P[{\textbf{X}}]\)). Since \(\Delta _{\textbf{X}}\ne 0\), there exists \(x=(x_1,\dots ,x_n) \in \Bbbk ^n\) such that
Let \({\mathscr {D}}(x)=x_1 D_1 + \cdots + x_n D_n \in {{\,\mathrm{{\textrm{End}}}\,}}_P(PE)\). It follows from Proposition I.10 that the set of \({\mathscr {D}}\)cellular characters coincide with the set of \({\mathscr {D}}(x)\)cellular characters (one must replace, in Proposition I.10, the ring P by \(P[{\textbf{X}}]\) and take \({\mathfrak p}=\langle X_1x_1,\dots ,X_nx_n\rangle \)). So it remains to prove that the set of \({\mathscr {D}}(x)\)cellular characters coincides with the set of Dcellular characters.
Since \(K[{\mathscr {D}}(x)] \subset K[D]\), it remains to prove that \(K[D]=K[{\mathscr {D}}(x)] + {{\,\mathrm{{\textrm{Rad}}}\,}}(K[D])\). By [32, Corollary 7.8 and Theorem 7.9], we may assume that K is algebraically closed. In this case, there exists a basis of KE such that \(D_1\),..., \(D_n\) are represented by commuting upper triangular matrices. Let \(d=\dim _\Bbbk (E)\) and let \((\lambda _j^{(i)})_{1 \leqslant j \leqslant d}\) denote the (ordered) sequence of diagonal coefficients of \(D_i\) and let
Let \({\mathscr {E}}\) denote the image of the map \({\varvec{\lambda }}\). Then
and the condition \(\Delta _{\textbf{X}}(x) \ne 0\) implies that
and that
Now, let M be an element of K[D], and let \(m_j\) denote its jth diagonal coefficient. If j, \(j'\) are such that \({\varvec{\lambda }}(j)={\varvec{\lambda }}(j')\), then necessarily \(m_j=m_{j'}\). It then follows from \((*)\) that there exists a polynomial \(f \in K[{\textbf{t}}]\) such that
for all \(j \in \{1,2,\dots ,d\}\). Therefore, \(Mf({\mathscr {D}}(x))\) belongs to K[D] and has all its diagonal coefficients equal to 0. This forces \(Mf({\mathscr {D}}(x)) \in {{\,\mathrm{{\textrm{Rad}}}\,}}(K[D])\), as desired. \(\square \)
Remark I.12
Proposition I.11 together with Proposition I.8 provides a way to reduce the problem of computing Dcellular characters to the case \(n=1\). In this former case, using Proposition I.10, one can reduce the problem to the case where \(D=D_1\) has coefficients in a finite extension of \(\Bbbk \) (if P is finitely generated over \(\Bbbk \)). \(\blacksquare \)
Remark I.13
In this remark, and only in this remark, the Dcellular characters will be called the \((\Bbbk ,D)\)cellular characters. Let \(\Bbbk '\) be a field extension of \(\Bbbk \) such that \(P'=\Bbbk ' \otimes _\Bbbk P\) is still an integrally closed domain. Let \(K'\) be the fraction field of \(P'\). Since the \(\Bbbk '\)algebra \(\Bbbk ' A\) is still split, we can define the \((\Bbbk ',D)\)cellular characters \(\gamma _{S'}^{P'}\) attached to a simple \(K'[D]\)module \(S'\). In fact, through the isomorphism \({\mathscr {K}}_0(A) {\mathop {\longrightarrow }\limits ^{\sim }}{\mathscr {K}}_0(\Bbbk ' A)\) induced by scalar extension,
Indeed, since we are in characteristic 0 and since K[D] is commutative, any simple K[D]module S satisfies
where \(S_1'\),..., \(S_r'\) are twobytwo nonisomorphic simple \(K'[D]\)modules. Moreover, if \(S_1\) and \(S_2\) are two nonisomorphic simple K[D]modules, then \({{\,\mathrm{{\textrm{Hom}}}\,}}_{K'[D]}(K' \otimes _K S_1,K' \otimes _K S_2)=K' \otimes _K {{\,\mathrm{{\textrm{Hom}}}\,}}_{K[D]}(S_1,S_2)=0\). Both facts imply that
as desired. \(\blacksquare \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bonnafé, C., Thiel, U. Computational aspects of Calogero–Moser spaces. Sel. Math. New Ser. 29, 79 (2023). https://doi.org/10.1007/s00029023008783
Accepted:
Published:
DOI: https://doi.org/10.1007/s00029023008783