[論文レビュー] Some applications of l_p-cohomology to boundaries of Gromov hyperbolic spaces

Marc Bourdon, Bruce Kleiner|arXiv (Cornell University)|Mar 6, 2012

Geometric and Algebraic Topology参考文献 21被引用数 13

ひとこと要約

本稿は、Gromov 超曲空間における $β$-コホモロジーの理解を進めるものであり、連続的 $β$-コホモロジー類の新たな構成を通じて、共形次元と組合せ的 Loewner 性質（CLP）に関する重要な結果を得ている。双曲群の境界がシエルピンスキー・カーペットであるような群が、共形次元を 1 に限りなく近づけることができることを示し、CLP を満たさない群の柔軟な構成法を提供することで、Bonk や Heinonen、Mackay が提起した未解決問題を解消している。

ABSTRACT

We study quasi-isometry invariants of Gromov hyperbolic spaces, focussing on the l_p-cohomology and closely related invariants such as the conformal dimension, combinatorial modulus, and the Combinatorial Loewner Property. We give new constructions of continuous l_p-cohomology, thereby obtaining information about the l_p-equivalence relation, as well as critical exponents associated with l_p-cohomology. As an application, we provide a flexible construction of hyperbolic groups which do not have the Combinatorial Loewner Property, extending and complementing earlier examples. Another consequence is the existence of hyperbolic groups with Sierpinski carpet boundary which have conformal dimension arbitrarily close to 1. In particular, we answer questions of Mario Bonk and John Mackay.

研究の動機と目的

• Gromov 超曲空間において、有界幾何と非退化性を満たす連続的 $β$-コホモロジー類の新たな構成法を開発すること。
• $p_{\neq 0}(X)$, $p_{\mathrm{sep}}(X)$ および境界上の $β$-同値関係といった quasi-isometry 不変量を分析すること。
• 双曲群における $β$-コホモロジー、共形次元、および組合せ的 Loewner 性質（CLP）の関係を調査すること。
• シエルピンスキー・カーペット境界の共形次元に関する未解決問題と、CLP を満たさない群の存在に関する問題を解消すること。
• 既存の非 Loewner 境界の例を拡張し、制御された $β$-コホモロジー不変量を持つ、柔軟な双曲群の族を構成すること。

提案手法

• 曲率と辺の長さを制御した単体複体上で、幾何学的・組合せ的手段を用いて連続的 $β$-コホモロジー類を構成する。
• 非正曲率の単体複体における角度推定と凸性の議論を用い、コホモロジー類を支える凸部分集合を構築する。
• 基本的多角形複体の理論を応用し、2-セルの周囲を制御し、臨界指数の上限を得る。
• $p_{\mathrm{sep}}(X)$ と Ahlfors 正規共形次元の関係を活用して、共形次元の上界を導く。
• 組合せ的 Loewner 性質（CLP）およびその不成立を用いて、コックスター群における $p_{\neq 0}(X)$ と $p_{\mathrm{sep}}(X)$ の振る舞いを分析する。
• [BK13] および [Bou04] の結果を応用し、結合積や多角形複体における共形次元と臨界指数の関係を導く不等式を得る。

実験結果

リサーチクエスチョン

• RQ1 双曲群の境界がシエルピンスキー・カーペットである場合、その共形次元を 1 に限りなく近づけることは可能か？
• RQ2 どのような条件下で双曲群は組合せ的 Loewner 性質（CLP）を満たさなくなるか？
• RQ3 臨界指数 $p_{\neq 0}(X)$ と $p_{\mathrm{sep}}(X)$ は、双曲群における共形次元および $β$-コホモロジーとどのように関係しているか？
• RQ4 有界幾何を持つ Gromov 超曲空間において、$β$-コホモロジー類の新たな構成法を体系的に得ることは可能か？
• RQ5 組合せ的モジュラスと $β$-同値関係は、双曲群の quasi-isometry 型を区別する上で果たす役割は何か？

主な発見

• 境界がシエルピンスキー・カーペットである双曲群が存在し、その共形次元は 1 に限りなく近づけることができ、Bonk や Heinonen、Mackay が提起した問いに答えている。
• 四面体的定義グラフをもつ双曲コックスター群について、$m = \max_i \min_{j \neq i} m_{ij} \geq 5$ のとき、共形次元は $1 + \frac{\log 2}{\log(m-3)}$ で上界が与えられ、$m \to \infty$ のとき 1 に近づく。
• 完全二部グラフにおいて、ある頂点に接続する辺の次数 $m_{ij}$ を増加させることで、得られるコックスター群は CLP を満たさなくなるが、残りのグラフの共形次元が $>1$ であっても同様である。
• 周辺係数が大きいとき、$p_{\neq 0}(X)$ は周辺部分群の共形次元よりも厳密に小さくなり、これにより CLP の不成立が示される。
• 測地線的線分と関連する単体による凸部分集合の構成により、$β$-コホモロジー類が適切に定義され、連続的であることが保証され、臨界指数の制御が可能になる。
• 本稿は、[Bou04] や [BK13] の既存の例を補完する形で、CLP を満たさない双曲群を柔軟に生成する手法を提供している。