[论文解读] Algebraic supergroups with Lie superalgebras of classical type

R. Fioresi, Giovanna Fabio|arXiv (Cornell University)|Jun 21, 2011

Algebraic structures and combinatorial models参考文献 12被引用 9

一句话总结

该论文证明了，对于任意域 $k$ 上的连通仿射代数超群，若其具有对角化最大环面，且其切触李超代数是复数单李超代数经典型的 $k$-形式，则该超群同构于通过先前工作中开发的显式 Chevalley 型方法构造的 Chevalley 超群。关键结果表明，此类超群在同构意义下唯一。

ABSTRACT

We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley supergroup, as it is defined and constructed explicitly in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014].

研究动机与目标

• 解决具有经典型李超代数的代数超群的唯一性问题。
• 确定此类超群是否均源于 Chevalley 超群构造。
• 确立代数超群同构于 Chevalley 超群的条件。
• 验证 Chevalley 构造是否为该类超群提供了完整且唯一的分类。
• 建立此处研究的代数超群范畴与 Super Harish-Chandra 对范畴之间的联系。

提出的方法

• 利用超群 $G$ 的经典子群 $G_0$ 是 $k$-分裂的约化群这一事实，使其在 $\mathrm{GL}(\widetilde{V})$ 中实现。
• 将 $G_0$-模 $\widetilde{V}^*$ 诱导为 $\mathrm{GL}_{m|n}$-模 $U$，并将其对偶 $U^*$ 构造为 $\mathfrak{gl}_{m|n}$-模。
• 通过泛包络代数，将 $\mathfrak{gl}_{m|n}$-模 $W = \mathrm{Ind}_{(\mathfrak{gl}_{m|n})_0}^{\mathfrak{gl}_{m|n}}(U^*)$ 诱导出来。
• 将 $W$ 限制为 $G$-模，并识别出一个有限维 $G$-子模 $V = \mathcal{U}(\mathfrak{g}) \otimes_{\mathcal{U}(\mathfrak{g}_0)} \widetilde{V}$。
• 构造与 $\mathfrak{g}$-表示 $V$ 相关的 Chevalley 超群 $G_V$，并将 $G$ 和 $G_V$ 嵌入 $\mathrm{GL}(V)$。
• 利用 $G$ 和 $G_V$ 均为整体分裂且具有同构的经典子群 $G_0 = (G_V)_0$ 的事实，通过李超代数的局部一致关系得出 $G = G_V$。

实验结果

研究问题

• RQ1 每个连通仿射代数超群 $G$，定义在域 $k$ 上，具有对角化最大环面，且其切触李超代数是复数单李超代数经典型的 $k$-形式，是否同构于一个 Chevalley 超群？
• RQ2 何种条件可确保具有经典型李超代数的代数超群源于 Chevalley 构造？
• RQ3 经典子群 $G_0$ 的性质与李超代数结构如何约束超群的整体结构？
• RQ4 对于经典型李超代数，Chevalley 超群构造在多大程度上是唯一的？
• RQ5 Super Harish-Chandra 对与此类代数超群之间存在何种范畴关系？

主要发现

• 每个连通仿射代数超群 $G$，定义在域 $k$ 上，具有对角化最大环面，且其切触李超代数是复数单李超代数经典型的 $k$-形式，均同构于一个 Chevalley 超群。
• Chevalley 超群构造在 $\mathrm{GL}(V)$ 中产生一个闭子群，证实了此类超群是代数的且仿射的。
• 通过构造 $G$-模 $V = \mathcal{U}(\mathfrak{g}) \otimes_{\mathcal{U}(\mathfrak{g}_0)} \widetilde{V}$，可将 $G$ 与相应的 Chevalley 超群 $G_V$ 嵌入同一个 $\mathrm{GL}(V)$。
• 由于 $G$ 和 $G_V$ 均为整体分裂，且具有同构的经典子群 $G_0 = (G_V)_0$，同时它们共享相同的李超代数，因此可推出 $G = G_V$。
• 唯一性结果在必要且充分条件下成立：$G_0$ 必须是 $k$-分裂的约化群，且李超代数必须是复数单李超代数经典型的 $k$-形式。
• 该结果在范畴上建立了某些 Super Harish-Chandra 对与此处研究的代数超群之间的等价关系，将经典的 Chevalley 理论推广到了超几何情形。