Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Fundamental Groups and the Milnor Conjecture

Elia Bruè, Aaron Naber, Daniele Semola

TL;DR

The paper resolves Milnor's conjecture by constructing a complete 7-manifold M^7 with Ricci curvature nonnegative and an infinitely generated fundamental group lying inside Q/Z. The authors develop a fractal-like, scale-dependent gluing framework in the universal cover tilde M, modeled by a directed graph of S^3×D^4 blocks glued via twisted mapping class group diffeomorphisms, and they control the Ricci curvature through carefully engineered Riemannian submersion, circle-bundle, and doubly warped product geometries. A central technical achievement is showing that the mapping class group orbit of the standard metric g_{S^3×S^3} can be connected to diffeomorphic pullbacks via smooth positive Ricci curvature paths, enabling equivariant twisting of actions across scales and the eventual realization of an infinite, fractal-like fundamental group. The construction also yields a rich picture of tangent cones at infinity, exhibiting cones over lens spaces C(S^3_s/ℤ_k) for a wide range of (s,k), and it raises natural open questions in low dimensions and in noncollapsed settings. Overall, the work highlights a deep interplay between mapping class groups, Ricci curvature, and fractal gluing techniques in global geometric topology.

Abstract

It was conjectured by Milnor in 1968 that the fundamental group of a complete manifold with nonnegative Ricci curvature is finitely generated. The main result of this paper is a counterexample, which provides an example $M^7$ with ${\rm Ric}\geq 0$ such that $π_1(M)=\mathbb{Q}/\mathbb{Z}$ is infinitely generated. There are several new points behind the result. The first is a new topological construction for building manifolds with infinitely generated fundamental groups, which can be interpreted as a smooth version of the fractal snowflake. The ability to build such a fractal structure will rely on a very twisted gluing mechanism. Thus the other new point is a careful analysis of the mapping class group $π_0\text{Diff}(S^3\times S^3)$ and its relationship to Ricci curvature. In particular, a key point will be to show that the action of $π_0\text{Diff}(S^3\times S^3)$ on the standard metric $g_{S^3\times S^3}$ lives in a path connected component of the space of metrics with ${\rm Ric}>0$.

Fundamental Groups and the Milnor Conjecture

TL;DR

The paper resolves Milnor's conjecture by constructing a complete 7-manifold M^7 with Ricci curvature nonnegative and an infinitely generated fundamental group lying inside Q/Z. The authors develop a fractal-like, scale-dependent gluing framework in the universal cover tilde M, modeled by a directed graph of S^3×D^4 blocks glued via twisted mapping class group diffeomorphisms, and they control the Ricci curvature through carefully engineered Riemannian submersion, circle-bundle, and doubly warped product geometries. A central technical achievement is showing that the mapping class group orbit of the standard metric g_{S^3×S^3} can be connected to diffeomorphic pullbacks via smooth positive Ricci curvature paths, enabling equivariant twisting of actions across scales and the eventual realization of an infinite, fractal-like fundamental group. The construction also yields a rich picture of tangent cones at infinity, exhibiting cones over lens spaces C(S^3_s/ℤ_k) for a wide range of (s,k), and it raises natural open questions in low dimensions and in noncollapsed settings. Overall, the work highlights a deep interplay between mapping class groups, Ricci curvature, and fractal gluing techniques in global geometric topology.

Abstract

It was conjectured by Milnor in 1968 that the fundamental group of a complete manifold with nonnegative Ricci curvature is finitely generated. The main result of this paper is a counterexample, which provides an example with such that is infinitely generated. There are several new points behind the result. The first is a new topological construction for building manifolds with infinitely generated fundamental groups, which can be interpreted as a smooth version of the fractal snowflake. The ability to build such a fractal structure will rely on a very twisted gluing mechanism. Thus the other new point is a careful analysis of the mapping class group and its relationship to Ricci curvature. In particular, a key point will be to show that the action of on the standard metric lives in a path connected component of the space of metrics with .
Paper Structure (59 sections, 18 theorems, 189 equations)

This paper contains 59 sections, 18 theorems, 189 equations.

Table of Contents

  1. Introduction
  2. Main Results on Fundamental Groups
  3. Geometric and Topological Outline for Theorem \ref{['t:main_milnor']}
  4. Decomposing the group $\Gamma\leq \mathds{Q}/\mathds{Z}$
  5. Topological Outline of $(\tilde{M},\tilde{p},\Gamma)$
  6. Identifying $\tilde{M}$ with a Directed Graph
  7. The Gluing Maps
  8. Construction of $(\tilde{M}, \Gamma)$
  9. Geometric Outline of $(\tilde{M},\tilde{p},\Gamma)$
  10. Geometry at Scale $r_j$
  11. Geometry between Scales $r_j$ and $r_{j+1}$
  12. Transitioning from Scale $r_j$ to Scale $r_{j+1}$
  13. Tangent Cones at Infinity of $\tilde{M}$ and $M$
  14. The scales $s_j=r_j$
  15. The scales $s_j=r_j$ with $k_j\to k<\infty$
  16. ...and 44 more sections

Key Result

Theorem 1.1

Let $\Gamma\leq \mathds{Q}/\mathds{Z} \subseteq S^1$ be any subgroup. Then there exists a smooth complete manifold $(M^7,g)$ with $\pi_1(M)=\Gamma$ and such that $\text{Ric}\geq 0$.

Theorems & Definitions (38)

  • Theorem 1.1: Infinitely Generated Fundamental Group
  • Lemma 1.2: Mapping Class Group and Ricci Curvature on $S^3\times S^3$
  • Remark 1.1
  • Example 2.1
  • Example 2.2
  • Example 2.3
  • Remark 2.1
  • Remark 3.1
  • Remark 3.2
  • Proposition 3.1: Step 1: The Model Space
  • ...and 28 more