[论文解读] Relative hard Lefschetz for Soergel bimodules

Ben Elias, Geordie Williamson|arXiv (Cornell University)|Jul 12, 2016

Algebraic structures and combinatorial models参考文献 14被引用 6

一句话总结

本文证明了任意 Coxeter 群中 Soergel bimodules 的相对硬 Lefschetz定理，确立了 Kazhdan-Lusztig 基结构常数的单峰性。该结果通过将几何 Hodge 理论技术适配到 Soergel bimodules 的代数设定中而得出，表明与任意双侧细胞关联的张量范畴是刚性且典范的。

ABSTRACT

We prove the relative hard Lefschetz theorem for Soergel bimodules. It follows that the structure constants of the Kazhdan-Lusztig basis are unimodal. We explain why the relative hard Lefschetz theorem implies that the tensor category associated by Lusztig to any 2-sided cell in a Coxeter group is rigid and pivotal.

研究动机与目标

• 证明任意 Coxeter 群中 Soergel bimodules 的相对硬 Lefschetz 定理。
• 证明 Kazhdan-Lusztig 基中结构常数 μx,y^z 的单峰性。
• 证明与 Coxeter 群中任意双侧细胞关联的张量范畴是刚性且典范的。
• 将几何 Hodge 理论结果（如相对硬 Lefschetz）推广到 Soergel bimodules 的代数设定中。
• 为单峰性提供一个代数证明，此前该结论仅通过 Kac-Moody 群或有限反射群的几何方法已知。

提出的方法

• 通过 perverse 上同调函子，将代数几何中的相对硬 Lefschetz 定理适配到 Soergel bimodules 的范畴中。
• 利用 Soergel bimodules 上的 perverse 赋值定义 perverse 上同调函子 H^i: B → pB，类比于层论中的 perverse 上同调。
• 利用 h* 中的主导正则元素 ρ 构造 Soergel bimodules 上的典范极化，并通过乘以极化元素的幂定义相对硬 Lefschetz 同构。
• 通过极限论证和符号分析将同构化归约为 Hodge-Riemann 双线性关系，从而证明相对硬 Lefschetz 同构。
• 利用该同构推导出结构常数 μx,y^z 是单峰的，即可以表示为非负整数系数的量子整数 [m] 的组合。
• 将结果应用于证明与双侧细胞关联的张量范畴 J 是刚性且典范的，利用硬 Lefschetz 同构的存在性构造对偶。

实验结果

研究问题

• RQ1 Soergel bimodules 在任意 Coxeter 群中是否满足相对硬 Lefschetz 定理？
• RQ2 Kazhdan-Lusztig 基的结构常数 μx,y^z 是否为单峰的，即能否表示为非负整数系数的量子整数 [m] 的组合？
• RQ3 相对硬 Lefschetz 同构是否意味着与双侧细胞关联的张量范畴是刚性且典范的？
• RQ4 几何 Hodge 理论结果（如相对硬 Lefschetz）能否在 Soergel bimodules 的语境中实现为代数结果？
• RQ5 perverse 赋值和 perverse 上同调函子在该代数设定中建立硬 Lefschetz 定理的过程中起什么作用？

主要发现

• 相对硬 Lefschetz 定理在任意 Coxeter 群的 Soergel bimodules 上成立，将 BBD 的几何结果推广到了代数设定。
• Kazhdan-Lusztig 基的结构常数 μx,y^z 是单峰的：可表示为 ∑a_m[m]，其中 a_m ≥ 0，[m] 为量子整数。
• 与 Coxeter 群中任意双侧细胞关联的张量范畴 J 是刚性且典范的，作为相对硬 Lefschetz 同构的推论。
• 由极化元素 ρ 的幂乘法诱导的同构 H^{-a}(YZ) → H^a(YZ) 给出了相对硬 Lefschetz 同构。
• 证明依赖于通过极限论证和符号分析将硬 Lefschetz 声明约化为 Hodge-Riemann 双线性关系。
• 该结果为单峰性提供了代数证明，此前该结论仅通过 Weyl 群或有限 Coxeter 群的几何方法已知。