[論文レビュー] Sublinear quasiconformality and the large-scale geometry of Heintze groups

Gabriel Pallier|arXiv (Cornell University)|May 22, 2019

Geometric Analysis and Curvature Flows参考文献 58被引用数 4

ひとこと要約

本稿は、ヘイントツェ群および負に曲がった空間の大規模幾何を研究するため、準等角性の一般化としての部分線形準等角性を導入する。新たな共形次元不変量 $\operatorname{Cdim}_{O(u)}$ を定義し、これは特定のリーマン的負に曲がった同次空間およびフクシアンビルディングを部分線形リプシッツ同値関係に関して区別する。さらに、アーベル的ニルラダルを備えた純粋実ヘイントツェ群が $O(u)$-部分線形的にリプシッツ同値である場合、その $S_\infty$-極限が同型であることを証明し、次元3の場合の予想を解決する。

ABSTRACT

This article analyzes sublinearly quasisymmetric homeo-morphisms (generalized quasisymmetric mappings), and draws applications to the sublinear large-scale geometry of negatively curved groups and spaces. It is proven that those homeomorphisms lack analytical properties but preserve a conformal dimension and appropriate function spaces, distinguishing certain (nonsymmetric) Riemannian negatively curved homogeneous spaces, and Fuchsian buildings, up to sublinearly biLipschitz equivalence (generalized quasiisometry).

研究の動機と目的

• 大規模幾何を研究するため、準等角写像の理論を部分線形的準等角同相写像へと拡張すること。
• 部分線形リプシッツ同値関係に関して保存される新しい共形次元不変量 $\operatorname{Cdim}_{O(u)}$ を定義し、計算すること。
• アーベル的ニルラダルを備えた純粋実ヘイントツェ群を、$S_\infty$-極限構成を用いて部分線形リプシッツ同値関係に関して分類すること。
• この不変量が、部分線形リプシッツ同値関係に関して、フクシアンビルディングおよび特定のリーマン的負に曲がった空間を区別できることを示すこと。

提案手法

• 部分線形関数 $u$ を含む適切な漸近的クラス $O(u)$ を用いて、$O(u)$-準等角同相写像を定義し、準等角性を一般化する。
• 双曲的空間のグロモフ境界の粗い不変量として、新しい共形次元 $\operatorname{Cdim}_{O(u)}$ を定義する。
• 部分線形的準等角写像に関して、パラメータシフトを除き不変な局所有界 $p$-変動関数空間を構成する。
• $S_\infty$-極限構成を用いて、ヘイントツェ群における部分線形リプシッツ同値関係と漸近的構造の同型を関連付ける。
• 理論を応用し、ボルドンビルディングの $\operatorname{Cdim}_{O(u)}$ を計算し、古典的共形次元に等しいことを示す。
• 適切な関数 $u$ を用いたメトリック推定と対数的歪み制御により、新しい共形次元の不変性および安定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 純粋実ヘイントツェ群が $O(u)$-部分線形的にリプシッツ同値である場合、その $S_\infty$-極限が同型であるか？
• RQ2 新しい共形次元 $\operatorname{Cdim}_{O(u)}$ は、部分線形リプシッツ同値関係に関して、非等長なフクシアンビルディングを区別できるか？
• RQ3 部分線形的準等角写像は、パラメータシフトを除き、有界 $p$-変動関数空間を保存するか？
• RQ4 $\operatorname{Cdim}_{O(u)}$ は、ヘイントツェ群およびボルドンビルディングにおいて古典的パンスの共形次元に等しいか？
• RQ5 $O(u)$-準等角写像における ACL 性質の欠如は、解析的不変量から大域的幾何的不変量への移行を必要とするか？

主な発見

• アーベル的ニルラダルを備えた純粋実ヘイントツェ群に対して、$O(u)$-部分線形的リプシッツ同値関係は、その $S_\infty$-極限の同型を示し、次元3の場合のコーニュリエの予想を確認する。
• ボルドンビルディング $I_{pq}$ の境界の共形次元 $\operatorname{Cdim}_{O(u)}$ は $1 + \frac{\log(q-1)}{\log(p-1)}$ に等しく、古典的共形次元と一致する。
• $\operatorname{Cdim}_{O(u)}$ は部分線形的準等角同相写像に関して不変であり、特定のリーマン的負に曲がった同次空間を区別する。
• 有界 $p$-変動関数空間は、パラメータ $p$ のシフトを除き、部分線形的準等角写像に関して不変であり、追加の不変量を提供する。
• $\mathbf{R}^2$ 上の $O(u)$-準等角構造は、ACL 性質が欠如しているにもかかわらず、適切に定義され、積写像に関して安定である。
• 新しい共形次元 $\operatorname{Cdim}_{O(u)}$ は、パンスおよびボルドンが研究した例において、古典的 $\operatorname{Cdim}$ と一致する。