{"id":"d02b2802-7517-4a4c-8584-ff317e3312a4","arxiv_id":"2606.19567","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Closed spin manifolds with an exact-lift two-form obey inf scal ≤ -4n/(n-1)λ0, and equality forces Einstein, hyperbolic, or flat geometry.","lead":"A new proof shows that on closed even-dimensional spin manifolds carrying a special closed two-form whose lift to the universal cover is exact, the scalar curvature must satisfy a sharp negative bound controlled by the bottom of the spectrum of the cover. When the bound is attained, the geometry is forced to be Einstein, and in the positive-spectrum case the cover must be real hyperbolic.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the cited L2-index theorem for the U(1)-central extension is the sole residual external dependency.","rationale":"The reader's weakest_assumption identified the Ballmann L2-index theorem as the engine of the proof. I agree that this is the most load-bearing point. However, my detailed review found no concrete error or missing step in the paper's own arguments. The scalar bound, scalar rigidity, Einstein rigidity, and sectional rigidity all follow from the stated hypotheses once the harmonic twisted spinors exist. The recentering and conformal-limit arguments are carefully executed and internally consistent. The only residual uncertainty is the applicability of the cited L2-index theorem to the non-discrete, possibly unbounded-η setting. This is an external black box, not a demonstrated flaw, so the reader's ACCEPT verdict stands. The proposed concrete test would either confirm the theorem's applicability or reveal a hypothesis gap, but it does not overturn the current assessment. Therefore the verdict should remain UNCHANGED, with the note that the index-theoretic input is the main point to verify in a future revision or referee report.","tokens_in":24679,"tokens_out":45463,"duration_ms":390349,"concrete_test":"Check the statement of Ballmann [1, Thm 8.27] to confirm it applies to non-discrete U(1)-central extensions and does not require boundedness of the primitive η. Then compute, independently, the L2-index of the twisted Dirac operator on the universal cover of T^4 (or T^{2m}) with a constant magnetic curvature and a linearly growing η, and compare with the polynomial formula (2.7). A match would confirm the index theorem's applicability in the unbounded-η, non-discrete setting.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I reviewed the proof chain in detail. The Kato-defect analysis, recentering argument, conformal limit, and the Einstein/sectional rigidity steps are internally consistent and follow from the stated hypotheses. The scalar bound, equality cases, and the use of the Ledrappier–Wang rigidity are all supported by the surrounding arguments. The one step that carries the entire construction is Proposition 2.2's application of Ballmann's L2-index theorem to the non-discrete central extension Γ_s. The paper does not restate the precise hypotheses of [1, Thm 8.27], so it is not explicitly established that the theorem supports a U(1)-central extension of the deck group, nor that the primitive η — assumed only to be exact, not bounded — satisfies any boundedness or growth condition the theorem may require. This is a genuine confidence limitation, but no internal inconsistency or concrete counterexample was found. The index formula (2.7) is plausible and standard in spirit, but its unconditional validity for non-discrete Γ_s and unbounded η is the load-bearing assumption on which all subsequent results depend.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a sharp scalar-curvature upper bound for closed even-dimensional spin manifolds, Theorem A: if M carries a closed homologically A-hat-non-singular two-form whose lift to the universal cover X is exact, then inf_M scal <= -4n/(n-1) lambda_0(X). Equality forces the metric to be Einstein; for lambda_0>0 the universal cover is real hyperbolic, and for lambda_0=0 with nonvanishing top power of the two-form it is Euclidean. The proof combines Gromov's U(1)-central extension and an L2-index theorem (Proposition 2.2) to produce harmonic twisted spinors, a Rayleigh-Kato-Lichnerowicz mechanism for the bound and scalar rigidity, and a recentered conformal-limit argument yielding a parallel spinor for a conformally related metric. A conformal Einstein criterion then upgrades to Einstein rigidity, and Ledrappier-Wang rigidity gives sectional rigidity. The paper also isolates Theorem B, which converts a sequence of harmonic twisted spinors into Einstein rigidity under the sharp scalar-curvature identity.","tokens_in":24944,"tokens_out":23863,"duration_ms":226094,"significance":"If the main theorem holds, it is a strong contribution to scalar-curvature comparison: a sharp, parameter-free bottom-spectrum bound with a complete equality analysis under purely topological hypotheses. The analytic execution is careful: the Kato defect is interpreted conformally, the recentering argument is well organized, and the scalar rigidity uses a clean proof of a Wang-Zhu-type positivity principle. The paper also supplies useful examples of the hypotheses. No fitted parameters or machine-checked code are involved; the main external input is the cited L2-index theorem. That input is currently a black box in the manuscript, which is the principal reason I cannot recommend acceptance without revision.","major_comments":[{"comment":"Proposition 2.2 is the sole source of the harmonic twisted spinors psi_j, and both Theorem 3.1 and Theorem A collapse without it. The proof invokes [1, Thm 8.27] without stating its hypotheses. Gamma_s is not the discrete deck group but a U(1)-central extension; the cited theorem must be shown to apply to this non-discrete locally compact group, and the exact version used should be stated. In addition, pi^*omega=deta only gives exactness; eta is not shown to be bounded or to satisfy any growth condition. Many L2-index theorems for twisted Dirac operators require bounded geometry of the twisting connection, i.e. local boundedness of eta or at least a growth bound on parallel transport. The authors should either verify that exact-lift suffices for the cited theorem or add the necessary condition to the hypotheses of Theorem A. As written, Eq. (2.7) and the choice of s_j with I(s_j)!=0 are","section":"§2.4, Proposition 2.2"},{"comment":"The integrated Lichnerowicz formula (2.6) and its use in Proposition 3.5 and Proposition 4.3 assume that from D_s psi in L2 one may conclude nabla^s psi in L2 and integrate the formula. This is standard for operators of bounded geometry. If eta is unbounded, d+is eta may not be a bounded-geometry connection, so this step needs an explicit justification or a boundedness hypothesis on eta. In particular, the proof of the sharp scalar bound (3.1) uses (2.6) directly, so this is a load-bearing analytic point rather than a regularity footnote.","section":"§2.2 and §3.2, Eq. (2.6)"}],"minor_comments":[{"comment":"Several references are listed as preprints or 'to appear' ([33], [34], [15], [2]). If final versions are available, they should be updated.","section":"§1, Remarks 1.2-1.3 and References"},{"comment":"The notation B_N(gamma), Q_N, M_{j,N}, E_{j,N} is used before being fully explained in words; a short sentence defining the word-metric ball and the local masses would improve readability.","section":"§4.4, Lemma 4.5"},{"comment":"In the Kunneth step, spell out that H^1(N)=0 because N is simply connected; this makes the displayed isomorphism H^2(T^q x N;R) = H^2(T^q;R) oplus H^2(N;R) transparent.","section":"§4.6, Lemma 4.13"},{"comment":"The phrase 'compact extensions of the deck group' is ambiguous; the paper means a U(1)-central extension. Using the latter term consistently would avoid confusion with other compact-group extensions.","section":"§2.4"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is substantial and the rigidity argument is impressive. My main reservation is not about the internal analysis but about the unstated dependence on a precise form of the L2-index theorem for the non-discrete group Gamma_s. I would like the authors to state the theorem they are applying and verify that the exact-lift assumption (with eta not assumed bounded) satisfies its hypotheses. If eta must be bounded for the index theorem or for the integration by parts in (2.6), they should adjust the statement of Theorem A accordingly. This is fixable within the scope of the paper. The overlap with Wang-Zhu is explicitly acknowledged and the approaches differ, so I do not see a novelty concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: if you care about scalar-curvature comparison and rigidity, read this. The paper proves a sharp inf-scal bound under an exact-lift, A-hat-non-singular two-form, with equality forcing Einstein, hyperbolic, or flat geometry. The sharp inequality itself goes back to Davaux, and Wang–Zhu announced scalar rigidity, so the genuinely new pieces are the A-hat-refined setting and the conformal-recentering proof of Einstein rigidity (Theorem B). The authors are upfront about the overlap with [34]; the two methods look genuinely independent.\n\nWhat the paper does well: the proof is unusually complete for something this long. The Kato-defect computation in Proposition 3.3 checks out, the ground-state transform in Lemma 3.8 is clean, and the recentering Lemma 4.5 plus conformal limit Proposition 4.11 is a nice way to turn an almost-kernel sequence into a parallel spinor. I found no sign errors in the conformal Einstein computation, and the examples in Remarks 1.7–1.8 are useful, especially the A-hat case that the top-power condition misses.\n\nSoft spots, in proportion. Proposition 2.2 is load-bearing and under-specified. It invokes Ballmann's L2-index theorem for compact extensions and applies it to the non-discrete U(1)-central extension Γ_s, but it never states the theorem's hypotheses or verifies them. The one-form η is only assumed exact, not bounded, and it is not obvious whether that matters. A referee should check this first; if the index formula fails, the spinor sequence disappears and both the bound and rigidity collapse. Second, Lemma 4.12 leans on Ledrappier–Wang [25, Theorem 6] as another black box; standard, but still a dependency. Third, the overlap with Wang–Zhu [34] is real, though handled honestly.\n\nThe stress-test concern about the L2-index theorem is fair as a confidence limitation, but I do not think it is fatal. There is no internal inconsistency or concrete counterexample here. This paper deserves a serious referee; the right outcome is probably acceptance after the index-theoretic hypotheses are stated and checked carefully.","headline":"Solid, carefully written paper that upgrades Gromov's exact-lift obstruction to a sharp rigidity theorem; the main real risk is the unstated L2-index black box in Proposition 2.2.","tokens_in":25375,"tokens_out":2868,"would_cite":true,"duration_ms":31044,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C27","53C21","58J20","58J50"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a closed even-dimensional spin manifold carrying a closed two-form whose lift to the universal cover is exact and whose powers pair nontrivially with the A-hat class, the infimum of scalar curvature is at most -4n/(n-1) times the bottom","keywords":["scalar curvature","spin geometry","twisted Dirac operators","L2-index","bottom of spectrum","universal cover","A-hat genus","rigidity"],"falsifier":"Look for a counterexample among the manifolds the paper itself lists: for the symmetric-product examples whose fundamental group is amenable (so λ0=0 for every metric), try to construct a Riemannian metric with inf scalar ≥ 0. Theorem A predicts inf scalar < 0 for every metric on such a manifold, so any metric with nonnegative inf scalar would overturn the bound. Alternatively, on a product of hyperbolic surfaces, attempt to realize equality; the theorem says equality would force a real-hyperbolic universal cover, which the topology excludes, so an equality metric would disprove the rigidity s","tokens_in":24605,"feed_emoji":"📐","tokens_out":7790,"duration_ms":77390,"temperature":0.7,"pith_summary":"The paper proves a sharp spectral ceiling on scalar curvature: under the exact-lift two-form hypothesis, inf_M scal ≤ -4n/(n-1) λ0(X,g). The constant is the best possible, and the equality case is rigid: the metric must be Einstein, and the universal cover must be real hyperbolic (when the spectrum bottom is positive) or Euclidean (when it is zero and the two-form is top-degree non-singular). The proof manufactures harmonic spinors twisted by arbitrarily small connections built from the two-form; an index count shows these spinors exist, and a conformal reinterpretation of the refined Kato inequality turns their asymptotic equality into a parallel spinor for a conformally related metric. For a broad class of manifolds—products of hyperbolic surfaces, symplectic manifolds with exact lifted form, and certain four-manifolds—this gives an obstruction to positive scalar curvature and identifies exactly which metrics realize the sharp bound.","feed_headline":"Exact-lift 2-forms cap scalar curvature sharply","feed_subtitle":"When the cap is met, equality metrics are Einstein and universal covers are hyperbolic or Euclidean.","key_machinery":"The machinery is the family of twisted Dirac operators D_s on the universal cover, coupled to the trivial line bundle with connection d+isη, where dη = π*ω. An index theorem for the associated central extension of the deck group computes the L2-index as a polynomial in s; a nonzero coefficient produces harmonic twisted spinors ψ_j with s_j→0. The refined Kato inequality's defect tensor—the Kato defect—measures exactly how far a spinor is from being parallel after a conformal change; equality in the scalar bound makes this defect vanish asymptotically. A recentering by deck transformations prevents the spinor mass from escaping to infinity, so a limit yields a parallel spinor for a conformall","core_discovery":"Theorem A is the central claim: a purely topological-cohomological condition—the existence of a closed two-form whose lift to the universal cover is exact and whose wedge powers detect the A-hat class—quantitatively controls scalar curvature. The sharp inequality inf scal ≤ -4n/(n-1) λ0 follows from the Lichnerowicz formula, the refined Kato inequality, and Rayleigh's characterization of the bottom of the spectrum. Equality forces Ric = -4λ0/(n-1) g; if λ0>0, the universal cover has constant sectional curvature -4λ0/(n-1)^2 and is real hyperbolic; if λ0=0 and ∫ω^m ≠ 0, the cover is Euclidean. The analytic heart is Theorem B: given a sequence of harmonic twisted spinors with parameters tendin","pith_inferences":["Inference — The recentering-and-conformal-limit step is a reusable template: any sequence of almost-kernel sections with Kato defect O(s_j) should yield a parallel spinor for a conformally changed metric, so the same Einstein rigidity could follow in other settings where such sequences arise from index theory.","Inference — The proof suggests a quantitative stability statement: if the scalar-curvature ceiling is nearly attained, the Kato-defect estimates provide explicit small quantities that should force the metric to be close, in a measured sense, to the Einstein/hyperbolic models; making this precise could extend the theorem from exact equality to near-equality.","Inference — The paper's remarks indicate the spin hypothesis can be relaxed to virtually spin by passing to finite covers; if carried out for general non-spin manifolds, the method would give the same sharp bound for a much wider class of manifolds with exact-lift two-forms.","Inference — When λ0=0, the flatness conclusion comes by combining Einstein rigidity with the structure theorem for compact Ricci-flat manifolds; a spinorial proof of flatness avoiding that decomposition might generalize to noncompact or non-closed settings where the structure theorem is unavailable."],"forward_implications":["Under the cohomological hypotheses, no metric of positive scalar curvature can exist on M.","For products of hyperbolic surfaces, for products of a simply connected A-hat-manifold with surface products, and for symplectic manifolds with exact lifted symplectic form, every Riemannian metric obeys the sharp negative ceiling; in the surface-product case the inequality is always strict.","Equality metrics are Einstein with Ricci tensor -4λ0/(n-1) g; when λ0>0 the universal cover is real hyperbolic, and when λ0=0 and ω^m ≠ 0 the cover is Euclidean.","The A-hat refinement detects rigidity in cases that the usual top-power condition cannot, such as products Y×B where Y is simply connected with nonzero A-hat class.","The same machinery yields untwisted rigidity when zero lies in the spectrum of the Dirac operator on the cover, with applications to nonvanishing A-hat genus and enlargeability."],"fun_headline_variants":["Exact-lift 2-forms cap scalar curvature sharply","Two-form condition forces sharp scalar curvature bounds","Almost-harmonic twisted spinors yield rigidity","Scalar curvature pinned by exact-lift forms","Topological two-forms enforce Einstein metrics"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire chain rests on the assumption that the L2-index theorem for the twisted Dirac operator holds for the non-discrete central extension of the deck group and gives exactly the polynomial formula (2.7), with no hidden correction terms; if that formula fails, no harmonic twisted spinors are produced and both the bound and all rigidity conclusions collapse.","fun_headline_variants_meta":{"raw":{"variants":["Exact-lift 2-forms cap scalar curvature sharply","Two-form condition forces sharp scalar curvature bounds","Almost-harmonic twisted spinors yield rigidity","Scalar curvature pinned by exact-lift forms","Topological two-forms enforce Einstein metrics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000367,"raw_usage":{"total_tokens":1815,"prompt_tokens":755,"completion_tokens":1060,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":989}},"tokens_in":499,"tokens_out":1060,"duration_ms":11068,"temperature":1.0,"reasoning_tokens":989,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T10:52:04.503861+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a counterexample among the manifolds the paper itself lists: for the symmetric-product examples whose fundamental group is amenable (so λ0=0 for every metric), try to construct a Riemannian metric with inf scalar ≥ 0. Theorem A predicts inf scalar < 0 for every metric on such a manifold, so any metric with nonnegative inf scalar would overturn the bound. Alternatively, on a product of hyperbolic surfaces, attempt to realize equality; the theorem says equality would force a real-hyperbolic universal cover, which the topology excludes, so an equality metric would disprove the rigidity s","supporting_citations":[],"review_version":2}