2025-11-10T02:56:02.221191

On the Coarse Lusternik-Schnirelmann Category of Groups

De Saha
We introduce a coarse analog of the classical Lusternik-Schnirelmann category which we denote by $\text{c-cat}$, defined for metric spaces in the coarse homotopy category. This provides a new tool for studying large-scale topological properties of groups and spaces. We establish that $\text{c-cat}$ is a coarse homotopy invariant and prove a lower-bound $\text{p-cat}(Γ)\leq \text{c-cat}(Γ)$ for geometrically finite groups $Γ$, where $\text{p-cat}$ denotes the proper LS-category introduced in 1992 by Ayala and co-authors. We also prove an upper bound $\text{c-cat}(Γ) \leq \text{asdim}(Γ)$ for bicombable 1-ended groups which are semistable at $\infty$.
academic

On the Coarse Lusternik-Schnirelmann Category of Groups

基本信息

  • 论文ID: 2510.10367
  • 标题: On the Coarse Lusternik-Schnirelmann Category of Groups
  • 作者: Aditya De Saha
  • 分类: math.GT math.AT math.GR math.MG
  • 发表时间: October 14, 2025 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2510.10367

摘要

本文引入了经典Lusternik-Schnirelmann范畴的粗糙类比，记为c-cat，定义在粗糙同伦范畴中的度量空间上。这为研究群和空间的大尺度拓扑性质提供了新工具。文章建立了c-cat是粗糙同伦不变量，并证明了对几何有限群Γ的下界p-cat(Γ) ≤ c-cat(Γ)，其中p-cat是Ayala等人在1992年引入的适当LS-范畴。同时证明了对双可梳理的1-端群在无穷远处半稳定的上界c-cat(Γ) ≤ asdim(Γ)。

研究背景与动机

问题背景

  1. 经典LS-范畴的局限性: 经典的Lusternik-Schnirelmann范畴在拓扑学中是重要的数值不变量，但在粗糙几何和几何群论的大尺度研究中缺乏直接应用。
  2. 粗糙几何的发展需求: 粗糙几何中已有渐近维数(asymptotic dimension)等重要不变量，但缺乏更多的数值工具来刻画群和空间的大尺度拓扑性质。
  3. 维数理论的类比: Gromov将Lebesgue覆盖维数的定义转译到粗糙几何语言中得到渐近维数，本文试图对LS-范畴做类似的转译。

研究重要性

  • 为几何群论提供新的数值不变量工具
  • 建立粗糙LS-范畴与渐近维数的关系，类似于经典拓扑中cat(X) ≤ dim(X)
  • 为研究Out(Fn)和Helly群等困难问题提供新的分析角度

现有方法局限性

  • 经典LS-范畴无法直接应用于无穷群的大尺度几何
  • 适当LS-范畴(p-cat)虽然适用于非紧空间，但在粗糙等价下不是不变量
  • 缺乏连接不同尺度几何性质的桥梁

核心贡献

  1. 引入粗糙LS-范畴: 首次定义了度量空间在粗糙同伦范畴中的LS-范畴概念c-cat
  2. 建立不变性: 证明了c-cat是粗糙同伦不变量
  3. 比较定理: 对几何有限群证明了p-cat(Γ) ≤ c-cat(Γ)的下界关系
  4. 上界结果: 对双可梳理1-端半稳定群证明了c-cat(Γ) ≤ asdim(Γ)的上界
  5. 技术工具: 发展了粗糙同伦理论中的多项技术，包括粗糙范畴集合的刻画

方法详解

基本概念定义

粗糙映射

对度量空间X和Y，函数f: X → Y称为：

  • 受控的(controlled): 若对任意r > 0存在S > 0使得d(x,x') < r ⟹ d(f(x),f(x')) < S
  • 适当的(proper): 若任意有界集B ⊂ Y的原象f⁻¹(B)在X中有界
  • 粗糙的(coarse): 若既受控又适当

粗糙同伦

设p: X → R₊为粗糙映射，定义p-柱面： IpX={(x,t)∈X×R+∣t≤p(x)}I_pX = \{(x,t) ∈ X × R₊ | t ≤ p(x)\}

粗糙同伦是粗糙映射H: I_pX → Y，两个粗糙映射f,g: X → Y粗糙同伦当且仅当存在粗糙同伦H使得H∘i₀ = f且H∘i₁ = g。

粗糙LS-范畴定义

粗糙范畴集合

度量空间X的子集A ⊆ X称为粗糙范畴的，如果存在粗糙映射α: R₊ → X和j: A → R₊使得下图在粗糙同伦意义下交换：

A ----→ X
|       
|       
↓       
R₊ ----→ 
   α

粗糙LS-范畴

度量空间X的粗糙LS-范畴c-cat(X)是最小的数k，使得存在X的覆盖{Uᵢ}₀≤ᵢ≤k，其中每个Uᵢ都是粗糙范畴的。

关键技术结果

不变性定理

引理2.15-2.16: c-cat是粗糙同伦不变量。证明基于粗糙同伦等价保持粗糙范畴性质。

可梳理空间理论

对可梳理空间(X,p)，梳理映射C: X × N → X满足：

  1. C(x,0) = p = C(p,n)
  2. 对有界集K ⊂ X存在N使得n ≥ N时C(x,n) = x
  3. C是受控映射

命题4.7: 对可梳理空间，适当同伦的连续粗糙映射必粗糙同伦。

主要定理与证明思路

比较定理(定理3.4)

定理: 对几何有限群Γ，有p-cat(Γ) ≤ c-cat(Γ)。

证明思路:

  1. 利用引理3.1将粗糙映射"升级"为适当连续映射
  2. 几何有限群的万有覆盖是一致可缩的有限维单纯复形
  3. 粗糙范畴覆盖可转化为适当范畴覆盖

上界定理(定理5.11-5.12)

主定理: 对双可梳理、适当、测地、在无穷远处粗糙半稳定的度量空间X，有c-cat(X) ≤ asdim(X)。

证明核心:

  1. 分散集合理论: 定义分散集合和分散族，证明它们是粗糙范畴的
  2. 渐近维数分解: 利用渐近维数的覆盖性质构造分散族覆盖
  3. 技术引理5.6: 对分散集合中远离基点的点，可构造避开小球的路径连接到基射线

关键引理5.5: 对双可梳理粗糙路径连通空间，分散集合是粗糙范畴的。

重要例子与应用

基本例子

  1. c-cat(Rⁿ) = 1: 可用两个半空间覆盖，每个半空间可粗糙变形到射线
  2. c-cat(T₂) = ∞: 无穷二叉树中不同测地射线不粗糙同伦
  3. 双曲空间: 完全单连通非正曲率黎曼流形与Rⁿ粗糙同伦等价，故c-cat = 1

群类应用

  • 几何有限群: 包括双曲群、算术群等
  • 可梳理群: 包括幂零群、可解群、映射类群等
  • 1-端半稳定群: 与粗糙路径连通等价(命题2.12)

技术创新与理论意义

技术创新

  1. 粗糙范畴概念: 首次将LS-范畴概念成功转译到粗糙几何
  2. 分散族方法: 创新性地使用分散集合族来构造粗糙范畴覆盖
  3. 可梳理性应用: 深入利用可梳理性质处理粗糙同伦问题

理论意义

  1. 维数理论完善: 建立了c-cat ≤ asdim的类比关系
  2. 不变量层次: 提供了介于适当LS-范畴和渐近维数之间的新不变量
  3. 几何群论工具: 为研究群的大尺度性质提供新视角

局限性与未来方向

当前局限性

  1. 适用范围: 主要结果需要群具有可梳理性和半稳定性
  2. 计算复杂性: 实际计算c-cat仍然困难
  3. 精确值: 对多数具体群，c-cat的精确值未知

未来研究方向

  1. 扩展适用性: 研究非可梳理群的c-cat
  2. 计算方法: 发展计算c-cat的有效算法
  3. 应用探索: 将c-cat应用于Out(Fₙ)和Helly群的研究
  4. 高维推广: 考虑更高维的粗糙拓扑不变量

深度评价

优点

  1. 概念创新: 成功将经典拓扑概念转译到粗糙几何，概念定义自然合理
  2. 技术深度: 证明技术精细，特别是分散集合的处理和可梳理性的应用
  3. 理论完整性: 建立了完整的理论框架，包括不变性、比较定理和上界
  4. 几何直觉: 保持了原始LS-范畴的几何直觉，便于理解和应用

不足

  1. 条件限制: 主要结果需要较强的技术条件(双可梳理、半稳定等)
  2. 计算困难: 缺乏实际计算c-cat的有效方法
  3. 例子有限: 能精确计算c-cat的非平凡例子较少
  4. 应用验证: 作为新工具，其在具体问题中的威力尚待验证

影响力评估

  • 理论贡献: 为粗糙几何和几何群论提供重要新工具
  • 研究启发: 可能启发更多经典拓扑概念的粗糙化研究
  • 长远价值: 在几何群论的困难问题研究中具有潜在应用价值

适用场景

  • 几何群论中群的大尺度性质研究
  • 渐近维数有限性的预备研究
  • 粗糙几何中新不变量的探索
  • 拓扑与几何的交叉研究

参考文献

论文引用了该领域的核心文献，包括：

  • Gromov关于渐近维数的开创性工作
  • Bell-Dranishnikov关于渐近维数的系统研究
  • Ayala等人关于适当LS-范畴的工作
  • 可梳理性和粗糙同伦的相关理论

本文为粗糙几何和几何群论的交叉研究做出了重要贡献，虽然技术要求较高，但为该领域提供了有价值的新工具和研究方向。