On the Coarse Lusternik-Schnirelmann Category of Groups

Basic Information

• Paper ID: 2510.10367
• Title: On the Coarse Lusternik-Schnirelmann Category of Groups
• Author: Aditya De Saha
• Classification: math.GT math.AT math.GR math.MG
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10367

Abstract

This paper introduces a coarse analogue of the classical Lusternik-Schnirelmann category, denoted c-cat, defined on metric spaces in the coarse homotopy category. This provides new tools for studying large-scale topological properties of groups and spaces. The article establishes that c-cat is a coarse homotopy invariant and proves a lower bound p-cat(Γ) ≤ c-cat(Γ) for geometrically finite groups Γ, where p-cat denotes the proper LS-category introduced by Ayala et al. in 1992. Additionally, an upper bound c-cat(Γ) ≤ asdim(Γ) is established for bicombed one-ended groups that are semistable at infinity.

Research Background and Motivation

Problem Background

1. Limitations of Classical LS-Category: The classical Lusternik-Schnirelmann category is an important numerical invariant in topology, but lacks direct applications in large-scale studies within coarse geometry and geometric group theory.
2. Development Needs in Coarse Geometry: While coarse geometry has important invariants such as asymptotic dimension, it lacks additional numerical tools to characterize large-scale topological properties of groups and spaces.
3. Analogy in Dimension Theory: Gromov translated the definition of Lebesgue covering dimension into coarse geometric language to obtain asymptotic dimension. This paper attempts a similar translation for LS-category.

Research Significance

• Provides new numerical invariant tools for geometric group theory
• Establishes relationships between coarse LS-category and asymptotic dimension, analogous to cat(X) ≤ dim(X) in classical topology
• Offers new analytical perspectives for studying difficult problems such as Out(Fₙ) and Helly groups

Limitations of Existing Methods

• Classical LS-category cannot be directly applied to large-scale geometry of infinite groups
• Proper LS-category (p-cat), while applicable to non-compact spaces, is not invariant under coarse equivalence
• Lacks a bridge connecting geometric properties at different scales

Core Contributions

1. Introduction of Coarse LS-Category: First definition of LS-category concept c-cat for metric spaces in the coarse homotopy category
2. Establishment of Invariance: Proves that c-cat is a coarse homotopy invariant
3. Comparison Theorems: Establishes the lower bound p-cat(Γ) ≤ c-cat(Γ) for geometrically finite groups
4. Upper Bound Results: Proves the upper bound c-cat(Γ) ≤ asdim(Γ) for bicombed one-ended semistable groups
5. Technical Tools: Develops multiple techniques in coarse homotopy theory, including characterizations of coarse categorical sets

Detailed Methodology

Basic Concept Definitions

Coarse Maps

For metric spaces X and Y, a function f: X → Y is called:

• Controlled: if for any r > 0 there exists S > 0 such that d(x,x') < r ⟹ d(f(x),f(x')) < S
• Proper: if the preimage f⁻¹(B) is bounded in X for any bounded set B ⊂ Y
• Coarse: if it is both controlled and proper

Coarse Homotopy

For a coarse map p: X → ℝ₊, define the p-cylinder: $I_pX = \{(x,t) ∈ X × ℝ₊ | t ≤ p(x)\}$

A coarse homotopy is a coarse map H: I_pX → Y. Two coarse maps f,g: X → Y are coarsely homotopic if there exists a coarse homotopy H such that H∘i₀ = f and H∘i₁ = g.

Definition of Coarse LS-Category

Coarse Categorical Sets

A subset A ⊆ X of a metric space X is called coarsely categorical if there exist a coarse map α: ℝ₊ → X and j: A → ℝ₊ such that the following diagram commutes in the coarse homotopy sense:

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

Coarse LS-Category

The coarse LS-category c-cat(X) of a metric space X is the minimum number k such that there exists a cover {Uᵢ}₀≤ᵢ≤k of X where each Uᵢ is coarsely categorical.

Key Technical Results

Invariance Theorem

Lemmas 2.15-2.16: c-cat is a coarse homotopy invariant. The proof is based on coarse homotopy equivalences preserving coarse categoricality.

Theory of Combed Spaces

For a combed space (X,p), a combing map C: X × ℕ → X satisfies:

1. C(x,0) = p = C(p,n)
2. For any bounded set K ⊂ X there exists N such that C(x,n) = x for n ≥ N
3. C is a controlled map

Proposition 4.7: For combed spaces, continuously proper homotopic coarse maps are coarsely homotopic.

Main Theorems and Proof Strategies

Comparison Theorem (Theorem 3.4)

Theorem: For a geometrically finite group Γ, we have p-cat(Γ) ≤ c-cat(Γ).

Proof Strategy:

1. Use Lemma 3.1 to "upgrade" coarse maps to proper continuous maps
2. The universal cover of a geometrically finite group is a uniformly contractible finite-dimensional simplicial complex
3. Coarse categorical covers can be transformed into proper categorical covers

Upper Bound Theorem (Theorems 5.11-5.12)

Main Theorem: For a bicombed, proper, geodesic metric space X that is semistable at infinity, we have c-cat(X) ≤ asdim(X).

Proof Core:

1. Scattered Set Theory: Define scattered sets and scattered families, proving they are coarsely categorical
2. Asymptotic Dimension Decomposition: Utilize covering properties of asymptotic dimension to construct scattered family covers
3. Technical Lemma 5.6: For points in scattered sets far from the basepoint, construct paths avoiding small balls that connect to base rays

Key Lemma 5.5: For bicombed coarsely path-connected spaces, scattered sets are coarsely categorical.

Important Examples and Applications

Basic Examples

1. c-cat(ℝⁿ) = 1: Can be covered by two half-spaces, each of which coarsely deforms to a ray
2. c-cat(T₂) = ∞: In the infinite binary tree, different geodesic rays are not coarsely homotopic
3. Hyperbolic Spaces: Complete simply-connected non-positively curved Riemannian manifolds are coarsely homotopy equivalent to ℝⁿ, hence c-cat = 1

Group Class Applications

• Geometrically Finite Groups: Including hyperbolic groups, arithmetic groups, etc.
• Combed Groups: Including nilpotent groups, solvable groups, mapping class groups, etc.
• One-Ended Semistable Groups: Equivalent to coarse path connectivity (Proposition 2.12)

Technical Innovation and Theoretical Significance

Technical Innovations

1. Coarse Categorical Concept: First successful translation of LS-category concept to coarse geometry
2. Scattered Family Method: Innovative use of scattered set families to construct coarse categorical covers
3. Application of Combability: Deep utilization of combing properties to handle coarse homotopy problems

Theoretical Significance

1. Refinement of Dimension Theory: Establishes the analogous relationship c-cat ≤ asdim
2. Hierarchy of Invariants: Provides a new invariant between proper LS-category and asymptotic dimension
3. Geometric Group Theory Tools: Offers new perspectives for studying large-scale properties of groups

Limitations and Future Directions

Current Limitations

1. Scope of Applicability: Main results require groups to possess combability and semistability properties
2. Computational Complexity: Actual computation of c-cat remains difficult
3. Exact Values: For most concrete groups, exact values of c-cat are unknown

Future Research Directions

1. Extension of Applicability: Study c-cat for non-combed groups
2. Computational Methods: Develop effective algorithms for computing c-cat
3. Application Exploration: Apply c-cat to research on Out(Fₙ) and Helly groups
4. Higher-Dimensional Generalizations: Consider higher-dimensional coarse topological invariants

In-Depth Evaluation

Strengths

1. Conceptual Innovation: Successfully translates classical topological concepts to coarse geometry with natural and reasonable definitions
2. Technical Depth: Refined proof techniques, particularly in handling scattered sets and applying combability
3. Theoretical Completeness: Establishes a complete theoretical framework including invariance, comparison theorems, and upper bounds
4. Geometric Intuition: Preserves the geometric intuition of the original LS-category, facilitating understanding and application

Weaknesses

1. Restrictive Conditions: Main results require strong technical conditions (bicombed, semistable, etc.)
2. Computational Difficulty: Lacks effective methods for practical computation of c-cat
3. Limited Examples: Few non-trivial examples where c-cat can be computed exactly
4. Unverified Applications: As a new tool, its power in concrete problems remains to be demonstrated

Impact Assessment

• Theoretical Contribution: Provides important new tools for coarse geometry and geometric group theory
• Research Inspiration: May inspire further research on coarsification of classical topological concepts
• Long-term Value: Possesses potential application value in studying difficult problems in geometric group theory

Applicable Scenarios

• Study of large-scale properties of groups in geometric group theory
• Preliminary research on finiteness of asymptotic dimension
• Exploration of new invariants in coarse geometry
• Cross-disciplinary research between topology and geometry

References

The paper cites core literature in the field, including:

• Gromov's pioneering work on asymptotic dimension
• Systematic research by Bell-Dranishnikov on asymptotic dimension
• Work by Ayala et al. on proper LS-category
• Related theories on combability and coarse homotopy

This paper makes important contributions to cross-disciplinary research between coarse geometry and geometric group theory. While technically demanding, it provides valuable new tools and research directions for the field.