《Forum of Mathematics, Sigma》：Falling stars: a fall-decorated rational shuffle theorem
编辑推荐：
在本文中，研究人员提出了下降Delta定理和Delta平方猜想的有理模拟。研究人员在一个\((m+k) \times (n+k)\)矩形上的下降装饰路径上找到了一个新的dinv统计量，它同时推广了先前已知的装饰方形对象和非装饰矩形对象上的dinv统计量。研究人
在本文中，研究人员提出了下降Delta定理和Delta平方猜想的有理模拟。研究人员在一个\((m+k) \times (n+k)\)矩形上的下降装饰路径上找到了一个新的dinv统计量，它同时推广了先前已知的装饰方形对象和非装饰矩形对象上的dinv统计量。研究人员证明了下降装饰矩形Dyck路径的\(q,t\)-生成函数的一个对称函数公式，作为应用于\(e_{m,n+km}\)的偏斜算子，并且在矩形路径猜想的条件下，得到了下降装饰矩形路径的一个类似公式。
**论文解读文章**
**研究背景与问题**
20世纪90年代，Garsia和Haiman通过证明Macdonald多项式是某些模块的双分次Frobenius特征标，开启了Macdonald多项式理论的新篇章。这一方向随后催生了shuffle猜想、Delta猜想及平方路径定理等系列重要成果。然而，这些结果最初主要针对正方形路径或特定装饰类型（如上升装饰），对于一般矩形路径及下降装饰情形尚缺乏统一的理论框架。特别是，有理版本的shuffle定理仅处理无装饰的矩形Dyck路径，而Delta定理及其平方版本仅在正方形或上升装饰情形下得到部分证明。研究人员的核心目标是将这些结果推广到任意尺寸的矩形及下降装饰，从而建立统一的有理shuffle定理，同时揭示与椭圆Hall代数、仿射Hecke代数等领域的深刻联系。
**研究内容与结论**
研究人员提出了下降装饰的有理shuffle定理（定理1.1），对所有正整数\(m,n,k\)，证明了
\[
s^\perp_{(m-1)^k} e_{m,n+km} = \sum_{\pi \in \operatorname{LRD}(m+k,n+k)_{\ast k}} q^{\operatorname{dinv}(\pi)} t^{\operatorname{area}(\pi)} x^\pi,
\]
其中\(\operatorname{LRD}(m+k,n+k)_{\ast k}\)表示尺寸为\((m+k)\times(n+k)\)且带有k个下降装饰的标记矩形Dyck路径，\(\operatorname{dinv}\)和\(\operatorname{area}\)分别为对角线逆序数和面积统计量。在矩形路径猜想成立的条件下，研究人员还证明了类似的矩形路径版本（定理1.2）。这些结果统一了有理shuffle定理、上升Delta定理及平方路径定理，为组合对称函数理论提供了新的统一视角。论文发表在《Forum of Mathematics, Sigma》。
**关键技术方法**
研究人员采用了以下主要技术方法：（1）偏斜算子\(s^\perp_{(m-1)^k}\)作用于椭圆Hall代数算子\(e_{m,n+km}\)，通过Haglund等人建立的组合解释将代数表达式转化为路径和式；（2）构建了从标记矩形路径集\(\operatorname{LRP}(m,n+km)^{\tilde\alpha}\)到下降装饰矩形路径集\(\operatorname{LRP}(m+k,n+k)_{\ast k}\)（配备可允许fall-标签）的双射\(\psi\)，该双射利用了一种新颖的ENS表示（将装饰的东步替换为南步），保持了面积和垂直距离；（3）定义了基于星形词内容的符号反转对合\(\varphi\)，其唯一不动点对应于标准fall-标签，从而消除带符号的项；（4）通过分析半直线与路径的交点，证明了双射下\(\operatorname{dinv}\)统计量的不变性。
**研究结果**
*Section 4.1 偏斜算子的组合解释*
研究人员利用plethystic记号的性质，将偏斜算子\(h_\alpha^\perp\)作用于矩形路径的生成函数，等价于在标签字母表中引入“大标签”（\(\overline{\mathbb{Z}}_+\)），并按照弱组合\(\alpha\)选取带大标签的竖直步。由此导出\(s_{(m-1)^k}^\perp e_{m,n+km}\)可表示为带有符号的路径和，其中符号由可允许弱组合\(\alpha\)的Parity决定。
*Section 4.2 与矩形Dyck路径的双射*
研究人员定义了映射\(\psi\)：从\(\operatorname{LRP}(m,n+km)^{\tilde\alpha}\)出发，删除所有带大标签的竖直步，并在水平步前插入对应数量的下降步（保留原有小标签）。这建立了与下降装饰路径（配备可允许fall-标签）的一一对应，且上升路径对应Dyck路径。ENS表示进一步简化了几何直观。
*Section 4.3 符号反转对合*
研究人员推广了Gillespie、Gorsky和Griffin的符号反转对合\(\varphi\)至fall-标签的星形词。\(\varphi\)保持\(\operatorname{falldinv}\)（由大标签引起的攻击关系贡献）不变，且唯一不动点为标准递增标签\(\overline{1}\,\overline{2}\cdots\overline{k}\)，从而将带符号的求和收缩为仅保留正项的组合和。
*Section 5.1 计算\(\operatorname{dinv}\)*
研究人员通过分解\(\operatorname{cdinv}\)和\(\operatorname{falldinv}\)为各类步对贡献的计数，并利用半直线与子路径\(\pi_s\)的交点分析，证明了对于标准fall-标签，\(\operatorname{dinv}(\pi) = \operatorname{dinv}(\psi^{-1}(\pi,\overline{w}))\)。这一等式是连接代数公式与组合和的关键。
*Section 5.2 定理1.1的证明*
结合以上四步，研究人员将有理shuffle定理（Mellit, 2021）中的\(e_{m,n+km}\)展开为无装饰矩形Dyck路径的和，应用偏斜算子、双向映射和符号反转对合后，所有含符号项恰好消去，最终得到定理1.1的等式。类似地，在矩形路径猜想下得到定理1.2。
**总结讨论与结论翻译**
在讨论部分（Section 6），研究人员揭示了所得到的结果与现有文献的深层联系：首先，通过与Blasiak等人\(D_\alpha\)算子的对比，得到了\(q=1\)时的细化公式（定理6.3），该公式将下降装饰路径的生成函数分解为基于fall-组合的单项式和，体现了椭圆Hall代数算子的\(e\)-正性；其次，与D’Adderio等人的Theta算子理论关联，指出上升装饰与下降装饰在非正方形情形下的本质区别，并基于实验提出了新的Delta平方猜想下降版本（猜想6.9）及Theta算子与偏斜算子的恒等式（猜想6.10）。这些讨论表明，下降装饰路径框架不仅统一了已知结果，还为未来研究提供了丰富方向。
研究结论翻译如下：
**定理1.1（下降装饰有理shuffle定理）** 对任何\(m, n, k \in \mathbb{N}\)且\(m>0\)，有
\[
s^\perp_{(m-1)^k} e_{m,n+km} = \sum_{\pi \in \operatorname{LRD}(m+k,n+k)_{\ast k}} q^{\operatorname{dinv}(\pi)} t^{\operatorname{area}(\pi)} x^\pi.
\]
**定理1.2（下降装饰矩形shuffle定理）** 若[23, Conjecture 4.2]成立，则对任何\(m,n,k\in\mathbb{N}\)及\(d=\gcd(m,n)\)，有
\[
s^\perp_{(m-1)^k} \frac{[m]_q}{[d]_q} p_{m,n+km} = \sum_{\pi \in \operatorname{LRP}(m+k,n+k)_{\ast k}} q^{\operatorname{dinv}(\pi)} t^{\operatorname{area}(\pi)} x^\pi,
\]
特别地，当\(d=1\)时该恒等式无条件成立。
