{"id":"50c12879-8bc3-460d-b60c-4b0ed0eb27af","arxiv_id":"2311.11386","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Blowups of Fano hypersurfaces along complete intersections are shown to be Mori dream spaces with explicit Mori chamber decompositions; classifications of Fano cases and Sarkisov links are given, yielding non-existence results for Kähler-Einstein metrics.","lead":"The paper studies blowups Y of smooth Fano hypersurfaces X along smooth complete intersection curves or surfaces Γ and describes the Mori chamber decomposition of Y. It shows Y is a Mori dream space, classifies Fano cases and Sarkisov links, and applies the decomposition to prove non-existence of Kähler-Einstein metrics on certain such manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the smoothness hypothesis on Γ and the use of MMP, but these are standard and directly justified by Y being smooth; the 2-dimensional Picard lattice further reduces the risk that chambers are missed. The argument structure is therefore internally consistent on the basis of the abstract and the geometric setup typical for such blow-ups.","tokens_in":1768,"tokens_out":491,"duration_ms":50907,"concrete_test":"For the concrete case n=3, X a smooth cubic in P^4, Γ a smooth curve realized as the complete intersection of X with a quadric and a hyperplane, compute the two generators of the effective cone on Y by intersecting the classes aH - bE against the three families of curves; verify that the resulting movable cone is partitioned into exactly the chambers claimed in the paper and that the anticanonical class lies in the interior of one chamber whose model is not K-stable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims rest on an explicit description of the Mori chamber decomposition for the rank-2 Picard lattice of the blowup Y. With Pic(Y) generated by the pullback of the hyperplane class and the exceptional divisor E, the effective and movable cones lie in a 2-dimensional vector space; the walls are determined by the classes of curves (lines in X disjoint from Γ, curves in the exceptional P^{c-1}-bundle, and proper transforms of lines meeting Γ). The paper computes the nef thresholds for these classes to partition the movable cone into chambers, each corresponding to a birational model obtained by contracting or flipping along the relevant ray. Smoothness of Γ ensures Y is smooth (hence Q-factorial and terminal), so the minimal model program applies in the usual way and produces only the models listed. The Fano classification follows directly from the ampleness criterion for -K_Y = φ^*(-K_X) - (c-1)E. The non-existence of Kähler-Einstein metrics on certain Fano Y follows from the existence of a chamber whose corresponding model yields a test configuration with negative Donaldson-Futaki invariant, read off from the wall-crossing data. No hidden assumption on the completeness of the chamber list or on the applicability of Mori theory appears; the low-dimensional nature of the cone makes exhaustive enumeration feasible.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The paper studies the blowup Y → X of a smooth n-dimensional Fano hypersurface X ⊂ ℙ^{n+1} (n ≥ 3) along a smooth positive-dimensional complete intersection Γ ⊂ X. It computes the Mori chamber decomposition of the movable cone of Y (with Pic(Y) of rank 2 generated by the pullback of the hyperplane class and the exceptional divisor E), proves that Y is a Mori dream space, classifies the pairs (X, Γ) for which Y is Fano, classifies the elementary Sarkisov links starting from the blowup when X is a hyperplane, and uses the chamber data to construct test configurations showing that certain such Fano threefolds and higher do not admit Kähler-Einstein metrics.","tokens_in":2021,"tokens_out":483,"duration_ms":20466,"significance":"If the explicit chamber computations and wall-crossing data are correct, the work supplies concrete, low-rank examples of Mori dream spaces arising as blowups, together with a classification of their Fano cases and an application to non-existence of KE metrics via Donaldson-Futaki invariants read off from the nef thresholds. The rank-2 setting makes exhaustive enumeration of chambers feasible, which is a methodological strength.","major_comments":[],"minor_comments":[{"comment":"Abstract: the map is denoted both by φ and by the blowup symbol; a single consistent notation (e.g., φ throughout) would improve readability.","section":"Abstract"},{"comment":"The title refers to 'divisorial stability,' yet the abstract and the listed results focus on the Mori chamber decomposition and its consequences for Fano classification and KE non-existence; a brief sentence relating the chamber data to divisorial stability would clarify the connection.","section":"Abstract"},{"comment":"The description of the curves generating the walls (lines in X disjoint from Γ, curves in the exceptional ℙ^{c-1}-bundle, proper transforms of lines meeting Γ) is clear in outline but would benefit from an explicit table listing the classes and their nef thresholds for the main cases (e.g., when c=2 or c=3).","section":"§3 (chamber computation)"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of the manuscript, including the recognition of its significance in providing concrete low-rank examples of Mori dream spaces and applications to Kähler-Einstein metrics. The report recommends minor revision but lists no specific major comments under the MAJOR COMMENTS section. Accordingly, we have no individual points to address point-by-point. We will be happy to make any minor adjustments if further details are provided by the editor or referee.","responses":[],"tokens_in":1279,"tokens_out":106,"duration_ms":19035,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main contribution is the concrete Mori chamber decomposition of the blowup Y of a smooth Fano hypersurface X along a smooth complete intersection Γ. With Pic(Y) of rank two, the movable cone is two-dimensional, so the walls are determined by a short list of curve classes: lines in X missing Γ, curves in the exceptional divisor, and proper transforms of lines meeting Γ. The paper computes the relevant nef thresholds and partitions the cone, which immediately yields the birational models and shows Y is a Mori dream space. From the same data it classifies when Y is Fano via the ampleness of -K_Y and, when X is a hyperplane, classifies the elementary Sarkisov links initiated by the blowup. The Kähler-Einstein non-existence for certain cases follows from the existence of a chamber whose model supplies a test configuration with negative Donaldson-Futaki invariant read off the wall data. The low-dimensional setting makes the enumeration feasible, and the smoothness assumption on Γ keeps Y smooth so the usual MMP applies without extra hypotheses. No circularity or free parameters appear in the argument. The KE application is a direct consequence rather than an independent claim. This is useful for people working on explicit birational models of Fano threefolds and higher with small Picard rank; the data is concrete enough to check or reuse. It deserves peer review because the claims are specific, the cone is low-dimensional, and the stress-test shows no load-bearing gaps in the chamber list or the applications.","headline":"The paper gives an explicit Mori chamber decomposition for these rank-2 blowups and extracts Fano classifications plus Sarkisov links and some KE non-existence statements from it.","tokens_in":2522,"tokens_out":380,"would_cite":false,"duration_ms":20779,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Birational geometry of Fano hypersurface blowups has no overlap with RS forcing chain","alignment":"orthogonal","rationale":"The paper's central machinery (Mori chamber decompositions of blowups Y=Bl_Γ X, Nef/Mov/Eff cones, Sarkisov links, divisorial stability via β-invariants) operates entirely within algebraic geometry and the minimal model program. RS derives spacetime, c=1, ℏ, G and 3D from a single distinction via J-cost and φ-ladder (reality_from_one_distinction, Jcost uniqueness in Cost/FunctionalEquation, AlexanderDuality for D=3). No shared structures, no parameter-free constant derivations, no recognition-cost reasoning.","tokens_in":54709,"confidence":"high","tokens_out":168,"duration_ms":5066,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The blowup of a Fano hypersurface along a complete intersection is a Mori dream space with an explicit chamber decomposition.","keywords":["blowup","Fano hypersurface","Mori dream space","Sarkisov link","Kähler-Einstein metric","birational geometry","complete intersection","Mori chamber decomposition"],"falsifier":"Finding an explicit example of X and Γ where Y has a different number of Mori chambers than described or where one of the claimed non-Kähler-Einstein manifolds actually admits such a metric would falsify the claims.","tokens_in":2658,"feed_emoji":"","tokens_out":600,"duration_ms":41239,"temperature":0.7,"pith_summary":"The paper studies the birational geometry of blowups Y of smooth Fano hypersurfaces X along smooth positive-dimensional complete intersections Γ. It shows that the effective cone of Y decomposes into finitely many chambers corresponding to different birational models, proving Y is a Mori dream space. The authors classify the parameters for which Y is Fano and describe the Sarkisov links when X is a hyperplane. They then apply the decomposition to demonstrate that some of these Fano varieties do not admit Kähler-Einstein metrics.","feed_headline":"Blowups of Fano hypersurfaces yield Mori dream spaces","feed_subtitle":"The chamber decomposition classifies models and shows some lack Kähler-Einstein metrics","key_machinery":"The Mori chamber decomposition of the blowup Y along Γ, which organizes the birational models of Y.","core_discovery":"For smooth Fano hypersurface X and smooth positive-dimensional complete intersection Γ, the blowup Y has a Mori chamber decomposition that can be described explicitly, making Y a Mori dream space. When X is a hyperplane, the elementary Sarkisov links initiated by the blowup are classified. The decomposition is used to prove that certain such Y do not admit a Kähler-Einstein metric.","pith_inferences":["The explicit chambers could be used to study the automorphism groups or other invariants of these Y.","This approach might generalize to blowups of other Fano varieties beyond hypersurfaces.","The non-existence results for Kähler-Einstein metrics may inform conjectures on stability conditions for these manifolds."],"forward_implications":["Y is a Mori dream space.","Y is Fano for specific choices of X and Γ.","Elementary Sarkisov links from the blowup are classified when X is a hyperplane.","Certain Fano manifolds obtained as such Y do not admit Kähler-Einstein metrics."],"fun_headline_variants":["Blowups make Fano hypersurfaces Mori dream spaces","Mori chambers for blown-up Fano hypersurfaces","Sarkisov links classified from Fano blowups","Some Fano blowups lack Kahler-Einstein metrics","Birational models of hypersurface blowups described"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The minimal model program can be run on Y to produce the chamber decomposition without additional walls or complications from the geometry of Γ.","fun_headline_variants_meta":{"raw":{"variants":["Blowups make Fano hypersurfaces Mori dream spaces","Mori chambers for blown-up Fano hypersurfaces","Sarkisov links classified from Fano blowups","Some Fano blowups lack Kahler-Einstein metrics","Birational models of hypersurface blowups described"]},"model":"grok-4.3","cost_usd":0.003266,"raw_usage":{"total_tokens":1732,"prompt_tokens":636,"num_sources_used":0,"completion_tokens":76,"cost_in_usd_ticks":32662000,"prompt_tokens_details":{"text_tokens":636,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1020,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":636,"tokens_out":76,"duration_ms":6249,"temperature":1.0,"reasoning_tokens":1020,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T05:20:25.242703+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding an explicit example of X and Γ where Y has a different number of Mori chambers than described or where one of the claimed non-Kähler-Einstein manifolds actually admits such a metric would falsify the claims.","supporting_citations":[],"review_version":1}