[论文解读] Submanifolds and differential forms on Carnot manifolds, after M. Gromov and M. Rumin

Pierre Pansu|arXiv (Cornell University)|Apr 21, 2016

Geometric Analysis and Curvature Flows参考文献 11被引用 10

一句话总结

本文對Carnot流形上的子流形和微分形式進行了全面分析，綜合了Gromov與Rumin的基礎工作。通過內蘊微分形式與上同調技術，建立了Carnot流形與歐幾里得空間之間的同胚映射的精確 Hölder 正則性界限，證明當存在正則的各向同性水平k-平面時，最佳 Hölder 指數 α(M,H) 的上界為 (n−k)/(Q−k)，且在某些情況下（如3維Heisenberg群）該界限是緊緻的。

ABSTRACT

The purpose of these notes is to explain parts of Gromov's survey of Carnot-Carathedory spaces, in the light of subsequent results of M. Rumin. Among the rich material provided by Gromov, most of which pertains to analysis on metric spaces, we choose to concentrate on the H{ö}lder equivalence problem for Carnot manifolds. The notes go to some extent into the PDE technique used by Gromov in order to construct horizontal submanifolds. Rumin's complex is explained too. The upshot is that both methods yield more or less the same conclusions as far as the H{ö}lder equivalence problem is concerned.

研究动机与目标

• 理解從歐幾里得空間到Carnot流形的同胚映射的Hölder正則性。
• 利用微分形式與上同調方法，確定Carnot流形的Hölder指數 α(M,H) 的精確上界。
• 研究正則各向同性子空間在約束相關Carnot李代數上同調中的作用。
• 在Carnot幾何背景下，推廣並精煉Gromov與Rumin關於子流形與微分形式的結果。
• 探討這些界限對次黎曼幾何中雙Lipschitz與擬共形等價的影響。

提出的方法

• 本文使用Rumin在Carnot群上提出的微分形式複形，分析相關李代數的上同調。
• 應用Poincaré對偶性與Rumin複形的結構，將某些上同調群的消失與幾何約束聯繫起來。
• 關鍵技術在於分析bidegree為 (k,w) 的形式上 d⁰ 的核，特別是在限制於正則各向同性子空間時。
• 引入 W_q(M,H) 的概念，即上同調 H^{q,w} 非平凡的最小度數，並與Hölder正則性界限聯繫起來。
• 利用等周不等式與水平曲線構造，推導出 α(M,H) 的上界。
• 證明若 H 中存在正則各向同性k-平面，則 H^{k,w} = 0 對所有 w ≥ k+1 成立，進而導出對 W_{n−k}(M,H) 及 α(M,H) 的界限。

实验结果

研究问题

• RQ1 從 R^n 到Carnot流形 (M,H) 的同胚映射的Hölder指數 α(M,H) 的精確上界為何？
• RQ2 正則各向同性水平子空間的存在如何約束相關Carnot李代數的上同調？
• RQ3 透過Rumin複形的微分形式方法，是否能比水平子流形方法獲得更緊緻的Hölder正則性界限？
• RQ4 α(Heis³) = 1/2 是否可達成，還是嚴格大於 1/2？
• RQ5 在何種條件下，擬共形齊性可推出存在H-保持的傳遞李群作用？

主要发现

• 對於任意等秩Carnot流形 (M,H)，若在某點存在正則各向同性水平k-平面，則 Hölder指數滿足 α(M,H) ≤ (n−k)/(Q−k)，其中 Q 為Hausdorff維數。
• 在3維Heisenberg群中，α(Heis³) 的最佳已知上界為 2/3，此結果來自等周不等式。
• 對於秩為2的分布（dim H = 2），若 dim(H³) ≥ 5，則 α(M,H) ≤ 1/2，此界限比僅使用 (n−1)-形式所得界限更緊緻。
• 若 H 中存在正則各向同性k-平面，則上同調群 H^{k,w}(g,R) 對所有 w ≥ k+1 消失，進而改善對 W_{n−k}(M,H) 的界限。
• 在存在正則各向同性k-平面的條件下，有 W_{n−k}(M,H) ≥ Q−k，此式推出 α(M,H) ≤ (n−k)/(Q−k)。
• 透過Rumin複形的微分形式方法，相比水平子流形方法，提供了更廣泛且更系統的框架，但一般情況下界限仍非緊緻。