2025-11-24T03:46:16.956357

Divergence functions of higher-dimensional Thompson's groups

Kodama

We prove that higher-dimensional Thompson's groups have linear divergence functions. By the work of DruÅ£u, Mozes, and Sapir, this implies none of the asymptotic cones of $nV$ has a cut-point.

academic

高次元Thompson群の発散関数

基本情報

論文ID: 2405.19923
タイトル: Divergence functions of higher-dimensional Thompson's groups
著者: Yuya Kodama
分類: math.GR（群論）
発表日: 2024年5月30日
論文リンク: https://arxiv.org/abs/2405.19923

要約

本論文は、高次元Thompson群が線形発散関数を持つことを証明した。Druţu、Mozes、Sapirの研究に基づけば、これはnVの漸近錐がすべて切断点を持たないことを意味する。

研究背景と動機

問題背景

Thompson群F、T、Vは1960年代にRichard Thompsonによって定義された有限表示無限群であり、神秘的な群類として認識されている。これらの群は多くの予測不可能な性質を持つ：

TとVは有限表示、無限、かつ単純である最初の群の例である
Fの従順性（amenability）は困難な未解決問題である
これらの特殊性のため、多くの「一般化」Thompson群が定義されており、高次元Thompson群nVを含む

研究動機

発散関数の重要性：発散関数はGromovによって最初に提案され、Gerstenによって正式に定義された測地距離空間の準等距不変量であり、その位数は群のCayleyグラフがユークリッド空間または双曲空間に「近い」かどうかを示す
既存の結果：2018年にGolanとSapirはF、T、Vが線形発散関数を持つことを証明し、その証明が一般化Thompson群に拡張できるかどうかを問うた
理論的意義：線形発散関数は漸近錐の位相的性質、特に切断点の存在と密接に関連している

既存方法の限界

一般化Thompson群に関する同様の結果は存在するが、高次元Thompson群nVの発散関数の性質については完全な証明がまだ得られていない。

中核的貢献

主定理：高次元Thompson群nVが線形発散関数を持つことを証明した
位相的結果：Druţu、Mozes、Sapirの研究により、nVの漸近錐がすべて切断点を持たないことを意味する
方法の拡張：GolanとSapirの元の論証を高次元の場合に成功裏に拡張した
技術的革新：高次元Thompson群を扱うための具体的な技術方法を開発した

方法の詳細

タスク定義

高次元Thompson群nVに対して、定数δ ∈ (0,1)が存在し、δ-発散関数ϕδ(x)が線形関数の同値類に属することを証明する。

技術的枠組み

1. 高次元Thompson群の表現

パターン：単位正方形0,1²の細分によってℝ²の分割を記述する
色付き二分木：各挿入記号（caret）は色{a,b}で着色され、垂直および水平細分に対応する
格子図（Grid Diagrams）：nVの各要素の一意な表現を提供する

2. 生成集合と語長推定

生成集合X₂Vを定義し、以下を含む：

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

主要補題：

命題2.11：g ∈ 2Vの細分度がkであるとき、gのX₂Vに関する語長は少なくともk/8である
系2.12：本質的矩形Rに対して、簡約条件を満たさない場合、語長は少なくとも‖R‖/8である

3. 経路構成戦略

中核命題3.3：定数δ、D、および正整数Qが存在し、|g| ≥ 4のg ∈ 2Vに対して、以下を満たす長さ最大D|g|の経路が存在する：

恒等元のδ|g|-近傍を回避する
gから特定の要素x̂₁^(-Q|g|)x̂₂x̂₁^(Q|g|)x₁^(-Q|g|)x₂x₁^(Q|g|)に接続する

部分経路1：底左矩形R₀(P₋(g))を0,1/4×0,1の部分集合になるように調整する 部分経路2：PΠQ⁻¹形式の表現に基づいて構成し、パラメータM ≥ 100を導入する 部分経路3：最小語ω₃ = g₁⁻¹を通じて特定の状態に戻る 部分経路4：g₃の恒等写像領域に基づいて適切な生成元列を選択する 部分経路5：g₃の影響を除去する 部分経路6：目標要素に接続する