[論文レビュー] The local structure of conformally symmetric manifolds

Andrzej Derdziński, W. Roter|ArXiv.org|Apr 4, 2007

Geometric Analysis and Curvature Flows参考文献 7被引用数 5

ひとこと要約

本稿は、自己同型的でない、または局所的に対称でない、平行なWeylテンソルを持つ擬リーマン多様体の局所的分類を完成させ、Olszak分布の次元が1である場合に焦点を当てている。このような多様体がリッチ再帰的であることを証明し、リッチテンソルとその共変微分が線形従属である場合の局所的構造を完全に特徴づけ、平行Weylテンソルを持つ擬リーマン多様体の分類プログラムにおける最後の未解決事項を解消した。

ABSTRACT

This is a final step in a local classification of pseudo-Riemannian manifolds with parallel Weyl tensor that are not conformally flat or locally symmetric.

研究の動機と目的

• 平行Weylテンソルを持つが、自己同型的でなく、局所的に対称でもない擬リーマン多様体の局所的分類を完成させること。
• この分類プログラムにおける最後の未解決事項を解消すること：本質的に自己同型的対称多様体で、Olszak分布の次元が1である場合。
• リッチテンソルとその共変微分が線形従属である（すなわちリッチ再帰的である）場合の、このような多様体の局所的構造を特徴づけること。
• この場合、リッチテンソルが非ゼロ1形式の対称積の倍数でなければならないことを確立すること。
• Weylテンソルが1次元Olszak分布に整合する特定の代数的構造（対称2階テンソルと1形式を含む）を持つことを証明すること。

提案手法

• 著者たちは、1次元Olszak分布を持つ自己同型的対称多様体の曲率構造を、Levi-Civita接続と曲率テンソルの表記法を用いて分析した。
• 彼らはSchoutenテンソルとWeyl共形テンソルを用いてリーマン曲率を分解し、恒等式 $ W = R - (n-2)^{-1} g \wedge \sigma $ を活用した。
• 証明は、次元1の平行分布 $ \mathcal{D} $（Olszak分布）に依存しており、$ W $ が $ \mathcal{D} $ 及びその直交補空間に属するベクトルと縮約されると0になるという事実を利用した。
• 重要な代数的恒等式は、曲率方程式を特定のベクトル場と縮約し、リッチ再帰条件 $ \rho \otimes \nabla\rho = 0 $ を用いることで導出された。
• 彼らはテンソルの対称性と巡回和を用いて、Weylテンソルおよびリッチテンソルの特定の成分が消えること、したがって $ \rho = h \lambda \otimes \lambda $ であることを示した。
• 彼らはWeylテンソルの構造定理を $ (\lambda \otimes \lambda) \wedge b $ の形に適用し（ここで $ b $ は対称2階テンソル）、$ \xi \neq 0 $ であると仮定すると、1次元Olszak分布の性質と矛盾が生じるため、$ \xi = 0 $ でなければならないことを導いた。

実験結果

リサーチクエスチョン

• RQ1 本質的に自己同型的対称な擬リーマン多様体で、1次元Olszak分布かつ $ \rho \otimes \nabla\rho = 0 $ を満たす場合、その局所的構造はどのようなものか？
• RQ2 Olszak分布が1次元である場合に、平行Weylテンソルを持つ多様体の分類を完成させることは可能か？
• RQ3 このような多様体のリッチテンソルが1形式の対称積になるのはどのような条件下か？
• RQ4 なぜ $ d=1 $ の場合に、本質的に自己同型的対称多様体の分類結果は得られないのか？
• RQ5 これらの幾何的および曲率的条件下で、Weylテンソルが満たす代数的制約は何か？

主な発見

• 本質的に自己同型的対称な擬リーマン多様体で、1次元Olszak分布かつ $ \rho \otimes \nabla\rho = 0 $ を満たす場合、リッチテンソルは関数 $ h $ と非ゼロ1形式 $ \lambda $ を用いて $ \rho = h \lambda \otimes \lambda $ の形にならなければならない。
• 与えられた条件下で、Weylテンソルが $ W = (\lambda \otimes \lambda) \wedge b $ の形（$ b $ は対称2階テンソル）に表せることを示した。
• $ \xi \neq 0 $（$ v' $ の双対となる1形式）であるという仮定は、Olszak分布の1次元性と矛盾するため、$ \xi = 0 $ でなければならない。
• $ \rho \otimes \nabla\rho = 0 $ という条件は、多様体がリッチ再帰的であることを示し、本稿ではこのケースが完全に特徴づけられている。
• このような多様体の局所的構造は、1形式の対称積と関連するWeylテンソルの構造によって完全に決定され、このクラスの多様体に対する分類プログラムが完了した。