[论文解读] The Hodge theory of Soergel bimodules

Ben Elias, Geordie Williamson|arXiv (Cornell University)|Dec 4, 2012

Algebraic structures and combinatorial models被引用 4

一句话总结

该论文通过在 Soergel bimodules 的代数设定中建立硬 Lefschetz定理和 Hodge-Riemann 双线性关系，证明了任意 Coxeter 系统下 indecomposable Soergel bimodules 的字符的 Soergel 猜想。关键结果是 Kazhdan-Lusztig 多项式系数的非负性证明以及 Kazhdan-Lusztig 猜想的代数推导，通过 Hodge 理论方法完成了 Soergel 的程序。

ABSTRACT

We prove Soergel's conjecture on the characters of indecomposable Soergel bimodules. We deduce that Kazhdan-Lusztig polynomials have positive coefficients for arbitrary Coxeter systems. Using results of Soergel one may deduce an algebraic proof of the Kazhdan-Lusztig conjecture.

研究动机与目标

• 证明任意 Coxeter 系统下 indecomposable Soergel bimodules 的字符的 Soergel 猜想。
• 在代数设定下，为 Soergel bimodules 建立硬 Lefschetz定理与 Hodge-Riemann 双线性关系。
• 提供独立于几何实现的 Kazhdan-Lusztig 猜想的代数证明。
• 将 de Cataldo 与 Migliorini 的 Hodge 理论方法扩展至 Soergel bimodules，利用 Lefschetz 算子与 perverse 分次。
• 证明 Kazhdan-Lusztig 多项式在所有 Coxeter 系统中具有非负系数，解决了一个长期存在的猜想。

提出的方法

• 将代数几何中的 Hodge 理论技术，特别是硬 Lefschetz定理与 Hodge-Riemann 关系，适配至 Soergel bimodules 的范畴。
• 通过 Rouquier 复形与 perverse 分次，在 Soergel bimodules 的 Grothendieck 群上引入一个 Lefschetz 算子 ρ。
• 利用复形与极小复形上的 perverse 分次，为 Soergel bimodules 的范畴定义一个 Hodge 结构。
• 应用 Lefschetz 算子证明 bimodules 各分次上的 ρ^k 的单射性，从而确立硬 Lefschetz定理。
• 通过将 bimodules 分解为上行与下行分量（B↑, B↓）来分析复形中的微分，并验证单射性。
• 依赖于 Lefschetz 算子与微分及诱导形式的相容性，确保当 d(b) ≠ 0 时 ρ^k(b) ≠ 0。

实验结果

研究问题

• RQ1 在无几何实现的前提下，硬 Lefschetz定理是否对任意 Coxeter 系统中的 Soergel bimodules 成立？
• RQ2 Hodge-Riemann 双线性关系能否在代数上为 Soergel bimodules 建立？
• RQ3 Kazhdan-Lusztig 多项式是否在所有 Coxeter 系统中具有非负系数，如 Kazhdan 与 Lusztig 所猜想？
• RQ4 能否通过 Soergel bimodules 在不依赖 D-模或 Riemann-Hilbert 对应的前提下，代数地证明 Kazhdan-Lusztig 猜想？
• RQ5 Grothendieck 群上的 Lefschetz 算子 ρ 是否为满足所需代数性质的真实 Lefschetz 算子？

主要发现

• 在任意 Coxeter 系统中，Soergel bimodules 的硬 Lefschetz定理成立，其中 Lefschetz 算子 ρ 通过左乘作用。
• Soergel bimodules 的分次分量满足 Hodge-Riemann 双线性关系，确保双线性形式的正定性。
• Kazhdan-Lusztig 多项式在所有 Coxeter 系统中具有非负系数，证实了一个长期存在的猜想。
• 不可约 Soergel bimodules 恰好对应于 Grothendieck 群中的 Kazhdan-Lusztig 基，从而证明了 Soergel 的猜想。
• Lefschetz 算子 ρ 在 bimodule 的分次分量上诱导出一个单射映射 ρ^k，这对硬 Lefschetz 结果至关重要。
• 复形 F_x F_s 分解为 B↑, B↓, 与 B_x B_s 允许将问题约化为验证微分的单射性及与 ρ 的相容性。