English

Six dimensional counterexample to the Milnor Conjecture

Differential Geometry 2025-09-24 v2

Abstract

We extend our previous work by building a smooth complete manifold (M6,g,p)(M^6,g,p) with Ric0\mathrm{Ric}\geq 0 and whose fundamental group π1(M6)=Q/Z\pi_1(M^6)=\mathbb{Q}/\mathbb{Z} is infinitely generated. The example is built with a variety of interesting geometric properties. To begin the universal cover M~6\tilde M^6 is diffeomorphic to S3×R3S^3\times \mathbb{R}^3, which turns out to be rather subtle as this diffeomorphism is increasingly twisting at infinity. The curvature of M6M^6 is uniformly bounded, and in fact decaying polynomially. The example is {\it locally} noncollapsed, in that Vol(B1(x))>v>0\mathrm{Vol}(B_1(x))>v>0 for all xMx\in M. Finally, the space is built so that it is {\it almost } globally noncollapsed. Precisely, for every η>0\eta>0 there exists radii rjr_j\to \infty such that Vol(Brj(p))rj6η\mathrm{Vol}(B_{r_j}(p))\geq r_j^{6-\eta}. The broad outline for the construction of the example will closely follow the scheme introduced in our previous work. The six-dimensional case requires a couple of new points, in particular the corresponding Ricci curvature control on the equivariant mapping class group is harder and cannot be done in the same manner.

Keywords

Cite

@article{arxiv.2311.12155,
  title  = {Six dimensional counterexample to the Milnor Conjecture},
  author = {Elia Bruè and Aaron Naber and Daniele Semola},
  journal= {arXiv preprint arXiv:2311.12155},
  year   = {2025}
}

Comments

arXiv admin note: text overlap with arXiv:2303.15347

R2 v1 2026-06-28T13:26:40.627Z