From almost smooth spaces to RCD spaces

書誌情報

• arXiv: arXiv:2502.20998v2
• 著者: Shouhei Honda, Song Sun
• 初回投稿日: 2025-02-28
• 最終更新日: 2025-11-22
• 主分類・副分類: math.DG（主分類）; math.MG
• ライセンス: arXiv.org perpetual, non-exclusive license

要約

正則部分でRicci曲率が下から有界でも、その距離完備化がRCD空間になるとは限らない。RCD条件は特異点を含めた空間全体で曲率と次元を制御するため、特異集合を横断する解析が必要となる。本論文はそのための局所的な条件を与える。

対象は、零2容量の閉集合を除いて重み付きRiemann多様体となる、ほとんど滑らかな空間である。局所倍加性とPoincaré不等式に、Sobolev-to-Lipschitz性および調和関数の定量的Lipschitz評価を組み合わせると、正則部分のBakry–Émery Ricci下界を空間全体のRCD条件へ移せる。

さらに、特異集合の近傍体積に余次元4の評価があれば、調和関数のLipschitz性を導出できる。結論はコンパクト空間に限定されず、重み付き・非コンパクトな場合にも適用される。曲率下界だけでなく、特異集合の大きさと空間全体の関数論の役割を切り分ける結果である。

背景と問題設定

$X=(X,d_X,m_X)$ を完備な距離測度空間とし、各開球の測度は正かつ有限とする。閉集合 $S$ が零2容量を持ち、$\mathcal R=X\setminus S$ が局所的に $n$ 次元重み付きRiemann多様体と距離測度の意味で同型なら、$n$ 次元のalmost smooth空間と呼ぶ。

本論文のPI条件は一様局所的な倍加性と $(1,2)$-Poincaré不等式である。例えば

$$ m_X(B_{2r}(x))\leq C m_X(B_r(x)) $$

を要求する。定数は半径の上限には依存してよいが、球の中心には依存しない。序論は、適切な固有長さ空間ではPoincaré条件をNeumann固有値の $1/(Cr^2)$ という下界で表せると説明する。

SLはSobolev-to-Lipschitz性を表す。QLは、球 $B$ 上の調和関数 $h$ に対し、半径を半分にした同心球で

$$ |\nabla h|\leq\frac{C}{r\thinspace m_X(B)}\int_B|h|\thinspace dm_X $$

という定量的な評価を要求する条件である。

主結果

一般のalmost smooth空間の特徴づけ（Theorem 1.1）

$X$ が $n$ 次元almost smoothな長さ空間であるとする。任意の $K\in\mathbb R$ と有限の $N\in[n,\infty)$ について、次は同値である。

• $X$ は $\operatorname{RCD}(K,N)$ 空間である。
• $X$ はPI、SL、QLを満たし、正則部分の $N$-Bakry–Émery Ricciテンソルは $K$ 以上である。

新しい方向は後者から前者を導くことである。大きな周長の円を底とする錐は、頂点以外で平坦かつPIであってもRCDではない。したがって一般の場合にQLを単に削除することはできない。

余次元4条件のもとでQLを導く（Theorem 1.2）

上の設定で、すべての開球 $B$ について

$$ \limsup_{\varepsilon\to0}\varepsilon^{-4} m_X\bigl(B_\varepsilon(S\cap B)\bigr)<\infty $$

を仮定する。$B_\varepsilon(A)$ は集合 $A$ の開 $\varepsilon$-近傍である。この体積的な条件のもとでは、

$$ X\text{ が }\operatorname{RCD}(K,N) \quad\Longleftrightarrow\quad \text{PI、SL、および正則部分で }\operatorname{Ric}_N\geq K $$

となる。単なる形式的な次元の呼称ではなく、明示した近傍体積の評価が仮定である。QLは結論へ至る途中で証明される。

序論は、この結果を4次元Einstein軌道体の特徴づけに応用すると述べる。またalmost RCD空間への非滑らかな一般化も紹介するが、その完全な仮定はIntroductionだけでは提示されていないため、ここでは主定理二つと区別する。

証明の見取り図

PIとQLからPoisson方程式の解および熱核の局所Lipschitz評価を得て、良い切断関数を作る。局所Bakry–Émery条件を特異集合を越えて示し、局所から大域への定理で全体の条件へ移す。SLなどと合わせてRCD性を導く。

余次元4の場合は、PIが与える調和関数のHölder性と正則部分の勾配評価から、ある $0<\gamma<1$ について

$$ |\nabla h|(x)\leq\frac{C}{d_X(x,S)^{1-\gamma}} $$

を得る。近傍体積の評価とBochner不等式を用いて、$|\nabla h|^2$ が特異集合を越えて局所的に $H^{1,2}$ に属することを示す。再びBochner不等式を適用し、Moser反復によって勾配の局所有界性、すなわちQLを回復する。

原論文との対応

• Abstractページ: 公式arXivページ
• Introduction: PDF — Section 1, pp. 2–5
• Introduction中で言及された主要結果: Theorems 1.1, 1.2; equations (1.1)–(1.3)
• 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
• 確認したarXivバージョン: 2502.20998v2
• 確認したライセンス: arXiv.org perpetual, non-exclusive license
• source_scope: Abstract and Introduction