[論文レビュー] Q curvature on a class of manifolds with dimension at least 5

Fengbo Hang, Paul Yang|arXiv (Cornell University)|Nov 14, 2014

Nonlinear Partial Differential Equations参考文献 30被引用数 13

ひとこと要約

本稿は、次元が5以上で、ヤマベ汎関数が正で、Q曲率が非負かつ恒等的にゼロでない、かつパネーツ作用素の核が自明なコンパクトなリーマン多様体に対して、定数Q曲率を持つ共形計量の存在を確立する。証明は、パネーツ作用素を含む新しい汎関数を用いた変分的アプローチに依拠しており、共形不変性とグリーン関数の正定性を活用して、4階微分方程式における最大値原理の欠如を克服する。

ABSTRACT

For a smooth compact Riemannian manifold with positive Yamabe invariant, positive Q curvature and dimension at least 5, we prove the existence of a conformal metric with constant Q curvature. Our approach is based on the study of extremal problem for a new functional involving the Paneitz operator.

研究の動機と目的

• 次元が5以上のコンパクトなリーマン多様体に対して、定数Q曲率を持つ共形計量の存在を確立すること。
• パネーツ作用素の核が自明で、そのグリーン関数が正であるような十分条件を特定すること。
• 4階微分方程式における最大値原理の欠如という課題を、変分的枠組みで克服すること。
• 変分法と共形不変性を用いて、ヤマベ問題の枠組みをQ曲率の設定に拡張すること。
• 正のQ曲率を持つ共形計量の存在が、パネーツ作用素のグリーン関数の正定性と核の自明性と同値であることを示すこと。

提案手法

• 共形幾何における極値問題を研究するため、パネーツ作用素を含む新しい汎関数を定式化すること。
• 計量スケーリング $ \rho^{\frac{4}{n-4}}g $ によるパネーツ作用素およびそのグリーン関数の共形不変性を用いること。
• パネーツ作用素とQ曲率に関連する汎関数の最小化に変分技法を適用すること。
• グリーン関数の正定性を、共形不変条件としての主要な要因とすること。
• ソボレフ埋没と楕円型正則性を用いて、$ C^\infty $位相における最小化子集合のコンパクト性を確立すること。
• 汎関数 $ \Theta_2(g) $ を通じてQ曲率問題とヤマベ問題を結びつけ、特定の条件下で極値集合の同値性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 次元 $ n \geq 5 $ のコンパクトなリーマン多様体がヤマベ汎関数を正に持ち、そのとき、定数Q曲率を持つ共形計量が存在する条件は何か？
• RQ2 4階微分方程式における最大値原理の欠如を、変分的枠組みでどのように克服できるか？
• RQ3 パネーツ作用素の核とそのグリーン関数が、定数Q曲率計量の存在に果たす役割は何か？
• RQ4 共形幾何の文脈において、パネーツ作用素と共形ラプラシアンの変分問題はどのように関連しているか？
• RQ5 正のQ曲率を持つ共形計量の存在は、パネーツ作用素のグリーン関数の正定性と同値であるか？

主な発見

• 次元 $ n \geq 5 $ のコンパクトなリーマン多様体 $ (M,g) $ に対して、$ Y(g) > 0 $、$ Q \geq 0 $、$ Q \not\equiv 0 $ ならば、$ \widetilde{Q} = 1 $ を満たす共形計量 $ \widetilde{g} $ が存在する。
• $ \ker P = 0 $ かつ $ p \neq q $ に対してグリーン関数 $ G_P(p,q) > 0 $ は、正のQ曲率を持つ共形計量の存在に必要な十分条件である。
• スペクトル半径 $ r_\sigma(T_{\Gamma_1}) < 1 $ は、正のQ曲率を持つ共形計量の存在と同値である。
• パネーツ汎関数の最小化子集合 $ \mathcal{M}_P $ は $ C^\infty $ 位相においてコンパクトである。
• $ \Theta_2(g) $ の最小化問題は、ヤマベ問題の極値計量と同一であり、両者の変分的アプローチが同値であることを示している。
• 多様体 $ (M,g) $ が標準球面と共形微分同相でないとき、$ \mathcal{M}_{\Theta_2} $ は $ C^\infty $ 位相でコンパクトであり、$ \Theta_2(g) \geq \Theta_2(S^n) $ が成り立ち、等号が成り立つのは $ (M,g) $ が $ S^n $ と共形同値である場合に限る。