[论文解读] The real loci of Calogero-Moser spaces, representations of rational Cherednik algebras and the Shapiro conjecture

Iain J. Gordon, Emil Horozov+1 more|ArXiv.org|Nov 27, 2007

Algebraic structures and combinatorial models参考文献 19被引用 7

一句话总结

本文建立了有理谢尔本尼克代数 $ H_{0,1}(S_n) $ 的不可约表示为实表示的充要条件，表明若生成元 $ x_1 $ 和 $ y_1 $ 在某一子空间上的特征值全为实数，则该表示是某个实表示的复化。该结果导致了 Calogero–Moser 空间实点集的刻画，并通过与 KP 层级和双谱波函数的联系，为 Grassmannian 上的 Shapiro 猜想提供了新证明。

ABSTRACT

We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n o C^n/S_n imes C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the real locus of the Wilson's adelic Grassmannian of rank one bispectral solutions of the KP hierarchy. Using Wilson's first parametrisation of the adelic Grassmannian, we give a new proof of a result of [MTV2] on real bases of spaces of quasi polynomials. The Shapiro Conjecture for Grassmannians is equivalent to a special case of our result for Calogero-Moser spaces, namely for the fibres of Υover C^n/S_n imes 0.

研究动机与目标

• 基于生成元的特征值条件，建立有理谢尔本尼克代数 $ H_{0,1}(S_n) $ 的不可约表示为实表示的判据。
• 利用 Etingof–Ginzburg 的有限映射 $ \Upsilon: C_n \to \mathbb{C}^{(n)} \times \mathbb{C}^{(n)} $，刻画 Calogero–Moser 空间 $ C_n $ 的实点集 $ RC_n $。
• 通过将 Shapiro 猜想与 KP 层级中的表示实性及 tau 函数联系起来，提供其新证明。
• 证明 Wilson 的秩一双谱解的阿德勒 Grassmannian 中不同实点集定义之间的等价性。
• 通过 Calogero–Moser 空间几何与 KP 层级的关系，推导出关于准多项式空间实基的判据。

提出的方法

• 利用有理谢尔本尼克代数 $ H_{0,1}(S_n) $ 的表示理论，特别是 $ x_1 $ 和 $ y_1 $ 在 $ n $ 维子空间 $ \overline{e}V $ 上的作用，定义到 $ C_n $ 的映射。
• 将实子代数 $ H_{0,1}^\mathbb{R}(S_n) $ 定义为由 $ S_n $ 及生成元 $ x_i, y_i $ 生成的实子代数，从而研究实表示。
• 应用 Etingof–Ginzburg 的有限映射 $ \Upsilon: C_n \to \mathbb{C}^{(n)} \times \mathbb{C}^{(n)} $，其中 $ \mathbb{C}^{(n)} = \mathbb{C}^n / S_n $，将特征值条件与实点集联系起来。
• 利用 Wilson 对阿德勒 Grassmannian $ \mathrm{Gr}^{\mathrm{ad}} $ 的参数化方法，通过 $ \gamma $ 和 $ \beta $ 映射，将 Calogero–Moser 数据与 KP 层级的 tau 函数联系起来。
• 利用指数函数的 Wronskian $ \mathrm{Wr}(e^{\mu_i x} V_i) $ 与矩阵 $ X $ 的特征多项式之间的关系，证明 $ \chi_X(-x) = \pm \mathrm{Wr}(e^{\mu_i x} V_i) $。
• 应用主定理表明：若 Wronskian 仅有实根且 $ \mu_i \in \mathbb{R} $，则子空间 $ V_i $ 允许实系数基，从而在该情况下证明 Shapiro 猜想。

实验结果

研究问题

• RQ1 在何种条件下，有理谢尔本尼克代数 $ H_{0,1}(S_n) $ 的不可约表示是某个实表示的复化？
• RQ2 如何通过生成元 $ X $ 和 $ Z $ 的特征值刻画 Calogero–Moser 空间 $ C_n $ 的实点集 $ RC_n $？
• RQ3 Wronskian $ \mathrm{Wr}(e^{\mu_i x} V_i) $ 的实性与子空间 $ V_i \subset \mathbb{C}[x] $ 存在实基之间的确切关系为何？
• RQ4 Wilson 的阿德勒 Grassmannian $ \mathrm{Gr}^{\mathrm{ad}} $ 中不同实点集定义——通过实矩阵、实 tau 函数或实波函数——如何等价？
• RQ5 Shapiro 猜想在何种意义上等价于主定理的特例 $ \Upsilon^{-1}(\mathbb{R}^{(n)} \times 0) \subset RC_n $？

主要发现

• 有理谢尔本尼克代数 $ H_{0,1}(S_n) $ 的不可约表示 $ V $ 是某个实表示的复化，当且仅当限制映射 $ x_1|_{\overline{e}V} $ 和 $ y_1|_{\overline{e}V} $ 的特征值全为实数。
• 实点集 $ RC_n \subset C_n $ 包含预像 $ \Upsilon^{-1}(\mathbb{R}^{(n)} \times \mathbb{R}^{(n)}) $，从而恢复了 Mukhin、Tarasov 和 Varchenko 的结果。
• Wilson 的阿德勒 Grassmannian $ \mathrm{Gr}^{\mathrm{ad}} $ 的实点集由 tau 函数 $ \tau_W(x,0,\ldots) $ 及其双谱对偶的根为实数所刻画。
• Shapiro 猜想等价于 $ \Upsilon^{-1}(\mathbb{R}^{(n)} \times 0) \subset RC_n $，该结论通过主定理得以证明。
• 若 Wronskian $ \mathrm{Wr}(e^{\mu_1 x} V_1, \dots, e^{\mu_k x} V_k) $ 仅有实根，且 $ \mu_i $ 为互异实数，则每个 $ V_i $ 均有实系数多项式基。
• 对于 Schur 函数，若 $ s_\lambda(x + c_1, \dots, c_N) $ 仅有实根，则所有 $ c_i \in \mathbb{R} $，从而为 KP 层级的多项式 tau 函数提供了实根性判据。