Perelman's toolkit

Heat kernel

In briefThe heat kernel of the conjugate heat equation, coupled to Ricci flow, is the probe Perelman and Bamler use to measure geometry. Its Gaussian bounds and entropy encode volume, non-collapsing and the structure of limits.

□∗u=(−∂t−Δ+R) u=0\square^* u = \big(-\partial_t - \Delta + R\big)\,u = 0
24papers
3in the last 30 days
6key references
8guidebook chapters

Guide

In depth

What it is

Along a Ricci flow the natural heat equation is □u=(∂t−Δ)u=0\square u = (\partial_t - \Delta)u = 0. Its adjoint, the conjugate heat equation □∗u=0\square^* u = 0 above, runs backwards in time and preserves ∫u dV\int u\,dV because the volume form changes by −R dV-R\,dV. Its fundamental solution K(x,t;y,s)K(x,t;y,s) is a probability density that spreads out as you go back in time from a base point.

Perelman proved a Harnack-type inequality for this kernel, v=[τ(2Δf−∣∇f∣2+R)+f−n] u≤0v = [\tau(2\Delta f - |\nabla f|^2 + R) + f - n]\,u \le 0 for u=(4πτ)−n/2e−fu = (4\pi\tau)^{-n/2}e^{-f}. He used it for pseudolocality: a region that starts almost Euclidean stays controlled for a definite time. Li–Yau estimates, and Qi S. Zhang's gradient estimates for Perelman's equation, belong to the same toolkit.

Why it matters

Bamler's 2020 theory made the conjugate heat kernel the central object. He proved Gaussian upper bounds, introduced the HnH_n-centre of the kernel measure (a canonical point that moves under the flow), bounded variance, and used the pointed Nash entropy as a local measure of how far the flow is from Euclidean. With these, compactness and structure theorems hold without assuming curvature bounds. They are the modern replacement for Hamilton's compactness and Perelman's reduced volume. Hein–Naber's log-Sobolev inequalities and ε-regularity theorem are part of the same framework.

Where it stands

Heat-kernel methods are now the standard way to study Ricci flows in high dimensions and through singularities. Open problems include sharper heat kernel bounds on collapsed flows, extending the framework to Kähler and generalized flows, and understanding the geometry of the singular "metric flows" that arise as limits.

If you are new to this

Foundational papers

The papers the rest of the topic builds on, in reading order. Titles open the paper.

  1. 1986
    On the parabolic kernel of the Schrödinger operator Peter Li, Shing Tung Yau · Acta Mathematica, vol. 156 Li–Yau: heat kernel bounds from the differential Harnack inequality. DOI 10.1007/BF02399203
  2. 2002
    The entropy formula for the Ricci flow and its geometric applications Grisha Perelman · arXiv:math/0211159 Perelman: the conjugate heat equation, its Harnack inequality and pseudolocality (sections 9–10). View paper Connections
  3. 2006
    Some gradient estimates for the heat equation on domains and for an equation by Perelman Qi S. Zhang · International Math. Research Notices 2006 Qi S. Zhang: gradient estimates for the heat equation and for Perelman's equation. PDFarXiv:math/0605518
  4. 2012
    New logarithmic Sobolev inequalities and an ε-regularity theorem for the Ricci flow Hans-Joachim Hein, Aaron Naber · arXiv:1205.0380 Hein–Naber: log-Sobolev inequalities and ε-regularity along Ricci flow. PDFarXiv:1205.0380
  5. 2020
    Entropy and heat kernel bounds on a Ricci flow background Richard H Bamler · arXiv:2008.07093 Bamler: entropy and heat kernel bounds on a Ricci flow background. View paper Connections

Where to start reading

Surveys & books

Longer, gentler routes in, and the references specialists keep on their desks.

  1. 2021
    Recent developments in Ricci flows Richard H Bamler · arXiv:2102.12615 Bamler's survey, which explains the heat-kernel approach informally. View paper Connections

Learn it step by step

In the guidebook

Chapters of the Guidebook that build heat kernel from the ground up, with proofs, figures and exercises.

  1. 6A.3
    The Heat Equation on ℝⁿBook 6A · The Heat Equation and Its Relatives

    The heat kernel, smoothing, uniqueness, Brownian motion, and a Gaussian that runs to Perelman.

  2. 6A.4
    Fourier Methods and Scale SpaceBook 6A · The Heat Equation and Its Relatives

    Fourier's own method on the circle and the line, smoothing as the decay of high frequencies, and the heat equation as the mathematics of blurring images.

  3. 6A.12
    Entropy, Information and DiffusionBook 6A · The Heat Equation and Its Relatives

    Entropy along the heat flow, the log-Sobolev inequality and Li–Yau: the ancestors of Perelman’s entropy.

  4. 6D.4
    Fokker–Planck, Time Reversal and Diffusion ModelsBook 6D · Diffusions, Finance and Computation

    How densities of diffusions evolve, relative entropy and convergence to equilibrium, reversing a diffusion in time with the score, and the generative models built on it, with Perelman's conjugate heat equation as the geometric twin.

  5. 6D.5
    Diffusions on Manifolds and CurvatureBook 6D · Diffusions, Finance and Computation

    Brownian motion on a Riemannian manifold, the Bakry–Émery calculus, curvature-dimension inequalities, gradient estimates and log-Sobolev, coupling, and Brownian motion along a Ricci flow.

  6. 9B.7
    The Heat Equation on a ManifoldBook 9B · Comparison, Convergence and Heat on Manifolds

    Heat kernels, the maximum principle without boundary, Li–Yau, and the conjugate heat operator.

  7. 12A.9
    PseudolocalityBook 12A · Entropy and Noncollapsing

    Almost-Euclidean regions stay controlled, and the Harnack inequality behind it.

  8. 12A.10
    The Proof of PseudolocalityBook 12A · Entropy and Noncollapsing

    Perelman's §10 in detail: the point-picking argument, the conjugate heat kernel at the bad point, the localised entropy, and the contradiction with the almost-Euclidean isoperimetric inequality.

If you follow the research

Latest papers · 24 papers

The newest 20, updated every weekday from arXiv. Follow this topic with its own RSS feed, or see who writes most on it.

math.DGarXiv:2610.38408

Pseudolocality of -Laplacian Flow

Weiyong He, Longhuan Yan

In this paper, we give a new proof of Perelman's pseudolocality theorem for Ricci flow, which does not rely on Perelman's Harnack-type inequality. The key step is an estimate relating initial local -entropy to pointed Nash entropy at later spacetime points. The argument also works for other reasonable geometric flows, like the -Laplacian flow, at a scale depending on its deviation from Ricci flow and its scalar curvature lower bound. As a consequence, we can also prove the quantitative rigidity results concerning pointed Nash entropy due to Hein-Naber and Bamler for such geometric flows. In the appendix, we also show that the other results in Bamler's work (arXiv:2008.07093), when suitably modified, remain valid for Laplacian flow with bounded torsion. These include log-Sobolev/Poincaré inequality for conjugate heat kernel measure, heat kernel estimates, and dependence of the pointed Nash entropy on its basepoint.

View paper Connections
math.DGarXiv:2610.37154

An Anisotropic Entropy for the Rotationally Symmetric Ricci Flow

Hongxin Guo, Guozhi Lin

For a rotationally symmetric Ricci flow , , we study the scale-invariant curvature anisotropy introduced by Angenent–Knopf. At the critical power , with , we prove the distributional identity Integration against a conjugate heat kernel gives an anisotropic entropy formula. As an application, we obtain an entropy threshold for Type-I singularities on : if the entropy associated with a singular-time kernel is at most at an earlier regular time, every tangent flow at the corresponding singular point is a round shrinking sphere. This criterion follows from the quantization of the singular-time anisotropic density.

View paper Connections
math.DGarXiv:2610.21824

Finite Time Noncollapsing Kähler-Ricci Flow: Gaussian Type Heat Kernel, Gromov-Hausdorff Limits

Lei Zhang, Zhenlei Zhang

In this paper, we study heat kernel estimates along the Kähler-Ricci flow with finite time noncollapsing singularities over a compact Kähler manifold. The starting point is the type-II scalar-curvature estimate, which gives the natural parabolic scale near the singular time. By combining the distance distortion and space-time cut-off estimates of Bamler–Zhang with entropy, mean-value inequality, and conjugate heat-kernel estimates, we obtain two-sided Gaussian bounds and gradient bounds that are uniform on this scale. Under the global type-I scalar-curvature estimate, the same estimates hold on every scale. We then use these estimates and the monotonicity of the -distance between conjugate heat flows to construct a canonical singular-time pseudo-distance. The distances (induced by ) converge uniformly to this pseudo-distance. Its metric quotient is the unique Gromov–Hausdorff limit. Finally, we apply Bamler's theory and the recent work of Hallgren–Zhang to obtain the following. Every fixed-base-point type-I blow-up admits a subsequential metric-flow limit whose time slices are singular shrinking Kähler–Ricci soliton spaces with normal complex-analytic and log-terminal structure, unique tangent cones, and a polarized Fano fibration. For moving base points, the limiting metric flow, equipped with its limiting conjugate heat flow, is a metric soliton precisely under an entropy-pinching condition.

View paper Connections
math.DGarXiv:2609.18594

Heat kernel on Ricci shrinker metric measure spaces

Bing Wang, Jie Wang

As a metric measure space possessing positive Bakry-Émery curvature, a Ricci shrinker with potential function admits a heat kernel under the weighted volume measure . In this paper, we study systematically and establish a series of fundamental estimates. Moreover, we clarify the equivalence between and the spacetime heat kernel under Ricci flow induced by a Ricci shrinker. Inspired by this relation, we extend corresponding analysis tools of Ricci flows to Ricci shrinker metric measure spaces, such as Nash entropy and reduced distance. As a direct application, we prove that implies .

View paper Connections
math.DGarXiv:2608.14478

The Fisher Metric of the Ricci Flow Heat Kernel

Bennett Chow, Robert Koirala

We introduce and study a Fisher information metric associated to the conjugate heat kernel of a Ricci flow . This tensor measures, at a fixed scale, how the pointed heat-kernel measure changes when the base point is moved. We prove that is monotone in scale and satisfies . We relate its trace to the pointed Nash entropy and prove a matrix square identity for the Fisher defect This identity gives a rigidity theorem for the equality case; on closed connected flows one has the strict inequalities at every positive scale, while in the complete case equality forces a Euclidean splitting. We also develop several consequences of this point of view. These include a sharp reverse Poincaré inequality for the heat semigroup, a contraction formula for -divergences along conjugate heat flow, and a canonical construction of heat-kernel splitting maps from large eigenvalues of the Fisher endomorphism. As applications, we relate pointed Nash entropy close to to small Fisher deficit at comparable scales, and we obtain a codimension-one Fisher-metric criterion for applying Bamler's -regularity theorem.

View paper Connections
math.DGarXiv:2608.14039

Second-Order Departure of the Gigli–Mantegazza Flow from Ricci Flow

Dongwoo Gang

For a closed connected Riemannian manifold , the Gigli–Mantegazza construction pulls back the quadratic Wasserstein metric under the heat kernel embedding . The resulting family agrees with Ricci flow to first order in , but in general not to second order. We prove that where is quadratic in the full curvature tensor. The term also occurs in the second-order expansion of Ricci flow, so the discrepancy depends pointwise and quadratically on the curvature. In particular, at a Ricci-flat metric that is not flat, Ricci flow is stationary while is not. The Gromov–Hausdorff distance between the Gigli–Mantegazza and Ricci-flow metrics is , and round spheres show that this estimate is sharp.

View paper Connections
math.DGv2arXiv:2606.13301

Gromov-Hausdorff convergence of time-slices of singular Ricci flows in dimension three

Yu Li

Starting from a closed, orientable three-dimensional Riemannian manifold, we consider the completion of the associated singular Ricci flow with respect to a natural spacetime distance. We show that this completion admits canonical intrinsic metrics on its time-slices, defined by conjugate heat kernel measures, and that these time-slices arise as metric limits of the regular part of the flow. More precisely, for any and any connected component of the time-slice of the completion, we prove that where is the corresponding connected component of the regular part and denotes its metric completion. In particular, this yields the Gromov-Hausdorff convergence at the first singular time for closed three-dimensional Ricci flows. We also establish a refined structure theory for the singular set of the completion. In particular, the singular set is horizontally parabolic -rectifiable, and its time image has vanishing -dimensional Hausdorff measure. Moreover, on each time-slice, the singular set has Minkowski dimension at most . The proof relies on heat kernel estimates for singular Ricci flows and the generalization of the structure theory of noncollapsed Ricci flow limit spaces.

View paper Connections
math.DGarXiv:2605.21193

Sharp Gaussian Isoperimetry along a Ricci Flow

Robert Koirala

We prove the sharp Gaussian isoperimetric inequality for conjugate heat-kernel measures along a Ricci flow via a monotonicity formula. As consequences, we obtain the exact Gaussian enlargement theorem and a Gaussian-quantile two-set concentration estimate. In particular, this recovers the exponential concentration estimate of Hein–Naber from a sharper isoperimetric profile. We also derive Gaussian rearrangement inequalities, recover the sharp Hein–Naber log-Sobolev inequality, and identify the universal Gaussian-model constants in Bamler's -Poincaré inequalities. Further applications include Gaussian-profile localization near Bamler's -centers, convex-order and moment estimates for logarithmic derivatives of the conjugate heat kernel, reverse hypercontractivity, entropy-regular profile stability, and a path-space Bobkov inequality.

View paper Connections
math.DGarXiv:2603.22834

The Ricci-DeTurck flow on complete manifolds

Jing-Bin Cai, Bing Wang

Based on the framework of Koch-Lamm and tensor heat kernel estimates, we obtain a uniform proof of the short-time existence, uniqueness, and continuous dependence for Ricci flows starting from a complete Riemannian metric with bounded curvature. A new ingredient is an effective continuous dependence estimate without the assumption of injectivity radius lower bound.

View paper Connections
math.DGarXiv:2511.10460

Dynamical functionals on ancient ARF Ricci flows

Isaac M. Lopez, Rio Schillmoeller

We introduce a dynamical energy functional on compact ancient asymptotically Ricci-flat Ricci flows with modest decay using limits of conjugate heat flows. This functional satisfies a steady Ricci breather-type rigidity and provides an upper bound for the ordinary -functional while retaining many of its properties. In addition, motivated by work of Colding and Minicozzi, we derive local eigenvalue estimates for normalized Ricci flows coupled with conjugate heat flows.

View paper Connections
gr-qcv3arXiv:2509.17733

Well-posedness of Ricci Flow in Lorentzian Spacetime and its Entropy Formula

M. J. Luo

This paper attempts to construct monotonic entropy functionals for four-dimensional Lorentzian spacetime under physical boundary conditions, as an extension of Perelman's monotonic entropy functionals constructed for three-dimensional compact Riemannian manifolds. The monotonicity of these entropy functionals is utilized to prove the well-posedness of applying Ricci flow to four-dimensional Lorentzian spacetime for a long flow-time, particularly for the timelike modes which would seem blow up and ill-defined. The general idea is that the Ricci flow of a Lorentzian spacetime metric and the coupled conjugate heat flow of a density on the Lorentzian spacetime as a whole turns out to be the gradient flows of the monotonic functionals for a long flow-time, so the superficial "blow-up" in the individual Ricci flow system or the conjugate heat flow system contradicts the boundedness of the monotonic functionals within finite flow interval, which gives a semi-global control to the whole coupled system. The physical significance and applications of these monotonic entropy functionals in real gravitational systems are also discussed.

View paper Connections
math.APWider flowsarXiv:2508.09064

Weighted, Multiphase, Volume-Preserving Mean Curvature Flow as Limit of the MBO Scheme on Manifolds

Fabius Krämer

The famous thresholding scheme by Merriman, Bence, and Osher (Motion of multiple junctions: A level set approach. Journal of Computational Physics 112.2 (1994): 334-363.) proved itself as a very efficient time discretization of mean curvature flow. The present paper studies a multiphase, volume constrained version on a weighted manifold that naturally arises in the context of data science. The main result of this work proves convergence to multiphase, weighted, volume-preserving mean curvature flow on a smooth, closed manifold. The proof is only conditional in the sense that convergence of the approximating energy to the weighted perimeter is assumed. These type of assumptions are natural and common in the literature. The proof shows convergence in the energy dissipation inequality, induced by the underlying gradient flow structure, similar to the work of Laux and Otto (The thresholding scheme for mean curvature flow and De Giorgi's ideas for minimizing movements. The Role of Metrics in the Theory of Partial Differential Equations 85 (2020): 63-94.). This leads to a new De Giorgi solution concept that describes weakly the limiting flow. Estimates regarding the derivatives of the heat kernel are developed in order to pass to the limit in the variations of the energy and metric.

View paper Connections
math.DGarXiv:2503.03017

Perelman's entropy and heat kernel bounds on RCD spaces

Camillo Brena

We study Perelman's W-entropy functional on finite-dimensional RCD spaces, a synthetic generalization of spaces with Bakry-Émery Ricci curvature bounded from below. We rigorously justify the formula for the time derivative of the W-entropy and derive its monotonicity and rigidity properties. Additionally, we establish bounds for solutions of the heat equation, which are of independent interest.

View paper Connections
math.DGv2arXiv:2307.03879

A direct approach to sharp Li-Yau Estimates on closed manifolds with negative Ricci lower bound

Xingyu Song, Ling Wu, Meng Zhu

Recently, Qi S.Zhang [26] has derived a sharp Li-Yau estimate for positive solutions of the heat equation on closed Riemannian manifolds with the Ricci curvature bounded below by a negative constant. The proof is based on an integral iteration argument which utilizes Hamilton's gradient estimate, heat kernel Gaussian bounds and parabolic Harnack inequality. In this paper, we show that the sharp Li-Yau estimate can actually be obtained directly following the classical maximum principle argument, which simplifies the proof in [26]. In addition, we apply the same idea to the heat and conjugate heat equations under the Ricci flow and prove some Li-Yau type estimates with optimal coefficients.

View paper Connections
math.DGv2arXiv:2306.10143

Matrix Li-Yau-Hamilton estimates under Ricci Flow and parabolic frequency

Xiaolong Li, Qi S. Zhang

In this paper we prove matrix Li-Yau-Hamilton estimates for positive solutions to the heat equation and the backward conjugate heat equation, both coupled with the Ricci flow. We then apply such estimates to establish the monotonicity of parabolic frequencies up to correction factors. As applications, we obtain some unique continuation results under the nonnegativity of sectional or complex sectional curvature.

View paper Connections
math.DGarXiv:2301.08430

Heat kernel on Ricci shrinkers (II)

Yu Li, Bing Wang

This paper is the sequel to our study of heat kernels on Ricci shrinkers in. In this paper, we improve many estimates in and extend the recent progress of Bamler. In particular, we drop the compactness and curvature boundedness assumptions and show that the theory of -convergence holds naturally on any Ricci flows induced by Ricci shrinkers.

View paper Connections
math.DGarXiv:2207.13197

Scalar curvature, entropy, and generalized Ricci flow

Jeffrey Streets

We derive a family of weighted scalar curvature monotonicity formulas for generalized Ricci flow, involving an auxiliary dilaton field evolving by a certain reaction-diffusion equation motivated by renormalization group flow. These scalar curvature monotonicities are dual to a new family of Perelman-type energy and entropy monotonicity formulas by coupling to a solution of the associated weighted conjugate heat equation. In the setting of Ricci flow, we further obtain a new family of convex Nash entropies and pseudolocality principles.

View paper Connections

All 24 papers on Heat kernel, by year