解法: 立方複体によるアゴルの仮想ハーケン予想の証明(2012年)

ステップ 6/8: アゴルの定理:立方体化された双曲群はすべて仮想特殊である

ざっくり言うと

Agol の証明は「階層」を構築する:埋め込まれた壁を持つ無限被覆から出発し、同じ色の壁が決して交わらないように壁を有限個の色で彩色し、それから玉ねぎの皮をむくように一色ずつ切っていき、複体全体が単純な多面体の断片へと縮約されるまで続ける。

ランダムに見える彩色は正しく貼り戻すことができないため、Agol は彩色の空間上に注意深く不変な測度を構成し、それを段階ごとに、それまでの切断を尊重するように精緻化し、「貼り合わせ方程式」の系に解があることを示す——これにより、階層の各段階は、さらなる有限被覆へ移った後、一般的な仮想貼り合わせ定理を用いて再構成でき、複体全体が有限被覆の特殊な複体として再構築されるまで続く。

G \curvearrowright X \text{ (proper, cocompact, } G \text{ word-hyperbolic)} \ \implies\ \exists\, F \le_{f.i.} G:\ F \curvearrowright X \text{ specially}

詳しい解説

語双曲群 $G$ が CAT(0) 立方複体 $X$ に固有かつ余コンパクトに作用するとき、Agol(2012年、§§4–8)はまず弱い分離可能性の結果を用いて、埋め込まれ対ごとに交わらないコンパクトな壁を持ち有限な階層を許す $X/G$ の無限正則被覆 $\mathcal{X}$ を見つける:壁を有限個の色で、同じ色の壁が互いに交わらないように彩色し、色ごとに逐次切断して無限個の「立方多面体」の集まりを得る(§4)。

壁のグラフ上の不変彩色測度(§5)を、各段階の切断がそれ以前の段階とどう相互作用するかを追跡するように精緻化したもの(§6)を用いて、多面体貼り合わせ方程式の系(§7)を解き、帰納的構成の基底段階を与える;その後、仮想貼り合わせ定理(定理3.1)により、階層の各段階は、さらなる有限被覆へ移った後、次の段階へと組み立てられる(§8)。

すべての色にわたって帰納法を実行すると、最終的に自明な階層と真に埋め込まれた壁の構造を持つ有限被覆 $\mathcal{V}_0 \to X/G$ ——被覆変換群がそこに特殊に作用するもの——が得られ、定理1.1が証明される: $G$ は $X$ に特殊に作用する有限指数部分群を持つ。

このステップの用語

階層: 埋め込まれた壁に沿った切断を一色ずつ行う有限な列であり、立方複体を段階的に、その組合せ論を直接解析できる単純な多面体の断片へと縮約する。
仮想貼り合わせ定理: 切断の両側に整合的な組合せ論的データが与えられたとき、両側が正真正銘に貼り戻せるようなさらなる有限被覆が存在することを保証する技術的道具(Agol 2012, 定理3.1)。

このステップで使う知識

滑らかな多様体