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

Divergence functions of higher-dimensional Thompson's groups

基本信息

论文ID: 2405.19923
标题: Divergence functions of higher-dimensional Thompson's groups
作者: Yuya Kodama
分类: math.GR (Group Theory)
发表时间: 2024年5月30日
论文链接: https://arxiv.org/abs/2405.19923

摘要

本文证明了高维Thompson群具有线性发散函数。根据Druţu、Mozes和Sapir的工作，这意味着nV的渐近锥都没有割点。

研究背景与动机

问题背景

Thompson群F、T和V是由Richard Thompson在1960年代定义的有限表示无限群，被认为是神秘的群类。这些群具有许多不可预测的性质：

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.1：高维Thompson群具有线性发散函数。

技术框架

1. 高维Thompson群的表示

模式(Patterns)：通过对单位正方形0,1²的细分来描述C²的分割
着色二元树：每个插入符(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. 六段路径构造

将路径分解为六个子路径ω₁, ..., ω₆：

子路径1：调整底左矩形R₀(P₋(g))使其成为0,1/4×0,1的子集 子路径2：基于PΠQ⁻¹形式的表达式构造，引入参数M ≥ 100 子路径3：通过最小字ω₃ = g₁⁻¹回到特定状态 子路径4：根据g₃的恒等映射区域选择适当的生成元序列 子路径5：消除g₃的影响 子路径6：连接到目标元素