[论文解读] Plethystic identities and mixed Hodge structures of character varieties

Anton Mellit|arXiv (Cornell University)|Mar 1, 2016

Advanced Combinatorial Mathematics参考文献 2被引用 3

一句话总结

本文通过从麦克唐纳多项式恒等式推导出的 plethystic 恒等式，以及 Hausel–Letellier–Villegas 猜想，建立了特征簇的混合霍奇多项式之间的显式关系。通过利用 $λ$-环结构和 plethystic 代换，证明了麦克唐纳多项式中的对偶对称性，从而导出一个连接不同特征簇的霍奇多项式的全新恒等式，解决了关于野性特征簇拉普拉斯变换的一个猜想。

ABSTRACT

I demonstrate how certain identities for Macdonald's polynomials established by Garsia, Haiman and Tesler, together with the conjecture of Hausel, Letellier and Villegas imply explicit relations between mixed Hodge polynomials of different character varieties.

研究动机与目标

• 通过 plethystic 恒等式推导特征簇的混合霍奇多项式之间的显式关系。
• 将 Garsia、Haiman 和 Tesler 的麦克唐纳多项式恒等式与特征簇中的混合霍奇结构联系起来。
• 验证并应用 Hausel–Letellier–Villegas 猜想，以建立霍奇理论不变量的新对称性。
• 解决 Hausel、Letellier 和 Villegas 关于野性特征簇拉普拉斯变换的一个猜想。

提出的方法

• 在 $λ$-环中使用 plethystic 代换来操作对称函数和麦克唐纳多项式。
• 应用麦克唐纳–库恩瓦尔德对偶恒等式，推导出包含 $H_{\lambda}[1+uD_{\mu}]$ 的生成函数的对称性。
• 使用算子 $V^*$（即 $V$ 的共轭），通过再生核性质将 $H_{\lambda}[X]\operatorname{Exp}[-B_{\lambda}Y]$ 与 $\Omega[X,Y,-1]$ 关联起来。
• 使用 $\nabla$-算子以及 $T$、$T^*$ 来共轭和变换生成函数，保持次数和对称性。
• 应用恒等式 $\operatorname{Exp}[X(1-u)] = \sum_{i,j} (-1)^j u^j h_i e_j$，将 $F[1-u]$ 解释为对称函数内积的形式。
• 通过将 $\Omega[X,1-y_1,\dots,1-y_k]$ 变换为 $\operatorname{Exp}[(X+Y)/Q]\Omega[X+1,Y,-1]$，建立霍奇理论不变量之间的双射。

实验结果

研究问题

• RQ1 对称函数中的 plethystic 恒等式如何与特征簇的混合霍奇多项式相关联？
• RQ2 麦克唐纳多项式对偶恒等式能否用于推导霍奇理论不变量的新对称性？
• RQ3 Hausel–Letellier–Villegas 猜想是否意味着不同特征簇的混合霍奇多项式之间存在显式关系？
• RQ4 野性特征簇的拉普拉斯变换的霍奇理论解释是什么？
• RQ5 $λ$-环结构如何促进涉及 $e_n[(1-u)/(1-q)]$ 和 $h_n[(1-u)/(1-q)]$ 的恒等式的推导？

主要发现

• 恒等式 $\operatorname{Exp}[uB_{\lambda}]H_{\lambda}[1+uD_{\mu}] = \frac{H_{\lambda}[1+uD_{\mu}]}{\prod_{r,c\in\lambda}(1-uq^c t^r)}$ 在 $\lambda$ 和 $\mu$ 之间对称，确立了麦克唐纳–库恩瓦尔德对偶性。
• 推论 6.4 表明 $H_{\lambda}[1-u] = \prod_{r,c\in\lambda}(1 - u q^c t^r)$，提供了霍奇理论评估的闭式表达。
• 推论 6.5 给出 $H_{\lambda}[-1] = (-1)^{|λ|} q^{n(\lambda')} t^{n(\lambda)}$，将霍奇多项式与分拆统计量联系起来。
• 定理 7.1 建立了霍奇不变量之间的双射：$\mathbb{H}(h_{\lambda}, h_{|\lambda|-\mu_1}e_{\mu_1}, \dots) = \mathbb{H}(h_{\lambda,|\mu|-|\lambda|}, h_{\mu}, e_{|\mu|})$，其中 $1 \leq \mu_1 \leq |\lambda| \leq |\mu|$。
• 推论 7.2 通过证明 $\mathbb{H}(h_{\lambda}, h_{n-1,1}^{(k)}) = \mathbb{H}(h_{\lambda,k-n}, h_{1^k}, e_k)$ 对于 $k \geq n \geq 1$，$\lambda \vdash n$，解决了 [HMW16] 中的一个猜想，该结果与野性特征簇的拉普拉斯变换相关。
• 变换 $\Omega[X,1-y_1,\dots,1-y_k] = \operatorname{Exp}[(X+Y)/Q]\Omega[X+1,Y,-1]$ 使得通过共轭算子 $V^*$ 和 $\nabla$ 可直接计算霍奇不变量。