{"id":"21321c4f-da23-4cc6-8ccc-6f45dab68776","arxiv_id":"2607.21538","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For compact Einstein four-manifolds, the spectral gap α>β in the self-dual Weyl curvature forces β=γ=−α/2, so the metric is conformally Kähler with positive scalar curvature (after at most a double cover).","lead":"This paper proves that a compact four-dimensional Einstein space whose self-dual curvature has one eigenvalue strictly larger than the others must, after a double cover, be conformally related to a Kähler metric with positive scalar curvature. It settles the optimal form of a question studied by Derdziński, Wu, and LeBrun, and it yields classification results for Einstein metrics and gravitational instantons.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.9's N=∅ step imports Derdziński [16, Prop 5(iv)] without verifying it applies to complete noncompact Ricci-flat manifolds; if that proposition requires compactness, the zero-capacity argument only proves rigidity on M\\N.","rationale":"The reader's weakest assumption is exactly the load-bearing concern: the noncompact Theorem 1.9 depends on ruling out zeros of W^+ across N, and the capacity argument of Proposition 4.1 proves rigidity only on the complement of N. The only step that forces N=∅ is the citation to Derdziński [16, Prop 5(iv)]. The paper does not state whether that proposition is local or requires compactness, and the authors use it verbatim in both the compact and complete noncompact settings. If the proposition is a compact-only statement, Theorem 1.9 has a genuine gap; if it is local, the theorem is sound. This is an addressable external-reference check rather than an internal inconsistency. The new algebraic content — Proposition 2.3, the weighted Weitzenböck identities, the integral identity (3.5), and the zero-capacity estimate (4.11) — appears internally consistent, and the compact theorems are well supported. The Section 7 examples do not resolve the question because the tetrahedral Gibbons–Hawking metric has three distinct eigenvalues generically off the symmetry axis, so it does not satisfy the relevant #spec≤2 hypothesis in any open neighborhood of the zero fiber. Therefore the reader's CONDITIONAL verdict is appropriate: the central claim should be accepted only after verifying the hypotheses of the imported Derdziński proposition and, if needed, supplying a noncompact proof of the zero-set rigidity.","tokens_in":28701,"tokens_out":37203,"duration_ms":309188,"concrete_test":"Read the original statement of [16, Proposition 5] and check the hypotheses of item (iv): specifically, whether it assumes M compact/closed or only Einstein. If it assumes compactness, independently re-derive the zero-set rigidity for complete noncompact Einstein four-manifolds from the first-order system D W_h^+ = 0 and the eigenvalue pattern (2λ,-λ,-λ) established on X by Proposition 2.3; if the derivation uses only local strong unique continuation and no global integration over M, the import is harmless, and if it requires a compactness step, Theorem 1.9's conclusion N=∅ is unsupported. As a numerical cross-check, for the tetrahedral Gibbons–Hawking metric of §7.2, compute the set where #spec(W_h^+) ≤ 2 in a small neighborhood of the zero fiber π^{-1}(b): if this set has nonempty interior, the local form of the imported rigidity is already false; if it has empty interior, the import i","verdict_should_be":"UNCHANGED","load_bearing_attack":"Both Theorem 1.4 and Theorem 1.9 use the same bridge from the capacity result to the full manifold: Proposition 4.1 gives ∇^g ω1 = 0 and β_h = γ_h = -α_h/2 on X = M\\N, hence #spec(W_h^+) ≤ 2 on all of M. The paper then invokes [16, Prop 5(iv)] to conclude W_h^+ is nowhere zero when W_h^+ is not identically zero. The problem is that the paper never states the hypotheses of [16, Prop 5(iv)]. Derdziński's paper works in a compact setting, and if part (iv) is a compact-manifold statement — e.g. proved via a global maximum principle or via the conformal metric being Kähler on all of a closed M — it cannot be transplanted to the complete noncompact Ricci-flat manifold of Theorem 1.9. The proof of Proposition 4.1 is purely local on X and yields no information about the behavior of the double cover or of ω1 near N; the zero-capacity estimate controls the energy of the cutoffs but does not by itself show that the Kähler structure extends across N. Thus the only thing ruling out N ≠ ∅ in the noncompact theorem is the unverified import. This is not a defect in the algebraic core of Theorems 1.1/1.2/1.4 — the identities (3.5)–(3.9) and the capacity estimate (4.11) are internally consistent — and the Section 7 Gibbons–Hawking examples do not test the proposition because #spec(W_h^+) ≤ 2 fails on an open set near the zero fiber.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves rigidity results for oriented Riemannian four-manifolds whose self-dual Weyl curvature is harmonic. The main compact statement is Theorem 1.2: if δ_h W_h^+ = 0 and the largest eigenvalue α_h of W_h^+ is everywhere strictly larger than the second eigenvalue β_h, then, after at worst passing to a double cover, the metric h is conformal to a Kähler metric with positive scalar curvature; equivalently, the ratio ρ = β_h/α_h is forced to be -1/2. For compact Einstein metrics with W_h^+ not identically zero, Theorem 1.4 proves the same conclusion under the uniform gap β_h ≤ ρ_0 α_h with ρ_0 < 1, using a zero-capacity argument across the zero set of W_h^+. The paper also gives a pinching theorem for compact Kähler-Einstein surfaces of nonpositive scalar curvature (Theorem 1.8), a noncompact Ricci-flat extension (Theorem 1.9), classification consequences for gravitational instantons, and sharpness examples from K3 surfaces and multicentered Gibbons-Hawking instantons. The proof centers on LeBrun's conformal normalization g = α_h^{2/3} h, new first-order identities for the eigenvalues of W_g^+ on its regular spectral set, and the integral identity (3.9) whose integrand is a sum of two nonnegative terms.","tokens_in":29122,"tokens_out":13995,"duration_ms":131168,"significance":"If the compact results hold, they are a substantial improvement over previous work of Wu and LeBrun: the strict simplicity condition α_h > β_h alone forces ρ = -1/2, with no extra pinching constant. The algebraic chain leading to (3.8)-(3.9) is explicit, parameter-free, and internally consistent; the sharpness examples in Section 7 are valuable. The zero-capacity method is a promising tool for crossing the zero set of W_h^+ and for noncompact problems. The paper does not rely on fitted constants or circular predictions; its main limitation is a gap in the noncompact zero-set step described below.","major_comments":[{"comment":"After Proposition 4.1 yields β_h = γ_h = -α_h/2 on X = M\\N, the proof concludes N = ∅ by invoking Derdziński [16, Proposition 5 (iv)] without stating its hypotheses. The cited proposition is presented in the introduction as a result on zeros of W_h^+ for Einstein four-manifolds, and in Derdziński's paper the relevant setting is compact. The manuscript does not verify that Proposition 5(iv) applies to a complete noncompact Ricci-flat manifold. This step is load-bearing: the capacity estimate (4.11)/(6.1) controls only the energy of the cutoff functions and proves rigidity on X; it does not by itself show that the parallel Kähler form, or the double cover, extends across N. Unless the authors state Proposition 5(iv) and verify its hypotheses in the noncompact setting, Theorem 1.9 and the dependent Corollary 6.1 and Theorem 6.3 are established only on M\\N, not on all of M.","section":"Section 6, Theorem 1.9; also Section 4, Theorem 1.4"}],"minor_comments":[{"comment":"The sentence 'If the line subbundle L associated to the eigenspace of α_h is not orientable, We recall that ...' appears garbled and should be rewritten.","section":"Section 4, Proposition 4.1"},{"comment":"The factor 2 in W^+(∇_e ω_1,∇_e ω_1) = 2(β|a|^2 + γ|c|^2) is implicit in the normalization |ω_i|^2 = 2; a brief remark would help the reader.","section":"Section 3, Eq. (3.6)"},{"comment":"The derivation of the uniform bound ∑ r_i^2 ≤ C_N from finite Hausdorff measure would benefit from a one-line explanation or a more precise reference to the δ-content comparison.","section":"Section 4, Eq. (4.8)"}],"recommendation":"major_revision","confidential_remarks":"The compact core of the paper - Theorems 1.1, 1.2, 1.4 and their corollaries - appears sound and is a genuine contribution. The noncompact Theorem 1.9 is the only substantive gap: the import of [16, Proposition 5 (iv)] is unverified. If the authors can state the proposition and prove or cite a valid noncompact analog, I would support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The compact results are the real prize. Theorem 1.2, getting ρ<1 ⇒ ρ=-1/2 for metrics with δW⁺=0, is a genuine endpoint improvement over Wu and LeBrun, and the proof is built on a new algebraic trick: the first-order identities in Prop 2.3 turn the indefinite term P into a nonnegative multiple of |∇ω1|². I checked the substitution in the text — P = Q_ρ |∇ω1|² with Q_ρ = 3(1−ρ)(2+ρ)/(2ρ²+2ρ+5) — and it is correct. The integral identity (3.9) then forces ∇ω1=0 and ρ=−1/2. The zero-capacity machinery in Section 4 is standard, and the cutoff estimate (4.11) works. The K3 and Gibbons–Hawking examples cleanly demonstrate sharpness. For compact manifolds, this is solid work.\n\nThe soft spot is the noncompact extension. Theorem 1.9, and by inheritance Theorem 6.3, use the same capacity argument to get rigidity on X = M \\ N, but the final step — concluding that the zero set N is empty — invokes Derdziński's [16, Prop 5(iv)] as a black box. The paper never states the hypotheses of that proposition. Derdziński's paper works primarily in the compact setting, and if Prop 5(iv) is a compact-manifold statement (proved via a global maximum principle or via closedness of M), it cannot be transplanted to a complete noncompact Ricci-flat manifold without additional argument. The capacity estimate controls the energy of cutoffs but does not by itself show that the Kähler structure extends across N or that N cannot occur. So, as written, the N=∅ step in Theorem 1.9 is not justified. This does not damage the compact Theorems 1.1/1.2/1.4, but it makes the noncompact results conditional on filling that gap.\n\nAlso minor: there is a proofreading glitch in Prop 4.1 (a duplicated line about non-orientable L) that should be cleaned up.\n\nBottom line: worth a serious referee. The compact part is strong and deserves publication; the noncompact part needs a real revision — either a proof that Derdziński's zero-set rigidity holds in this complete noncompact setting, or an alternative argument that rules out N ≠ ∅. I'd send it for review, with the expectation of revisions.","headline":"The compact ρ<1 rigidity theorem is strong, the algebra holds up, and the sharpness examples are convincing; the noncompact Theorem 1.9 has an unjustified zero-set step that needs a fix before I'd trust its conclusion.","tokens_in":29679,"tokens_out":4251,"would_cite":true,"duration_ms":39971,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C24","53C18","53C21","53C55"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a compact Einstein four-manifold, pointwise simplicity of the largest eigenvalue of the self-dual Weyl tensor forces the metric to be conformal to a Kähler metric with positive scalar curvature, up to a double cover.","keywords":["Einstein four-manifolds","harmonic self-dual Weyl curvature","conformally Kähler metrics","gravitational instantons","Kähler–Einstein surfaces","eigenvalue simplicity","zero-capacity argument","holomorphic sectional curvature"],"falsifier":"Find a compact oriented Einstein four-manifold with W^+ not identically zero and β ≤ ρ0 α for some ρ0 < 1 whose metric is not conformal to a Kähler metric with positive scalar curvature; a more targeted check is to exhibit an Einstein metric on which the zero set {W^+ = 0} has positive 2-dimensional Hausdorff content, which would directly violate the cutoff estimate (4.11) and invalidate Theorem 1.4.","tokens_in":28544,"feed_emoji":"🌀","tokens_out":9807,"duration_ms":85419,"temperature":0.7,"pith_summary":"This paper proves a rigidity statement for four-dimensional Einstein manifolds, and more generally for metrics whose self-dual Weyl curvature is harmonic. The central claim is that if the largest eigenvalue of the self-dual Weyl tensor is everywhere strictly larger than the second one—equivalently, the ratio ρ = β/α is strictly below 1—then, after at worst passing to a double cover, the metric is conformal to a Kähler metric with positive scalar curvature. In fact, the ratio must jump to its lowest possible value, ρ = −1/2, which is the signature of a conformal Kähler structure. For Einstein metrics, the same conclusion holds under a uniform gap β ≤ ρ0 α with ρ0 < 1, even across points where W^+ vanishes; adapting the argument to complete Ricci-flat four-manifolds yields new constraints on gravitational instantons. The paper also turns the gap condition into a sharp pinching theorem for the holomorphic sectional curvature of compact Kähler–Einstein surfaces, and constructs examples showing the hypotheses cannot be relaxed.","feed_headline":"Eigenvalue gap forces Einstein 4-manifolds to be conformally Kähler","feed_subtitle":"A uniform simplicity bound on self-dual Weyl curvature implies a conformal Kähler metric with positive scalar curvature.","key_machinery":"The central object is the self-dual Weyl operator W^+ and its eigenvalues α ≥ β ≥ γ. The argument runs through the conformal change g = α_h^{2/3} h, which makes the largest eigenvalue of the weighted tensor W^+ = α_h^{−1/3} W^+_g constantly 1, so the ratio ρ = β/α becomes the only spectral parameter. A system of new first-order identities relates the connection 1-forms a and c of the eigenframe by the ratio k = (1−ρ)/(2+ρ); substituting these into a weighted Weitzenböck formula yields an exact pointwise identity in which the indefinite gradient term is pinned down. An integral of this identity has a nonnegative integrand that vanishes only when ∇ω₁ = 0 and ρ = −1/2. A zero-capacity cutoff ar","core_discovery":"The paper establishes that a pointwise simplicity condition on the largest eigenvalue of the self-dual Weyl tensor—α_h > β_h, equivalently the conformally invariant ratio ρ = β_h/α_h < 1—forces ρ = −1/2 identically on a compact manifold with harmonic self-dual Weyl curvature. Then the conformally related metric g = α_h^{2/3} h is Kähler with positive scalar curvature. For Einstein metrics, a uniform gap β_h ≤ ρ0 α_h with ρ0 < 1 is enough even if W^+ vanishes somewhere: either W^+ ≡ 0, or W^+ is nowhere zero and the same conclusion holds. The noncompact analogue covers complete Ricci-flat four-manifolds satisfying volume-growth and curvature-decay bounds, and a separate theorem gives a sharp","pith_inferences":["Stability estimate: the method's exact algebraic evaluation of the gradient term suggests a quantitative converse—if ρ is bounded above by ρ0 < 1, then the distance (in some conformal norm) between the conformal metric and the resulting Kähler metric might be controlled by ρ0 + 1/2; the paper does not state such an estimate.","Transferability of the capacity argument: the same template—divergence-free curvature-type tensor, weighted Weitzenböck formula, and elliptic zero-set control—applies to other geometric first-order systems, such as harmonic self-dual 2-forms or Dirac-type equations on four-manifolds.","Boundary phenomenon at ρ = 1: the Gibbons–Hawking example shows ρ has a jump discontinuity through the zero set of W^+, suggesting that the locus where α = β > 0 functions as a phase boundary; understanding this locus could connect to the topology of the maximal-eigenvalue line bundle.","Noncompact sharpening: Theorem 6.3 is stated under cubic volume growth, but the proof uses only Hölder's inequality and L² curvature, so the same zero-capacity technique might extend the classification to other collapsed ends such as ALG- or ALH-type gravitational instantons."],"forward_implications":["Classification corollary: every compact simply connected Einstein four-manifold with positive scalar curvature and a uniformly simple largest eigenvalue is isometric to the round S⁴ or CP², a Kähler–Einstein del Pezzo surface, or one of the two known non-Kähler Hermitian Einstein metrics (Page or Chen–LeBrun–Weber).","No uniform gap for nonpositive scalar curvature: a compact Einstein four-manifold with s_h ≤ 0 and W^+ not identically zero must have sup ρ = 1 on the set where W^+ ≠ 0.","Kähler–Einstein pinching: if a compact Kähler–Einstein surface with s_h ≤ 0 satisfies Θ < 2/3 between the average and minimum holomorphic sectional curvature, then W^- ≡ 0 and the surface is either flat up to finite cover or a compact ball quotient; the bound 2/3 is optimal in the sense that negative-curvature examples exist.","Ricci-flat rigidity: complete Ricci-flat four-manifolds satisfying β ≤ ρ0 α with ρ0 < 1 and the stated volume/curvature bounds are conformally Kähler with positive scalar curvature and hence Hermitian non-Kähler; in the gravitational-instanton setting this yields a type-II classification (ALE for Euclidean volume growth, Kerr/Chen–Teo/Taub-bolt/reversed Taub–NUT for cubic growth).","Sharpness: K3 surfaces with Calabi–Yau metrics and reversed orientation, and multicentered Gibbons–Hawking instantons, have points with α = β > 0, so the uniform gap cannot be relaxed without losing the conclusion."],"fun_headline_variants":["Simplicity of Weyl eigenvalue forces conformal Kähler structure","Weyl eigenvalue gap implies conformal Kähler Einstein metrics","Einstein 4-manifolds: eigenvalue simplicity yields Kähler","Uniform Weyl gap forces conformally Kähler metric"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof that rigidity survives the points where W^+ vanishes rests entirely on the zero set {W^+ = 0} being small enough—countably 2-rectifiable with finite H²-measure, hence codimension at least two—so that the cutoff functions used in the capacity argument have vanishing gradient energy; if that zero set were larger, the argument would only yield conformal Kähler rigidity on the complement.","fun_headline_variants_meta":{"raw":{"variants":["Simplicity of Weyl eigenvalue forces conformal Kähler structure","Weyl eigenvalue gap implies conformal Kähler Einstein metrics","Einstein 4-manifolds: eigenvalue simplicity yields Kähler","Uniform Weyl gap forces conformally Kähler metric"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000196,"raw_usage":{"total_tokens":1213,"prompt_tokens":772,"completion_tokens":441,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":367}},"tokens_in":516,"tokens_out":441,"duration_ms":4500,"temperature":1.0,"reasoning_tokens":367,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T07:10:27.861157+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a compact oriented Einstein four-manifold with W^+ not identically zero and β ≤ ρ0 α for some ρ0 < 1 whose metric is not conformal to a Kähler metric with positive scalar curvature; a more targeted check is to exhibit an Einstein metric on which the zero set {W^+ = 0} has positive 2-dimensional Hausdorff content, which would directly violate the cutoff estimate (4.11) and invalidate Theorem 1.4.","supporting_citations":[],"review_version":1}