[Paper Review] Elliptic Calogero-Moser system from two dimensional current algebra

A. Gorsky, Nikita Nekrasov|ArXiv.org|Jan 6, 1994

Algebraic structures and combinatorial modelsMathematics2 references118 citations

TL;DR

This paper derives the elliptic Calogero-Moser system via Hamiltonian reduction from the cotangent bundle of the central extension of the $\mathfrak{sl}_N(\mathbb{C})$ current algebra on an elliptic curve. By imposing a zero-level moment map constraint and performing gauge transformations, the authors obtain Krichever's Lax operator and show that the resulting Hamiltonians yield the elliptic Calogero-Moser model with a quantum-corrected coupling constant $\nu(\nu - 1)$, unifying periodic and non-periodic Toda chains as limits.

ABSTRACT

We show that elliptic Calogero-Moser system and its Lax operator found by Krichever can be obtained by Hamiltonian reduction from the integrable Hamiltonian system on the cotangent bundle to the central extension of the algebra of SL(N,C) currents.Elliptic deformation of Yang-Mills theory is presented.

Motivation & Objective

• To establish a geometric and algebraic derivation of the elliptic Calogero-Moser system using current algebra and Hamiltonian reduction.
• To clarify the origin of the Lax operator and integrability structure in terms of meromorphic sections and monodromy conditions on an elliptic curve.
• To connect the elliptic Calogero-Moser model to a hypothetical elliptic deformation of two-dimensional Yang-Mills theory.
• To explore the role of Verma modules and intertwiners in the elliptic case, generalizing the trigonometric case's representation-theoretic framework.
• To investigate the emergence of the system as a limit of more general integrable systems, including Ruijsenaars models and Toda chains.

Proposed method

• Perform Hamiltonian reduction on the cotangent bundle $T^*\widehat{\mathfrak{g}}^{\Sigma_\tau}$ of the central extension of $\mathfrak{sl}_N(\mathbb{C})$ currents on an elliptic curve $\Sigma_\tau$.
• Introduce a coadjoint orbit $\mathcal{O}_\nu^-$ isomorphic to $\mathbb{C}P^{N-1}$ with a symplectic form proportional to the Fubini-Study metric.
• Apply the moment map condition $\mu = \kappa \bar{\partial}\phi + [\bar{A}, \phi] = \mathrm{i} \nu (\mathrm{Id} - f \otimes f^+) \frac{\delta(z,\bar{z}) dz \wedge d\bar{z}}{\omega}$ at zero level.
• Use large gauge transformations to reduce $\bar{A}$ to a constant diagonal matrix, fixing the flat connection moduli space.
• Solve the resulting system of equations for $\phi_{ij}$, expressing them in terms of theta functions: $\psi_{ij}(z) = \frac{\nu}{\kappa} \frac{\theta_{11}(z + \frac{a_{ij}}{\kappa})}{\theta_{11}(z)\theta_{11}(\frac{a_{ij}}{\kappa})}$.
• Extract Hamiltonians from invariants of the Lax matrix $\phi(z,\bar{z})$, particularly $\mathrm{tr}\, \phi^2$, which yields the elliptic Calogero-Moser Hamiltonian with quantum correction.

Experimental results

Research questions

• RQ1 How can the elliptic Calogero-Moser system be derived from a Hamiltonian reduction of a current algebra on an elliptic curve?
• RQ2 What is the role of the central extension and the symplectic structure in realizing the Lax operator and integrability?
• RQ3 How do the monodromy properties of the meromorphic sections relate to the spectral curve and quantum corrections?
• RQ4 What is the field-theoretic interpretation of the system as a deformation of two-dimensional Yang-Mills theory?
• RQ5 How does the elliptic Calogero-Moser model emerge as a limit of more general integrable systems like Ruijsenaars models or Toda chains?

Key findings

• The Lax matrix of the elliptic Calogero-Moser system is derived as $\phi_{ij} = \exp\left(\pi \frac{a_{ij}(z - \bar{z})}{\kappa \tau_2}\right) \psi_{ij}(z)$, with $\psi_{ij}$ expressed in terms of Jacobi theta functions.
• The Hamiltonian $\mathrm{tr}\, \phi^2$ yields the standard elliptic Calogero-Moser Hamiltonian: $\sum_i \frac{1}{2} p_i^2 + \frac{\nu^2}{\kappa^2} \sum_{i<j} \wp\left(\frac{a_{ij}}{\kappa}\right) - \wp(z)$.
• The coupling constant $\nu^2$ is quantum-corrected to $\nu(\nu - 1)$, consistent with known results in integrable systems.
• The system unifies periodic and non-periodic Toda chains as limiting cases, obtained by rescaling $a_i = x_i + (j-1)\frac{b}{\kappa}$ and taking $b \to \infty$.
• The model is interpreted as a reduction of an elliptic deformation of two-dimensional Yang-Mills theory with action $S_\tau = \int_{\Sigma_\tau \times S} \omega \wedge \mathrm{tr}(\phi F_{t\bar{z}} - \varepsilon \phi^2)$.
• The representation-theoretic structure generalizes the trigonometric case, replacing finite-dimensional $\alpha \otimes \alpha^*$ with Verma modules $M_{\lambda,\kappa} \otimes M_{\lambda,\kappa}^*$ in the decomposition of $L^2(\widehat{\mathfrak{g}})$.