Llarull's Scalar Curvature Rigidity Theorem

• Llarull’s scalar curvature rigidity theorem is a geometric principle stating that a metric on a sphere or closed spin manifold, exceeding the round metric in curvature and dominating it, must be exactly round.
• The theorem utilizes a spinorial proof that twists the Dirac operator and applies the Schrödinger–Lichnerowicz formula to derive a sharp equality case enforcing rigidity.
• Extensions of the theorem address low-regularity metrics, singular spaces, and stability issues, thereby advancing the broader scalar curvature extremality program.

Llarull’s scalar curvature rigidity theorem is a comparison theorem for positive scalar curvature that characterizes the round sphere by combining a lower scalar-curvature bound with a metric-comparison map to the unit sphere. In its classical sphere formulation, if $g$ is a smooth metric on $S^n$ satisfying $g\ge g_0$ and $\mathrm{Scal}_g\ge n(n-1)$, where $g_0$ is the standard round metric of sectional curvature $1$, then $g$ is isometric to $g_0$. In its more flexible form, if $(M^n,g)$ is a closed spin manifold and $f\colon M\to S^n$ is area-non-increasing with $S^n$0, then the lower bound $S^n$1 forces $S^n$2 to be a Riemannian covering, and in degree $S^n$3 an isometry onto the round sphere. The theorem is a prototype of scalar-curvature extremality, and many later developments treat stability, low regularity, singular metrics, and alternative model spaces (Hirsch et al., 2023, Cecchini et al., 2022).

1. Classical statement and equivalent formulations

The unit round sphere $S^n$4 has scalar curvature $S^n$5. In the formulation most directly tied to the sphere itself, a smooth metric $S^n$6 on $S^n$7 is said to dominate $S^n$8, written $S^n$9, if $g\ge g_0$0 for every $g\ge g_0$1 and every tangent vector $g\ge g_0$2. Llarull’s theorem then states that if $g\ge g_0$3, $g\ge g_0$4 is smooth, $g\ge g_0$5 for all $g\ge g_0$6, and $g\ge g_0$7 everywhere, then $g\ge g_0$8 is isometric to the round metric $g\ge g_0$9 (Chu et al., 2024).

A more invariant version replaces the identity map on the sphere by a map from an arbitrary closed spin manifold. Let $\mathrm{Scal}_g\ge n(n-1)$0 be closed and spin, let $\mathrm{Scal}_g\ge n(n-1)$1 be smooth, and assume that $\mathrm{Scal}_g\ge n(n-1)$2 is area-non-increasing, meaning $\mathrm{Scal}_g\ge n(n-1)$3 at each point, or equivalently that the $\mathrm{Scal}_g\ge n(n-1)$4-dimensional Jacobians are non-expanding. If $\mathrm{Scal}_g\ge n(n-1)$5 and $\mathrm{Scal}_g\ge n(n-1)$6, then Llarull’s conclusion is that $\mathrm{Scal}_g\ge n(n-1)$7 and $\mathrm{Scal}_g\ge n(n-1)$8 is a Riemannian covering; when $\mathrm{Scal}_g\ge n(n-1)$9, $g_0$0 is an isometry (Hirsch et al., 2023).

These formulations encode the same rigidity principle. The identity map $g_0$1 is $g_0$2-Lipschitz precisely when $g_0$3, and in dimension $g_0$4 the hypothesis can also be expressed by the a.e. condition $g_0$5. The theorem therefore asserts that one cannot simultaneously keep the round sphere as a metric lower bound and raise scalar curvature to at least the round value, except in the trivial case where the metric is already round (Cecchini et al., 2022).

2. Spinorial mechanism and the rigidity proof

The standard proof is spinorial. One twists the Dirac operator on $g_0$6 by the pull-back of the spinor bundle of the round sphere. In the smooth setting the Bochner–Lichnerowicz–Weitzenböck formula takes the form

$g_0$7

for the untwisted operator, and the twisted operator satisfies an analogous Schrödinger–Lichnerowicz formula with an additional curvature term coming from the pull-back bundle. The scalar-curvature lower bound enters through the $g_0$8 term, while the area-non-increasing hypothesis bounds the twisting curvature from below (Chu et al., 2024, Cecchini et al., 2022).

The topological input is the nonvanishing of an index. In even dimensions, the twisted Dirac operator has nonzero index, explicitly $g_0$9 in the low-regularity formulation of Cecchini–Hanke–Schick, so there exists a nonzero harmonic spinor $1$0. The integral Schrödinger–Lichnerowicz identity then yields

$1$1

and at differentiability points of $1$2 the twist curvature satisfies

$1$3

where the $1$4 are the singular values of $1$5. Under $1$6 and $1$7, all nonnegative terms are forced to vanish, so $1$8 and the equality case implies that $1$9 is an orientation-preserving isometry at almost every point. Reshetnyak theory for quasiregular maps then upgrades the a.e. statement to a global metric isometry (Cecchini et al., 2022).

Odd dimensions require a different topological package because the ordinary Fredholm index vanishes. One route is to pass to $g$0 and then slice, as in the stability paper; another is to construct a one-parameter family of self-adjoint twisted Dirac operators $g$1 and compute its spectral flow. In the odd-dimensional spectral-flow proof, Getzler’s theorem identifies

$g$2

while the Schrödinger–Lichnerowicz estimate shows that strict inequality in the curvature comparison would make every $g$3 invertible, forcing zero spectral flow. The contradiction leaves only the equality case, from which local and then global isometry follow (Li et al., 2023).

3. Equality, hypotheses, and common points of confusion

The theorem’s hypotheses are structurally coupled. The spin assumption is built into the classical Dirac-operator proof and into many extensions. In the map version, the nonzero degree assumption is not merely technical: it is the device that produces nontrivial index or nontrivial spectral flow, hence the harmonic spinor that detects rigidity. The area-non-increasing condition is equally essential on the analytic side, because it is what controls the curvature endomorphism in the twisted Weitzenböck formula (Hirsch et al., 2023, Li et al., 2023).

A recurring misconception is that surjectivity of $g$4 might replace $g$5. That replacement fails for scalar-curvature rigidity in dimensions $g$6. For every $g$7 and every $g$8, if $g$9 admits some metric of positive scalar curvature and $g_0$0, there exists a metric $g_0$1 with $g_0$2 and a smooth surjective $g_0$3-Lipschitz map $g_0$4. Taking $g_0$5, $g_0$6, and $g_0$7 shows that a surjective $g_0$8-Lipschitz map with $g_0$9 and $(M^n,g)$0 need not be rigid. By contrast, for Ricci curvature the surjective analogue is valid in all dimensions, and in dimension $(M^n,g)$1 surjectivity suffices in the scalar-curvature setting as well (Baer et al., 7 Jul 2025).

Another subtle point is the relationship between equality and global isometry. The spinorial argument first yields pointwise saturation of the curvature estimate and hence pointwise isometry of differentials. The global conclusion then uses topology: nonzero degree, quasiregularity without branch points, or simple connectedness of the target imply that the map is a covering, and on the sphere this becomes a global isometry in degree $(M^n,g)$2 (Cecchini et al., 2022, Hirsch et al., 2023).

4. Quantitative stability and Gromov’s spherical stability problem

Llarull’s theorem is a gap theorem at the threshold $(M^n,g)$3. A natural question, emphasized by Gromov, is whether a small scalar-curvature deficit forces an approximate spherical geometry. The all-dimensional stability theorem answers this affirmatively. If

$(M^n,g)$4

under the same spin, degree, and area-non-increasing hypotheses, then $(M^n,g)$5 admits a decomposition

$(M^n,g)$6

into a good set and two bad sets, with

$(M^n,g)$7

and

$(M^n,g)$8

where $(M^n,g)$9 over regular $f\colon M\to S^n$0. When $f\colon M\to S^n$1, the statement is slightly stronger and no $f\colon M\to S^n$2-factor appears. In this precise sense the manifold is $f\colon M\to S^n$3-close to a finite number of spheres outside a small bad set, and the paper states that this completely solves Gromov’s spherical stability problem (Hirsch et al., 2023).

The proof remains spinorial but becomes quantitative. Its main ingredients are a twisted harmonic spinor, an integral inequality of Llarull type, a decomposition into good and bad sets defined through the singular values of $f\colon M\to S^n$4, coarea and level-set arguments applied to $f\colon M\to S^n$5, and Poincaré or Cheeger estimates on the sphere. A Sobolev-refined version replaces the Poincaré/Cheeger step by an $f\colon M\to S^n$6-bound on the negative part of $f\colon M\to S^n$7 together with a Sobolev constant hypothesis, yielding an explicit estimate for the bad set volume while still giving $f\colon M\to S^n$8-closeness off that set (Hirsch et al., 2023).

A distinct three-dimensional stability theory predates the full-dimensional result. For sequences of Riemannian $f\colon M\to S^n$9-spheres whose distance functions are bounded below by the unit sphere’s, with uniformly bounded Cheeger isoperimetric constant and scalar curvatures tending to $S^n$00, the metrics converge to the round $S^n$01-sphere in the volume preserving Sormani–Wenger Intrinsic Flat sense. That argument uses the spacetime-harmonic-function proof of Llarull’s theorem in dimension three rather than the spinorial proof (Allen et al., 2023).

5. Low-regularity, punctured, and singular versions

A major development is that smoothness of the metric and map is not essential to rigidity. Cecchini–Hanke–Schick proved that if $S^n$02 is closed, smooth, connected, spin, and even-dimensional, if $S^n$03 with $S^n$04 has distributional scalar curvature in the sense of Lee–LeFloch satisfying $S^n$05, and if $S^n$06 is Lipschitz of nonzero degree, then $S^n$07 is a metric isometry. For $S^n$08 the map need only be area-nonincreasing a.e.; for $S^n$09 one assumes $S^n$10 is $S^n$11-Lipschitz. In particular, $S^n$12 is bijective, $S^n$13, and $S^n$14 (Cecchini et al., 2022).

There is also a punctured $S^n$15 theory. For $S^n$16, let $S^n$17 be a closed spin manifold, let $S^n$18 be finite, and let $S^n$19 be an $S^n$20 metric on $S^n$21 that is smooth on $S^n$22. If $S^n$23 is a Lipschitz map of nonzero degree, smooth on $S^n$24, with $S^n$25 on $S^n$26, and if $S^n$27 is area non-increasing there, then $S^n$28 is a distance isometry and $S^n$29 on $S^n$30. In the identity-map corollary for $S^n$31, the conclusion is $S^n$32 on all of $S^n$33 (Chu et al., 2024).

Singular rigidity extends further to cone-like singularities in odd dimensions. If $S^n$34 is compact, connected, oriented, spin, with finitely many cone-like singularities, if $S^n$35 as a distribution, and if $S^n$36 is Lipschitz, a.e. area-nonincreasing, and of nonzero degree, then $S^n$37 is a smooth Riemannian isometry away from the singular points. The result goes on to state that $S^n$38 must be diffeomorphic to a punctured sphere and that $S^n$39 extends to a global isometry onto $S^n$40. Analytically, this combines twisted Dirac operators on singular manifolds, abstract cone operators, and spectral flow (Schoenlinner, 30 Apr 2026).

6. Generalizations and surrounding rigidity theory

Llarull’s theorem has become a model for a broader scalar-curvature extremality program. One direction generalizes the target. Goette–Semmelmann’s area-rigidity theorem, as reformulated through higher mapping degree, replaces the sphere by a closed connected manifold $S^n$41 with nonnegative curvature operator, strict pinching $S^n$42, and $S^n$43. If $S^n$44 is area nonincreasing and the higher mapping degree $S^n$45 is nonzero, then $S^n$46 forces equality and, under the stated pinching, $S^n$47 becomes a Riemannian submersion. This includes examples such as $S^n$48 (Tony, 2024).

Another direction weakens or reshapes the curvature hypothesis. A spectral Llarull theorem replaces $S^n$49 on $S^n$50 by the lower bound

$S^n$51

still under $S^n$52, and concludes $S^n$53. The same paper treats warped-product models using spinor and spacetime-harmonic-function methods (Chai et al., 2023). Listing’s earlier improvement on even-dimensional spheres shows that if $S^n$54 is a metric on $S^n$55 with

$S^n$56

then $S^n$57 is a constant multiple of the round metric $S^n$58 (Listing, 2010).

Further extensions preserve the Llarull pattern while changing the model space. Products $S^n$59 satisfy Llarull-type rigidity under a degree-nonzero map whose spherical projection is area non-increasing, together with the additional scalar inequality involving a function $S^n$60; when $S^n$61, the theorem recovers the sphere case (Chow, 6 Nov 2025). In odd dimensions, the spectral-flow method also yields rigidity when the sphere is replaced by a smooth strictly convex closed hypersurface in $S^n$62 (Li et al., 2023). A later family-index approach treats products of convex hypersurfaces and, in the presence of circle factors, gives the corresponding optimal splitting theorem (Lockman et al., 14 Jun 2026). Parallel developments include Llarull-type theorems for three- and four-dimensional bands via warped $S^n$63-bubbles (Chai et al., 25 Feb 2026), rigidity for domains in three-dimensional spherical warped products (Chai et al., 6 Mar 2025), and weighted versions in which the ordinary scalar curvature is replaced by $S^n$64-scalar curvature (Zhou et al., 16 Nov 2025).

Taken together, these results show that Llarull’s theorem is not an isolated sphere theorem but a central rigidity paradigm. Its characteristic structure is the same across settings: a curvature lower bound at a model threshold, a non-expanding map of nontrivial topological type, a Dirac or variational identity with a sharp equality case, and a conclusion that forces the comparison map to be an isometry or a rigid splitting.