Abstract:The goal of this paper is to provide an expository description of a result of Carrasco Piaggio connecting the Ahlfors regular conformal dimension of a compact uniformly perfect doubling metric space with the combinatorial $p$-moduli of the metric space. We give detailed construction of a metric associated with the $p$-modulus of the space when the $p$-modulus is zero, so that the constructed metric is in the Ahlfors regular conformal gauge of the metric space. To do so, we utilize the tools of hyperbolic filling, developed first by Gromov and by Bourdon and Pajot.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to provide a detailed description of the Carrasco Piaggio theorem, which connects the combinatorial modulus and the Ahlfors regular conformal dimension. Specifically, the paper explores how to calculate the Ahlfors regular conformal dimension of a compact, uniformly perfect, and doubling metric space through the concepts of discrete approximation and combinatorial modulus.
#### Explanation of key concepts
1. **Ahlfors regular conformal dimension**:
- For a given metric space \((X, d)\), its Ahlfors regular conformal dimension is the infimum of the Ahlfors regular dimensions among all Ahlfors regular metric spaces that are quasisymmetric to it. That is:
\[
\text{Ahlfors regular conformal dimension} = \inf \{ p : (X, \theta) \text{ is Ahlfors regular and quasisymmetric to } (X, d) \}
\]
2. **Combinatorial Modulus**:
- The combinatorial modulus is a tool for measuring the distribution of path families in a graph. For a metric space \((X, d)\), its combinatorial \(p\)-modulus is defined as:
\[
M_p(X, d) := \liminf_{k \to \infty} \sup_{v \in V} \text{Mod}_p(\Gamma_k(B_v))
\]
where \(\Gamma_k(B_v)\) represents a family of paths from the ball \(B_v\) to its exterior.
3. **Main results**:
- The main result of this paper is to prove the following theorem:
\[
\text{Theorem 1.1: Let } (X, d) \text{ be a compact, doubling, and uniformly perfect metric space. Then the Ahlfors regular conformal dimension of } (X, d) \text{ equals the infimum of all } p > 0 \text{ for which the combinatorial modulus } M_p(X, d) \text{ of the metric space } (X, d) \text{ is zero.}
\]
### Research motivation
- **Understanding geometric structures**: By studying the dimensions of metric spaces, one can gain in - depth understanding of their geometric structures. For example, topological dimension, Hausdorff dimension, Minkowski dimension, etc.
- **Dealing with complex spaces**: For some complex metric spaces (such as fractals), traditional dimension concepts may not be applicable or difficult to calculate. The Ahlfors regular conformal dimension provides a new perspective.
- **Simplifying existing proofs**: The original proof by Carrasco Piaggio involves many parameters, which obscures the basic ideas. This paper aims to simplify this proof and make it easier to understand.
### Methods
- **Hyperbolic filling construction**: By constructing a hyperbolic filling graph of the metric space, the metric space is discretized, which facilitates the calculation of the combinatorial modulus.
- **Quasisymmetric mapping**: Use quasisymmetric mapping to transform the original metric space into an Ahlfors regular one.