Top degree $\ell^p$-homology and conformal dimension of buildings

Basic Information

• Paper ID: 2204.05808
• Title: Top degree $\ell^p$-homology and conformal dimension of buildings
• Author: Antonio López Neumann
• Classification: math.GR (Group Theory)
• Publication Date: April 2022, latest version January 2025
• Paper Link: https://arxiv.org/abs/2204.05808

Abstract

For non-compact finite-thickness buildings whose Davis apartments are orientable pseudomanifolds, this paper computes the supremum of the set of $p > 1$ for which the top-dimensional reduced $\ell^p$-cohomology is nonzero. Through Bestvina realization, this non-vanishing assertion is generalized to arbitrary finite-thickness buildings. Using similar techniques, bounds of Clais on the conformal dimension of certain Gromov hyperbolic buildings are extended to arbitrary such buildings.

Research Background and Motivation

Core Problems

This paper investigates the $\ell^p$-cohomology properties of buildings, with particular focus on:

1. Critical exponents of top-dimensional $\ell^p$-homology: Determining the range of $p$ values for which top-dimensional $\ell^p$-homology is nonzero
2. Bounds on conformal dimension: Establishing upper and lower bounds for the conformal dimension of Gromov hyperbolic buildings

Research Significance

1. Quasi-isometry invariants: $\ell^p$-cohomology is an important quasi-isometry invariant, analogous to Hausdorff dimension for metric spaces
2. Connecting algebra and geometry: Establishing quantitative relationships between combinatorial data of buildings (Weyl groups, thickness) and geometric properties
3. Generalizing existing results: Unifying and extending known results in specific cases

Limitations of Existing Methods

1. Restrictions to special cases: Previous results primarily addressed specific types of buildings (e.g., Fuchsian buildings)
2. Technical constraints: Davis realization sometimes exhibits dimension mismatches with cohomological dimension
3. Insufficient precision in conformal dimension bounds: Existing bounds lack tightness

Core Contributions

1. Critical exponent formula: For PM-type buildings, precisely computing the critical exponent of top-dimensional $\ell^p$-homology: $1 + e_q(W) = \inf\{p > 1 \mid \ell^p H_n(X_D) \neq \{0\}\}$
2. Non-vanishing theorem: Proving that for arbitrary finite-thickness buildings, top-dimensional $\ell^p$-homology is nonzero for sufficiently large $p$ values
3. Conformal dimension bounds: Establishing precise bounds for the conformal dimension of Gromov hyperbolic buildings: $\text{Confdim}(\partial\Sigma)(1 + e_q(W)^{-1}) \leq \text{Confdim}(\partial X) \leq \text{Hausdim}(\partial\Sigma, d_q)(1 + e_q(W)^{-1})$
4. Application of Bestvina realization: First systematic use of Bestvina realization to study $\ell^p$-cohomology of buildings

Methodology Details

Key Concept Definitions

Buildings and Realizations

• Combinatorial buildings: Chamber systems with Coxeter system $(W,S)$
• Davis realization: $X_D = (C \times D)/\sim$, where $D$ is the Davis chamber
• Bestvina realization: $X_B = (C \times B_R)/\sim$, where $B_R$ is the Bestvina chamber

Growth Rates

For regular buildings, defining weighted exponential growth rate: $e_q(W) = \limsup_n \frac{1}{n}\log|\{w \in W, q_w \leq e^n\}|$

Core Technical Methods

1. Retraction Mapping Technique

Utilizing retractions of buildings to Coxeter complexes $\rho: X \to \Sigma$, defining:

• Pushforward map: $\rho_*: C_k^{lf}(X;R) \to C_k^{lf}(\Sigma;R)$
• Pullback map: $\rho^*: C_k^{lf}(\Sigma;R) \to C_k^{lf}(X;R)$, defined via harmonic formulas

2. Jensen Inequality Application

Key estimate (Proposition 3.6): $\|\rho_*\rho^*(\eta)\|_p \leq \|\eta\|_p$

This utilizes averaging operations on $W$-spheres and Jensen's inequality.

3. PM-type Buildings

Definition: A Coxeter system $(W,S)$ is PM-type if its nerve $L$ is an orientable, gallery-connected pseudomanifold.

Key property: For PM-type buildings, the top-dimensional homology of the Davis complex $\Sigma_D$ is one-dimensional, with a canonical top-dimensional cycle.

Main Theorem Proof Strategy

Theorem 3.7 (Critical Exponent Computation)

Proof strategy:

1. Constructing canonical cycle $\tau = \sum_{w \in W}(-1)^{l(w)}w.D$
2. Computing $\|\rho^*(\tau)\|_p^p = \sum_{w \in W} q_w^{1-p} = W(q^{1-p})$
3. Utilizing Proposition 2.12 on series convergence characterization
4. Proving the reverse direction via Jensen's inequality

Theorem 4.8 (Non-vanishing)

Proof strategy:

1. Utilizing bounded coefficient cycles from Bestvina construction
2. Estimating their $\ell^p$-norm: $\|\rho^*(\tau)\|_p^p \leq \|\tau_0\|_p^p W_\tau(q^{1-p})$
3. Applying growth rate theory

Experimental Setup and Results

Theoretical Verification

This paper is primarily theoretical, with results verified through:

1. Special Case Verification

• Affine buildings: Proving that top-dimensional $\ell^p$-homology is nonzero for all $p > 1$
• Fuchsian buildings: Complete characterization of $\ell^p$-cohomology vanishing for degrees 1 and 2

2. Consistency with Known Results

• Generalizing Dymara's $\ell^2$-cohomology results
• Consistent with Bourdon's exact computations on Fuchsian building conformal dimension
• Extending Clais's bounds for right-angled Coxeter groups

Main Results

Corollary 1.2 (Affine Case)

For $n$-dimensional affine buildings $X$: $\ell^p H_n(X) \neq \{0\} \text{ for all } p > 1$

This answers Gromov's question in the non-Archimedean case.

Corollary 1.3 (Complete Description of Fuchsian Buildings)

For cocompact Fuchsian buildings $X$:

• When $p < \text{Confdim}(\partial X)$: $\ell^p H^1(X) = \{0\}$, $\ell^p H^2(X) \neq \{0\}$
• When $p > \text{Confdim}(\partial X)$: $\ell^p H^1(X) \neq \{0\}$, $\ell^p H^2(X) = \{0\}$

Related Work

Historical Development

1. Gromov's pioneering work: Introducing $\ell^p$-cohomology as a quasi-isometry invariant
2. Pansu's critical exponents: First defining critical exponents for first $\ell^p$-cohomology
3. Dymara's $\ell^2$ results: Foundational work that this paper primarily extends

Building Theory Background

1. Tits's building theory: Buildings as non-Archimedean analogues of symmetric spaces
2. Davis realization: Providing geometric realization with CAT(0) metric
3. Bestvina construction: Tool for computing virtual cohomological dimension

Conformal Dimension Research

1. Bourdon-Pajot theory: Connecting $\ell^p$-cohomology with conformal dimension
2. Clais's bounds: Results for special cases
3. Bonk-Kleiner separation property: Key tool used in this paper

Technical Innovations

1. Unified Framework

Unifying Davis and Bestvina realizations under the mirror complex framework, providing a unified approach for handling different geometric realizations.

2. Growth Rate Techniques

Systematically employing weighted growth rates $e_q(W)$ to connect combinatorial data with analytic properties.

3. Convexity Methods

Innovatively using convexity of "pressure functions" $P_f(s)$ in proving conformal dimension bounds.

4. Harmonic Formulas

The definition of pullback map $\rho^*$ is essentially the dual of Steinberg representation, representing a profound algebraic-geometric correspondence.

Conclusions and Discussion

Main Conclusions

1. Precise characterization: For PM-type buildings, completely determining the nonzero interval of top-dimensional $\ell^p$-homology
2. Universal non-vanishing: Any finite-thickness building has nonzero $\ell^p$-homology at its virtual cohomological dimension
3. Optimal bounds: For Fuchsian buildings, conformal dimension bounds are optimal

Limitations

1. PM condition restrictions: Exact formulas require the nerve to be an orientable pseudomanifold
2. Missing lower bounds: In general cases, only non-vanishing can be established, without determining exact lower bounds
3. Computational complexity: Concrete computation of growth rate $e_q(W)$ is difficult in general cases

Future Directions

1. Removing PM conditions: Seeking general formulas independent of nerve topological properties
2. Higher-order cohomology: Investigating properties of intermediate-dimensional $\ell^p$-cohomology
3. Algorithmic problems: Developing effective algorithms for computing growth rates $e_q(W)$

In-Depth Evaluation

Strengths

1. Theoretical depth: Organically combining multiple mathematical branches (group theory, algebraic topology, geometric analysis)
2. Technical innovation: Systematic application of Bestvina realization to $\ell^p$-cohomology is novel
3. Result completeness: Providing not only existence results but also precise numerical characterizations
4. Unification: Incorporating scattered results into a unified framework

Weaknesses

1. High technical threshold: Requiring deep background in building theory and $\ell^p$-cohomology
2. Limited application scope: Primarily theoretical results with limited direct applications
3. Computational feasibility: While formulas are provided, concrete computation remains difficult

Impact

1. Theoretical contribution: Establishing solid foundations for building $\ell^p$-cohomology theory
2. Methodological value: Retraction mapping and growth rate techniques may apply to other geometric objects
3. Problem resolution: Answering important questions posed by Gromov

Applicable Scenarios

1. Theoretical research: Geometric group theory, building theory, $\ell^p$-cohomology research
2. Related fields: Potentially inspiring research on analytic properties of other geometric objects
3. Educational value: Demonstrating techniques and ideas of modern geometric analysis

References

The paper contains rich references covering multiple related fields including building theory, $\ell^p$-cohomology, and conformal dimension, particularly foundational contributions from Gromov, Bourdon, Dymara, and others.

This paper represents significant progress in $\ell^p$-cohomology theory within geometric group theory. Through deep technical analysis and innovative methods, it provides profound understanding of the analytic properties of buildings, an important geometric object.