[论文解读] Calogero-Moser operators in infinite dimension

A. N. Sergeev, А. П. Веселов|ArXiv.org|Oct 11, 2009

Algebraic structures and combinatorial models参考文献 15被引用 9

一句话总结

本文通过引入一个额外参数 $ p_0 $ 的非稳定提升方法，提出了无限维 Calogero-Moser 算子，从而定义了 Jack–Laurent 对称函数。其主要贡献是 $ k = -1 $ 极限下得到一个与 $ p_0 $ 无关的 Jacobi–Trudy 型行列式公式，该公式将这些函数与 $ \mathfrak{gl}(m,n) $ 的不可约表示特征标联系起来，对超特征标理论具有重要意义。

ABSTRACT

Various infinite-dimensional versions of the Calogero-Moser operator are discussed. The related class of Jack-Laurent symmetric functions is studied. In the special case when parameter k=-1 the analogue of Jacobi-Trudy formula is given and the relation with representation theory of Lie superlagebra gl(m,n) is discussed.

研究动机与目标

• 构建不依赖于有限维算子稳定性条件的无限维 Calogero–Moser 算子，使用额外参数 $ p_0 $。
• 定义并研究广义化为洛朗对称函数的 Jack–Laurent 对称函数 $ P_{\lambda,\mu}(k,p_0) $，其为杰克多项式的推广。
• 研究 $ k = -1 $ 的特殊情况，此时 Jack–Laurent 函数的极限与 $ p_0 $ 无关，并建立该极限的 Jacobi–Trudy 型公式。
• 将所得对称函数与李超代数 $ \mathfrak{gl}(m,n) $ 的表示理论联系起来，特别是通过特征标与超特征标。
• 探讨在 $ m = n $ 时欧拉超特征标的作用，此时标准表示论条件不成立。

提出的方法

• 通过幂和生成元 $ p_a $ 将有限维 Calogero–Moser 算子提升至无限维，利用 $ p_a $ 和 $ \partial_a = a \partial / \partial p_a $ 的微分算子表达式定义 $ \tilde{\mathcal{L}}_k^{(\infty)} $。
• 通过引入 $ p_0 $ 作为参数，实现非稳定提升，从而构造作用于洛朗对称函数代数 $ \Lambda^\pm $ 的算子 $ \hat{\mathcal{L}}_{k,p_0}^{(\pm\infty)} $。
• 将 Jack–Laurent 对称函数 $ P_{\lambda,\mu}(k,p_0) $ 定义为无限维算子的本征函数，其本征值依赖于 $ k $、$ p_0 $ 和分拆权重。
• 在 $ \Lambda^\pm $ 上使用 $ * $-对合定义 $ h_i^* $，并为 $ k \to -1 $ 极限下的 $ P_{\lambda,\mu} $ 构造一个 $ (r+s) \times (r+s) $ 行列式公式。
• 应用同态 $ \varphi_{m,n} $ 将 $ p_i \mapsto p_i(x,y) = \sum x_j^i - \sum y_k^i $，将函数映射至 $ \mathfrak{gl}(m,n) $ 的格罗滕迪克环。
• 引入扩展代数 $ \Lambda^\pm[w] $，其中 $ w $ 映射至 Berezinian $ \Delta $，以在 $ m = n $ 情况下建模欧拉超特征标。

实验结果

研究问题

• RQ1 如何在不依赖有限维算子稳定性的情况下，一致地将 Calogero–Moser 算子提升至无限维？
• RQ2 Jack–Laurent 对称函数 $ P_{\lambda,\mu}(k,p_0) $ 的结构与行为如何，特别是在 $ k \to -1 $ 极限下？
• RQ3 $ k = -1 $ 时 Jack–Laurent 函数的极限是否依赖于参数 $ p_0 $？若不依赖，其代数形式为何？
• RQ4 这些函数如何与李超代数 $ \mathfrak{gl}(m,n) $ 的不可约表示特征标相关联？
• RQ5 在 $ m = n $ 时，当标准特征标公式失效，欧拉超特征标在表示论解释中起何作用？

主要发现

• 无限维 Calogero–Moser 算子 $ \tilde{\mathcal{L}}_k^{(\infty)} $ 通过幂和变量中的二阶微分算子定义，其显式形式为 $ \sum_{a,b>0} p_{a+b} \partial_a \partial_b - k \sum_{a,b>0} p_a p_b \partial_{a+b} + \sum_{a>0} (a + a k - k) p_a \partial_a $。
• 当 $ k = -1 $ 时，$ P_{\lambda,\mu}(k,p_0) $ 沿 $ k \to -1 $ 的极限与 $ p_0 $ 无关，且由涉及 $ h_i^* $ 和 $ h_i $ 的 $ (r+s) \times (r+s) $ 行列式给出，如定理 7.1 所述。
• 公式 (30) 与 Moens 和 Van der Jeugt 的 $ s_{\bar{\mu},\lambda}(x/y) $ 的超特征标公式一致，建立了与 $ \mathfrak{gl}(m,n) $ 表示理论的直接联系。
• 在同态 $ \varphi_{m,n} $ 下，$ P_{\lambda,\mu}(-1) $ 的像与 $ s_{\bar{\mu},\lambda}(x/y) $ 重合，后者在 $ \lambda, \mu $ 满足特定条件时是 $ \mathfrak{gl}(m,n) $-模的特征标。
• 在 $ m = n $ 时，标准特征标公式失效，通过将 $ \Lambda^\pm $ 扩展以包含满足 $ \varphi_{m,n}(w) = \Delta $ 的 $ w $，可建模欧拉超特征标；函数 $ E_{1,1} = p_1 p_{-1} - 1 + w $ 在 $ (1,1) $ 情况下给出正确的超特征标。
• 无限维算子 $ \hat{\mathcal{L}}_{k,p_0}^{(\pm\infty)} $ 在 $ P_{\lambda,\mu,l} $ 上的本征值为 $ E_{\lambda,\mu,l} = E_{\lambda,\mu} + p_0 l^2 + 2l(|\lambda| - |\mu|) $，其中 $ E_{\lambda,\mu} $ 由公式 (20) 定义。