How negative scalar curvature pays for topological complexity

← All digests

Family 335 · Differential geometry
Importance 5/5 · Provisional editorial rating
Sources consulted 2026-10-26

1. The question

A metric describes the local shape of a manifold; topology describes features that survive continuous deformation. How strongly can a coarse local curvature measurement constrain global topology?

Scalar curvature is the most averaged of the standard curvature quantities. It combines curvature in all tangent two-dimensional directions into one number at each point. Positive contributions can compensate for negative ones, so a scalar lower bound contains much less information than a lower bound in every direction.

Family 335 claims two powerful connections. One manuscript states that a manifold’s simplicial volume, a topological measure of the cost of representing its fundamental class, is bounded by the integrated negative part of scalar curvature. The other states that strictly positive scalar curvature forces the fundamental class to disappear when mapped to the topology of the fundamental group.

The second claim implies the Gromov–Lawson obstruction for closed aspherical manifolds and supplies a vanishing theorem used by the first manuscript. The family therefore has a qualitative foundation and a further quantitative assertion, rather than two independent formulations of exactly the same result.

2. Background and essential definitions

A smooth $n$-manifold is locally modeled on $\mathbb R^n$. A Riemannian metric $g$ supplies lengths, angles, and a volume element $dV_g$. Here “closed” means compact without boundary, and an orientation makes signed top-dimensional volume and a fundamental class available.

At a point, sectional curvature measures curvature in a chosen tangent two-plane. Ricci curvature sums suitable sectional curvatures while retaining a direction. Scalar curvature $\mathrm{Scal}_g$ takes a further trace, producing a single function. In dimension two it is twice Gaussian curvature; in higher dimensions its averaging leaves substantially more freedom.

Write the negative part as

$$\mathrm{Scal}_g^- =\max\{0,-\mathrm{Scal}_g\}.$$

This is zero where scalar curvature is nonnegative and records its magnitude where it is negative.

To define simplicial volume, represent the manifold’s real fundamental class by a finite singular cycle

$$c=\sum_j a_j\sigma_j.$$

Each $\sigma_j$ is a continuous map of an abstract $n$-simplex into the manifold, and the real coefficients $a_j$ are chosen so that boundaries cancel and the cycle represents the manifold once, with orientation. The real simplicial volume is

$$\|M\|=\inf_c\sum_j|a_j|.$$

This is not simply the minimum number of simplices in a triangulation. Arbitrary singular simplices and real coefficients are allowed, and the infimum may be zero even for topologically complicated manifolds.

The fundamental group $\Gamma=\pi_1(M)$ records loops up to deformation. Its classifying space $B\Gamma$ has fundamental group $\Gamma$ and contractible universal cover. A classifying map $c_M:M\to B\Gamma$ records the universal-cover data of $M$. The manifold is rationally essential if

$$(c_M)_*[M]\ne0\quad\text{in }H_n(B\Gamma;\mathbb Q).$$

In words, its fundamental class remains detectable in rational homology after retaining the topology associated with its fundamental group. Otherwise it is rationally inessential.

A manifold is aspherical when its universal cover is contractible. For a closed oriented aspherical manifold, the classifying map preserves the fundamental class nontrivially. Tori are familiar examples, but aspherical manifolds form a much broader class.

3. Development history and previous partial results

Gromov introduced simplicial volume and connected it to bounded cohomology, a theory of topological measurements whose values on singular simplices stay uniformly bounded. Classical comparisons bound simplicial volume using Riemannian volume under lower Ricci-curvature assumptions.

In 1986 Gromov proposed the integral scalar-curvature inequality addressed by M1. Moving from Ricci curvature to its scalar trace is a major weakening of the hypothesis. The conjecture asks whether this much less directional information still controls the same topological invariant.

Two traditions shaped positive-scalar-curvature obstructions. Schoen and Yau used stable minimal hypersurfaces and conformal changes to pass information to lower dimensions. Their original methods faced the regularity threshold for minimizing hypersurfaces in high dimensions. Gromov and Lawson used Dirac operators and index theory, obtaining dimension-independent obstructions under geometric and spin assumptions. A spin structure is additional topological data enabling the relevant spinor-operator constructions; it is not available on every manifold.

More recent work broadened both approaches. Chodosh and Li proved the closed aspherical obstruction in dimensions four and five using generalized soap bubbles. Other results remove spin assumptions for particular classes characterized by maps of nonzero degree or geometric largeness. The general rational-essentiality statement is stronger than simply assuming one of those largeness properties.

For simplicial volume, Ma, Wang, Xie, Yu, and Zhu’s cited version proves nonnegative-scalar-curvature vanishing when the universal cover is spin. Braun and Sauer obtained a macroscopic comparison involving a uniform bound on volumes of unit balls in the universal cover. Min, Zheng, and Zhu established the integral conjecture for all metrics on closed Kähler surfaces and treated additional symplectic examples. These are substantial positive cases, with hypotheses absent from M1’s general claim.

M2, dated September 23, states the qualitative topological results. M1, in its October 5 edition, explicitly uses M2’s nonnegative-scalar-curvature vanishing theorem and adds the uniform integral estimate.

4. What the new manuscripts claim

The quantitative integral estimate

M1 states that for every integer $n\geq3$, there is a constant $a_n>0$, depending only on dimension, such that every closed connected oriented smooth $n$-manifold and every smooth metric satisfy

$$\int_M(\mathrm{Scal}_g^-)^{n/2}\,dV_g \geq a_n\|M\|.$$

The same constant works across all topologies and metrics in that dimension. Negative curvature may be concentrated in a small region; the integral records both its magnitude and its concentration.

The exponent is forced by scaling. Replacing $g$ by $\lambda^2g$ multiplies scalar curvature by $\lambda^{-2}$ and volume by $\lambda^n$, so the integral remains unchanged. Its scale invariance matches that of the topological quantity on the right.

For example, if $\mathrm{Scal}_g\geq-\kappa^2$, then

$$\|M\|\leq a_n^{-1}\kappa^n\operatorname{Vol}_g(M).$$

Thus a scalar lower bound and positive simplicial volume prevent the total volume from becoming arbitrarily small at the fixed curvature scale. M1 does not claim an optimal value of $a_n$.

Rational inessentiality and aspherical rigidity

M2 states that a closed connected oriented smooth manifold of dimension $n\geq2$ admitting strictly positive scalar curvature is rationally inessential:

$$(c_M)_*[M]=0\quad\text{in }H_n(B\pi_1(M);\mathbb Q).$$

There is no spin assumption, no upper dimension bound, and no restriction on the fundamental group. The group may have torsion, and its classifying space need not admit a finite-dimensional model.

M2 derives that no closed smooth aspherical manifold admits strictly positive scalar curvature. It further claims that every nonnegative-scalar-curvature metric on a closed aspherical manifold is flat, meaning that its full curvature tensor vanishes. These conclusions include nonorientable manifolds through the orientation double cover.

For closed connected oriented manifolds of the same dimension, a nonzero-degree map to an aspherical target also obstructs strictly positive scalar curvature on the source. Degree is the signed number of times the map covers the target at the level of fundamental classes. No injectivity or surjectivity requirement on the induced fundamental-group map is imposed.

Finally, M2 states that every closed oriented smooth manifold of positive dimension with nonnegative scalar curvature has zero real simplicial volume. This is the precise companion input used by M1.

5. Why the advance matters

Importance: 5/5. The family claims resolutions of central scalar-curvature conjectures, linking an averaged local quantity to topology in every dimension and without spin assumptions.

The integral estimate is stronger than a prohibition of everywhere nonnegative scalar curvature on a manifold with positive simplicial volume. It requires a definite total amount of negative curvature, measured at the scale-invariant exponent. Geometry cannot evade the bound simply by squeezing all the negative contribution into a smaller region.

Rational inessentiality detects more than simplicial volume alone. A positive-dimensional torus has zero simplicial volume but remains rationally essential. M2’s strict-positive-curvature obstruction therefore applies even when the quantitative right-hand side in M1 is zero.

The torus also explains why strict positivity cannot be replaced by nonnegativity in the rational-inessentiality theorem: a flat torus has nonnegative scalar curvature and a nonzero classifying image. The separate nonnegative conclusion is simplicial-volume vanishing, with flatness available under the additional aspherical hypothesis.

6. The main idea

Detect topology, then shorten comparison maps

M2 assumes that a rational fundamental class survives and uses a cohomology class to detect it. This produces a nonzero pairing: a topological quantity that cannot be removed by a small controlled deformation.

Rational essentiality does not automatically give arbitrarily contracting maps from covers to spheres. The manuscript therefore introduces an auxiliary parameter manifold and converts the cohomology pairing into a nonzero local degree. Distance profiles provide finitely many comparison coordinates on a suitable cover.

A graph deformation enlarges the metric in a selected direction, making the corresponding coordinate vary more slowly when measured in the new metric. A reciprocal warped circle supplies favorable terms in the scalar-curvature calculation. Repeating this for all comparison coordinates could be prohibitively expensive if each coordinate incurred an independent worst-case cost.

M2 instead tracks how the inverse metric decreases. These decreases telescope within the original $n$-dimensional tangent geometry, so the cost depends only logarithmically on the number of comparison coordinates. Successive finite passes shorten the map while keeping accumulated scalar-curvature loss small and preserving its nonzero degree.

The terminal input is a local torical obstruction of Cecchini and Schick. The manuscript arranges the scalar and differential bounds where that theorem requires them. A crucial point is that its resulting threshold does not deteriorate with the number of added circle factors. This allows a sufficiently long but finite shortening procedure to yield the claimed contradiction.

Turn qualitative vanishing into a quantitative bound

M1 first changes the metric conformally, meaning by a positive scalar factor that may vary with position. If simplicial volume is positive, M2 rules out a nonnegative-scalar-curvature representative. The Yamabe minimizer in the conformal class can therefore be normalized to scalar curvature minus one.

The Yamabe problem supplies a constant-scalar-curvature representative minimizing an appropriate normalized curvature functional. Combined with Hölder’s inequality, this reduces the desired integral estimate to bounding simplicial volume by the volume of a metric with scalar curvature minus one.

Bounded cohomology now provides a bounded detector whose pairing is comparable to simplicial volume. M1 represents it using probability-valued maps from the universal cover. It deforms these maps and the metric together, keeping a weighted density controlled while gaining energy that pays for derivatives of comparison coordinates.

A second construction estimates degrees through families of hypersurfaces minimizing perimeter minus a forcing term, often called $\mu$-bubbles. Their normal speeds enter both the scalar-curvature identity and the formula for integrating over level sets. The manuscript uses this interaction to control the total cost through a dimension-reducing procedure, including a treatment of singular regions in high dimensions.

Finally, it converts the bounded cocycle into controlled comparison cycles with integer multiplicities by rounding and resolving them in an averaged construction. The choices are organized so that gains from added comparison directions cancel their volume costs. The remaining estimate depends on the original dimension, producing the claimed universal constant rather than a constant tied to the particular topology or auxiliary construction.

7. Scope, limitations, and open questions

M1 concerns real simplicial volume, not integral simplicial volume or a count of simplices in a fixed triangulation. Its theorem is stated for closed connected oriented manifolds of dimension at least three. It does not assert an analogous bound for arbitrary noncompact spaces or manifolds with boundary without additional conditions.

The quantitative theorem depends on the qualitative vanishing result in M2. The two statements are presented together here, but that dependency remains part of their mathematical scope.

Strict positivity, nonnegativity, and flatness have different roles. Rational inessentiality is asserted under strict positive scalar curvature. General nonnegative scalar curvature gives zero simplicial volume; it does not make every such manifold rationally inessential or every such metric flat. Flatness is the additional aspherical conclusion.

The dimension-dependent constant is existential and is not presented as sharp. Optimal constants, equality cases for the integral inequality, and effective geometric bounds remain separate questions. Both manuscripts’ claims and cited inputs are reported without independent proof verification.

8. Sources and further reading

• Chodosh and Li, Generalized soap bubbles and the topology of manifolds with positive scalar curvature.
• Ma, Wang, Xie, Yu, and Zhu, the spin-universal-cover vanishing result, version 4.
• Min, Zheng, and Zhu, Simplicial volume and scalar curvature on closed Kähler surfaces.
• Optional background: simplicial volume and aspherical spaces.

Source manuscripts

• M1. OpenAI, An integral scalar curvature bound for real simplicial volume (October 5, 2026).
• M2. OpenAI, Positive scalar curvature forces rational inessentiality (September 23, 2026).

Sources consulted on 26 October 2026 at repository revision 1581d4c. Download the manuscript citations.