[论文解读] The algebra of the parallel endomorphisms of a pseudo-Riemannian metric: semi-simple part

Charles Boubel|arXiv (Cornell University)|Dec 3, 2013

Advanced Topics in Algebra参考文献 17被引用 3

一句话总结

本文对不可约伪黎曼流形的平行自同态代数的半单部分进行了分类，利用带有对合的实半单代数，识别出八种可能类型——包括一般情况、凯勒结构和超凯勒结构。它对每种类型实现的度量芽进行了参数化，并推导了平行自同态对里奇曲率施加的约束，表明在某些情况下，幂零或反对易的斜自伴自同态会强制里奇曲率为零。

ABSTRACT

On a (pseudo-)Riemannian manifold (MM,g), some fields of endomorphisms i.e. sections of End(TMM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A is the sum of its radical and of a semi-simple algebra S. Here we study S: it may be of eight different types, including the generic type S=R.Id, and the K\"ahler and hyperk\"ahler types 'S isomorphic to C' and 'S isomorphic to the quaternions'. This is a result on real, semi-simple algebras with involution. For each type, the corresponding set of germs of metrics is non-empty; we parametrise it. We give the constraints imposed to the Ricci curvature by parallel endomorphism fields

研究动机与目标

• 对不可约伪黎曼度量的平行自同态代数的半单部分进行分类。
• 确定哪些带有对合的实半单代数可作为仿射群的交换子的半单部分出现。
• 对每种可能的半单类型实现的度量芽集合进行参数化。
• 推导平行自同态场的存在对里奇曲率施加的约束。
• 将黎曼情形下的结果推广到更一般的伪黎曼设定，特别是当仿射群不不可约时。

提出的方法

• 利用平行自同态代数的半单部分与幂零部分的分解，聚焦于半单分量 s。
• 应用带有对合的实半单代数的分类理论，识别出 s 的八种不同类型，包括 R·Id、C 和 H。
• 采用卡坦-卡勒理论与 jet 空间技术，对每种代数类型实现的度量芽进行参数化。
• 利用仿射表示及其在 End(T_mM) 中的交换子分析平行自同态的结构。
• 应用比安基恒等式与可交换自同态的迹性质，推导曲率约束。
• 通过迹恒等式与交换关系，分析平行自同态对曲率算子与里奇形式的作用。

实验结果

研究问题

• RQ1 哪些带有对合的实半单代数可作为不可约伪黎曼度量的平行自同态代数的半单部分出现？
• RQ2 对于每种此类代数，对应实现该类型的伪黎曼度量芽的参数化是什么？
• RQ3 平行自同态的存在如何约束度量的里奇曲率？
• RQ4 度量的符号型在决定平行自同态的半单代数可能类型中起什么作用？
• RQ5 在何种情况下，反对易的斜自伴自同态的存在意味着里奇曲率为零？

主要发现

• 平行自同态代数的半单部分 s 可以是八种不同类型，包括一般情况 s = R·Id、凯勒类型 s ≃ C 和超凯勒类型 s ≃ H。
• 在五种非黎曼类型中，度量必然具有中性符号型 (d/2, d/2)，且 s 包含一个拟凯勒结构 N，满足 TM = ker(N−Id) ⊕ ker(N+Id)。
• 对于八种类型中的每一种，实现该类型的度量芽集合非空，且可通过卡坦-卡勒理论或直接构造显式参数化。
• 若平行自同态 U 是幂零且斜自伴的，则其像包含于里奇曲率的核中：Im U ⊂ ker ric。
• 若两个斜自伴平行自同态 U 和 V 反对易且可逆，则里奇曲率为零：ric = 0。
• 定理 1.10 中的情形 (3)、(3’) 和 (3C)——分别对应于仿射群 Sp(p,q)、Sp(2δ,R) 和 Sp(2δ,C)—均为里奇曲率为零，如曲率恒等式中迹为零所示。