Abstract:In this paper we confirm a folklore conjecture which suggests that for a complete noncompact manifold $M$ of finite volume with sectional curvature $-1 \leq K \leq 0$, if the universal cover of $M$ is a visibility manifold, then the fundamental group of each end of $M$ is almost nilpotent.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in a non - compact manifold of finite volume, if its universal cover is a visibility manifold, whether the fundamental group of each end is almost nilpotent. Specifically, the paper explores for a complete non - compact Riemannian manifold \(M\) with non - positive sectional curvature (\(- 1\leqslant K\leqslant0\)), if the universal cover of \(M\) is a visibility manifold, whether the fundamental group of each end of \(M\) is almost nilpotent. This problem has been proven to hold in the low - dimensional case, but in this paper, the authors generalize it to arbitrary dimensions and prove that this conjecture indeed holds.
### Main contributions of the paper
1. **Confirm a long - standing conjecture**:
- **Conjecture 1.1**: Let \(M\) be a complete non - compact Riemannian manifold with non - positive sectional curvature (\(-1\leqslant K\leqslant0\)), and the universal cover of \(M\) is a visibility manifold. Then the fundamental group of each end of \(M\) is almost nilpotent.
- The authors prove that this conjecture holds in arbitrary dimensions and give an upper bound on the exponent, which depends only on the dimension of the manifold.
2. **Provide two different proof methods**:
- For the four - dimensional case, the authors provide two different proof methods to confirm Conjecture 1.1.
3. **Introduce new technical tools**:
- The authors introduce some new technical tools, such as **Proposition 1.4** and **Proposition 1.5**, which play a crucial role in the proof process.
### Structure of the paper
1. **Introduction part**:
- Introduces the research background and related work.
- Elaborates on the main results and significance of the paper.
2. **Preliminary knowledge**:
- Provides the basic concepts and properties of non - positive curvature spaces and isometry groups.
- Introduces concepts such as visibility manifolds, geometric boundaries, and Busemann functions.
3. **Proof of the main theorem**:
- **Step - 1**: Proves that the fundamental group of each end has sub - exponential growth.
- **Step - 2**: Studies the action of the stability subgroup on the transverse space and proves that the transverse space is bounded.
- **Step - 3**: Uses the Margulis lemma at infinity to prove that the fundamental group of each end is almost nilpotent.
4. **Applications and corollaries**:
- Discusses some applications of the main theorem, such as determining the rank of the fundamental group of each end, and judging whether certain manifolds are visibility manifolds.
5. **Appendix**:
- Constructs a specific example to illustrate the properties of manifolds under certain conditions.
### Conclusion
Through a series of technical means, this paper successfully proves a long - standing conjecture and verifies the correctness of this conjecture in arbitrary dimensions. This result not only promotes the research on non - positive curvature manifolds but also provides new tools and methods for related mathematical fields.