[論文レビュー] Dynamics of the Automorphism Group of the GL(2,R)-Characters of a Once-puncutred Torus

William M. Goldman, George Stantchev|arXiv (Cornell University)|Sep 4, 2003

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

ひとこと要約

本稿は、ランク2の自由群の外部自己同型群が、一回穴の空いたトーラスのGL(2,R)-表現のキャラクター多様体に作用するダイナミクスを調査する。多項式不変量 𝜅(x,y,z) = -x² - y² + z² + xyz - 2 を用いて、-14 < c < 2 のとき、レベル集合 𝜅⁻¹(c) 上での作用はエルゴディックであることが示され、c < -14 のとき、特定の開集合 Ωᴹᶜ 上では作用がワンドリングであり、その補集合上ではエルゴディックである。軌道属の判定を効率的な多項式時間アルゴリズムで構成する。

ABSTRACT

Let pi be a free group of rank 2. Its outer automorphism group Out(pi) acts on the space of equivalence classes of representations in Hom(pi, SL(2,C)). Let SLm(2,R) denote ths subset of GL(2,R) consisting of matrices of determinant -1 and let ISL(2,R) denote the subgroup (SL(2,R) union i SLm(2,R)) of SL(2,C). The representation space Hom(pi, ISL(2,R)) has four connected components, three of which consist of representations that send at least on generator of pi to iSLm(2,R). We investigate the dynamics of the Out(pi)-action on these components. The group Out(pi) is commensurable with the group Gamma of automorphisms of the polynomial kappa(x,y,z) = -x^2 - y^2 + z^2 + xyz -2. We show that for -14 &lt; c &lt; 2, the action of Gamma is ergodic on the level sets kappa^(-1)(c). For c &lt; -14 the group Gamma acts properly and freely on an open subset OmegaMc of kappa^(-1)(c) and acts ergodically on the complement of OmegaMc. We construct an algorithm which determines, in polynomial time, if a point (x,y,z) in R^3 is Gamma-equivalent to a point in OmegaMc or in its complement. Conjugacy classes of ISL(2,R)-representations identify with R^3 via an appropriate restriction of the Fricke character map. Corresponding to the Fricke spaces of the once-punctures Klein bottle and the once-punctured Moebius band are Gamma-invariant open subsets OmegaK and OmegaM respectively. We give an explicit parametrization of OmegaK and OmegaM as subsets of R^3 and we show that OmegaM has a non-empty intersection with kappa^(-1)(c) if and only if c6.

研究の動機と目的

• 一回穴の空いたトーラスのGL(2,R)-表現空間における、外部自己同型群 Out(π) のダイナミカルな挙動を分析すること。
• ISL(2,R)-表現の空間 Hom(π, ISL(2,R)) の連結成分を分類し、多項式不変量 𝜅(x,y,z) を用いてその構造を理解すること。
• 異なる c 値に対して、レベル集合 𝜅⁻¹(c) 上での作用のエルゴディック性およびワンドリング性を特定すること。
• 与えられたキャラクターが群作用の下で開集合 Ωᴹᶜ またはその補集合に属するかどうかをアルゴリズム的に判定する多項式時間アルゴリズムを構築すること。

提案手法

• キャラクター多様体は、表現から (tr(ρ(X)), tr(ρ(Y)), tr(ρ(XY))) へのトレース写像 χ: Hom(π, SL(2,C)) → ℂ³ を用いてパラメトライズされる。
• 不変多項式 𝜅(x,y,z) = -x² - y² + z² + xyz - 2 を用いて、ISL(2,R)-表現の同値類を分類するレベル集合 𝜅⁻¹(c) を定義する。
• 2次反射 Qₓ, Qᵧ, Q_z を用いて軌道を生成し、それらを二分木として解析することでダイナミクスを研究する。
• τ-還元アルゴリズムを適用してキャラクターを基本領域に還元し、軌道分類を可能にする。
• 双曲的レベル集合上での巡回部分群の作用とτ関数の単調性を用いて、極値および不変集合を分類する。
• 特に、楕円曲線および双曲線上の無理回転における軌道の稠密性を分析することで、測度論的議論を用いてエルゴディシティを確立する。

実験結果

リサーチクエスチョン

• RQ1 モジュラー群 Γ がレベル集合 𝜅⁻¹(c) 上で作用するとき、どの c 値に対してエルゴディックとなるか？
• RQ2 ムービウスの帯とクラインのボラの表現に対応する開不変部分集合 Ωᴹ および Ωᴷ の構造はいかなるものか？
• RQ3 与えられたキャラクターが Γ-作用の下で集合 Ωᴹᶜ またはその補集合に属するかどうかをアルゴリズム的に判定する方法は何か？
• RQ4 不変多項式 𝜅 とランク2の自由群を基本群とする非可換曲面の幾何学的性質との関係は何か？

主な発見

• −14 < c < 2 のとき、群 Γ はレベル集合 𝜅⁻¹(c) 上でエルゴディックに作用する。
• c < −14 のとき、群 Γ は開集合 Ωᴹᶜ ⊂ 𝜅⁻¹(c) 上で適切かつ自由に作用し、その補集合上ではエルゴディックに作用する。
• Ωᴹᶜ ∩ 𝜅⁻¹(c) が空でないための必要十分条件は c < −14 である。
• Ωᴷ ∩ 𝜅⁻¹(c) が空でないための必要十分条件は c > 6 である。
• 任意の点 (x,y,z) ∈ ℝ³ が Γ-同値に Ωᴹᶜ に属するか、その補集合に属するかを多項式時間で判定するアルゴリズムが存在する。
• すべての c < 2 に対して、Γ は 𝜅⁻¹(c) ∩ (𝒳₁,₁ − Ωᴹ) 上でエルゴディックに作用する。これは、広範なレベル集合にわたり結果を拡張する。