紧群作用的全局不动点：连通李群紧子群共轭证明的不动点条件

先把问题背景再明确下：

设$G$为连通李群，$K\subseteq G$是极大紧子群。任取紧子群$H\subseteq G$，我们要证明存在$g\in G$使得$g^{-1}Hg\subseteq K$。给定的证明思路是：让$H$通过左乘作用于陪集空间$G/K$，如果能找到这个作用的全局不动点$gK$（也就是对所有$h\in H$都有$hgK=gK$，这等价于$g^{-1}hg\in K$），那问题就解决了。现在要拆解：这个作用到底有哪些关键性质，能保证全局不动点一定存在？

关键性质拆解 #

下面这些性质是确保不动点存在的核心：

• $H$本身是紧拓扑群
  紧群的连续作用自带很多「好性质」：比如每个轨道$H\cdot x$都是$G/K$中的紧子集，而且我们可以利用紧性来构造或找到满足极小化条件的点——这是后续不动点存在性的基础。

• $G/K$是完备非正曲率的黎曼流形
  借助李群的Cartan分解，$G$可以分解为$K\exp(\mathfrak{p})$（$\mathfrak{p}$是李代数中与$K$的李代数$\mathfrak{k}$正交的子空间），而$G/K$上能赋予一个$G$-不变的黎曼度量，让它成为完备的非正曲率对称空间。对于紧群作用在这类流形上，我们可以用距离函数的极小化来找到不动点：随便取$x\in G/K$，定义函数$f(y)=\sup_{h\in H} d(y, h\cdot y)$（$d$是流形上的距离），因为$H$紧，这个函数能取到最小值，而非正曲率的性质会强制这个最小值点就是$H$的全局不动点——这本质上是Bruhat-Tits不动点定理在对称空间上的应用。

• $G/K$是可缩拓扑空间
  从拓扑角度看，$G/K$和欧几里得空间$\mathbb{R}^n$同伦等价（因为$G$作为拓扑空间和$K\times \mathfrak{p}$同胚，而$\mathfrak{p}$是向量空间，本身可缩）。虽然紧群作用在一般可缩空间上不一定有不动点，但结合$G/K$的几何结构（非正曲率、完备）以及$H$作用的连续性，就可以保证不动点存在。另外，从李代数层面看，$H$的伴随表示作用在$\mathfrak{p}$上（向量空间），紧群在向量空间上的表示一定有不动点（因为可以正交化，存在不变子空间，进而找到不动向量），这个不动向量对应到$G/K$上就是我们要找的不动点$gK$。

• 作用的连续性与$G$-传递性
  $H$对$G/K$的左乘作用是连续的，而$G$对$G/K$的作用是传递的——这意味着我们可以把$G/K$上的任意点转移到我们想要的位置，结合$H$的紧性，就能把局部的不变性质推广到全局，最终找到那个共轭的$g$。

内容的提问来源于stack exchange，提问作者Drew Armstrong