[论文解读] Duality for metaplectic ice

Ben Brubaker, Valentin Buciumas+2 more|arXiv (Cornell University)|Sep 19, 2017

Advanced Algebra and Geometry参考文献 21被引用 7

一句话总结

本文建立了非阿基米德局部域上 $n$-重覆蓋 $\mathrm{GL}(r,F)$ 的元刻划 Whittaker 函数的两种可解晶格模型——Gamma 冰与 Delta 冰之间的对偶性。利用杨-巴克斯特方程与转移矩阵的对易性，本文在不依赖 Whittaker 函数先验知识的前提下，证明了这两个模型的划分函数相等，从而为在 Weyl 群作用下函数方程的成立提供了直接的代数证明，并将经典结果推广至元刻划情形。

ABSTRACT

We interpret values of spherical Whittaker functions on metaplectic covers of the general linear group over a nonarchimedean local field as partition functions of two different solvable lattice models. We prove the equality of these two partition functions by showing the commutativity of transfer matrices associated to different models via the Yang-Baxter equation.

研究动机与目标

• 证明代表 $n$-重覆蓋 $\mathrm{GL}(r,F)$ 上元刻划 Whittaker 函数的两种划分函数——Gamma 冰与 Delta 冰——的相等性。
• 在 Langlands 参数 $\mathbf{z}$ 上的 Weyl 群作用下，建立这些划分函数的函数方程。
• 利用杨-巴克斯特方程，提供一种直接的、组合的证明方法，以证明两个模型之间的相等性，避免依赖中间的 Whittaker 函数恒等式。
• 从两个模型的 $R$-矩阵构造一个参数化的杨-巴克斯特系统，以支持双代数的构造。

提出的方法

• 使用在冰型顶点上定义 Boltzmann 权重的可解晶格模型，其中状态对应于晶格 $\mathcal{B}_{\lambda+\rho}$ 的元素。
• 应用杨-巴克斯特方程，证明与不同晶格模型相关的转移矩阵的对易性。
• 采用“列车论证”方法，将倾斜的 $R$-顶点在晶格中移动，保持顶点重排下的划分函数不变。
• 利用 $R$-矩阵 $R^{\Gamma\Gamma}, R^{\Delta\Gamma}, R^{\Gamma\Delta}, R^{\Delta\Delta}$ 定义一个具有特定对易关系的参数化杨-巴克斯特系统。
• 依赖量子仿射 $\mathfrak{gl}(n|1)$ 的 $R$-矩阵推导恒等式，特别是 $\llbracket R^{\Gamma\Gamma}, R^{\Gamma\Gamma}, R^{\Gamma\Gamma} \rrbracket = 0$。
• 应用连续性论证，将恒等式扩展至 $z_2^n - v^n z_1^n = 0$ 的情形，确保在所有谱参数下均有效。

实验结果

研究问题

• RQ1 Gamma 冰与 Delta 冰模型在 $\mathrm{GL}(r,F)$ 的元刻划覆蓋上的划分函数是否相等？
• RQ2 能否通过杨-巴克斯特方程推导出这些划分函数在 Weyl 群作用下的函数方程？
• RQ3 这两个模型的 $R$-矩阵是否构成一致的杨-巴克斯特系统？
• RQ4 是否存在一种不依赖 Shintani-Casselman-Shalika 公式或 Whittaker 函数恒等式的直接代数证明，以验证对偶性？

主要发现

• 通过杨-巴克斯特对易性证明，对于所有主权 $\lambda$ 和所有 $n \geq 1$，Gamma 冰与 Delta 冰的划分函数相等。
• 即使不使用 Shintani-Casselman-Shalika 公式，该等式也成立，从而为该恒等式提供了全新的、直接的证明。
• $R$-矩阵 $R^{\Gamma\Gamma}, (R^{\Delta\Gamma})^{-1}, R^{\Gamma\Delta}, (R^{\Delta\Delta})^{\ddagger}$ 构成一个参数化的杨-巴克斯特系统，且 $ (R^{\Gamma\Delta})^{\ddagger} $ 与 $ (R^{\Delta\Gamma})^{-1} $ 成比例。
• 杨-巴克斯特方程使得“列车论证”成为可能，可将顶点在晶格中移动，保持划分函数不变，从而证明两个模型的相等性。
• 推导出在 Weyl 群作用下划分函数的函数方程，推广了 $n=1$ 情形下 Schur 多项式对称性的结果。
• 通过连续性论证，该证明对所有 $z_i$ 均成立，包括 $z_2^n - v^n z_1^n = 0$ 的情形，确保了解析延拓的有效性。