[論文レビュー] Characterizations of $k$-rectifiability in homogenous groups

Kennedy Obinna Idu, Valentino Magnani+1 more|arXiv (Cornell University)|Sep 8, 2020

Advanced Topology and Set Theory参考文献 19被引用数 4

ひとこと要約

本稿では、任意の同次群において、Borel集合が $k$-可解であるための必要十分条件として、$\mathcal{H}^k$-almost everywhere で $(k,\mathbb{G})$-近似接群が存在することを確立している。著者らは、このような近似接群の a.e. 存在が $k$-可解性を特徴づけることを証明し、古典的なユークリッド空間における結果を、同次群の部分リーマン幾何的設定へと拡張した。この結果は、接測度と純粋に非可解集合における密度推定を用いることで得られた。

ABSTRACT

A well known notion of $k$-rectifiable set can be formulated in any metric space using Lipschitz images of subsets of $\mathbb{R}^k$. We prove some characterizations of $k$-rectifiability, when the metric space is an arbitrary homogeneous group. In particular, we show that the a.e. existence of the $(k,\mathbb{G})$-approximate tangent group implies $k$-rectifiability.

研究の動機と目的

• 任意の同次群における $k$-可解集合を、幾何測度論的道具を用いて特徴づけること。
• 古典的な近似接平面による可解性の特徴づけを、同次群の部分リーマン幾何的設定へと拡張すること。
• 同次群における $\mathcal{H}^k$-a.e. での $(k,\mathbb{G})$-近似接群の存在が $k$-可解性を示すことの証明により、分層リーマン群上の幾何測度論における重要な問いを解決すること。
• ヘイゼンベルク群や他の同次空間における可解性に関する先行研究を統合・一般化し、内挿的で強固な接群の概念を導入すること。

提案手法

• 著者らは、スケーリングされた測度の弱極限を用いて定義される $(k,\mathbb{G})$-近似接群の概念を用い、同次群における可解性を特徴づける。
• 純粋に非可解な集合における接測度と密度推定を用いて、集合の点の近くにおける $\mathcal{H}^k$-測度の振る舞いを制御する。
• 水平グラスマン多様体 $\mathcal{H}(\mathbb{G},k)$ のコンパクト性に依拠し、モデル接群の周囲に有限個の錐で集合を被覆する。
• 主要な技術的ステップとして、内在的距離と水平射影を用いて、異なる部分群への距離を比較し、不等式 $d(x,\mathbb{T}) \geq c_\mathbb{G} \| \pi_\mathbb{T}(x)^{-1} \pi_{\mathbb{T}^\perp}(x) \pi_\mathbb{T}(x) \|$ を活用する。
• フェデラーの可解性基準を適用し、接群の周囲の錐における $\mathcal{H}^k \llcorner E$ の密度がスケールゼロで消えることを示し、非可解部分集合上で $\mathcal{H}^k$-測度がゼロであることを示す。
• $\mathcal{H}^k \llcorner E$ が局所的有限であることに着目し、固定された開口角を持つ錐による被覆論法を用いて、測度の減少を制御する。

実験結果

リサーチクエスチョン

• RQ1 同次群において、$\mathcal{H}^k$-a.e. での $(k,\mathbb{G})$-近似接群の存在は $k$-可解性を示すか？
• RQ2 古典的な近似接平面による可解性の特徴づけを、非ユークリッド的同次群へと拡張可能か？
• RQ3 部分リーマン空間内の純粋に非可解集合において、密度推定と接測度はどのように作用するか？
• RQ4 点 $p \in E$ において $\mathcal{H}^k$-a.e. で一意な $(k,\mathbb{G})$-近似接群が存在することは、$k$-可解性の特徴づけに十分か？
• RQ5 水平グラスマン多様体や内在的錐といった内在的幾何的構造は、分層リーマン群における可解性の概念をどの程度洗練させるか？

主な発見

• $\mathcal{H}^k$-a.e. での点 $p \in E$ における $(k,\mathbb{G})$-近似接群の存在は、$E$ が $k$-可解であることを示す。
• 任意の同次群において、$k$-可解性と $\mathcal{H}^k$-a.e. での $(k,\mathbb{G})$-近似接群の存在の同値性が成り立つ。
• 証明により、$E$ の純粋に非可解部分集合の $\mathcal{H}^k$-測度がゼロであることが示され、内在的距離と水平射影による錐の減少を制御することで得られた。
• 固定された開口角を持つ錐による被覆論法を用いて、密度 $\Theta^{*k}(E,p)$ が純粋に非可解部分でゼロであることを示した。
• 本結果は、同次群へのプレイス型定理を一般化し、可解性が近似接群の存在によって特徴づけられることを示した。
• 主な不等式 $\| \pi_{\mathbb{T}_p}(x)^{-1} \pi_{\mathbb{T}_p^\perp}(x) \pi_{\mathbb{T}_p}(x) \| \geq \left( \frac{2}{3} - \frac{\epsilon_0}{c_\mathbb{G}} \right) \|x\|$ により、十分に小さな $\epsilon_0$ に対して、$X(p,\mathbb{V}_i^\perp,\epsilon_0)$ の点が $X(p,\mathbb{T}_p,\epsilon_0)$ の外側にあることが保証され、錐比較が可能になる。