[论文解读] Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture

James Haglund, Brendon Rhoades+1 more|arXiv (Cornell University)|Sep 24, 2016

Advanced Combinatorial Mathematics参考文献 26被引用 19

一句话总结

本文引入了一个广义的余不变代数 $ R_{n,k} $，定义为 $ \mathbb{Q}[x_1,\dots,x_n] $ 关于由对称多项式和单项式条件生成的理想 $ I_{n,k} $ 的商环，其上具有一个分次 $ \mathfrak{S}_n $-作用。关键结果是 $ R_{n,k} $ 的分次弗罗贝尼乌斯级数与 Delta 猜想组合侧在 $ t=0 $ 处的特殊化完全一致，首次给出了一个显式的大分次 $ \mathfrak{S}_n $-模，实现了该特殊化。

ABSTRACT

The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Gröbner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$.

研究动机与目标

• 将经典的余不变代数 $ R_n $ 推广为一类新的分次 $ \mathfrak{S}_n $-模 $ R_{n,k} $（$ k \leq n $），并推广其组合与代数性质。
• 确立 $ R_{n,k} $ 的组合结构由 $ [n] $ 的 $ k $ 个块的有序集合划分控制，推广了 $ R_n $ 中由排列控制的结构。
• 证明 $ R_{n,k} $ 的分次弗罗贝尼乌斯级数与 Delta 猜想组合侧在 $ t=0 $ 处的特殊化一致，解决了该特殊化中的一个关键开放问题。
• 为 $ I_{n,k} $ 提供一个约化的格里鲍列夫基，扩展阿廷与加西亚-斯坦顿的单项式基，并计算 $ R_{n,k} $ 的希尔伯特级数。

提出的方法

• 将理想 $ I_{n,k} \subseteq \mathbb{Q}[x_1,\dots,x_n] $ 定义为不变理想 $ I_n $ 与由 $ x_i^k $（$ i = 1,\dots,n $）生成的理想之和。
• 构造商环 $ R_{n,k} = \mathbb{Q}[x_1,\dots,x_n]/I_{n,k} $，其继承自多项式环的分次 $ \mathfrak{S}_n $-作用。
• 证明 $ R_{n,k} $ 的希尔伯特级数为 $ [n]!_q $，推广了经典 $ R_n $ 的情形。
• 通过利用有序集合划分的块结构，将阿廷与加西亚-斯坦顿的基扩展到新设定，构造 $ R_{n,k} $ 的单项式基。
• 在字典序下计算 $ I_{n,k} $ 的约化格里鲍列夫基，证明其由 $ e_1,\dots,e_n $ 和 $ x_1^k,\dots,x_n^k $ 生成。
• 利用对称函数理论，将 $ R_{n,k} $ 的分次弗罗贝尼乌斯级数表达为 Delta 猜想组合侧在 $ t=0 $ 处的特殊化。

实验结果

研究问题

• RQ1 如何将经典的余不变代数 $ R_n $ 推广为 $ k < n $ 时的模族 $ R_{n,k} $，同时保持其关键的代数与表示论性质？
• RQ2 控制 $ R_{n,k} $ 结构的组合对象是什么？它们如何推广 $ k=n $ 情形下由排列控制的结构？
• RQ3 $ R_{n,k} $ 的分次弗罗贝尼乌斯级数是否与麦克唐纳多项式理论中的已知对称函数表达式一致，特别是与 Delta 猜想相关？
• RQ4 能否证明 $ R_{n,k} $ 实现了 Delta 猜想组合侧在 $ t=0 $ 处的特殊化，作为一个大分次 $ \mathfrak{S}_n $-模？

主要发现

• $ R_{n,k} $ 的希尔伯特级数为 $ [n]!_q $，推广了经典 $ R_n $ 的结果。
• 在字典序下，$ I_{n,k} $ 的约化格里鲍列夫基由初等对称函数 $ e_1,\dots,e_n $ 和单项式 $ x_1^k,\dots,x_n^k $ 构成。
• 通过使用具有 $ k $ 个块的有序集合划分，构造了 $ R_{n,k} $ 的单项式基，扩展了阿廷与加西亚-斯坦顿的基。
• $ R_{n,k} $ 的分次弗罗贝尼乌斯级数等于 Delta 猜想组合侧在 $ t=0 $ 处的特殊化，仅存在一个微小修正。
• 这首次给出了一个显式的大分次 $ \mathfrak{S}_n $-模，实现了 Delta 猜想在 $ t=0 $ 处的特殊化。