🔢 mathematics

On weak formulations of (super) Ricci flows

This paper presents two new characterizations of smooth compact Ricci flow solutions using only metrics and measures, which generalize to singular settings by formulating super Ricci flows and imposing a saturation condition to ensure the inequality becomes an equality.

Original authors: Sajjad Lakzian

Published 2026-04-14

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Sajjad Lakzian

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a cartographer trying to draw a map of a world that is constantly changing shape. In the world of mathematics, this "world" is a geometric space (like a sphere or a donut), and the "changing shape" is a process called the Ricci Flow.

Think of the Ricci Flow like a smart, self-healing clay sculpture. If you have a lump of clay with a sharp bump, the Ricci Flow is the invisible hand that slowly smooths that bump out, spreading the clay evenly until the shape becomes perfectly round. This tool was famously used to solve the Poincaré Conjecture, one of the biggest puzzles in math history.

However, there's a problem: The standard math used to describe this flow requires the clay to be perfectly smooth, like polished glass. But what if your clay is cracked, crumbled, or has weird, jagged edges (mathematicians call these "singularities")? The standard tools break down because you can't take a smooth derivative (a measure of change) on a jagged rock.

This paper is about building a new set of tools that work even when the clay is broken.

Here is the breakdown of the paper's ideas using simple analogies:

1. The Problem: The "Smoothness" Trap

The author, Sajjad Lakzian, starts by saying: "We need to describe this shape-shifting process using only distances (how far apart things are) and amounts (how much 'stuff' or mass is in a region)."

Usually, mathematicians describe the flow by looking at how the curvature changes at every single point. But if the space is broken, there is no "every single point" to look at. We need a "weak formulation"—a way to describe the flow that doesn't care about the tiny details, only the big picture.

2. The Strategy: The "Super" Version

To solve this, the author uses a clever two-step trick:

Step A: The "Super" Flow (The Safety Net)
Imagine you have a rule that says, "The bumps on this clay must never get bigger." This is a Super Ricci Flow. It's a loose rule. It allows the clay to stay the same, shrink, or smooth out, but it forbids it from getting more jagged.
- The Analogy: Think of a "Super Flow" as a safety net. It's easy to prove that a shape stays within the net, even if the shape is weird. The author shows that we can define this "Super Flow" using only distances and mass, without needing smooth calculus.
Step B: The "Saturation" (The Tightrope)
A "Super Flow" is too loose; it allows the shape to do things a real Ricci Flow shouldn't do (like just sitting still). We need to force the flow to be exactly the Ricci Flow.
- The Analogy: Imagine the "Super Flow" is a wide river. The real "Ricci Flow" is a specific, narrow channel within that river. To find the channel, we add a Saturation Condition. This is like saying, "The water must be flowing at the maximum possible speed allowed by the riverbanks."
- In math terms, the author checks if the "inequality" (the safety net) has been "saturated" (tightened to the limit). If the flow is "saturated," it means it's not just a "Super Flow"; it's the exact Ricci Flow.

3. The Tools: "Formal" Heat and Diffusion

How do we check these rules without smooth calculus? The author uses Heat and Diffusion as a measuring stick.

The Heat Analogy: Imagine dropping a drop of ink (heat) into the clay. In a smooth world, the ink spreads out in a predictable, mathematical way.
The "Formal" Trick: In a broken world, we can't calculate the ink's spread perfectly. So, the author creates a "Formal" version. Instead of calculating the ink's path, they simulate it by taking tiny steps:
1. Look at a small ball around a point.
2. Average the values inside that ball.
3. Repeat this averaging process over and over.
- The Metaphor: It's like trying to guess the temperature of a room by taking the average of a few spots, then averaging those averages, then averaging those again. Even if the room has weird corners, this "averaging" process eventually reveals the true "heat flow" pattern.

The paper proves that if you use these "averaging" steps (which only need distance and mass), you can reconstruct the heat flow. If the heat flow behaves in a specific way (contracting distances between two drops of ink), you know you have a Super Flow.

4. The "Virtual Positive Scalar Curvature"

The paper introduces a concept called "Virtually Positive Scalar Curvature" (Virtually PSC).

The Analogy: In a smooth world, "Positive Scalar Curvature" means the space is locally shaped like a sphere (it curves inward).
The "Virtual" Twist: In a broken world, we can't measure curvature. So, the author defines a "Virtual" version: "If you look at a tiny ball of mass, is it slightly smaller than a perfect ball of the same radius in flat space?" If yes, the space is "Virtually PSC." This allows the math to work on spaces that are almost, but not quite, smooth.

5. The Grand Conclusion

The paper concludes by defining a Weak Ricci Flow for these broken, jagged spaces.

The Definition: A space is a Weak Ricci Flow if:
1. It behaves like a "Super Flow" (distances between heat drops don't expand).
2. It is "Saturated" (the flow is happening at the maximum rate allowed by the geometry, not slower).

Why Does This Matter?

This is like upgrading from a high-definition camera (which only works on smooth subjects) to a night-vision camera (which works in the dark and on rough terrain).

By defining the Ricci Flow using only distances and mass, this paper allows mathematicians to study the evolution of shapes that are crumbling, pinching, or breaking apart. It opens the door to understanding the "end of time" for geometric shapes, where they might collapse into singularities, using a language that doesn't require the shapes to be perfect.

In short: The author found a way to describe the "perfect smoothing" of a shape using only a ruler and a scale, even when the shape is broken, by first defining a "loose" version of the flow and then tightening it until it snaps into the exact solution.

1. Problem Statement

The Ricci flow, a geometric evolution equation introduced by Richard Hamilton, is a fundamental tool in geometric analysis (notably used by Perelman to solve the Poincaré conjecture). However, the classical definition relies on smooth Riemannian metrics and the ability to differentiate space variables. This poses a significant challenge when attempting to define Ricci flows on singular spaces (e.g., spaces with neckpinch singularities, collapsed manifolds, or general metric measure spaces) where classical differentiation is undefined.

The core problem addressed in this paper is: How can one characterize Ricci flows and Super Ricci flows solely in terms of metric (distance) and measure data, without relying on the smooth structure of the manifold?

The author aims to provide "weak formulations" that:

Characterize smooth Ricci flows using only metrics and measures.
Generalize these formulations to singular settings (metric measure spaces).
Distinguish between "Super Ricci flows" (inequalities) and actual "Ricci flows" (equalities) via a saturation condition.

2. Methodology

The paper employs a novel approach combining semigroup theory, optimal transport, and asymptotic geometric analysis.

A. Operator-Theoretic Construction of Heat Flows

Instead of defining heat flow via differential equations (which require smoothness), the author constructs heat propagators using Trotter-Chernoff product formulas.

Static Heat Flow: Defined as the limit of iterated averaging operators over geodesic balls ( $\nu_r$ $ν_{r}$ ) or spheres ( $\sigma_r$ $σ_{r}$ ).
- $\nu_r f(x) \approx f(x) + \frac{r^2}{2(n+2)}\Delta f(x)$
- $\sigma_r f(x) \approx f(x) + \frac{r^2}{2n}\Delta f(x)$
Dynamic Heat Flow: Constructed as a limit of products of these static propagators over small time steps, effectively approximating the evolution of the metric without assuming a pre-existing Dirichlet form or smooth structure.
Conjugate Heat Flow: Similarly constructed using operators ( $\alpha_r, \beta_r$ ) that combine ball/sphere averaging with scalar curvature terms. This construction requires a "virtually positive scalar curvature" (virtually psc) condition to ensure contraction properties.

B. Formal Dynamic Diffusions

In singular settings, the author defines "formal dynamic diffusions" as families of measures evolving according to the constructed formal conjugate heat propagators. This allows for the definition of diffusion processes on spaces where the topology or metric might change or degenerate.

C. Weak Characterizations

The paper introduces two main weak characterizations:

Lipschitz Monotonicity (WSRF): A flow is a Weak Super Ricci Flow if the Lipschitz constant of formal heat solutions is non-increasing in time.
Coupled Contraction (c-WSRF): A flow is a Weak Super Ricci Flow if the optimal transport cost (with respect to a time-dependent cost function $c_\tau$ ) between two dynamic diffusions is non-increasing.

D. The Saturation Condition

To distinguish a Ricci Flow from a Super Ricci Flow, the author introduces a "saturation" condition. While Super Ricci flows satisfy an inequality (e.g., $\partial_\tau g \leq 2\text{Ric}$ ), a Ricci flow satisfies an equality. The paper translates this into a metric-measure inequality involving the volume of geodesic balls and the time derivative of the squared distance.

3. Key Contributions

1. Metric-Measure Characterization of Smooth Ricci Flow

The paper proves that on a smooth compact manifold, a Ricci flow is equivalent to a "saturated" Super Ricci Flow.

Super Ricci Flow: Characterized by the non-increasing nature of the Lipschitz constant of heat solutions or the coupled contraction of diffusions.
Saturation: A condition ensuring the flow is not "too slow." It is expressed as:
$\lim_{\epsilon \to 0} \frac{1}{\epsilon^2} \left[ \frac{1}{2} \left( \frac{H_n(B_\epsilon(x))}{\omega_n \epsilon^n} - 1 \right) + \int_{d(x,y)\leq \epsilon} \partial_\tau d^2_\tau(x,y) \, db_{x,\epsilon} \right] \geq 0$
If this holds with equality (or specific bounds), the flow is a Ricci flow.

2. Definition of Weak Ricci Flows on Singular Spaces

The author defines Weak Ricci Flows (WSRF) and Weak c-Ricci Flows for time-dependent metric measure spaces (including those with Hausdorff dimension $n$ but no smooth structure).

These definitions rely only on the metric $d_t$ and measure $m_t$ .
They do not require the existence of a smooth manifold, a Riemannian metric, or a Dirichlet energy form.
The definitions allow for "pseudo-metrics" and spaces that may collapse or develop singularities (like neckpinches).

3. Generalization of Super Ricci Flow Theory

The paper extends the theory of Super Ricci flows (originally introduced by McCann-Topping and Sturm) to a broader class of spaces.

It introduces c-WSRFs (Weak Super Ricci Flows with general cost functions), showing that for convex, monotonically increasing cost functions, the coupled contraction property implies the super Ricci flow inequality.
It provides a framework for "virtually psc" (positive scalar curvature) flows, which is crucial for defining the conjugate heat flow in the absence of smoothness.

4. Trace Formula and Asymptotic Analysis

A significant technical contribution is the derivation of a Trace Formula relating the time derivative of the distance squared to the trace of the metric evolution tensor.
$\lim_{\epsilon \to 0} \frac{1}{\epsilon^2} \int_{d(x,y)\leq \epsilon} \partial_\tau d^2_\tau(x,y) \, db_{x,\epsilon} = \frac{1}{n+2} \text{tr}_{g(\tau)} (\partial_\tau g)$
This formula bridges the gap between the geometric evolution of the metric and the behavior of geodesic balls, enabling the "saturation" check.

4. Key Results

Theorem 3.2 & 3.3: Established that static and dynamic heat flows can be represented as limits of iterated ball/sphere averaging operators (Trotter-Chernoff limits).
Theorem 5.4 & 5.5: Proved that coupled contraction of dynamic diffusions with respect to convex cost functions implies the Super Ricci flow condition in the smooth setting.
Theorem 6.2 (Main Characterization): Proved that for a super Ricci flow on a compact manifold, the flow is a Ricci flow if and only if it is saturated.
Definition 7.2 & 7.3: Formally defined Weak Ricci Flows and Weak c-Ricci Flows for general metric measure spaces, providing the first "intrinsic" weak formulation that does not rely on embedding in an ambient space or smooth structures.

5. Significance

Handling Singularities: The primary significance is the ability to define Ricci flows on spaces where classical differential geometry fails. This is essential for studying the long-time behavior of Ricci flows, particularly through singularities like neckpinches, which are central to the analysis of 3-manifolds.
Intrinsic Formulation: Unlike Mean Curvature Flow, which evolves in an ambient space, Ricci flow is intrinsic. This paper successfully captures that intrinsic nature using only metric and measure data, making it applicable to Metric Measure Spaces (mm-spaces).
Foundational for Limit Theories: The work provides a rigorous framework for defining "limit Ricci flows." As sequences of smooth Ricci flows converge to singular spaces, the weak formulations allow one to define the resulting limit object as a valid Ricci flow.
Connection to Optimal Transport: By grounding the definition in optimal transport (coupled contraction) and entropy convexity, the paper strengthens the link between geometric analysis and probability theory, aligning with the broader "Riemannian-like" theory of non-smooth spaces (e.g., $RCD$ spaces).

In summary, Lakzian provides a robust, intrinsic, and weak formulation of Ricci flow that generalizes the classical theory to singular and non-smooth settings, offering a new pathway to analyze geometric evolution equations where traditional calculus is unavailable.