Divergence functions of higher-dimensional Thompson's groups

Basic Information

• Paper ID: 2405.19923
• Title: Divergence functions of higher-dimensional Thompson's groups
• Author: Yuya Kodama
• Classification: math.GR (Group Theory)
• Publication Date: May 30, 2024
• Paper Link: https://arxiv.org/abs/2405.19923

Abstract

This paper proves that higher-dimensional Thompson groups possess linear divergence functions. According to work by Druţu, Mozes, and Sapir, this implies that the asymptotic cones of nV have no cut points.

Research Background and Motivation

Problem Background

Thompson groups F, T, and V are finitely presented infinite groups defined by Richard Thompson in the 1960s and are considered a mysterious class of groups. These groups exhibit many unpredictable properties:

1. T and V are the first examples of finitely presented, infinite, and simple groups
2. The amenability of F remains a difficult open problem
3. Due to these special properties, many "generalized" Thompson groups have been defined, including higher-dimensional Thompson groups nV

Research Motivation

1. Importance of Divergence Functions: Divergence functions, first introduced by Gromov and formally defined by Gersten, are quasi-isometric invariants of geodesic metric spaces. Their order indicates whether the Cayley graph of a group is "close" to Euclidean or hyperbolic space
2. Existing Results: In 2018, Golan and Sapir proved that F, T, and V possess linear divergence functions and asked whether their proof could be extended to generalized Thompson groups
3. Theoretical Significance: Linear divergence functions are closely related to topological properties of asymptotic cones, particularly to the existence of cut points

Limitations of Existing Methods

Although some similar results exist for generalized Thompson groups, the divergence function properties of higher-dimensional Thompson groups nV have not been completely established.

Core Contributions

1. Main Theorem: Proves that higher-dimensional Thompson groups nV possess linear divergence functions
2. Topological Result: By the work of Druţu, Mozes, and Sapir, this implies that the asymptotic cones of nV have no cut points
3. Method Extension: Successfully extends the original argument of Golan and Sapir to the higher-dimensional case
4. Technical Innovation: Develops concrete technical methods for handling higher-dimensional Thompson groups

Methodology Details

Task Definition

Prove that for higher-dimensional Thompson groups nV, there exist constants δ ∈ (0,1) such that the δ-divergence function ϕδ(x) belongs to the equivalence class of linear functions.

Core Theorem Statement

Theorem 1.1: Higher-dimensional Thompson groups possess linear divergence functions.

Technical Framework

1. Representation of Higher-Dimensional Thompson Groups

• Patterns: Describe partitions of ℂ² through subdivisions of the unit square 0,1²
• Colored Binary Trees: Each caret is colored with colors {a,b}, corresponding to vertical and horizontal subdivisions
• Grid Diagrams: Provide unique representations for each element in nV

2. Generating Sets and Word Length Estimation

Define the generating set X₂V, containing:

X₂V := {x₀, x₁, x₂, yᵢ, Bᵢ, Cᵢ, x̂ⱼ, ŷ₁, πᵢ, π̄ᵢ, αᵢ, βᵢ, B̂₀, γ₀, hxⱼ, ĥxⱼ | i ∈ {0,1}, j ∈ {1,2}}

Key Lemmas:

• Proposition 2.11: If g ∈ 2V has fineness k, then the word length of g with respect to X₂V is at least k/8
• Corollary 2.12: For an essential rectangle R, if the reduction condition is not satisfied, the word length is at least ‖R‖/8

3. Path Construction Strategy

Core Proposition 3.3: There exist constants δ, D and positive integer Q such that for g ∈ 2V with |g| ≥ 4, there exists a path of length at most D|g| that:

• Avoids the δ|g|-neighborhood of the identity
• Connects g to the specific element x̂₁^(-Q|g|)x̂₂x̂₁^(Q|g|)x₁^(-Q|g|)x₂x₁^(Q|g|)

Technical Innovations

1. Six-Segment Path Construction

Decompose the path into six subpaths ω₁, ..., ω₆:

Subpath 1: Adjust the bottom-left rectangle R₀(P₋(g)) to become a subset of 0,1/4×0,1Subpath 2: Construct based on expression of the form PΠQ⁻¹, introducing parameter M ≥ 100 Subpath 3: Return to a specific state through minimal word ω₃ = g₁⁻¹ Subpath 4: Select appropriate generator sequences based on the identity mapping region of g₃ Subpath 5: Eliminate the effect of g₃ Subpath 6: Connect to the target element

2. Key Technical Handling

• Preservation of Essential Rectangles: Ensure rectangles remain essential throughout path construction
• Word Length Lower Bound Estimation: Utilize fineness of grid diagrams to provide word length lower bounds
• Support Disjointness: Exploit the action of different subpaths in different regions to ensure commutativity

Experimental Setup

This paper is pure theoretical mathematics research with no numerical experiments. All results are obtained through rigorous mathematical proofs.

Main Results

Core Theorem Proof

Through constructive proof, for any g ∈ 2V with |g| ≥ 4, there exist:

• Constants δ = 1/64, D = 10Q, Q ≥ 48M, M ≥ 100
• Path length ‖ω‖ < D|g|
• For any prefix ω', |gω'| > δ|g|

Key Lemma Verification

Each subpath satisfies:

1. Length Control: ‖ωᵢ‖ has explicit upper bounds
2. Distance Lower Bound: All points on the path are sufficiently far from the identity
3. Goal Achievement: Finally reaches the expected target element

Related Work

Divergence Functions of Thompson Groups

• Golan-Sapir (2018): Proved linear divergence functions for classical Thompson groups F, T, and V
• Recent Extensions: Some research extends the original argument to other generalized Thompson groups

Divergence Function Theory

• Gromov: First introduced the concept of divergence functions
• Gersten: Provided formal definition as quasi-isometric invariants of geodesic metric spaces
• Druţu-Mozes-Sapir: Established relationships between divergence functions and cut points in asymptotic cones

Higher-Dimensional Thompson Groups

• Brin (2004): Defined higher-dimensional Thompson groups nV
• Isomorphism Results: nV ≅ mV if and only if n = m

Conclusions and Discussion

Main Conclusions

1. Linear Divergence Functions: Higher-dimensional Thompson groups nV possess linear divergence functions
2. Topological Consequences: The asymptotic cones of nV have no cut points
3. Method Generality: The proof technique can be generalized to arbitrary dimension n

Limitations

1. Technical Complexity: The proof primarily addresses the n=2 case; while claimed to generalize, details are not fully expanded
2. Constant Dependence: The constants in the construction (M, Q, etc.) are large and may not be optimal
3. Generating Set Choice: The generating set X₂V used is acknowledged by the author as an "inefficient specialized set"

Future Directions

1. Constant Optimization: Seek smaller constants δ and D
2. Other Generalized Thompson Groups: Extend the method to other types of generalized Thompson groups
3. Computational Complexity: Study the complexity of related algorithmic problems

In-Depth Evaluation

Strengths

1. Significant Theoretical Value: Resolves an important problem regarding divergence functions of higher-dimensional Thompson groups
2. Technical Innovation: Develops concrete technical methods for handling higher-dimensional cases
3. Complete Proof: Provides a constructive and complete proof
4. Deep Results: Connects group theory, geometric topology, and asymptotic geometry

Weaknesses

1. Complex Presentation: Abundant technical details reduce readability
2. Incomplete Generalization: Treatment of cases n > 2 lacks sufficient detail
3. Large Constants: The constants used in the construction may not be optimal

Impact

1. Academic Value: Makes important contributions to Thompson group theory
2. Methodological Value: The technical methods provided may apply to other group classes
3. Theoretical Completeness: Fills an important gap in higher-dimensional Thompson group theory

Applicable Scenarios

This research is primarily applicable to:

1. Geometric group theory research
2. Studies of Thompson groups and their generalizations
3. Research on divergence functions and asymptotic geometry
4. Quasi-isometric classification problems for infinite groups

References

The paper cites 18 important references, including:

• Brin's original work on higher-dimensional Thompson groups
• Golan-Sapir's work on divergence functions of classical Thompson groups
• Druţu-Mozes-Sapir's theory on divergence functions and asymptotic cones
• Other related research on Thompson groups and divergence functions

This paper resolves an important problem regarding divergence functions of higher-dimensional Thompson groups through rigorous mathematical proof, making significant contributions to geometric group theory. Although the technical details are complex, the results have profound theoretical significance.