Dawid Kielak,Piotr W. Nowak
Abstract:We prove that if a compact $n$-manifold admits a sequence of residual covers that form a coboundary expander in dimension $n-2$, then the manifold has Gromov-hyperbolic fundamental group. In particular, residual sequences of covers of non-hyperbolic compact connected irreducible 3-manifolds are not 1-coboundary expanders.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Under given conditions, how to determine whether the fundamental group of a compact manifold is a Gromov hyperbolic group. Specifically, the paper explores when the fundamental group \(G=\pi_1(X)\) of a compact \(n\)-manifold \(X\) has a residual chain \((N_i)\), if these covering space sequences \((X_i)\) form an \((n - 2)\)-coboundary expander, then whether \(G\) must be a Gromov hyperbolic group.
### Main Conclusions of the Paper
The main conclusions of the paper can be summarized as the following theorem:
**Theorem 1.** Let \(X\) be a compact connected triangulated \(n\)-manifold, possibly with a boundary. Suppose \(G = \pi_1(X)\) has a residual chain \((N_i)\), and let \(X_i=N_i\backslash\tilde{X}\) be the corresponding finite coverings of \(X\). If the sequence \((X_i)\) forms an \((n - 2)\)-coboundary expander (with coefficients in some non - trivial abelian group \(A\)), then \(G\) is a Gromov hyperbolic group.
### Explanation of Key Concepts
- **Gromov Hyperbolic Group**: A group \(G\) is called a Gromov hyperbolic group if its Cayley graph has a certain geometric property, that is, there exists a constant \(\delta>0\) such that the distance between any two geodesic segments between any three points does not exceed \(\delta\).
- **Coboundary Expander**: A complex \(X\) is called an \(n\)-coboundary expander if for each \(n\)-cochain \(c\in C^n(X;A)\), the inequality
\[
\|d^* c\|_{\text{Ham}}\geq\lambda_n d_{\text{Ham}}(c,B^n(X;A))
\]
is satisfied, where \(\|\cdot\|_{\text{Ham}}\) represents the Hamming norm, \(d_{\text{Ham}}\) represents the Hamming distance, and \(\lambda_n>0\) is a constant.
### Applications and Corollaries
The paper also discusses corollaries in some special cases, for example:
1. **Quotient Spaces of Symmetric Spaces**: For each \(n\geq3\), the quotient space of the closed equivariant regular neighborhood is not an \(m\)-coboundary expander, where \(m = n^2-3-\frac{n(n - 1)}{2}\).
2. **3 - Manifolds**: The residual chain coverings of compact connected irreducible non - hyperbolic 3 - manifolds are not 1 - coboundary expanders.
### Research Methods
The paper proves the above theorem by studying the properties of coboundary expanders, especially the locality and lifting properties. Specifically, the author constructs a linear homology Dehn function by using Poincaré duality and the definition of coboundary expanders, thus proving that \(G\) is a Gromov hyperbolic group.
### Conclusion
By introducing and studying the concept of coboundary expanders, this paper provides a new method to determine whether the fundamental group of a manifold is a Gromov hyperbolic group. This result not only enriches the high - dimensional expander theory, but also provides a new perspective for understanding the fundamental groups of manifolds.