[论文解读] Generic stabilizers in actions of simple algebraic groups I: modules and the first Grassmanian varieties

Robert M. Guralnick, R. Lawther|arXiv (Cornell University)|Apr 30, 2019

Advanced Algebra and Geometry被引用 9

一句话总结

本文研究了单代数群在不可约模上的忠实作用及其相关的射影空间，证明了在点的稠密开子集上，稳定子群共轭于一个固定的通用稳定子。关键贡献在于对这些通用稳定子的显式分类，以及确定模作用中是否存在稠密或正则轨道。

ABSTRACT

This is the first of two papers treating faithful actions of simple algebraic groups on irreducible modules and on the associated Grassmannian varieties; here we consider the module itself and its projective space, while in the second paper we handle the varieties comprising the subspaces of the module of fixed dimension greater than one. By explicit calculation, we show that in each case there is a dense open subset any point of which has stabilizer conjugate to a fixed subgroup, called the generic stabilizer. We provide tables listing generic stabilizers in the cases where they are non-trivial; in addition we decide whether or not there is a dense orbit, or a regular orbit for the action on the module.

研究动机与目标

• 分析单代数群在不可约模上的作用中稳定子的结构。
• 在这些作用中，识别出通用稳定子——即稳定稠密开子集上点的共轭子群。
• 确定群在模上的作用是否具有稠密轨道或正则轨道。
• 为各种情况提供非平凡通用稳定子的显式表格。

提出的方法

• 通过显式群论计算，确定模及其射影空间中各点的稳定子。
• 运用代数几何技术，识别具有共轭稳定子的稠密开子集。
• 基于模的结构和群的根系对作用进行分类。
• 应用代数群表示理论的结果，分析轨道结构。
• 构建表格，列出在通用稳定子非平凡时的各种情况。
• 通过分析作用的几何与代数性质，确定轨道类型（稠密或正则）。

实验结果

研究问题

• RQ1 对于单代数群的哪些不可约模，其在射影空间中的作用具有稠密轨道？
• RQ2 单代数群在不可约模上的作用中，通用稳定子的结构是什么？
• RQ3 在何种条件下，模上的作用具有正则轨道？
• RQ4 如何在不同表示中显式计算并分类通用稳定子？
• RQ5 是否存在系统性方法来判断通用点的稳定子是否平凡或非平凡？

主要发现

• 模及其射影空间中，存在一个稠密开子集，其点的稳定子共轭于一个固定的子群，该子群称为通用稳定子。
• 对单代数群的各种表示，非平凡通用稳定子已显式分类并列成表格。
• 已确定每种情况下的模作用中是否存在稠密轨道。
• 已判定正则轨道的存在性，此类轨道仅存在于特定类型的表示中。
• 在许多情况下，通用点的稳定子被证明是半单的，且在完整群稳定子中具有有限指数。
• 本研究结果为后续论文中更高维格拉斯曼流形上稳定子的研究建立了基础框架。