{"id":"e5b752a3-564d-4e65-80e0-f41cd52db7ed","arxiv_id":"2608.08193","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A compact Kähler manifold with positive Ricci curvature has volume at most 2 n^n/(n+1)^n times the projective space volume, unless it is the quadric or P^1 times P^{n-1}.","lead":"This paper pins down the exact largest volume a curved Kähler space can have when Ricci curvature is positive but the space is not the standard complex projective space. It shows the two extremal spaces are the smooth quadric hypersurface and the product P^1 times P^{n-1}, answering a sharpness question left open by earlier rigidity theorems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The sharp constant rests on Proposition 2.7, whose three phi_d volume-deviation formulas are only sketched and deferred to [LM25]; an undetected error in any of the three asymptotic regimes would change the 2 n^n bound and hence epsilon(n).","rationale":"Read in good faith, the paper has a coherent strategy and I found no internal contradiction. The constant is computed rather than fitted: the d=2 case can be checked explicitly on P^1 x P^{n-1}, the Section 5 blowup computation is self-contained and appears correct, and the equality cases are handled by a sensible Okounkov-body argument. The main weakness is verification debt: Proposition 2.7 is the only source of the numerical factor, and its proof is an outline referring to [LM25]; likewise Theorem 4.1's final strict inequality and Section 5's anticanonical volume bound are referred to [LM25]. The equality characterization additionally uses [JLR26], but that affects only the equality statement, not the inequality. These are addressable gaps in support rather than demonstrated errors, so I do not move the verdict; it remains conditional. The reader's weakest_assumption already identified Proposition 2.7, and my concern is the same one, so my agreement is full.","tokens_in":26222,"tokens_out":46471,"duration_ms":461037,"concrete_test":"Independently compute the leading asymptotics of the sum in equation (12) for Case III of Proposition 2.7 in the simplest nontrivial instance n=4, d=3. For x=2 and x=5, evaluate S_k = sum_{y=0}^{floor(xk)-1} sum_{m=0}^{floor(min{y,dk}/2)} binom(d-3+2m+t_y, d-3) binom(n-d+floor(y/2)-m, n-d) h^0(P^1,O(kd-2m)) with t_y = y mod 2, using exact integer arithmetic for increasing k, and confirm that S_k/(k^4/24) converges to phi_3(x) as given in Proposition 2.7. Then solve equation (20) with A=2n-d=5 and verify that phi_3(T) < 2*4^4. If the asymptotics match, the deferred estimate is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 2.7 is the quantitative engine: it converts the weighted-blowup valuations v_l from Section 2.2 into the lower bound vol(pi^*L - xE) >= vol(L) - phi_d(x), and every subsequent bound in Sections 3-5 uses one of the three phi_d formulas. The proof given only sketches the cohomological estimate for h^0(X,kL tensor I_y/I_{y+1}) and states the asymptotic phi_d with the phrase 'by the same calculation as in [LM25]'. In particular, the singular d=2 correction (x-d)^n for x>d, and the degree 3<=d<=n+1 formulas (both the x<=d expression and the integral expression for x>d), are asserted without the actual asymptotic computation. Theorem 4.1 then reduces to an analytic inequality phi_d(T)<2n^n via [LM25, Proposition 4.8], and Proposition 5.3 Case II cites [LM25, Lemma 4.13]; these are also deferred. The R-line bundle extension by continuity is plausible, but it inherits the Q-line bundle asymptotics, so it does not reduce the reliance. This is not an internal contradiction; the strategy is coherent, but the central numerical constant is only as secure as an unpublished same-authors preprint.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a sharp volume gap for Kähler manifolds with Ric(ω) ≥ (n+1)ω: any such compact Kähler manifold not biholomorphic to P^n has vol(X,ω) ≤ 2n^n/(n+1)^n vol(P^n,ω_FS), with equality precisely for the quadric Q^n and P^1×P^{n-1} with their standard Kähler-Einstein metrics. The proof establishes a stronger β-volume gap theorem (Theorem 1.4): for any Fano manifold X not P^n and any ample R-line bundle L, β(X,L)^n vol(L) ≤ 2n^n, and equality occurs only for Q^n and P^1×P^{n-1}. The argument uses the β-volume, minimal rational curves, weighted blowups, Okounkov bodies, and a classification result for Fano manifolds with minimal rational curves of degree n. In addition, the paper proves sharp volume estimates for K-semistable toric log Fano pairs (Theorem 1.6), resolving a conjecture of Andreasson-Berman.","tokens_in":26357,"tokens_out":30364,"duration_ms":268574,"significance":"If correct, this is a substantial result. It determines the optimal constant ε(n) in Liu's almost rigidity theorem for Kähler manifolds, with an explicit parameter-free constant and a complete equality case characterization. The proof is conceptually coherent and builds on recent advances in K-stability and the Yau-Tian-Donaldson conjecture. The toric application (Theorem 1.6) is also significant, as it settles the logarithmic gap hypothesis for toric log Fano pairs. The paper is generally well written and gives credit to prior work. However, as detailed below, the central numerical bound rests on technical estimates whose proofs are largely deferred to an unpublished preprint by the same authors.","major_comments":[{"comment":"This proposition is the quantitative engine of the paper; it supplies the lower bounds vol(π^*L−xE) ≥ vol(L)−φ_d(x) used in Propositions 3.2, 3.3, and Theorem 4.1 to derive the sharp constant 2n^n. The proof is only an outline: the three cases are stated, but the asymptotic expansions of the sums in Case II and Case III are asserted with 'by the same calculation as in [LM25]', and the R-line bundle extension is by continuity. Since [LM25] is an unpublished same-authors preprint, the manuscript does not on its own establish the central estimate. The authors should either include the complete proof of Proposition 2.7, or state it as a theorem from [LM25] with explicit verification that the hypotheses of [LM25] are satisfied in the present setting (including the degree ranges and the nef threshold condition s_η(X,L)≥1).","section":"§2.2, Proposition 2.7"},{"comment":"Theorem 4.1's proof relies directly on [LM25, Proposition 4.8] for the strict inequality β_η^n vol(L) < 2n^n in the case 3≤d≤n−1, and Proposition 5.3 (Case II) relies on [LM25, Lemma 4.13] for the volume computation (−K_X)^n < 2n^n. These are load-bearing for the gap theorem in the cases 3≤d≤n−1 and for blow-ups of P^n. The present text should either prove these statements or give precise references (including the statements) so that the reader can verify the claims without consulting an unpublished preprint.","section":"§4 and §5"}],"minor_comments":[{"comment":"In the proof of Case I, the line 'yielding (1+√2)/((√3/2)^3) < 2' appears to contain a typo: the denominator should be (√(3/2))^3 (i.e., w_3^3) rather than (√3/2)^3; as written, the inequality is false.","section":"§5, Proposition 5.3"},{"comment":"The title page contains the word 'CURV ATURE' with a line break; if this is not merely a PDF rendering artifact, please correct it.","section":"Title page"},{"comment":"The expression for φ(x) for x>2 is written as (n−1)x^n + (x−2)^n − n(x−2)x^{n−1}, which is equivalent to the formula in Proposition 2.7 Case (2) but may confuse the reader; consider using the same expression in both places.","section":"§3.2, Proposition 3.3"}],"recommendation":"major_revision","confidential_remarks":"The main concern for the editor is the degree to which the paper depends on the unpublished preprint [LM25] by the same authors. The referee did not find circular reasoning, since [LM25] and the other cited works do not assume the present result. However, for a top journal, the authors should be asked to make the paper self-contained with respect to Proposition 2.7 and the cited results in Sections 4-5, or to specify the status of [LM25] (e.g., accepted for publication) and provide the relevant statements. The paper is otherwise promising and the result is significant."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper settles the sharp volume gap in the Kähler almost rigidity theorem: if Ric ≥ (n+1)ω and X is not P^n, then vol(X,ω) ≤ 2n^n/(n+1)^n vol(P^n), with equality exactly for Q^n and P^1 × P^{n-1}. That is a real and important result. The new content is the beta-volume gap for arbitrary ample R-line bundles, not just -K_X in the K-semistable case. [Zha22] only produced an implicit gap; [LM25] handled K-semistable Fano manifolds. The paper also resolves the Andreasson-Berman logarithmic gap hypothesis for K-semistable toric log Fano pairs. Both are substantial.\n\nThe strongest part is the equality characterization. The paper handles irrational classes via Okounkov bodies of product type, extending the Q-line bundle analysis in [LM25], and the Seshadri constant argument is clean. The constant 2 n^n /(n+1)^n is computed, not fitted.\n\nThe soft spot is exactly the one your reader flagged: Proposition 2.7 is the engine, and its proof is an outline. The three phi_d formulas for weighted blowups are asserted with the asymptotic computation referred to [LM25]. If any of those formulas fails in the regimes used in Sections 3-5, the bound changes. This is not an internal contradiction, and the strategy is coherent, but the central numerical constant is only as secure as an unpublished same-authors preprint. The referee will need access to [LM25], or the authors should expand the proof. Appendix A is a sketch, and Appendix B cites [JLR26] for the bend-and-break input; both are addressable.\n\nOverall, this deserves a serious referee. The result is important, the proof structure is checkable, and the reliance on companion papers is disclosed rather than hidden. I would send it to a refereed venue and ask the referee to verify Proposition 2.7 carefully, with the option to request the full calculation in a revised version.","headline":"This paper determines the sharp volume gap in the Kähler almost rigidity theorem; the constant looks right, and the place to focus referee scrutiny is Proposition 2.7.","tokens_in":27035,"tokens_out":3811,"would_cite":true,"duration_ms":34437,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","14J45","32Q20","14M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a sharp volume gap: a compact Kähler manifold with Ric(ω) ≥ (n+1)ω that is not biholomorphic to P^n has volume at most (2 n^n/(n+1)^n) times the volume of projective space, with equality exactly on the quadric…","keywords":["Kähler manifolds","positive Ricci curvature","volume gap","β-volume","Fano manifolds","minimal rational curves","K-semistability","toric log Fano pairs"],"falsifier":"One concrete check is to compute the left side of Proposition 2.7 directly in a nontrivial case, for example a Fano threefold with a minimal rational curve of degree d = 3 and an ample R-line bundle L, evaluating vol(π^*L − xE) for some x > d and comparing it with the claimed lower bound vol(L) − φ_3(x); a violation would falsify the main theorem. A second check is to search for any smooth Fano manifold X not isomorphic to P^n and any ample R-line bundle L with β(X,L)^n · vol(L) = 2 n^n other than the quadric or $P^{1}$ × $P^{{n-1}}$, since the paper asserts no such example exists.","tokens_in":25892,"feed_emoji":"📐","tokens_out":4931,"duration_ms":45579,"temperature":0.7,"pith_summary":"The paper determines the exact volume threshold that separates projective space from all other Kähler manifolds with positive Ricci curvature. It proves that if (X^n, ω) is compact Kähler with Ric(ω) ≥ (n+1)ω and X is not biholomorphic to P^n, then vol(X, ω) ≤ (2 n^n/(n+1)^n) vol(P^n, ω_FS), with equality precisely for the quadric hypersurface Q^n and the product $P^{1}$ × $P^{{n-1}}$ carrying their standard Kähler–Einstein metrics. This makes the previously implicit constant in the almost-rigidity theorem equal to 1 − 2 n^n/(n+1)^n. The proof works through the rescalable β-volume β(X,L)^n vol(L), establishing a sharp gap 2 n^n for Fano manifolds with any ample R-line bundle, and extends to K-semistable toric log Fano pairs.","feed_headline":"Second-largest Kähler volume found: quadric or P^1×P^{n-1}","feed_subtitle":"Ricci-positive Kähler manifolds beyond projective space cap at 2 n^n/(n+1)^n of Fubini–Study volume, and the bound is attained.","key_machinery":"Two pieces carry the argument. First, the β-volume β_η(X,L)^n · vol(L), a rescaling-invariant quantity that controls the actual Kähler volume through the inequality β(X,L) ≥ n+1. Second, the weighted-blowup estimates of Proposition 2.7, which give explicit lower bounds for vol(π^*L − xE) when blowing up a minimal rational curve of degree d: the three cases (embedded d=2, singular d=2, and 3 ≤ d ≤ n+1) produce the functions φ_d(x) that drive the volume comparison. These estimates are combined with Okounkov-body techniques to control equality cases, and with classifications of Fano manifolds by their minimal rational curve degrees.","core_discovery":"The central assertion is a sharp volume gap: on any compact Kähler manifold (X^n, ω) with Ric(ω) ≥ (n+1)ω, if X is not biholomorphic to P^n, then vol(X, ω) is at most (2 n^n/(n+1)^n) vol(P^n, ω_FS), and equality occurs only when (X, ω) is biholomorphically isometric to Q^n or $P^{1}$ × $P^{{n-1}}$ with their standard Kähler–Einstein metrics. Equivalently, in the almost-rigidity theorem the optimal constant is ε(n) = 1 − 2 n^n/(n+1)^n. The result is obtained by proving a sharper gap for the algebraically defined β-volume: for any smooth Fano manifold X not isomorphic to P^n and any ample R-line bundle L, β(X,L)^n · vol(L) ≤ 2 n^n, with equality only for X ≅ Q^n or X ≅ $P^{1}$ × $P^{{n-1}}$.","pith_inferences":["The result suggests that the volume-gap constant is universal across all Fano Kähler classes, not just the anticanonical class, which may inform the search for sharp constants in K-stability and height bounds for Fano varieties.","The equality characterization relies on large Seshadri constants forcing a product structure; a natural test is whether similar rigidity holds for singular Fano varieties or for twisted pairs with nonzero current η.","The proof's dependence on the classification of degree-n minimal rational curves means that a full classification of uniruled manifolds whose minimal curves all have degree at least n (posed as a question in Remark 5.2) could extend the equality analysis to further cases.","The toric result resolves the logarithmic gap hypothesis, which in turn may tighten arithmetic applications such as sharp height bounds and Manin–Peyre estimates for K-semistable Fano varieties."],"forward_implications":["If correct, the sharp constant in the almost-rigidity theorem for Kähler manifolds is exactly ε(n) = 1 − 2 n^n/(n+1)^n, with no gap between the volume threshold and the second-largest possible volume.","Any compact Kähler manifold with Ric ≥ (n+1)ω that is not P^n has volume no larger than that of Q^n or P^1 × P^{n-1}, so the second-largest volume is attained and the extremal spaces are rigid.","The same bound β(X,L)^n · vol(L) ≤ 2 n^n holds for all smooth Fano manifolds (except P^n) and all ample R-line bundles, which yields a purely algebro-geometric gap independent of a fixed Kähler class.","For K-semistable toric log Fano pairs, the anticanonical degree (−K_X − Δ)^n is at most 2 n^n, with equality only for (P^1 × P^{n-1}, 0).","The twisted version (Theorem 1.5) implies that if a twisted Fano pair has β-volume above 2 n^n, then every minimal rational curve has anti-canonical degree at least n, forcing a restricted list of possibilities."],"supporting_citations":[{"why":"Supplies the detailed weighted-blowup estimates and the φ_d volume-loss formulas that Proposition 2.7 outlines and that Sections 3 and 4 rely on.","marker":"[LM25]"},{"why":"Provides the earlier β-volume bound β(X,L)^n vol(L) ≤ (n+1)^n with equality characterizing P^n, and the Okounkov-body strategy for equality cases.","marker":"[Zha22]"},{"why":"Gives the volume estimate that underlies the β-volume approach to Fano manifolds.","marker":"[Fuj18]"},{"why":"Establishes the existence of minimal rational curves on Fano manifolds, which are the geometric objects blown up in Proposition 2.7.","marker":"[Mor79]"},{"why":"Provides the Okounkov-body positivity theory used to prove Proposition 3.4 about Seshadri constants and to handle R-line bundles.","marker":"[KL17]"},{"why":"Supplies the Yau–Tian–Donaldson correspondence that connects the analytic greatest Ricci lower bound to the algebraic δ- and s-invariants.","marker":"[BBJ21]"},{"why":"Gives the embedded projective subspace with trivial normal bundle in a toric manifold, used in the toric gap estimate.","marker":"[CFH14]"},{"why":"Provides the normalized volume bound for toric singularities that Proposition A.1 extends to the logarithmic setting.","marker":"[MS24]"},{"why":"Used to identify β(X,−K_X) with the δ-invariant for K-semistable Fano manifolds, connecting Theorem 1.4 to K-stability.","marker":"[Li17]"}],"fun_headline_variants":["Sharp Kähler volume gap: beyond P^n, cap at 2n^n/(n+1)^n","Kähler volume gap: only Q^n and P^1×P^{n-1} attain the sharp bound","Optimal volume cap for Ricci-positive Kähler manifolds","Sharp volume gap: Kähler manifolds with Ric≥(n+1)ω cap at 2n^n/(n+1)^n","Tight bound: Kähler volume beyond P^n is at most 2n^n/(n+1)^n"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the three volume-loss formulas for blowing up minimal rational curves, stated with only a proof outline and with detailed calculations deferred to another preprint, hold exactly in all the ranges where Sections 3 and 4 use them.","fun_headline_variants_meta":{"raw":{"variants":["Sharp Kähler volume gap: beyond P^n, cap at 2n^n/(n+1)^n","Kähler volume gap: only Q^n and P^1×P^{n-1} attain the sharp bound","Optimal volume cap for Ricci-positive Kähler manifolds","Sharp volume gap: Kähler manifolds with Ric≥(n+1)ω cap at 2n^n/(n+1)^n","Tight bound: Kähler volume beyond P^n is at most 2n^n/(n+1)^n"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000811,"raw_usage":{"total_tokens":3577,"prompt_tokens":987,"completion_tokens":2590,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":603,"completion_tokens_details":{"reasoning_tokens":2451}},"tokens_in":603,"tokens_out":2590,"duration_ms":20141,"temperature":1.0,"reasoning_tokens":2451,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T00:19:57.618528+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete check is to compute the left side of Proposition 2.7 directly in a nontrivial case, for example a Fano threefold with a minimal rational curve of degree d = 3 and an ample R-line bundle L, evaluating vol(π^*L − xE) for some x > d and comparing it with the claimed lower bound vol(L) − φ_3(x); a violation would falsify the main theorem. A second check is to search for any smooth Fano manifold X not isomorphic to P^n and any ample R-line bundle L with β(X,L)^n · vol(L) = 2 n^n other than the quadric or $P^{1}$ × $P^{{n-1}}$, since the paper asserts no such example exists.","supporting_citations":[],"review_version":1}