[論文レビュー] The Yamabe problem on stratified spaces

Kazuo Akutagawa, Gilles Carron+1 more|arXiv (Cornell University)|Oct 30, 2012

Nonlinear Partial Differential Equations参考文献 14被引用数 4

ひとこと要約

本稿では、特異的リーマン多様体に対して局所ヤマベおよびソボレフ不変量を導入し、グローバルヤマベ不変量が局所不変量よりも厳密に小さいという条件下で、ヤマベ汎関数の正の最小化子の存在を証明する。この結果は、繰り返しエッジ計量を備えた階層的擬多様体への古典的ヤマベ問題の一般化を実現し、解の鋭い正則性を確立するとともに、孤立的円錐特異性に関する先行研究を拡張する。

ABSTRACT

We introduce new invariants of a Riemannian singular space, the local Yamabe and Sobolev constants, and then go on to prove a general version of the Yamabe theorem under that the global Yamabe invariant of the space is strictly less than one or the other of these local invariants. This rests on a small number of structural assumptions about the space and of the behavior of the scalar curvature function on its smooth locus. The second half of this paper shows how this result applies in the category of smoothly stratified pseudomanifolds, and we also prove sharp regularity for the solutions on these spaces. This sharpens and generalizes the results of Akutagawa and Botvinnik \cite{AB} on the Yamabe problem on spaces with isolated conic singularities.

研究の動機と目的

• 滑らかに階層化された擬多様体に繰り返しエッジ計量を備えたコンパクトなリーマン特異的空間への古典的ヤマベ問題の拡張。
• 特異的点の近傍におけるヤマベ汎関数の漸近的挙動を捉える新しい不変量、すなわち局所ヤマベおよびソボレフ定数の定義。
• グローバルヤマベ不変量と局所不変量を比較する条件の下で、ヤマベ汎関数の正の最小化子の存在の確立。
• 最小化子の鋭い正則性の証明。具体的には、特異的層に近づく際に制御された割合で衰える正則な関数（コノーマル）であることを示す。
• より一般の階層的構造と弱い曲率仮定を組み込んだ、孤立的円錐特異性に関する先行結果の一般化。

提案手法

• 各点の近傍の小さな球におけるヤマベ不変量の下界として、局所ヤマベ不変量 $ Y_{\ell}(M,[g]) $ を定義し、球の半径が 0 に近づく際の漸近的挙動を捉える。
• 存在条件において局所ヤマベ不変量と類似した役割を果たす局所ソボレフ不変量 $ S_{\ell}(M,g) $ を導入する。
• 共形不変性を用いて、滑らかな点における局所ヤマベ不変量を球面上のヤマベ不変量と関連づけ、円錐特異点では $ \mathbb{R} \times Z $ 上の円筒ヤマベ不変量と関連づける。
• コーナー $ \{x=\tilde{x}=0\} $ におけるファイバー対角の吹き上げによって得られる二重空間 $ N^2_{\text{ice}} $ 上にパラメトリックスを構成し、共形ラプラシアンのパラメトリックスを構成する。
• 接続変数におけるフーリエ変換とスケーリングを用いて、共形ラプラシアンの正規作用素を分析し、$ \mathbb{R}^+ \times Z $ 上の離散スペクトルを持つ作用素に還元する。
• 正規作用素の逆作用素が接続変数における平行移動と可換であることから、$ [\partial_y, G] $ が $ G $ と同じマッピング性質を持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 特異的リーマン多様体に階層的構造がある場合、ヤマベ汎関数が正の最小化子をもつのはどのような条件下か？
• RQ2 グローバルな滑らかさが欠ける状況下で、局所的特異的挙動を考慮に入れた古典的ヤマベ不変量の一般化はどのように行えるか？
• RQ3 繰り返しエッジ計量を備えた階層的擬多様体上でのヤマベ汎関数の最小化子の正確な正則性クラスは何か？
• RQ4 局所ヤマベおよびソボレフ不変量は、解の存在を決定づけるグローバルヤマベ不変量とどのように比較されるか？
• RQ5 特異的層に近づく際に、ヤマベ方程式の解がどの程度コノーマルであり、制御された割合で衰えると示せるか？

主な発見

• グローバルヤマベ不変量 $ Y(M,[g]) $ が局所ヤマベ不変量 $ Y_{\ell}(M,[g]) $ よりも厳密に小さいことは、ヤマベ汎関数の正の最小化子が存在するための必要十分条件である。
• 提示された条件下で、最小化子 $ u $ は全空間 $ M $ 上で正であり、すべての接続微分作用素について鋭い衰減率を示す。
• 解 $ u $ はコノーマルであり、繰り返しエッジ構造に一致する衰減率を示す。これはパラメトリックス構成と交換子解析により証明される。
• 正規作用素は $ x^\nu \mathcal{C}^{k,\gamma}_{\text{ice}} $ 上で可逆であり、$ -\mathcal{L}_{k(0)}^n $ の離散スペクトルに依存する。
• 正規作用素の逆作用素はフーリエ変換とスケーリングを用いて表現され、$ \int_{\mathbb{R}^\ell} e^{i(y-\tilde{y})\eta} G_0(x|\eta|, \tilde{x}|\eta|, z, \tilde{z}) |\eta|^q d\eta $ を含む明示的な積分核をもつ。
• 正規作用素の逆作用素が $ y $ 変数に関して平行移動不変であることから、交換子 $ [\partial_y, G] $ は $ G $ と同じマッピング性質を有する。