[論文レビュー] Limits of quasifuchsian groups with small bending

Collected Reprint Series|ArXiv.org|Sep 16, 2002

Geometric and Algebraic Topology参考文献 12被引用数 6

ひとこと要約

本稿は、湾曲測度が消えるクーディアン群の代数的極限がフクシアンであるための必要十分条件を確立し、その極限が長さ関数のケルコフの最小値線にちょうど一致することを証明する。これは、テイヒミュラー空間におけるプレーリング多様体の閉包に関する予想を完成させ、それらがフクシアン空間とちょうどこれらの線で交わることを示し、錐多様体が錐角が $2\pi$ に近づく際に双曲的表面へ退化する様子を特徴づける。結果は、測度付きラミネーションの制御された収束と、双曲的3次元空間における凸核境界の幾何的解析に依拠している。

ABSTRACT

We study limits of quasifuchsian groups for which the bending measures on the convex hull boundary tend to zero, giving necessary and sufficient conditions for the limit group to exist and be Fuchsian. As an application we complete the proof of a conjecture made in \cite{S1}, that the closure of pleating varieties for quasifuchsian groups meet Fuchsian space exactly in Kerckhoff's lines of minima of length functions. Doubling our examples gives rise to a large class of cone manifolds which degenerate to hyperbolic surfaces as the cone angles approach $2π$.

研究の動機と目的

• 湾曲測度が消えるクーディアン群の代数的極限が存在し、それがフクシアンであるための必要十分条件を同定すること。
• 文献[22]の予想6.5を完全に証明すること。この予想は、クーディアン群のプレーリング多様体の閉包が、フクシアン空間とちょうどケルコフの長さ関数最小値線に沿って交わることを示唆している。
• 錐角が $2\pi$ に近づく際の錐多様体が双曲的表面にどのように退化するかを、制御された湾曲測度の減衰のもとで特徴づけること。
• 極限の存在を妨げる主要な障害を解消するため、湾曲測度の比が有界でない限り収束が成立しないことを確立すること。

提案手法

• 測度付きラミネーション $\mu, \nu$ が曲面 $S$ を満たすとき、$\theta \to 0$ に伴い湾曲測度を $\theta$ 倍するクーディアン群 $G(\theta\mu, \theta\nu)$ を構成するため、ボナソン＝オタルの定理を用いる。
• ターファソンの地震定理とケルコフの長さ関数最小値理論を適用し、極限群がテイヒミュラー空間上での $l_\mu + l_\nu$ の唯一の最小値に一致することを同定する。
• 特に、プレーリングラミネーション $\lambda^+$ と $\lambda^-$ 間の距離を用いた、$\mathbb{H}^3$ 内の凸核境界の幾何的解析により、収束速度を評価する。
• トレイントラック分解と測度付きラミネーション質量の一様な境界を用いて、$\theta \to 0$ 時に凸核の幾何が制御され、一様収束が保証されることを示す。
• 測度付きラミネーションと測地線的セグメント間の交差数 $i(\cdot, \cdot)$ を用いて、湾曲測度の減衰が不均等になりすぎると退化が生じることを防ぐ。
• 凸核の二重化により、その特異軸が湾曲線に対応する錐多様体を構成し、錐角 $\to 2\pi$ のときの退化と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 湾曲測度が消えるクーディアン群の列が代数的にフクシアン群に収束する条件は何か？
• RQ2 プレーリング多様体 $\mathcal{P}_{\mu,\nu}$ の閉包は、フクシアン空間とちょうどケルコフの最小値線 $\mathcal{L}_{\mu,\nu}$ で交わるか？
• RQ3 湾曲測度 $pl^+$ と $pl^-$ が異なる割合で減衰する場合、特にその比が 0 や $\infty$ に近づく場合、代数的極限はどのように振る舞うか？
• RQ4 制御された湾曲測度の減衰のもとで、錐角が $2\pi$ に近づく際の錐多様体の退化を特徴づけることは可能か？
• RQ5 極限群が定義可能でフクシアンであるための幾何的制約は何か？ それにより発散を避けることは可能か？

主な発見

• 測度付きラミネーション $\mu$ と $\nu$ が曲面 $S$ を満たす限り、列 $G(\theta\mu, \theta\nu)$ は $\theta \to 0$ のとき代数的にフクシアン群に収束する。
• 極限群は、テイヒミュラー空間上での長さ関数 $l_\mu + l_\nu$ の唯一の最小値、すなわち点 $M(\mu, \nu)$ にちょうど一致する。これは[22]の予想を確認する。
• プレーリング多様体 $\mathcal{P}_{\mu,\nu}$ の閉包は、フクシアン空間 $\mathcal{F}$ とちょうどケルコフの線 $\mathcal{L}_{\mu,\nu}$ で交わる。これにより、予想6.5の証明が完全に完成する。
• 比 $\theta / \phi$ が 0 や $\infty$ から一様に離れていない場合、列 $G(\theta\mu, \phi\nu)$ は代数的に発散する。これは、収束のためにはバランスの取れた減衰が不可欠であることを示している。
• 任意の単純閉曲線 $\gamma$ に対して、凸核境界上でのその測地的代表曲線の長さは、$\theta \to 0$ のとき一様に有界であり、交差数 $i(\gamma, \mu)$、$i(\gamma, \nu)$、$i(\mu, \nu)$ に依存する明示的な上界を持つ。
• 双曲的3次元空間 $\mathbb{H}^3 / G(\theta\mu, \theta\nu)$ の凸核を二重化すると、特異軸が湾曲線に対応する錐多様体が得られ、$\theta \to 0$ のとき、これらの多様体は錐角が $2\pi$ に近づくにつれて双曲的表面に退化する。