[论文解读] Categorical diagonalization of full twists

Ben Elias, Matthew Hogancamp|arXiv (Cornell University)|Dec 30, 2017

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

一句话总结

本文提出了有限考克斯eter群的索尔杰尔双模中全扭辫的范畴对角化，并通过范畴对角化理论建立了类型 A 中杨幂等元的范畴化。关键结果是在索尔杰尔双模的同伦范畴中，利用特征对象对经典杨对称化子实现完全范畴化。

ABSTRACT

We conjecture that the complex of Soergel bimodules associated with the full twist braid is categorically diagonalizable, for any finite Coxeter group. This utilizes the theory of categorical diagonalization introduced earlier by the authors. We prove our conjecture in type $A$, and as a result we obtain a categorification of the Young idempotents.

研究动机与目标

• 在有限考克斯eter群的索尔杰尔双模同伦范畴中，对全扭辫进行范畴对角化。
• 在对称群 $ S_n $ 的群代数中，对经典杨幂等元实现范畴化。
• 将范畴对角化理论扩展至类型 A 中全扭及其特征对象的背景。
• 在对称群的表示理论与索尔杰尔双模中鲁奎耶复形的结构之间建立联系。
• 证明全扭复形作为可同时对角化的算子，其特征对象对应于标准杨表。

提出的方法

• 利用 [EH17] 中发展的范畴对角化理论，分析索尔杰尔双模同伦范畴中全扭鲁奎耶复形的性质。
• 应用相对胞腔理论与特征映射构造，识别类型 A 中与标准杨表相关的特征对象。
• 运用渐近 Hecke 代数及全扭的特征值，确定对角化所需的谱数据。
• 从全扭复形到其特征对象构造特征映射，证明其满足范畴对角化的必要条件。
• 利用分支法则与 YJM 元素，将特征值与标准杨表中方格的内容数联系起来。
• 验证特征对象满足实现杨幂等元完全范畴化所必需的正交性与幂等性条件。

实验结果

研究问题

• RQ1 对于任意有限考克斯eter群，索尔杰尔双模中的全扭辫能否实现范畴对角化？
• RQ2 在类型 A 中，全扭复形是否能分解为以标准杨表为指标的特征对象？
• RQ3 能否将 $ \mathbb{Q}[S_n] $ 中的经典杨幂等元范畴化为全扭复形特征对象上的投影？
• RQ4 在索尔杰尔双模的同伦范畴中，全扭的谱数据（特征值与特征映射）是什么？
• RQ5 全扭的特征对象如何与对称群的表示理论及分支法则相关联？

主要发现

• 在类型 A 中，全扭复形可实现范畴对角化，其特征对象由标准杨表索引。
• 全扭在特征对象上的特征值对应于相关标准杨表中方格的内容数。
• 通过相对胞腔理论与鲁奎耶复形的结构，显式构造了从全扭复形到其特征对象的特征映射。
• 杨幂等元的范畴化通过投影到特征对象实现，使其在同伦范畴中成为直和项。
• 全扭复形作为可同时对角化的算子，在特征对象上具有互异的特征值，确保了完全分解。
• 该构造验证了 $ \mathbf{K}_T \otimes B_{P,Q} \simeq 0 $ 对 $ P \ntrianglerighteq T $ 成立，且 $ B_{P,Q} \otimes \mathbf{K}_T \simeq 0 $ 对 $ Q \ntrianglerighteq T $ 成立，从而确认了特征对象的正交性。