On the profinite distinguishability of hyperbolic Dehn fillings of finite-volume 3-manifolds

Basic Information

• Paper ID: 2102.10445
• Title: On the profinite distinguishability of hyperbolic Dehn fillings of finite-volume 3-manifolds
• Author: Paul Rapoport
• Classification: math.AT (Algebraic Topology), math.LO (Mathematical Logic)
• Publication Date: September 21, 2021 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2102.10445

Abstract

This paper employs model theory to study relative profinite rigidity of 3-manifold groups and proves that for any finitely generated residually finite group Γ with finite character variety and any single-cusped finite-volume hyperbolic 3-manifold M, all but finitely many Dehn fillings $M_{p/q}$ are profinitely distinguishable from Γ.

Research Background and Motivation

Core Problem

The central problem addressed in this research is: how can one distinguish different 3-manifold groups through their profinite completions, particularly the fundamental groups of 3-manifolds arising from hyperbolic Dehn fillings?

Problem Significance

1. Foundational question in geometric group theory: Profinite rigidity is an important research direction in modern geometric group theory, relating to how one can understand group structure through finite quotients
2. Core topic in 3-manifold topology: The study of 3-manifolds is a fundamental direction in modern geometry, with fundamental groups containing rich geometric and topological information
3. Dehn surgery theory: Dehn filling is a fundamental operation in 3-manifold topology, and understanding relationships between manifolds it produces is of significant importance

Limitations of Existing Methods

1. Difficulty of absolute profinite rigidity: Currently only finitely many hyperbolic 3-manifold groups with known absolute profinite rigidity are known (constructed by Bridson et al.)
2. Limited tools for relative rigidity: Relatively few tools exist for studying relative profinite rigidity within the category of 3-manifold groups
3. Complexity of representation-theoretic methods: Direct study through algebraic geometry methods is often technically involved

Research Innovation

The author innovatively introduces model theory into geometric group theory, establishing connections between SL(2,ℂ) and SL(2,F_p) representations via the Lefschetz transfer principle, providing new tools for studying profinite distinguishability.

Core Contributions

1. Main Theorem: Proves that for any finitely generated residually finite group Γ with finite character variety and any single-cusped finite-volume hyperbolic 3-manifold M, all but finitely many hyperbolic Dehn fillings $M_{m/n}$ have fundamental groups that are profinitely inequivalent to Γ.
2. Model-theoretic Tools: Systematically applies model theory to the study of profinite rigidity of 3-manifold groups for the first time, establishing transfer principles for the number of representations on algebraically closed fields of different characteristics.
3. Representation-theoretic Connections: Establishes deep connections between SL(2,k) representations over the complex numbers and finite fields, using finiteness of character varieties to control profinite extensions.
4. Geometric Applications: Provides concrete profinite distinguishability results for hyperbolic Dehn fillings of small knots.

Detailed Methodology

Core Strategy

The paper's core strategy establishes profinite distinguishability through the following chain: $\text{Finiteness of character variety} \rightarrow \text{Growth of trace field degree} \rightarrow \text{Difference in representation counts} \rightarrow \text{Profinite inequivalence}$

Model-theoretic Framework

Basic Setup

The author works in the first-order theory ACF of algebraically closed fields, defining the following key predicates:

1. Matrix predicate: $M(x_1,x_2,x_3,x_4) := x_1 \cdot x_4 - x_2 \cdot x_3 = 1$, describing matrices in SL(2,k)
2. Representation predicate: $REP_G(\vec{A}) := (\bigwedge_{i=1}^l M(A_i)) \wedge (\bigwedge_{r \in R} SAT_r(\vec{A}))$
3. Irreducibility predicate: $IRREP(\vec{A}) := REP_G(\vec{A}) \wedge \neg RED(\vec{A})$

Key Theorem

Theorem 4.1: If $|\chi^I_C(\Gamma)| = n$, then for all but finitely many primes p, we have $|\chi^I_p(\Gamma)| = n$.

This theorem is realized through the construction of a first-order sentence $\Sigma_{G,n}$ asserting that group G has exactly n irreducible representations (up to conjugacy).

Representation-theoretic Tools

Character Variety Theory

Utilizing the "Sky Road" from Culler-Shalen theory:

1. For non-Haken 3-manifolds, the character variety $\chi^I_C(\Gamma)$ is finite
2. The degree of the trace field provides a lower bound for the size of the character variety

Theorem 5.11: Let Γ = π₁(M) where M is a compact hyperbolic 3-manifold. If deg(TF(Γ)) ≥ d, then $|\chi^I_C(\Gamma)| \geq d$.

Constraints on Profinite Equivalence

Lemma 5.9: Let Γ,Λ be two finitely generated groups with $\hat{\Gamma} \cong \hat{\Lambda}$. If for all but finitely many p we have $|\chi^I_p(\Gamma)| = n$, then for these p we also have $|\chi^I_p(\Lambda)| = n$.

Geometric Input

Utilizing the deep result of Long-Reid: Theorem 6.1: For an oriented hyperbolic 3-manifold M and d ∈ ℕ, there are only finitely many Dehn fillings $M_{m/n}$ such that the trace field degree is ≤ d.

Main Results

Theorem A (Main Theorem)

Statement: Let Γ be any finitely generated residually finite group with $|\chi^I_C(\Gamma)| < \infty$, and M be an oriented finite-volume single-cusped hyperbolic 3-manifold. Then for all but finitely many surgery coefficients, all hyperbolic Dehn fillings $M_{m/n}$ with fundamental group Λ = π₁($M_{m/n}$) satisfy $\hat{\Gamma} \not\cong \hat{\Lambda}$.

Proof Strategy

1. Set $|\chi^I_C(\Gamma)| = d$ and assume $\hat{\Gamma} \cong \hat{\Lambda}$
2. By Theorem 5.10, we must have $|\chi^I_C(\Lambda)| = d$
3. By Theorem 5.11, if deg(TF(Λ)) > d, then $|\chi^I_C(\Lambda)| > d$, contradiction
4. Therefore deg(TF(Λ)) ≤ d must hold
5. By Theorem 6.1, only finitely many surgery coefficients satisfy this condition

Geometric Corollaries

Corollary 6.1.1: For a single-cusped finite-volume hyperbolic 3-manifold M, if $M_{m/n}$ is a hyperbolic Dehn filling with finite character variety, then all but finitely many other $M_{m'/n'}$ are profinitely inequivalent to $M_{m/n}$.

Corollary 6.3.1: For a knot K such that $S^3 \setminus K$ is a single-cusped finite-volume hyperbolic 3-manifold, analogous profinite distinguishability results hold.

Technical Innovations

Model-theoretic Applications

1. Transfer principle: Systematically applies the Lefschetz transfer principle to geometric group theory for the first time
2. Field-theoretic connections: Establishes deep connections between representation theory over the complex numbers and finite fields
3. First-order expressibility: Proves first-order expressibility of character variety size

Geometric Insights

1. Role of trace field: Reveals the crucial role of trace field degree in profinite rigidity
2. Asymptotic behavior of Dehn fillings: Shows that profinite behavior of Dehn filling sequences has asymptotic properties
3. Finiteness principles: Connects local finiteness (SL(2,F_p)) with global geometric properties

Related Work

Historical Background

1. Work of Bridson et al.: Provided the first examples of absolutely profinitely rigid hyperbolic 3-manifold groups
2. Agol-Wise theory: Resolution of the virtual Haken conjecture provided powerful tools for finite covering theory of 3-manifolds
3. Culler-Shalen theory: Representation variety theory provides foundational tools for this paper

Contemporary Work

Liu in 12 proves a more general version of Corollary 6.1.1 using more traditional geometric group theory methods, but the author's model-theoretic approach has greater generality and more elementary technical requirements.

Limitations and Future Directions

Current Limitations

1. Finite character variety assumption: Main results require assuming finite character variety, limiting applicability
2. Single-cusped restriction: Currently only handles the single-cusped case
3. Relative rigidity: Still does not address the difficult problem of absolute profinite rigidity

Future Directions

The author proposes several important conjectures:

1. Removing finiteness assumption: Conjecture: The finite character variety assumption can be removed, thereby eliminating the implicit non-Haken assumption.
2. Character variety recovery: Conjecture: The character variety $\chi^I_C(\Gamma)$ can be recovered from the profinite completion $\hat{\Gamma}$.
3. Dimension detection: Conjecture: Zero-dimensional components of the character variety can be detected and counted from $\hat{\Gamma}$.
4. Absolute rigidity construction: Conjecture: Infinite families of absolutely profinitely rigid groups can be constructed via model-theoretic techniques.

In-depth Evaluation

Strengths

1. Methodological innovation: Systematically introduces model theory to geometric group theory for the first time, opening new research directions
2. Technical depth: Skillfully combines deep results from representation theory, algebraic geometry, and model theory
3. Generality of results: Main theorem applies to any group with finite character variety, not limited to 3-manifold groups
4. Geometric intuition: Provides geometric understanding of profinite rigidity through trace field degree

Weaknesses

1. Technical barrier: Requires readers to master deep knowledge from multiple mathematical branches
2. Limited applicability: The finite character variety assumption restricts the scope of results
3. Non-constructive: Results are primarily existential without providing concrete decision algorithms

Academic Impact

1. Pioneering: Introduces entirely new model-theoretic tools to geometric group theory
2. Inspirational: Provides new perspectives and methods for studying profinite rigidity
3. Technical value: The established transfer principle has independent mathematical value

Application Scenarios

1. 3-manifold topology: Study of Dehn surgery and profinite properties of fundamental groups
2. Geometric group theory: Study of profinite rigidity of arithmetic lattices and hyperbolic groups
3. Representation theory: Study of relationships between representations over different characteristic fields

Conclusion

By innovatively introducing model theory into geometric group theory, this paper provides powerful new tools for studying profinite rigidity of 3-manifold groups. The main contribution is proving that all but finitely many members of hyperbolic Dehn filling sequences are profinitely distinguishable, providing important insights into understanding the profinite structure of 3-manifold groups. Despite certain technical limitations, the model-theoretic methods opened by this paper have broad development prospects and may provide new pathways for resolving deeper problems of absolute profinite rigidity.