[论文解读] 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

一句话总结

本文证明了在紧致解析流形上配备光滑测度的两步解析子黎曼结构，以及利普希茨卡诺特群，满足某类 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.

研究动机与目标

• 将测度收缩性质（MCP）的结果从已知情形（如海森堡群和 H-型群）扩展至更广泛的子黎曼结构类别。
• 在配备光滑测度的紧致解析流形上，建立两步解析子黎曼结构的 MCP(0,N)。
• 证明利普希茨卡诺特群满足 MCP(0,N)（N>1），并将结果与测地线维数联系起来。
• 通过解析与紧致性技术，提供一种定性、非基于曲率的 MCP 方法。

提出的方法

• 利用分布 Δ 与紧致解析流形上的度量 g 的解析性，确保几何量的光滑依赖性。
• 应用紧致性与局部解析参数化，控制测地线上体积密度函数 h(t,κ) 的行为。
• 采用 h(t,κ) 关于 t 的泰勒型展开（幂级数形式，系数为解析函数），分析原点附近的体积收缩。
• 利用柯西-施瓦茨不等式，对 h(t,κ) 的 L2 与 L1 范数之比进行控制，若等式趋近则导致矛盾。
• 利用柯西-施瓦茨不等式中等式成立当且仅当函数成比例的性质，结合展开式中非零常数项，导出矛盾。
• 在紧致参数集 K 上应用极限论证，表明体积收缩比不可能趋近于 1，除非 h≡0，而这对非退化结构不可能成立。

实验结果

研究问题

• RQ1 在配备光滑测度的紧致解析流形上，两步解析子黎曼结构是否满足 MCP(0,N)（N>1）？
• RQ2 是否可在不计算曲率的情况下，建立利普希茨卡诺特群的测度收缩性质？
• RQ3 子黎曼结构的测地线维数是否足以确定 MCP(0,N) 中的最优 N？
• RQ4 结构的解析性是否允许对 MCP(0,N) 进行定性而非定量的证明？

主要发现

• 在配备光滑测度的紧致解析流形上，两步解析子黎曼结构满足 MCP(0,N)（N>1）。
• 最优 N 的下界由结构的测地线维数决定，与卡诺特群的已知结果一致。
• 利普希茨卡诺特群满足 MCP(0,N)（N>1），结果基于解析性与紧致性，而非曲率计算。
• 证明表明，除非密度函数恒为零，否则体积收缩无法达到柯西-施瓦茨不等式的上界，而这对非退化情形不可能成立。
• 论证依赖于体积密度函数泰勒展开中常数项非零的性质，该性质阻止了柯西-施瓦茨不等式中的等式成立。