[论文解读] The Jet Isomorphism Theorem of Riemannian Geometry

Tillmann Jentsch|arXiv (Cornell University)|Sep 28, 2015

Geometric and Algebraic Topology参考文献 5被引用 5

一句话总结

本文对伪黎曼几何中的喷射同构定理提供了详尽的阐述，证明了在正常坐标系下，度数为 $k+2$ 的度量的泰勒展开可由曲率张量的对称化 $k$ 阶协变导数普遍确定。主要贡献在于提出一个通用的张量式重构公式，通过显式的多项式表达式 $Q_k$ 将度量喷射与曲率喷射联系起来，证明了度量喷射、曲率喷射及其对称化版本之间的仿射同构关系。

ABSTRACT

A classical theorem of Riemannian geometry, due in its original form to Cartan, states that the Taylor expansion of the metric in geodesic normal coordinates is a universal formal power series involving only the symmetrizations of the iterated covariant derivatives of the curvature tensor; this is known as the jet isomorphism theorem. In particular, it is in principle possible to reconstruct the jet of the curvature tensor from its symmetrization in geodesic normal coordinates, although this would certainly result in an unwieldy computation. In this paper we achieve the same goal by coordinate-free calculations, using only the intrinsic definition of the relevant Young symmetrizers.

研究动机与目标

• 提供伪黎曼几何中喷射同构定理的详细、自包含的阐述，这是局部黎曼几何中一个基础但未被充分重视的结果。
• 建立在正常坐标系下，伪黎曼度量的泰勒展开至度数 $k+2$ 可由曲率张量的对称化 $k$ 阶协变导数普遍重构。
• 通过显式张量公式证明三种仿射向量丛的等价性：正常坐标系下度量的泰勒展开、抽象曲率 $k$ 喷射及其对称化版本。

提出的方法

• 引入曲率张量的对称化 $k$ 阶协变导数 $\mathcal{R}^{(k)}$，其通过 $\nabla^{(k)}_{\xi,\cdots,\xi} R(x,\xi,\xi,y)$ 的极化定义。
• 构造显式的通用多项式表达式 $Q_k$，其变量为非交换生成元 $X_2, X_3, \dots$，使得将 $X_{\ell+2} = \mathcal{R}^{(\ell)}$ 代入后，可得到正常坐标系下度量的 $k$ 阶导数。
• 利用曲率张量的代数性质及第一比安基恒等式，约束可接受喷射的空间，定义了在与 $\xi^{\ell+1}$ 合并时消失的对称张量空间 $\mathcal{N}_\ell$。
• 应用科尚公式，通过条件 $g_\xi(\xi,u) = \langle \xi, u \rangle$ 来刻画正常坐标系下的度量，从而将泰勒系数与 $\mathcal{N}_\ell$ 空间联系起来。
• 通过证明映射 $\mathrm{R}_L$、$\mathcal{R}_L$ 和 $\mathrm{Q}_L$ 的线性部分可逆，证明了至度数 $k+2$ 的度量喷射空间、曲率 $k$ 喷射空间及其对称化版本之间的仿射同构。
• 利用对称群在指标集上的组合论证，验证了通用公式 $Q_k$ 在所有 $k \geq 2$ 下的一致性，包括对 $k=2$ 的显式验证。

实验结果

研究问题

• RQ1 能否从曲率张量的对称化 $k$ 阶协变导数普遍重构伪黎曼度量在正常坐标系下至度数 $k+2$ 的泰勒展开？
• RQ2 表达度量的 $k$ 阶导数关于 $\mathcal{R}^{(0)}, \dots, \mathcal{R}^{(k)}$ 的精确通用张量公式 $Q_k$ 是什么？
• RQ3 正常坐标系下度量的泰勒系数空间、抽象曲率 $k$ 喷射空间及其对称化版本之间作为仿射向量丛的关系是什么？
• RQ4 重构映射 $\mathrm{Q}$ 的线性化形式是什么？其是否可逆，从而确保喷射空间之间的同构？
• RQ5 通用公式 $Q_k$ 背后的显式组合结构是什么？它如何体现曲率张量及其导数的对称性？

主要发现

• 喷射同构定理的弱形式表明，正常坐标系下度量的 $k+2$ 次泰勒多项式是关于对称化曲率 $k$ 喷射的通用张量表达式：$g(\xi) = \sum_{\ell=0}^{k+2} \frac{1}{k!} Q_k(\mathcal{R}^{(0)}, \dots, \mathcal{R}^{(k)})(\xi) + \mathcal{O}(k+3)$。
• 当 $k=2$ 时，度量展开至五次项的显式表达式为 $\mathrm{Id} - \frac{1}{3}\mathcal{R} - \frac{1}{6}\mathcal{R}^{(1)} - \frac{1}{20}\mathcal{R}^{(2)} + \frac{2}{45}(\mathcal{R}^{(0)})^2 - \frac{1}{90}\mathcal{R}^{(3)} + \frac{1}{45}(\mathcal{R}^{(0)} \circ \mathcal{R}^{(1)} + \mathcal{R}^{(1)} \circ \mathcal{R}^{(0)})$。
• 从对称化曲率喷射到度量喷射的映射 $\mathrm{Q}_L$ 的线性部分为 $\mathrm{Q}_L(\mathcal{R}^{(k)}) = -2 \frac{k+1}{(k+3)!} \mathcal{R}^{(k)}$，确认其可逆性，从而保证了仿射同构关系。
• 从度量喷射到曲率喷射的映射 $\mathrm{R}_L$ 满足 $\mathrm{R}_L(h_{k+2}) = -\frac{(k+2)!}{2} \owedge h_{k+2}$，表明曲率喷射是度量喷射的通用线性函数。
• 从曲率喷射到对称化曲率喷射的映射 $\mathcal{R}_L$ 在 $\mathcal{R}^{(k)}$ 上为恒等映射，确认对称化过程是自然且一致的。
• 通用公式 $Q_k$ 的证明依赖于对称群上的组合恒等式，表明 $\nabla^{(k+2)}R$ 在 $Q_k$ 中的系数为 $2(k+2)(k+3)$，与泰勒展开的预期归一化一致。