Remark about scalar curvature on certain noncompact manifolds

John Lott

arxiv: 2601.02726 · v4 · submitted 2026-01-06 · 🧮 math.DG

Remark about scalar curvature on certain noncompact manifolds

John Lott This is my paper

Pith reviewed 2026-05-16 17:26 UTC · model grok-4.3

classification 🧮 math.DG MSC 53C21

keywords scalar curvaturehandlebodyRiemannian metricnonnegative curvaturenoncompact manifoldpositive scalar curvaturedifferential geometry

0 comments

The pith

Certain handlebody interiors admit no complete metrics with nonnegative scalar curvature.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives a sufficient condition under which the interior of a handlebody carries no complete Riemannian metric of nonnegative scalar curvature. This matters for a sympathetic reader because scalar curvature is a local quantity yet here topology imposes global obstructions on noncompact manifolds whose geometry is not fully classified. The work also constructs, in higher dimensions, examples of manifold ends that do admit metrics of positive scalar curvature. Together these results separate cases where curvature is forbidden from cases where it is possible.

Core claim

A sufficient condition is supplied that rules out complete Riemannian metrics with nonnegative scalar curvature on the interiors of handlebodies. In higher dimensions, explicit examples are given of ends of manifolds that admit positive scalar curvature metrics.

What carries the argument

The sufficient condition on the handlebody that obstructs nonnegative scalar curvature on its interior.

If this is right

Handlebodies obeying the condition cannot carry complete metrics of nonnegative scalar curvature.
Higher-dimensional manifold ends can be constructed to support positive scalar curvature.
The result separates topological regimes in which nonnegative scalar curvature is possible from those in which it is not.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The condition may be checkable via fundamental-group or homology data of the handlebody.
Analogous obstructions could apply to other families of noncompact manifolds beyond handlebodies.
The examples suggest that positive scalar curvature becomes easier to realize once dimension increases.

Load-bearing premise

The manifold is the interior of a handlebody that satisfies the paper's sufficient condition.

What would settle it

Exhibiting a complete Riemannian metric with nonnegative scalar curvature on the interior of a handlebody meeting the sufficient condition would refute the obstruction.

read the original abstract

We give a sufficient condition to rule out complete Riemannian metrics with nonnegative scalar curvature on the interiors of handlebodies. In higher dimensions, we give examples of ends of manifolds with positive scalar curvature metrics.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Lott gives a sufficient condition blocking complete nonnegative scalar curvature metrics on handlebody interiors, plus concrete higher-dimensional end examples.

read the letter

Lott's short note states a sufficient condition that rules out complete metrics with Scal ≥ 0 on the interiors of handlebodies. In higher dimensions it also constructs explicit ends that admit positive scalar curvature metrics. The work applies standard obstruction techniques—likely minimal surfaces or harmonic functions leading to a mass-type argument—to these noncompact settings without new machinery. That keeps the argument direct and grounded in existing geometric analysis. The higher-dimensional examples are presented as direct constructions, which is useful for reference. The main soft spot is that the precise statement of the sufficient condition is only sketched at the abstract level, so its topological or geometric content needs the full text to evaluate how restrictive it really is. No circularity or unsupported analytic steps show up in the available description, and the claims stay within the range of standard tools. This is a remark-style paper aimed at people already working on scalar curvature obstructions for noncompact manifolds. Specialists in positive scalar curvature or manifold ends will get concrete examples and a usable condition to cite or build on. It is worth sending to peer review; the claims are specific enough that a referee can check them in a few pages, and the author’s track record suggests the details will be handled carefully.

Referee Report

0 major / 4 minor

Summary. The manuscript gives a sufficient (topological) condition on a handlebody whose interior admits no complete Riemannian metric with nonnegative scalar curvature. It also constructs, in dimensions greater than or equal to 4, examples of noncompact ends that do admit complete metrics of positive scalar curvature.

Significance. If the stated condition is verifiable from the topology of the handlebody and the argument applies standard tools of geometric analysis (e.g., minimal surfaces or harmonic functions leading to a mass-type obstruction) without hidden assumptions, the result supplies a concrete obstruction for a natural class of open 3-manifolds and supplies explicit PSC examples in higher dimensions. These are modest but useful additions to the literature on scalar-curvature constraints for noncompact manifolds.

minor comments (4)

[Abstract] The abstract announces a “sufficient condition” but does not state it; readers must reach the body of the paper to learn what the condition actually is. Adding a one-sentence formulation of the condition to the abstract would improve accessibility.
[§3] The proof of the main obstruction result is only sketched; the precise decay or asymptotic-flatness hypothesis needed to invoke the positive-mass theorem (or its analogue) is not written out. A short paragraph making this step explicit would strengthen the argument.
[§4] The higher-dimensional examples are presented as “direct constructions,” yet no explicit metric or coordinate chart is supplied. A brief formula or reference to a standard model (e.g., a warped product) would make the claim immediately checkable.
[§2] Notation for the handlebody and its interior is introduced without a preliminary diagram or standard reference; a sentence recalling the definition of a handlebody would help readers outside low-dimensional topology.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments appear in the report, so we have identified no changes required to the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a sufficient topological/geometric condition on handlebody interiors that rules out complete metrics with Scal ≥ 0, using standard tools (minimal surfaces, harmonic functions, mass-type obstructions) that do not reduce to self-definitional equations, fitted inputs presented as predictions, or load-bearing self-citations. Examples in higher dimensions are direct constructions. The central claim remains independent of its own inputs and is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard axioms of Riemannian geometry and the definition of scalar curvature; no free parameters, new entities, or ad-hoc assumptions are indicated in the abstract.

axioms (1)

standard math Standard definitions and properties of Riemannian metrics and scalar curvature on smooth manifolds.
Invoked implicitly when discussing complete metrics with nonnegative scalar curvature.

pith-pipeline@v0.9.0 · 5300 in / 1071 out tokens · 31474 ms · 2026-05-16T17:26:21.544983+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1: liminf r^{-2}A(r) < 12/π implies genus ≤1 for handlebody interiors with Scal≥0 outside compact set

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.