[論文レビュー] On Warped Product Gradient Ricci-Harmonic Soliton

Elismar Dias Batista, Levi Adriano+1 more|arXiv (Cornell University)|Jun 27, 2019

Geometric Analysis and Curvature Flows参考文献 12被引用数 4

ひとこと要約

本稿は、ワーペッド積多様体上の勾配リッチ-調和ソリトン（GRHS）を調査し、調和写像とポテンシャル関数の構造を分析することで、その存在に必要な十分条件を導出する。半リーマン幾何学的枠組みにおいて、基底とファイバーが1次元低い変換群に関して不変な半ユークリッド空間に共形であると仮定することで、リーマン的制約を超えて、無限に多くの測地的完全で非自明な例を構成する。

ABSTRACT

In this paper we study gradient Ricci-Harmonic soliton with structure of warped product manifold. We obtain some triviality results for the potential function, warping function and the harmonic map which reaches maximum or minimum. In order to obtain nontrivial examples of warped product gradient Ricci-harmonic soliton, we consider the base and fiber conformal to a semi-Euclidean space which is invariant under the action of a translation group of co-dimension one. This approach provide infinitely many geodesically complete examples in the semi-Riemannian context, which is not contemplated in the Riemannian case by the Theorem 1.2 in [17].

研究の動機と目的

• 調和写像の構造をポテンシャル関数を用いて特徴付けること。
• 調和写像が $ u = u_B \circ \pi $ または $ u = u_F \circ \sigma $ の形をとるワーペッド積多様体上でのGRHSの存在に必要な十分条件を確立すること。
• 半リーマン幾何学と群作用を活用することで、リーマン的場合を超えた非自明なGRHSの例を拡張すること。
• 最大原理を用いて、最大値・最小値の条件下で、ワーピング関数、ポテンシャル関数、調和写像が自明になることを証明すること。
• 1次元低い変換群に関して不変な共形構造を仮定することで、半リーマン的文脈において無限に多くの測地的完全なGRHSの例を構成すること。

提案手法

• ポテンシャル関数が $ h = h_B \circ \pi $ を満たすとき、かつそのときに限り、ワーペッド積GRHS上の調和写像 $ u $ が $ u = u_B \circ \pi $ または $ u = u_F \circ \sigma $ の形をとることを示すことで、調和写像の特徴付けを導出する。
• 正の関数 $ f > 0 $ を用いて、$ g = \pi^*g_B + (f \circ \pi)^2 \sigma^*g_F $ の形のワーペッド積計量を定義することで、多様体の構造を定義する。
• GRHSの存在を支配する偏微分方程式系を導出する：リッチ曲率方程式に $ \theta \nabla u \otimes \nabla u $ を含む混合項、調和写像方程式、および基底とファイバーにおける曲率条件。
• 幾何的制約を課す：基底 $ B $ とファイバー $ F $ は半ユークリッド空間に共形であり、1次元低い変換群に関して不変である。
• 最大原理を用いて自明性の結果を証明する：$ u_B $、$ u_F $、$ h_B $、または $ f $ が極値に達する場合、ソリトンは勾配リッチソリトンまたは調和アインシュタイン多様体に退化する。
• 測地的完全性を解析するため、共形構造における測地線方程式を解き、すべての解が $ \mathbb{R} $ 上で定義されることを示し、したがって測地的完全性が保証されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ワーペッド積GRHS上の調和写像が基底またはファイバーを通して因数分解する条件は何か？
• RQ2 調和写像が $ u = u_B \circ \pi $ または $ u = u_F \circ \sigma $ の形をとるワーペッド積多様体上でのGRHSの存在に必要な十分条件は何か？
• RQ3 リーマン的場合を超えて、半リーマン的文脈において非自明で測地的完全なGRHSを構成できるか？
• RQ4 ポテンシャル関数、調和写像、またはワーピング関数の最大値・最小値が、ソリトンが勾配リッチソリトンまたは調和アインシュタイン多様体に退化することを強いる条件は何か？
• RQ5 1次元低い変換群作用が、無限に多くの測地的完全なGRHSの例を可能にする役割を果たすのはどのような点か？

主な発見

• ワーペッド積多様体上にGRHSが存在するための必要十分条件は、基底が $ \theta \nabla u_B \otimes \nabla u_B $ を含む修正されたリッチ曲率方程式を満たし、ファイバーがアインシュタイン的またはアインシュタイン-調和的であることである。
• 調和写像 $ u_B $ や $ u_F $ が基底またはファイバー上で最大値・最小値に達する場合、$ u $ は定数関数となり、GRHSは勾配リッチソリトンに還元される。
• もし $ \lambda \geq 0 $、$ h_B $ が極値に達し、かつ $ \frac{m \Delta_{g_B} f}{f} \geq \text{scal}_{g_B} $ ならば、$ h_B $ は定数関数となり、ソリトンは調和アインシュタイン的である。
• もしワーピング関数 $ f $ が最大値・最小値に達し、かつ $ \lambda \leq \frac{\mu}{f^2} $ ならば、$ f $ は定数関数となり、計量は半リーマン積に還元される。
• 基底とファイバーが1次元低い変換群に関して不変な共形半ユークリッド空間であると仮定することで、本稿では無限に多くの測地的完全なGRHSの例を構成する。
• 構成されたワーペッド積多様体上のすべての測地線は $ \mathbb{R} $ 上で定義されており、半リーマン的文脈における測地的完全性が確認される。