[論文レビュー] Systoles of hyperbolic 4-manifolds

Ian Agol|ArXiv.org|Dec 11, 2006

Geometric and Algebraic Topology参考文献 4被引用数 28

ひとこと要約

本稿は、任意の ε > 0 に対して、長さが ε より小さい閉じた測地線を含む閉じた双曲的 4 次元多様体が存在することを証明しており、任意に短い系統長（systole）を持つ双曲的 4 次元多様体の存在を示している。この構成は、双曲的 4 次元空間内の直角 120 胞体における反射群に、部分群の分離性と有限性の性質を適用する独創的な「近縁交配」（inbreeding）技法を用いる。この技法により、コクセター軌道空間の有限被覆を貼り合わせ、系統的でない多様体が得られ、測地線の長さが短くなる。

ABSTRACT

We prove that for any \e>0, there exists a closed hyperbolic 4-manifold with a closed geodesic of length < \e.

研究の動機と目的

• 閉じた双曲的 4 次元多様体が任意に短い閉じた測地線をもつことの存在を確立し、系統的双曲的多様体には系統長に下界が存在するとされる予想に挑戦すること。
• グロモフとピアチェツキ＝シャピロの「交配」（inter-breeding）法を拡張し、系統的格子の部分群を自分自身に貼り合わせる新しい「近縁交配」（inbreeding）構成法を提案すること。
• 幾何的有限性と有限性の性質を用いて、元の格子が系統的であっても、非系統的双曲的 4 次元多様体を構成できることを示すこと。
• 構成された多様体のうち、固有値のスペクトル制約のため、有限個しか系統的でないものがないこと。

提案手法

• 構成は、H⁴ 内の直角 120 胞体から始める。その反射群 Γ_D は、5 次元の二次形式 f と Q(√5) の整数環 O_K に対する PO(f; O_K) と可換である。
• セリンの補題を用いて、有限指数のねじれのない部分群 Γ < Γ_D を選び、幾何的有限な商を得る。
• 長さ l(g) の測地線セグメント g を、2 つの互いに交わらない、cocompact かつ等長に埋め込まれた 3 次元平面 P と γ(P) に直交するように選ぶ。ここで d(P, γ(P)) < ε/2 である。
• スコットの分離性基準を用いて、H₁ < H および H₂ < H_γ を選び、それらの作用における最小移動長が 2ρ(l(g)/2) よりも大きくなるようにする。ここで ρ(x) = arctanh(sech x) である。
• 群 G = ⟨H₁, H₂⟩ は自由積 H₁ ∗ H₂ に同型であり、幾何的有限である。基本領域は、P と γ(P) を垂直に二等分する超平面 L を通じて分離される。
• 有限性の性質を用いて、スパイン U = Σ₁ ∪ g ∪ Σ₂ が有限被覆 H⁴/Γ₁ に埋め込まれる。N = H⁴/Γ₁ \∓ (Σ₁ ∪ Σ₂) の補集合の二重被覆 M をとると、M は長さ < ε の閉じた測地線 D(g) を含む閉じた双曲的 4 次元多様体である。

実験結果

リサーチクエスチョン

• RQ1 閉じた双曲的 4 次元多様体は、系統的ケースに予想される系統長の下界があるにもかかわらず、任意に短い長さの閉じた測地線を含むことができるか？
• RQ2 『近縁交配』法——系統的格子の部分群を自分自身に貼り合わせること——は、高次元において非系統的双曲的多様体を生成するか？
• RQ3 GFERF（幾何的有限拡張残余有限）であるという性質は、任意に短い測地線をもつ多様体の存在を保証するのに十分か？
• RQ4 もし O(n,1;Z) 内の系統的格子に対して GFERF 性質が成り立つならば、この構成はすべての次元 n ≥ 4 に一般化可能か？
• RQ5 この構成によって得られる多様体は一般に非系統的であり、また、何個の系統的例が出現するか？

主な発見

• 任意の ε > 0 に対して、長さが ε より小さい閉じた測地線を含む閉じた双曲的 4 次元多様体が存在することを示し、任意に短い系統長を持つ多様体の存在を証明した。
• 構成は、H⁴ 内の直角 120 胞体における反射群の GFERF 性質に依存しており、これは幾何的有限部分群の部分群分離性を保証する。
• 得られた多様体は一般に非系統的であり、固有値のスペクトル制約のため、構成から得られる系統的例は有限個に限られる。
• PO(f; Q(√5)) の任意の系統的部分群における測地線の長さは 0 から離れている。なぜなら、その整数固有値は 1 から離れているからである。
• この方法により、すべての n ≤ 8 に対して、任意に短い測地線をもつ有限体積の双曲的 n 次元多様体が得られ、4 次元以上の次元にまで結果を拡張した。
• 『近縁交配』技法——系統的格子の部分群を自分自身に貼り合わせること——は、高次元における非系統的格子を構成する新しい道筋を提供する。