Scalar-Rigid Maps in Riemannian Geometry

• Scalar-Rigid Maps are smooth spin maps between closed Riemannian manifolds that satisfy metric dominance, scalar curvature comparison, and a nonzero index condition.
• They exhibit strong rigidity phenomena, often emerging as global isometries or Riemannian submersions that lead to product splitting with Ricci-flat fibers.
• Analytic techniques using twisted Dirac operators and the Bochner–Lichnerowicz–Weitzenböck formula form the foundation for proving scalar curvature equality and rigidity.

A scalar-rigid map is a smooth spin map between closed Riemannian manifolds which is extremal in the comparison of scalar curvature and area-decreasing (or length-decreasing, or $1$-Lipschitz) conditions, leading to strong rigidity phenomena including metric (and often topological) consequences for the source manifold and the map. Originating from the foundational scalar curvature rigidity theorem of Llarull and subsequent extensions by Goette–Semmelmann, Cecchini–Hanke–Schick, and others, the scalar-rigidity paradigm consolidates index-theoretic, analytic, and geometric tools to fully characterize the extremal maps and their geometric structures (Cecchini et al., 2022, Tony, 2024, Riedler et al., 20 Jan 2026).

1. Definition of Scalar-Rigid Maps

Let $(M^m,g_M)$ and $(N^n,g_N)$ be closed, connected Riemannian manifolds, and $f : M \to N$ a smooth spin map (that is, $w_i(TM) = f^* w_i(TN)$ for $i=1,2$). The map $f$ is called scalar-rigid if it satisfies three central conditions (Riedler et al., 20 Jan 2026):

1. Metric dominance: $g_M \ge f^*g_N$ on $2$-vectors (i.e., $f$ is area-non-increasing).
2. Scalar curvature comparison: $\scal_M \ge \scal_N \circ f$ pointwise.
3. Index-theoretic nontriviality: A suitable index-theoretic degree is nonzero (e.g. $\chi(N)\cdot \hat A$-degree of $f$, or more generally, a nonzero higher mapping degree in $KO_*(C^* \pi_1 M)$).

The geometric intuition is to compare $(M,g_M)$ to $(N,g_N)$ via a map $f$ that does not increase area and whose scalar curvature remains above that of the target, with the index condition ensuring extremality/ridigity (Riedler et al., 20 Jan 2026, Tony, 2024).

2. Rigidity Theorems and Paradigmatic Examples

Llarull’s theorem provides the prototypical example: for a closed, even-dimensional spin manifold $(M^n,g)$, if $f:(M,g)\to (S^n, g_{\mathrm{round}})$ is a $1$-Lipschitz map of nonzero degree and if $\scal(g)\geq n(n-1)$, then $f$ is a global metric isometry (Cecchini et al., 2022, Tony, 2024). Extensions include:

• Goette–Semmelmann rigidity: If the target $(N^n, g_N)$ has nonnegative curvature operator and positive Euler characteristic, and $f$ satisfies area-non-increasing and the requisite index condition, then $\scal_M = \scal_N \circ f$ and, under further curvature pinching, $f$ is a Riemannian submersion (Tony, 2024).
• Higher-mapping-degree rigidity: Beyond orientable cases, replacing the $\hat A$-degree with the higher mapping degree in $KO$-theory, the same rigidity holds: scalar curvature equality and Riemannian submersion conclusion (Tony, 2024).

For $W^{1,p}$ metrics (with $p > n$), the distributional scalar curvature condition suffices for the rigidity argument, completing Gromov’s question concerning metric-regularity and weak curvature bounds (Cecchini et al., 2022).

3. Analytic and Index-Theoretic Foundations

The core analytic technique is the construction of almost-harmonic spinor fields via the twisted Dirac operator on the source manifold, exploiting topological information encoded by the index (Cecchini et al., 2022, Tony, 2024, Riedler et al., 20 Jan 2026):

• Twisted Dirac operators: Defined on suitable bundles (including pullbacks via $f$ and twisted by the Mishchenko–Fomenko bundle for higher index conditions), the Dirac operator encodes both the geometry of $M$ and its relation to $N$.
• Bochner–Lichnerowicz–Weitzenböck formula: Relates the square of the Dirac operator to $\nabla^*\nabla + \frac14(\scal_M - \scal_N\circ f)$ plus curvature and Clifford-algebraic cross-terms.
• Spectral analysis: If the index is nonzero, there exist nontrivial (almost-)harmonic spinors; analytic estimates force the scalar curvature inequality to become an equality and, via Clifford algebra computations, constrain the derivative of $f$ to be isometric on horizontal spaces.

For low-regularity scenarios (e.g., $g\in W^{1,p}$), careful distributional definitions of scalar curvature (in the Lee–LeFloch sense) are required; the functional analytic machinery (e.g., Bartnik–Chruściel theory) ensures that the Dirac operator framework extends to such settings (Cecchini et al., 2022).

4. Structure of Scalar-Rigid Maps: Riemannian Submersions and Products

A scalar-rigid map is not merely area-non-increasing—it manifests as a Riemannian submersion. In fact, recent results sharpen this structure:

• Riemannian submersion: Under the scalar-rigid axioms, $df$ is isometric on the horizontal distribution; all singular values of $df$ are $1$, and $f$ is a Riemannian submersion (Tony, 2024, Riedler et al., 20 Jan 2026).
• Product splitting: If $(N,g_N)$ has $\mathcal{R}_N\geq 0$ and $\Ric_N > 0$, then $(M,g_M)$ is locally isometric to $(N,g_N)\times (F,g_F)$ with $(F,g_F)$ Ricci-flat, and $f$ is projection onto the first factor (Riedler et al., 20 Jan 2026).
• No nontrivial examples beyond products: No “nontrivial” scalar-rigid submersion exists beyond Riemannian products with Ricci-flat fibers; thus, area-extremal maps must factor through product projections (Riedler et al., 20 Jan 2026).

5. Higher Mapping Degree and Generalizations

The higher mapping degree provides a powerful generalization, allowing extension of scalar rigidity results to non-orientable manifolds and more general index-theoretic settings (Tony, 2024):

• Definition: For $f : M^{n+k} \to N^n$ spin and $p\in N$ a regular value, $M_p = f^{-1}(p)$ is a closed spin manifold, and the higher mapping degree is $\deg_\mathrm{hi}(f) = \operatorname{ind}_{KO}(\Dirac_{S M_p \otimes \mathcal{L}(M)|_{M_p}}) \in KO_k(C^*\pi_1M)$.
• Rigidity via higher degree: If $\chi(N)\cdot \deg_\mathrm{hi}(f)\neq 0$ in $KO$-theory, then $\scal_M = \scal_N\circ f$, and with suitable curvature pinching, $f$ is a Riemannian submersion (Tony, 2024).
• Consequences: A closed spin manifold with $\scal\geq 0$ and nontrivial Rosenberg index is Ricci-flat, as the higher index produces almost-parallel spinors forcing $\Ric_M=0$ (Tony, 2024).

6. Extensions, Impact, and Open Questions

Scalar-rigid maps encode the sharpness of the relationship between geometry, topology, and analysis in comparison geometry:

• Resolution of longstanding problems: Answers Gromov’s question regarding the preservation of scalar curvature rigidity under low regularity and weak curvature bounds (Cecchini et al., 2022).
• Llarull-type corollaries: Rigidity extends to maps onto products such as $N\times F$, with $F$ enlargeable or rationally essential, again leading to metric splitting and flat torus factors under suitable conditions (Riedler et al., 20 Jan 2026).
• Future directions and open issues:
  • Necessity of the index-theoretic hypothesis: Can one replace it with purely synthetic geometric conditions such as nonexistence of positive scalar curvature metrics on the fibers?
  • Extensions to non-spin manifolds or variable sign curvature.
  • Rigidity for different metric-dominance conditions (e.g., $k$-planes vs $2$-planes).
  • Connections to large-scale rigidity, classification of nonnegatively curved manifolds via holonomy, and coarse scalar curvature invariants (Riedler et al., 20 Jan 2026).

7. Summary Table: Scalar-Rigid Map Conditions and Consequences

Hypothesis (on $f:M\to N$)	Necessary Conditions	Rigidity Consequence
$g_M\geq f^*g_N$, $\scal_M\geq\scal_N\circ f$, $\deg\neq0$ (Llarull)	Area-non-increasing, scalar comparison, index	$f$ is isometry ($M \cong N$), scalar equality
$g_M\geq f^*g_N$, $\scal_M\geq\scal_N\circ f$, higher mapping degree	As above, higher index in $KO$	$f$ is Riemannian submersion, possibly product splitting
$g_M\geq f^*g_N$, $\scal_M\geq\scal_N\circ f$, $N$ with $\mathcal{R}_N\geq 0$, $\Ric_N>0$	As above, target curvature, positive Ricci	$M \cong N \times F$ locally, $F$ Ricci-flat, $f$ projection

These results establish that scalar curvature extremality, when encoded by the analytic framework of the spin Dirac operator and under suitable curvature and metric-dominance assumptions, determines the structure of the map and the source geometry in a rigid and explicit manner, reducing possible extremal configurations to Riemannian products with Ricci-flat fibers or (in the classical case) global isometries (Cecchini et al., 2022, Tony, 2024, Riedler et al., 20 Jan 2026).