Abstract:We study the Cheeger isoperimetric constant as a functional in the space of convex co-compact hyperbolic 3-manifolds which are either quasi-Fuchsian or acylindrical. We prove that the global maximum is attained uniquely at the Fuchsian locus.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the behavior of the Cheeger isoperimetric constant as a function in the space of convex conformally compact hyperbolic 3 - manifolds (especially quasi - Fuchsian or acylindrical manifolds), and prove that the global maximum is uniquely attained at the Fuchsian position. Specifically, the authors explore the properties of the Cheeger isoperimetric constant \(h(M)\) in convex conformally compact hyperbolic 3 - manifolds that are quasi - Fuchsian or acylindrical, and prove that for this type of manifolds, the global maximum of \(h(M)\) is uniquely attained at the Fuchsian position.
### Background of the Paper and Problem Definition
1. **Hyperbolic Manifolds and Their Core Concepts**
- The limit set \(\Lambda(\Gamma)\) of a hyperbolic manifold \(H^{3}/\Gamma\) is defined as the set of accumulation points of the orbit \(\Gamma x\) in \(\partial_{\infty}H^{3}=S^{2}\).
- The convex core is the quotient space of the convex hull of \(\Lambda(\Gamma)\) under \(\Gamma\).
- A convex conformally compact hyperbolic 3 - manifold is called convex conformally compact if its convex core is compact.
2. **Quasi - Fuchsian and Acylindrical Manifolds**
- For a quasi - Fuchsian manifold \(H^{3}/\Gamma\), the limit set \(\Lambda(\Gamma)\) is a closed Jordan curve in \(\partial_{\infty}H^{3}=S^{2}\).
- For an acylindrical manifold \((M^{3},\partial M)\), the boundary \(\partial M\) is incompressible, and every map that maps the cylinder \(C = S^{1}\times I\) into \((M,\partial M)\), if it maps \(\partial C\) into a non - trivial homotopy class of \(\partial M\), can be homotoped into \(\partial M\).
3. **Cheeger Isoperimetric Constant**
- For a complete non - compact manifold \(M\), the Cheeger isoperimetric constant \(h(M)\) is defined as:
\[
h(M)=\inf\left\{\frac{A(\partial\Omega)}{V(\Omega)}:\Omega\subset M,\Omega\text{ has a compact closure and a smooth boundary}\right\}
\]
- Cheeger's inequality:
\[
\frac{h^{2}(M)}{4}\leq\lambda_{0}(M)
\]
where \(\lambda_{0}(M)\) is the bottom spectrum of the Laplacian of the manifold \(M\).
### Main Results
1. **Main Theorem**
- For a convex conformally compact hyperbolic 3 - manifold \(M\) that is quasi - Fuchsian or acylindrical, the Cheeger isoperimetric constant \(h(M)\) satisfies:
\[
h(M)\leq\frac{2}{\alpha}\approx1.66711
\]
where \(\alpha\) is the unique positive solution of the equation \(\alpha = \coth\alpha\). The equality holds if and only if \(M\) is \(\Sigma\times\mathbb{R}\) with a Fuchsian metric.
2. **Corollary**
- For a finite - perimeter region \(\Omega\) in the Fuchsian 3 - manifold \(\Sigma\times\mathbb{R}\), we have:
\[
|\partial\Omega|