[Paper Review] Fixed subgroups of automorphisms of hyperbolic 3-manifold groups

Jianfeng Lin, Shicheng Wang|arXiv (Cornell University)|Feb 15, 2012

Geometric and Algebraic Topology11 references3 citations

TL;DR

This paper investigates fixed subgroups of automorphisms on hyperbolic 3-manifold groups, proving that the rank of such fixed subgroups is strictly less than twice the rank of the fundamental group, with the constant 2 being sharp. It classifies all possible fixed subgroups as trivial, ℤ, ℤ⊕ℤ, surface groups, or the full group, using geometric and group-theoretic techniques including Mostow rigidity and double covering arguments on manifolds with totally geodesic boundaries.

ABSTRACT

For fixed subgroups $Fix(ϕ)$ of automorphisms $ϕ$ on hyperbolic 3-manifold groups $π_{1}(M)$, we observed that $ ext{rk}(Fix(ϕ))<2 ext{rk}(π_{1}(M))$ and the constant 2 in the inequality is sharp; we also classify all possible groups $Fix(ϕ)$.

Motivation & Objective

• To determine the maximal possible rank of fixed subgroups under automorphisms of hyperbolic 3-manifold groups.
• To establish an upper bound on the rank of fixed subgroups relative to the rank of the fundamental group.
• To classify all possible isomorphism types of fixed subgroups for automorphisms on hyperbolic 3-manifold groups.
• To demonstrate the sharpness of the bound 2rk(π₁(M)) via explicit constructions of sequences of closed hyperbolic 3-manifolds.

Proposed method

• Constructing hyperbolic 3-manifolds with totally geodesic boundaries using Thurston’s truncated tetrahedra and gluing techniques.
• Doubling manifolds with totally geodesic boundaries to produce closed hyperbolic 3-manifolds and inducing automorphisms via reflection maps.
• Using Mostow rigidity to realize automorphisms as isometries on the manifold, linking algebraic fixed subgroups to geometric fixed sets.
• Applying covering space theory and double covering constructions to relate ranks of fundamental groups across manifolds.
• Employing combinatorial group theory and homology rank estimates (via H₁(·,ℚ)) to bound the rank of fixed subgroups.
• Analyzing the topological and geometric structure of fixed sets under isometries, distinguishing between orientation-preserving and reversing cases.

Experimental results

Research questions

• RQ1 What is the maximal possible rank of a fixed subgroup under an automorphism of a hyperbolic 3-manifold group?
• RQ2 Can the upper bound of 2rk(π₁(M)) for rk(Fix(φ)) be achieved, and if so, under what conditions?
• RQ3 What are the possible isomorphism types of fixed subgroups Fix(φ) for automorphisms φ on hyperbolic 3-manifold groups?
• RQ4 How do the topological and geometric properties of the fixed set (e.g., surface, circle, point) relate to the algebraic structure of Fix(φ)?
• RQ5 What role does the orientation of the isometry play in determining the structure of Fix(φ)?

Key findings

• The rank of the fixed subgroup satisfies rk(Fix(φ)) < 2rk(π₁(M)) for all automorphisms φ on hyperbolic 3-manifold groups.
• The constant 2 in the upper bound is sharp, as shown by constructing a sequence of closed hyperbolic 3-manifolds Mₙ where rk(Fix(φₙ))/rk(π₁(Mₙ)) → 2 as n → ∞.
• All possible fixed subgroups Fix(φ) are classified as: the trivial group, ℤ, ℤ⊕ℤ, the fundamental group of a closed or non-closed surface (orientable or non-orientable), or the full group π₁(M).
• For orientation-preserving isometries, Fix(φ) is either trivial, ℤ, ℤ⊕ℤ, or the full group; in the closed case, only ℤ or the full group can occur.
• For orientation-reversing isometries, if φ² ≠ id, then Fix(φ) is trivial or ℤ; if φ² = id, then Fix(φ) is trivial or a surface group fixed pointwise by the isometry.
• The classification relies on Mostow rigidity, covering space theory, and analysis of the fixed sets of isometries on hyperbolic 3-manifolds with totally geodesic boundary components.