[論文レビュー] Thurston's bending measure conjecture for once punctured torus groups

Caroline Series|ArXiv.org|Jun 3, 2004

Mathematical Dynamics and Fractals参考文献 15被引用数 5

ひとこと要約

本論文は、四元数的フックス群の1回の穴あきトーラス群に対して、Thurstonの曲げ測度予想を証明する。凸核境界の2つの成分における曲げ測度が、PSL(2,C)における同型を除いて群を一意に決定することを示している。正則複素長座標とプレーリング多様体における単調性の議論を用いて、著者たちは曲げ測度写像の単射性を確立し、有理リーマンの既知の結果を極限と解析性を用いて一般化して、一般の測度付きリーマンにまで拡張している。

ABSTRACT

We prove Thurston's bending measure conjecture for quasifuchsian once punctured torus groups. The conjecture states that the bending measures of the two components of the convex hull boundary uniquely determine the group.

研究の動機と目的

• 凸核の境界の2つの成分における曲げ測度が、PSL(2,C)における同型を除いて、クェーシーフクス群の1回の穴あきトーラス群を一意に決定することを証明すること。
• 有理リーマンの既知の一意性結果を、一般の測度付きリーマンの一般ケースにまで拡張すること。
• 解析的および幾何的議論を用いて、複素長座標から曲げ測度への写像の単射性を確立すること。
• 極限プレーリング定理と、クェーシーフクス空間における正則関数の連続性の性質を活用すること。
• 1つの最も単純な非自明なケースにおいて、長年の未解決予想を解決すること。

提案手法

• クェーシーフクス空間 QF 上の正則座標としての複素長関数 λμ と λν を用い、これらはプレーリング多様体上で実数値をとる。
• Bridgemanの不等式を適用して、長さを一様に有界化し、代数的収束を保証する。
• 有界なプレーリング長を持つ列に対して、極限プレーリング定理（定理3.3）を用いて代数的極限を抽出する。
• 長さから角度への写像のヤコビアンが対称的で負定値であることを示し、有理プレーリング多様体上で曲げ角の単調性を証明する。
• 実解析性を用いて定数関数でないことを排除し、極限と連続性を用いて、有理から一般のリーマンへの単調性の拡張を行う。
• プレーリング多様体と長さの等高線との交点の一意性を用いて、曲げ測度写像の単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 凸核の境界の両方の成分における曲げ測度が、クェーシーフクスの1回の穴あきトーラス群を一意に決定するか？
• RQ2 複素長座標から曲げ測度への写像が、全クェーシーフクス空間上で単射であるか？
• RQ3 有理プレーリング多様体上で曲げ角の単調性を、無理リーマンへ極限を用いて拡張できるか？
• RQ4 曲げ測度写像がプレーリング多様体上で定数関数でないことを保証する条件は何か？
• RQ5 プレーリング多様体内の列の代数的極限は、凸核境界の幾何にどのように関係するか？

主な発見

• 曲げ測度 β⁺ と β⁻ が、PSL(2,C)における同型を除いて群を一意に決定し、1回の穴あきトーラス群に対するThurstonの予想が証明された。
• 複素長関数 λμ と λν は QF 上の局所正則座標をなしており、その実部がプレーリング長 lμ と lν を与える。
• 各プレーリング多様体 P(μ,ν) において、長さから曲げ測度への写像は単射であり、lμ を固定したとき、∂C⁻ における曲げ角は lν に関して厳密に単調である。
• 極限プレーリング定理により、有界なプレーリング長を持つ任意の列は、P(μ,ν) 内の群に代数的に収束する。これにより、単調性が無理リーマンへ拡張可能である。
• Va 上の曲げ角関数 ξν は厳密に単調である。定数関数であると仮定すれば、Bridgemanの不等式と Va 上での lν の非有界性に矛盾する。
• 有理プレーリング多様体は QF 内で稠密であり、極限プレーリング定理により、有理リーマンからの結果を一般のリーマンへ拡張できる。