[论文解读] A simple character formula

Simon Riche, Geordie Williamson|arXiv (Cornell University)|Apr 17, 2019

Advanced Algebra and Geometry参考文献 25被引用 5

一句话总结

本文在特征 $ p \geq 2h-1 $（其中 $ h $ 为 Coxeter 数）的代数闭域上，为单连通半单代数群的主块中简单表示建立了字符公式。证明表明，这些简单模的字符由 $ p $-Kazhdan–Lusztig 多项式给出，从而在该特征条件下，为 Lusztig 的猜想提供了一个概念上更清晰且计算上更高效的替代方案。

ABSTRACT

In this paper we prove a character formula expressing the classes of simple representations in the principal block of a simply-connected semisimple algebraic group G in terms of baby Verma modules, under the assumption that the characteristic of the base field is bigger than 2h-1, where h is the Coxeter number of G. This provides a replacement for Lusztig's conjecture, valid under a reasonable assumption on the characteristic.

研究动机与目标

• 在 $ p \geq 2h-1 $ 条件下，为单连通半单代数群 $ G $ 的主块中的简单 $ G $-模提供一个字符公式，以替代该条件下的 Lusztig 猜想。
• 建立简单 $ G $-模的字符与仿射 Hecke 代数周期模中 $ p $-典范基之间的联系。
• 为计算简单模的字符提供一种计算上可行的方法，尤其适用于以往方法失效的情形（例如类型 $ \mathbf{B}_3, \mathbf{C}_3, \mathbf{A}_4 $）。
• 通过证明 Lusztig 猜想的 $ p $-类比，澄清其字符公式在何种条件下成立。

提出的方法

• 作者利用仿射 Hecke 代数周期模中的 $ p $-典范基，定义了 Lusztig 字符公式的 $ p $-类比。
• 他们基于与 Achar 和 Makisumi 合作建立的 tilting 模字符公式，该公式提供了基础输入。
• 证明依赖于 Brauer–Humphreys 对偶性，以及理解简单 $ G $-模与简单 $ G_1T $-模之间的等价性。
• 关键技术步骤是通过映射 $ \mathrm{Res} \circ \eta \circ \mathrm{Alt} $，在 $ \mathrm{Alt}(\mathcal{P}^\circ) $ 与球对称模 $ \mathcal{M}^{\mathrm{sph}} $ 之间构造一个 $ \mathcal{H} $-线性同构。
• 他们应用 Kazhdan–Lusztig 对合，并利用平移函子 $ \langle t_{-\rho} \rangle $ 的作用，关联墙参数化并建立所需的字符公式。
• 通过一系列涉及 $ \mathrm{res} \circ \mathrm{alt} $、$ \mathrm{Res} \circ \eta $ 和 $ H_{\omega_\rho} $ 作用的同构链，最终证明 $ \underline{N}_{\rho+A} = \varphi_\rho(\underline{M}^\rho_{\rho+A}) $。

实验结果

研究问题

• RQ1 在何种条件下，Lusztig 对半单群主块中简单模的字符公式会失效或成立？
• RQ2 当 $ p $ 不足以使 Lusztig 原始公式适用时，能否通过 $ p $-典范基构造得到简单模的字符公式？
• RQ3 在 $ p \geq 2h-1 $ 的情况下，是否存在一个概念上清晰且计算上高效的简单 $ G $-模字符公式，特别是在 $ \mathbf{A}_4 $ 等小秩情形下？
• RQ4 $ p $-典范基如何与经典 Kazhdan–Lusztig 多项式及仿射 Weyl 群的几何结构相关联？
• RQ5 能否通过 tilting 模的字符公式与 $ \mathcal{H} $-模结构，证明 Lusztig 猜想的 $ p $-类比？

主要发现

• 本文证明：当 $ p \geq 2h-1 $ 时，主块中简单 $ G $-模的字符由 $ p $-Kazhdan–Lusztig 多项式给出。
• 字符公式通过 $ \mathcal{H} $-模同构 $ \mathrm{Alt}(\mathcal{P}^\circ) \cong \mathcal{M}^{\mathrm{sph}} $ 推导得出，其中使用了映射 $ \mathrm{Res} \circ \eta \circ \mathrm{Alt} $。
• 该公式在 $ p $-典范基与简单模字符之间建立了精确联系，为在给定特征假设下 Lusztig 猜想提供了一个概念性替代方案。
• 该方法能够计算以往难以处理的重数，例如在 Jantzen 对 $ \mathbf{A}_4 $ 的研究中缺失的重数，现可在数行内被恢复。
• 作者确认，$ p $-典范基构造不仅理论严谨，且在实际计算中比经典方法更高效。
• 该结果支持 Donkin 猜想，因为公式在更弱条件 $ p > h $ 下成立，提示其可能对所有 $ p > h $ 均成立。