[論文レビュー] Sobolev, Poincare and isoperimetric inequalities for subelliptic diffusion operators satisfying a generalized curvature dimension inequality

Fabrice Baudoin, Bumsik Kim|arXiv (Cornell University)|Mar 16, 2012

Geometric Analysis and Curvature Flows参考文献 7被引用数 8

ひとこと要約

この論文は、一般化された曲率次元条件 CD(ρ₁, ρ₂, κ, d) を満たす強調的拡散作用素に対して、Sobolev、Poincaré、および等周不等式を確立する。Ledouxの熱半群手法を非可換リーマン幾何に適応することで、鋭い関数不等式と、水平Weyl-Tanaka–Ricci曲率が非負であるCR Sasakian多様体、2段階Carnot群、および非負に曲率がついたリーマン多様体上の特定の主束に対して有効な、第一非零固有値のLichnerowicz型下界を導出する。

ABSTRACT

By adapting some ideas of M. Ledoux \cite{ledoux2}, \cite{ledoux-stflour} and \cite{Led} to a sub-Riemannian framework we study Sobolev, Poincaré and isoperimetric inequalities associated to subelliptic diffusion operators that satisfy the generalized curvature dimension inequality that was introduced by F. Baudoin and N. Garofalo in \cite{Bau2}. Our results apply in particular on all CR Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is non negative.

研究の動機と目的

• 一般化された曲率次元不等式 CD(ρ₁, ρ₂, κ, d) を満たす強調的拡散作用素に対して、古典的な関数不等式（Sobolev、Poincaré、等周）を拡張すること。
• M. Ledouxの熱半群技法を非可換リーマン幾何に適応し、曲率仮定のもとで定量的不等式を導出すること。
• 作用素の第一非零固有値 λ₁ に対するLichnerowicz型下界を、曲率パラメータ ρ₁, ρ₂, κ および次元 d の観点から確立すること。
• 結果の適用可能性を、CR Sasakian多様体、2段階Carnot群、および非負曲率を持つリーマン多様体上の特定の主束といった幾何的構造に示すこと。

提案手法

• 第二順変換形式 Γ₂ と Γ₂^Z が曲率と次元と関連づけられる一般化された曲率次元不等式 CD(ρ₁, ρ₂, κ, d) を基本仮定として用いる。
• 特に半群 P_t を用いて勾配評価と擬似Poincaré不等式を導出する、Ledouxに由来する熱半群技法を適用する。
• carré du champ 演算子 Γ 及びその Z-変種 Γ^Z を用いて、内在的な非可換リーマン幾何を定義し、拡散作用素下での関数の挙動を制御する。
• P_t 1_E − 1_E の L¹ 範囲の推定を通じて、等周不等式を導出する。これにより、熱フローと集合の測度および境界との関係を結ぶ。
• 部分積分とスペクトル理論を用いて、−L の第一非零固有値の下界を導出する。これは古典的なLichnerowicz定理の一般化である。
• 仮定 (H.1)–(H.3) の下で、Bakry-Émery 型の議論を適用し、非可換フレームワークにおける半群および曲率評価の有効性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般化された曲率次元条件のもとで、強調的拡散作用素に対してSobolev、Poincaré、等周不等式を確立できるか？
• RQ2 曲率パラメータ ρ₁, ρ₂, κ および次元 d が、非可換リーマン幾何における関数不等式およびスペクトルギャップにどのように影響を与えるか？
• RQ3 一般化された曲率次元条件のもとで、強調的作用素 −L の第一非零固有値に対する鋭い下界は何か？
• RQ4 非自明なねじれと水平非可換リーマン構造を持つ非可換設定において、Ledouxの熱半群手法はどの程度拡張可能か？
• RQ5 CR Sasakian多様体やCarnot群といった幾何的クラスにおいて、これらの不等式は曲率と次元の明示的定量的依存性を伴って成立するか？

主な発見

• 鋭い等周不等式が確立された：CD(ρ₁, ρ₂, κ, d) のもとで、Cheeger の等周定数は ρ₁, ρ₂, κ を含む下界を満たす。
• ρ₁ > 0 の場合、ρ₁, ρ₂, κ に依存するPoincaré不等式が証明され、非可換リーマン設定において古典的結果を改善する。
• 改良されたSobolev埋め込みが得られ、Sobolev空間 W^{1,2} に属する関数が p > 2 に対して L^p に連続的に埋め込まれることを示し、曲率パラメータに明示的な依存性を示す。
• −L の第一非零固有値 λ₁ に対するLichnerowicz型下界が証明された：λ₁ ≥ ρ₁ρ₂ / ( ((d−1)/d)ρ₂ + κ ) であり、κ = 0 のとき古典的リーマンケースに還元される。
• P_t 1_E − 1_E の L¹ 範囲に対する評価から、定量的等周不等式が得られた：すべての t > 0 に対して μ(E) − ∫(P_{t/2}1_E)^2 dμ ≤ √(2/ρ₁)(1 + 2κ/ρ₂)√(1 − e^{−ρ₁ρ₂/(ρ₂+κ)t}) μ(E) が成り立つ。
• 結果が、水平Weyl-Tanaka–Ricci曲率が非負であるCR Sasakian多様体、2段階Carnot群、および非負曲率を持つリーマン多様体上の広い主束の部分クラスにおいて有効であることが示された。