关于黎曼对称空间、对称对及正交对称李代数的若干技术疑问

Hey there! Let's work through your questions step by step—Helgason's book is a classic but definitely has some tricky nuances when you're starting out with symmetric spaces. I'll break down each of your concerns with concrete reasoning and examples:

1. 黎曼对称对中要求G连通的原因 #

• 核心动机：聚焦连续对称的微分结构
  黎曼对称空间的本质是每一点都存在一个测地反射（对称变换），而取G为等距群的单位分支（连通分支），能确保我们只关注那些可以通过光滑路径从恒等变换到达的等距——这些才是和空间的微分几何性质直接挂钩的连续对称。如果允许G不连通，我们会引入离散的等距变换（比如球面的对径映射），这些不属于空间的“infinitesimal 对称”（即Killing向量场）范畴，而对称对(G,K)的核心目的是用李群/李代数的结构来刻画空间的微分对称特性。
  另外，连通性也简化了后续的结构理论：Cartan分解、根系构造、对称空间的分类等，都是基于连通李群的李代数展开的。不连通的G会需要额外处理离散商，反而会模糊我们真正关心的微分几何本质。

2. 同一黎曼对称空间是否对应多个对称对？ #

• 答案是肯定的，存在多种实现方式
  举几个直观的例子：
  • 球面$S^n$：它的等距群是$O(n+1)$，单位分支是$SO(n+1)$。对应的对称对可以是$(SO(n+1), SO(n))$（最常用的选择），也可以是$(O(n+1), O(n))$（包含了离散的对径变换），两者对应的空间都是$S^n$。
  • 二维双曲空间：它既可以表示为对称对$(SL(2,\mathbb{R}), SO(2))$，也可以表示为$(SU(1,1), U(1))$。这两个李群局部同构（李代数相同）但整体不同（基本群分别是$\mathbb{Z}$和平凡群），但它们对应的陪集空间都是双曲平面。
    本质上，只要G是等距群的一个连通子群、能传递作用在空间上，且K是某点的迷向子群，就能构成对称对。通常我们默认取等距群的单位分支，因为它包含了所有光滑对称变换，是最“自然”的选择。

3. 正交对称李代数的“有效性”定义及关联 #

3.1 两种有效性定义的理解与等价性 #

首先明确两个定义：

1. 定义1：$\mathfrak{z} \cap \mathfrak{k} = 0$，其中$\mathfrak{z}$是$\mathfrak{g}$的中心
2. 定义2：$\mathfrak{k}$不含$\mathfrak{g}$的非零理想

它们都和G在$G/K$上的作用有效性相关：

• 几乎有效作用：指作用的核（即所有在$G/K$上作用平凡的元素）是G的有限正规子群。
• 若满足定义2（$\mathfrak{k}$不含$\mathfrak{g}$的非零理想），则G在$G/K$上的作用是几乎有效的：如果存在非零理想$\mathfrak{a} \subset \mathfrak{k}$，对应的连通子群$A \subset K$会在$G/K$上作用平凡（因为Ad(a)在$\mathfrak{m}$上的作用是平凡的，而$T_pM \cong \mathfrak{m}$），这会导致作用核包含非平凡连通子群，破坏几乎有效性。
• 定义1是定义2的一个推论：如果$\mathfrak{z} \cap \mathfrak{k} \neq 0$，那么这个交集就是$\mathfrak{g}$的非零理想且包含在$\mathfrak{k}$里，直接违反定义2。反过来，当$\mathfrak{g}$是半单李代数时（中心$\mathfrak{z}=0$），两个定义完全等价。

3.2 为什么只考虑有效的正交对称李代数？ #

无效的情况意味着存在冗余的群元素：如果$\mathfrak{k}$包含$\mathfrak{g}$的非零理想$\mathfrak{a}$，那么对应的子群$A \subset K$在$G/K$上作用完全平凡，此时$G/K$可以等价地表示为$(G/A)/(K/A)$，而$(G/A, K/A)$是一个有效的对称对。
只考虑有效的情况，是为了去掉这些对空间没有实际作用的冗余结构，让李代数的结构直接、无冗余地对应空间的微分几何性质，避免引入不必要的复杂性。

4. 伴随表示与迷向表示的等价性 #

• 具体推导：从陪集空间的微分作用到李代数伴随作用
  对于黎曼对称空间$M=G/K$，取$p=eK$（单位元陪集），通过Cartan分解$\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{m}$，我们可以把$T_pM$和$\mathfrak{m}$等同（因为$\mathfrak{g}/\mathfrak{k} \cong \mathfrak{m}$，而$T_pM$就是$\mathfrak{g}/\mathfrak{k}$）。
  现在看两个表示：
  1. 迷向表示：对于$k \in K$，迷向表示是$k \mapsto (dL_k)_p$，其中$L_k$是左乘$k$在$G/K$上的作用：$L_k(gK)=kgK$。取$X \in \mathfrak{m} \cong T_pM$，它对应G上的左不变向量场$\tilde{X}$，那么$(dL_k)_p(X)$就是$\tilde{X}$在$L_k$下的推前，也就是左不变向量场$Ad(k)X$在$p$点的值（左乘$k$的微分作用对应李代数上的Ad(k)）。
  2. 伴随表示：$k \mapsto Ad(k)|_{\mathfrak{m}}$，即把$X \in \mathfrak{m}$映射到$Ad(k)X$（Cartan分解保证$Ad(k)\mathfrak{m} \subset \mathfrak{m}$）。
     显然，当我们把$T_pM$和$\mathfrak{m}$等同后，迷向表示的作用就是伴随表示在$\mathfrak{m}$上的限制，两者完全一致。

备注：内容来源于stack exchange，提问作者bowenl