[論文レビュー] The spectral geometry of the Riemann curvature tensor

Peter Gilkey, Raina Ivanova+1 more|ArXiv.org|Jun 12, 2002

Geometric Analysis and Curvature Flows参考文献 23被引用数 6

ひとこと要約

本稿は、擬リーマン多様体上での曲率関連作用素（ヤコビ作用素、高階ヤコビ作用素、歪対称曲率作用素、スザボ作用素など）の固有値およびジョルダン標準形の性質を調査する。特定の代数的曲率テンソルの対称性のもとで、これらの作用素の固有値またはジョルダン構造が単位接ベクトル上での変化がなく一定であることが示され、分類結果および高次元の符号型における非自明なスザボテンソルの新規例が得られ、局所的対称性に関する新たな知見が得られる。

ABSTRACT

Let E be a natural operator associated to the curvature tensor of a pseudo-Riemannian manifold. This survey article studies when the spectrum, or more generally the real Jordan normal form, of E is constant on the natural domain of definition. It deals with results for the Jacobi operator, the higher order Jacobi operator, the Szabo operator, and the skew-symmetric curvature operator. Some results in the complex setting are presented as well for the skew-symmetric curvature operator.

研究の動機と目的

• 曲率作用素（ヤコビ、高階ヤコビ、歪対称曲率、スザボ）のスペクトルまたはジョルダン標準形が、単位接ベクトル上の擬球上で一定であるような代数的曲率テンソルを分類すること。
• 特に空間的、時間的、混合符号型の場合を含め、擬リーマン幾何におけるオスラーおよびイワノフ＝ペトロヴァ型条件を拡張すること。
• 符号型 $ p \geq 2 $ の場合に非自明なスザボテンソルが存在するか、その構造を特定すること。特にジョルダン標準形の定常性の制約下で検討すること。
• スペクトル定常性が局所的対称性に与える影響、特に点毎に完全に光的（totally isotropic）な多様体における影響を調査すること。
• 最近のスペクトル幾何学的曲率作用素に関する結果を包括的に調査し、特にほぼ複素ジョルダンIPテンソルにおける鋭い固有値制約を提示すること。

提案手法

• ベクトル空間 $ V $ の符号型 $ (p,q) $ において、代数的曲率テンソル $ R $ および共変微分曲率テンソル $ \nabla R $ を用いて、ヤコビ作用素、高階ヤコビ作用素、歪対称曲率作用素、スザボ作用素を定義する。
• $ R $ および $ \nabla R $ の対称性を用いて、$ V $ 上の自己随伴自己準同型を定義し、正規直交基底の選択に依存しない well-defined な作用素を保証する。
• $ S^\pm(V) $、すなわち単位空間的および時間的ベクトルからなる擬球上で、これらの作用素のスペクトルおよびジョルダン標準形を解析する。
• 複素数 $ \lambda $ に対して $ A_\lambda = A - \lambda \cdot \text{Id} $ または $ (A - \lambda \cdot \text{Id})(A - \bar{\lambda} \cdot \text{Id}) $ を用いて、$ \lambda $-一般固有空間の概念を導入し、スペクトル分解を研究する。
• ジョルダン単純性の条件の下で、スザボ作用素のランクを制限するためにアダムス数 $ \nu(q) $ を適用する。
• 代数的制約および表現論的技法を用いて、特にほぼ複素ジョルダンIPテンソルにおける固有値の重複度構造を導出する。

実験結果

リサーチクエスチョン

• RQ1 擬リーマン多様体において、ヤコビ作用素のスペクトルが単位空間的または時間的擬球上で一定であるための条件は何か？
• RQ2 高階ヤコビ作用素が非退化部分空間のグラスマン多様体上で、スペクトルまたはジョルダン標準形が一定であるための必要十分条件は何か？
• RQ3 符号型 $ p \geq 2 $ の場合に非自明なスザボテンソルが存在可能か？ もしそうならば、どのようなスペクトル的またはジョルダン標準形の制約の下で存在するか？
• RQ4 次元 $ q \equiv 0 \text{ または } 2 \pmod{4} $ の場合に、ほぼ複素ジョルダンIP代数的曲率テンソルの固有値および重複度の構造は何か？
• RQ5 スザボ作用素が $ S^\pm(V) $ 上でスペクトル定常性を示す場合、特に点毎に完全に光的な多様体において、局所的対称性が成立するか？

主な発見

• 符号型 $ (0,q) $ におけるほぼ複素ジョルダンIP代数的曲率テンソルについて、$ q \equiv 2 \pmod{4} $ ならば $ \ell = 1 $ かつ $ \mu_1 = 1 $；$ q \equiv 0 \pmod{4} $ ならば $ \ell = 1, \mu_1 \leq 2 $ または $ \ell = 2, \mu_1 = \mu_2 = 1 $ であり、これらの上限は鋭い。
• リーマン型（$ p=0 $）またはローレンツ型（$ p=1 $）の符号型では非自明なスザボテンソルは存在せず、この場合 $ \nabla R = 0 $ である。
• もし $ R $ が空間的ジョルダンスザボであり、$ p < q - \nu(q) $ ならば、すべての $ v \in S^+(V) $ に対して $ \text{rank}(\SS(v)) \leq 2\nu(q) $ が成り立つ。ここで $ \nu(q) $ はアダムス数である。
• もし $ q $ が奇数であり $ p < q $ ならば、任意の空間的ジョルダンスザボテンソルに対して $ \nabla R = 0 $ であり、局所的対称性が成立する。
• スザボ作用素のスペクトルは $ \text{spec}^\pm(\SS) = -\text{spec}^\pm(\SS) = \sqrt{-1} \cdot \text{spec}^\mp(\SS) $ を満たし、$ \mathbb{R} \cup \sqrt{-1} \mathbb{R} $ に含まれる。$ p < q $ の場合に追加の制約が生じる。
• 符号型 $ (p,q) $ で $ p < q $ かつ $ q $ が奇数である点毎に完全に光的な多様体は、スザボ作用素のスペクトル定常性により、必然的に局所的に対称的である。