[論文レビュー] Rigidity of high dimensional graph manifolds

Roberto Frigerio, Jean‐François Lafont+1 more|arXiv (Cornell University)|Jul 11, 2011

Geometric and Algebraic Topology参考文献 89被引用数 16

ひとこと要約

本稿では、次元 ≥3 の有限体積双曲的多様体とトーラスの積に微分同相な部分多様体に分解され、境界トーラス上でアフィン写像によって貼り合わされる、高次元グラフ多様体——つまりコンパクトで滑らかな多様体——を導入する。次元 ≥6 において、Borel予想が成り立ち、滑らかさの剛性（smooth rigidity）が達成される：ホモトピー同値性から微分同相性が導かれる。主な貢献は、非可約グラフ多様体に対して、群がその基本群と群の間の群の構造を保つような、概等長的剛性定理の確立である。

ABSTRACT

We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic manifold with toric cusps. The various pieces are attached together via affine maps of the boundary tori. We require all the hyperbolic factors in the pieces to have dimension at least 3. Our main goal is to study this class of graph manifolds from the viewpoint of rigidity theory. We show that, in high dimensions, the Borel conjecture holds for our graph manifolds. We also show that smooth rigidity holds within the class: two graph manifolds are homotopy equivalent if and only if they are diffeomorphic. We introduce the notion of irreducible graph manifolds, which form a subclass which has better coarse geometric properties. We establish some structure theory for finitely generated groups which are quasi-isometric to the fundamental group of an irreducible graph manifold: any such group has a graph of groups splitting with strong constraints on the edge and vertex groups. Finally, we prove that in every dimension >3 there exist examples of irreducible graph manifolds which do not support any locally CAT(0) metric.

研究の動機と目的

• 高次元グラフ多様体の定義と、3次元多様体のグラフ多様体を高次元に一般化した新しいクラスの体系的考察。
• 次元 ≥6 におけるこのクラスの多様体に対して Borel 予想を確立すること。
• 滑らかさの剛性の証明：2つの高次元グラフ多様体がホモトピー同値であるための必要十分条件は、それらが微分同相であることである。
• 非可約グラフ多様体の概念を導入し、基本群の概等長埋め込みを通じてその粗い幾何的性質を分析すること。
• 自由アーベル群と SO(n,1) の非均一格子の積と概等長的な群の分類を行い、非可約グラフ多様体群と概等長的な群の構造定理を確立すること。

提案手法

• 高次元グラフ多様体を、各部分多様体が $T^d \times N_i$ に微分同相であり、$n_i \to 3$ を満たす有限体積双曲的 $n_i$-多様体 $N_i$ に分解され、境界トーラス上でアフィン写像により貼り合わされるコンパクトで滑らかな多様体として定義する。
• 概等長不変量と漸近的コーン技術を用いて、特に壁と部分多様体の部分群の概保存性に注目して、基本群の粗い幾何を分析する。
• 相対的双曲群と漸近的木的構造の結果を応用し、概等長写像が部分多様体への分解を、有限ハウスドルフ距離の範囲で保存することを示す。
• 部分多様体の QI-剛性の確立：$\pi_1(N) \times \mathbb{Z}^d$ と概等長な任意の群は、$N$ の有限シート被覆 $N'$ の有限拡張の、中心的拡張の有限指数部分群である。
• Bass-Serre 理論を用いて、非可約グラフ多様体の基本群と概等長な群は、頂点群と辺群に強い制約を課した群のグラフ構造をもつことを示す。
• 局所的に CAT(0) 構造を持たない高次元グラフ多様体の例を構成し、この文脈において非正曲率の仮定が成立しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 次元 ≥6 における高次元グラフ多様体に対して、Borel 予想は成り立つか？
• RQ2 高次元グラフ多様体のクラスにおいて、滑らかさの剛性が満たされるか：ホモトピー同値性から微分同相性が導かれるか？
• RQ3 概等長写像は、非可約グラフ多様体の基本群にどのように作用するか？ また、それらを用いて元の群のグラフ構造を再構成できるか？
• RQ4 有限体積双曲的 $n$-多様体 $N$（$n \geq 3$）に対して、$\pi_1(N) \times \mathbb{Z}^d$ と概等長な群の構造は何か？
• RQ5 非可約グラフ多様体の粗い幾何は、部分群の概等長埋め込みを通じて特徴づけられるか？ それらは基本群にどのような制約を課えるか？

主な発見

• 次元 ≥6 において、高次元グラフ多様体に対して Borel 予想が成り立つ：多様体がそのようなグラフ多様体とホモトピー同値であるための必要十分条件は、それらが同相であることである。
• 滑らかさの剛性が成り立つ：2つの高次元グラフ多様体がホモトピー同値であるための必要十分条件は、それらが微分同相であることである。
• 非可約グラフ多様体において、部分多様体（壁）の基本群は概等長的に埋め込まれており、概等長写像は部分多様体への分解を有限ハウスドルフ距離の範囲で保存する。
• 非可約グラフ多様体の基本群と概等長な群は、辺群が $\mathbb{Z}^{n-1}$ を有限指数部分群として含むような群のグラフ構造をもつ。
• $\pi_1(N) \times \mathbb{Z}^d$ と概等長な群は、$N$ の有限シート被覆 $N'$ の有限拡張の、中心的拡張の有限指数部分群である。
• 非正曲率の仮定が剛性結果に必要ではないことを示すために、局所的に CAT(0) 構造を持たない高次元グラフ多様体が存在する。