{"id":"3c8851b0-a90c-4f17-bc01-8300a7118e97","arxiv_id":"2510.12797","paper_version":5,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Solvability and uniqueness for the linearized Ricci curvature equation on compact manifolds with boundary are controlled by the cohomology of a new canonical cochain complex built via pseudodifferential Hodge theory.","lead":"The paper constructs a cohomology theory for the linearized Ricci curvature operator on any compact Riemannian manifold with boundary, using a generalized Hodge theory with pseudodifferential operators to give solvability and uniqueness conditions that incorporate tensorial error terms. This could enable analysis of metric deformations in broader geometric settings beyond Einstein backgrounds.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Pseudodifferential Hodge construction may not remain elliptic for linearized Ricci plus arbitrary tensorial error terms on manifolds with boundary","rationale":"The reader's weakest assumption directly identifies the extension of the pseudodifferential Hodge theory to the perturbed operator. This is the precise point where the argument is least secure, because the claim of 'no further interior restrictions' hinges on the construction surviving the addition of the error terms. A symbol-level verification would settle the issue without requiring global analysis.","tokens_in":1650,"tokens_out":372,"duration_ms":29453,"concrete_test":"Extract the explicit symbol of the linearized Ricci operator plus error term from the construction in §3 (or wherever the cochain complex is defined); recompute the principal symbol in local coordinates near the boundary and check whether the resulting boundary-value problem satisfies the Shapiro-Lopatinskii condition for the pseudodifferential calculus used. If the symbol is no longer elliptic or the boundary condition fails for a generic error term, the cohomology description does not hold.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that a canonical cochain complex can be built via generalized Hodge theory (pseudodifferential methods) whose cohomology exactly parametrizes solvability/uniqueness for the linearized Ricci operator, even after adding lower-order tensorial error terms from metric-dependent sources or connections. These errors alter the operator by terms that are not necessarily controlled by the principal symbol; on a manifold with boundary the resulting boundary-value problem must still admit a pseudodifferential parametrix. The paper asserts this works without further interior geometric restrictions, yet the Bochner vanishing is applied only after the complex is constructed. If the symbol-level ellipticity or the boundary ellipticity condition fails once the error terms are present, the cohomology would not control the linearized problem as claimed.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1828,"tokens_out":288,"duration_ms":30289,"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":[{"comment":"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.","section":null}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"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."}],"tokens_in":1209,"tokens_out":304,"duration_ms":47495,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","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.","headline":"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.","tokens_in":2302,"tokens_out":436,"would_cite":false,"duration_ms":20116,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"echoes","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean","rs_theorem":"alexander_duality_circle_linking","paper_passage":"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"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"Theorem 1... admits a unique solutionσ if and only if δgT=0 and T|∂M=0"}],"headline":"Generalized Hodge cohomology for linearized Ricci on manifolds with boundary","alignment":"orthogonal","rationale":"Paper constructs cochain complex + pseudodifferential Hodge theory whose cohomology parametrizes solvability/uniqueness for lifted linearized Einstein/Ricci operator (with tensorial errors), using order-reduction from Bianchi/diffeomorphism symmetries and boundary conditions (Ric|∂M=0). This is standard elliptic PDE analysis on Riemannian manifolds of dim≥3; RS framework has no opinion on such boundary-value problems or pseudodifferential calculi. RS cohomology appears only in topological dimension-forcing (Alexander duality for circle linking). No J-cost, φ-ladder, 8-tick, or recognition-cost structures present.","tokens_in":62561,"confidence":"moderate","tokens_out":336,"duration_ms":15574,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"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.","keywords":["linearized Ricci curvature","cohomology","Hodge theory","pseudodifferential operators","Riemannian manifold with boundary","vanishing theorems","Bochner technique"],"falsifier":"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.","tokens_in":2534,"feed_emoji":"📐","tokens_out":668,"duration_ms":22840,"temperature":0.7,"pith_summary":"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.","feed_headline":"Cohomology sets solvability rules for linearized Ricci curvature","feed_subtitle":"On any compact Riemannian manifold with boundary, a cochain complex from pseudodifferential Hodge theory gives the conditions, with proven 0","key_machinery":"A canonical cochain complex for the linearized Ricci operator, constructed via generalized Hodge theory using pseudodifferential operators, which handles tensorial error terms.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Cohomology determines linearized Ricci solvability on boundary manifolds","Pseudodifferential cochain complex sets Ricci curvature conditions","Boundary geometry yields vanishing cohomology for Ricci linearization","Generalized Hodge theory governs linearized Ricci equations solvability"],"cache_read_input_tokens":64,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Cohomology determines linearized Ricci solvability on boundary manifolds","Pseudodifferential cochain complex sets Ricci curvature conditions","Boundary geometry yields vanishing cohomology for Ricci linearization","Generalized Hodge theory governs linearized Ricci equations solvability"]},"model":"grok-4.3","cost_usd":0.005136,"raw_usage":{"total_tokens":2468,"prompt_tokens":612,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":51362000,"prompt_tokens_details":{"text_tokens":612,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1794,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":612,"tokens_out":62,"duration_ms":14960,"temperature":1.0,"reasoning_tokens":1794,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-18T07:12:28.483763+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}