[论文解读] Gaudin Hamiltonians generate the Bethe algebra of a tensor power of vector representation of gl_N

E. Mukhin, V. Tarasov+1 more|ArXiv.org|Apr 14, 2009

Algebraic structures and combinatorial models参考文献 11被引用 18

一句话总结

本文证明了经典 Gaudin 生成元在 gl_N 的向量表示的 n 重张量积上生成完整的 Bethe 代数，尽管通常 Bethe 代数需要更高阶的 Gaudin 生成元。令人惊讶的是，以 Gaudin 生成元表示的 Bethe 代数生成元与 gl_N 的秩 N 无关，且与 adelic Grassmannian 上的静止 Baker-Akhiezer 函数的 Wilson 公式一致。

ABSTRACT

We show that the Gaudin Hamiltonians H_1,...,H_n generate the Bethe algebra of the n-fold tensor power of the vector representation of gl_N. Surprisingly the formula for the generators of the Bethe algebra in terms of the Gaudin Hamiltonians does not depend on N. Moreover, this formula coincides with Wilson's formula for the stationary Baker-Akhiezer function on the adelic Grassmannian.

研究动机与目标

• 确定经典 Gaudin 生成元是否生成 gl_N 的向量表示张量积的完整 Bethe 代数。
• 研究 gl_N 与 gl_n 对偶性背景下 Bethe 代数的结构。
• 探索 Bethe 代数生成元与 gl_N 的秩 N 无关的惊人性质。
• 建立 Gaudin 模型算子与 adelic Grassmannian 上静止 Baker-Akhiezer 函数之间的联系。

提出的方法

• 利用 $(\mathfrak{gl}_N, \mathfrak{gl}_n)$-对偶性，将 Bethe 代数结构与可积系统中的已知结果联系起来。
• 应用 Bethe ansatz 的完备性（对于通用参数 $K_i$ 和 $z_a$），以确保联合本征向量的存在。
• 构造一个同态 $\gamma: \widehat{\mathcal{F}}_n \to \mathcal{B}_{N,n}$，将 $X,Y$ 中的函数映射为 $H_1,\dots,H_n$ 中的算子。
• 利用满足 $[Q,Z] + 1$ 为秩一的矩阵对 $(Q,Z)$ 来定义同态的像。
• 利用对称多项式 $K_1,\dots,K_N$ 生成生成函数展开中的系数这一事实。
• 依赖于定理 3.2 和引理 5.2，将 $\bar{f}(z_1,\dots,z_n, H_1,\dots,H_n)$ 与元素 $\varPsi_{ij}$ 关联起来。

实验结果

研究问题

• RQ1 经典 Gaudin 生成元是否生成 gl_N 的向量表示的 n 重张量积的完整 Bethe 代数？
• RQ2 为何以 Gaudin 生成元表示的 Bethe 代数生成元公式与 gl_N 的秩 N 无关？
• RQ3 Gaudin 模型的 Bethe 代数与 adelic Grassmannian 上的静止 Baker-Akhiezer 函数之间有何联系？
• RQ4 在向量表示情形下，更高阶的 Gaudin 生成元能否表示为经典 Gaudin 生成元的函数？
• RQ5 当 $n=N$ 时，同态 $\gamma: \widehat{\mathcal{F}}_n \to \mathcal{B}_{N,n}$ 限制在 $\mathcal{F}_n$ 上是否为同构？

主要发现

• 经典 Gaudin 生成元 $H_1,\dots,H_n$ 生成了向量表示 $\mathfrak{gl}_N$ 的 n 重张量积 $V^{igotimes n}$ 的完整 Bethe 代数 $\mathcal{B}_{N,n}$。
• 以 $H_1,\dots,H_n$ 表示的 Bethe 代数生成元与 $N$ 无关，这是其结构中一个出人意料的特征。
• 这些生成元的公式与 Wilson 在 adelic Grassmannian 上的静止 Baker-Akhiezer 函数公式一致。
• 同态 $\gamma: \widehat{\mathcal{F}}_n \to \mathcal{B}_{N,n}$，定义为 $f \mapsto \bar{f}(z_1,\dots,z_n, H_1,\dots,H_n)$，在 $\mathcal{F}_n$ 上分解，并在与 $K_1,\dots,K_N$ 的对称多项式张量积后生成 $\mathcal{B}_{N,n}$。
• 当 $n=N$ 时，同态 $\gamma$ 诱导了 $\mathcal{F}_N$ 与 $\mathcal{B}_{N,N}$ 关于关系 $\varPsi_{i1} = -\sum_{j=1}^N K_j^{i-1}$ 的商代数之间的同构。
• 同态 $\gamma$ 下 $\widehat{\mathcal{F}}_n$ 的像是 $z_1,\dots,z_n$ 的多项式，从而确认 $f(z_1,\dots,z_n, H_1,\dots,H_n)$ 是谱参数的多项式。