Positive Scalar Curvature on Aspherical Manifolds

Positive Scalar Curvature on Aspherical Manifolds

OpenAI's claim

Integral negative scalar curvature: For each $n\ge3$, the manuscript claims a dimension-only positive lower bound on the integral of $(\mathrm{Scal}^-)^{n/2}$ in terms of real simplicial volume; the bound is uniform over closed oriented manifolds and their metrics.

Pointwise scalar curvature and width: The paper claims dimension-only control of the full fibers of a continuous map from any complete scalar-positive $n$-manifold to an $(n-2)$-complex, for $n\ge4$; it also gives the stated macroscopic-dimension consequence on universal covering spaces when the closed base admits a positive-scalar-curvature metric.

Positive scalar curvature and inessentiality: OpenAI claims that positive scalar curvature forces the rational fundamental class to vanish under the classifying map, without spin or group restrictions; consequences include the aspherical obstruction, flatness rigidity at nonnegative scalar curvature, and zero real simplicial volume in the nonnegative case.

Mathematical statement of the claimed result

Mathematical claim 1.

For each integer $n\ge3$, some dimension-dependent $a_n>0$ is claimed to satisfy \[\int_M\left(\max\{0,-\operatorname{Scal}_g\}\right)^{n/2}\,dV_g\ge a_n\|M\|\] for each smooth metric $g$ on a closed smooth $n$-manifold $M$ which is oriented and connected. Here $\|M\|$ is the infimum of the sum of absolute coefficients over finite real singular cycles representing its fundamental class. Thus nonnegative scalar curvature forces $\|M\|=0$, but this implication alone does not treat all aspherical manifolds with vanishing simplicial volume.

Mathematical claim 2.

For a closed connected oriented smooth $n$-manifold, $n\ge2$, admitting a metric with $\operatorname{Scal}>0$, the classifying map $c_M:M\to B\pi_1(M)$ is claimed to satisfy \[(c_M)_*[M]=0\in H_n(B\pi_1(M);\mathbb Q).\] Its explicit aspherical corollary rules out positive scalar curvature on every closed smooth aspherical manifold, including nonorientable ones by passage to an orientable cover.

Mathematical claim 3.

For every $n\ge4$ there is $C_n<\infty$ such that a connected complete smooth boundaryless $n$-manifold with $\operatorname{Scal}_g\ge1$ has a continuous map $f:M\to K$, where $K$ is a simplicial complex with the usual polyhedral topology and $\dim K\le n-2$, with \[\sup_{y\in K}\operatorname{diam}_g f^{-1}(y)\le C_n.\] Entire fibers, rather than their individual components, are bounded. For smooth Riemannian $(M,g)$ of dimension $n\ge4$, assume $M$ is closed and connected and $\operatorname{Scal}\ge\sigma^2>0$, the corollary gives $\operatorname{FillRad}(M,g)\le C_n/(2\sigma)$. A separate stated corollary covers all closed positive-scalar-curvature dimensions $n\ge2$: the universal-cover geometry obtained by lifting that metric has continuous macroscopic dimension at most $n-2$. The filling radius uses the integral fundamental class when the manifold is orientable and its mod-two fundamental class otherwise.

Outline of the argument

Integral negative scalar curvature: The companion vanishing result forces a negative Yamabe minimizer, which is normalized to scalar curvature minus one; Hölder then reduces the desired integral estimate to a volume bound. A bounded cocycle is represented through an equivariant probability map from the cover. Weighted graph deformations increase map energy while retaining the volume budget, and a coordinate-by-coordinate degree estimate pays for the detecting cocycle, yielding the uniform comparison.

Pointwise scalar curvature and width: A separated net supplies labeled inner and outer balls in the original metric. Compatible walls and inserted cylinders are constructed while a nearby collapse map keeps track of those original positions. The final walls have no intersection of $n-1$ different labels, so their sign coordinates define an $(n-2)$-dimensional map; shared coordinates place the entire fiber in one uniformly bounded original ball.

Positive scalar curvature and inessentiality: An essential rational class is detected on an auxiliary cover at a finite word-metric scale. Compactly supported cohomology and relative duality produce a finite-dimensional comparison with a nonzero local degree. Transverse realization and scalar-curvature reduction contradict that degree; the nonnegative aspherical rigidity statement then uses splitting after the positive-curvature obstruction is established.

Formal verification

Integral negative scalar curvature: The pinned catalogue lists no Lean formalization for this result.

Pointwise scalar curvature and width: The pinned catalogue lists no Lean formalization for this result.

Positive scalar curvature and inessentiality: The pinned catalogue lists no Lean formalization for this result.

This site has not run the Lean development. These links describe OpenAI’s selected formal statements and should be read with their stated scope.

Status caveat

OpenAI reports that an internal model produced the manuscripts. Their arguments have not been independently verified as proofs by this site. Any portion outside the documented formal scope may contain mistakes, and the catalogue label reports the announced mathematical claim.

Sources

• OpenAI, An integral scalar curvature bound for real simplicial volume, 2026-10-05; citation key OAI:An-integral-scalar-curvature-bound-for-real-simplicial-volume-October-5-2026. PDF (GitHub); PDF (direct); Manuscript page and citation; Latest version; Statement source: thm:main.
• OpenAI, Positive scalar curvature forces rational inessentiality, 2026-09-23; citation key OAI:Positive-scalar-curvature-forces-rational-inessentiality-September-23-2026. PDF (GitHub); PDF (direct); Manuscript page and citation; Latest version; Statement source: thm:main; Statement source: cor:aspherical.
• OpenAI, Positive scalar curvature and uniform codimension-two width, 2026-09-23; citation key OAI:Positive-scalar-curvature-and-uniform-codimension-two-width-September-23-2026. PDF (GitHub); PDF (direct); Manuscript page and citation; Latest version; Statement source: thm:main; Statement source: cor:filling-radius; Statement source: cover:main.
• OpenAI catalogue entry.

Positive Scalar Curvature on Aspherical Manifolds

Definitions and mathematical statement

A closed manifold is compact without boundary, and asphericity means its universal cover is contractible. The scalar curvature of a Riemannian metric is the trace of its Ricci curvature. The target is \[ M\text{ closed and aspherical}\quad\Longrightarrow\quad \nexists g\text{ on }M\text{ with }\operatorname{Scal}_g(x)>0\text{ for every }x. \] Strict pointwise positivity is intended. A prohibition only on positive sectional curvature is weaker, and additional spin or fundamental-group assumptions would restrict the conjecture.

Formulation and concept references: [S1].

Short English statement

Does asphericity rule out every everywhere-positive scalar-curvature metric on a closed manifold?

Research attempt

Editorial source note.

The original source entry is retained unchanged. Its URL identifies a paper by Shuli Chen, Jianchun Chu, and Jintian Zhu, not by Simone Cecchini, Jianchun Chu, and Jintian Zhu. The corrected bibliographic entry is added below. [E1]

Current frontier.

The December 2025 version of that paper records the closed aspherical obstruction through dimension five, and proves stronger connected-sum and noncompact-domination results in dimensions three, four, and five. It explicitly distinguishes these from the general higher-dimensional problem. Its introduction also explains why asphericity alone need not supply the homology classes used in elementary dimension descent. [E1], introduction and Theorems 1.2 and 1.8. The spinorial curvature obstruction used below is standard; Listing's formulation makes the operator-norm dependence of the twisted Bochner formula explicit. [E2]

Attack routes.

The index route needs a nonzero index that survives twisting by bundles of arbitrarily small curvature. Contractibility of the universal cover does not directly construct those bundles. The minimal-hypersurface route needs essential smooth hypersurfaces and an inductively preserved topological obstruction. A counterexample route would construct a positive-scalar-curvature metric without accidentally losing asphericity through surgery. We pursue the first two estimates and then identify the topology that neither estimate provides. Spin is an additional hypothesis of one route, not of the original problem.

Attempt I: the exact analytic input for a spin obstruction.

Let $M^n$, $n\geq2$, be closed, spin, and even-dimensional, with a hypothetical metric $g$ of scalar curvature at least $\kappa>0$. The positive constant exists because $M$ is compact and the curvature is strictly positive. For a Hermitian bundle $E$ with unitary connection, the twisted spin Dirac operator satisfies \begin{equation}\label{wsref-0-33-30-30-30-35-38-37-30-3a-64-69-72-61-63} D_E^2=\nabla^*\nabla+\frac{R_g}{4}+\mathcal R_E, \qquad \mathcal R_E=\sum_{i<j}c(e_i)c(e_j)F_E(e_i,e_j). \end{equation} Here $c$ is Clifford multiplication and $F_E$ is curvature. This is the twisted Bochner--Lichnerowicz identity used in [E2], Sections 2 and 3.3. Define $\|F_E\|$ by the supremum of the operator norm on orthonormal pairs of tangent vectors. Since unit Clifford multiplications have norm one, \[ \|\mathcal R_E\|\leq\binom n2\|F_E\|. \] In particular this bound does not acquire an extra factor equal to $\operatorname{rank}E$.

If $\|F_E\|<\kappa/(8\binom n2)$, integration of (30005870:dirac) for a smooth spinor $s$ gives \[ \|D_Es\|_2^2\geq\|\nabla s\|_2^2+\frac\kappa8\|s\|_2^2. \] Both chiral kernels vanish, hence $\operatorname{index}D_E^+=0$. Therefore the following extra geometric condition rules out $g$: \begin{equation}\label{wsref-0-33-30-30-30-35-38-37-30-3a-62-75-6e-64-6c-65} \text{for every $\eta>0$ there is $E$ with } \|F_E\|<\eta\text{ and }\operatorname{index}D_E^+\ne0. \end{equation} This implication is completely proved. The issue is whether the appropriate topological construction supplies (30005870:bundle) for the manifold under consideration; the implication does not prove its hypothesis. Nontriviality of $E$ alone is not enough, since it need not pair nontrivially with the Dirac index.

For an odd-dimensional spin manifold, the same conditional obstruction can be applied to $M\times S^1$: a product with a flat circle preserves strictly positive scalar curvature and gives even dimension. It still requires the corresponding nonzero twisted indices on the product. For a nonspin manifold, passing to the contractible universal cover makes that cover spin but noncompact. The closed Fredholm-index argument just given then does not apply. Existence of a finite spin cover has not been assumed or proved. An orientable double cover does not in general remove the spin obstruction.

Attempt II: what stable minimal hypersurfaces do provide.

Suppose $\Sigma^m\subset M^{m+1}$ is a closed smooth two-sided stable minimal hypersurface, and $R_M\geq\kappa>0$. Stability and the Gauss identity give, for every smooth real $\phi$ on $\Sigma$, \[ \int_\Sigma|\nabla\phi|^2\geq \int_\Sigma(\operatorname{Ric}_M(\nu,\nu)+|II|^2)\phi^2, \quad R_\Sigma=R_M-2\operatorname{Ric}_M(\nu,\nu)-|II|^2. \] Eliminating the normal Ricci term yields the useful lower bound \begin{equation}\label{wsref-0-33-30-30-30-35-38-37-30-3a-73-74-61-62-6c-65} \int_\Sigma\left(2|\nabla\phi|^2+R_\Sigma\phi^2\right) \geq\int_\Sigma(R_M+|II|^2)\phi^2 \geq\kappa\int_\Sigma\phi^2. \end{equation} This reconstructs the scalar-curvature part of the dimension-descent mechanism underlying the source's geometric discussion. [E1], Sections 1.1 and 2.6.

For $m\geq3$, the conformal Laplacian has gradient coefficient $a_m=4(m-1)/(m-2)>2$. Its first eigenvalue is positive by (30005870:stable), and its first eigenfunction $u$ can be chosen strictly positive. The scalar curvature of the conformally changed metric $u^{4/(m-2)}g_\Sigma$ is \[ u^{-(m+2)/(m-2)}(-a_m\Delta_\Sigma u+R_\Sigma u)>0. \] For an orientable surface $m=2$, using $\phi=1$ in (30005870:stable) gives $\int R_\Sigma>0$, hence positive Euler characteristic by Gauss--Bonnet. A connected such surface is a sphere. Thus a smooth stable hypersurface inherits a precise positive-scalar- curvature conclusion, with no unproved sign in the second variation.

The desired induction would now need this $\Sigma$ to carry an obstruction contradicting its positive curvature, for example to be aspherical. That conclusion is absent. An embedded hypersurface of an aspherical manifold need not be aspherical: the boundary of a small coordinate ball is a sphere. This example does not claim that the sphere is stable minimal in a hypothetical positive-scalar-curvature metric; it refutes the purely topological inheritance assertion that an attempted induction would otherwise use. Essentiality, existence, and stability must all be supplied together.

Even constructing essential hypersurfaces by dualizing first cohomology cannot cover all aspherical manifolds. The formulation source notes aspherical homology-sphere examples in dimension four. A strategy requiring nonzero first Betti number has already restricted the target. In higher dimensions a minimizing hypersurface may also have a singular set; the smooth conformal argument cannot simply be iterated through that set without a separate theorem. [E1], introduction.

A counterexample-oriented check.

Attaching handles or taking connected sums is a familiar way to alter a metric while retaining positive scalar curvature under suitable surgery hypotheses. It is not a way to preserve asphericity for free. For example, the connected sum with $S^2\times S^{n-2}$, in dimensions where this factor is simply connected, introduces an explicit higher-homotopy obstruction detectable in the universal cover. No surgery construction is presented here with a verified contractible universal cover and an everywhere-positive scalar-curvature metric. Thus these metric modifications do not furnish a counterexample to the catalogue's exact class.

Stress test.

The index estimate uses curvature in operator norm, not a trace bound that could deteriorate as the twisting rank grows. The inequality is applied on a closed manifold, where the ordinary chiral index is defined; it is not extended to a noncompact cover without Fredholm hypotheses. The minimal-hypersurface estimate assumes smoothness, two-sidedness, and stability explicitly, and establishes scalar, not sectional, curvature. Neither spin nor an abundance of degree-one cohomology has been added to the universal statement.

The companion symbolic checks verify the elimination of the Ricci term and the inequalities between the conformal-Laplacian coefficients. They test algebraic signs only; they do not construct missing bundles, essential hypersurfaces, or singularity-removal arguments.

Outcome.

Outcome: Exploratory approach with unresolved gap.

Both analytic mechanisms have been pushed to precise sufficient hypotheses. Small-curvature nonzero-index twists give a contradiction in the indicated spin setting, and smooth stable hypersurfaces inherit positive scalar curvature in the stated sense. The general aspherical topology has not been shown to supply the objects required by either mechanism, and the nonspin and high-dimensional difficulties remain. No extension of the established dimension range or new counterexample is claimed.

Sources

• S1 Simone Cecchini, Jianchun Chu, and Jintian Zhu, Positive scalar curvature metrics and aspherical summands, arXiv:2312.04698v3 $2025$, introduction. https://arxiv.org/html/2312.04698. Catalogue formulation source.
• E1 Shuli Chen, Jianchun Chu, and Jintian Zhu. Positive scalar curvature metrics and aspherical summands, arXiv:2312.04698v3, 18 December 2025. Introduction, Theorems 1.2 and 1.8, and the geometric preliminaries. Corrects the first author in the retained catalogue reference. https://arxiv.org/html/2312.04698v3. Consulted 27 September 2026 for the indicated result or scope.
• E2 Mario Listing. Scalar curvature and vector bundles, arXiv:1202.4325v1, 20 February 2012. Sections 2 and 3.3, including the twisted Dirac curvature term and its operator-norm estimate. https://arxiv.org/html/1202.4325v1. Consulted 27 September 2026 for the indicated result or scope.