[论文解读] A Combinatorial Formula for the Character of the Diagonal Coinvariants

J. Haglund, Mark Haiman+3 more|ArXiv.org|Oct 28, 2003

Advanced Combinatorial Mathematics参考文献 11被引用 4

一句话总结

本文提出了对对称函数 $\nabla e_n(z)$ 的组合公式，该公式编码了对角余不变环 $R_n$ 作为双分次 $S_n$-模的特征。通过使用带状表生成函数和麦克唐纳多项式理论，作者证明了该公式具有对称性与舒尔正性，支持了如下猜想：$\nabla e_n(z)$ 可通过 $q,t$-Catalan 数与施罗德路径的 $q,t$-类比，从停车函数及其高阶幂 $\nabla^m e_n(z)$ 的组合解释中得出。

ABSTRACT

Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as abla e_n, where e_n is the n-th elementary symmetric function, and abla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for abla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on abla e_n are special cases of our conjecture. Finally, we extend our conjectures on abla e_n and several of the results supporting them to higher powers abla^m e_n.

研究动机与目标

• 为对角余不变环 $R_n$ 的弗罗贝尼乌斯特征 $\nabla e_n(z)$ 提供一个组合公式，该公式已知等于麦克唐纳算子 $\nabla$ 作用于初等对称函数 $e_n$ 的结果。
• 证明所提出的公式具有对称性与舒尔正性，这些性质在其组合定义下并不显然。
• 将公式推广至更高阶幂 $\nabla^m e_n(z)$，扩展已知的 $q,t$-Catalan 与施罗德路径生成函数结果。
• 统一并拓展关于 $\nabla e_n(z)$ 的早期猜想，包括加西亚-黑格伦公式 $C_n(q,t)$ 与黑格伦-洛赫尔关于希尔伯特级数 ${\rm Hilb}(R_n;q,t)$ 的猜想。
• 探讨与 $q,t$-对称性及 $\nabla^m e_n(z)$ 的特殊化恒等式相关的开放问题，特别是在卡兹丹-卢斯蒂格多项式与普莱西斯代换的背景下。

提出的方法

• 作者通过在偏序形 $\nu/\nu^{(0)}$ 上的半标准表（其中 $\nu$ 是 $n$ 的分拆，$\nu^{(0)}$ 是更小的分拆）定义了一个组合公式 $D_n(z;q,t)$，其权重基于 $d_{\text{inv}}^m$ 统计量。
• 他们利用拉苏克斯、勒克拉尔克与蒂邦发展的带状表生成函数理论，证明该公式具有对称性，借助于带状表生成函数在 $q,t$ 下对称这一事实。
• 舒尔正性通过卡兹丹-卢斯蒂格多项式解释建立，如文献 [20] 所示，尽管其舒尔展开的直接组合解释仍为开放问题。
• 通过在表上引入广义的 $d_{\text{inv}}^m$ 统计量，将公式扩展至 $\nabla^m e_n(z)$，并提出一个猜想公式 $D_n^{(m)}(z;q,t)$，当 $m=1$ 时退化为 $D_n(z;q,t)$。
• 作者证明该公式满足关键恒等式，如在特定情况下 $D_n(z;q,t) = D_n(z;t,q)$，以及 $D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$，与 $\nabla^m e_n(z)$ 在 $t=q^{-1}$ 处的已知取值一致。
• 构建了在斜形 $(\nu + (1^n))/\nu$ 中的单元与一列形表 $\boldsymbol{\nu}$ 中的条目之间的双射，其内容偏移模 $mn+1$ 定义，以将 $d_{\text{inv}}^m$ 统计量与单元的调整内容联系起来。

实验结果

研究问题

• RQ1 所提出的组合公式 $D_n(z;q,t)$ 对 $\nabla e_n(z)$ 是否在 $q$ 与 $t$ 下对称？
• RQ2 该公式是否舒尔正性？其在舒尔基底下的展开是否为非负整数系数的组合？
• RQ3 广义公式 $D_n^{(m)}(z;q,t)$ 对 $\nabla^m e_n(z)$ 是否满足已知的特殊化恒等式，如 $D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$？
• RQ4 公式 $D_n(z;q,t)$ 是否满足 $q,t$-对称性 $D_n(z;q,t) = D_n(z;t,q)$，尽管尚无组合证明？
• RQ5 能否通过组合方法证明 $D_n^{(m)}(z;q,t)$ 的舒尔正性，还是其仅限于通过卡兹丹-卢斯蒂格多项式进行代数解释？

主要发现

• 所提出的公式 $D_n(z;q,t)$ 在 $q$ 与 $t$ 下对称，这是通过拉苏克斯、勒克拉尔克与蒂邦的带状表生成函数理论证明的。
• 该公式具有舒尔正性，即其在舒尔基底下的展开系数属于 $\natnum[q,t]$，这一非平凡性质源于卡兹丹-卢斯蒂格多项式解释。
• 该公式推广了加西亚-黑格伦公式 $C_n(q,t) = \braket{\nabla e_n, e_n}$、黑格伦-洛赫尔关于希尔伯特级数 ${\rm Hilb}(R_n;q,t) = \braket{\nabla e_n, e_1^n}$ 的猜想，以及关于 $\braket{\nabla e_n, h_d e_{n-d}}$ 的一个猜想，后者以施罗德路径表示。
• 对于高阶幂，猜想公式 $D_n^{(m)}(z;q,t)$ 满足 $D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$，与 $\nabla^m e_n(z)$ 在 $t=q^{-1}$ 处的已知取值一致。
• $D_{\text{inv}}^m$ 统计量在表上的等价性被证明为模 $mn+1$ 的调整内容差条件，建立了表与斜形中单元之间的双射，且保持了反演统计量。
• 公式 $D_n^{(m)}(z;q,t)$ 在特定情况下被证明在 $q \to t$ 与 $t \to q$ 下对称，尽管 $q,t$-对称性仍为开放问题，但其特殊化恒等式提供了强有力证据。