[Paper Review] Quasiclassical asymptotics of solutions to the KZ equations

Nicolai Reshetikhin, Alexander Varchenko|ArXiv.org|Feb 22, 1994

Quantum chaos and dynamical systems128 citations

TL;DR

This paper establishes a precise correspondence between quasiclassical asymptotics of solutions to the Knizhnik-Zamolodchikov (KZ) equations and Bethe vectors in the Gaudin model of spin chains. Using stationary phase approximation on integral representations of KZ solutions, it shows that critical points of the action function S(t,z) yield eigenvectors of the Gaudin Hamiltonians, with the norm of each Bethe vector proportional to the Hessian of S at the critical point. The key result is a direct link between geometric critical point theory and integrable spin systems.

ABSTRACT

The quasiclassical asymptotics of the Knizhnik-Zamolodchikov system is studied. Solutions to this system in this limit are related naturally to Bethe vectors in the Gaudin model of spin chains.

Motivation & Objective

• To understand the quasiclassical limit of solutions to the Knizhnik-Zamolodchikov (KZ) equations as the level parameter κ → 0.
• To establish a correspondence between solutions of the KZ system in this limit and eigenvectors of the Gaudin Hamiltonians.
• To show that the asymptotic behavior of KZ solutions is governed by critical points of a multivalued action function S(t,z), which correspond to Bethe vectors.
• To prove that the norm of a Bethe vector equals a constant times the Hessian of S at the critical point, generalizing known formulae for Bethe vector norms.

Proposed method

• Use integral representations of KZ solutions as oscillatory integrals of the form F(z) = ∫ exp(S(t,z)/κ) A(t,z) dt over cycles C.
• Apply the method of steepest descent (stationary phase approximation) in the limit κ → 0, which localizes the integral at critical points of S(t,z) with respect to t.
• Identify critical points t(z) satisfying ∂S/∂t_i = 0 for all i, and show that the value A(t(z),z) is an eigenvector of the Gaudin Hamiltonians H_i(z).
• Establish a precise formula relating the Shapovalov norm of the Bethe vector A(t(z),z) to the Hessian of S at t(z), given by B(A,A) = const · Hess_t(S(t(z),z)).
• Analyze the sl₂ case in detail, showing that Bethe vectors are pairwise orthogonal and form a basis for the space of singular vectors in the tensor product of sl₂ modules.
• Use symmetric polynomials and monomial bases to prove that the transition matrix between Bethe vector coefficients and monomial symmetric functions is invertible, implying completeness of the Bethe basis.

Experimental results

Research questions

• RQ1 How do solutions to the KZ equations behave in the quasiclassical limit (κ → 0)?
• RQ2 What is the geometric and algebraic origin of the eigenvectors of the Gaudin Hamiltonians in terms of the KZ system?
• RQ3 Do the critical points of the action function S(t,z) in the integral representation of KZ solutions correspond to Bethe vectors in the Gaudin model?
• RQ4 Is there a precise formula relating the norm of a Bethe vector to the Hessian of the action function at its critical point?
• RQ5 Can the Bethe vectors constructed from critical points form a complete basis in the space of singular vectors for generic z?

Key findings

• In the quasiclassical limit, solutions to the KZ equation localize at critical points of the action function S(t,z), yielding eigenvectors of the Gaudin Hamiltonians H_i(z).
• The norm of each Bethe vector A(t(z),z) is proportional to the Hessian of S(t,z) at the critical point t(z), with the proportionality constant independent of the representation weights.
• For the sl₂ case, the Bethe vectors are pairwise orthogonal with respect to the Shapovalov form and form a basis for the space of singular vectors in V₁ ⊗ ⋯ ⊗ Vₙ for generic z.
• The transition matrix between the Bethe vector coefficients and the monomial symmetric functions p_L(t) is invertible, as shown by proving det(M_{K,L}(z)) ≠ 0 via triangularity of the leading-order matrix in a power series expansion.
• When z_i → z_j, the Bethe vectors may branch, and the KZ operators develop Jordan blocks, indicating non-diagonalizability at degenerate configurations.
• The construction provides a geometric realization of the algebraic Bethe Ansatz: the Bethe equations coincide with the critical point equations ∂S/∂t_i = 0.