[論文レビュー] C^1 Hypersurfaces of the Heisenberg Group are N-Rectifiable

Daniel R. Cole, Scott D. Pauls|ArXiv.org|Jul 13, 2004

Geometric Analysis and Curvature Flows参考文献 8被引用数 16

ひとこと要約

この論文は、Carnot-Carathéodory距離を用いて、3次元ヘイゼンベルク群内の$C^1$超曲面が、部分群$N = \{(0,y,z)\}$に関する可算$N$-可縮性を示す。具体的には、Lipschitz連続なパラメータ化を構成することで、このような超曲面が$N$-可縮性の意味で可縮性を有することを確認している。主な結果は、$C^1_H$グラフに関する既知の結果を一般化し、幾何的構造と測度論的可縮性の関係を、サブリーマン幾何における明示的かつ構成的証明によって結びつける。

ABSTRACT

We show that C^1 hypersurfaces in the Heisenberg group are countably N-rectifiable. As a corollary, this shows that all C^1_H graphs over the xy-plane are countable N-rectifiable, showing the equivalence of this notion of rectifiability with that of Franchi, Serra Cassano and Serapioni for such surfaces.

研究の動機と目的

• 3次元ヘイゼンベルク群内の$C^1$超曲面の$N$-可縮性を確立すること、ここで$N$は部分群$\{(0,y,z)\}$である。
• ヘイゼンベルク群における一般の$C^1$超曲面へ、可縮性の概念を$C^1_H$グラフから拡張すること。
• C^1$超曲面の幾何的構造が、$N$-可縮性の測度論的枠組みと整合することを示すこと。
• Lipschitz写像とCarnot測度を用いた構成的証明により、可縮性条件を検証すること。
• Paulsが導入した$N$-可縮性とFranchi, Serra Cassano, Serapioniの$χ$-可縮性の2つの概念が、$C^1_H$グラフにおいて等価であることを示すこと。

提案手法

• 著者たちは、ヘイゼンベルク群から誘導される退化した計量を有する部分群$N = \{(0,y,z)\}$上の距離を計算するためにCarnot測度を用いる。
• 水平ベクトル場$X$および$Y$の流れに基づく水平曲線の構成を用いて、$C^1$超曲面の一部を$N$内のドメインへ写像するLipschitzパラメータ化を構成する。
• 証明は、$\partial_z f$の有界性および$Xf$と$Yf$のリプシッツ連続性を用いて、2つの水平曲線の差を評価することに依存する。
• Gronwallの不等式を用いて、パラメータ化された曲線間の差の成長を制御し、リプシッツ条件の成立を保証する。
• $f$が$C^1_H$であるという事実を用いて、曲線の垂直方向の変動を水平方向の変位と$f$の微分の項で評価する。
• 最終的な評価では、パラメータ化による像の間の距離が、$|z_1 - z_2|^{1/2}$の定数倍で抑えられることを示し、Carnot測度におけるリプシッツ性が確認される。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群内の$C^1$超曲面は、$N = \{(0,y,z)\}$に対して可算$N$-可縮性を有するか？
• RQ2 $N$-可縮性（Paulsによる定義）と$χ$-可縮性（Franchi, Serra Cassano, Serapioniによる定義）は、$C^1_H$グラフにおいて一致するか？
• RQ3 標準的なユークリッド射影手法の失敗にもかかわらず、ヘイゼンベルク群内の$C^1$超曲面に対して明示的なLipschitzパラメータ化を構成できるか？
• RQ4 Carnot-Carathéodory距離は、サブリーマン幾何における超曲面の可縮性にどのように影響を与えるか？
• RQ5 水平正則性を持つ$f$の性質が、パラメータ化のリプシッツ性を保証するために果たす役割は何か？

主な発見

• 本論文は、Carnot測度を用いた明示的Lipschitzパラメータ化の構成により、ヘイゼンベルク群内の任意の$C^1$超曲面が可算$N$-可縮性を有することを証明する。ここで$N = \{(0,y,z)\}$である。
• 主な評価では、パラメータ化による2点の像間の距離が、定数倍の$|z_1 - z_2|^{1/2}$で抑えられることを示し、Carnot測度におけるリプシッツ性が確認される。
• 証明により、$|\eta_1(y) - \gamma_1(y)| \leq \frac{L}{K} e^{1/2} |z_2 - z_1|$が得られ、パラメータ化における水平方向の変位が制御される。
• 垂直方向の変動は、$|\eta_3(y) - \gamma_3(y)| \leq \left(1 + \frac{3e^{1/2}}{4}\right)|z_2 - z_1|$を満たし、$z$方向での有界性が保証される。
• Carnot測度距離に対する最終的な評価は、$\left((\gamma_1(y_2)-\eta_1(y_2))^4 + (\gamma_3(y_2)-\eta_3(y_2))^2\right)^{1/4} \leq A_2 |z_1 - z_2|^{1/2}$であり、$A_2$は定義域上で有界である。
• 系として、$xy$-平面への$C^1_H$グラフはすべて可算$N$-可縮性を有し、Franchi, Serra Cassano, Serapioniによる$\mathbb{H}$-可縮性と等価であることが確認される。