[論文レビュー] Measure contraction properties for two-step analytic sub-Riemannian structures and Lipschitz Carnot groups

Zeinab Badreddine, Ludovic Rifford|arXiv (Cornell University)|Dec 28, 2017

Geometric Analysis and Curvature Flows参考文献 19被引用数 5

ひとこと要約

この論文は、滑らかな測度を備えたコンパクトな解析的多様体上の2段階の解析的部分リーマン構造、およびリプシッツCarnot群が、あるN>1に対して測度収縮性質MCP(0,N)を満たすことを確立している。証明は解析性とコンパクト性の議論に依存し、測地線に沿った体積収縮を制御し、測地次元が最適なNを決定することを示しており、ヘイゼンベルク群やH-型群に対する既存の結果を拡張している。

ABSTRACT

We prove that two-step analytic sub-Riemannian structures on a compact analytic manifold equipped with a smooth measure and Lipschitz Carnot groups satisfy measure contraction properties.

研究の動機と目的

• ヘイゼンベルク群やH-型群のような既知のケースを超えて、より広いクラスの部分リーマン構造へ測度収縮性質(MCP)を拡張すること。
• 滑らかな測度を備えたコンパクトな解析的多様体上の2段階の解析的部分リーマン構造に対してMCP(0,N)を確立すること。
• リプシッツCarnot群が、あるN>1に対してMCP(0,N)を満たすことを示し、その結果を測地次元に関連付けること。
• 曲率の計算に依存しない、定性的な手法によるMCPの証明を提供すること。

提案手法

• コンパクトな解析的多様体上の分布Δおよび計量gの解析性を用いて、幾何的量の滑らかな依存性を保証する。
• コンパクト性と局所的解析的パラメータ表示を適用し、測地線に沿った体積密度関数h(t,κ)の挙動を制御する。
• h(t,κ)をtのべき級数として展開（解析的係数を有する）し、原点付近での体積収縮を分析する。
• コーシー＝シュワルツの不等式を用いて、h(t,κ)のL2ノルムとL1ノルムの比を評価し、等号に近づくと矛盾が生じることを示す。
• コーシー＝シュワルツの等号成立は関数の比例を意味するが、展開における非ゼロ定数項の存在により、これは矛盾を引き起こす。
• コンパクトなパrameter集合K上で極限議論を適用し、体積収縮比が1に近づくことは、h≡0である場合に限ることを示し、非退化構造ではそれが不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな解析的多様体上の2段階の解析的部分リーマン構造は、あるN>1に対してMCP(0,N)を満たすか？
• RQ2 曲率の計算を伴わず、リプシッツCarnot群に対して測度収縮性質を確立できるか？
• RQ3 部分リーマン構造の測地次元が、MCP(0,N)における最適なNを決定するのに十分か？
• RQ4 構造の解析性が、定性的で定量的でないMCP(0,N)の証明を可能にするか？

主な発見

• 滑らかな測度を備えたコンパクトな解析的多様体上の2段階の解析的部分リーマン構造は、あるN>1に対してMCP(0,N)を満たす。
• 最適なNは、構造の測地次元によって下界で抑えられ、Carnot群に関する既知の結果と整合的である。
• リプシッツCarnot群は、あるN>1に対してMCP(0,N)を満たすが、その結果は曲率の計算ではなく解析性とコンパクト性に依存している。
• 証明では、体積収縮がコーシー＝シュワルツの不等式の上限に達することは、密度関数が恒等的に0でない限り不可能であることが示されている。
• コーシー＝シュワルツの等号が成立しない理由は、体積密度のテイラー展開における定数項がゼロでないことに起因する。