Sub-static Heintze-Karcher Inequality

• Sub-static Heintze–Karcher inequality is a weighted mean-curvature inequality for Riemannian triples satisfying a sub-static tensor condition.
• It compares a weighted boundary integral with a bulk term while incorporating horizon contributions under static and warped-product settings.
• The theory underpins rigidity results and shifted curvature inequalities, with applications in asymptotically hyperbolic, spinorial, and static vacuum geometries.

The sub-static Heintze–Karcher inequality is a weighted mean-curvature inequality on a Riemannian triple $(M,g,V)$ satisfying a sub-static tensor condition of the form

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$

or, in the notation used in later rigidity work,

$$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$

Its basic form compares a weighted boundary integral $\int_{\Sigma}\frac{V}{H}$ with a weighted bulk term $\int_{\Omega}V$, and in the presence of horizon components it includes additional boundary contributions. The subject emerged from weighted Reilly formulas in model spaces (Qiu et al., 2014), was formulated invariantly for general sub-static manifolds by Li–Xia (Li et al., 2016), was sharpened in the horizon setting and analyzed in its equality case (Borghini et al., 2023), and has since developed toward shifted-curvature versions in warped products (Li et al., 21 Apr 2025), static special cases proved by spinorial methods (Girão et al., 2018), and applications to inverse-mean-curvature-flow monotonicity and uniqueness in asymptotically locally hyperbolic static geometry (Harvie et al., 22 Sep 2025).

1. Sub-static structure and weighted curvature tensors

Li–Xia define a Riemannian triple $(M,g,V)$ to be static if

$\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$

and sub-static if

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$

Equivalently, the tensor

$$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$

is nonnegative definite wherever $V>0$. In the notation of the equality-case paper, the same structure is written as

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$0

and the paper explicitly refers to $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$1 as the “substatic Ricci tensor” (Li et al., 2016, Borghini et al., 2023).

This framework is the weighted analogue of the role played by $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$2 in the classical Reilly–Ros theory. In particular, the weighted potential $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$3 is not auxiliary: it is part of the ambient geometry, and the combination $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$4 is the tensor that governs the sign of the interior term in generalized Reilly identities. Qiu–Xia’s weighted Reilly formula already contains this tensorial structure, although the paper does not use the later terminology “sub-static” (Qiu et al., 2014).

The ambient boundary structure is equally important. Li–Xia allow

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$5

where $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$6 is the outermost boundary hypersurface and the $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$7 are inner boundary components. Their inner boundary condition requires that each $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$8 be minimal, that $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$9 in $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$0 and $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$1 on $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$2, and that

$$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$3

on each $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$4. In later language these $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$5 play the role of horizons (Li et al., 2016).

2. Core inequalities and the generalized Reilly mechanism

The basic Li–Xia Heintze–Karcher inequality states that if $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$6 is an $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$7-dimensional sub-static Riemannian triple, $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$8 is bounded, $$Q:=f\operatorname{Ric}-\nabla\nabla f+\Delta f\,g\ge 0.$$9 satisfies the inner boundary condition, $\int_{\Sigma}\frac{V}{H}$0 is mean convex, and $\int_{\Sigma}\frac{V}{H}$1 in $\int_{\Sigma}\frac{V}{H}$2, then

$\int_{\Sigma}\frac{V}{H}$3

If $\int_{\Sigma}\frac{V}{H}$4, this reduces to

$\int_{\Sigma}\frac{V}{H}$5

Under a local warped-product structure near each inner boundary component,

$\int_{\Sigma}\frac{V}{H}$6

the horizon term becomes explicit: $\int_{\Sigma}\frac{V}{H}$7 If equality holds, then $\int_{\Sigma}\frac{V}{H}$8 is umbilical (Li et al., 2016).

The analytic engine is Li–Xia’s generalized Reilly formula: $\int_{\Sigma}\frac{V}{H}$9 Here $\int_{\Omega}V$0, $\int_{\Omega}V$1, and $\int_{\Omega}V$2. The proof of the Heintze–Karcher inequality solves

$\int_{\Omega}V$3

then combines the nonnegativity of $\int_{\Omega}V$4 with the pointwise tensor inequality

$\int_{\Omega}V$5

An integration-by-parts identity,

$\int_{\Omega}V$6

and a final Hölder inequality on $\int_{\Omega}V$7 then produce the boundary-to-volume estimate (Li et al., 2016).

Qiu–Xia’s earlier weighted Reilly formula plays the same structural role in constant-curvature models. In $\int_{\Omega}V$8 and $\int_{\Omega}V$9, with $(M,g,V)$0 or $(M,g,V)$1, they rederive the weighted inequalities

$(M,g,V)$2

while for $(M,g,V)$3 they prove

$(M,g,V)$4

This precursor is not yet a general sub-static theorem, but the tensor $(M,g,V)$5 is already the decisive quantity (Qiu et al., 2014).

3. Equality, rigidity, and warped-product splitting

The equality case is the main subject of the rigidity paper. For a substatic manifold with connected horizon boundary $(M,g,V)$6, assuming

$(M,g,V)$7

and a connected, smooth, strictly mean-convex hypersurface $(M,g,V)$8 homologous to $(M,g,V)$9, equality in

$\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$0

holds if and only if the region $\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$1 enclosed by $\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$2 and $\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$3 is isometric to

$\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$4

The more general disconnected statement yields a corresponding warped-product description on each component (Borghini et al., 2023).

The proof starts from the sharpened remainder identity

$\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$5

where $\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$6 solves the associated Dirichlet problem. Equality forces

$\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$7

and

$\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$8

With the conformal change $\Delta V\, g-\nabla^2 V + V\,\mathrm{Ric}=0,$9 and $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$0, the first identity becomes

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$1

and the proof then uses a Tashiro-type splitting argument and the vanishing of the substatic tensor in a distinguished direction to show that the enclosed region is warped (Borghini et al., 2023).

In substatic warped products

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$2

the same paper proves a stronger statement: if equality holds, then

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$3

for some $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$4. Since Brendle had already observed that constant-mean-curvature hypersurfaces saturate the Heintze–Karcher inequality via a Minkowski identity, this removes assumption (H4) from Brendle’s Alexandrov theorem in warped products (Borghini et al., 2023).

4. Shifted mean curvature and new warped-product inequalities

A major recent development is the introduction of a shifted denominator $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$5 and the matching numerator $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$6 in sub-static warped products

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$7

with conformal vector field $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$8, support function

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0.$9

and potential $$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$0. The warped product is called static or sub-static when $$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$1 is static or sub-static (Li et al., 21 Apr 2025).

The geometric reason for the shifted numerator is the Hessian identity

$$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$2

which can be rewritten as

$$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$3

This leads to the first shifted Minkowski formula

$$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$4

Under static-convexity

$$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$5

the general shifted Heintze–Karcher inequality is

$$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$6

and, in the presence of a horizon boundary $$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$7,

$$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$8

If static-convexity is strict at some point, equality implies that $$Q=\frac{1}{V}\big(\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\big)$$9 is umbilic and has constant mean curvature; in the horizon case, equality forces $V>0$0 (Li et al., 21 Apr 2025).

The special hyperbolic case

$V>0$1

gives a genuinely new non-mean-convex theorem. If $V>0$2 is a bounded domain with smooth boundary $V>0$3 in $V>0$4 and

$V>0$5

then

$V>0$6

with equality if and only if $V>0$7 is umbilic, hence a geodesic sphere. This is stronger than the mean-convex regime $V>0$8, and the proof is by a special monotonicity argument along inward unit normal flow rather than by the general integral argument (Li et al., 21 Apr 2025).

5. Static realizations, spinorial special cases, and current applications

The sub-static Heintze–Karcher inequality includes several rigid static subclasses. A notable example is the pseudo-hyperbolic setting treated by spinorial methods. If a connected $V>0$9-dimensional Riemannian spin manifold carries a nontrivial imaginary Killing spinor $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$00, with

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$01

then

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$02

For a hypersurface $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$03 bounding a compact domain $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$04, with inward unit normal $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$05 and $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$06, the paper proves

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$07

In pseudo-hyperbolic manifolds $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$08, this becomes

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$09

with equality if and only if $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$10 is totally umbilical. The paper does not use the term “sub-static,” but the identity $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$11 places the ambient manifold in the static, hence sub-static, regime (Girão et al., 2018).

In three-dimensional asymptotically locally hyperbolic static vacuum geometry, the sub-static Heintze–Karcher inequality is used as a structural input rather than as an endpoint theorem. For an ALH static system $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$12 with horizon boundary $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$13, the static equations are

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$14

The paper quotes the multi-horizon sub-static Heintze–Karcher inequality

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$15

and in the three-dimensional static vacuum case the coefficient simplifies to

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$16

Using these optimal coefficients, the paper defines the IMCF quantity

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$17

proves it is monotone nonincreasing, and derives Minkowski inequalities, surface-gravity bounds, a reverse Penrose inequality, and rigidity/uniqueness results for Kottler black holes. The same paper also establishes a weak-regularity version of the Heintze–Karcher inequality for $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$18 hypersurfaces with bounded, nonnegative, integrable weak mean curvature (Harvie et al., 22 Sep 2025).

6. Neighboring theories and non-sub-static analogues

Several recent developments are Heintze–Karcher-type inequalities in settings that are structurally related to the sub-static theory but not formulated in terms of a static potential. The free-boundary/capillary paper in the Euclidean half-space proves

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$19

with equality exactly for spherical caps. The correction term $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$20 is geometric rather than a static weight, and the proof uses a Montiel–Ros map and a torsion/Reilly framework with substrate terms (Delgadino et al., 2022).

Capillary and anisotropic analogues go further. In the Euclidean unit ball, a Zermelo-navigation Randers metric converts a capillary boundary condition into a free-boundary condition in a Finsler metric, yielding

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$21

with equality if and only if $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$22 is a $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$23-capillary spherical cap (Wang et al., 2024). In wedges and convex domains, anisotropic free-boundary and capillary inequalities take the forms

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$24

and

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$25

with rigidity by truncated Wulff shapes (Ma et al., 2024). Related sharp anisotropic free-boundary results in convex domains and half-space capillarity likewise replace a static potential by an anisotropic density $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$26 and prove Alexandrov-type rigidity via Wulff geometry (Jia et al., 2023, Jia et al., 2022).

A different neighboring direction is PDE-based Heintze–Karcher theory from $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$27-Laplacian overdetermined problems. On complete noncompact manifolds with $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$28, the identity

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$29

yields

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$30

with equality only for Euclidean balls in $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$31 (Ruan et al., 2023). On compact manifolds with $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$32, a new $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$33-function produces

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$34

which is Heintze–Karcher-type but solution-dependent rather than ambient-potential-driven (Huang et al., 22 Dec 2025).

Finally, normal-Jacobian comparison for submanifolds furnishes a Heintze–Karcher-type comparison principle outside the static framework. The comparison theorem

$\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$35

under $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$36 is explicitly described as weakening the lower sectional-curvature assumption in classical Heintze–Karcher comparison, and it leads to sharp Fenchel–Borsuk–Chern–Lashof-type and Willmore–Chen-type inequalities. This suggests a broader tube-volume comparison perspective parallel to, but distinct from, the sub-static weighted-Reilly theory (Pan et al., 7 May 2026).

The modern sub-static Heintze–Karcher inequality is therefore best understood as a weighted boundary-volume principle governed by the tensor $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$37, with a mature theory of horizon terms, equality rigidity, warped-product specializations, and geometric applications. Its neighboring capillary, anisotropic, $\Delta V\,g-\nabla^2V+V\,\mathrm{Ric}\ge 0,$38-Laplacian, and normal-Jacobian theories do not replace that framework, but they clarify which parts of Heintze–Karcher theory are specific to static potentials and which belong to a larger family of curvature-reciprocal inequalities.