[Paper Review] Quantization of the Gaudin System

Dmitry V. Talalaev|ArXiv.org|Apr 21, 2004

Algebraic structures and combinatorial models5 references58 citations

TL;DR

This paper constructs a quantum deformation of the classical Gaudin integrable system on $\mathfrak{gl}_n$ using the Bethe subalgebra of the Yangian $Y(\mathfrak{gl}_n)$, introducing quantum Hamiltonians $QI_k(u)$ via differential operators involving antisymmetrizers and $\partial_u$-shifted Lax operators. The key result is that these $QI_k(u)$ form a commutative family in $U(\mathfrak{gl}_n)^{\otimes k}(u)$, with classical limit matching the Gaudin Hamiltonians, and quantum corrections appearing already at order $k=4$. The construction provides a systematic quantization of the Gaudin model beyond the quasiclassical regime.

ABSTRACT

In this article we exploit the known commutative family in Y(gl(n)) - the Bethe subalgebra - and its special limit to construct quantization of the Gaudin integrable system. We give explicit expressions for quantum hamiltonians QI_k(u), k=1,..., n. At small order k=1,...,3 they coincide with the quasiclassic ones, even in the case k=4 we obtain quantum correction.

Motivation & Objective

• To provide a systematic quantization of the classical Gaudin integrable system on $\mathfrak{gl}_n$-type phase spaces.
• To construct a commutative family of quantum Hamiltonians in $U(\mathfrak{gl}_n)^{\otimes k}$ that quantize the classical Gaudin integrals of motion.
• To resolve the failure of naive quantization of higher Gaudin Hamiltonians by introducing a deformation based on the Bethe subalgebra and differential operators.
• To establish a framework for quantizing rational Lax matrices with higher-order poles and Hitchin-type systems via pullback to the Yangian.

Proposed method

• The construction uses the Bethe subalgebra of $Y(\mathfrak{gl}_n)$, a maximal commutative subalgebra, via evaluation homomorphisms to $U(\mathfrak{gl}_n)^{\otimes k}$.
• Quantum Hamiltonians $QI_k(u)$ are defined as traces over antisymmetrizers $A_n$ of products of $\partial_u$-shifted Lax operators $L_i(u) - \partial_u$ acting on the constant function 1.
• The method leverages the generating function identity involving $e^{-\hbar \partial_u}$ and the Yangian $T$-operators to relate $QI_k(u)$ to the Bethe subalgebra generators.
• The classical limit of $QI_k(u)$ is shown to recover the standard Gaudin Hamiltonians $I_k(u) = \mathrm{Tr}\, L^k(u)$, confirming consistency.
• The use of formal deformation and associated graded algebras ensures that $QI_k(u)$ are well-defined quantum operators with correct classical limit.
• The construction is generalized to the Yangian level, allowing pullback to a commutative family in the first-order generators of $Y(\mathfrak{gl}_n)$.

Experimental results

Research questions

• RQ1 Can a consistent quantum deformation of the Gaudin integrable system be constructed using the Bethe subalgebra of $Y(\mathfrak{gl}_n)$?
• RQ2 Do the proposed quantum Hamiltonians $QI_k(u)$ form a commutative family in $U(\mathfrak{gl}_n)^{\otimes k}$ beyond the first few orders?
• RQ3 What is the structure of quantum corrections in the higher-order Gaudin Hamiltonians, and at which order do they first appear?
• RQ4 Can the construction be extended to the full Yangian, enabling quantization of more general integrable models?
• RQ5 How do the quantum Hamiltonians relate to the classical ones in the $\hbar \to 0$ limit, and what is the precise form of the $\hbar$-expansion?

Key findings

• The quantum Hamiltonians $QI_k(u)$ are constructed as $QI_k(u) = \mathrm{Tr}_{1,\ldots,n} A_n (L_1(u) - \partial_u)\cdots(L_k(u) - \partial_u) \mathbf{1}$, forming a commutative family in $U(\mathfrak{gl}_n)^{\otimes k}(u)$.
• The classical limit of $QI_k(u)$ reproduces the standard Gaudin Hamiltonians $I_k(u) = \mathrm{Tr}\, L^k(u)$, confirming consistency with the classical system.
• For $k=1,2,3$, the quantum Hamiltonians agree with the quasiclassical ones up to $\hbar^k$; quantum corrections first appear at order $k=4$.
• At $k=4$, the leading quantum correction is $-\mathrm{Tr} A_n (\partial_u L_1 L_2 + L_1 \partial_u L_2 L_3 + 2L_1 L_2 \partial_u L_3)$, which is non-vanishing and breaks naive quantization.
• The $\hbar$-expansion of $QI_k(u)$ matches the quasiclassical Hamiltonians up to $k=3$, but includes higher-order differential corrections for $k \geq 4$, indicating non-trivial quantum deformation.
• The construction admits a pullback to the Yangian $Y(\mathfrak{gl}_n)$, yielding a commutative family expressed solely in terms of the first-order generators $T^{(1)}_i(u)$.