[论文解读] A homological interpretation of Jantzen's sum formula

Upendra Kulkarni|ArXiv.org|May 18, 2005

Advanced Algebra and Geometry参考文献 11被引用 4

一句话总结

本文通过在 $G_{\mathbf{Z}}$ 上构建的 $\mathrm{Ext}$ 群的欧拉示性数 $\chi$，对 $GL_n$ 的 Weyl 模的 Jantzen 求和公式给出了同调解释，揭示了其在 Howe 对偶下的清晰不变性。该文推导出 $\chi(V_{\mathbf{Z}}(\mu), V_{\mathbf{Z}}(\lambda))$ 的简洁显式公式，基于分拆组合学，将 $\mathrm{Ext}$ 群与 Kazhdan-Lusztig 组合学联系起来，并提供了一种计算 Jantzen 裂化中 Weyl 模重数的新方法。

ABSTRACT

For a split reductive algebraic group, this paper observes a homological interpretation for Weyl module multiplicities in Jantzen's sum formula. This interpretation involves an Euler characteristic built from Ext groups between integral Weyl modules. The new interpretation makes transparent For GL_n (and conceivable for other classical groups) a certain invariance of Jantzen's sum formula under "Howe duality" in the sense of Adamovich and Rybnikov. For GL_n a simple and explicit general formula is derived for the Euler characteristic between an arbitrary pair of integral Weyl modules. In light of Brenti's work on certain R-polynomials, this formula raises interesting questions about the possibility of relating Ext groups between Weyl modules to Kazhdan-Lusztig combinatorics.

研究动机与目标

• 通过 $G_{\mathbf{Z}}$ 上的 $\mathrm{Ext}$ 群，为 $GL_n$ 的 Weyl 模提供 Jantzen 求和公式的同调解释。
• 通过新的 $\chi$-解释，建立 Jantzen 求和公式在 $GL_n$ 的 Howe 对偶下的清晰不变性。
• 为 $GL_n$ 中任意整权 Weyl 模之间的积分欧拉示性数 $\chi$ 推导出简洁显式的公式。
• 探索 Weyl 模之间 $\mathrm{Ext}$ 群与 Kazhdan-Lusztig 组合学之间的联系，特别是通过 $R$-多项式。
• 证明新的 $\chi$-公式揭示了原始表达式中不可见的 Jantzen 求和公式中的重数。

提出的方法

• 为整权 Weyl 模定义欧拉示性数 $\chi(V_{\mathbf{Z}}(\mu), V_{\mathbf{Z}}(\lambda)) = \sum_i (-1)^i \dim \mathrm{Ext}^i_{G_{\mathbf{Z}}}(V_{\mathbf{Z}}(\lambda), V_{\mathbf{Z}}(\mu))$。
• 利用 Cline-Parshall-Scott-van der Kallen 在 $G_{\mathbf{Z}}$ 上的 $\mathrm{Ext}$ 计算，将 $\chi$ 与 Jantzen 的求和公式联系起来。
• 应用特征无关的 Pieri 型法则以及 [Kulkarni1] 中的斜表示定理，分析 Weyl 裂化。
• 利用 [AB2] 中 Weyl 模之间 $\mathrm{Ext}$ 群的共轭对称性，以及对相差一个单根的权已知的 $\mathrm{Ext}$ 计算。
• 基于分拆移除和裂化因子之间的组合配对，构建一个递归过程以推导公式。
• 通过在次数上的归纳法验证公式，使用斜分拆及其在 $\lambda^\prime$ 和 $\xi$ 中相对位置的图像比较。

实验结果

研究问题

• RQ1 如何通过 $G_{\mathbf{Z}}$ 上的 $\mathrm{Ext}$ 群，对 Weyl 模裂化中的 Jantzen 求和公式进行同调重释？
• RQ2 新的 $\chi$-解释是否揭示了 $GL_n$ 的 Jantzen 求和公式在 Howe 对偶下的不变性？
• RQ3 能否为 $GL_n$ 中任意整权 Weyl 模之间的积分欧拉示性数 $\chi$ 推导出简洁显式的公式？
• RQ4 在类型 A 中，Weyl 模之间 $\mathrm{Ext}$ 群与 Kazhdan-Lusztig 组合学之间存在何种关系？
• RQ5 为何某些 $R$-多项式与连通的斜钩与 Weyl 模之间 $\mathrm{Ext}$ 群的结构相关？

主要发现

• 本文确立了欧拉示性数 $\chi(V_{\mathbf{Z}}(\mu), V_{\mathbf{Z}}(\mu))$ 等于 Jantzen 裂化中 $V_p(\lambda)$ 的真子模的正式特征标的和，从而为 Jantzen 求和公式提供了同调解释。
• 对于 $GL_n$，推导出 $\chi(V_{\mathbf{Z}}(\mu), V_{\mathbf{Z}}(\lambda))$ 的简洁显式公式，其基于分拆组合学，具体为在满足特定连通性约束下从分拆中移除方块的方式数。
• 该公式揭示了 Jantzen 求和公式中 $ch(V_p(\mu))$ 的重数，这些重数在原始表达式中并不明显，尤其是在小素数或非 $p$-正则权的情况下。
• 新的 $\chi$-解释使 Jantzen 求和公式在 $GL_n$ 的 Howe 对偶下的不变性变得清晰，提示这种不变性可能推广至其他经典群。
• 结果表明 Weyl 模之间 $\mathrm{Ext}$ 群与 Kazhdan-Lusztig 组合学之间存在深刻联系，特别是通过 $R$-多项式与连通斜钩。
• 某些组合配对中映射的失效不会影响结果，因为此类情况下会产生平凡的 $\chi$-值，从而验证了递归公式的正确性。