Cohomology for linearized Ricci curvature

Roee Leder

arxiv: 2510.12797 · v5 · submitted 2025-10-14 · 🧮 math.DG · math.AP

Cohomology for linearized Ricci curvature

Roee Leder This is my paper

Pith reviewed 2026-05-18 07:12 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords linearized Ricci curvaturecohomologyHodge theorypseudodifferential operatorsRiemannian manifold with boundaryvanishing theoremsBochner technique

0 comments

The pith

Solvability and uniqueness conditions for linearized Ricci curvature on any compact Riemannian manifold with boundary are given by the cohomology of a cochain complex from pseudodifferential Hodge theory.

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

The paper establishes solvability and uniqueness conditions for the linearized Ricci curvature equations on any compact Riemannian manifold with boundary. These conditions are expressed in terms of the cohomology groups of a canonical cochain complex. The complex is built using a generalized Hodge theory that relies on pseudodifferential methods and can incorporate tensorial error terms from metric-dependent sources or connections. This approach avoids restricting to Einstein background metrics and uses Bochner techniques to prove vanishing theorems for the cohomology under assumptions on the boundary and the error term.

Core claim

We establish solvability and uniqueness conditions for the linearized problem on any compact Riemannian manifold with boundary. These conditions are formulated in terms of the cohomology of a canonical cochain complex, constructed by means of a generalized Hodge theory based on pseudodifferential methods. An important element of the theory is that it allows the incorporation of tensorial error terms, arising from linearized metric-dependent sources or from connections on the manifold of metrics. Using Bochner technique, we prove vanishing theorems for the cohomology under geometric assumptions on the boundary and error term, without imposing further interior restrictions.

What carries the argument

A canonical cochain complex for the linearized Ricci operator, constructed via generalized Hodge theory using pseudodifferential operators, which handles tensorial error terms.

If this is right

The linearized Ricci equations admit solutions precisely when certain cohomology classes vanish.
Unique solvability follows when the relevant cohomology groups are trivial.
Vanishing of the cohomology holds under geometric assumptions on the boundary and error term, without interior restrictions.
The framework applies directly to operators that include connections on the space of metrics.

Where Pith is reading between the lines

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

Similar cohomology constructions could apply to the linearization of Ricci flow on manifolds with boundary.
The pseudodifferential approach might extend to other linear curvature operators such as the Einstein tensor.
Explicit computations of these cohomology groups on model spaces like the sphere or ball could test the vanishing results.

Load-bearing premise

The generalized Hodge theory based on pseudodifferential methods extends to the linearized Ricci operator including tensorial error terms on an arbitrary compact Riemannian manifold with boundary.

What would settle it

A concrete counterexample on a specific compact manifold with boundary where the dimension of the kernel or cokernel of the linearized Ricci operator fails to match the predicted cohomology groups would falsify the solvability and uniqueness claims.

read the original abstract

The Ricci curvature equations are a central subject of study in geometry. However, in the smooth real case, their linear analysis is often confined to settings in which the background metric is Einstein. In this paper, we establish solvability and uniqueness conditions for the linearized problem on any compact Riemannian manifold with boundary. These conditions are formulated in terms of the cohomology of a canonical cochain complex, constructed by means of a generalized Hodge theory based on pseudodifferential methods. An important element of the theory is that it allows the incorporation of tensorial error terms, arising from linearized metric-dependent sources or from connections on the manifold of metrics. Using Bochner technique, we prove vanishing theorems for the cohomology under geometric assumptions on the boundary and error term, without imposing further interior restrictions.

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

This paper sets up a cohomology for the linearized Ricci operator on manifolds with boundary that handles extra tensorial errors without needing an Einstein background, but the pseudodifferential ellipticity after those errors is the part that needs close checking.

read the letter

The main takeaway is that this work builds a canonical cochain complex for the linearized Ricci curvature on any compact Riemannian manifold with boundary. The complex comes from a generalized Hodge theory using pseudodifferential operators and is designed to incorporate tensorial error terms that arise from metric-dependent sources or connections. Solvability and uniqueness for the linearized problem are then read off from the cohomology of this complex, and vanishing theorems follow from the Bochner technique under boundary and error-term assumptions, with no further interior restrictions required. That is the actual advance over earlier work that stayed inside the Einstein setting. The construction looks reasonable on paper because it applies standard analytic tools to a new operator rather than inventing new machinery from scratch. If the estimates close, it gives a clean way to handle boundary-value problems in deformation theory. The soft spot is that the abstract does not display the explicit symbol calculations or the boundary ellipticity conditions once the lower-order error terms are added. Those terms can change the operator in ways that are not automatically controlled by the principal symbol, so it is not obvious that a pseudodifferential parametrix still exists. The Bochner vanishing is applied after the complex is built, which is fine in principle, but the load-bearing step is whether the complex itself is well-defined and elliptic on the boundary. Without seeing those details, the central claim remains plausible but unverified. This is for people working on linearizations of geometric PDEs or boundary problems in Riemannian geometry who already know pseudodifferential methods and Hodge theory. A reader who wants a framework that drops the Einstein assumption will find the setup useful. The paper deserves a serious referee to check the symbol-level work and the boundary conditions; the idea is worth the time even if revisions are needed.

Referee Report

1 major / 0 minor

Summary. The paper claims to establish solvability and uniqueness conditions for the linearized Ricci curvature problem on any compact Riemannian manifold with boundary. These conditions are expressed via the cohomology of a canonical cochain complex built using generalized Hodge theory with pseudodifferential methods. The framework incorporates tensorial error terms from linearized metric-dependent sources or connections. Vanishing theorems are proved using the Bochner technique under geometric assumptions on the boundary and error term, without further interior restrictions.

Significance. Should the constructions hold, the result would be significant for extending the linear analysis of Ricci equations to general metrics on manifolds with boundary. It provides a cohomological parametrization of solvability that accounts for error terms, potentially useful in geometric deformation theory and analysis on manifolds with boundary. The vanishing theorems give explicit conditions for when the cohomology vanishes.

major comments (1)

The central claim depends on the generalized Hodge theory remaining valid for the linearized Ricci operator with added tensorial error terms. The skeptic's concern about the principal symbol not remaining elliptic is load-bearing; a specific computation showing that the error terms do not affect the ellipticity of the principal symbol (perhaps in the section detailing the pseudodifferential parametrix) would be required to confirm that the cohomology indeed controls the solvability and uniqueness.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need to explicitly verify ellipticity in the presence of error terms. We address the major comment below.

read point-by-point responses

Referee: The central claim depends on the generalized Hodge theory remaining valid for the linearized Ricci operator with added tensorial error terms. The skeptic's concern about the principal symbol not remaining elliptic is load-bearing; a specific computation showing that the error terms do not affect the ellipticity of the principal symbol (perhaps in the section detailing the pseudodifferential parametrix) would be required to confirm that the cohomology indeed controls the solvability and uniqueness.

Authors: We agree that an explicit verification strengthens the argument. The tensorial error terms arise from linearizations of metric-dependent sources or connections and contribute only lower-order (at most order 1) perturbations to the operator. The principal symbol is therefore determined solely by the second-order part of the linearized Ricci curvature operator, which coincides with the standard elliptic symbol of the Lichnerowicz Laplacian on symmetric 2-tensors (augmented by the gauge-fixing terms in the complex). We will insert a direct computation of this principal symbol in the pseudodifferential parametrix section to confirm that the error terms leave it unchanged. This addition will make the applicability of the generalized Hodge theory fully transparent while leaving the main results unaltered. revision: yes

Circularity Check

0 steps flagged

No circularity: standard analytic construction applied to linearized operator

full rationale

The paper defines a cochain complex via generalized Hodge theory using pseudodifferential operators on the linearized Ricci operator (with added tensorial error terms), then invokes the Bochner technique for vanishing results under explicit boundary and error assumptions. No step reduces the cohomology or solvability claims to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation; the construction draws on external pseudodifferential and Bochner methods whose validity is independent of the target linearized Ricci cohomology. The derivation therefore remains self-contained against standard analytic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on extending classical Hodge theory to a new operator via pseudodifferential methods and on geometric boundary assumptions for vanishing; no free parameters or invented physical entities are mentioned.

axioms (2)

domain assumption Generalized Hodge theory based on pseudodifferential methods applies to the linearized Ricci operator on compact manifolds with boundary.
Invoked to construct the canonical cochain complex whose cohomology gives solvability conditions.
domain assumption Bochner technique yields vanishing of the cohomology under geometric assumptions on the boundary and error term.
Used to prove vanishing theorems without interior restrictions.

invented entities (1)

Canonical cochain complex for linearized Ricci curvature no independent evidence
purpose: To encode solvability and uniqueness via its cohomology groups while incorporating tensorial error terms
Newly constructed object whose cohomology is the main object of study.

pith-pipeline@v0.9.0 · 5642 in / 1514 out tokens · 38354 ms · 2026-05-18T07:12:28.483763+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 echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

These conditions are formulated in terms of the cohomology of a canonical cochain complex, constructed by means of a generalized Hodge theory based on pseudodifferential methods... allows the incorporation of tensorial error terms
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Theorem 1... admits a unique solutionσ if and only if δgT=0 and T|∂M=0

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.