{"id":"175b5655-2cac-44fb-abe0-9fefe8c7abe0","arxiv_id":"2511.01297","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.5,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"On complete balanced Hermitian manifolds, curvature lower bounds for the Strominger–Bismut connection imply eigenvalue lower bounds of Lichnerowicz–Obata, Li–Yau, and Zhong–Yang type.","lead":"This paper proves lower bounds on the first positive eigenvalue of the Laplace–de Rham operator on balanced Hermitian manifolds, using curvature of the Strominger–Bismut connection instead of the usual Riemannian or Kähler Ricci curvature. It extends classical estimates of Lichnerowicz–Obata, Li–Yau, and Zhong–Yang to a non-Kähler setting.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 (and 1.7, 1.10) presuppose compactness and diameter bounds from the unpublished preprint [47]; if that result fails, the main estimates are unproven as stated.","rationale":"We read the full manuscript. The main theorems (1.1, 1.7, 1.10) are eigenvalue estimates on complete balanced Hermitian manifolds. The central technical work (Sections 3–6) consists of Bochner-type formulas and maximum principle arguments, which are coherent and appear to be computed carefully. However, every one of the three main theorems begins by citing [47] to convert the 'complete' hypothesis into compactness plus a diameter bound. The manuscript does not reproduce or sketch these results, and they are not otherwise justified. This is load-bearing because λ1 is only defined for compact manifolds and the integration by parts in (3.22) is only valid there. We considered whether the abstract's mention of a 'torsion-commutator condition' indicates a missing hypothesis in Theorem 1.10; the proof of Proposition 6.6 appears to handle this, but the inconsistency is unexplained. We do not find a clear internal contradiction in the computations; the main risk is the external dependency. Our recommendation matches the reader's CONDITIONAL verdict: the results are convincing only conditional on [47] being correct. A concrete check is to re-derive the compactness/diameter bound from the Bismut curvature in the style of Bonnet–Myers; if that derivation fails, the main theorems would be unsupported.","tokens_in":21840,"tokens_out":18592,"duration_ms":167248,"concrete_test":"Independently derive the compactness/diameter result used from [47]: for a complete balanced Hermitian manifold with Ric^{SB,C} ≥ (2n−1)K, compute the second variation of a unit-speed geodesic using the Bismut connection and show that a conjugate point must occur at length ≤ π/√K. Check whether torsion terms in the index form are controlled by the Ricci lower bound alone. If the computation requires extra assumptions (e.g., bounds on the torsion tensor) not stated in Theorem 1.1, then the proof is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central estimate, Theorem 1.1, is an inequality for λ1, but λ1 is defined only on compact manifolds. The proof first invokes [47, Theorem 1.5] to conclude that the curvature condition Ric^{SB,C} ≥ (2n−1)K forces M to be compact and D ≤ π/√K. The Bochner formula (3.11), the integration by parts in (3.22), and the strong maximum principle all require compactness; without it, the eigenfunction u may not exist and the argument collapses. Similarly, Theorem 1.7 and Theorem 1.10 hinge on [47, Theorem 1.3] and [47, Theorem 1.4], respectively. None of these compactness/diameter statements are proved in the present paper; [47] is an unpublished preprint (arXiv:2507.15002). The equality case further uses the diameter bound to obtain D = π/√K. Thus the entire validity of the stated results depends on external, unverified assertions. This is a genuine correctness risk, not merely a presentation issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes lower bounds for the first positive eigenvalue of the Laplace–de Rham operator on complete balanced Hermitian manifolds, using curvature lower bounds for the Strominger–Bismut connection. The main results are: a Lichnerowicz–Obata type estimate λ1 ≥ 2nK under a positive lower bound on the holomorphic Ricci curvature (Theorem 1.1), with an equality characterization in the Kähler case; Li–Yau type estimates (Theorem 1.5, Corollary 1.6); Zhong–Yang type estimates (Theorem 1.7, Corollaries 1.8, 1.9); and an estimate λ1 ≥ K under a lower bound on the holomorphic sectional curvature of the Strominger–Bismut connection (Theorem 1.10). The proofs use Bochner-type identities, maximum principles, and an integral identity for compact balanced manifolds. Several results are stated for complete manifolds but rely on external compactness and diameter assertions from an unpublished preprint.","tokens_in":22060,"tokens_out":13792,"duration_ms":129193,"significance":"If the results are correct, they would constitute a meaningful extension of classical Riemannian and Kähler spectral estimates to balanced non-Kähler manifolds, which is a timely and useful contribution. The paper contains original Bochner-type identities (e.g., Proposition 3.4, Eq. (3.11)) and an integral identity (Theorem 6.1) that are of independent interest. The derivations are explicit and no fitted constants or circular parameter choices appear. However, the significance is currently tempered by the fact that the main theorems depend on compactness and diameter theorems from the unpublished preprint [47], and by a few statement-level inaccuracies that must be corrected.","major_comments":[{"comment":"The proofs of Theorems 1.1, 1.7, 1.10 and Corollary 1.6 invoke [47, Theorems 1.5, 1.3, 1.4] to conclude compactness and, in the case of Theorem 1.1, the diameter bound D ≤ π/√K. These assertions are load-bearing: the eigenfunction u, the integration by parts in (3.22), and the strong maximum principle all require compactness, and the equality case uses the diameter bound. Since [47] is an unpublished arXiv preprint and the needed statements are not proved in this paper, the main theorems are conditional as written. Please either prove the needed compactness/diameter results, cite a published version, or explicitly state the theorems as conditional on [47].","section":"§3 (Theorem 1.1), §4 (Corollary 1.6), §5 (Theorem 1.7), §6 (Theorem 1.10)"},{"comment":"The hypothesis as stated, Ric^{SB,C}(W,W) ≥ K for all W ∈ Γ(M,T^{1,0}M) with K > 0, is not meaningful because the left-hand side is homogeneous of degree 2 in W; taking W → 0 gives 0 ≥ K, a contradiction. The intended condition is presumably Ric^{SB,C}(W,W) ≥ K|W|². The proof in §5 only uses the nonnegativity of Ric^{SB,C}(Y,Y) via Lemma 5.1, which would follow from the homogeneous version, so the fix is local, but the stated theorem must be corrected.","section":"Theorem 1.7, Eq. (1.13)"},{"comment":"The crucial Zhong–Yang type inequality (5.7) is asserted with the phrase 'as in [54]' but is not proved. This inequality is the bridge from Lemma 5.1 to the eigenvalue lower bound λ1 ≥ π²/D², and it is not a trivial transcription: the Bochner formula, the test function ψ, and the normalization all differ from the classical Riemannian setting. Please provide a complete derivation of (5.7), or state and prove the adapted version of [54, Lemmas 3–5] used here.","section":"§5, Eq. (5.7)"}],"minor_comments":[{"comment":"The abstract advertises a 'torsion-commutator condition along a first eigendirection' in connection with the holomorphic sectional curvature estimate, but Theorem 1.10 and Corollary 1.11 contain no such condition. Please align the abstract with the actual statements.","section":"Abstract vs. §6"},{"comment":"The quantity λ1 is defined in (1.1) for a compact manifold, but Theorems 1.1, 1.7, and 1.10 are stated for complete manifolds before compactness is established. The statements should read 'then M is compact and λ1 ≥ ...' to avoid an initially undefined symbol.","section":"Theorems 1.1, 1.7, 1.10"},{"comment":"There are several typos and minor wording issues: 'satiesfy' (p.2), 'pesudo–Hermitian' (p.2), 'the the' (p.5), 'Cauchy-Schwartz' (p.13), 'arcsiny' (p.19). A careful proofreading pass is recommended.","section":"Throughout"},{"comment":"In (3.4), the equality (∆_{\\bar∂} f,F) = (∆_{\\partial} f,F) is obtained by an analogous computation, but the sentence 'Moreover, we obtain that' makes it look like an independent assumption. Please clarify that it follows by repeating the previous argument.","section":"§3, Proof of Lemma 3.1"},{"comment":"The sentence 'we may assume u²(γ) ≠ 1 other than the points x1 and x2 without loss of generality' is a bit terse. If u reaches ±1 on a nontrivial interval, the geodesic integration argument needs a short justification; please add a sentence or a reference to the standard Obata argument.","section":"§3, Equality case of Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The central issue is the dependence on the unpublished preprint [47] for compactness and diameter bounds. This is not an internal inconsistency in the present derivations, but it is a correctness risk for the stated theorems. If the author can either supply proofs of the needed statements or the result from [47] becomes available in published form, the paper would be much stronger. The statement-level error in Theorem 1.7 (the homogeneity issue in (1.13)) is easy to fix. The unproved inequality (5.7) is also a blocker for the Zhong–Yang theorem. I see no grounds for rejection beyond these fixable issues, assuming the Bochner computations check out."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a real extension of the classical Lichnerowicz–Obata, Li–Yau, and Zhong–Yang estimates to balanced Hermitian manifolds with curvature conditions on the Strominger–Bismut connection. The Bochner formula (Prop 3.4) and the integral identity (Thm 6.1) are new and look genuinely useful. But the three headline theorems (1.1, 1.7, 1.10) all rely on compactness and diameter bounds imported from an unpublished preprint by X. Yang ([47]). That is a real correctness risk, not a formatting issue.\n\nWhat the paper does well: it constructs a coherent framework, adapts the standard Bochner/maximum-principle machinery to the SB connection, and writes down explicit identities. The equality case in Theorem 1.1 is handled via Cheng's rigidity after the compactness is granted. The integral formula in Section 6 generalizes the Wang–Yang Kähler identity and yields the HSC estimate cleanly. I did not find an internal contradiction; the algebra is dense but the structure is sound.\n\nThe soft spots: (1) The compactness/diameter results from [47] are load-bearing. Without them, the proofs of 1.1, 1.7, and 1.10 stop before they start, because λ1 and integration by parts are only available on compact manifolds. The paper should either prove those results in a lemma or state the theorems conditionally on [47] being accepted. (2) In §5, inequality (5.7) is asserted with 'as in [54]' but not derived. Since the setting is non-Kähler, a reader needs to see the adapted Zhong–Yang argument, not just a reference to the Riemannian case. This is probably fillable, but it is a gap in the exposition. (3) The abstract advertises a 'torsion-commutator condition' for the HSC estimate, but Theorem 1.10 has no such condition, and Corollary 1.11 relaxes HSC only along U+U. The abstract should be corrected.\n\nMy verdict: the core idea is plausible and the technical machinery is a genuine contribution, but the present version is not fully self-contained. If [47] is solid, the main results likely hold. As it stands, the paper deserves peer review, but the referee should push for a self-contained treatment of the compactness/diameter step or a clear statement of dependence.\n\nI would bring this to a specialized reading group, and I'd cite the Bochner formula if I needed it. The author is thinking seriously about the problem.","headline":"Conditions on SB curvature yield genuine new eigenvalue bounds in the balanced case, but the main theorems lean on unpublished compactness/diameter results and should be vetted carefully.","tokens_in":22595,"tokens_out":3226,"would_cite":true,"duration_ms":33767,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","58C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"On complete balanced Hermitian manifolds, a positive lower bound on Strominger–Bismut holomorphic Ricci curvature forces the first Laplace eigenvalue to satisfy λ₁ ≥ 2nK, with equality forcing CP¹ rigidity in the Kähler case.","keywords":["balanced Hermitian manifold","Strominger–Bismut connection","first eigenvalue","Lichnerowicz–Obata estimate","Li–Yau estimate","Zhong–Yang estimate","holomorphic Ricci curvature","holomorphic sectional curvature"],"falsifier":"Compute the first eigenvalue of a concrete complete balanced Hermitian non-Kähler manifold with positive SB holomorphic Ricci curvature; if λ₁ < 2nK, Theorem 1.1 is false. Alternatively, verify or disprove the companion diameter bound D ≤ π/√K on a balanced non-Kähler example—e.g. a nilmanifold or Hopf manifold with the appropriate SB-Ricci positivity—since that bound is the step that takes the complete hypothesis to the compact setting.","tokens_in":21661,"feed_emoji":"📐","tokens_out":7602,"duration_ms":70252,"temperature":0.7,"pith_summary":"This paper carries the classical spectral comparison program—Lichnerowicz–Obata, Li–Yau, Zhong–Yang—from Riemannian and Kähler manifolds into complete balanced Hermitian geometry, where the metric is Hermitian but need not be Kähler. The curvature that plays the role of Ricci curvature is the holomorphic Ricci curvature of the Strominger–Bismut connection, the unique Hermitian connection with totally skew-symmetric torsion. The flagship result: if this curvature is bounded below by (2n−1)K with K>0, then the first positive eigenvalue of the Laplace–de Rham operator satisfies λ₁ ≥ 2nK; equality forces maximal diameter D = π/√K, and in the Kähler case forces the manifold to be CP¹ with the Fubini–Study metric. Under weaker or different curvature bounds the paper proves Li–Yau type exponential lower bounds, a Zhong–Yang type bound λ₁ ≥ π²/D², and a λ₁ ≥ K bound from positive Strominger–Bismut holomorphic sectional curvature. The upshot is that balanced non-Kähler manifolds obey the same spectral-geometric comparison principles as Kähler manifolds, with torsion entering only through the chosen connection.","feed_headline":"Eigenvalue bound 2nK holds on balanced Hermitian manifolds","feed_subtitle":"Classical spectral estimates survive when the metric is Hermitian, not Kähler, using Strominger–Bismut curvature.","key_machinery":"The Strominger–Bismut connection SB∇ — the unique Hermitian connection whose torsion is a totally skew-symmetric 3-form — supplies the curvature quantities: holomorphic Ricci curvature Ric^{SB,C}(W,W) and holomorphic sectional curvature HSC^{SB}(X). The argument is carried by two identities. The Bochner formula (Proposition 3.4), Δ̄∂|∂u|² = −Ric^{SB,C}(U,U) + λ₁|∂u|² − |SB∇^{1,0}∂u|² − |SB∇^{0,1}∂u|², converts curvature lower bounds into differential inequalities for the test function Q = |∂u|² + (λ₁/4n)u². The integral identity (Theorem 6.1) expresses λ₁∫|∂u|⁴ in terms of Chern curvature, the holomorphic sectional curvature of SB∇, and torsion terms, leading to the λ₁ ≥ K estimate. Balanced","core_discovery":"The paper's central claim is that the Strominger–Bismut connection's holomorphic Ricci curvature controls the first eigenvalue exactly as the Riemannian Ricci curvature does in the classical theorems. Specifically, Theorem 1.1 asserts that on a complete balanced Hermitian manifold of complex dimension n with Ric^{SB,C}(W,W) ≥ (2n−1)K|W|² for K>0, one has λ₁ ≥ 2nK, and if equality holds then the diameter is π/√K; when the metric is additionally Kähler, the equality case is isometric to CP¹ with the Fubini–Study metric up to scaling. The paper also proves Li–Yau type estimates (Theorem 1.5), Zhong–Yang type estimates (Theorem 1.7), and an estimate from holomorphic sectional curvature (Theorem","pith_inferences":["The author leaves implicit that the Bochner formula (3.11) and integral identity (6.1) are connection-level identities; the same proof scheme should extend to other Hermitian connections in the Gauduchon family, with the curvature lower bound replaced accordingly. That would be a direct test of how much of the result is really about balance versus the specific connection.","Conjecture 1.3—rigidity of the equality case without the Kähler assumption—is the natural next step; if a balanced non-Kähler example attained λ₁ = 2nK, it would be a new extremal object rather than CP¹.","The complete-manifold theorems inherit their compactness and diameter bounds from an external preprint; until that preprint's comparison theorem is available independently, the 'complete' results are conditional. A proof that avoids that input would strengthen the programme considerably."],"forward_implications":["On a compact balanced Hermitian manifold, a positive lower bound Ric^{SB,C} ≥ (2n−1)K forces λ₁ ≥ 2nK; equality forces the diameter to be exactly π/√K.","If the equality case is Kähler, the manifold is CP¹ with the Fubini–Study metric up to scaling, so the classical Obata rigidity survives in the balanced setting.","For compact balanced manifolds of dimension n ≥ 3 with Ric^{SB,C} ≥ −K, the first eigenvalue obeys λ₁ ≥ C₁D^{-2} exp(−C₂√K D) with constants depending only on n.","For complete balanced manifolds with Ric^{SB,C} ≥ K > 0, the Zhong–Yang bound λ₁ ≥ π²/D² holds; for compact balanced manifolds with nonnegative SB holomorphic Ricci curvature, the same bound holds.","Positive holomorphic sectional curvature HSC^{SB} ≥ K > 0 yields λ₁ ≥ K, and on compact balanced manifolds the condition can be relaxed to hold only along the real direction X = U + Ū determined by a first eigenfunction."],"fun_headline_variants":["Strominger–Bismut Ricci curvature yields sharp eigenvalue bound","First eigenvalue ≥ 2nK on balanced Hermitian manifolds","Lichnerowicz–Obata estimate extends to non-Kähler setting","Balanced manifolds: SB holomorphic Ricci controls λ₁","Eigenvalue lower bound via SB curvature, equality in Kähler"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the external comparison theorems—which turn positive Strominger–Bismut curvature into compactness and a diameter bound D ≤ π/√K—are valid; the paper assumes them without proof, so all its 'complete manifold' results depend on that unproved input.","fun_headline_variants_meta":{"raw":{"variants":["Strominger–Bismut Ricci curvature yields sharp eigenvalue bound","First eigenvalue ≥ 2nK on balanced Hermitian manifolds","Lichnerowicz–Obata estimate extends to non-Kähler setting","Balanced manifolds: SB holomorphic Ricci controls λ₁","Eigenvalue lower bound via SB curvature, equality in Kähler"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000272,"raw_usage":{"total_tokens":1473,"prompt_tokens":751,"completion_tokens":722,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":495,"completion_tokens_details":{"reasoning_tokens":629}},"tokens_in":495,"tokens_out":722,"duration_ms":8283,"temperature":1.0,"reasoning_tokens":629,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T00:23:13.424473+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the first eigenvalue of a concrete complete balanced Hermitian non-Kähler manifold with positive SB holomorphic Ricci curvature; if λ₁ < 2nK, Theorem 1.1 is false. Alternatively, verify or disprove the companion diameter bound D ≤ π/√K on a balanced non-Kähler example—e.g. a nilmanifold or Hopf manifold with the appropriate SB-Ricci positivity—since that bound is the step that takes the complete hypothesis to the compact setting.","supporting_citations":[],"review_version":1}