Heat kernel geometry and Gromov's volume growth conjecture

Abstract: In 1986, Gromov asked whether every complete noncompact $n$-dimensional Riemannian manifold with nonnegative Ricci curvature and scalar curvature at least one satisfies: [ \Vol_g (B(p, R))\le C_{n}R^{n-2} ] for all $p\in M$ and $R>0$. We answer this question affirmatively using the heat-kernel Fisher metric and Nash entropy.

• The paper proves the uniform form of Gromov’s conjecture: every complete noncompact n-manifold with Ric≥0 and Scal≥1 satisfies Vol(B(p,R))≤CₙRⁿ⁻² for all centers and scales.
• The authors introduce heat covariance and a trace-defect source, then establish a two-unit heat-averaged defect bound that yields entropy decay Sₓ(T)≤−log T+Cₙ.
• The exponent n−2 is sharp, as shown by S²ₐ×Rⁿ⁻², while the method’s dimensional constants are ineffective and its reliance on nonnegative Ricci curvature leaves weaker-curvature extensions open.

Overview and main result

This paper resolves a question posed by Gromov in 1986 concerning the volume growth of complete noncompact Riemannian manifolds with nonnegative Ricci curvature and a positive lower scalar curvature bound. The main theorem states that if $(M^n,g)$ is complete, connected, noncompact with $n\ge 3$, $Ric_g\ge 0$ and $Scal\ge 1$, then there exists a constant $C_n<\infty$ depending only on $n$ such that

$Vol_g(B(p,R))\le C_n R^{n-2}$

for every $p\in M$ and every $R>0$. This is the uniform form of Gromov's conjecture: the bound holds at every center and every scale simultaneously. Prior partial results were weaker in one of two respects. Munteanu–Wang established the uniform bound $Vol(B(p,R))\le CR$ in dimension three; Wang–Xie–Zhu–Zhu proved $n\ge 3$0 after normalizing $n\ge 3$1, but with a minimizing center allowed to depend on the scale $n\ge 3$2. The present result removes both qualifications.

The exponent $n\ge 3$3 is sharp. The model $n\ge 3$4 with its product metric satisfies $n\ge 3$5, $n\ge 3$6, and has volume growth asymptotic to $n\ge 3$7. The paper's guiding interpretation is that the scalar curvature lower bound forces a loss of exactly two macroscopic dimensions relative to Euclidean space, and this dimension loss is detected by the heat flow.

Heat covariance and the trace defect

The central objects are built from the minimal heat kernel $n\ge 3$8, written as $n\ge 3$9. For the heat kernel map $Ric_g\ge 0$0 into probability densities, the pullback of the Fisher information metric is computed explicitly, and the paper defines the heat covariance

$Ric_g\ge 0$1

which equals $Ric_g\ge 0$2. On Euclidean space, $Ric_g\ge 0$3 identically; on the sharp model $Ric_g\ge 0$4, the large-time covariance retains precisely the $Ric_g\ge 0$5 Euclidean directions and loses the two spherical directions, so $Ric_g\ge 0$6 as $Ric_g\ge 0$7. The trace defect is

$Ric_g\ge 0$8

which measures the missing directions. Under $Ric_g\ge 0$9, a reverse Poincaré inequality argument (in the spirit of the $Scal\ge 1$0 theory) yields $Scal\ge 1$1, hence $Scal\ge 1$2. The proof also establishes an exponential score bound $Scal\ge 1$3 and fourth-moment bounds on the pole gradient, which feed later quantitative estimates.

A fixed-$Scal\ge 1$4 Bochner calculation, applied to $Scal\ge 1$5 and integrated in the output variable, produces the source equation

$Scal\ge 1$6

where the centered defect density is

$Scal\ge 1$7

with $Scal\ge 1$8 the centered Hessian variance of $Scal\ge 1$9 under $C_n<\infty$0. A substantial regularity appendix proves that $C_n<\infty$1, $C_n<\infty$2, $C_n<\infty$3, and $C_n<\infty$4 are finite and smooth on $C_n<\infty$5 using Kotschwar's pole-gradient estimate, Li–Yau Harnack and Gaussian bounds, and interior parabolic Schauder estimates — notably without any bounded geometry assumption. The paper is careful to distinguish these pole-variable identities from the classical fixed-pole output-variable identities of Ni and Colding (Appendix A records the exact dictionary); it does not claim monotonicity of the combined quantity $C_n<\infty$6 for fixed pole.

The two-unit defect theorem

The geometric core is a heat-averaged lower bound for the source:

Theorem (two-unit defect). There exists $C_n<\infty$7 such that for all $C_n<\infty$8, $C_n<\infty$9, $n$0,

$n$1

The mechanism proceeds in two steps. The first unit is purely algebraic: since $n$2 and $n$3, one always has $n$4. If additionally $n$5 at some point with $n$6, then the lowest eigenvalue $n$7 of $n$8 satisfies $n$9 while $Vol_g(B(p,R))\le C_n R^{n-2}$0, producing a definite spectral gap; moreover the lowest eigenline carries Ricci curvature $Vol_g(B(p,R))\le C_n R^{n-2}$1.

The second unit is analytic. On the "bad region" $Vol_g(B(p,R))\le C_n R^{n-2}$2, the paper constructs an $Vol_g(B(p,R))\le C_n R^{n-2}$3-invariant smooth spectral cutoff $Vol_g(B(p,R))\le C_n R^{n-2}$4 built by mollifying a Lipschitz function of the matrix $Vol_g(B(p,R))\le C_n R^{n-2}$5 on $Vol_g(B(p,R))\le C_n R^{n-2}$6, so that $Vol_g(B(p,R))\le C_n R^{n-2}$7 on $Vol_g(B(p,R))\le C_n R^{n-2}$8 and $Vol_g(B(p,R))\le C_n R^{n-2}$9 lies where the eigenprojection $p\in M$0 is smooth. A weighted Weitzenböck estimate — applied via the orientation double cover to handle possibly nonorientable eigenlines, and extended to noncompact manifolds through a Greene–Wu exhaustion — bounds the heat-weighted integral of $p\in M$1 by cutoff energy terms controlled by $p\in M$2 plus the Fisher term $p\in M$3. Combining these gives

$p\in M$4

and optimizing over $p\in M$5 with $p\in M$6 yields the two-unit bound. The bad region is not excluded pointwise; rather, it becomes invisible to the heat flow at large scales because its mass under later heat averages is quantitatively small.

Entropy decay and the volume estimate

The Nash entropy is

$p\in M$7

which is smooth, nonincreasing in $p\in M$8, satisfies $p\in M$9 as $R>0$0 (hence $R>0$1), and obeys the second source equation

$R>0$2

Two applications of the minimal heat-potential comparison principle propagate the two-unit source: first from $R>0$3 to a lower bound on $R>0$4, then through $R>0$5. Tonelli's theorem justifies the interchange of integrals since all terms are nonnegative, and the resulting error integral involving $R>0$6 is uniformly bounded in $R>0$7. The outcome is the entropy decay

$R>0$8

Finally, the Li–Yau Gaussian upper estimate converts entropy decay into volume control: integrating $R>0$9 against $Vol(B(p,R))\le CR$0 over balls and letting the radius tend to infinity gives

$Vol(B(p,R))\le CR$1

so $Vol(B(p,R))\le CR$2 for $Vol(B(p,R))\le CR$3; small radii are handled by Bishop–Gromov. This completes the proof of the uniform $Vol(B(p,R))\le CR$4 bound.

Limitations and open questions

The constant $Vol(B(p,R))\le CR$5 produced by the argument is ineffective in character, being assembled from several dimensional constants along the chain of estimates; the paper does not address its optimal value or its dependence on the normalized scalar curvature scale. The two-unit mechanism relies on the strict separation between the scalar-curvature contribution (one unit) and the analytic contribution (the second unit), and the exponent $Vol(B(p,R))\le CR$6 in the error term appears tied to the optimization of the sublevel-set mass estimate; whether sharper rates are available is not investigated. The argument uses $Vol(B(p,R))\le CR$7 essentially (in the reverse Poincaré inequality, the covariance bound $Vol(B(p,R))\le CR$8, and the removal of the exhaustion in the weighted Weitzenböck estimate), and no version under weaker curvature assumptions is given. The paper also leaves open whether the uniform estimate extends to dimensions $Vol(B(p,R))\le CR$9 in any analogous form, and whether the heat-dimension defect framework can detect more refined geometric information beyond the leading volume exponent.

Conclusion

The paper settles Gromov's 1986 volume growth conjecture in its uniform form: complete noncompact manifolds with $n\ge 3$00 and $n\ge 3$01 satisfy $n\ge 3$02 for all centers and scales, with the exponent sharp as witnessed by products of round spheres with Euclidean space. The proof introduces a coherent heat-kernel geometric framework — the Fisher-metric covariance $n\ge 3$03, the trace defect $n\ge 3$04, and the centered source $n\ge 3$05 — together with a spectral-cutoff and weighted Weitzenböck technique showing that regions deficient in defect source carry negligible heat-averaged mass. The two-step propagation through the source equations $n\ge 3$06 and $n\ge 3$07, followed by the Li–Yau estimate, converts the two-unit lower bound into entropy decay and hence into the volume estimate.