[論文レビュー] Deformation spaces of Kleinian surface groups are not locally connected

Aaron Magid|arXiv (Cornell University)|Mar 23, 2010

Geometric and Algebraic Topology参考文献 35被引用数 5

ひとこと要約

この論文は、 genus $g \geq 2$ の閉じた曲面 $S$ とホモトピー同値なマーク付き双曲的3次元多様体の変形空間 $AH(S\times I)$ が局所的に連結でないことを証明し、Brombergの予想を裏付ける。鋭いフィルティング定理を、錐多様体の変形理論に基づいて発展させることで、共通の極限に収束するが幾何的挙動が収束しないような表現の列を構成し、局所連結性が自己ぶつかり点で失敗することを示している。

ABSTRACT

For any closed surface $S$ of genus $g \geq 2$, we show that the deformation space of marked hyperbolic 3-manifolds homotopy equivalent to $S$, $AH(S imes I)$, is not locally connected. This proves a conjecture of Bromberg who recently proved that the space of Kleinian punctured torus groups is not locally connected. Playing an essential role in our proof is a new version of the filling theorem that is based on the theory of cone-manifold deformations developed by Hodgson, Kerckhoff, and Bromberg.

研究の動機と目的

• 閉じた曲面 $S$ の genus $g \geq 2$ に対して、$AH(S\times I)$ が局所的に連結でないという Bromberg の予想を解決すること。
• Minsky の分類ツールが適用できない高 genus 表面群への、非局所連結性の結果の拡張。
• 錐多様体の設定下で、Dehn フィルティングにおける幾何的遷移を制御する新しいバージョンのフィルティング定理の開発と応用。
• 共通の極限に収束する表現の列を用いて、幾何的不変量が発散する場合の局所連結性の失敗の分析。
• $AH(S\times I)$ の自己ぶつかり点が、他の同様の点で局所的に連結であっても、局所連結性を妨げる要因となることの証明。

提案手法

• 同じ極限 $\rho$ に収束するが、異なる正規化済みキリス不変量を持つ $AH(S\times I)$ 内の表現の2つの列 $\eta_m$ と $\eta_m'$ を構成する。
• 洗練されたフィルティング定理を用いて、曲線 $\gamma_1$ の複素長 $\mathcal{L}(\gamma_1) = l + i\theta$ を、正規化長 $L^2$ とねじれ量 $A^2$ に基づいて推定する。
• $L^2$, $A^2$, および列間の分離度 $\delta$ を含む不等式を用いて、複素長の実部および虚部の上限を導出する。
• 補題6.2を適用し、極限におけるキリスパラメータ $\zeta_1$ と $\zeta_1'$ が近接している必要があることを示すが、これと $\delta$ の下界を組み合わせると矛盾が生じる。
• マスクイットスライスの水平平行移動による不変性と $|\zeta_1|$ の下界を用いて、$n$ が大きい場合に矛盾を導く。これにより、閉包の交わりが無限回にわたって空でないとはなりえない。
• 結論として、すべての十分に大きな $n$ に対して交差条件が成立しないことから、極限点 $\sigma_0$ において $AH(S\times I)$ は局所的に連結でない。

実験結果

リサーチクエスチョン

• RQ1 閉じた曲面 $S$ の genus $g \geq 2$ に対して、変形空間 $AH(S\times I)$ は局所的に連結でないか？
• RQ2 穴あきトーラス群の空間における非局所連結性の性質を、高 genus 表面群へ拡張できるか？
• RQ3 どのような幾何的条件が、共通の極限に収束するが幾何的不変量が発散するような表現の列を保証するか？
• RQ4 キリスの正規化長 $L^2$ とねじれ量 $A^2$ は、Dehn フィルティング下での測地線の複素長にどのように影響するか？
• RQ5 洗練されたフィルティング定理は、変形空間における局所連結性の失敗を検出するためにどのような役割を果たすか？

主な発見

• 閉じた曲面 $S$ の genus $g \geq 2$ に対して、変形空間 $AH(S\times I)$ は局所的に連結でないことが示され、Bromberg の予想が裏付けられた。
• 非局所連結性の原因は、同じ極限に収束するが幾分か異なる幾何的挙動を示す表現の列が存在する自己ぶつかり点に起因する。
• 新しいバージョンのフィルティング定理により、複素長 $\mathcal{L}(\gamma_1)$ に対する $L^2$ と $A^2$ を用いた精密な推定が可能となり、$L^4$ と $A^4$ を含む誤差項が得られた。
• 分離度 $\delta$ が下から有界である一方で、差 $|\zeta_1 - \zeta_1'|$ が $n$ が大きいほど任意に小さくなることが示され、これにより仮定の局所連結性に矛盾が生じる。
• 矛盾は、$|\zeta_1|$ が $n$ に対して線形に増加する一方で、$|\zeta_1 - \zeta_1'|$ の上界が $1/n$ に比例して減少するため、$n$ が十分に大きいと不等式が成立できなくなることに起因する。
• ゆえに、十分に大きなすべての $n$ に対して $\overline{\Phi(C_n)} \cap \overline{\Phi(U - C_n)}$ は空集合でなければならない。これは、局所連結性の仮定に反する。