2025-11-10T03:06:02.752665

Characterising quasi-isometries of the free group

Goldsborough, Zbinden

We introduce the notion of mixed subtree quasi-isometries, which are self quasi-isometries of regular trees built in a specific inductive way. We then show that any self quasi-isometry of a regular tree is at bounded distance from a mixed-subtree quasi-isometry. Since the free group is quasi-isometric to a regular tree, this provides a way to describe all self quasi-isometries of the free group. In doing this, we also give a way of constructing quasi-isometries of the free group.

academic

自由群の準等距写像の特性化

基本情報

論文ID: 2307.13667
タイトル: Characterising quasi-isometries of the free group
著者: Antoine Goldsborough, Stefanie Zbinden
分類: math.GR (群論)
発表時期: 2023年7月 (arXiv v2: 2024年1月9日)
論文リンク: https://arxiv.org/abs/2307.13667
著者所属: Maxwell Institute and Department of Mathematics, Heriot-Watt University, Edinburgh, UK

要旨

本論文は混合部分木準等距写像(mixed subtree quasi-isometries)の概念を導入する。これは特定の帰納的方法で構成される正則木の自己準等距写像の一類である。著者らは、任意の正則木の自己準等距写像は、ある混合部分木準等距写像と有界距離内で同値であることを証明した。自由群と正則木が準等距であるため、これは自由群のすべての自己準等距写像を記述する方法を提供し、同時に自由群の準等距写像を構成する方法も与える。

研究背景と動機

問題の重要性

準等距写像は幾何群論における最も基本的な写像の類であるが、ほとんどの距離空間に対して、その準等距群の性質についてはほとんど知られておらず、準等距剛性が既知である特定の場合を除いて、すべての準等距写像を記述する具体的な方法は知られていない。

既存研究の限界

現在のところ、準等距写像が完全に特性化されている空間の類は限定的である：

Baumslag-Solitar群 (Whyte Why01による記述)
3次元可解リー群 (Eskin, Fisher, Whyte EFW07, EFW12, EFW13による研究)

研究動機

本論文の目標は、自由群F₂(より一般的には正則木)を、準等距写像が完全に記述できる空間のリストに加えることにより、この重要な理論的空白を埋めることである。

核心的貢献

混合部分木準等距の概念導入: 帰納的に定義される新しい準等距写像の類を提案し、良好な構成性質を有する。
完全特性化定理: 正則木の任意の準等距写像は、ある混合部分木準等距写像と有界距離内で同値であることを証明した(定理1.1)。
自由群準等距の記述: 自由群と正則木が準等距であるため、自由群の準等距写像の完全な特性化を提供する。
構成的方法: 特定の性質を持つ準等距写像を構成するための体系的な方法を提供する。
技術的拡張: Nairne Nai22の結果を拡張し、任意の準等距写像は順序保存準等距写像と有界距離内で同値であることを証明した。

方法の詳細

問題設定

次数が3以上の正則木Tが与えられたとき、T自身への準等距写像f: T → Tであってf(v₀) = v₀(v₀は根ノード)を満たすものをすべて特性化する。

核心概念

準等距写像の定義

写像f: X → XがC-準等距写像であるとは、定数C ≥ 1とDが存在して以下を満たすことである：

d(x,y)/C - C ≤ d(f(x),f(y)) ≤ Cd(x,y) + C (準等距埋め込み)
すべてのy ∈ Xに対して、x ∈ Xが存在してd(y,f(x)) ≤ D (粗い全射性)

順序保存写像

写像f: T → Tが順序保存であるとは、すべての頂点対u,v ∈ Tでv ∈ Tᵤを満たすものに対して、f(v) ∈ T_{f(u)}が成り立つことである。

D-深さ混合部分木準等距の構成

構成過程は帰納的であり、根ノードからの距離がますます遠い頂点層に対して写像を定義する：

ステップ1: f₀(v₀) = v₀と定義する

ステップ2: fᵢ: T^{iD}{v₀} → Tが既に定義されているとき、f{i+1}を以下のように構成する：

T^{iD}{v₀}内の頂点xに対して、f{i+1}(x) = fᵢ(x)とする
v₀からの距離がiDである頂点xに対して、v = fᵢ(x)とし、X = {x₁,...,xₖ}をfᵢ(xⱼ) = vかつd(v₀,xⱼ) = iDを満たすすべての頂点の集合とする
Bᵥを、X内の頂点のすべてのD-子孫の集合とする
関数f'ᵥ: Bᵥ → Tᵥを以下の条件を満たすように選択する：
1. Im(f'ᵥ) = ∂Sᵥ、ここでSᵥはvを含むTᵥの有限部分木である
2. f'ᵥ(w) = f'ᵥ(w')ならば、wとw'は同じ頂点xⱼ ∈ XのD-子孫である