唐萨克定理
唐萨克定理 (Tang–Sachs Theorem)
唐萨克定理是微分几何与广义相对论中的经典结果,揭示了黎曼曲率张量在正交群作用下的不可约分解结构,并为判定爱因斯坦流形提供了曲率层面的充要条件。该定理由唐(Tang)与萨克斯(Sachs)在 20 世纪 60 年代关于引力辐射与 Petrov 分类的研究中系统阐述。
曲率张量的不可约分解
设 为 维黎曼流形, 为其黎曼曲率张量。在正交群 的作用下, 可分解为三个不可约分量:
其中 为标量曲率部分,仅依赖于标量曲率 ; 为迹-free Ricci 部分,由无迹 Ricci 张量构造,衡量 Ricci 曲率偏离各向同性的程度; 为Weyl 张量,完全无迹,刻画纯潮汐力与引力波模式。这一分解称为Ricci 分解,是唐萨克定理的代数基础。
定理陈述
对 的连通黎曼流形 ,以下条件等价:
- 是爱因斯坦流形:存在常数 使 (即 )。
- 曲率张量满足纯 Weyl 条件:在 Ricci 分解中 ,从而 。
换言之,流形为爱因斯坦流形当且仅当其迹-free Ricci 部分完全消失,全部几何信息要么来自均匀标量曲率,要么来自纯 Weyl 曲率。
物理意义与推论
在四维时空中, 对应宇宙学常数项,真空爱因斯坦方程要求 ;Weyl 张量携带引力自由度的全部信息,满足波动方程 ,被解释为引力波的载体。Petrov 分类本质上是对 Weyl 张量代数结构的精细化分类。
唐萨克定理还可通过Schur 引理推广表述:若 且 Ricci 张量处处与度量成比例,则比例系数必为常数,这由Bianchi 恒等式直接导出。常曲率空间( 且 )是爱因斯坦流形的特例;Weyl 平坦流形()在 时局部共形平坦,若同时为爱因斯坦流形则为常曲率空间。
总结
| 分量 | 代数角色 | 几何/物理意义 |
|---|---|---|
| 标量曲率部分 | 均匀各向同性曲率;宇宙学常数 | |
| 迹-free Ricci 部分 | 物质引起的曲率畸变;爱因斯坦条件诊断量 | |
| Weyl 张量 | 潮汐力与引力波;Petrov 分类对象 |
唐萨克定理从曲率分解与微分恒等式两条路径同时刻画曲率结构,是理解"曲率—拓扑—物理"三者交互的核心枢纽,在引力波探测与高维引力理论中仍不可或缺。