[论文解读] Representations of compact Lie groups and the osculating spaces of their orbits

Cláudio Gorodski, Gudlaugur Thorbergsson|ArXiv.org|Mar 19, 2002

Advanced Algebra and Geometry参考文献 31被引用 19

一句话总结

本文研究了紧李群的表示，其二阶挠切空间与整个表示空间重合——称为类 $\mathcal{O}^2$。通过分析几何与代数约束，作者对变分完全表示和法表示进行了分类，证明此类表示与对称空间的法表示轨道等价。一个关键结果是法不可约表示的完整分类，包括三个例外的非极表示，其余维数为三。

ABSTRACT

Several classes of irreducible orthogonal representations of compact Lie groups that are of importance in Differential Geometry have the property that the second osculating spaces of all of their nontrivial orbits coincide with the representation space. We say that representations with this property are of class O^2. Our approach in the present paper will be to find restrictions on the class O^2 and then apply them to classify variationally complete and taut representations. The known classifications of cohomogeneity one and two orthogonal representations and more generally of polar representations will also follow easily.

研究动机与目标

• 研究紧李群的正交表示，使得每个非平凡轨道的二阶挠切空间等于整个表示空间（类 $\mathcal{O}^2$）
• 将 $\mathcal{O}^2$ 条件作为工具，对变分完全表示和法表示进行分类
• 通过极、变分完全与法表示之间的等价性，提供极表示分类的全新证明
• 识别并分类所有法不可约表示，包括余维数为三的非极例子
• 建立 Bott 与 Samelson 关于变分完全作用定理的逆定理，表明此类作用与对称空间法表示轨道等价

提出的方法

• 引入并分析轨道二阶挠切空间的几何概念，以定义类 $\mathcal{O}^2$ 表示
• 应用表示论技术，基于类型（实、复、四元数）与群结构，限制 $\mathcal{O}^2$ 表示的可能候选
• 利用约化原理，以单群和积群的形式分析表示，特别关注具有两个、三个或四个单因子的情形
• 借助 Bott 与 Samelson 关于 $K$-循环以及 Floyd 定理的结果，无需显式构造 $K$-循环即可证明非极表示的法性
• 利用 Dynkin 图与根系数据（例如强正交根）系统分析并分类表示
• 与已知的余维数一和二表示及极作用分类交叉比对，以验证一致性和完备性

实验结果

研究问题

• RQ1 哪些紧李群的不可约正交表示满足：每个非平凡轨道的二阶挠切空间等于整个表示空间？
• RQ2 在紧李群作用的背景下，变分完全、法与极表示之间的精确关系是什么？
• RQ3 Bott 与 Samelson 关于变分完全作用定理的逆命题是否可证，即此类作用是否与对称空间法表示轨道等价？
• RQ4 法不可约表示的完整列表是什么？它们与余维数及法丛几何有何关系？
• RQ5 文中识别出的三个例外非极法表示是否可推广 Bott 与 Samelson 的 $K$-循环？若可，其法性如何独立确立？

主要发现

• 紧连通李群的变分完全表示与对称空间的法表示轨道等价，从而证明了 Bott 与 Samelson 定理的逆命题。
• 极表示、变分完全表示与紧单群不可约表示的法表示三类完全一致。
• 所有法不可约表示要么与对称空间法表示轨道等价，要么属于以下三个例外情况：$\mathbf{SO}(2)\times\mathbf{Spin}(9)$，$\mathbf{U}(2)\times\mathbf{Sp}(n)$，以及 $\mathbf{SU}(2)\times\mathbf{Sp}(n)$ 的特定张量积作用。
• 这三个非极法表示恰好是余维数为三的不可约表示中非极者，且其轨道的法丛不平坦。
• 这三个例外表示的法性通过 Floyd 定理确立，而非依赖 $K$-循环，从而提供了比原始 $K$-循环方法更简短但几何性较弱的证明。
• Dadok 关于极表示的分类作为推论成立，因为极表示是变分完全的，而对称空间的法表示是极表示。