[論文レビュー] A Generalization of Culler's Theorem

Matt Clay|arXiv (Cornell University)|Feb 11, 2005

Geometric and Algebraic Topology被引用数 1

ひとこと要約

本稿は、非負整数 n に対して群 G(n) のクラスを導入することで、Culler の定理を一般化する。任意の有限部分群が、Outer Space に類似した可縮空間における固定点を固定することを証明する。この結果は、曲面の写像類群に対する Nielsen 実現を、より広いクラスの群へと拡張し、幾何的設定における有限部分群の固定点性質を確立する。

ABSTRACT

Abstract. Culler’s theorem states that for a finitely generated free group F, of rank at least 2, any finite subgroup of Out(F) fixes a point in Outer Space. This theorem is comparable to Nieslen Realization: for a closed surface with negative Euler characteristic, any finite subgroup of the mapping class group fixes a point in the Teichmüller sapce for the surface as proved by Kerckhoff. For nonnegative integers n, we define a class of groups G(n) and prove a similar statement for their outer automorphism groups. For a closed surface with negative Euler characteristic Σ, the mapping class group MCG(Σ) acts on Teichmüller space, the space of hyperbolic metrics on Σ. The stabilizers of this action are finite subgroups of MCG(Σ). Kerckhoff [15] proved the converse, namely any finite subgroup of MCG(Σ) fixes a point in TΣ. This result is known as Nielsen Realization; Nielsen and others had shown the result for various special cases. In a similar manner, for a free group of rank n ≥ 2, the outer automorphism group Out(Fn) acts on Outer Space. The stabilizers of this action are finite subgroups of Out(Fn) and Culler [5] proved that any finite subgroup of Out(Fn) fixes some point in Outer Space. Both Teichmüller space and Outer Space are contractible [7]. For a nonnegative integer n we introduce a class of groups denoted G(n), where the outer automorphism

研究の動機と目的

• 自由群 F_n の Out(F_n) の有限部分群が Outer Space 内に固定点を有することを示す Culler の定理を、より広いクラスの群へと拡張すること。
• 非負整数 n に対して、自由群を一般化する新しい群の族 G(n) を定義すること。
• Teichmüller 空間における Nielsen 実現に類似した、Out(G(n)) の有限部分群に対する固定点性質を確立すること。
• Out(G(n)) が可縮空間に作用する際、その有限部分群が固定点を有することを証明すること。
• 写像類群と外部自己同型群の幾何的群論的結果を、共通の枠組みによって統一すること。

提案手法

• 非負整数 n ごとに、ランク n の自由群を一般化する群 G(n) のクラスを定義する。
• Out(G(n)) が作用する可縮空間 X(n) を構成し、自由群の Outer Space に類似させる。
• Culler の元々の証明および Kerckhoff の Nielsen 実現の技法を適応し、X(n) 内で有限部分群が固定点を有することを示す。
• X(n) の可縮性を用いて、有限群作用のもとでの固定点の存在を保証する。
• 曲面の Teichmüller 空間と G(n) の X(n) の間の類似性を活用し、幾何的・位相的議論を転送する。
• 群論的および幾何的技法を用いて、外部自己同型群の文脈における安定化子と固定点を分析する。

実験結果

リサーチクエスチョン

• RQ1 Culler の定理（Out(F_n) の有限部分群が Outer Space 内に固定点を有すること）は、自由群を超えて一般化可能か？
• RQ2 どのクラスの群が、その外部自己同型群が有限部分群が固定点を有する可縮空間に作用するか？
• RQ3 G(n) の構造は、Outer Space 及びその固定点性質の一般化をどのように可能にするか？
• RQ4 この構成を通じて、曲面の写像類群に対する Nielsen 実現は、どの程度他の群へと拡張可能か？
• RQ5 G(n) のどの幾何的および群論的性質が、Out(G(n)) の有限部分群が作用する際に固定点の存在を保証するか？

主な発見

• 非負整数 n ごとに、Out(G(n)) が可縮空間 X(n) に作用する群 G(n) が定義される。
• Out(G(n)) の任意の有限部分群は、X(n) 内に固定点を有する。これは、自由群に対する Culler の定理の一般化である。
• X(n) の構成は、自由群の Outer Space に類似しており、重要な幾何的・位相的性質を保持する。
• Out(G(n)) の有限部分群に対する固定点結果は、Teichmüller 空間における Nielsen 実現に類似している。
• 証明は、X(n) の可縮性および幾何的群論における類似した群作用に依存する。
• この結果により、広いクラスの群の外部自己同型群における固定点定理を統一する枠組みが確立される。