[论文解读] Macdonald Identities: revisited

K. Iohara, Yukie Saito|arXiv (Cornell University)|Sep 11, 2024

Advanced Combinatorial Mathematics被引用 1

一句话总结

本文利用 K. Saito 的折叠方法以及 B. Kostant 关于热核和李群表示的结果，重新审视了扭曲仿射根系的 Macdonald 恒等式。通过将有限根系视为单连通根系在非平凡自同构下的折叠像，并应用 Freudenthal-de Vries 公式，本文为除 $BC^{(2)}_l$ 外的所有扭曲类型 $X^{(t)}_l$ ($t \neq 1$) 提供了 Macdonald 恒等式的全新推导。关键结果是一个涉及 Dedekind eta 函数与对偶 Coxeter 格点上求和的乘积-和恒等式，通过几何与表示论方法，将 Macdonald 的原始恒等式推广至扭曲情形。

ABSTRACT

In this note, after recalling a proof of the Macdonald identities for untwisted affine root systems, we derive the Macdonald identities for twisted affine root systems.

研究动机与目标

• 通过几何折叠与表示论技术，重新推导类型为 $X^{(t)}_l$ ($t \neq 1$) 的扭曲仿射根系的 Macdonald 恒等式。
• 通过基于 Saito 折叠与 Kostant 工作的全新方法，将此前仅在未扭曲类型中建立的 Macdonald 恒等式证明扩展至扭曲情形。
• 为理解未扭曲与扭曲仿射根系中 Macdonald 恒等式的结构，提供统一的框架。
• 将例外情形 $BC^{(2)}_l$ 视为特殊情况，仅提供中间步骤，并陈述最终恒等式而未完成完整推导。
• 阐明非约仿射根系与其约化对应物之间的关系，特别是在 Macdonald 恒等式与李超代数的语境下。

提出的方法

• 通过非平凡自同构 $\tilde{\sigma}_f$ 将类型 $X_l$ 的有限根系 $R_f$ 实现为单连通根系 $\tilde{R}_f$ 的折叠像。
• 构造类型为 $Y^{(1)}_N$ 的仿射根系 $\widetilde{R}_{af} = \widetilde{R}_f + \mathbb{Z}\delta$，其中 $Y_N$ 是折叠所对应的单连通类型。
• 利用 Freudenthal-de Vries 公式，将 $\widetilde{I}_f(\tilde{\rho}_f, \tilde{\rho}_f)/2h^\vee(Y^{(1)}_N)$ 与 $\dim \mathfrak{g}(Y_N)/24 \cdot \widetilde{I}_f(\tilde{\theta}, \tilde{\theta})/2$ 关联，从而将 Weyl 向量的范数与李代数的维数联系起来。
• 应用 Kostant 的紧李群上热核公式，将分母恒等式表达为对对偶 Coxeter 格点的指数和。
• 使用迹映射 $\operatorname{Tr}_{\langle \sigma \rangle}$，将折叠系统中的根重数与原系统中的根重数关联，尤其区分短根与长根。
• 通过折叠结构与归一化，匹配乘积侧（涉及 Dedekind eta 函数）与求和侧（在 $h^\vee(X^{(t)}_l)\mathbb{Q}(R_f)$ 上的指数和），从而导出 Macdonald 恒等式。

实验结果

研究问题

• RQ1 如何利用折叠技术与已知的李群热核结果，推导扭曲仿射根系的 Macdonald 恒等式？
• RQ2 在折叠设定下，对偶 Coxeter 数 $h^\vee(X^{(t)}_l)$ 与李代数 $\mathfrak{g}(Y_N)$ 的维数之间的确切关系是什么？
• RQ3 在 $BC^{(2)}_l$ 情形下，根长结构（短、中、长）如何影响 Macdonald 恒等式的形式，相较于其他扭曲类型？
• RQ4 能否通过几何折叠构造，从未扭曲情形统一推导出 $X^{(t)}_l$ ($t \neq 1$) 的 Macdonald 恒等式？
• RQ5 在 Macdonald 恒等式与李超代数的语境下，非约仿射根系（如 $R(BC_l)$）与其约化对应物（如 $BC^{(2)}_l$）之间存在何种联系？

主要发现

• 通过折叠单连通根系并应用 Kostant 的热核公式，推导出类型为 $X^{(t)}_l$ ($t \neq 1$，排除 $BC^{(2)}_l$) 的扭曲仿射根系的 Macdonald 恒等式。
• 该恒等式的形式为 $\left( \frac{\eta(e^{-\delta})^{|\Pi_{f,s}|}}{\eta(e^{-t\delta})^{\lvert \Pi_{f,l} \rvert}} \right)^{h(X_l)+1} = \sum_{\gamma \in h^\vee(X^{(t)}_l)\mathbb{Q}(R_f)} d_{X_l}(\gamma) \exp\left( -\frac{I_f(\rho_f + \gamma, \rho_f + \gamma)}{2h^\vee(X^{(t)}_l)} \cdot \frac{2}{I_f(\theta_s, \theta_s)} \delta \right)$，将 eta 函数与对偶 Coxeter 格点上的求和联系起来。
• 通过在标签与余标签上的迹论证，证明了对偶 Coxeter 数 $h^\vee(X^{(t)}_l)$ 等于 $h^\vee(Y^{(1)}_N)$，其中 $Y_N$ 是折叠所得的单连通类型。
• 对于 $BC^{(2)}_l$ 情形，本文提供了分母恒等式的中间步骤，并陈述了最终的 Macdonald 恒等式：$\left( \eta(e^{-\delta/2})^2 \eta(e^{-\delta})^{2l-3} \eta(e^{-2\delta})^2 \right)^l = \sum_{\gamma \in \hat{I}(\rho,\delta)\mathbb{Q}((R'_f)^\vee)} d_{Cl}(\gamma) \exp\left( -\frac{1}{2\hat{I}(\rho,\delta)} \hat{I}(\rho+\gamma, \rho+\gamma) \delta \right)$。
• 推导依赖于将有限根系视为折叠系统的商，并利用 Coxeter 元素的轨道结构来计算根重数。
• 本文建立了非约仿射根系（如 $B(1)(0,l)$、$A(4)(0,2l)$）与其约化对应物（如 $BC^{(2)}_l$、$B^{(2)}_l$）之间的对应关系，表明它们的 Macdonald 恒等式与 $BC^{(2)}_l$、$B^{(2)}_l$ 等情形一致。