Some combinatorial interpretations of the Macdonald identities for affine root systems and Nekrasov--Okounkov type formulas

本文建立了一个组合框架，将整数向量与视作双向无限词的划分相联系，以推导钩长乘积的枚举结果，从而为所有仿射根系下的麦克唐纳恒等式提供基于施ur函数的解释，并导出相应的$q$-内克拉索夫–奥库诺夫公式。

要点

想象你正面对一座巨大且无限的图书馆。在这座图书馆内，存在着两种截然不同的图书整理方式：

1. “钩子”方法：想象一个书架，每本书都附有一个特定的“钩子”。这个钩子的长度取决于它右侧和下方有多少本书。有些书的钩子很长，有些则很短。
2. “向量”方法：想象一条漫长且无尽的珠串，由黑色和白色的珠子组成，向两个方向无限延伸。

几十年来，数学家们知道这两种方法之间存在着一种隐秘的联系，但这就像试图将一首诗从一种无人再使用的语言翻译出来一样困难。大卫·瓦希奇（David Wahiche）的这篇论文，就像一本崭新且清晰的词典，实现了这两个世界之间的互译。

以下是该论文内容的简要解析，使用了简单的比喻：

1. 重大发现：两种计数方式

作者表明，你可以将一种特定的图书排列（称为整数分拆）翻译成一种特定的黑白珠串模式（称为双向无限词）。

• 比喻：将分拆想象成由积木搭建的阶梯。“钩长”就像测量从任意一块积木到阶梯边缘的距离。
• 神奇之处：论文证明，如果你将所有这些钩长相乘，就能揭示关于珠串模式的深刻信息。反之，如果你知道珠串的模式，就能预测钩长。

2. “麦克唐纳恒等式”：秘密配方

在数学世界中，有一些著名的“配方”被称为麦克唐纳恒等式。这些是复杂的公式，将求和（相加）与求积（相乘）联系起来。

• 问题：长期以来，这些配方是用一种非常抽象的语言写成的，涉及“根系”（这就像形状的几何骨架）。人们很难在公式中看到实际的“书”或“珠子”。
• 解决方案：瓦希奇重写了这些配方。他不再仅仅展示抽象的数字，而是表明这些配方实际上是在计数特定类型的书架（分拆）。
  • 有些配方计数“自共轭”书架（即如果将其举到镜子前，看起来一模一样的书架）。
  • 另一些则计数“加倍互异”书架（具有非常特定且对称形状的书架）。

3. “涅克拉索夫–奥科涅科夫”公式：通用翻译器

该论文将这些重写的配方转化为了一组新公式，称为涅克拉索夫–奥科涅科夫公式。

• 比喻：想象你拥有一个通用翻译器，它可以将复杂的数学句子变成一首关于钩长的简单歌曲。
• 作用：这些公式允许数学家利用一个名为 $q$ 的变量（它像一个旋钮）来计算这些书架的“权重”。
  • 当你将旋钮转到特定设置时，你会得到一种类型书架的公式。
  • 当你将其转到另一个设置时，你会得到另一种类型书架的公式。
  • 该论文为七类不同的数学形状（仿射根系）提供了这些“旋钮设置”，这是对以往已知内容的巨大扩展。

4. 解开谜团

论文提到了数学家韩（Han）提出的一个“未解决问题”。韩问道：“我们拥有针对一种形状（A 型）的惊人公式。其他六种类型是否存在类似的公式？”

• 答案：是的！瓦希奇利用他的“珠子到书架”翻译方法，找到了所有其他类型缺失的公式。他甚至解决了一个关于将旋钮转到尽头（即当 $q$ 趋向于 1 时）会发生什么的谜题，揭示了一种理解旧数学乘积（欧拉乘积）的新方法。

总结

将这篇论文想象成一把万能钥匙。

• 之前：数学家们只有一把只能打开一扇门（一种形状）的钥匙。
• 现在：瓦希奇锻造了一把能打开七扇门的万能钥匙。
• 方法：他意识到，复杂的珠串模式（向量）与简单的积木模式（带钩子的分拆）实际上是同一枚硬币的两面。

这篇论文不仅仅说“这里有一个公式”；它通过展示隐藏在抽象数学背后的物理组合结构（钩子和珠子），解释了公式为何有效。它以让不可见变为可见的方式，将“钩长”（组合数学）的世界与“根系”（代数）的世界联系在了一起。

技术摘要

技术摘要：Macdonald 恒等式与 Nekrasov–Okounkov 公式的组合解释

问题陈述
本文探讨了七个无限仿射根系族 Macdonald 恒等式的组合解释。虽然经典的 Nekrasov–Okounkov 公式（$A^{(1)}_{t-1}$ 型）将按钩长加权的整数分拆求和与无穷乘积联系起来，但其他仿射类型（$B$、$C$、$D$ 型及其扭曲变体）是否存在类似公式仍是一个未决问题，这一点在 Han 的工作 [Han09, 问题 6.4] 中被特别指出。挑战在于将 Macdonald 恒等式中出现的关于仿射 Weyl 群和二次型的抽象求和，转化为涉及分拆、钩长和 Schur 函数的具体枚举公式。此外，本文旨在为 [Mac72] 中提供的 Macdonald 恒等式的 13 种特例推导 $q$-模拟（Nekrasov–Okounkov 型公式）。

方法论
作者采用了一种以整数分拆与双向无限二进制词（通常称为 Maya 图或算筹图）之间的对应关系为核心的方法论。核心技术工具包括：

1. 二进制词对应：分拆被映射到序列 $(c_k)_{k \in \mathbb{Z}}$，其中 Ferrers 图边界上的步长被编码为 0（垂直）和 1（水平）。这使得可以通过词中的索引精确地定义钩长和主对角线。
2. Littlewood 分解：本文利用 Littlewood 分解，将分拆 $\lambda$ 映射到 $t$-核 $\omega$ 和 $t$-商 $\nu$。作者将此框架扩展至分拆的特定子集：自共轭（$SC$）、加倍不同（$DD$）及其共轭（$DD'$）。
3. $V_{g,t}$-编码：引入了一种新颖的编码方案（定义 4.10），将分拆的特定子集映射到整数向量。这种编码弥合了 Macdonald 恒等式指数中出现的二次型与特定分拆子集的权重（大小）之间的鸿沟。
4. 归纳枚举：本文通过对 $V_{g,t}$-编码的最大元素进行归纳，证明了这些特定子集上钩长乘积的枚举结果。这涉及移除最大的钩（或部）并分析编码向量产生的相应变化。
5. Schur 函数特化：Macdonald 恒等式的求和侧，最初表示为格上的求和，被重写为按由 $V_{g,t}$-编码导出的分拆索引的 Schur 函数（经典、辛、特殊正交和偶正交）的求和。

主要贡献与结果

1. Macdonald 恒等式的组合解释：
   本文对所有七个无限仿射根系族（$\tilde{A}_{t-1}, \tilde{B}_t, \tilde{B}^\vee_t, \tilde{C}_t, \tilde{C}^\vee_t, \tilde{D}_t, \widetilde{BC}_t$）的 Macdonald 恒等式提供了统一的改写。

   • 求和侧被表示为对特定分拆族（例如，$A$ 型的 $t$-核，$C$ 型的加倍不同分拆，$D^{(2)}$ 型的自共轭分拆）的求和。
   • 求和项包含带符号的权重（由 Durfee 正方形的大小和低于阈值的钩长数量决定）以及与仿射类型相关联的经典李群对应的 Schur 函数（例如，$C^{(1)}_t$ 型对应辛 Schur 函数，$B^{(1)}_t$ 型对应特殊正交 Schur 函数）。
   • 定理 1.2 和 定理 1.3 分别以 $A^{(1)}_{t-1}$ 型和 $C^{(1)}_t$ 型为例说明了这一点。

2. 钩长乘积的枚举：
   作者为已识别的分拆族推导了钩长（及其带符号变体）乘积的显式公式。

   • 定理 4.14 为加倍不同集 $DD(g)$中的$g$-核提供了乘积$\prod_{s \in \omega} \frac{\tau(h_s - \epsilon_s g)}{\tau(h_s)}$ 的通用公式。
   • 针对其他分拆族建立了类似的定理（4.19, 4.21, 4.23, 4.25, 4.27），将乘积与涉及 $V_{g,t}$-编码向量的行列式联系起来。

3. $q$-Nekrasov–Okounkov 公式的推导：
   通过特化改写后的 Macdonald 恒等式中的变量（令 $x_i = q^i$ 或 $x_i = q^{2i-1}$）并利用钩长枚举结果，本文推导了所有无限仿射类型的 $q$-Nekrasov–Okounkov 公式。

   • 定理 1.4 给出了 $C^{(1)}_t$ 型的公式。
   • 定理 6.5, 6.7, 6.9, 6.11 和 6.13 分别给出了 $B^{(1)}_t$、$A^{(2)}_{2t-1}$、$D^{(2)}_{t+1}$、$A^{(2)}_{2t}$ 和 $D^{(1)}_t$ 型的相应公式。
   • 这些公式推广了经典的 Nekrasov–Okounkov 恒等式，包含了反映特定根系结构的参数 $u$ 和 $q$。

4. 极限情形与未决问题：
   通过取极限 $q \to 1$（或 $q \to -1$）并应用多项式论证，本文推导了 13 个不同的 Nekrasov–Okounkov 型公式，对应于 Macdonald 附录 1 中的特例。

   • 这解决了 Han 提出的关于其他类型是否存在此类恒等式的未决问题。
   • 本文恢复了已知结果（例如，$A$ 型以及 [Pé15a, Pé15b] 中发现的 $C$ 型和 $D$ 型的特定情形），并为以前未处理的特例推导了新公式（例如，公式 6.13, 6.15, 6.17, 6.19, 6.21）。

意义
本文的重要意义在于提供了一个统一的组合框架，将仿射根系 Macdonald 恒等式的抽象代数结构与具体的分拆统计联系起来。通过建立恒等式中的二次型与特定分拆子集权重之间的双射（经由 $V_{g,t}$-编码），作者将“仿射 Weyl 群上的求和”转化为“分拆上的求和”。这不仅从 Schur 函数的角度提供了 Macdonald 恒等式的组合解释，而且系统地生成了适用于所有无限仿射类型的 Nekrasov–Okounkov 公式族。这项工作回答了关于 $A$ 型以外类型是否存在这些公式的具体未决问题，从而扩展了组合学和表示论中钩长公式的范围。作者指出，虽然该方法理论上可扩展到例外类型，但这些系统的有界秩阻止了以相同方式提升到“非离散化模拟”，因此它们未在本工作中处理。