[論文レビュー] Conformal de Rham decomposition of Riemannian manifolds

Ruy Tojeiro|ArXiv.org|Apr 23, 2004

Geometric Analysis and Curvature FlowsMathematics参考文献 7被引用数 19

ひとこと要約

本稿は、リーマン多様体に対するde RhamおよびHiepkoの分解定理の共形的類似を確立し、多様体が局所的にリーマン的またはワーペッド積に共形的であるための必要十分条件を提供する。主な貢献は、2つの異なる固有値をもつコゼイ・テンソルをもつリーマン多様体の特徴付けであり、それらが局所的にねじれ積に共形的であることを示しており、固有値が関数的関係を満たし、それぞれの固有空間に沿って定数である場合の明示的分類を含む。

ABSTRACT

We prove conformal versions of the local decomposition theorems of de Rham and Hiepko of a Riemannian manifold as a Riemannian or a warped product of Riemannian manifolds. Namely, we give necessary and sufficient conditions for a Riemannian manifold to be locally conformal to either a Riemannian or a warped product. We also obtain other related de Rham-type decomposition theorems. As an application, we study Riemannian manifolds that admit a Codazzi tensor with two distinct eigenvalues everywhere.

研究の動機と目的

• de RhamおよびHiepkoの局所的分解定理を共形的設定に拡張し、リーマン多様体が局所的にリーマン的またはワーペッド積に共形的である条件を特徴付ける。
• リーマン多様体上の直交ネットを研究し、それらが局所的にリーマン的またはワーペッド積計量に共形的であるような積構造をもつ条件を同定する。
• 共形的分解フレームワークを応用し、正確に2つの異なる固有値をもつコゼイ・テンソルをもつリーマン多様体を分類する。
• 固有値がそれぞれの固有空間に沿って定数であり、滑らかな関数によって関係付けられている場合、そのような多様体の構造を特定する。

提案手法

• 滑らかなねじれ関数 ρ を用いてねじれ積計量の概念を導入し、ワーペッド積およびリーマン積を一般化する。
• ネット同型写像およびネット同型写像の定義を通じて、直交分布をもつ多様体上の局所的積構造を形式化する。
• ねじれ積のLevi-Civita接続および曲率性質を用いて、共形的分解のための条件を導出する。
• コゼイ・テンソル条件を適用し、固有値とその勾配を含む微分方程式を導出する。特に2つの異なる固有値のケースに注目する。
• 平均曲率法線および固有値が固有空間に沿って定数であるという条件を用いて、得られる幾何的構造を分類する。
• ワーペッド積の場合に、はしけん関数 σ と固有値関数 h(μ̃) を結ぶ重要な関係式 ∫ dμ̃ / (h(μ̃) − μ̃) = log σ を導出する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体がリーマン多様体の積に局所的に共形的であるための条件は何か？
• RQ2 リーマン多様体がワーペッド積に局所的に共形的であるための条件は何か？
• RQ3 2つの異なる固有値をもつコゼイ・テンソルが存在し、一方の固有値がその固有空間に沿って定数であるとき、どのような幾何的構造が生じるか？
• RQ4 固有値間の関数的関係（例：λ = h(μ)）は、多様体の局所的幾何にどのように制約を加えるか？
• RQ5 2つの異なる固有値をもつコゼイ・テンソルをもつリーマン多様体の完全な分類は何か？ ただし、両方の固有値がそれぞれの固有空間に沿って定数であるものとする。

主な発見

• 2つの異なる固有値 λ と μ をもつコゼイ・テンソルをもつリーマン多様体において、μ が Eμ に沿って定数であり、λ = h(μ) が滑らかな関数 h によって与えられるとき、その多様体は局所的にねじれ積計量に共形的である。
• λ と μ がそれぞれの固有空間に沿って定数である場合、多様体は局所的にリーマン積計量に等長的である。
• Eλ のランクが1であり、μ が Eμ に沿って定数であるとき、多様体ははしけん関数 σ をもつワーペッド積計量に局所的に等長的である。ここで σ は ∫ dμ̃ / (h(μ̃) − μ̃) = log σ を満たす。
• 固有値関数 h(μ̃) とはしけん関数 σ は1階常微分方程式によって関係づけられ、ワーペッド積構造を完全に決定する。
• 結果は古典的な等温曲面の特徴付けを一般化しており、共形的de Rham定理は、測地線曲率を用いた等温ネットの古典的基準を拡張する。
• 関数的および定数性の条件を満たす固有値をもつすべての多様体が分類に含まれており、完全な局所的幾何的記述が得られる。