Rational Cherednik algebras of \(G (\ell, p, n)\) from the Coulomb perspective (Q6058881)

In this work, the authors consider rational Cherednik algebras associated with the subgroups \(G(\ell,p,n)\), for \(p| \ell\) of the complex reflection group \(G(\ell,1,n)\). This extends the work of the second-named author on the rational Cherednik algebra associated with \(G(\ell,1,n)\) (also called the cyclotomic Cherednik algebra) [\textit{B. Webster}, New York J. Math. 25, 1017--1047 (2019; Zbl 1448.16024)]. The paper is covering a wealth of results in different directions, which we can summarise as follows (with the order of presentation being the order in which the results appear in the paper): \begin{itemize} \item[(2)] show that the spherical Cherednik algebra is a principal Galois order; \item[(4)] classify the Dunkl-Opdam modules for the rational Cherednik algebra of \(G(\ell,p,n)\); \item[(3)] show properties of the category \(\mathcal{O}\) of this algebra (Koszulity and mixedness) allowing to interpret the decomposition numbers as the coefficients of a dual canonical basis; \item[(1)] give an interpretation in the Coulomb branch formalism. \end{itemize} Item (2) is shown (Prop.~3.16) by expanding on the results of the preprint [\textit{B. Webster}, ``Gelfand-Tsetlin modules in the Coulomb context'', Preprint, \url{arXiv:1904.05415}]. Item (4) uses Clifford theory [\textit{A. Ram} and \textit{J. Ramagge}, in: A tribute to C. S. Seshadri. A collection of articles on geometry and representation theory. Basel: Birkhäuser. 428--466 (2003; Zbl 1063.20004)] and what is known for \(G(\ell,1,n)\) [\textit{B. Webster}, New York J. Math. 25, 1017--1047 (2019; Zbl 1448.16024)] to classify the Dunkl-Opdam modules (Thm.~4.22). Item (3) uses, furthermore, the work [\textit{B. Webster}, Forum Math. Sigma 5, Paper No. e27, 71 p. (2017; Zbl 1427.20009)] to prove properties the category \(\mathcal{O}\). Koszulity and mixedness (Coro.~4.29) in particular. They give the general idea to compute the decomposition number of a dual canonical basis (building on [\textit{B. Leclerc}, Math. Z. 246, No. 4, 691--732 (2004; Zbl 1052.17008); \textit{B. Webster}, Compos. Math. 151, No. 1, 121--166 (2015; Zbl 1393.17029)]), but leave the details for further work. This is in line with the works [\textit{P. Shan} et al., Adv. Math. 262, 370--435 (2014; Zbl 1333.17020); \textit{R. Rouquier} et al., Invent. Math. 204, No. 3, 671--786 (2016; Zbl 1347.20004)], but they do not have the same nice categorification in terms of Fock spaces. Item~(4) is the main addition of the paper. It relates the algebras studied in the context of Coulomb branch [\textit{A. Braverman} et al., Adv. Theor. Math. Phys. 22, No. 5, 1071--1147 (2018; Zbl 1479.81043)]. This is an extension of the work of Braverman--Etingof--Finkelberg on the rational Cherednik algebra associated with \(G(\ell,1,n)\) [\textit{A. Braverman} et al., Ann. Sci. Éc. Norm. Supér. (4) 53, No. 5, 1249--1312 (2020; Zbl 1511.20018)]. The relations is made explicit with certain isomorphisms with Ext-spaces (Thm.~5.6). The geometric methods introduced in the last are hinted to be related to [\textit{A. Oblomkov} and \textit{Z. Yun}, Adv. Math. 292, 601--706 (2016; Zbl 1403.20007)].