[論文レビュー] The Jet Isomorphism Theorem of Riemannian Geometry

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

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

ひとこと要約

この論文は、擬リーマン幾何におけるジェット同型定理について包括的な解説を提供し、正規座標における計量のテイラー展開が、曲率テンソルの対称化された $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$-階共変微分の対称化によって、$k+2$ 次まで普遍的に再構成することを確立すること。
• 正規座標における計量のテイラー展開、抽象的な曲率 $k$-ジェット、およびそれらの対称化版の三つのアフィンベクトルバンドルの同型を、明示的なテンソル式によって証明すること。

提案手法

• 曲率テンソルの $k$-階共変微分の対称化版 $\mathcal{R}^{(k)}$ を導入し、$\nabla^{(k)}_{\xi,\cdots,\xi} R(x,\xi,\xi,y)$ の極化によって定義する。
• 非可換生成子 $X_2, X_3, \dots$ を持つ明示的な普遍的多項式表現 $Q_k$ を構成し、$X_{\ell+2} = \mathcal{R}^{(\ell)}$ を代入することで、正規座標における計量の $k$-階微分が得られることを示す。
• 曲率テンソルの代数的性質と第一ビアンキ恒等式を用いて、許容可能なジェット空間を制約し、$\xi^{\ell+1}$ と収縮したときに消える対称テンソルの空間 $\mathcal{N}_\ell$ を定義する。
• コシュールの公式を用いて、正規座標における計量を $g_\xi(\xi,u) = \langle \xi, u \rangle$ という条件によって特徴づけ、テイラー係数と $\mathcal{N}_\ell$-空間を関連付ける。
• 計量ジェットの空間、曲率 $k$-ジェット、対称化された曲率ジェットの間のアフィン同型を示すために、写像 $\mathrm{R}_L$、$\mathcal{R}_L$、$\mathrm{Q}_L$ の線形部が可逆であることを証明する。
• 添字集合上の対称群における組合せ論的議論を用いて、$k \geq 2$ 全体にわたる $Q_k$ の普遍的公式の整合性を検証し、特に $k=2$ の場合の明示的検証も行う。

実験結果

リサーチクエスチョン

• RQ1 正規座標における擬リーマン計量のテイラー展開を、$k+2$ 次まで、曲率テンソルの対称化された $k$-階共変微分から普遍的に再構成できるか。
• 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$ の場合、計量展開は $k+2=5$ 次まで明示的に与えられ、$\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$ の普遍的公式の証明は、対称群上の組合せ論的恒等式に依拠しており、$Q_k$ における $\nabla^{(k+2)}R$ の係数が $2(k+2)(k+3)$ であることが示され、テイラー展開の期待される正規化と一致する。