解法: 立方複体によるアゴルの仮想ハーケン予想の証明(2012年)
ざっくり言うと
ハーケン多様体とは、自分自身に折り返すことのない、真に埋め込まれた曲面に沿って切り開くことができる多様体である——一本のパンを、端から端まできれいに貫く平らな一太刀で切るようなものだ。1960年代、Waldhausen は、元の多様体自身がそうでなくても、あらゆる双曲的3次元多様体がそのような切り口を許す有限被覆を持つかどうかを問うた。
Agol による2012年の証明は、この問いを全く別の世界に翻訳することで答える:単位立方体をその面に沿って貼り合わせて作られる非正曲率立方複体であり、その組合せ論は3次元多様体の位相幾何学ではなく幾何学的群論の道具を用いて解析できる。
詳しい解説
Waldhausen の仮想ハーケン予想は、任意の閉双曲的3次元多様体 が有限被覆 をハーケン多様体として持つか、すなわち が埋め込まれた -単射的(非圧縮)曲面を含むかを問う(Agol 2012, 定理9.1, Waldhausen 1968年の問いを解決)。
Agol の戦略は純粋に群論的な主張、すなわち彼の主定理1.1を経由する:任意の語双曲群 が CAT(0) 立方複体 に固有かつ余コンパクトに作用するならば、 に特殊に作用する有限指数部分群を持つ(§1)。位相的な問いをこの代数的な問いに変換することで、3次元多様体には明白な類似物を持たない組合せ論的技法(壁、超平面、彩色)を証明に用いることが可能になる。
残りのステップでは、双曲的3次元多様体にこの定理を適用するために必要な二つの部分を組み立てる:まず(Kahn–Markovic の曲面と Sageev の構成を用いて) が作用する適切な立方複体を作り、次にその立方複体に関する定理そのものを適用する。
- ハーケン多様体
- 埋め込まれた両側曲面で -単射的(その包含写像が余分なループの関係を導入しない)ものを含む、コンパクトで向き付け可能、既約な3次元多様体。このような多様体は位相的に扱いやすいことで知られる。
- CAT(0) 立方複体
- 様々な次元の単位ユークリッド立方体をその面に沿って貼り合わせ、結果が組合せ論的な意味で非正曲率を持つように作られる単連結空間。このような複体への群作用は、現代の幾何学的群論における中心的な道具である。