[论文解读] A module for the Delta conjecture

Mike Zabrocki|arXiv (Cornell University)|Feb 24, 2019

Commutative Algebra and Its Applications参考文献 9被引用 32

一句话总结

本文提出一个三重分次的超对角余不变模 $M_n$，其变量包含三组——交换变量 $x_i$、$y_i$ 与 Grassmann 变量 $ heta_i$——其 $qtz$-分次 Frobenius 特征多项式被猜想等于 $ abla'_{e_{n-1} + z e_{n-2} + \ - \ - + z^{n-1}}(e_n)$，这是 Delta 猜想中的核心对称函数表达式。该猜想推广了 Haiman 关于对角余不变模（$z=0$）的结果，并为完整的 Delta 猜想提供了表示论模型，且通过计算工具在 $n=6$ 以内得到验证。

ABSTRACT

We define a module that is an extension of the diagonal harmonics and whose graded Frobenius characteristic is conjectured to be the symmetric function expression which appears in `the Delta conjecture' of Haglund, Remmel and Wilson [arXiv:1509.07058].

研究动机与目标

• 构造一个三重分次的 $S_n$-模 $M_n$，其变量为三组（$x_i$、$y_i$、$\theta_i$），用于建模 Delta 猜想中的对称函数表达式。
• 猜想 $M_n$ 的 $qtz$-分次 Frobenius 特征多项式等于 $\nabla'_{e_{n-1} + z e_{n-2} + \ - \ - + z^{n-1}}(e_n)$，这是 Delta 猜想中的关键表达式。
• 通过引入反对交换的 $\theta_i$ 变量，将 Haiman 关于对角余不变模（$z=0$）的结果推广至完整的 Delta 猜想。
• 为 Delta 猜想中对称函数表达式的 Schur 正性提供表示论框架。
• 使用 Macaulay2 和 Sage 等计算工具，将猜想在 $n=6$ 以内进行验证。

提出的方法

• 定义多项式环 $R_n = \mathbb{Q}[x_1,\dots,x_n, y_1,\dots,y_n, \theta_1,\dots,\theta_n]$，其中 $x_i$、$y_i$ 为交换变量，$\theta_i$ 为 Grassmann 变量（满足 $\theta_i^2 = 0$，$\theta_i\theta_j = -\theta_j\theta_i$）。
• 引入理想 $I_n$，其生成元为对称和 $p_{r,s} = \sum_{i=1}^n x_i^r y_i^s$（其中 $0 < r+s \leq n$）以及 $\tilde{p}_{r',s'} = \sum_{i=1}^n x_i^{r'} y_i^{s'} \theta_i$（其中 $0 \leq r'+s' < n$）。
• 构造商模 $M_n = R_n / I_n$，称为超对角余不变模，其继承了关于 $x_i$、$y_i$ 与 $\theta_i$ 次数的三重分次结构。
• 定义 $qtz$-分次 Frobenius 映射 $\mathcal{F}_{qtz}(M_n) = \sum_{a,b,c \geq 0} \sum_{\mu} q^a t^b z^c \chi_{M_n^{(a,b,c)}}(\mu) \frac{p_\mu}{z_\mu}$，其中 $\chi_{M_n^{(a,b,c)}}(\mu)$ 为 $S_n$-作用在分次成分 $(a,b,c)$ 上的特征标。
• 猜想 $\mathcal{F}_{qtz}(M_n) = \nabla'_{e_{n-1} + z e_{n-2} + \ - \ - + z^{n-1}}(e_n)$，且当 $z=0$ 时，该猜想退化为 Haiman 关于对角余不变模的定理。
• 使用计算工具（Macaulay2 与 Sage）在 $n=6$ 以内验证该猜想。

实验结果

研究问题

• RQ1 超对角余不变模 $M_n$ 的 $qtz$-分次 Frobenius 特征多项式是否等于对称函数表达式 $\nabla'_{e_{n-1} + z e_{n-2} + \ - \ - + z^{n-1}}(e_n)$？
• RQ2 在三重分次模中引入 Grassmann 变量 $\theta_i$，是否能为完整的 Delta 猜想提供表示论模型？
• RQ3 由猜想所暗示的对称函数表达式 $\sum_{k=1}^n z^{k-1} \nabla'_{e_{n-k}}(e_n)$ 是否为 Schur 正性？
• RQ4 当 $z=0$ 时，所提出的模如何推广 Haiman 的对角余不变模？
• RQ5 Hall-Littlewood 展开在 $t=0$ 时的作用，如何启发了所猜想的对称函数算子的形式？

主要发现

• 通过 Macaulay2 与 Sage 的计算验证，猜想 $\mathcal{F}_{qtz}(M_n) = \nabla'_{e_{n-1} + z e_{n-2} + \ - \ - + z^{n-1}}(e_n)$ 在 $n \leq 6$ 时成立。
• 当 $z=0$ 时，该猜想的特例恢复了 Haiman 关于对角余不变模的定理，确认与已有结果的一致性。
• 模 $M_n = R_n / I_n$ 按 $x_i$、$y_i$ 与 $\theta_i$ 的次数实现三重分次，且每个分次成分 $M_n^{(a,b,c)}$ 均携带对称群 $S_n$-模结构。
• 理想 $I_n$ 由对称和 $p_{r,s}$ 与 $\tilde{p}_{r',s'}$ 生成，这些生成元也代数地生成了 $R_n$ 的 $S_n$-不变子环，如文献 [OZ] 定理 4.5 所暗示。
• Frobenius 特征多项式 $\mathcal{F}_{qtz}(M_n)$ 通过 $S_n$-表示的特征标与对称函数定义，其中采用 $p_\mu / z_\mu$ 的归一化形式。
• 该猜想为 Delta 猜想中对称函数表达式提供了表示论解释，暗示其 Schur 正性。