---
title: Positive Scalar Curvature Metrics
url: https://www.emergentmind.com/topics/positive-scalar-curvature-metrics
type: topic
---

# Positive Scalar Curvature Metrics

Positive scalar curvature metrics are a central object of study in differential geometry, global analysis, and geometric topology. On a given smooth manifold, the existence, classification, and moduli of such metrics probe deep connections between geometry, topology, index theory, and even areas of mathematical physics. This article presents foundational definitions, main classification theorems, index-theoretic obstructions, detailed moduli space topology, new phenomena for manifolds with boundary and singularities, as well as group-theoretic and analytic invariants.

## 1. Definitions, Key Properties, and Classification Principles

A Riemannian metric $g$ on an $n$-dimensional manifold $M$ is said to have positive scalar curvature (psc) if the scalar curvature $R_g(p)>0$ at every point $p\in M$. For closed manifolds, the set of psc metrics $\Riem^+(M)$ is open in the Fréchet manifold of all smooth metrics, and forms an infinite-dimensional space typically with rich topology [1405.4220].

Key notions:

- **psc-isotopy:** A smooth path $g_t$ ($t\in[0,1]$) in $\Riem^+(M)$ between $g_0$ and $g_1$ [1211.4879].
- **psc-concordance:** A psc metric $\bar{g}$ on $M\times[0,1]$ restricting near the boundary to product metrics $g_0+dt^2$, $g_1+dt^2$ [1211.4879].
- **Moduli Spaces:** Quotients $\Riem^+(M)/\Diff(M)$ under diffeomorphism action, measuring equivalence classes of psc metrics, potentially with singular or boundary conditions [1405.4220, 1310.1136].
- **Bordism and Concordance Groups:** Classification up to bordism (psc metrics on all manifolds mapping to $M$ modulo psc bordism) and up to concordance (psc metrics on $M$ modulo cylinder extension), naturally linked to spin bordism and index theory [2006.15965].

For 3-manifolds with boundary, metric and mean curvature interplay critically: $H_g>0$ characterizes mean-convex boundaries; $H_g=0$ minimal boundary; full topological classification is known [1903.11772]. Contractibility and path-connectedness results for moduli spaces of psc metrics under various geometric constraints appear throughout the literature [2503.16232, 2107.11161].

## 2. Index-Theoretic Obstructions and Analytic Classification

The existence of psc metrics is fundamentally obstructed by index theory. For closed spin manifolds:

- **Lichnerowicz–Hirzebruch Obstruction:** If $M^n$ is spin and admits a psc metric, then $\AHat(M)=0$ [1405.4220].
- **Rosenberg Index:** In presence of fundamental group $\Gamma=\pi_1(M)$, the (twisted) Dirac operator index $\alpha(M)\in KO_n(C^*\Gamma)$ must vanish [1405.4220, 1108.3701].
- **Twisted K-theory Obstructions:** For manifolds with spin universal cover but not necessarily globally spin, twisted index obstructions $\theta(M)\in K_0(C^*_{\max}(\widehat\pi\to\pi))$ must vanish [1108.3701].

When these invariants are nonzero, no psc metric exists. The generalized Gromov–Lawson–Rosenberg conjecture connects spin bordism and index-theory as the "only" obstructions, though counterexamples are known.

## 3. Surgery, Concordance, and Isotopy Results

A decisive tool in constructing psc metrics on high-dimensional simply-connected manifolds is surgery theory:

- **Gromov–Lawson Surgery:** Surgeries in codimension $\ge 3$ preserve the existence of psc metrics, allowing one to reduce to handlebodies and prime factors supporting known metrics [1211.4879, 1405.4220].
- **Stolz’s Classification:** For closed simply-connected spin manifolds, $n\ge5$, $M$ admits a psc metric if and only if $\AHat(M)=0$ [1405.4220, 1910.06290].
- **Concordance vs. Isotopy:** For simply connected $M^n$ ($n\geq5$), two psc metrics are psc-concordant if and only if they are psc-isotopic up to a boundary diffeomorphism [1211.4879]. The proof involves Gromov–Lawson surgery, the Cerf–Igusa–Hatcher pseudo-isotopy theorem, conformal Laplacian deformation, and Ricci flow smoothing.

Topological classification results for psc metrics with curvature constraints on boundary (mean-convex or minimal) use doubling, smoothing of corners (Miao’s approach), and Ricci flow with surgery [1903.11772, 2012.09127].

## 4. Topology of the Space and Moduli of PSC Metrics

Recent advances reveal highly nontrivial topology of $\Riem^+(M)$ and its moduli spaces:

- **Infinite Order Homotopy Groups:** Families of psc metrics distinguished by higher index invariants provide elements of infinite order in various homotopy groups of $\Riem^+(M)$ [1212.0068, 1204.6474, 1610.09658].
- **Moduli Groups and Concordance Classes:** The abelian group $P(M)$ of concordance classes of psc metrics (Grothendieck group), and its further quotient by diffeomorphism action, are computed in terms of analytic and group-theoretic data, e.g., finite part $K$-theory of group $C^*$-algebras, index difference, and higher rho invariants [1310.1136, 2006.15965].
- **Contractibility under Symmetry:** For many manifolds with symmetry (e.g., torus manifolds with $S^1$ or $T^n$ action), spaces of invariant psc metrics are contractible [2503.16232].
- **Boundary and Singular Metrics:** Spaces of psc metrics with boundary convexity/minimality conditions are often contractible or path-connected [2107.11161, 1903.11772]. Miao's smoothing procedures and Ricci flow extend such results to manifolds with corners or skeleton singularities [1708.08211].

A summary table of moduli phenomena:

| Situation                                        | Topology of Moduli Space           | Source                       |
|--------------------------------------------------|------------------------------------|------------------------------|
| High-dim. simply-connected spin, $n\ge5$         | Infinitely many components, rich higher homotopy | [1212.0068], [1204.6474], [1610.09658] |
| Manifolds with symmetry ($S^1$,$T^n$ actions)    | Contractible                       | [2503.16232]                 |
| 3-manifolds with boundary, mean-convex/minimal   | Path-connected (sometimes contractible) | [1903.11772], [2107.11161]  |
| Boundary moduli under K-area/infinite genus      | Nontrivial higher homotopy         | [2012.09127]                 |
| Totally nonspin with spin boundary               | Nonconnected, nontrivial $\pi_1$   | [2204.11512]                 |

## 5. Nonspin and Singular Phenomena, Generalizations

Studies of psc metric spaces on nonspin manifolds with spin boundary show new rigidity and nonpropagation features:

- **Totally Nonspin Manifolds:** For oriented manifolds with nonspin universal cover and spin boundary, spaces of psc metrics may have nontrivial fundamental group and are sometimes disconnected, even when natural spin-boundary detection techniques fail [2204.11512].
- **Singular Metrics:** Singular $L^\infty$ metrics with codimension-2 edge angles $\leq2\pi$ or skeleton singularities do not alter the Yamabe invariant or support "extra" psc metrics unless classical smooth obstructions vanish; smoothing procedures confirm this rigidity [1708.08211].
- **Boundary Mean Curvature Smoothing:** Deformation principles for boundary mean curvature imply weak homotopy equivalences between spaces with $H\ge0$, $H=0$, or totally geodesic boundary conditions, provided suitable analytic boundary control [2012.09127].

## 6. Index Invariants, Group Theory, and Quantitative Lower Bounds

The structure of concordance and moduli groups of psc metrics on $M$ is often sharply bounded by analytic and group-theoretic invariants:

- **Finite Part $K$-theory:** If $\pi_1(M)$ has torsion, the rank of the moduli group $P(M)$ is bounded below by the number of distinct finite orders in $\pi_1(M)$; presence of torsion forces infinitely many components in the moduli space [1310.1136].
- **Corank of Classifying Map:** For closed spin $M$ with $\dim M\ge5$, the rank of the group of psc metrics up to bordism is bounded below by the corank of the KO-homology classifying map $KO_*(M)\to KO_*(B\pi_1(M))$, assuming the rational analytic Novikov conjecture [2006.15965].
- **Higher Rho Invariants:** Moduli phenomena are detected by secondary index invariants in localization algebras and $K$-theory [1310.1136].
- **Infinite Rank Lattices:** In favorable homological situations, these mechanisms produce moduli groups of infinite rank, even for torsion-free $\pi_1(M)$ [2006.15965].

## 7. Open Problems and Future Directions

Major areas of ongoing work include:

- Complete determination of moduli spaces $\Riem^+(M)/\Diff(M)$ for broad classes of manifolds, especially nonspin and with singularities.
- Geometric/topological realization of infinite-order classes in higher homotopy of moduli spaces, notably whether such classes survive full diffeomorphism quotient in arbitrarily high dimension [1212.0068, 1204.6474, 1610.09658].
- Torsion-free group case: detect new nontrivial psc phenomena not accounted for by finite part K-theory or classical index obstructions [2006.15965].
- Extension to singular, polyhedral, and skeleton metrics; understanding intrinsic-flat limits and analogs of Ricci flow in singular settings [1708.08211].
- Exploration of boundary effects, especially for psc metrics satisfying mean curvature or second fundamental form constraints, and the impact on the global moduli topology [2012.09127, 1903.11772].

In summary, the theory of positive scalar curvature metrics intertwines analysis, topology, and group theory via rich interactions of index invariants, surgery, boundary phenomena, and moduli topology. The subject remains active, with deep connections to high-dimensional manifold topology, foliation theory, and the foundational structure of geometric analysis.

Source: https://www.emergentmind.com/topics/positive-scalar-curvature-metrics