[論文レビュー] Rigidity of fiber-preserving quasisymmetric maps

Enrico Le Donne, Xiangdong Xie|arXiv (Cornell University)|Jan 10, 2015

Geometric Analysis and Curvature Flows参考文献 9被引用数 3

ひとこと要約

本稿では、特定の距離空間、すなわち $(\alpha,L)$-ファイバー付きクェイシメトリック空間におけるファイバーを保存するクアシシンメトリック写像が、必ず双リプシッチであることを確立している。主な結果は、平行性、非孤立性、非平行ファイバーの発散という条件下で、ファイバーを保存するクアシシンメトリック写像は、必ず擬似相似写像（quasi-similarity）であることが示され、したがって双リプシッチである。この剛性結果は、第一層が可約なカルノー群およびハイゼンベルク群に応用され、垂直線を保存するクアシシンメトリック写像が双リプシッチであることを証明している。

ABSTRACT

We show that fiber-preserving quasisymmetric maps are biLipschitz. As an application, we show that quasisymmetric maps on Carnot groups with reducible first stratum are biLipschitz.

研究の動機と目的

• ファイバー（ファイブレーション）を保存するクアシシンメトリック写像が双リプシッチである一般の剛性条件を確立すること。
• $(\alpha,L)$-ファイバー付きクェイシメトリック空間の定義と構造の分析を行い、負に曲げられた可解リー群の理想境界の主要な幾何的特徴を捉えること。
• 主な剛性結果を、第一層が可約なカルノー群上でのクアシシンメトリック写像に適用し、それが双リプシッチであることを証明すること。
• ハイゼンベルク群上での垂直線を保存するクアシコンフォーマル写像に対しても結果を拡張し、それらが双リプシッチであることを示すこと。
• Dymarzの定理（$N \times \mathbb{Q}_m$ 上のクアシシンメトリック写像が双リプシッチである）の新たな証明を提供すること。

提案手法

• $($\alpha,L$)$-ファイバー付きクェイシメトリック空間の概念を導入し、ファイバーが非有界測地線空間とスノーフレーク同値であり、平行性および発散条件を満たすことを要請する。
• ファイバーを保存するクアシシンメトリック写像を定義し、クェイシメトリック定数およびパrameters $\alpha$、$L$、$\eta$ を用いて歪みを制御することで、これが擬似相似写像（quasi-similarity）であることを示し、したがって双リプシッチであることを導く。
• 特にリー代数の層構造と層を保存する自己同型の作用を特徴とするカルノー群の構造を用いて、ファイバー付きクェイシメトリック空間の公理を検証する。
• ヘイゼンベルク群 $H^n$ に主定理を適用し、ファイバーが垂直線であることを用いて、クアシシンメトリック写像がファイバーを保存するならば、$\alpha = 1/2$、$L$-リプシッチ的同値性により $\mathbb{R}$ に $1/2$-スノーフレーク距離を備えた空間とみなせるため、双リプシッチであることを示す。
• $N \times \mathbb{Q}_m$（$N$ をカルノー群、$\mathbb{Q}_m$ を $m$ 進整数）に於いて、すべてのクアシシンメトリック写像が双リプシッチであることを、ファイバー付きクェイシメトリック空間の公理をすべて満たすことを検証し、定理1.1を適用することで証明する。
• Baker–Campbell–Hausdorffの公式およびリー括弧の性質を用いて、共役作用およびスケーリング下での群元の挙動を分析し、共役部分群と元の部分群との間でヒューベルト距離が有限であると仮定すると、共役要素が部分群を正規化しない場合に矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 クェイシメトリック空間において、ファイバーを保存するクアシシンメトリック写像が双リプシッチになる条件は何か？
• RQ2 負に曲げられた可解リー群の理想境界上でのクアシシンメトリック写像の剛性は、ファイバーを保存する構造に還元可能か？
• RQ3 第一層が可約なカルノー群上でのクアシシンメトリック写像は、必ず双リプシッチであるか？
• RQ4 垂直線を保存するハイゼンベルク群上でのクアシコンフォーマル写像は、双リプシッチでなければならないか？
• RQ5 $N \times \mathbb{Q}_m$（$N$ をカルノー群、$\mathbb{Q}_m$ を $m$ 進整数）上でのすべてのクアシシンメトリック写像は、必ず双リプシッチであるか？

主な発見

• $X$ と $Y$ が $(\alpha,L)$-ファイバー付きクェイシメトリック空間であるとき、$\eta$-クアシシンメトリック写像 $F: X \to Y$ がファイバーを保存するならば、$(K,C)$-擬似相似写像（quasi-similarity）である。したがって双リプシッチであり、$K$ は $\eta$、$\alpha$、$L$、および $X$ と $Y$ のクェイシメトリック定数にのみ依存する。
• ヘイゼンベルク群 $H^n$ に対して、垂直線を保存する任意のクアシコンフォーマル写像は双リプシッチである。垂直線は $\mathbb{R}$ に $1/2$-スノーフレーク距離を備えた空間と $L$-リプシッチ同値であるため。
• $N \times \mathbb{Q}_m$ に最大距離を備えた空間構造を導入した場合、すべてのクアシシンメトリック写像は双リプシッチである。ファイバー $N \times \{y\}$ は、ファイバー付きクェイシメトリック空間のすべての公理を満たすため。
• 平行なファイバー $U$ と $V$ に対して $d(u,V) = d(v,U) = a$ が成り立つという条件は、$HD(U,V) < \infty$ に弱めることができない。より強い平行性条件の必要性を示す反例が提示されている。
• 第一層が可約なカルノー群において、すべての層を保存する自己同型 $A$ に対して、$V_1$ 内に非自明な $A$-不変部分空間が存在するならば、共役要素 $g$ が対応する部分群を正規化しないと仮定すると矛盾が生じる。これにより、このような写像は双リプシッチでなければならないことが証明される。