Normalized Ricci–DeTurck Flow

• Normalized Ricci–DeTurck flow is a gauge-fixed variant of normalized Ricci flow that adds a Lie derivative term to remove diffeomorphism invariance while preserving a distinguished background geometry.
• It utilizes various normalization schemes—such as volume-preserving and hyperbolic corrections—to maintain stationary reference metrics and convert the flow into a strictly parabolic system.
• The approach underpins rigorous stability analyses and smoothing procedures, providing explicit models with spectral gap estimates and preservation of asymptotic structures.

Normalized Ricci–DeTurck flow is a gauge-fixed version of normalized Ricci flow in which a Lie-derivative term removes diffeomorphism invariance while a zeroth-order normalization keeps a distinguished scale or Einstein background stationary. In the literature represented here, the normalization is not unique: it may be the volume-preserving correction $\frac{2}{n}\bar R\,g$, the hyperbolic correction $-4h$ in dimension $3$, the asymptotically hyperbolic term $-2(n-1)g$, or the complex-hyperbolic term $-\frac{n+1}{2}g$. In each case, the DeTurck modification is used to obtain a strictly parabolic system, and the resulting solution is related to the corresponding geometric Ricci flow by a family of time-dependent diffeomorphisms (Lesniewski, 17 Jun 2026, Jiang et al., 29 Aug 2025, Li, 21 Dec 2025, Rochon, 2013).

1. Gauge fixing and the DeTurck mechanism

The basic DeTurck construction fixes a background metric and adds a Lie derivative term to the Ricci flow equation. In several papers the vector field is written, for a fixed background metric $h$, as

$$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$

while other formulations use

$$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$

These formulas appear in equivalent gauge-fixing roles in the complete-manifold, rough-metric, and asymptotically hyperbolic settings (Lee et al., 2024, Chu et al., 2022, Li, 21 Dec 2025).

In this framework the DeTurck-modified equation is the analytically tractable PDE, and Ricci flow is recovered by pullback. For the standard unnormalized theory, one paper states that if $\chi_t$ solves

$\begin{cases} X_h(g(t))f = \dfrac{\partial}{\partial t}(f\circ \chi_t), & \forall f\in C^\infty(M),\[0.3em] \chi_0=\mathrm{id}, \end{cases}$

then $-4h$0 solves $-4h$1 (Lee et al., 2024). The normalized complex-hyperbolic paper uses the same principle: if $-4h$2 is generated by the DeTurck field $-4h$3, then $-4h$4 solves the normalized Ricci flow (Rochon, 2013).

The special role of the DeTurck term is explicit throughout this corpus. It is repeatedly described as the device that removes diffeomorphism invariance and turns Ricci flow from a weakly parabolic geometric evolution into a strictly parabolic quasilinear system. In rotationally symmetric problems this gauge choice may be built into a coordinate condition rather than into a fixed background metric, but the purpose is the same: produce a scalar or tensorial PDE with usable parabolic estimates (Lesniewski, 17 Jun 2026, Bahuaud et al., 2015).

2. Forms of normalization

Normalization is introduced for different geometric reasons in different settings. Sometimes it preserves volume, sometimes it fixes a negatively curved Einstein metric, and sometimes it is adapted to asymptotic hyperbolic geometry.

Setting	Normalized Ricci–DeTurck-type equation	Fixed geometry or effect
Bures–Helstrom qubit metric	$-4h$5 in dimension $-4h$6	$-4h$7 is a fixed point (Lesniewski, 17 Jun 2026)
Finite-volume hyperbolic $-4h$8-manifold	$-4h$9	$3$0 is a fixed point (Jiang et al., 29 Aug 2025)
Asymptotically hyperbolic $3$1 theory	$3$2	Hyperbolic background $3$3 is stationary (Li, 21 Dec 2025)
Asymptotically complex hyperbolic metrics	$3$4	Preserves the AHC asymptotic structure (Rochon, 2013)
Rotationally symmetric AH flow	$3$5	Hyperbolic space is stationary under the underlying NRF (Bahuaud et al., 2015)

The volume-normalized case is especially explicit in the qubit paper. There the normalized Ricci flow is

$3$6

with

$3$7

In that setting the normalization removes the trivial homothetic shrinking of an Einstein metric and converts a finite-time collapse into a stationary round-hemisphere equilibrium (Lesniewski, 17 Jun 2026).

In negatively curved problems the normalization is chosen so that the reference Einstein metric is stationary. On a finite-volume hyperbolic $3$8-manifold $3$9, where $-2(n-1)g$0, the equation

$-2(n-1)g$1

is the normalized Ricci–DeTurck flow used to analyze cusp geometry (Jiang et al., 29 Aug 2025). In the asymptotically hyperbolic mass paper the normalized $-2(n-1)g$2-flow uses

$-2(n-1)g$3

because the hyperbolic metric $-2(n-1)g$4 is a fixed point of that normalized flow (Li, 21 Dec 2025).

3. Explicit model equations and fixed points

One of the most explicit normalized Ricci–DeTurck reductions occurs for the Bures–Helstrom metric on the qubit state space. With the normalization used there,

$-2(n-1)g$5

and the substitution $-2(n-1)g$6 identifies the Bloch ball with a geodesic hemisphere of the unit round $-2(n-1)g$7. The metric is Einstein,

$-2(n-1)g$8

In Hamilton–DeTurck gauge, with lapse fixed to $-2(n-1)g$9, the radial DeTurck field satisfies

$-\frac{n+1}{2}g$0

and the squared warping function $-\frac{n+1}{2}g$1 obeys the scalar equation

$-\frac{n+1}{2}g$2

For the volume-normalized flow this becomes

$-\frac{n+1}{2}g$3

For the Bures–Helstrom profile $-\frac{n+1}{2}g$4, one has $-\frac{n+1}{2}g$5 and $-\frac{n+1}{2}g$6, so $-\frac{n+1}{2}g$7 is a fixed point of the normalized flow (Lesniewski, 17 Jun 2026).

The same paper also gives a complete linearization. Writing

$-\frac{n+1}{2}g$8

the normalized DeTurck flow linearizes to

$-\frac{n+1}{2}g$9

on rotationally symmetric functions. The spectrum is

$h$0

with $h$1 the scale mode, $h$2 a residual gauge mode, and spectral gap $h$3 after removing scaling and gauge. This is a fully explicit normalized Ricci–DeTurck stability model (Lesniewski, 17 Jun 2026).

A second explicit reduction appears in the rotationally symmetric asymptotically hyperbolic setting. After passing to area-radius coordinates,

$h$4

the gauged normalized flow reduces to a scalar PDE,

$h$5

The sectional curvatures are encoded by

$h$6

and the paper proves preservation of $h$7, long-time existence under that hypothesis, and exponential convergence to standard hyperbolic space when $h$8 initially (Bahuaud et al., 2015).

4. Functional-analytic settings

The normalized Ricci–DeTurck flow is developed in several distinct analytic regimes, each tailored to the underlying geometry.

On finite-volume hyperbolic $h$9-manifolds, the relevant spaces are weighted little Hölder spaces adapted to cusps. The weight is

$$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$0

and the paper defines

$$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$1

as well as

$$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$2

These spaces satisfy the interpolation identities

$$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$3

The weight is introduced because unweighted little Hölder spaces do not work well on cusped finite-volume manifolds: the linearized operator fails to be surjective there on the unweighted spaces (Jiang et al., 29 Aug 2025).

In the asymptotically complex hyperbolic setting, the flow acts on $$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$4-metrics and preserves polyhomogeneous boundary expansions. If the initial metric is polyhomogeneous with positive index set $$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$5, then the solution to the normalized Ricci–DeTurck flow satisfies

$$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$6

If the initial metric is smooth up to the boundary, that regularity is preserved as well (Rochon, 2013).

In the $$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$7-asymptotically hyperbolic theory, normalized Ricci–DeTurck flow is used as a smoothing procedure from merely continuous data. The analytic framework is a Koch–Lamm-type fixed-point theory with function spaces $$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$8 and $$X_h(g)^k := g^{ij}\bigl(\widetilde{\Gamma}^k_{ij}-\Gamma^k_{ij}\bigr),$$9, together with derivative bounds

$$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$0

This instantaneous regularization underlies the later mass and scalar-curvature arguments (Li, 21 Dec 2025).

5. Stability, convergence, and applications

The strongest dynamical stability theorem in the supplied normalized Ricci–DeTurck literature concerns hyperbolic $$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$1-manifolds of finite volume. For $$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$2 hyperbolic, fixing $$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$3, and for every

$$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$4

there exist constants $$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$5 such that if

$$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$6

then the normalized Ricci–DeTurck flow exists for all $$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$7 and satisfies

$$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$8

The decay estimate is measured in the weighted norm $$W^k = g^{pq}\bigl(\Gamma^k_{pq}(g)-\Gamma^k_{pq}(h)\bigr).$$9. The same work identifies an application to minimal surface entropy (Jiang et al., 29 Aug 2025).

In the Bures–Helstrom qubit model, normalized Ricci–DeTurck flow yields an explicit stable fixed point rather than merely an abstract one. The exact spectrum

$\chi_t$0

shows linear stability modulo scaling and diffeomorphism symmetry, and the spectral gap is $\chi_t$1 after removing those neutral directions (Lesniewski, 17 Jun 2026).

The asymptotically hyperbolic mass paper uses normalized Ricci–DeTurck flow not primarily as a stability theorem but as a regularization and comparison device for rough geometry. There the flow defines a scalar curvature lower bound for continuous metrics through a $\chi_t$2-weak condition, proves short-time existence from $\chi_t$3-small perturbations of the hyperbolic metric, and establishes almost-monotonicity formulas for a $\chi_t$4 local mass. In particular, the paper proves estimates of the form

$\chi_t$5

which are then used to show existence of the mass limit at infinity (Li, 21 Dec 2025).

The asymptotically complex hyperbolic theory provides a different application: preservation of the asymptotic expansion itself. There normalized Ricci–DeTurck flow preserves polyhomogeneity, and in the Kähler case the flow can be rewritten in terms of a scalar potential $\chi_t$6, again preserving the full polyhomogeneous expansion with index set $\chi_t$7 (Rochon, 2013).

These examples suggest that normalized Ricci–DeTurck flow functions in two closely related ways: as a dynamical stability mechanism near Einstein geometries, and as a smoothing framework that preserves asymptotic structure while permitting quantitative analysis of curvature, mass, or entropy.

6. Terminological boundaries and related formulations

The phrase “normalized Ricci–DeTurck flow” is not used uniformly across the literature. Some papers study normalized Ricci flow without any DeTurck gauge. For generalized Wallach spaces, the normalized Ricci flow is analyzed entirely in the homogeneous invariant-metric setting as an autonomous ODE system for metric parameters, and the paper explicitly states that it “does not formulate the evolution as a Ricci–DeTurck flow” (Abiev, 2024).

Conversely, many Ricci–DeTurck papers do not introduce any genuine normalization term. The Morrey-type rough-metric theory uses

$\chi_t$8

and explicitly states that there is no volume-preserving or average-curvature correction (Lee et al., 2024). The rough $\chi_t$9 and $\begin{cases} X_h(g(t))f = \dfrac{\partial}{\partial t}(f\circ \chi_t), & \forall f\in C^\infty(M),\[0.3em] \chi_0=\mathrm{id}, \end{cases}$0 theories, the complete-manifold theory, and the incomplete-manifold theory are likewise devoted to unnormalized DeTurck-gauged Ricci flow, even when they discuss how a normalized variant would be inserted analytically (Chu et al., 2022, Lamm et al., 2021, Cai et al., 24 Mar 2026, Marxen et al., 2021).

There are also borderline cases in which normalization is implemented geometrically rather than by an explicit $\begin{cases} X_h(g(t))f = \dfrac{\partial}{\partial t}(f\circ \chi_t), & \forall f\in C^\infty(M),\[0.3em] \chi_0=\mathrm{id}, \end{cases}$1 term. In the conical-singularity stability theory, the flow is not explicitly called normalized Ricci–DeTurck flow, but the paper states that the DeTurck term fixes diffeomorphism invariance while re-centering on the local Ricci-flat moduli space removes drift along neutral directions (Kroencke et al., 2018). The ALE stability paper likewise emphasizes that its flow is not volume-normalized; instead, the key mechanism is the equivalence between integrability and an “almost-orthogonality” property of the Ricci-DeTurck tensor, which replaces the moving-reference-metric argument in the stability proof (Stolarski et al., 16 Apr 2026).

A recurrent misconception is therefore avoided by the supplied literature itself: normalized Ricci flow, Ricci–DeTurck flow, and normalized Ricci–DeTurck flow are not interchangeable labels. Some settings require all three ingredients—curvature normalization, gauge fixing, and recovery of geometric Ricci flow by diffeomorphism pullback—while others use only one or two of them. The technically precise meaning of the term is determined by the choice of normalization, the background geometry being fixed, and the analytic class in which the PDE is posed.