[論文レビュー] Cheeger-Gromov convergence in a conformal setting. I

Boris Botvinnik, Olaf Müller|arXiv (Cornell University)|Dec 23, 2015

Nonlinear Partial Differential Equations参考文献 11被引用数 5

ひとこと要約

本稿では、境界を有するリーマン多様体の列に対して、共形変換のもとでチーリング＝グロモフ収束を確立する。共形因子が適切な楕円型作用素の主固有関数である場合、元の計量および共形計量の両方が滑らかに収束する部分列を持つことを示す。主な貢献は、洗練された楕円型推移の応用による、共形設定における新たなコンパクト性結果である。

ABSTRACT

For a sequence $\{(M_i, g_i, x_i)\}$ of pointed Riemannian manifolds with boundary, the sequence $\{(M_i, ilde g_i,x_i)\}$ is its conformal satellite if the metric $ ilde g_i$ is conformal to $g_i$, that is, $ ilde g_i=u^{\frac{4}{n-2}}_ig_i$. Assuming the manifolds $(M_i,g_i,x_i)$ have uniformly bounded geometry, we show that both sequences have smoothly Cheeger-Gromov convergent subsequences provided the conformal factors $u_i$ are principal eigenfunctions of an appropriate elliptic operator. Part of our result is a Cheeger-Gromov compactness for manifolds with boundary. We use stable versions of classical elliptic estimates and inequalities found in the recently established 'flatzoomer' method.

研究の動機と目的

• 境界付きリーマン多様体の共形設定におけるチーリング＝グロモフコンパクト性結果を確立すること。
• 一様に有界な幾何構造を持つ条件下で、点付きリーマン多様体の列の共形変換における収束挙動を分析すること。
• 共形因子が楕円型作用素の主固有関数である場合、元の計量および共形計量の両方の列が滑らかに収束する部分列を有することを示すこと。
• 古典的な収束技法を境界付き多様体に拡張するため、楕円型推移の安定版を用いること。

提案手法

• 多様体の列の共形サテライトは、$ \tilde{g}_i = u_i^{\frac{4}{n-2}} g_i $ により定義され、ここで $ u_i $ は共形因子である。
• 解析は、$ u_i $ が $ (M_i, g_i) $ 上の二階楕円型作用素の主固有関数であるという仮定に依拠しており、これにより一様な制御が保証される。
• 『flatzoomer』法から導かれる、古典的楕円型推移および不等式の安定版が、境界を扱い、正則性を維持するために適用される。
• 幾何構造および共形因子の一様有界性を用いて、チーリング＝グロモフ位相における収束部分列を抽出する。
• スカウダー型推移を活用し、計量および共形因子の境界にまで及ぶ $ C^k $-収束を保証する。
• 主要な技術的ステップは、楕円型作用素の固有値的性質を用いて、共形因子およびその微分の挙動を制御することである。

実験結果

リサーチクエスチョン

• RQ1 境界付き共形変換を施したリーマン多様体の列が、チーリング＝グロモフ意味で滑らかに収束する部分列を有するための条件は何か？
• RQ2 多様体上での楕円型作用素の主固有関数が、共形計量の収束にどのように影響を与えるか？
• RQ3 'flatzoomer' 法の安定楕円型推移を境界付き多様体に適応することで収束を保証できるか？
• RQ4 一様有界な幾何構造は、元の計量および共形計量の両方の列の収束にどのような役割を果たすか？
• RQ5 閉多様体に対する古典的コンパクト性定理に類似した、境界付き多様体における共形コンパクト性定理は存在するか？

主な発見

• 共形計量 $ \tilde{g}_i $ の列は、$ \tilde{g}_i = u_i^{\frac{4}{n-2}} g_i $ により定義され、チーリング＝グロモフ位相で滑らかに収束する部分列を有する。
• 共形因子 $ u_i $ が適切な楕円型作用素の主固有関数である場合、両方の列 $ (M_i, g_i, x_i) $ および $ (M_i, \tilde{g}_i, x_i) $ が滑らかに収束する部分列を有する。
• 収束は、境界設定に適応された『flatzoomer』法を用いた、古典的楕円型推移の安定版によって確立される。
• $ (M_i, g_i, x_i) $ の一様有界な幾何構造が、このような収束部分列の存在を保証する。
• 本結果により、境界付き多様体におけるチーリング＝グロモフコンパクト性が共形設定へと拡張され、幾何解析のための新たな道具が提供される。