[论文解读] Infinite dimensional Riemannian symmetric spaces with fixed-sign curvature operator

Bruno Duchesne|arXiv (Cornell University)|Apr 26, 2012

Advanced Operator Algebra Research参考文献 39被引用 13

一句话总结

本文提出了一种针对具有定号曲率算子的无限维黎曼对称空间的新L*-代数构造，建立了完整的局部同构分类。通过将每个此类空间与一个正交分解 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ 关联，作者证明了局部同构等价于保持该分解的L*-代数同构，从而在非正或非负曲率条件下实现了对这些空间的完整分类。

ABSTRACT

We associate to any Riemannian symmetric space (of finite or infinite dimension) a L$^*$-algebra, under the assumption that the curvature operator has a fixed sign. L$^*$-algebras are Lie algebras with a pleasant Hilbert space structure. The L$^*$-algebra that we construct is a complete local isomorphism invariant and allows us to classify Riemannian symmetric spaces with fixed-sign curvature operator. The case of nonpositive curvature is emphasized.

研究动机与目标

• 对具有定号曲率算子的无限维黎曼对称空间进行分类。
• 通过引入一种新的代数不变量，克服无限维李代数缺乏一般分类的局限。
• 利用源自黎曼张量的新L*-代数构造，建立完整的局部同构分类。
• 证明曲率算子的定号性允许通过L*-代数实现完全的代数分类。

提出的方法

• 通过黎曼张量定义曲率算子 $C: \wedge^2 \mathfrak{p} \to \mathcal{L}(\mathfrak{p})$：$\langle C(X \wedge Y), Z \wedge T \rangle = R(Y,X,Z,T)$。
• 从切空间 $\mathfrak{p}$ 和固定子代数 $\mathfrak{k}$ 构造L*-代数 $\mathfrak{L} = \mathfrak{k} \oplus \mathfrak{p}$，并赋予其希尔伯特空间结构。
• 证明由 $\mathfrak{p}$ 生成的李代数在 $\mathfrak{L}$ 中稠密，且同构于基灵向量场的一个子代数。
• 在曲率算子有界时，对 $\wedge^2 \mathfrak{p}$ 上的曲率算子应用谱定理，将切空间分解为可交换的李三元系。
• 将不可约对称空间实现为齐次空间 $G/K$，其中 $G$ 是希尔伯特-李群（如 $U^2(\infty)$、$SO^2(\infty)$、$Sp^2(\infty)$），$K$ 是等距对合的固定点集的单位连通分支。
• 证明两个单连通对称空间局部同构当且仅当其关联的L*-代数同构且保持 $\mathfrak{k} \oplus \mathfrak{p}$ 分解。

实验结果

研究问题

• RQ1 具有定号曲率算子的无限维黎曼对称空间能否在局部同构意义下被完全分类？
• RQ2 是否存在一种与这类对称空间关联的规范L*-代数不变量，能够编码其局部几何？
• RQ3 曲率算子的有界性是否意味着切空间可分解为具有定号曲率的可交换李三元系？
• RQ4 所有具有定号曲率的不可约对称空间是否都能实现为希尔伯特-李群 $G$ 的齐次空间 $G/K$？
• RQ5 定号曲率条件是否意味着曲率算子在 $\wedge^2 \mathfrak{p}$ 上有界？

主要发现

• 曲率算子 $C$ 在 $\wedge^2 \mathfrak{p}$ 上有界当且仅当黎曼张量在 $\wedge^2 \mathfrak{p}$ 上定义了一个有界的对称双线性型，这在一般情况下不成立，甚至对有限秩对称空间也不成立。
• 对于常曲率 $\kappa$ 的对称空间，曲率算子对所有 $U \in \wedge^2 \mathfrak{p}$ 满足 $C(U) = \kappa U$，表明其有界。
• 由具有定号曲率算子的对称空间构造出的L*-代数 $\mathfrak{L}$ 是一个完整的局部同构不变量。
• 两个具有定号曲率算子的单连通黎曼对称空间局部同构当且仅当其关联的L*-代数同构且保持 $\mathfrak{k} \oplus \mathfrak{p}$ 分解。
• 具有定号曲率的不可约对称空间的分类可归约为对不可约对称正交L*-代数的分类，这些代数要么是紧致型，要么是来自 $U^2(\infty)$、$SO^2(\infty)$ 或 $Sp^2(\infty)$ 的非紧致型。
• 具有定号曲率算子的黎曼对称空间的万有覆叠在局部同构意义下同构于一个希尔伯特空间与关联于单L*-代数的单连通对称空间的乘积。