[論文レビュー] 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

ひとこと要約

本稿は、グロモフとルーミンの基礎的研究を統合し、カルノー多様体上の部分多様体および微分形式について包括的な分析を提供する。内在的な微分形式およびコホロジー的技法を用いて、カルノー多様体とユークリッド空間間のホメオモルフィズムの鋭いホルダー正則性バインディングを確立し、正則な等方的水平k次元部分空間が存在する場合、最適なホルダー指数α(M,H)は(n−k)/(Q−k)で上から抑えられ、特に3次元ヘイゼンベルク群のような状況ではこれが鋭い境界であることを証明する。

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.

研究の動機と目的

• ユークリッド空間からカルノー多様体へのホメオモルフィズムのホルダー正則性を理解すること。
• 微分形式およびコホロロジー的技法を用いて、カルノー多様体のホルダー指数α(M,H)の鋭い上界を特定すること。
• 正則な等方的部分空間が関連するカルノー Lie 群のコホロロジーを制約する役割を調査すること。
• カルノー幾何学の文脈において、グロモフおよびルーミンの部分多様体および微分形式に関する結果を拡張・精緻化すること。
• これらのバインディングが、部分リーマン幾何学における双リプシッツおよびクワシーコンフォーマル同値に与える影響を検討すること。

提案手法

• 本稿は、カルノー群上のルーミンの微分形式複体を用いて、関連 Lie 群のコホロロジーを分析する。
• ポincare双対性およびルーミン複体の構造を適用し、特定のコホロロジー群の消滅が幾何的制約と関係することを示す。
• 主な技術は、bidegree (k,w) の形式における微分 d⁰ の核を解析することであり、特に正則な等方的部分空間に制限した場合に注目する。
• 本稿は、H^{q,w} が非自明になる最小の次数 W_q(M,H) を導入し、これとホルダー正則性バインディングを結びつける。
• 等周不等式および水平曲線の構成を用いて、α(M,H) の上界を導出する。
• 正則な等方的k次元平面がHに存在するならば、H^{k,w} = 0 が w ≥ k+1 のとき成り立つことが示され、これにより W_{n−k}(M,H) および α(M,H) のバインディングが得られる。

実験結果

リサーチクエスチョン

• RQ1 R^n からカルノー多様体 (M,H) へのホメオモルフィズムのホルダー指数 α(M,H) の鋭い上界は何か？
• RQ2 正則な等方的水平部分空間の存在が、関連するカルノー Lie 群のコホロロジーをどのように制約するか？
• RQ3 ルーミンの複体による微分形式のアプローチは、水平部分多様体法よりも鋭いホルダー正則性バインディングをもたらすか？
• RQ4 α(Heis³) = 1/2 は達成可能か、それとも 1/2 よりも厳密に大きいのか？
• RQ5 クワシーコンフォーマル同値性から、H を保存するトランスミッション型の Lie 群作用が存在する条件は何か？

主な発見

• 任意の等規則的カルノー多様体 (M,H) において、ある点で正則な等方的水平k次元部分空間が存在する場合、ホルダー指数は α(M,H) ≤ (n−k)/(Q−k) を満たす。ここで Q は Hausdorff次元である。
• 3次元ヘイゼンベルク群では、等周不等式から得られる α(Heis³) の最良の既知の上界は 2/3 である。
• ランク2の分布（dim H = 2）において、dim(H³) ≥ 5 ならば、α(M,H) ≤ 1/2 が成り立ち、これは (n−1)-形式からのバインディングよりも鋭い。
• 正則な等方的k次元平面がHに存在するならば、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) が導かれる。
• ルーミンの複体による微分形式のアプローチは、水平部分多様体法よりも広範かつ体系的な枠組みを提供するが、一般にはバインディングが鋭くない。