[论文解读] Factoring tilting modules for algebraic groups

Stephen Doty|ArXiv.org|Sep 11, 2009

Algebraic structures and combinatorial models参考文献 5被引用 4

一句话总结

本文证明了斯坦伯格模与极小权模的张量积总是不可约的倾斜模，这一结果此前未被注意到。在 $ p \geq 2h - 2 $ 的条件下，由此导出一个强有力的分解结果：若一个倾斜模的最高权在 $ p $-进意义下接近第 $ r $ 个斯坦伯格权，则其可多种方式表示为两个单模的张量积。

ABSTRACT

Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of characteristic p > 0. We observe that the tensor product of the Steinberg module with a minuscule module is always indecomposable tilting. Although quite easy to prove, this fact does not seem to have been observed before. It has the following consequence: If p >= 2h-2 and a given tilting module has highest weight p-adically close to the r-th Steinberg weight, then the tilting module is isomorphic to a tensor product of two simple modules, usually in many ways.

研究动机与目标

• 建立一个此前未被观察到但基本的性质：斯坦伯格模与极小权模的张量积总是不可约的倾斜模。
• 探讨该性质对正特征代数群中倾斜模结构的影响。
• 为最高权在 $ p $-进意义下接近斯坦伯格权的倾斜模提供一个一般分解定理。
• 在唐金猜想成立的假设下，将倾斜模的张量积定理推广至低特征情形，特别是针对低阶弗罗贝尼乌斯核。

提出的方法

• 利用受限区域 $ X_1(T) $ 中极小权及其性质的分类。
• 应用布劳尔公式和特征标比较，证明对极小权 $ \lambda $，有 $ \mathrm{St} \otimes L(\lambda) \simeq T((p-1)\rho + \lambda) $。
• 引入 $ r $-极小权的概念，即极小权的 $ p $-进展开，以将结果推广至更高阶弗罗贝尼乌斯核。
• 利用在唐金猜想成立下成立的倾斜模张量积定理，通过归纳法证明：对 $ r $-极小权 $ \lambda $，有 $ \mathrm{St}_r \otimes L(\lambda) \simeq T((p^r - 1)\rho + \lambda) $。
• 应用斯坦伯格张量积定理，将受限权分解并重新组合，从而生成同一倾斜模的多种分解。
• 依赖于倾斜模在张量积、直和及直和项下的封闭性，确保所得模仍为倾斜模。

实验结果

研究问题

• RQ1 斯坦伯格模与极小权模的张量积是否总是不可约且为倾斜模？
• RQ2 在何种条件下，一个最高权在 $ p $-进意义下接近斯坦伯格权的倾斜模可分解为两个单模的张量积？
• RQ3 此类倾斜模存在多少种不同的分解方式？其重数由什么决定？
• RQ4 唐金猜想对 $ G_r $-模中投影覆盖的描述，在多大程度上能促成倾斜模的分解？
• RQ5 这些分解结果能否推广至半单代数群，特别是当标准斯坦伯格模可能不存在时？

主要发现

• 对任意极小权 $ \lambda $，张量积 $ \mathrm{St} \otimes L(\lambda) $ 同构于 $ T((p-1)\rho + \lambda) $，且总是不可约倾斜模。
• 对 $ r $-极小权 $ \lambda $，若唐金猜想对 $ p < 2h - 2 $ 成立，则 $ \mathrm{St}_r \otimes L(\lambda) \simeq T((p^r - 1)\rho + \lambda) $。
• 当 $ p \geq 2h - 2 $ 时，任何最高权在 $ p $-进意义下接近第 $ r $ 个斯坦伯格权的倾斜模，均可多种方式同构于两个单模的张量积。
• 推论表明，在相同条件下，对 $ r $-极小权 $ \lambda $，有 $ T(p^r\mu + (p^r - 1)\rho) \otimes L(\lambda) \simeq T(p^r\mu + (p^r - 1)\rho + \lambda) $。
• 对特征为 2 的 $ \mathrm{SL}_2 $，每个不可约倾斜模都同构于两个单模的张量积，通过新方法确认了已知结果。
• 本文提供了一种系统方法，通过置换最高权的 $ p $-进分解中的分量，生成同一倾斜模的多种分解。