[论文解读] A closed formula for the evaluation of $\mathfrak{sl}_N$-foams

Louis‐Hadrien Robert, Emmanuel Wagner|arXiv (Cornell University)|Feb 14, 2017

Geometric and Algebraic Topology参考文献 44被引用 17

一句话总结

本文提出了一种用于计算闭合 $\mathfrak{sl}_N$-泡沫的纯组合闭式公式，取代了计算上不切实际的 Kapustin-Li 公式。该公式给出一个整系数多项式，并为 MOY 微积分提供了图解式、TQFT 风格的范畴化，直接关联到部分旗流形的等变上同调，并使得这些上同调环中的显式计算成为可能。

ABSTRACT

We give a purely combinatorial formula for evaluating closed decorated foams. Our evaluation gives an integral polynomial and is directly connected to an integral equivariant version of the $\mathfrak{sl}_N$ link homology categorifying the $\mathfrak{sl}_N$ link polynomial. We also provide connections to the equivariant cohomology rings of partial flag manifolds.

研究动机与目标

• 为闭合 $\mathfrak{sl}_N$-泡沫提供一个完全组合化、计算友好的评估公式，取代基于矩阵因子化的 Kapustin-Li 公式。
• 建立 $\mathfrak{sl}_N$-泡沫评估与部分旗流形等变上同调之间的直接联系。
• 通过该泡沫评估，为 $\mathfrak{sl}_N$ 链多项式提供图解式、TQFT 风格的范畴化。
• 通过泡沫评估实现对部分旗簇上同调环的反向工程与显式计算。
• 通过提供一个自包含的、组合化的框架，统一并推广现有 $\mathfrak{sl}_N$ 链同调方法。

提出的方法

• 基于 [BHMV95] 的通用构造，为闭合 $\mathfrak{sl}_N$-泡沫开发了一个对称的评估映射。
• 采用涉及 Schur 多项式、Littlewood-Richardson 系数以及关于表的带符号求和的组合公式。
• 引入基于标签相对顺序的符号规则 $(-1)^{|A_2 < A_1|}$，以处理方向与分次位移。
• 使用 $\nabla$-函数编码内积，$\nabla(A,B)$ 表示标签之间的配对。
• 应用 $\triangle$-函数编码泡沫二维结构及其边界标签的贡献。
• 依赖附录 A 中的 Schur 多项式恒等式与附录 B 中详细的表操作，证明主恒等式。

实验结果

研究问题

• RQ1 能否为闭合 $\mathfrak{sl}_N$-泡沫推导出一个完全组合化、闭式表达的评估公式，且独立于矩阵因子化？
• RQ2 该评估公式与部分旗流形等变上同调之间有何关系？
• RQ3 能否通过该泡沫评估的 TQFT 风格构造，对 $\mathfrak{sl}_N$ 链多项式的 MOY 微积分进行范畴化？
• RQ4 支撑泡沫评估的精确组合结构（涉及表、符号与 Littlewood-Richardson 系数）是什么？
• RQ5 该框架能否用于在部分旗簇的上同调环中执行显式计算？

主要发现

• 本文提供了闭合 $\mathfrak{sl}_N$-泡沫的闭式评估公式，其为一个整系数多项式，明确表示为带有 Schur 多项式与 Littlewood-Richardson 系数的表的带符号求和。
• 证明了该评估与等变 $\mathfrak{sl}_N$ 链多项式等价，建立了与部分旗流形上同调的直接联系。
• 主恒等式通过表与符号的详细组合操作得到证明，最终形式为包含系数 $c^\nu_{\alpha_1\alpha_2}$、$c^{\tau}_{\alpha_1\gamma_1}$ 与 $c^{\beta}_{\alpha_2b\tau}$ 的对称表达式。
• 该公式自包含且组合化，允许对部分旗簇上同调环进行反向工程与显式计算。
• 该评估尊重 MOY 微积分的结构，为 Kapustin-Li 公式提供了一种图解式且计算可行的替代方案。
• 该方法成功地用完全代数化与组合化的方法取代了依赖矩阵因子化、在直接计算中不切实际的 Kapustin-Li 公式。