[Paper Review] The solutions of $\mathfrak{gl}_{M|N}$ Bethe ansatz equation and rational pseudodifferential operators

Chenliang Huang, E. Mukhin+2 more|arXiv (Cornell University)|Sep 5, 2018

Algebraic structures and combinatorial models6 references3 citations

TL;DR

This paper introduces a reproduction procedure for solutions of the $σ\mathfrak{gl}_{M|N}$ Gaudin Bethe ansatz equations, linking them to rational pseudodifferential operators and superspaces of rational functions. It establishes that populations of solutions correspond bijectively to minimal factorizations of a rational pseudodifferential operator $R$ and to full superflags in a superspace $W$, providing a canonical framework for understanding singular eigenvectors of Gaudin Hamiltonians.

ABSTRACT

We describe a reproduction procedure which, given a solution of the $\mathfrak{gl}_{M|N}$ Gaudin Bethe ansatz equation associated to a tensor product of polynomial modules, produces a family $P$ of other solutions called the population. To a population we associate a rational pseudodifferential operator $R$ and a superspace $W$ of rational functions. We show that if at least one module is typical then the population $P$ is canonically identified with the set of minimal factorizations of $R$ and with the space of full superflags in $W$. We conjecture that the singular eigenvectors (up to rescaling) of all $\mathfrak{gl}_{M|N}$ Gaudin Hamiltonians are in a bijective correspondence with certain superspaces of rational functions.

Motivation & Objective

• To address the incompleteness of the standard Bethe ansatz in $σ\mathfrak{gl}_{M|N}$ Gaudin models by introducing a regularization via a reproduction procedure.
• To establish a correspondence between populations of Bethe ansatz solutions and minimal factorizations of a rational pseudodifferential operator $R$.
• To connect the solutions to the geometry of full superflags in a superspace $W$ of rational functions.
• To conjecture a bijective correspondence between singular eigenvectors of Gaudin Hamiltonians and certain superspaces of rational functions.
• To generalize the Bethe ansatz framework to include both bosonic and fermionic reproduction, especially in the presence of typical modules.

Proposed method

• The reproduction procedure generates new solutions from a given Bethe ansatz solution by modifying Bethe roots along a simple root, using differential operators for even roots and rational function division for odd roots.
• For even (bosonic) roots, the procedure uses the kernel of a second-order differential operator to generate a one-parameter family of new solutions.
• For odd (fermionic) roots, the procedure defines a new solution via $\widetilde{y}_i = \mathcal{N}/y_i$, where $\mathcal{N}$ is an explicit polynomial, and this corresponds to a change in the Borel subalgebra.
• A rational pseudodifferential operator $R = D_{\bar{0}}(D_{\bar{1}})^{-1}$ is constructed from the solution, with $D_{\bar{0}}$ and $D_{\bar{1}}$ being scalar differential operators of orders $M$ and $N$.
• The population of solutions is canonically identified with the set of minimal factorizations of $R$, and with the space of full superflags in a superspace $W$ of rational functions.
• The eigenvalues of Gaudin Hamiltonians are preserved under both reproduction procedures, ensuring consistency across the population.

Experimental results

Research questions

• RQ1 How can the standard Bethe ansatz be regularized to recover the full spectrum of $σ\mathfrak{gl}_{M|N}$ Gaudin Hamiltonians?
• RQ2 What is the geometric and algebraic structure underlying the set of all solutions (population) generated by repeated reproduction from a single solution?
• RQ3 How do the bosonic and fermionic reproduction procedures differ in their action on the solution space and their physical interpretation?
• RQ4 Can the singular eigenvectors of the Gaudin Hamiltonians be classified via rational pseudodifferential operators and superspaces of rational functions?
• RQ5 What is the role of the Borel subalgebra choice in the reproduction process, and how does it affect the eigenvector structure?

Key findings

• The population of solutions generated by repeated reproduction is canonically identified with the set of minimal factorizations of a rational pseudodifferential operator $R$.
• The population is also in bijection with the space of full superflags in a superspace $W$ of rational functions.
• The eigenvalues of the Gaudin Hamiltonians are preserved under both bosonic and fermionic reproduction, ensuring spectral consistency.
• When at least one module is typical, the correspondence between populations and minimal factorizations of $R$ is bijective and canonical.
• The fermionic reproduction procedure corresponds to a change in the Borel subalgebra and produces a new eigenvector in the same isotypical component, related by the diagonal action of $σ\mathfrak{gl}_{M|N}$.
• In the $σ\mathfrak{gl}_{1|1}$ case with non-polynomial modules, the conjecture holds when quotienting the singular vector space by the image of $e_{21}^\bm{s}$, yielding a two-dimensional space in agreement with the number of monic divisors of $\mathcal{N}(T)$.