[論文レビュー] The rhombic dodecahedron and semisimple actions of Aut(F_n) on CAT(0) spaces

Martin R. Bridson|arXiv (Cornell University)|Feb 28, 2011

Geometric and Algebraic Topology被引用数 4

ひとこと要約

この論文は、Aut(Fₙ) の完全 CAT(0) 空間への半単純等距作用を調べており、n ≥ 4 のとき、すべてのニーデル生成子が固定点をもつことを証明している。n = 3 のとき、すべてのニーデル生成子が固定点をもつ、または各生成子が離散的に作用する ℤ⁴ が 3 次元平坦空間上にあり、菱形二十四面体が基本領域をなす。本研究では、n ≥ 2 のとき、Aut(Fₙ) および Out(Fₙ) がコンパクト・カーラー多様体の基本群ではないことを確立している。

ABSTRACT

We consider actions of automorphism groups of free groups by semisimple isometries on complete CAT$(0)$ spaces. If $n\\ge 4$ then each of the Nielsen generators of Aut$(F_n)$ has a fixed point. If $n=3$ then either each of the Nielsen generators has a fixed point, or else they are hyperbolic and each Nielsen-generated $\\Z^4\\subset Aut(F_3)$ leaves invariant an isometrically embedded copy of Euclidean 3-space on which it acts as a discrete group of translations with the rhombic dodecahedron as a fundamental domain. An abundance of actions of the second kind is described. Constraints on maps from Aut$(F_n)$ to mapping class groups and linear groups are obtained. If $n\\ge 2$ then neither Aut$(F_n)$ nor Out$(F_n)$ is the fundamental group of a compact K\\"ahler manifold.

研究の動機と目的

• 半単純等距変換を用いた Aut(Fₙ) の CAT(0) 空間への作用の幾何的制約を理解すること。
• ニーデル生成子が楕円的（固定点をもつ）か双曲的（平行移動軸をもつ）かを特定すること。
• 特にニーデル変換によって生成される ℤ⁴ 部分群に注目して、Aut(F₃) の CAT(0) 空間への可能な作用を分類すること。
• トポロジー的および表現論的帰結（特にカーラー群および線形表現に関するもの）を導出すること。
• n ≥ 2 のとき、Aut(Fₙ) および Out(Fₙ) がコンパクト・カーラー多様体の基本群でないことを確立すること。

提案手法

• CAT(0) 空間における等距変換の平行移動長を分析するための Karlsson-Margulis の補題の使用。
• Gersten のアイデアの応用により、n ≥ 4 のときニーデル生成子が半単純作用において固定点をもたなければならないことを示す。
• Aut(F₃) におけるニーデル変換によって生成される ℤ⁴ 部分群の幾何的解析により、等長埋め込み ℝ³ 上に離散的に作用し、菱形二十四面体が基本領域をなすことを示す。
• n = 3 の場合におけるニーデル ℤ⁴ 部分群の作用を特徴づけるために、菱形二十四面体をディリクレ領域として用いる。
• 標準的表現 Aut(Fₙ) → GL(n, ℤ) の剛性と、その表現論的帰結の活用。
• Simpson の非変形性結果およびホッジ理論的障害を用いて、Aut(Fₙ) および Out(Fₙ) がカーラー群でないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 4 のとき、任意の半単純等距作用において、Aut(Fₙ) のすべてのニーデル生成子が完全 CAT(0) 空間で固定点をもつのか？
• RQ2 n = 3 の場合、ニーデル変換は双曲的に作用しうるか？ もしそうなら、それに対応する ℤ⁴ 部分群が保存する幾何的構造は何か？
• RQ3 Aut(F₃) におけるニーデル ℤ⁴ 部分群の作用に関連する一様な幾何的不変量（たとえば基本領域）が存在するか？
• RQ4 CAT(0) 空間への作用が、Aut(Fₙ) から写像類群や線形群へのホモモールフィズムに課す制約は何か？
• RQ5 n ≥ 2 のとき、Aut(Fₙ) および Out(Fₙ) はコンパクト・カーラー多様体の基本群であるか？

主な発見

• n ≥ 4 のとき、任意の半単純等距作用において、Aut(Fₙ) のすべてのニーデル生成子が完全 CAT(0) 空間で固定点をもつ。
• n = 3 のとき、すべてのニーデル生成子が固定点をもつ、または各ニーデル ℤ⁴ 部分群が等長埋め込み ℝ³ 上に離散的に作用し、菱形二十四面体が基本領域をなす。
• Aut(F₃) の双曲的作用が豊富に存在し、線形表現と、Out(F₃) が非アーベル自由群に有限指数部分群を写すという事実に起因する。
• n ≥ 6 のとき、任意の等距作用においてすべてのニーデル生成子の平行移動長は 0 であり、これはそれらが楕円的または中立的放物型であることを意味する。
• H₁(Fₙ, ℤ) 上の標準的表現 Aut(Fₙ) は剛性を示し、この剛性から n ≥ 2 のとき Aut(Fₙ) および Out(Fₙ) がカーラー群でないことが導かれる。
• n ≥ 6 のとき、任意の表現 Φ: Aut(Fₙ) → SL(d, ℝ) の像は、ニーデル生成子の平行移動長が 0 であるため、固有値の絶対値が 1 でなければならない。