[論文レビュー] On dynamics of Out(F_n) on PSL(2,C) characters

Yair N. Minsky|arXiv (Cornell University)|Jun 18, 2009

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

ひとこと要約

本稿は、自由群 F_n の PSL(2,C) 表現の文字表の新たな開部分集合を導入し、特徴づけた。これはシュットキー（離散的で、忠実かつ凸コンパクト）表現の集合を厳密に超えるものであり、Out(F_n) がその上で properly discontinuously に作用する。主な貢献は、Out(F_n) の力学的挙動（proper discontinuity によるもの）が、離散的か稠密的かという幾何的分類とは根本的に異なることの解明であり、長年の疑問である作用のエルゴディシティに関する問題を解決する。

ABSTRACT

This note introduces and studies an open set of PSL(2,C) characters of a nonabelian free group, on which the action of the outer automorphism group is properly discontinuous, and which is strictly larger than the set of discrete, faithful convex-cocompact (i.e. Schottky) characters. This implies, in particular, that the outer automorphism group does not act ergodically on the set of characters with dense image. Hence there is a difference between the geometric (discrete vs. dense) decomposition of the characters, and a natural dynamical decomposition.

研究の動機と目的

• 標準的な幾何的分解（離散的と稠密的）を超えて、Out(F_n) が文字多様体 X(F_n, PSL(2,C)) に与える力学的作用を調査すること。
• Schottky（離散的で、忠実かつ凸コンパクト）表現の集合とは異なる、自然な開不変部分集合を同定し、Out(F_n) がその上で properly discontinuously に作用することを示すこと。
• 幾何的分解（離散的 vs. 稠密的）と力学的分解（proper discontinuity vs. 混沌的行動）が一致しないこと、特に稠密的表現上ではエルゴディシティや位相的推移性が成立すると仮定されていたが、これを覆すこと。
• 原始安定表現がそのような不連続性の領域を形成することを確立し、この集合が非離散的（従って非シュットキー的）な表現を含むことを証明すること。

提案手法

• 本稿では、F_n のケイリー図形における ρ(F_n) の作用下での準極小曲線の安定性条件を用いて、原始安定表現を定義し、準凸性の概念を一般化する。
• 原始安定表現の集合が開かつ Out(F_n)-不変であり、Out(F_n) がその上に properly discontinuously に作用することを証明する。
• 証明は、自由群に関するホワイトヘッドの補題と双曲幾何学に依拠し、特定の非離散的表現（稠密な像をもつもの）でさえも原始安定である可能性を示す。
• 著者らは、原始安定性の概念をバウディッチの条件およびタン＝ウォン＝チャンの研究と比較し、原始安定性がシュットキー表現よりも厳密に大きな条件であることを示す。
• カジマン＝マルグリス＝ザッセンハウスの補題を用いて、稠密な像をもつ表現の集合が開であることを確立し、非離散的表現のうち原始安定性条件を満たすものが存在することを主張する。
• 解析は、高次元の双曲空間および他のランク1の半単純リー群へと拡張され、原始安定性が PSL(2,C) を超えて、力学的不変量として堅牢に保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 外自己同型群 Out(F_n) は、稠密な像をもつ PSL(2,C) 表現の空間にエルゴディックに作用するか？
• RQ2 シュットキー表現の集合を超えて、Out(F_n) が properly discontinuously に作用する自然な開不変部分集合が、文字多様体に存在するか？
• RQ3 原始安定表現は非離散的（すなわち非シュットキー的）な表現を含むことができるか？ これにより、力学的構造と幾何的構造の分離が可能になるか？
• RQ4 原始安定性の概念は、バウディッチやタン＝ウォン＝チャンの既存の条件とどのように関係するか？
• RQ5 表面群の設定において、原始安定表現の集合は、準フクシアンの領域を厳密に超えるか？

主な発見

• 原始安定表現の集合は、X(F_n, PSL(2,C)) の開かつ Out(F_n)-不変部分集合であり、Out(F_n) がその上で properly discontinuously に作用する。
• この集合はシュットキー表現の集合を厳密に含むことから、非離散的（従って非シュットキー的）な表現が、Out(F_n) の不連続性の領域に属することを示している。
• Out(F_n) の表現空間への作用はエルゴディックでない。なぜなら、離散的集合を越える非自明な不連続性領域が存在するからである。
• 幾何的分解（離散的 vs. 稠密的）と力学的分解（proper discontinuity vs. 混沌的行動）は一致せず、幾何的構造と力学的構造の間には根本的な不一致が存在することが明らかになった。
• n が偶数の場合、表面へのブロッキング曲線を用いて、原始安定的で非離散的な表現の具体的な例を構成した。
• 高次元の双曲空間および他のランク1の半単純リー群に対しても、同様の構成により原始安定的で非離散的な表現が得られ、PSL(2,C) を超えてこの現象が堅牢に成立することが示された。