Characterising quasi-isometries of the free group

Basic Information

• Paper ID: 2307.13667
• Title: Characterising quasi-isometries of the free group
• Authors: Antoine Goldsborough, Stefanie Zbinden
• Classification: math.GR (Group Theory)
• Publication Date: July 2023 (arXiv v2: January 9, 2024)
• Paper Link: https://arxiv.org/abs/2307.13667
• Author Affiliation: Maxwell Institute and Department of Mathematics, Heriot-Watt University, Edinburgh, UK

Abstract

This paper introduces the concept of mixed subtree quasi-isometries, a class of self-quasi-isometries of regular trees constructed through a specific inductive procedure. The authors prove that any self-quasi-isometry of a regular tree is at bounded distance from some mixed subtree quasi-isometry. Since the free group is quasi-isometric to a regular tree, this provides a method for describing all self-quasi-isometries of the free group and offers a systematic approach for constructing quasi-isometries of free groups.

Research Background and Motivation

Importance of the Problem

Quasi-isometries are among the most fundamental mapping types in geometric group theory; however, for most metric spaces, little is known about the properties of their quasi-isometry groups, and no known concrete methods exist for describing all quasi-isometries except in certain cases where quasi-isometric rigidity is established.

Limitations of Existing Research

Currently, only a few classes of spaces have had their quasi-isometries completely characterized:

1. Baumslag-Solitar groups (described by Whyte in Why01)
2. Three-dimensional solvable Lie groups (studied by Eskin, Fisher, and Whyte in EFW07, EFW12, EFW13)

Research Motivation

This paper aims to add the free group F₂ (more generally, regular trees) to the list of spaces whose quasi-isometries can be completely described, filling an important theoretical gap.

Core Contributions

1. Introduction of Mixed Subtree Quasi-isometries: Proposes a new type of quasi-isometry defined inductively with favorable constructive properties.
2. Complete Characterization Theorem: Proves that any quasi-isometry of a regular tree is at bounded distance from some mixed subtree quasi-isometry (Theorem 1.1).
3. Description of Free Group Quasi-isometries: Since the free group is quasi-isometric to a regular tree, provides a complete characterization of quasi-isometries of free groups.
4. Constructive Method: Provides a systematic approach for constructing quasi-isometries with specific properties.
5. Technical Extension: Extends results of Nairne Nai22, proving that any quasi-isometry is at bounded distance from an order-preserving quasi-isometry.

Methodology Details

Problem Formulation

Given a regular tree T of degree at least 3, characterize all quasi-isometries f: T → T such that f(v₀) = v₀, where v₀ is the root node.

Core Concepts

Definition of Quasi-isometry

A map f: X → X is a C-quasi-isometry if there exist constants C ≥ 1 and D such that:

1. d(x,y)/C - C ≤ d(f(x),f(y)) ≤ Cd(x,y) + C (quasi-isometric embedding)
2. For all y ∈ X, there exists x ∈ X such that d(y,f(x)) ≤ D (coarse surjectivity)

Order-Preserving Maps

A map f: T → T is order-preserving if for every pair of vertices u,v ∈ T with v ∈ Tᵤ, we have f(v) ∈ T_{f(u)}.

Construction of D-Depth Mixed Subtree Quasi-isometries

The construction employs an inductive procedure, defining the map on successive layers of vertices at increasing distances from the root:

Step 1: Define f₀(v₀) = v₀

Step 2: Assuming fᵢ: T^{iD}{v₀} → T is defined, construct f{i+1} as follows:

• For vertices x ∈ T^{iD}{v₀}, set f{i+1}(x) = fᵢ(x)
• For vertices x at distance iD from v₀, let v = fᵢ(x), and let X = {x₁,...,xₖ} be the set of all vertices satisfying fᵢ(xⱼ) = v and d(v₀,xⱼ) = iD
• Define Bᵥ as the set of all D-children of vertices in X
• Select a function f'ᵥ: Bᵥ → Tᵥ satisfying:
  1. Im(f'ᵥ) = ∂Sᵥ, where Sᵥ is a finite subtree of Tᵥ containing v
  2. If f'ᵥ(w) = f'ᵥ(w'), then w and w' are D-children of the same vertex xⱼ ∈ X

Technical Innovations

1. Layered Construction: By defining the map progressively on layers at increasing distances from the root, ensures systematic and controllable construction.
2. Independence Principle: Choices at each layer depend only on which vertices map to the same image in the previous layer, independent of prior specific choices.
3. Boundary Matching Technique: By mapping D-children to the boundary of subtrees, ensures the quasi-isometric property of the map.

Main Technical Lemmas

Lemma 2.7 (Coarse Surjectivity of Geodesics)

For a tree T and a C-quasi-isometry f: T → T, for any vertices u,v ∈ T and a ∈ f(u),f(v), there exists b ∈ u,v such that d(f(b),a) ≤ C.

Lemma 2.8 (Order-Preserving Theorem)

Extends Nairne's result: any quasi-isometry is at bounded distance from an order-preserving quasi-isometry.

Lemma 2.9 (Properties of Same-Level Vertices)

If f is an order-preserving C-quasi-isometry, u,v satisfy d(v₀,u) = d(v₀,v), and f(u) ∈ T_{f(v)}, then d(f(u),f(v)) ≤ K and d(u,v) ≤ K.

Main Theorems and Proof Strategy

Theorem 1.1 (Main Result)

Let T be a regular tree of degree at least 3 with root v₀. If f: T → T is a C-quasi-isometry with f(v₀) = v₀, then there exist constants D depending only on C and a D-depth mixed subtree quasi-isometry g: T → T such that f and g are at bounded distance.

Proof Strategy

Step 1: Using Lemma 2.8, reduce the general quasi-isometry case to order-preserving quasi-isometries.

Step 2: For an order-preserving quasi-isometry g, construct a mixed subtree quasi-isometry f such that at each layer iD:

• d(fᵢ(u), g(u)) ≤ K (for vertices u at distance Di from v₀)
• g(u) ∈ T_{fᵢ(u)} (preservation of order-preserving property)
• Global bounded distance control

Step 3: Verify that the constructed f'ᵥ satisfies conditions (1) and (2) through careful combinatorial arguments and distance estimates.

Experimental Results and Applications

Theoretical Verification

Lemma 3.1: Proves that mixed subtree quasi-isometries are indeed quasi-isometries with quasi-isometry constants depending only on D and the degree of the tree.

Lemma 3.2: Proves that any quasi-isometry is at bounded distance from a mixed subtree quasi-isometry, completing the characterization in the other direction.

Application Examples

The authors utilize this technique in GZ23 to construct self-quasi-isometries of F₂ such that the pushforward measure of simple random walks under the map lacks a well-defined drift.

Related Work

Quasi-isometric Rigidity Theory

This paper relates to the following research areas:

1. Baumslag-Solitar groups: Pioneering work by Whyte Why01
2. Solvable Lie groups: Series of works by Eskin-Fisher-Whyte EFW07, EFW12, EFW13
3. Spherically homogeneous trees: Results of Nairne Nai22 on (1,C)-quasi-isometries

Positioning of This Paper's Contribution

This paper provides the first complete characterization of quasi-isometries of free groups (via regular trees), filling a theoretical gap for this fundamental class of groups.

Conclusions and Discussion

Main Conclusions

1. Completely characterizes quasi-isometries of regular trees: any such map is at bounded distance from a mixed subtree quasi-isometry
2. Provides constructive methods for generating quasi-isometries with specific properties
3. Furnishes new tools for studying the quasi-isometry group QI(F₂) of free groups

Limitations

1. The method is specific to tree structures and does not directly apply to other geometric objects
2. Constants in the construction may not be optimal
3. Deeper structural properties of the quasi-isometry group QI(F₂) require further investigation

Future Directions

1. Random Quasi-isometries: Consider "random quasi-isometries" of F₂ and properties of "generic" quasi-isometries
2. Quasi-isometry Group Structure: Utilize this characterization to better understand the algebraic structure of QI(F₂)
3. Generalization and Applications: Explore applications of this technique to other problems in group theory and geometry

In-Depth Evaluation

Strengths

1. Significant Theoretical Value: First complete characterization of quasi-isometries of the fundamental class of free groups
2. Methodological Innovation: The construction of mixed subtree quasi-isometries is novel and possesses favorable combinatorial properties
3. Technical Rigor: Proofs are detailed and complete; technical lemmas possess independent value
4. Strong Constructivity: Not only provides existence results but also concrete construction methods

Weaknesses

1. Constant Optimization: Constants involved in the proof may not be optimal, leaving room for improvement
2. Generalizability: The method is highly dependent on tree structure with limited potential for generalization to other spaces
3. Computational Complexity: Computational complexity of actually constructing mixed subtree quasi-isometries is not discussed

Impact

1. Theoretical Contribution: Makes important contributions to quasi-isometry theory in geometric group theory
2. Methodological Value: The construction techniques provided may inspire research on related problems
3. Application Potential: Provides new tools for studying random processes on free groups and related applications

Applicable Scenarios

1. Studying geometric properties and quasi-isometric invariants of free groups
2. Constructing group actions and dynamical systems with specific properties
3. Analyzing random walks and Markov processes on free groups

References

• EFW07-13 Series of works by Eskin, Fisher, Whyte on quasi-isometric rigidity of solvable groups
• Nai22 Nairne's research on embeddings of spherically homogeneous trees
• Why01 Whyte's work on large-scale geometry of Baumslag-Solitar groups
• GZ23 Authors' subsequent work on properties of Markov chains on F₂

Overall Assessment: This is a paper of significant theoretical value in geometric group theory, providing the first complete characterization of quasi-isometries of free groups. It demonstrates strong technical innovation, rigorous and complete proofs, and establishes an important foundation for further research in this field.