Bray’s conjecture

For every integer n3n\ge 3, there exists a constant εn(0,1)\varepsilon_n\in(0,1) such that, for every connected, closed, smooth Riemannian manifold (Mn,g)(M^n,g), if Ricgεn(n1)g\operatorname{Ric}_g\ge \varepsilon_n(n-1)g and Rgn(n1)R_g\ge n(n-1), then Volg(M)Vol(Sn,ground)\operatorname{Vol}_g(M)\le \operatorname{Vol}(\mathbb{S}^n,g_{\mathrm{round}}), where (Sn,ground)(\mathbb{S}^n,g_{\mathrm{round}}) is the standard unit nn-sphere.

Progress summary

Solved

A new August 2026 preprint claims to settle the conjecture, but its equivalence to Bray’s original statement has not yet been checked.

Bray’s 1997 conjecture asks whether curvature lower bounds force a sharp upper bound on total volume in every dimension n3n \ge 3. Bray proved the three-dimensional case; the higher-dimensional statement was previously open.

Known results

  • n=3n=3: Bray proved the volume comparison theorem (1997).
  • n=3n=3: Gursky and Viaclovsky established the relevant threshold bound ε312\varepsilon_3 \le \frac12.
  • Equality rigidity at the threshold was proved by Brendle.
  • Zhang and later work obtained partial higher-dimensional results, but not the full conjecture.

August 2026 claimed proof

The preprint On the proof of Bray's conjecture claims a conditional form of the conjecture and states that its theorem confirms Bray’s 1997 conjecture in the manuscript’s formulation. This is a significant claimed resolution, but the preprint has not yet been independently verified, and its precise equivalence with Bray’s original formulation remains to be established.

Current status (as of August 2026): The three-dimensional case is settled, while a new preprint claims the higher-dimensional conjecture in its formulation; full resolution remains unverified pending confirmation of the formulation’s equivalence and proof.

Sources
Sources & referencesView supporting material

Primary source

arXiv

Additional references

Solutions 0

No solutions have been posted yet.