[论文解读] Soergel calculus and Schubert calculus

Xuhua He, Geordie Williamson|arXiv (Cornell University)|Feb 17, 2015

Algebraic structures and combinatorial models参考文献 11被引用 8

一句话总结

本文通过尼尔赫伯环建立了索尔杰尔微分形式——用于计算索尔杰尔双模之间态射的工具——与施鲁伯特微分形式之间的直接联系，将复杂的双模复合计算简化为尼尔赫伯代数中的简单公式。关键贡献是定理5.1中给出的公式，该公式利用德穆尔热积和带装饰序列计算交形式条目，从而实现对不可约索尔杰尔双模特征的算法化计算，并能轻松重新推导出已知示例。

ABSTRACT

We reduce some key calculations of compositions of morphisms between Soergel bimodules ("Soergel calculus") to calculations in the nil Hecke ring ("Schubert calculus"). This formula has several applications in modular representation theory.

研究动机与目标

• 简化索尔杰尔双模范畴中态射复合计算的公认复杂性。
• 将索尔杰尔微分形式中的核心计算简化为尼尔赫伯环中的可处理公式，该环是施鲁伯特微分形式中的核心结构。
• 为计算索尔杰尔双模交形式条目提供明确的算法公式。
• 通过重新推导柏田与笠原-齐藤的已知示例，展示公式的实用性，并推测其在模表示论中的更广泛应用。

提出的方法

• 作者从一对 $(\underline{w}, \underline{e})$ 构造一个带装饰序列 $(d_i e_i)$，其中 $d_i$ 表示子表达式中第 $i$ 步在布吕哈特序中是否增加。
• 引入一个从尼尔赫伯代数到其商 $NH_{\leq x}/NH_{<x}$ 的映射 $p$，该映射将投影到由 $x$ 索引的分量上。
• 关键公式（定理5.1）将交形式条目 $\langle LL_{\underline{e}^1}, LL_{\underline{e}^2} \rangle$ 表示为某个元素 $F$ 在 $p$ 下的像，当子表达式为约化且缺陷为零时，其值为 $D_x$，否则为零。
• 该方法依赖于德穆尔热积和尼尔赫伯代数的结构，特别是分差算子 $D_s$ 的作用以及对简单反射的乘法。
• 证明基于如下事实：$F$ 在 $p$ 下的像仅在子表达式 $\underline{w}_{\underline{\gamma}}'$ 为约化且表示 $x$ 时非零，此时其值等于 $D_x$。
• 该公式被应用于已知示例，表明尼尔赫伯环计算能正确恢复交数，包括重数为2的情况。

实验结果

研究问题

• RQ1 索尔杰尔双模范畴中的态射复合能否简化为尼尔赫伯环中的计算？
• RQ2 索尔杰尔微分形式中的带装饰序列与尼尔赫伯代数元素之间的确切关系是什么？
• RQ3 如何利用施鲁伯特微分形式算法化地计算控制索尔杰尔双模结构的交形式条目？
• RQ4 该公式能否恢复如笠原-齐藤与布雷登所给出的非平凡已知示例？
• RQ5 该公式是否揭示了代数群与对称群表示理论中的新结构洞见？

主要发现

• 定理5.1中的公式允许通过尼尔赫伯代数元素在投影 $p$ 下的像来计算交形式条目 $\langle LL_{\underline{e}^1}, LL_{\underline{e}^2} \rangle$，该像仅在对应子表达式为约化且缺陷为零时非零。
• 在例6.1中，计算结果为 $f(\underline{e}, \underline{e}) = 2D_x$，表明在特征2下，$b_w$ 在赫克代数中的特征偏离了卡赞南-卢兹蒂格的预测。
• 在例6.2.1中，公式对 $x = s_2s_3s_2s_5s_6s_5$ 恢复了 $f(\underline{e}, \underline{e}) = 2D_x$，确认了已知的重数为2的示例。
• 在 $D_4$ 上的例6.2.2中，交形式矩阵被计算为 $\begin{pmatrix} 0 & -1 & -1 \ -1 & 0 & -1 \ -1 & -1 & 0 \end{pmatrix}$，显示出三个缺陷为零的子表达式之间的非平凡关系。
• 在例6.3中，公式对 $x = s_1s_2s_1s_3s_2s_1s_5s_6s_5s_4s_3s_7s_6s_5s_4s_3s_8s_7s_9s_8s_7s_b$ 得到 $f(\underline{e}, \underline{e}) = 2D_x$，这很可能是类型 $A$ 中 $\underline{w}_\bullet$ 与 $x$ 位于同一双侧细胞的首个示例。
• 作者证明了其公式能够重新推导出文献中的复杂示例，表明其是模表示论中系统化计算的有力工具。