[论文解读] Matsuki's double coset decomposition via gradient maps

Christian Miebach|ArXiv.org|Dec 20, 2007

Advanced Algebra and Geometry参考文献 23被引用 4

一句话总结

本文通过梯度映射与切片表示，对实半单李群的Matsuki双陪集分解给出了几何证明。通过在$G$上构造一个$(G_1 \times G_2)$-等变梯度映射，作者表明闭双陪集对应于极大维数轨道处的几何切片，非闭轨道则通过横截切片上的稳定子表示来刻画，从而为代数方法提供了一种微分几何替代方案。

ABSTRACT

Let $G$ be a real-reductive Lie group and let $G_1$ and $G_2$ be two subgroups given by involutions. We show how the technique of gradient maps can be used in order to obtain a new proof of Matsuki's parametrization of the closed double cosets $G_1\backslash G/G_2$ by Cartan subsets. We also describe the elements sitting in non-closed double cosets.

研究动机与目标

• 为实半单李群的Matsuki双陪集分解提供一种几何替代证明，取代其原始的代数证明。
• 利用梯度映射技术和稳定子类型分层，刻画$G$中闭与非闭$(G_1 \times G_2)$-轨道。
• 证明Matsuki的Cartan子集正是极大维数闭轨道处的几何切片。
• 通过与对称半单李群中${\mathfrak{h}}^{-\sigma}$上的伴随表示同构的切片表示，描述非闭轨道的结构。
• 基于梯度映射理论建立良好的商空间$G//(G_1 \times G_2)$与稳定子类型分层，取代代数变换群方法。

提出的方法

• 利用黎曼结构与Cartan对合，构造$G$上的$(G_1 \times G_2)$-等变梯度映射。
• 应用切片定理，通过指数映射将李代数层面的无穷小信息提升至群层面。
• 将切片表示识别为对称空间中重言表示的稳定子表示，特别是$H^\sigma$作用于${\mathfrak{h}}^{-\sigma}$。
• 利用[HSS08]与[Stö08]中的稳定子类型分层分析轨道类型并识别闭轨道。
• 将[LM76]、[ŌM80]、[vD83]与[ŌS84]中关于对称空间表示的结果，转移至群作用设定中。
• 显式计算Weyl chambers的边界点，并通过特定李代数元素的指数映射识别标准Cartan子集。

实验结果

研究问题

• RQ1 如何使用几何方法而非代数分解，重新证明Matsuki对闭双陪集$G_1\backslash G/G_2$的参数化？
• RQ2 梯度映射在刻画$(G_1 \times G_2)$-作用于$G$时的闭轨道及其切片中起到何种作用？
• RQ3 非闭轨道如何产生？其结构在稳定子与切片表示方面如何描述？
• RQ4 Matsuki的Cartan子集与极大维数闭轨道处的几何切片之间存在何种对应关系？
• RQ5 能否直接从梯度映射理论推导出稳定子类型分层与良好商空间$G//(G_1 \times G_2)$？

主要发现

• 在$G$中，闭$(G_1 \times G_2)$-轨道由Matsuki的Cartan子集参数化，且这些子集被证明是极大维数轨道处的几何切片。
• $G_{\text{sr}}$（正则点集）由极大维数的闭轨道组成，是$G$中的稠密开子集。
• 局部上，$G_{\text{sr}}$是Matsuki横截面中某区域上的平凡纤维丛，纤维为该区域中某点所通过的闭轨道。
• 非闭轨道由切片表示中零锥光滑部分刻画，具体通过稳定子群在${\mathfrak{p}}^\mathbb{C} \cap i\operatorname{Ad}(u^{-1}){\mathfrak{g}}$上的轨道实现。
• 在点$u$处的切片表示同构于${\mathfrak{h}}^{-\sigma}$上的伴随$H^\sigma$-表示，将群作用与对称空间理论联系起来。
• 对于$G = \mathrm{SU}(2,2)$，$H = \mathrm{SO}(2,2)$，一般$(G \times H^\mathbb{C})$-轨道为三余维，且稳定子群平凡，证实了存在具有紧致稳定子群的非闭轨道。