[論文レビュー] Rigidity for the spectral gap on $RCD(K,\infty)$-spaces

Nicola Gigli, C. Ketterer+2 more|arXiv (Cornell University)|Sep 12, 2017

Geometric Analysis and Curvature Flows参考文献 43被引用数 9

ひとこと要約

本稿は、K > 0 である RCD(K,∞)-空間におけるスペクトルギャップの剛性定理を確立し、ラプラシアンの最初のk個の固有値が鋭い下界Kに達している場合、空間はk次元ガウス空間に等長的にスプリットする、と証明している。証明は、上げた固有関数、正則ラグランジュ的流れ、および合成的曲率次元理論を組み合わせ、重み付きリーマン多様体における Cheng–Zhou の剛性結果を滑らかでない距離測度空間へ一般化するものである。

ABSTRACT

We consider a rigidity problem for the spectral gap of the Laplacian on an $RCD(K,\infty)$-space (a metric measure space satisfying the Riemannian curvature-dimension condition) for positive $K$. For a weighted Riemannian manifold, Cheng--Zhou showed that the sharp spectral gap is achieved only when a $1$-dimensional Gaussian space is split off. This can be regarded as an infinite-dimensional counterpart to Obata's rigidity theorem. Generalizing to $RCD(K,\infty)$-spaces is not straightforward due to the lack of smooth structure and doubling condition. We employ the lift of an eigenfunction to the Wasserstein space and the theory of regular Lagrangian flows recently developed by Ambrosio--Trevisan to overcome this difficulty.

研究の動機と目的

• K > 0 である RCD(K,∞)-空間におけるスペクトルギャップの剛性結果を確立し、滑らかな重み付きリーマン多様体における Cheng–Zhou の結果を滑らかでない距離測度空間へ拡張すること。
• RCD(K,∞)-空間における滑らかさの欠如およびダブリング条件の欠落という課題に対処するため、最適輸送および距離測度空間上の微積分の先進的ツールを用いること。
• スペクトルギャップ λ₁ = K が重複度kで達成されることにより、空間がℝᵏにガウス測度を備えた積に全空間的に等長的にスプリットすることを証明すること。
• 合成幾何学と流れに基づく解析を用いて、無限次元的曲率次元条件への Obata 型剛性定理を一般化すること。

提案手法

• λ₁ = K に対応する固有関数uをワッサースタイン空間に上げ、最適輸送下での挙動を調べること。
• Ambrosio–Trevisan が開発した正則ラグランジュ的流れ理論を適用し、u の勾配流れおよびその距離構造への影響を分析すること。
• エネルギー恒等式およびソボレフからリプシッツへの性質を用いて、持ち上げられた流れが距離をほとんど everywhere で保存することを証明すること。
• 分布的微分作用素の恒等式およびカットオフ技術を用いて、測度が基底空間の測度とℝᵏ上での標準ガウス測度の積に分解されることを確立すること。
• u のヘッセ行列が almost everywhere で消えることから、∇u が平行ベクトル場であることを導出し、合成的幾何的議論によりスプリットを導くこと。
• 重複度k ≥ 2 に対してこの議論を繰り返し、ユークリッド空間ℝᵏにガウス測度を備えたスプリットを拡張すること。

実験結果

リサーチクエスチョン

• RQ1 RCD(K,∞)-空間において、鋭いスペクトルギャップ λ₁ = K が成立する条件は何か？ これは、基底空間の幾何的スプリットを意味するか？
• RQ2 重み付きリーマン多様体における剛性結果（λ₁ = K ならばガウス因子が存在）が、滑らかでない距離測度空間へ拡張可能か？
• RQ3 RCD(K,∞)-空間における滑らかさの欠如およびダブリング条件の欠落を克服するには、どのようにしてスペクトルギャップの剛性を証明できるか？
• RQ4 固有関数の正則ラグランジュ的流れが、等長的スプリットを確立する上で果たす役割は何か？
• RQ5 スペクトルギャップにおける等号成立が、有限次元的 Lichnerowicz や Obata の定理と同様のスプリット構造をもたらすか？

主な発見

• RCD(K,∞)-空間におけるラプラシアンの最初のk個の固有値が鋭い下界Kに達している場合、空間は基底 RCD(K,∞)-空間とユークリッド距離を備えたℝᵏとの積に等長的にスプリットする。
• 積空間上の基準測度は、基底測度とℝᵏ上での標準ガウス測度の積に一致する。すなわち、e^{-K|x|²/2}dx である。
• 固有関数の持ち上げとその勾配の正則ラグランジュ的流れを介して、等長的スプリットが確立され、流れがほとんど everywhere で距離を保存することが示された。
• 固有関数のヘッセ行列は恒等的に0であり、勾配が平行ベクトル場であることを示し、合成的幾何的議論によりスプリットが導かれた。
• 本結果は任意の重複度k ≥ 1で成り立ち、証明は反復的に行われ、k次元の場合を1次元の場合に還元する。
• 境界を持つ空間、例えば Y × [0,∞) では剛性が成り立たない。なぜなら、固有関数 u(y,t) = t は t = 0 における測度特異性のため W^{1,2} に属さないからである。