[論文レビュー] Applications conformes {\`a} grande {\'e}chelle

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

Mathematical Dynamics and Fractals被引用数 2

ひとこと要約

本稿は、大規模な球のパッキング構造を制御された歪みで保つことによって定義される、距離空間間の新しい大規模共形写像の概念を導入する。この写像は、ノルム群における多項式的体積成長指数および双曲的群の境界の共形次元によって測定される次元の増加を引き起こすことが示され、新しい測度に基づく ℓp-コホモロジー枠組みが用いられる。主な結果として、非放物的条件下では、特定の空間間の大規模共形写像は必ず quasi-isometry であることが示される。

ABSTRACT

Roughly speaking, let us say that a map between metric spaces is large scale conformal if it maps packings by large balls to large quasi-balls with limited overlaps. This quasi-isometry invariant notion makes sense for finitely generated groups. Inspired by work by Benjamini and Schramm, we show that under such maps, some kind of dimension increases: exponent of volume growth for nilpotent groups, conformal dimension of the ideal boundary for hyperbolic groups. A purely metric space notion of {\ell} p-cohomology plays a key role.

研究の動機と目的

• 大規模共形写像を、quasi-isometry に関して不変な概念として定義し、離散的・粗い空間へ共形幾何を一般化すること。
• 有限生成群間の大規模共形写像が、体積成長指数や共形次元などの幾何的不変量の増加を引き起こすことを確立すること。
• ℓp-コホモロジーの純粋な測度論的構成を幾何的エネルギーおよび容量関数に置き換える、測度に基づく新しい定式化を考案し、次元増加定理の証明の主要な道具とする。
• 剛性結果の証明：特定の空間間の大規模共形ホメオモルフィズムは、非放物的条件のもとで必ず quasi-isometry であることを示すこと。
• 粗い共形性、一様共形性、および quasi-isometry の関係を、特に1次元および高ランクの設定において探求すること。

提案手法

• 大規模な球のパッキングの像が、重複度が有界な一様制御された quasi-ball パッキングに写されるという方法で、大規模共形写像を定義する。
• 測度論的構成を幾何的エネルギーおよび容量関数に置き換えることで、ℓp-コホモロジーの新しい測度に基づく定義を導入する。
• パッキング上のエネルギーおよびモジュラス推定を用いて、(p,ℓ,R,S)-容量 δp,ℓ,R,S(x₁,x₂) を定義・分析し、これにより放物性およびコホモロジーの消滅と関連付ける。
• 大規模共形写像の下での ℓp-コホモロジーのファンクター性を確立し、非自明なコホモロジーが保存されることを示す。
• ワーペッド積および Poincaré モデルの理論を用いて、双曲的空間およびその境界の幾何を分析する。
• Grötzsch 変動および等周的次元を用いて、幾何的不変量を比較し、容量の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 quasi-isometry に関して不変であり、離散群に適用可能な大規模レベルでの共形性の概念を定義することは可能か？
• RQ2 2つの群の間で大規模共形写像が存在する場合、体積成長や共形次元などの幾何的不変量に下界が存在するか？
• RQ3 大規模共形写像が、空間どうしを quasi-isometry に強制する程度はどの程度か？
• RQ4 ℓp-コホモロジーを純粋に測度論的でない幾何的言語で再定式化することは可能か？ そのような定式化が大規模共形写像の不変量として機能するか？
• RQ5 空間の幾何的性質（例えば、非放物的性）が、大規模共形写像が実際に quasi-isometry であることを保証するための条件は何か？

主な発見

• 有限生成群またはリー的ノルム群 G から G′ への大規模共形写像が存在する場合、体積成長指数について d₁(G) ≤ d₂(G′) が成り立つ。ここで d₂(G′) は G′ の境界の共形次元である。
• 非自明な双曲的群に対して、大規模共形写像 G → G′ が存在する場合、ℓp-コホモロジーが消えない最小の p について、CohDim(G) ≤ ConfDim(G′) が成り立つ。
• 空間 X が強く (p,ℓ,R,S)-非放物的であり、X′ が局所的に Ahlfors 正則で次元 ≤ p である場合、任意の粗い共形写像 X → X′ は一様共形である。
• 強い非放物的性および制御された球の条件のもとで、逆写像もまた大規模共形である大規模共形ホメオモルフィズム f: X → X′ が存在する場合、f は quasi-isometry である。
• 1次元の場合、f と g が大規模共形であり、g∘f および f∘g が粗い埋め込みであるならば、f は quasi-isometry である。
• 理論により、非自明な双曲的群から有界幾何のリーマン多様体への粗い共形写像は、必ず一様共形であり、これによりコホモロジー的剛性が導かれる。