[论文解读] Hochschild homology of certain Soergel bimodules

Marko Stošić|ArXiv.org|Oct 20, 2008

Algebraic structures and combinatorial models参考文献 10被引用 3

一句话总结

本文计算了特定 Soergel bimodules 的 Hochschild 上同调，特别是 $ R_{k,l}  igotimes_{k+l} R_{k,l} $，并确立了度数为 $ 2kl $ 的分次 bimodule 映射的存在性与唯一性，这对范畴化彩色 HOMFLY-PT 多项式至关重要。关键结果是对 Hochschild 上同调的完整计算，通过 Koszul 复形与 Schur 多项式，提供了彩色 HOMFLY-PT 不变量微积分中二边形移动公理的范畴化。

ABSTRACT

In this paper we compute Hochschild homology of certain Soergel bimodules. Moreover, we describe explicitly the graded bimodule maps between Soergel bimodules. This computations are motivated by the categorifications of the colored HOMFLY-PT polynomial for links via Hochschild homology of Soergel bimodules.

研究动机与目标

• 计算在彩色 HOMFLY-PT 多项式范畴化中出现的 Soergel bimodule $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ 的 Hochschild 上同调。
• 确立从 $ R_{k,l} $ 到 $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ 的度数为 $ 2kl $ 的分次 bimodule 映射的存在性与唯一性，并证明在更低度数下不存在此类映射。
• 为 Khovanov-Rozansky 链不变量在 Reidemeister 移动下的不变性提供代数基础，特别是在双色情形下。
• 将 bimodule 映射的结构与 Khovanov-Lauda 范畴化量子群中出现的 Frobenius 代数中的正交性联系起来。

提出的方法

• 使用 Koszul 复形模型，将 Hochschild 上同调的计算简化为对称群作用下不变的多项式环的上同调。
• 通过多项式环的商环表示 Soergel bimodules，其生成元由初等对称多项式与 Schur 多项式给出。
• 应用 Giambelli 的行列式公式，将 Schur 多项式表示为初等对称多项式的函数。
• 利用涉及量子整数与 $ q $-维数的正式表达式，计算上同调群的分次维数。
• 构造商环中理想上的自由分次解析，以计算 $ \mathrm{qdim}(I_j) $，这是最终恒等式的关键。
• 通过 $ q $-二项式系数的组合恒等式与 Kronecker delta 的简化，验证范畴化后的二边形移动公理。

实验结果

研究问题

• RQ1 是否存在唯一的度数为 $ 2kl $ 的分次 bimodule 映射从 $ R_{k,l} $ 到 $ R_{k,l} \bigotimes_{k+l} R_{k,l} $，且在更低度数下不存在非零映射？
• RQ2 Hochschild 上同调 $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ 如何分解，其 $ q $-维数结构为何？
• RQ3 Hochschild 上同调的计算能否用于范畴化彩色 HOMFLY-PT 多项式微积分中的二边形移动公理？
• RQ4 该唯一 bimodule 映射在 Khovanov-Lauda 范畴化量子群微积分中所用 Frobenius 代数的正交性中起何作用？
• RQ5 Koszul 复形模型是否能为这些 bimodules 提供完整且可计算的上同调描述？

主要发现

• 从 $ R_{k,l} $ 到 $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ 的度数为 $ 2kl $ 的 bimodule 映射存在且唯一，且不存在非零的低度数映射。
• Hochschild 上同调 $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ 被显式计算，上同调群 $ H_{-i} $ 同构于商环 $ R' \simeq R^\prime $ 中理想的直和。
• 上同调的 $ q $-维数满足恒等式 $ \sum_{i=0}^{l} (-1)^i t^i \mathrm{qdim} H_{-i} = \mathrm{qdim} R' \cdot \prod_{i=1}^{l} (1 - t^{-1} q^{2k + 2i - 1}) $，从而确认了二边形移动公理。
• $ \mathrm{qdim}(I_j) $ 的计算通过自由分次解析实现，得到 $ \mathrm{qdim} I_j = \mathrm{qdim} R' \sum_{i=j}^{l} (-1)^{i-j} q^{i(i+1+2(k-l)) + j(j-1)} \binom{i-1}{i-j}_q \binom{l}{i}_q $。
• 最终恒等式通过涉及 $ q $-二项式系数与 Kronecker delta 恒等式的组合简化得到验证，从而确认了范畴化关系。
• 该唯一 bimodule 映射在 Khovanov-Lauda 范畴化量子群微积分中所用 Frobenius 代数的基的正交性中起结构作用。