[論文レビュー] On warped product generalized Roter type manifold

Absos Ali Shaikh, Haradhan Kundu|arXiv (Cornell University)|Nov 4, 2014

Geometric Analysis and Curvature Flows参考文献 10被引用数 14

ひとこと要約

この論文は、一般化されたローター型（GRTₙ）である歪み積多様体が成り立つ条件を調査する。GRTₙは、共形平坦およびローター型多様体を一般化した曲率構造である。本論文は、このような多様体の特徴づけ定理を導出し、ローター型でもなく共形平坦でもないがGRTₙである歪み積多様体の明示的例を提示することで、歪み積幾何におけるこれらの曲率クラスの正しい包含関係が成立することを確認する。

ABSTRACT

Generalized Roter type manifold is a generalization of conformally flat manifold as well as Roter type manifold, which gives rise the form of the curvature tensor in terms of algebraic combinations of the fundamental metric tensor and Ricci tensors upto level 2. The object of the present paper is to investigate the characterizations of a warped product manifold to be generalized Roter-type. We also present an example of a warped product manifold which is generalized Roter type but not Roter type, and also an example of a warped product manifold which is Roter type but not conformally flat. These examples ensure the proper existence of such notions.

研究の動機と目的

• 一般化されたローター型曲率条件（GRTₙ）を満たす歪み積多様体を特徴づけること。
• 歪み積の文脈において、一般化されたローター型、ローター型、および共形平坦多様体の間の正しい包含関係を確立すること。
• 一般化されたローター型歪み積多様体がローター型でも共形平坦でもない例を明示的に提示すること。
• 先行研究で得られたローター型歪み積多様体の結果を、より広い一般化されたローター型多様体のクラスへと拡張すること。

提案手法

• 関数 f, h, ψ に依存するベースおよびファイバーの計量を持つ歪み積多様体の曲率テンソル成分を導出する。
• Kulkarni-Nomizu積を用いて、リーマン曲率テンソル R を計量 g、リッチテンソル S、および高階リッチテンソル S², S³, S⁴ で表現する。
• 一般化されたローター型条件を適用し、R が g∧g, g∧S, S∧S, g∧S², S∧S², S²∧S² の線形結合として書けることを要求する。
• 曲率分解を体系的に分析し、f, h, ψ に対する必要十分条件を同定するために Ein(n) 条件を用いる。
• 記号計算ソフトウェア（Wolfram Mathematica）を用いて明示的な代数的計算を行い、テンソル成分および曲率恒等式の検証を行う。
• GRTₙ 条件を満たすがローター型または共形平坦でないように f, h, ψ を選ぶことにより、具体的な例を構成する。

実験結果

リサーチクエスチョン

• RQ1 歪み積多様体が一般化されたローター型（GRTₙ）であるための条件は何か？
• RQ2 歪み積多様体がローター型でも共形平坦でもない一般化されたローター型であることは可能か？
• RQ3 高階のリッチテンソル（S², S³, S⁴）は、歪み積多様体における曲率分解にどのように寄与するか？
• RQ4 歪み関数 f, h, ψ は、GRTₙ 性質を決定づける上で果たす役割は何か？
• RQ5 ローター型でない一般化されたローター型歪み積多様体の適切な存在を示す明示的例を構成できるか？

主な発見

• 歪み積多様体が一般化されたローター型であるための必要十分条件は、Ein(3) 条件から導かれる f, h, ψ に関する特定の微分条件を満たすことである。
• (h′)² − hh′′ = 0 であるとき、すなわち h = c₁e^{c₂x²} であるとき、多様体は Ein(3) 条件を満たし、一般化されたローター型であるが、ローター型ではない場合がある。
• −2(f′)² + f(2f′′ − 1) = 0 であるとき、多様体は Ein(2) 条件を満たし、ローター型となる。このとき、ファイバーに対してもローター型である。
• (ψ′)² − 2ψψ′′ = 0 であるとき、すなわち ψ = (c₁x³ + 2c₂)²/(4c₂) であるとき、多様体は一定曲率であり、ファイバーに対しても一定曲率である。
• f = (x¹)², h = c₂Cos²(x² − 2c₁), ψ = e^{x³} である特別な例では、適切な一般化されたローター型歪み積多様体が得られ、ファイバーに対しても適切な一般化されたローター型である。
• 任意の f, h, ψ に対して多様体は Ein(4) であるが、f, h, ψ に対する特定の微分的制約が満たされる場合にのみ、一般化されたローター型となる。