[论文解读] On the smoothness of normalisers and the subalgebra structure of modular Lie algebras

Sebastian Herpel, David I. Stewart|arXiv (Cornell University)|Feb 25, 2014

Advanced Algebra and Geometry参考文献 24被引用 3

一句话总结

本文通过上同调消去和表示论技术，建立了在正特征域上，模李代数中子代数正规化子光滑性的条件。证明了对于秩为 $ r $ 的连通半单代数群 $ G $，当 $ p > 2^{2d} $ 时，$ \mathfrak{g} = \operatorname{Lie}(G) $ 的所有子空间的正规化子都是光滑的，其中 $ d $ 是 $ G $ 的最小忠实表示的维数；通过反例表明该界是紧的。

ABSTRACT

We provide results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of $\mathfrak{g}$ in $G$ are smooth, i.e.\ so that the Lie algebras of these normalisers coincide with the infinitesimal normalisers. One of our main tools is to exploit cohomology vanishing of small dimensional modules. Along the way, we obtain complete reducibility results for small dimensional modules in the spirit of similar results due to Jantzen, Guralnick, Serre and Bendel--Nakano--Pillen.

研究动机与目标

• 确定在正特征 $ p $ 下，模李代数中子代数正规化子光滑性的条件。
• 解决在正特征下 Cartier 定理失效的问题，其中像 $ \mu_p $ 和 $ \mathrm{SL}_p $ 这类群概形虽为半单但非光滑。
• 建立确保正规化子光滑性的 $ p $ 的紧致界限，特别是针对 $ \mathfrak{g} $ 的子空间和连通半单子群。
• 将正规化子的光滑性与上同调消去及小维数模的完全可约性联系起来。
• 通过显式反例（涉及斐波那契数与倾斜模）表明，$ p > 2^{2d} $ 的界限很可能是最优的。

提出的方法

• 将小维数模的上同调消去作为控制正规化子光滑性的关键工具。
• 应用表示论结果，包括 Steinberg 的张量积定理和倾斜模分解，以分析李代数作用。
• 通过群论约化技术，将半单子群正规化子的光滑性问题约化为中心化子的光滑性。
• 利用幂运算和共轭系提升，将李理论正规化子与概形理论正规化子联系起来。
• 通过幂零子群和幂零轨道构造显式反例，证明当 $ p $ 太小时光滑性会失效。
• 利用抛物子群和模限制分析 $ \mathrm{GL}_n $ 和 $ \mathrm{SL}_n $ 中正规化子的结构，以检测非光滑性。

实验结果

研究问题

• RQ1 在何种 $ p $ 的条件下，连通半单群 $ G $ 的 $ \mathfrak{g} = \operatorname{Lie}(G) $ 的所有子空间的正规化子是光滑的？
• RQ2 是否能对 $ \mathfrak{g} $ 的所有子代数统一保证正规化子的光滑性？需要怎样的 $ p $ 界限？
• RQ3 为何在正特征下正规化子会不光滑？何种结构性障碍阻止了从李理论正规化子到概形理论正规化子的环路提升？
• RQ4 小维数模的上同调消去在多大程度上蕴含完全可约性及正规化子的光滑性？
• RQ5 界限 $ p > 2^{2d} $ 到底有多紧致？能否改进，或它是否已是最优？

主要发现

• 对任意秩为 $ r $ 的连通半单群 $ G $，当 $ p > 2^{2d} $ 时，$ \mathfrak{g} $ 的所有子空间的正规化子都是光滑的，其中 $ d $ 是 $ G $ 的最小忠实表示的维数。
• 当 $ G = \mathrm{GL}_n $ 时，界限简化为 $ p > 2^{2n} $，该条件可保证所有此类正规化子的光滑性。
• 当 $ p $ 整除第 $ n $ 个斐波那契数 $ F_n $ 时存在反例，且 $ F_n \sim 1.6^n $ 指数增长，表明 $ p > 2^{2d} $ 的界限很可能是最优的。
• 对 $ G = \mathrm{GL}_n $，当 $ p < 2n - 1 $ 时，正规化子的光滑性会失效，这通过使用 $ \mathrm{SL}_2 $-模和具有非光滑稳定子的倾斜模的构造得以证明。
• 当李理论正规化子包含 $ \mathfrak{h} = \mathfrak{sl}_2 $，但概形理论正规化子不包含对应的群 $ H = \mathrm{SL}_2 $ 时，子空间 $ M $ 的正规化子不光滑，原因在于 $ \mathrm{Ext}^1 $ 中存在非平凡扩张。
• 例子表明，即使正规化子由幂零元生成，当 $ p \leq 2n - 1 $ 时光滑性仍会失效，证明定理 B(ii) 中的界限无法改进。