Scalar-mean rigidity theorem and Llarull's theorem for nonspin manifolds

Mon, 14 Sep 2026 17:21:34 +0000

Main theorem

Spherical rigidity without spin

Llarull's theorem in all dimensions

Let $(M^n,g)$ be a smooth, connected, closed Riemannian manifold with $n\geq2$, and let $F:M\to\mathbb S^n$ be a smooth map of nonzero degree to the unit round sphere. If $F$ is $1$-Lipschitz and $\operatorname{Sc}_g\geq n(n-1)$, then $F$ is an isometry. No spin assumption is required.

Proof architecture

The proof reduces spherical rigidity to a weighted scalar-mean comparison problem on complete manifolds, then descends in dimension while controlling the singularities of the capillary hypersurfaces.

Step 1 · Reduction

From the sphere to weighted scalar-mean comparison

Assuming rigidity fails, conformal deformations on a cylinder over $M$ produce a complete manifold with uniformly positive scalar curvature and a strict boundary mean curvature gap above the trace norm of the comparison map. The map retains nonzero degree. A weighted formulation of this comparison provides the curvature conditions needed for dimension descent.

Step 2 · Capillary bubbles

Pass to a hypersurface and obtain a spectral inequality

A barrier potential controls the noncompact end and produces a compact minimizing weighted capillary $\mu$-bubble. Its stability inequality yields a spectral weighted scalar-mean comparison in one lower dimension. The remaining obstruction to iteration is that the bubble may have interior or boundary singularities.

Step 3 · Singularities and completeness

Blow up the singular set while retaining the degree

Assouad dimension estimates give quantitative control of the singular set across scales. They control a Green-function blow-up that sends the singularities to infinity and equips the regular part with a complete smooth conformal metric. The boundary comparison map is modified near the new ends while preserving the nonzero degree and the spectral comparison needed for induction.

Step 4 · Close the dimension descent

Recover pointwise inequalities and reach dimension two

A positive function obtained from the spectral inequality adjusts the weight and restores pointwise weighted scalar and boundary mean curvature inequalities. This reproduces the complete comparison problem in one lower dimension. Iteration reaches a two-dimensional bubble, where Gauss–Bonnet contradicts the retained nonzero degree, completing the comparison theorem and hence Llarull rigidity.

Scalar curvature rigidity of domains in a 3-dimensional warped product

Thu, 06 Mar 2025 11:51:14 +0800

Main results

The paper establishes Llarull-type scalar-curvature rigidity for domains in three-dimensional spherical warped products, including models with boundary and singular endpoint geometry.

Domain rigidity

Metric, scalar, and boundary comparison determine the model

For a domain whose side boundary is convex in the conformally related product metric, the inequalities $g\geq\bar g$, $R_g\geq R_{\bar g}$, and $H_g\geq H_{\bar g}$ force $g=\bar g$ under the stated endpoint hypotheses.

Endpoint geometry

Smooth, conical, and disk-type ends are treated uniformly

The rigidity theorem covers smooth poles, Euclidean or metric tangent cones, and truncations by end disks with matching mean-curvature and angle inequalities.

Conical Llarull theorem

Antipodal cone points are allowed

For warped three-spheres with $\psi(t_\pm)=a_\pm|t-t_\pm|+o(|t-t_\pm|)$ and $0

Proof strategy

Prescribed-mean-curvature capillary $\mu$-bubbles play the role of the minimizing hypersurfaces in Llarull’s theorem. The stability inequality and a Gauss–Bonnet comparison make a minimizing bubble infinitesimally rigid, and a local foliation propagates equality through the domain. Near a vanishing warping factor or a conical endpoint, local barriers and tangent-cone analysis replace a formal singular perturbation and ensure that the minimizing problem cannot escape through the pole.

Scalar Curvature Rigidity | Gaoming Wang