Extending the Cheeger–Yau lower bound for the heat kernel: Hodge Laplacians on forms, generalized comparison spaces, and curvature bounds without domination

Cheeger and Yau (1981) proved that the heat kernel of a Riemannian ball is bounded below, pointwise, by the heat kernel of a model space — a warped product ball whose distance spheres have prescribed constant mean curvature — whenever the mean curvatures of the manifold's distance spheres are dominated by those of the model (equivalently, under a radial Ricci lower bound), with equality if and only if the ball is isometric to the model ball, and without injectivity-radius restrictions. The question addressed here is how far this pointwise model-comparison principle extends beyond those hypotheses, in four directions: extension to the heat kernel of the Hodge Laplacian (the operator $d\delta+\delta d$ acting on differential forms); an upper bound by reversing the inequality; more general comparison spaces yielding sharper bounds; and pointwise lower bounds when the mean-curvature domination fails. The forms direction is obstructed by the failure of the parabolic maximum principle, on which the Cheeger–Yau barrier argument rests, and the non-dominated direction by curvature control that holds only in integral or otherwise non-dominated form, where the estimates currently available are Gaussian-type.

Background

Let $(M^n,g)$ be a complete Riemannian manifold. The Laplace–Beltrami operator $\Delta$ (the divergence of the gradient) generates a diffusion semigroup $e^{-t\Delta}$ whose integral kernel $H(x,y,t)$, the heat kernel, describes how heat spreads from $y$ to $x$ in time $t$; it is the transition density of Brownian motion and encodes the spectrum of $\Delta$. Curvature controls this kernel. The Ricci curvature $\mathrm{Ric}$, the trace of the sectional-curvature tensor, governs the volume growth of geodesic balls through the Bishop–Gromov comparison theorem, which compares a manifold with the simply connected space form of constant curvature. The heat kernel admits a dynamical analogue of that comparison. Debiard, Gaveau and Mazet (1976) proved heat-kernel comparison theorems on normal-coordinate balls — a restriction tied to the injectivity radius, the largest radius on which the exponential map is a diffeomorphism — under sectional-curvature hypotheses. Cheeger and Yau (1981) removed these restrictions for the lower bound. A model space $\mathfrak{N}^n$ is a metric ball $B_R(x)$, possibly closed, such that $\exp_x$ is a diffeomorphism on the radius-$R$ ball of the tangent space and the mean curvature of each distance sphere $S_r(x)$ is constant on that sphere, equal to a function $\mathfrak{m}(r)$; the associated Ricci model is the warped product with metric $dr^2+f^2(r)h$, where $h$ is the standard metric on the sphere $S^{n-1}$ and $f$ is chosen so that its distance spheres have mean curvature $\mathfrak{m}(r)$. Cheeger and Yau proved that if the mean curvature $m(r,\theta)$ of the distance spheres of $B_R(x)\subset M^n$ satisfies $m(r,\theta)\le\mathfrak{m}(r)$ — equivalently, for Ricci models, $\mathrm{Ric}(\partial_r,\partial_r)\ge\mathfrak{R}_{ic}(r)$, a radial Ricci lower bound — then the Dirichlet (or Neumann) heat kernel on the ball satisfies $H(x,y,t)\ge\mathfrak{S}(d(x,y),t)$, where $\mathfrak{S}$ is the model heat kernel, for all $y$ in the ball and all $t>0$; equality at a single point forces the ball to be isometric to the model ball. The proof transplants $\mathfrak{S}$ into the manifold as a subsolution of the heat equation (a barrier argument based on the parabolic maximum principle), supported by structural facts about models: the Dirichlet and Neumann self-adjoint realizations of the Laplacian coincide on an open model; the model heat kernel is radial in the distance and strictly decreasing in it; and radiality of the heat kernel conversely characterizes models. The comparison also transfers through Laplace transforms to the Green and Poisson kernels. On the upper side, Cheng, Li and Yau (1981) obtained uniform Gaussian upper estimates under sectional-curvature lower bounds (extended to manifolds of bounded geometry by Cheeger, Gromov and Taylor), and Li and Yau (1986) proved sharp Gaussian upper and lower bounds for heat and Schrödinger kernels under Ricci lower bounds; the pointwise reverse comparison against a model kernel is available only under radial sectional-curvature upper bounds with injectivity-radius control (Debiard–Gaveau–Mazet; in the weighted setting, Mao). For differential forms the situation changes structurally. The Hodge Laplacian $\Delta_k=d\delta+\delta d$ acts on differential $k$-forms, where $d$ is exterior differentiation and $\delta$ its $L^2$-adjoint; by the Bochner–Weitzenböck formula $\Delta_k=\nabla^*\nabla+\mathcal{R}_k$ it is the covariant Laplacian plus a curvature endomorphism $\mathcal{R}_k$ (for $1$-forms, $\mathcal{R}_1=\mathrm{Ric}$). For $1$-forms the Weitzenböck term is the Ricci tensor, but for $2\le k\le n-2$ it involves the full curvature operator, which Ricci bounds do not control. Moreover, the heat semigroup on forms is not positivity-preserving, so the maximum principle — the engine of the Cheeger–Yau argument — is unavailable; heat kernel estimates for forms have consequently been confined to compact manifolds, short times, Lie groups, or bounded geometry, with recent conditional Gaussian upper bounds for $1$-forms by Coulhon, Devyver and Sikora, and further Gaussian-type heat kernel bounds and functional inequalities for the heat flow on $1$-forms under lower Ricci bounds by Braun. Weaker-than-domination curvature control forms another frontier. Under integral Ricci curvature, meaning bounds on averages of the negative part of $\mathrm{Ric}$ over unit balls, one has volume, Sobolev and Gaussian heat kernel bounds (Dai–Wei; Wen Wang; Rose) but no pointwise model comparison. On non-smooth spaces with synthetic curvature bounds, von Renesse extended the Cheeger–Yau comparison itself to Alexandrov spaces — length spaces with a lower sectional-curvature bound in the triangle-comparison sense — with sufficiently fast decay of small-ball volume, while sharp Gaussian bounds hold on $\mathrm{RCD}(0,N)$ spaces, metric measure spaces satisfying a synthetic curvature-dimension condition (Huaiqian Li). Generalized settings in which model comparisons are now known include smooth metric measure spaces $(M,g,e^{-\phi}dv)$, where the Witten (weighted) Laplacian $\Delta_\phi=\Delta-\langle\nabla\phi,\nabla{\,\cdot\,}\rangle$ replaces $\Delta$ and the Bakry–Émery Ricci tensor $\mathrm{Ric}_\phi=\mathrm{Ric}+\mathrm{Hess}\,\phi$ replaces $\mathrm{Ric}$ (Mao); Finsler manifolds, where each tangent space carries a Minkowski norm instead of a Hilbert one and the heat flow is nonlinear (Ohta–Sturm); Kähler and quaternion-Kähler manifolds (Baudoin–Yang); sub-Riemannian geometries, where the metric is defined only along a distinguished sub-bundle of the tangent bundle so that admissible motion is constrained to those directions (Baudoin–Grong–Kuwada–Neel–Thalmaier); and Robin boundary conditions, which interpolate between Dirichlet and Neumann (Li–Wang).

Problem Statement

The question is how far the pointwise model-comparison principle of Cheeger–Yau (1981) extends beyond its original hypotheses — beyond the scalar heat equation on Riemannian balls under global mean-curvature (radial Ricci) domination. It decomposes into four directions:

(1) Forms. Does the heat kernel of the Hodge Laplacian $\Delta_k$ on differential $k$-forms admit a Cheeger–Yau-type pointwise comparison? That is, under hypotheses of Ricci type — or the weakest natural curvature hypotheses — does there exist a model space, determined by the stated curvature hypotheses and independent of the target ball, whose heat kernel bounds the heat kernel of $\Delta_k$ pointwise below (or above), with equality only in the rigidity case, when the ball is isometric to the model? This is open already for $1$-forms, where the Weitzenböck term is the Ricci tensor and only conditional Gaussian upper bounds are known; for $2\le k\le n-2$ even the formulation of the model is open, since Ricci bounds do not control the Weitzenböck curvature endomorphism.

(2) Upper bound. The pointwise reverse inequality is not available under Ricci-type domination: model upper comparisons require radial sectional-curvature upper bounds with injectivity-radius control (Debiard–Gaveau–Mazet; Mao in the weighted setting), and the Ricci-level answer is the Gaussian two-sided bound of Li–Yau and successors.

(3) Generalized comparison spaces. Characterize the geometric frameworks — weighted/Bakry–Émery, Finsler, sub-Riemannian, Kähler, singular (Alexandrov, RCD), and non-Dirichlet/Neumann boundary conditions — in which a sharp pointwise Cheeger–Yau-type comparison holds, and identify where more general models yield sharper bounds than the Riemannian Ricci model. Partial resolutions exist for each listed framework; the open part is the characterization, including the settings where the comparison provably fails.

(4) Non-dominated curvature. When the mean-curvature domination $m(r,\theta)\le\mathfrak{m}(r)$ (equivalently, radial Ricci domination) fails to hold globally — for instance when the Ricci curvature is bounded only in integral (averaged) form, or in Kato-type form, where the negative part of the Ricci tensor is controlled through its integrals against the heat semigroup rather than through pointwise bounds, or pointwise only on a scale or annulus — can a pointwise, model-space lower bound for the heat kernel still be obtained, with explicitly quantified degradation relative to the model? Or are Gaussian-type bounds, as currently known, the strongest possible in such regimes, a negative resolution being equivalent to exhibiting a rigorous obstruction to any such pointwise model-space lower bound?

The common scientific objective uniting these directions is to determine the true scope and limits of the pointwise model-comparison principle for heat kernels — the dynamical counterpart of Bishop–Gromov volume comparison — beyond scalar heat equations under global curvature domination. Of these directions, (1) and (4) remain open; (2) is settled at the Ricci level by the Gaussian two-sided bounds of Li–Yau and successors, and (3), though resolved in part within each listed framework, leaves its characterization — including the settings where the comparison provably fails — open.

References

1. Cheeger, Jeff; Yau, Shing-Tung. "A lower bound for the heat kernel." Communications on Pure and Applied Mathematics 34 (1981), no. 4, 465–480. DOI: 10.1002/cpa.3160340404. https://doi.org/10.1002/cpa.3160340404
2. Debiard, A.; Gaveau, B.; Mazet, E. "Théorèmes de comparaison en géométrie riemannienne." Publications of the Research Institute for Mathematical Sciences 12 (1976), no. 2, 391–425. DOI: 10.2977/prims/1195190722. https://doi.org/10.2977/prims/1195190722
3. Cheng, Siu Yuen; Li, Peter; Yau, Shing-Tung. "On the upper estimate of the heat kernel of a complete Riemannian manifold." American Journal of Mathematics 103 (1981), no. 5, 1021–1063. DOI: 10.2307/2374257. https://doi.org/10.2307/2374257
4. Li, Peter; Yau, Shing-Tung. "On the parabolic kernel of the Schrödinger operator." Acta Mathematica 156 (1986), 153–201. DOI: 10.1007/BF02399203. https://doi.org/10.1007/BF02399203
5. Cheeger, Jeff; Gromov, Mikhail; Taylor, Michael. "Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds." Journal of Differential Geometry 17 (1982), no. 1, 15–53. DOI: 10.4310/jdg/1214436699. https://doi.org/10.4310/jdg/1214436699
6. Markvorsen, Steen. "On the heat kernel comparison theorems for minimal submanifolds." Proceedings of the American Mathematical Society 97 (1986), no. 3, 479–482. DOI: 10.1090/S0002-9939-1986-0840633-4. https://doi.org/10.1090/S0002-9939-1986-0840633-4
7. von Renesse, Max-K. "Heat kernel comparison on Alexandrov spaces with curvature bounded below." Potential Analysis 21 (2004), no. 2, 151–176. DOI: 10.1023/B:POTA.0000025376.45065.80. https://doi.org/10.1023/B:POTA.0000025376.45065.80
8. Dai, Xianzhe; Wei, Guofang. "A heat kernel lower bound for integral Ricci curvature." Michigan Mathematical Journal 52 (2004), no. 1. DOI: 10.1307/mmj/1080837734. https://doi.org/10.1307/mmj/1080837734 (preprint arXiv:math/9810156)
9. Coulhon, Thierry; Devyver, Baptiste; Sikora, Adam. "Gaussian heat kernel estimates: from functions to forms." Journal für die reine und angewandte Mathematik 761 (2020), 25–79. DOI: 10.1515/crelle-2018-0021. https://doi.org/10.1515/crelle-2018-0021 (preprint arXiv:1606.02423)
10. Braun, Mathias. "Heat flow on 1-forms under lower Ricci bounds. Functional inequalities, spectral theory, and heat kernel." Journal of Functional Analysis 283 (2022), no. 7, article 109599. DOI: 10.1016/j.jfa.2022.109599. https://doi.org/10.1016/j.jfa.2022.109599
11. Wang, Jiaping; Zhou, Linfeng. "Gradient estimate for eigenforms of Hodge Laplacian." arXiv:1109.4968 (2011). https://arxiv.org/abs/1109.4968
12. Charalambous, Nelia. "On the equivalence of heat kernel estimates and logarithmic Sobolev inequalities for the Hodge Laplacian." Journal of Differential Equations 233 (2007), no. 1, 291–312. DOI: 10.1016/j.jde.2006.10.007. https://doi.org/10.1016/j.jde.2006.10.007
13. Ohta, Shin-ichi; Sturm, Karl-Theodor. "Heat flow on Finsler manifolds." Communications on Pure and Applied Mathematics 62 (2009), no. 10, 1386–1433. DOI: 10.1002/cpa.20273. https://doi.org/10.1002/cpa.20273
14. Baudoin, Fabrice; Yang, Guang. "Brownian motions and heat kernel lower bounds on Kähler and quaternion Kähler manifolds." International Mathematics Research Notices 2022 (2022), no. 6, 4659–4681. DOI: 10.1093/imrn/rnaa199. https://doi.org/10.1093/imrn/rnaa199 (preprint arXiv:2003.05603)
15. Baudoin, Fabrice; Grong, Erlend; Kuwada, Kazumasa; Neel, Robert; Thalmaier, Anton. "Radial processes for sub-Riemannian Brownian motions and applications." Electronic Journal of Probability 25 (2020). DOI: 10.1214/20-ejp501. https://doi.org/10.1214/20-ejp501 (preprint arXiv:2002.02556)
16. Mao, Jing. "Weighted heat kernel comparison theorems and its applications in spectral geometry." arXiv:2603.00942 (2026). https://arxiv.org/abs/2603.00942
17. Li, Xiaolong; Wang, Kui. "Robin heat kernel comparison on manifolds." Calculus of Variations and Partial Differential Equations 65 (2026). DOI: 10.1007/s00526-026-03420-3. https://doi.org/10.1007/s00526-026-03420-3 (preprint arXiv:2208.13402)
18. Wang, Wen. "Harnack inequality, heat kernel bounds and eigenvalue estimates under integral Ricci curvature bounds." Journal of Differential Equations 269 (2020), no. 2, 1243–1277. DOI: 10.1016/j.jde.2020.01.003. https://doi.org/10.1016/j.jde.2020.01.003
19. Rose, Christian. "Heat kernel upper bound on Riemannian manifolds with locally uniform Ricci curvature integral bounds." The Journal of Geometric Analysis 27 (2017), no. 2, 1737–1750. DOI: 10.1007/s12220-016-9738-3. https://doi.org/10.1007/s12220-016-9738-3
20. Li, Huaiqian. "Sharp heat kernel bounds and entropy in metric measure spaces." Science China Mathematics 61 (2018), no. 3, 487–510. DOI: 10.1007/s11425-016-0314-9. https://doi.org/10.1007/s11425-016-0314-9 (preprint arXiv:1601.03594)
21. Grigor′yan, Alexander; Hu, Jiaxin; Lau, Ka-Sing. "Obtaining upper bounds of heat kernels from lower bounds." Communications on Pure and Applied Mathematics 61 (2008), no. 5, 639–660. DOI: 10.1002/cpa.20215. https://doi.org/10.1002/cpa.20215
22. Xu, Xiangjin. "Heat kernel Gaussian bounds on manifolds I: manifolds with non-negative Ricci curvature." arXiv:1912.12758 (2019). https://arxiv.org/abs/1912.12758
23. Kuwae, Kazuhiro; Shioya, Takashi. "Laplacian comparison for Alexandrov spaces." arXiv:0709.0788 (2007). https://arxiv.org/abs/0709.0788