[论文解读] Generic stabilizers in actions of simple algebraic groups II: higher Grassmannian varieties

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

Algebraic structures and combinatorial models被引用 4

一句话总结

本文研究了单代数群在高阶格拉斯曼流形上作用时的通用稳定子——即在不可约模的固定维数大于一的子空间空间上的作用。通过显式计算，本文表明除一个例外情况外，每个格拉斯曼流形的稠密开子集上，稳定子均共轭于一个固定子群，并提供了非平凡通用稳定子的表格，同时确定了稠密轨道的存在性。

ABSTRACT

This is the second of two papers treating faithful actions of simple algebraic groups on irreducible modules and on the associated Grassmannian varieties; in the first paper we considered the module itself and its projective space, while here 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, with essentially one exception, 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.

研究动机与目标

• 对单代数群在参数化不可约模中固定维数 >1 子空间的格拉斯曼流形上的作用，分类通用稳定子。
• 将第一篇论文中关于模与射影空间的结果，扩展至高维格拉斯曼流形。
• 对每种情况，确定群作用下是否存在稠密轨道。
• 提供显式表格，列出相关情况下非平凡通用稳定子的类型。

提出的方法

• 利用不可约表示的结构以及单代数群在子空间上的作用，显式计算稳定子。
• 通过轨道-稳定子理论与几何不变量理论，分析群在格拉斯曼流形上的作用。
• 识别每个格拉斯曼流形中稳定子共轭于固定子群的稠密开子集。
• 运用表示论技术，对所有情况下的可能通用稳定子进行分类。
• 将稳定子结构与第一篇论文中关于射影空间的已知结果进行比较。
• 通过检查轨道结构，系统地确定群作用是否具有稠密轨道。

实验结果

研究问题

• RQ1 对于哪些不可约模与固定维数 d > 1，单代数群在 d 维子空间的格拉斯曼流形上的作用，存在一个稠密开子集，使得其中任意点的稳定子均共轭于一个固定子群？
• RQ2 在这些作用中，非例外情况下的通用稳定子的显式同构类型是什么？
• RQ3 群作用在每个格拉斯曼流形上是否具有稠密轨道？若存在，其条件是什么？
• RQ4 高阶格拉斯曼流形中的通用稳定子与第一篇论文中研究的射影空间情况下的稳定子有何异同？
• RQ5 哪些情况会产生非平凡通用稳定子？如何系统地列出这些情况？

主要发现

• 在除一个例外情况外的所有情况下，格拉斯曼流形中均存在一个稠密开子集，使得其中任意点的稳定子均共轭于一个固定子群，即通用稳定子。
• 本文提供了显式表格，列出每种情况下非平凡通用稳定子的同构类型。
• 对每种群作用，本文确定了是否存在稠密轨道，且在大多数情况下答案为肯定。
• 例外情况——即在稠密开集上通用稳定子不共轭于固定子群——被明确识别并加以刻画。
• 结果将项目空间的分类扩展至高阶格拉斯曼流形，揭示了稳定子结构的一致性模式。
• 显式计算方法在复杂的表示论设定下，成功解析了稳定子结构。