On elliptic Calogero-Moser systems for complex crystallographic reflection groups (Q549993)

Calogero-Moser systems with rational, trigonometric, and elliptic potential form an important class of integrable systems, which is being extensively studied since the 1970s. There are several ways to construct Calogero-Moser systems and to prove their integrability, such as the Lax matrix method or Hamiltonian reduction. Another approach for giving an algebraic proof of the integrability of these systems was proposed by G.~Heckman and later improved by I.~Cherednik; it involves considering invariant polynomials for the so-called Dunkl operators. \textit{V.~M.~Buchstaber, G.~Felder} and \textit{A.~P.~Veselov} [Duke Math. J. 76, No. 3, 885--911 (1994; Zbl 0842.35128)] proposed an approach to proving the integrability of the quantum elliptic Calogero--Moser system, which introduced the elliptic counterparts of Dunkl operators, and carried out this approach for the case \(A_2\). However, the general procedure remained unclear. Meanwhile, the elliptic Dunkl operators were generalized by \textit{P. Etingof} and \textit{X. Ma} [Mich. Math. J. 57, 293--304 (2008; Zbl 1184.43011)] to the case of finite crystallographic complex reflection groups. In this paper, the authors solve the problem stated by Buchstaber, Felder, and Veselov, giving a new proof of the integrability of quantum elliptic Calogero-Moser system. In fact, this approach works for an even larger class of integrable systems, called by the authors the crystallographic elliptic Calogero-Moser systems. Such a system is constructed from an action of a finite irreducible crystallographic complex reflection group \(G\) on a complex torus. When \(G\) is a real group, this construction reproduces the elliptic Calogero-Moser system attached to \(G\); when it is not real, new examples of integrable systems are obtained.