Abstract:In this article, we prove that the fundamental group $\pi_1(M)$ of a complete open manifold $M$ with nonnegative Ricci curvature is finitely generated, under the condition that the Riemannian universal cover $\tilde M$ satisfies an "almost $k$-polar at infinity" condition. Additionally, such $\pi_1(M)$ is virtually abelian. Furthermore, we demonstrate that the base point of any tangent cone at infinity of such a manifold is nearly a pole. In the case where $\tilde M$ exhibits almost maximal Euclidean volume growth, we prove that $M$ deformation retracts to a closed submanifold $F$ which is diffeomorphic to a flat manifold, provided $M$ is not simply connected.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the fundamental group \(\pi_1(M)\) of a complete open manifold \(M\) with non - negative Ricci curvature is finitely generated. Specifically, the author attempts to prove that \(\pi_1(M)\) is finitely generated under the condition that its Riemannian universal cover \(\tilde{M}\) satisfies the "almost \(k\)-pole" condition, and under certain conditions, \(\pi_1(M)\) is also almost Abelian.
### Background and Motivation
- **Milnor's Conjecture**: This conjecture proposes that the fundamental group \(\pi_1(M)\) of a complete open manifold \(M\) with non - negative Ricci curvature is finitely generated. However, Brue - Naber - Semola recently provided counterexamples, disproving this conjecture.
- **Existing Results**: Under some specific conditions, the fundamental group can be proven to be finitely generated, for example, when the manifold exhibits Euclidean volume growth, or when the base points of tangent cones at infinity are close to poles.
### Main Contributions of the Paper
- **Main Theorem**: The author proves that if the Riemannian universal cover \(\tilde{M}\) satisfies the "almost \(k\)-pole" condition, then \(\pi_1(M)\) is finitely generated.
- **Geometric Stability Assumption**: The "almost \(k\)-pole" condition is introduced, which unifies and relaxes the two previously proposed conditions.
- **New Method**: The author's method is different from previous research and is more concise, partly because of the use of the transformation theorem of Cheeger - Colding's almost - splitting mapping.
### Specific Technical Details
- **Almost \(k\)-pole Condition**: Defines whether a manifold \(M\) satisfies the "almost \(k\)-pole" condition at infinity, which involves the Gromov - Hausdorff distance of geodesic balls.
- **Almost - splitting Mapping**: Using Cheeger - Colding's almost - splitting theorem and transformation theorem, it is proven that under specific conditions, the fundamental group is finitely generated.
- **Key Lemma**: Through a series of lemmas and theorems, the main conclusion is gradually proven, including the transformation theorem about almost - splitting mappings and the discussion of the geometric properties of the fundamental group.
### Conclusions
- **Finitely Generated of the Fundamental Group**: Under the given geometric stability assumption, it is proven that the fundamental group is finitely generated.
- **Almost Abelian Property**: It is further proven that under certain conditions, the fundamental group is also almost Abelian.
- **Applications**: These results not only verify a special case of Milnor's conjecture but also provide some new geometric and topological conclusions.
### Future Research Directions
- **Stronger Conclusions**: The author poses an open question, that is, whether the conclusion can be further strengthened so that \(M\) is homeomorphic to a flat open manifold.
- **Generalization under Other Conditions**: Explore the properties of the fundamental group under other geometric conditions.
This paper provides important progress in understanding the properties of the fundamental group of manifolds with non - negative Ricci curvature by introducing new geometric conditions and methods.