[论文解读] Hall-Littlewood expansions of Schur delta operators at $t = 0$

James Haglund, Brendon Rhoades+1 more|arXiv (Cornell University)|Jan 24, 2018

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

一句话总结

本文通过计算任意分拆 $\nu$ 的 $\omega\Delta'_{s_\nu}e_n$ 的 Hall-Littlewood 展开式，提供了 $t=0$ 时 Delta 猜想的新代数证明，表明其等于所有 $n$ 的分拆 $\mu$ 的和，其中每项加权为 $q^{\overline{b}(\mu)}\binom{k}{m(\mu)}_q$ 乘以对偶 Hall-Littlewood 基 $Q'_\mu$。该结果通过对称群表示的 $\mathrm{Hom}$-空间进行解释，为 $t=0$ 时的猜想提供了新的几何与表示论理解。该工作推广了先前结果，并通过斜乘算子与超几何变换提出了一种新颖的方法。

ABSTRACT

For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomial $Δ'_{e_{k-1}} e_n$ is the symmetric function side of the Delta Conjecture of Haglund-Remmel-Wilson. We give an expansion of $ωΔ'_{s_ν} e_n$ at $t = 0$ in the dual Hall-Littlewood basis for any partition $ν$. The Delta Conjecture at $t = 0$ was recently proven by Garsia-Haglund-Remmel-Yoo; our methods give a new proof of this result. We give an algebraic interpretation of $ωΔ'_{s_ν} e_n$ at $t = 0$ in terms of a $\mathrm{Hom}$-space.

研究动机与目标

• 通过对称函数理论与 Hall-Littlewood 基，提供 $t=0$ 时 Delta 猜想的新代数证明。
• 将已知的 $\omega C_{n,k}$ 在 $t=0$ 时的展开式推广至任意 Schur 函数 $s_\nu$，超越 $\nu = (1^{k-1})$ 的情形。
• 将 $\omega\Delta'_{s_\nu}e_n|_{t=0}$ 表示为对称群模的 $\mathrm{Hom}$-空间的分次 Frobenius 特征，给出其表示论解释。
• 建立对称函数 $\omega\Delta'_{s_\nu}e_n|_{t=0}$ 与旗型流形 $X_{n,k}$ 的 Borel-Moore 同调之间的几何联系。

提出的方法

• 在对称函数环 $\Lambda$ 上使用斜乘算子 $e_j^\perp$ 来操控 $\Delta'_{s_\nu}$ 的作用。
• 运用 ${}_3\phi_2$-超几何变换来简化并求值所得的对称函数表达式。
• 以对偶 Hall-Littlewood 函数 $Q'_\mu$ 表示 $\omega\Delta'_{s_\nu}e_n|_{t=0}$ 的 Hall-Littlewood 展开式，适用于所有分拆 $\nu$。
• 将所得对称函数识别为 $\mathrm{Hom}_{{\mathfrak{S}}_n}(S^\nu, W_{n,m})$ 的 Frobenius 特征，其中 $W_{n,m}$ 是一个分次 $\mathfrak{S}_n$-模。
• 利用 Poincaré 对偶性与 Borel-Moore 同调，将上同调环 $R_{n,k}$ 的反转解释为 $\widetilde{R}_{n,k} \cong \mathbb{Q} \otimes \overline{H}_\bullet(X_{n,k})$。
• 构造几何模型 $X_{n,k}$，即 $\mathbb{C}^k$ 中 $n$ 个张成 $\mathbb{C}^k$ 的直线的 $n$ 元组的流形，并赋予 $\mathfrak{S}_n$-作用，以实现其上同调作为对称函数侧的模结构。

实验结果

研究问题

• RQ1 对于任意分拆 $\nu$，$\omega\Delta'_{s_\nu}e_n$ 在 $t=0$ 时的 Hall-Littlewood 展开式是什么？
• RQ2 能否通过对称函数技巧与超几何恒等式，而非组合统计，重新证明 $t=0$ 时的 Delta 猜想？
• RQ3 如何从对称群 $\mathfrak{S}_n$ 的表示论角度解释对称函数 $\omega\Delta'_{s_\nu}e_n|_{t=0}$？
• RQ4 是否存在一个几何流形 $X_{n,\nu}$，其上同调能实现 $\omega\Delta'_{s_\nu}e_n|_{t=0}$ 的 Frobenius 特征？
• RQ5 上同调环的反转操作在连接对称函数与 Borel-Moore 同调中起什么作用？

主要发现

• 本文确立了对任意分拆 $\nu$，有 $\omega\Delta'_{s_\nu}e_n|_{t=0} = \sum_{\mu \vdash n, \ell(\mu)=k} q^{\overline{b}(\mu)} \binom{k}{m(\mu)}_q Q'_\mu$，推广了先前结果。
• 该结果提供了 $t=0$ 时 Delta 猜想的新代数证明，通过对称函数恒等式与超几何变换确认了 $\Delta'_{e_{k-1}}e_n|_{t=0} = C_{n,k}$。
• $\omega\Delta'_{s_\nu}e_n|_{t=0}$ 被证明等于 $\mathrm{Hom}_{{\mathfrak{S}}_n}(S^\nu, W_{n,m})$ 的分次 Frobenius 特征，其中 $W_{n,m}$ 是反转上同调环的张量积的直和。
• $R_{n,k} = \mathbb{Q}[x_1,\dots,x_n]/I_{n,k}$ 被识别为 $H^\bullet(X_{n,k})$，其反转 $\widetilde{R}_{n,k}$ 通过 Poincaré 对偶性同构于 Borel-Moore 同调 $\overline{H}_\bullet(X_{n,k})$。
• 几何模型 $X_{n,k}$（即 $\mathbb{C}^k$ 中张成 $\mathbb{C}^k$ 的 $n$ 个直线的 $n$ 元组）支持一个 $\mathfrak{S}_n$-作用，其上同调实现了 Delta 猜想对称函数侧的模结构。
• 该工作为构造一个一般流形 $X_{n,\nu}$ 提供了框架，其上同调将实现 $\omega\Delta'_{s_\nu}e_n|_{t=0}$ 作为 Frobenius 特征，将旗流形模型推广至任意 $\nu$。