Perelman's toolkit

Harnack inequalities

In briefDifferential Harnack inequalities compare a solution with itself at different points and times. Hamilton's matrix Harnack inequality says curvature can only grow in a controlled way under Ricci flow, and it forces equality on expanding solitons.

∂R∂t+Rt+2⟨∇R,V⟩+2Ric⁡(V,V)  ≥  0\frac{\partial R}{\partial t} + \frac{R}{t} + 2\langle\nabla R, V\rangle + 2\operatorname{Ric}(V,V) \;\ge\; 0
31papers
2in the last 30 days
6key references
5guidebook chapters

The ideas that matter here

Key concepts

Each one in a few lines, with the equation that carries it and the stage of the Guidebook where it is learned.

Hamilton's Harnack inequality

For complete solutions with bounded, nonnegative curvature operator, the trace Harnack inequality says

∂tR+Rt+2⟨∇R,V⟩+2Ric⁡(V,V)  ≥  0for all vectors V.\partial_t R + \frac{R}{t} + 2\langle \nabla R, V\rangle + 2\operatorname{Ric}(V,V) \;\ge\; 0 \quad\text{for all vectors } V.

This is the Ricci-flow version of the Li–Yau inequality for the heat equation. It compares curvature at different points and times, and it is crucial for classifying singularity models.

Where the concept cards came from: they were drafted by an AI at the site owner's request. The owner, who is still learning this material, chose which concepts to include but cannot vouch for every detail, so treat them as a well-drawn map and check the cited papers. Corrections are welcome: see how this site works.

Guide

In depth

What it is

The classical Harnack inequality bounds a positive solution of the heat equation at one point by its value at another, later point. Li and Yau (1986) proved a differential version on manifolds with non-negative Ricci curvature: ∣∇u∣2/u2−ut/u≤n/2t|\nabla u|^2/u^2 - u_t/u \le n/2t. Integrating it along paths gives the classical inequality, with the correct Gaussian dependence.

Hamilton (1993) proved a matrix version for Ricci flow itself. On a complete solution with bounded, non-negative curvature operator, a quadratic expression in curvature and its derivatives is non-negative. Its trace, displayed above for any vector field VV, already implies that tRtR is non-decreasing along the flow. Equality holds exactly on expanding gradient solitons, which is how the Harnack inequality detects self-similarity. Cao proved the Kähler version under non-negative bisectional curvature. Brendle extended Hamilton's inequality to a weaker curvature condition, positive isotropic curvature on M×R2M\times\mathbb R^2.

Why it matters

Harnack inequalities control ancient solutions. If an ancient solution has non-negative curvature operator, letting the initial time go to −∞-\infty shows that scalar curvature is pointwise non-decreasing in time. This is used throughout the analysis of κ-solutions and singularity models. Hamilton used the equality case to show that certain eternal solutions are steady solitons. Perelman's reduced distance began as a Li–Yau–Hamilton-type quantity, and his Harnack estimate for the conjugate heat equation underlies pseudolocality.

Where it stands

Harnack inequalities now exist for many geometric flows (mean curvature, Gauss curvature, Kähler–Ricci, Yamabe), each under its own positivity assumption. Open directions include Harnack estimates without curvature sign assumptions, and on singular or weak flows, where heat kernel methods are taking over.

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: the parabolic kernel and the differential Harnack inequality. DOI 10.1007/BF02399203
  2. 1993
    Matrix Harnack estimate for the heat equation Richard S. Hamilton · Communications in Analysis and Geometry, vol. 1 Hamilton: a matrix Harnack estimate for the heat equation. DOI 10.4310/CAG.1993.v1.n1.a6
  3. 1993
    The Harnack estimate for the Ricci flow Richard S. Hamilton · Journal of Differential Geometry, vol. 37 Hamilton: the Harnack estimate for the Ricci flow. DOI 10.4310/jdg/1214453430
  4. 1992
    On Harnack's inequalities for the Kähler-Ricci flow Huai-Dong Cao · Inventiones Mathematicae, vol. 109 Cao: Harnack inequalities for the Kähler–Ricci flow. DOI 10.1007/bf01232027
  5. 2007
    A generalization of Hamilton's differential Harnack inequality for the Ricci flow S. Brendle · arXiv:0707.2192 Brendle: a generalization of Hamilton's Harnack inequality. PDFarXiv:0707.2192

Where to start reading

Surveys & books

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

  1. 2006
    Hamilton’s Ricci Flow Bennett Chow, Peng Lu, Lei Ni · Graduate Studies in Mathematics Chow–Lu–Ni: Hamilton's Ricci flow, with a full treatment of Harnack estimates. DOI 10.1090/gsm/077

Learn it step by step

In the guidebook

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

  1. 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.

  2. 11B.2
    Ancient Solutions and the Harnack InequalityBook 11B · Solitons, Compactness and Singularities

    Comparing curvature across space and time.

  3. 12A.6
    𝓛-Geodesics and the Variational FormulasBook 12A · Entropy and Noncollapsing

    Perelman's §7.1 derived line by line: the first and second variation of 𝓛-length, 𝓛-Jacobi fields, adapted fields, Hamilton's Harnack expressions, and the differential inequalities for the reduced distance.

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

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

  5. 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 · 31 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.APWider flowsarXiv:2610.35064

Type-II Singularities of Immersed Locally Convex Curves Evolving under Generalized Anisotropic Gage Area-Preserving Flows with Slow Curvature Speeds

Ze-Yu Ye, Xiao-Liu Wang

In this paper, we study the singularity behavior of immersed locally convex closed plane curves evolving under generalized anisotropic Gage area-preserving flows with slow curvature speeds of the form , where . Here denotes the anisotropic curvature associated with a prescribed anisotropy function . We prove that every finite-time blow-up is of Type-II provided that the Euclidean length of the evolving curve remains uniformly bounded away from zero. This result holds without any symmetry assumptions on either the initial curve or the anisotropy. When the initial signed area is nonzero, this length lower bound is automatically satisfied, and thus any finite-time singularity is necessarily of Type-II. By means of Hamilton's rescaling method combined with a differential Harnack estimate, we show that along a suitable blow-up subsequence, the rescaled curves at the selected times converge locally to the profile of a translating solution of the corresponding anisotropic curvature flow . We also establish sufficient conditions for finite-time singularity formation in terms of the initial signed area and anisotropic length. Moreover, we construct locally convex initial curves arbitrarily close to the Wulff curve for which a finite-time Type-II singularity occurs.

View paper Connections
math.DGWider flowsarXiv:2607.02067

Higher regularity of the inverse anisotropic mean curvature flow

Chaoqun Gao, Yong Wei, Rong Zhou

We prove an anisotropic analogue of the higher regularity theorem of Huisken and Ilmanen for inverse mean curvature flow. For an arbitrary smooth Minkowski norm, we first prove a Huisken–Ilmanen type Harnack estimate for smooth closed strictly star-shaped solutions. We then construct global smooth solutions starting from strictly star-shaped hypersurfaces with bounded nonnegative weak anisotropic mean curvature. Combining this construction with the asymptotic theory for weak inverse anisotropic mean curvature flow, we show that weak solutions starting from bounded smooth initial sets become smooth outside a compact set.

View paper Connections
math.DGWider flowsarXiv:2605.10589

Distance between minimal surfaces and flows

Tobias Holck Colding, William P. Minicozzi

We will show that the distance between two minimal hypersurfaces is a Lipschitz continuous supersolution, in the viscosity sense, of a natural elliptic partial differential equation. This not only recovers several well-known properties of minimal hypersurfaces, but also encodes substantially richer information. Moreover, if the reference hypersurface is allowed to evolve by mean curvature flow, one obtains comparably strong estimates for a corresponding parabolic PDE, leading in particular to local Harnack inequalities for the distance. There is even a fully parabolic extension in which both hypersurfaces evolve. The problem of tracking the distance between two evolving hypersurfaces arises naturally in a wide range of settings.

View paper Connections
math.APWider flowsarXiv:2604.01981

Lectures on curve shortening flow

Robert Haslhofer

The curve shortening flow is a geometric heat equation for curves and provides an accessible setting to illustrate many important concepts from nonlinear partial differential equations, including maximum principle estimates, monotonicity formulas, Harnack inequalities and blowup analysis. All these techniques will be combined to give an exposition of Huisken's proof of Grayson's beautiful theorem that the curve shortening flow shrinks any closed embedded curve in the plane to a round point.

View paper Connections
math.DGarXiv:2603.22086

PIC1 pinched manifolds are flat or compact

Alix Deruelle, Man-Chun Lee, Felix Schulze + 2 more

Hamilton's pinching conjecture, that three-dimensional complete non-compact manifolds with pinched Ricci curvature are flat, has recently been resolved using Ricci flow. In this paper we prove a direct analogue of that result in all dimensions. In order to do so we develop a lifting technique that allows us to handle manifolds that are collapsed at infinity. This new method also gives an alternative way of handling collapsed manifolds in the known three-dimensional case. As part of this approach, we prove a Ricci flow curvature estimate of a type that would normally be derived from the Harnack inequality, but without requiring the strong curvature positivity hypothesis demanded by Harnack. We give an improved gap theorem as a further application.

View paper Connections
math.DGWider flowsarXiv:2601.13767

The Harnack inequality without convexity for curve shortening flow

Arjun Sobnack, Peter M. Topping

In 1995, Hamilton introduced a Harnack inequality for convex solutions of the mean curvature flow. In this paper we prove an alternative Harnack inequality for curve shortening flow, i.e. one-dimensional mean curvature flow, that does not require any assumption of convexity. For an initial proper curve in the plane whose ends are radial lines but which is otherwise arbitrarily wild, we use the Harnack inequality to give an explicit time by which the curve shortening flow evolution must become graphical. This gives a new instance of delayed parabolic regularity. The Harnack inequality also gives estimates describing how a polar graphical flow with radial ends settles down to an expanding solution. Finally, we relate our Harnack inequality to Hamilton's by identifying a pointwise curvature estimate implied by both Harnack inequalities in the special case of convex flows.

View paper Connections
math.DGWider flowsv4arXiv:2512.08966

A Dynamical Approach to the Berezin-Li-Yau Inequality

Anton Alexa

We develop a dynamical method for proving the sharp Berezin-Li-Yau inequality. The approach is based on the volume-preserving mean curvature flow and a new monotonicity principle for the Riesz mean . For convex domains we show that is monotone non-decreasing along the flow. The key input is a geometric correlation inequality between the boundary spectral density and the mean curvature , established in all dimensions: in via a near-disk Fourier analysis, and in via the boundary Weyl expansion together with a local spectral rigidity argument near the ball, with a first-zero exclusion principle closing the global step. Since the flow converges smoothly to the ball, the monotonicity implies the sharp Berezin-Li-Yau bound for every smooth convex domain. As an application, we obtain a sharp dynamical Cesàro-Pólya inequality for eigenvalue averages.

View paper Connections
math.DGarXiv:2511.23074

Monotonicity of Perelman -Entropy of Mean Curvature Flow

Xiang-Dong Li, Qi Yan

In this paper, we study Perelman' s entropy for mean curvature flow in . Analogously to Perelman's -entropy defined for Ricci flow, K. Ecker in defined a functional for the mean curvature flow in and the region it encloses, and made the conjecture that this functional is monotonically increasing in time. We modify K. Ecker's definition and, using Hamilton's Harnack inequality for mean curvature flow, prove that our redefined -entropy is monotonically decreasing in time. Additionally, we provide a rigidity theorem for this -entropy.

View paper Connections
math.DGarXiv:2510.23239

Mean curvature flow into an ambient Riemannian manifold evolving by Ricci flow coupled with harmonic map heat flow

José N. V. Gomes, Matheus Hudson, Carlos M. de Sousa

The main objective of this article is to study the mean curvature flow into an ambient compact smooth manifold M with boundary and with a Riemannian metric that evolves by a self-similar solution of the Ricci flow coupled with the harmonic map heat flow of a map from M to a Riemannian manifold N. In this context, we address a functional associated with this flow and calculate its variation along parameters that preserve the weighted volume measure. An extension of Hamilton's differential Harnack expression appears by considering the boundary of M evolving by mean curvature flow, which must vanish on the gradient steady soliton case. Next, we obtain a Huisken monotonicity-type formula for the mean curvature flow in the proposed background. We also show how to construct a family of mean curvature solitons and establish a characterization of such a family.

View paper Connections
math.DGv2arXiv:2507.05032

On a parabolic curvature lower bound generalizing Ricci flows

Marco Flaim, Erik Hupp

Optimal transport plays a major role in the study of manifolds with Ricci curvature bounded below. Some results in this setting have been extended to super Ricci flows, revealing a unified approach to analysis on Ricci nonnegative manifolds and Ricci flows. However we observe that the monotonicity of Perelman's functionals (, , reduced volume), which hold true for Ricci flows and Ricci nonnegative manifolds, cannot be strictly generalized to super Ricci flows. In 2010 Buzano introduced a condition which still generalizes Ricci flows and Ricci nonnegative manifolds, and on which Perelman's monotonicities do hold. We provide characterizations of this condition using optimal transport and understand it heuristically as Ricci nonnegativity of the space-time. This interpretation is consistent with its equivalence to Ricci nonnegativity on Perelman's infinite dimensional manifold. More precisely, we prove that for smooth evolutions of Riemannian manifolds, this condition is equivalent to a Bochner inequality (resembling Perelman's Harnack inequality but for the forward heat flow), a gradient estimate for the heat flow, a Wasserstein contraction along the adjoint heat flow, the convexity of a modified entropy along Wasserstein geodesics, and an Evolutionary Variational Inequality (EVI). The optimal transport statements use Perelman's distance as cost, as first studied on Ricci flows by Topping and by Lott. We also consider dimensionally improved and weighted versions of these conditions. The dimensional Bochner inequality and all gradient estimates for the forward heat equation, along with the EVIs, appear to be new even for general Ricci flows, and are related to the Hamiltonian perspective on the distance. Most of our proofs do not use tensor calculus or Jacobi fields, suggesting the possibility of future extensions to more singular settings.

View paper Connections
math.DGarXiv:2506.04937

Gradient estimates and parabolic frequency monotonicity for positive solutions of the heat equation under generalized Ricci flow

Juanling Lu, Yu Zheng

In this paper, we establish Li-Yau-type and Hamilton-type estimates for positive solutions to the heat equation associated with the generalized Ricci flow, under a less stringent curvature condition. Compared with [25] and [35], these estimates generalize the results in Ricci flow to this new flow under the weaker Ricci curvature bounded assumption. As an application, we derive the Harnack-type inequalities in spacetime and find the monotonicity of one parabolic frequency for positive solutions of the heat equation under bounded Ricci curvature.

View paper Connections
math.DGarXiv:2505.03202

On Perelman's -entropy and Shannon entropy power for super Ricci flows on metric measure spaces

Xiang-Dong Li

In this paper, we extend Perelman's -entropy formula and the concavity of the Shannon entropy power from smooth Ricci flow to super Ricci flows on metric measure spaces. Moreover, we prove the Li-Yau-Hamilton-Perelman Harnack inequality on super Ricci flows. As a significant application, we prove the equivalence between the volume non-local collapsing property and the lower boundedness of the -entropy on RCD spaces. Finally, we use the -entropy to study the logarithmic Sobolev inequality with optimal constant on super Ricci flows on metric measure spaces.

View paper Connections
math.DGWider flowsv2arXiv:2502.07210

Generalized Harnack Inequality for Mean Curvature Flow and Ancient Solutions

Junyoung Park

The goal of this paper is to relax convexity assumption on some classical results in mean curvature flow. In the first half of the paper, we prove a generalized version of Hamilton's differential Harnack inequality which holds for mean convex solutions to mean curvature flow with a lower bound on where is the smallest principal curvature. Then, we use classical maximum principle to provide several characterizations of family of shrinking spheres for closed, mean convex ancient solution to mean curvature flow with a lower bound on for some , where are the principal curvatures.

View paper Connections
math.DGWider flowsarXiv:2502.06035

Geometric flows and space-periodic solitons on the light-cone

Yun Yang

This paper investigates curve flows on the light-cone in the 3-dimensional Minkowski space. We derive the Harnack inequality for the heat flow and present a detailed classification of space-periodic solitons for a third-order curvature flow. The nontrivial periodic solutions to this flow are expressed in terms of the Jacobi elliptic sine function. Additionally, the closed soliton solutions form a family of transcendental curves, denoted by , which are characterized by a rotation index and close after periods of their curvature functions. The ratio satisfies , where and are relatively prime positive integers. Guided by the classification process, we obtain the analytic solutions to a second-order nonlinear ordinary differential equation.

View paper Connections
math.DGWider flowsarXiv:2407.02332

Li-Yau Conformal Volume and Colding-Minicozzi Entropy of Self-Shrinkers

Jacob Bernstein

We show the (normalized) Li-Yau conformal volume of a self-shrinker of mean curvature flow in Euclidean space bounds its Colding-Minicozzi entropy from below. This bound is independent of codimension and sharp on planes. As an application we verify a conjecture of Colding-Minicozzi about the entropy of closed self-shrinkers of arbitrary codimension for self-shrinkers that are topologically two-dimensional real projective planes. As part of the proof we introduce two auxiliary functionals which we call stable conformal volume and virtual entropy which should be of independent interest.

View paper Connections
math.MGarXiv:2404.15755

Metric Measure Spaces and Synthetic Ricci Bounds – Fundamental Concepts and Recent Developments

Karl-Theodor Sturm

Metric measure spaces with synthetic Ricci bounds have attracted great interest in recent years, accompanied by spectacular breakthroughs and deep new insights. In this survey, I will provide a brief introduction to the concept of lower Ricci bounds as introduced by Lott-Villani and myself, and illustrate some of its geometric, analytic and probabilistic consequences, among them Li-Yau estimates, coupling properties for Brownian motions, sharp functional and isoperimetric inequalities, rigidity results, and structural properties like rectifiability and rectifiability of the boundary. In particular, I will explain its crucial interplay with the heat flow and its link to the curvaturedimension condition formulated in functional-analytic terms by Bakry-Èmery. This equivalence between the Lagrangian and the Eulerian approach then will be further explored in various recent research directions: i) time-dependent Ricci bounds which provide a link to (super-) Ricci flows for singular spaces, ii) second order calculus, upper Ricci bounds, and transformation formulas, iii) distribution-valued Ricci bounds which e.g. allow singular effects of non-convex boundaries to be taken into account.

View paper Connections
math.DGv2arXiv:2404.15705

Gradient estimation of a generalized non-linear heat type equation along Super-Perelman Ricci flow on weighted Riemannian manifolds

Yanlin Li, Abimbola Abolarinwa, Suraj Ghosh, Shyamal Kumar Hui

In this article we derive gradient estimation for positive solution of the equation \beginequation* (\partial_t-Δ_f)u = A(u)p(x,t) + B(u)q(x,t) + \mathcalG(u) \endequation* on a weighted Riemannian manifold evolving along the super Perelman-Ricci flow \beginequation* \frac{\partial g}{\partial t}(x,t)+2Ric_f^m(g)(x,t)\ge -2kg(x,t). \endequation* As an application of gradient estimation we derive a Harnack type inequality along with a Liouville type theorem.

View paper Connections

All 31 papers on Harnack inequalities, by year