{"id":"3a76e4b1-0851-4ddd-9477-ff221839eb1c","arxiv_id":"2507.08528","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A smooth Fano threefold of Family no.2.16 is K-stable if a chosen finite automorphism group fixes no k-rational point of the singular locus of its discriminant quartic.","lead":"This paper proves an explicit criterion for K-stability of smooth Fano threefolds called Fano's last Fanos, based on symmetries and a discriminant curve. It also lists all possible automorphism groups of these varieties.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof of Main Theorem rests on unverified bounds (5.1)–(5.2) from [27, Lemma 24] for local δ-invariants of degree-4 del Pezzo surfaces; if that lemma's hypotheses fail for the surfaces in Family №2.16, the inequalities S(W)≤γA_S(F) collapse and §5.3's contradiction is unsupported.","rationale":"The reader's weakest assumption is exactly the one I find most load-bearing: the local δ-bounds (5.1)–(5.2) for degree-4 del Pezzo surfaces are imported without proof from Lemma 24 of [27], and the present paper never verifies that the lemma's hypotheses cover the surfaces arising from Family №2.16. Since these bounds are the numerical engine behind Propositions 5.2.3 and 5.2.4, a failure there would break the contradiction in §5.3 and leave Main Theorem unproved. I agree with the reader's diagnosis. The reader chose to accept despite this; I would instead make acceptance conditional on the proposed verification, because the missing check concerns the central claim rather than a peripheral computation. I also note a smaller gap: §5.3's conclusion establishes K-polystability, and the upgrade to K-stability requires the finiteness of Aut(X_C) from Theorem 4.3.1, which is not explicitly cited in that section. This is easily remedied and does not change the main verdict. The Magma-dependent automorphism classification is auxiliary to the K-stability proof and is not the source of the most serious risk.","tokens_in":63738,"tokens_out":16192,"duration_ms":195942,"concrete_test":"Independently verify [27, Lemma 24] for the specific surfaces used in Propositions 5.2.3–5.2.4: for each combinatorial case (C smooth or reducible, P ∈ E or not), compute δ_P(S, D_t) exactly for t ∈ [0,1] using the Zariski-decomposition algorithm of Appendix B on the anticanonical model of S (the blow-up of P^2 at five points, with C a conic satisfying C^2 = 0 and −K_S·C = 2). If the computed values are at least the right-hand sides of (5.1) and (5.2) for all t, the constants γ in Proposition 5.2.3 stand and the proof of Main Theorem is complete; if any value is smaller, recompute γ and check whether δ_P(X) > 1 still follows.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The final contradiction in §5.3 proves only that X_C is K-polystable; to reach K-stability one still needs finiteness of Aut(X_C), which is available from Theorem 4.3.1 but is not cited in that paragraph. The main load-bearing step, however, is the lower bound δ_P(X) ≥ γ > 1 for every point P with g(P) ∉ Sing(Δ). Propositions 5.2.3 and 5.2.4 establish these bounds by reducing to the local δ-invariant of the polarized surface (S, D_t), where S ∈ |g^*O(1)| contains P and C is the fiber of the conic bundle through P. The crucial inequalities (5.1) and (5.2) for δ_P(S, D_t) are quoted from [27, Lemma 24] and are not proved in the present paper. The paper does not check that Lemma 24's hypotheses hold for every smooth degree-4 del Pezzo surface that arises here, including the cases where C is reducible, where P ∈ E, and where E ≅ F2 outside the special (−2)-curve case. If the lemma does not apply or gives weaker bounds in any of these cases, then the displayed coefficients γ (e.g., 176/161, 176/169, 88/85, 88/89) can be wrong, the asserted inequality S(W_{•,•}^S;F) ≤ γ A_S(F) may fail, and the contradiction in §5.3 collapses. This is the single most load-bearing assumption of the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies smooth Fano threefolds of Picard rank 2 and degree 22 that arise as blow-ups of a smooth (2,2)-complete intersection in P^5 along a conic (Family №2.16). Its main theorem gives an explicit criterion for K-stability: if X is defined over a subfield k⊂C, G is a finite subgroup of Aut(X), and G fixes no k-point of Sing(Δ), where Δ is the discriminant quartic of the conic bundle g:X→P^2, then the geometric model X_C is K-stable. The proof combines Zhuang's equivariant K-stability theorem with the Abban–Zhuang method: for each point P with g(P) outside Sing(Δ), the local δ-invariant is bounded below by explicit constants >1 via Zariski decomposition computations on a degree-4 del Pezzo surface S∈|g^*O(1)|. The paper also classifies the possible nontrivial automorphism groups of these threefolds as 17 finite groups, using a mix of manual arguments and Magma computations.","tokens_in":64086,"tokens_out":6992,"duration_ms":82569,"significance":"If the main theorem is correct, it provides an effective, checkable K-stability criterion for a large class of Fano threefolds, going substantially beyond the non-effective openness argument in the existing literature. The paper contains detailed and explicit computations of local δ-invariants, with all Zariski decompositions spelled out, together with reproducible Magma code for the automorphism-group classification. The main risk is the unproved import of the local del Pezzo estimates (5.1) and (5.2) from [27]; these bounds are load-bearing for the main theorem. Apart from that risk, the central argument is coherent and the result is significant.","major_comments":[{"comment":"The lower bounds for δ_P(X) are obtained from the inequalities (5.1) and (5.2), quoted from [27, Lemma 24] without proof and without a detailed verification that the hypotheses of that lemma hold for every degree-4 del Pezzo surface S that arises here, including the cases where C is reducible, where P∈E, and the weak del Pezzo case treated in Proposition 5.2.6. These inequalities feed directly into the displayed coefficients γ (for example 176/161, 176/169, 88/85, 88/89); if they fail, the inequalities S(W^S_{•,•};F) ≤ γ A_S(F) are unsupported and the contradiction in §5.3 collapses. Please either prove (5.1)–(5.2) in the present setting or state Lemma 24 in full and verify its hypotheses case by case.","section":"§5.2, Propositions 5.2.3 and 5.2.4"},{"comment":"The final argument proves that X_C is K-polystable: Theorem 2.6.3 gives β(E)>0 for G-invariant divisors, hence K-polystability. To conclude K-stability rather than merely K-polystability, one must also know that Aut(X_C) is finite; this follows from Theorem 4.3.1, but that theorem is not cited in the paragraph. Please add the explicit step using Corollary 2.2.5.","section":"§5.3"}],"minor_comments":[{"comment":"In the case split at the end of the proof, the final sentence says “if P∈E and C is irreducible”; the coefficients 1/22, 19/22 and 9/88 come from the reducible case, so “irreducible” should read “reducible”.","section":"§5.2, Proposition 5.2.3"},{"comment":"The computation at the end of the proof states S(W^{S,G}_{•,•,•};O)=37/88+9/88=23/4; the correct sum is 23/44, which is what the preceding inequalities require.","section":"§5.2, Proposition 5.2.4"},{"comment":"The proof asserts without proof or reference that when P lies in Γ∩L_2, the three curves L_1, L_2 and Γ are pairwise transverse at P and satisfy L_1+L_2+Γ∼−K_S. This geometric input is used for the subsequent blow-up Zariski decompositions; please add a justification or a precise citation.","section":"§5.2, Proposition 5.2.4"},{"comment":"The classification proof relies on Magma computations and a final manual verification; the code is included in the appendices and is publicly available, but the manual verification step is described only briefly. A short explanation of how the potential inclusion of one group in another was ruled out in the remaining cases would improve reproducibility.","section":"§4.3, Theorem 4.3.1"}],"recommendation":"major_revision","confidential_remarks":"The paper's central claim is plausible and the self-contained computations are careful, but the main theorem currently rests on an unproved external lemma whose hypotheses are not checked. This is fixable within the scope of the paper, so I recommend major revision rather than rejection. Section 6 is largely conjectural and not needed for the main theorem; the authors may wish to present it more explicitly as future work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what the title promises: it replaces the earlier non-effective genericity statement with an explicit criterion for K-stability of smooth Fano threefolds in Family 2.16: if a finite subgroup G fixes no k-point of Sing(Δ), then X_C is K-stable. That is a real advance, and it is backed by a genuinely analytic proof using the Abban–Zhuang method with explicit Zariski decompositions and computed integrals. The second main result, the complete list of 17 possible automorphism groups, is new and looks credible: the Magma code is included, the manual checks are described, and the cases are split cleanly between the smooth and singular Fermat quadric. Section 6 is explicitly conjectural, which is honest and useful context rather than a flaw.\n\nThe main soft spot is exactly where the stress-test points: the local δ-invariant bounds (5.1) and (5.2) are imported without proof from [27, Lemma 24], and they carry the whole argument in Propositions 5.2.3 and 5.2.4. The authors do not verify in the present paper that Lemma 24's hypotheses cover every degree-4 del Pezzo surface S that arises here, including reduced reducible fibers, the case P ∈ E, and the F2 special fiber. That is a legitimate request for the referee, not a demonstrated error. The cited paper is published and by very relevant authors, so I would bet the lemma applies, but this needs to be checked line by line before accepting.\n\nTwo smaller issues. First, the contradiction in §5.3 proves K-polystability, not K-stability; the finiteness of Aut(X_C) is available from Theorem 4.3.1 but is not cited in that paragraph. A one-line fix. Second, there are minor typos: a computed value \"23/4\" should be \"23/44\", and one case in the proof of Proposition 5.2.3 says \"C irreducible\" where it should say \"reducible\". The Magma computations come with code but no certificates; independent verification of the 17-group table would be good practice but is not a blocker.\n\nOverall: the central argument is sound in shape, the result is important for the classification of K-stable Fano threefolds, and the flaws are proportional and repairable. This paper deserves a serious referee, and I would expect it to be accepted after the imported lemma is verified and the typos are fixed.","headline":"Explicit, checkable K-stability criterion for Fano's last Fanos, plus a full automorphism group classification; the proof is careful but leans on an imported lemma the referee must verify.","tokens_in":64658,"tokens_out":3177,"would_cite":true,"duration_ms":37775,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J45","14J30","14J50","32Q20","14L24"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves an explicit equivariant criterion for K-stability of Fano's last Fanos, and classifies their automorphism groups.","keywords":["K-stability","Fano threefolds","Kähler–Einstein metrics","conic bundles","discriminant quartic","del Pezzo surfaces","automorphism groups","equivariant K-stability"],"falsifier":"Take an explicit Fano's last Fano satisfying the Main Theorem's hypothesis, for instance the $A_4$-symmetric example from [7, Section 5.6] over $k=\\mathbb{Q}$ with $G=A_4$, and compute $\\delta(X_{\\mathbb{C}})$ or check the $\\beta$-criterion. If any $G$-invariant divisor $E$ over $X$ has $\\beta(E)\\le 0$, or if a local threshold from Propositions 5.2.3, 5.2.4, or 5.2.6 drops below $1$ at a point lying over a nonsingular point of $\\Delta$, the theorem fails. A cheaper check is to test inequalities (5.1) and (5.2) on every degree-$4$ del Pezzo surface $S\\in |g^{*}\\mathcal{O}_{\\mathbb{P}^2}(1)|$; a single violation would invalidate Section 5.3.","tokens_in":63549,"feed_emoji":"","tokens_out":9386,"duration_ms":103287,"temperature":0.7,"pith_summary":"Fano's last Fanos are smooth Fano threefolds of degree 22 and Picard rank 2 obtained by blowing up a complete intersection of two quadrics in $\\mathbb{P}^5$ along a conic. This paper gives a checkable criterion for when one of them is K-stable, phrased in terms of the discriminant quartic $\\Delta$ of the conic bundle $g\\colon X\\to\\mathbb{P}^2$: if a finite group $G\\subset\\operatorname{Aut}(X)$ fixes no $k$-point of $\\operatorname{Sing}(\\Delta)$, then the geometric model $X_{\\mathbb{C}}$ is K-stable and therefore carries a K\\\"ahler\\textendash Einstein metric. The paper also shows that every such threefold has finite automorphism group and that the possible nontrivial groups are exactly 17 finite groups. A sympathetic reader should care because K-stability is the algebro-geometric condition controlling the existence of these metrics and the structure of K-moduli spaces.","feed_headline":"Quartic condition decides K-stability of Fano's last Fanos","feed_subtitle":"If a symmetry group fixes no singular point of the discriminant curve, the threefold admits a Kähler–Einstein metric.","key_machinery":"The carrying mechanism is the admissible-flag method for lower-bounding local stability thresholds. For each point $P$, the paper chooses a general surface $S$ in $|g^{*}\\mathcal{O}_{\\mathbb{P}^2}(1)|$ containing $P$; apart from one special case, $S$ is a smooth del Pezzo surface of degree $4$, with ${\\left.-K_X\\right|}_{S}=-K_S$, and the fiber $C$ of the conic bundle through $P$ falls into smooth, reducible, or non-reduced cases. The argument computes the Zariski decomposition of $-K_X-uS$, reduces local invariants to explicit integrals of volumes on $S$ and on curves inside it, and feeds in lower bounds for $\\delta_P(S,D_t)$ on del Pezzo surfaces. The output is explicit constants such as $\\delta_P(X)\\ge 176/171$ at points lying over nonsingular points of $\\Delta$, with the remaining special configurations treated separately.","core_discovery":"The central claim is the Main Theorem: if $X$ is a smooth Fano threefold in Family no. 2.16 defined over a subfield $k\\subset\\mathbb{C}$, $G$ is a finite subgroup of $\\operatorname{Aut}(X)$, and $G$ fixes no $k$-point of $\\operatorname{Sing}(\\Delta)$, where $\\Delta$ is the discriminant quartic of the conic bundle $g\\colon X\\to\\mathbb{P}^2$, then the geometric model $X_{\\mathbb{C}}$ is K-stable. The proof argues by contradiction: if $X_{\\mathbb{C}}$ were not K-polystable, equivariant K-stability results produce a $G$-invariant geometrically irreducible divisor $E$ over $X$ with $\\beta(E)\\le 0$ whose center is not a surface. Projecting that center to $\\mathbb{P}^2$ yields a $k$-point that is not singular on $\\Delta$, and at such a point the local $\\delta$-invariant is shown to be strictly larger than $1$, contradicting $\\delta_{P}(X_{\\mathbb{C}})\\le 1$. Since $\\operatorname{Aut}(X)$ is finite, K-polystability upgrades to K-stability.","pith_inferences":["The method stops at non-reduced fibers $C=2L$, where the surface-level computation gives $S(W^S_{\\bullet,\\bullet};L)=31/22>1$ and does not prove $\\delta_P(X)>1$; extending the local computation to this case is the natural next step toward deciding K-stability for all Fano's last Fanos.","Because the hypothesis is phrased in terms of $k$-points of the discriminant quartic, the theorem creates a direct bridge between rational-point behavior of $\\Delta$ and analytic geometry: fields that force rational points on $\\Delta$ may obstruct K-stability, while pointless discriminants guarantee it.","If the conjectured identification of the K-moduli space with a GIT quotient is established, the explicit threshold criterion would describe which boundary points of the K-moduli stack occur, identifying the K-semistable locus inside the parameter space as a GIT-semistable locus.","The short list of 17 automorphism groups suggests that one can in principle enumerate all pairs $(X,G)$ and verify the Main Theorem's hypothesis group by group, turning K-stability for this family into a finite classification statement."],"forward_implications":["If the Main Theorem is correct, K-stability of an explicitly given Fano's last Fano is decided by a finite computation: form the discriminant quartic $\\Delta$, inspect $\\operatorname{Sing}(\\Delta)$ over $k$, and apply the criterion.","A smooth discriminant quartic forces K-stability; so does absence of $k$-points on $X$, and so does the condition that the symmetry group fixes no $k$-point of $\\Delta$ or of $X$.","Together with the established equivalence between K-polystability and existence of K\\\"ahler\\textendash Einstein metrics, every member satisfying the hypothesis admits a K\\\"ahler\\textendash Einstein metric.","The classification of automorphism groups into 17 finite groups makes the hypothesis checkable from explicit equations for the threefold and its invariant planes.","The openness of K-stability turns the criterion into a Zariski-open locus of K-stable members, making the earlier non-effective statement for general members effective."],"supporting_citations":[{"why":"Supplies the admissible-flag inequalities (Theorems 5.1.1–5.1.6) used to lower-bound local $\\delta$-invariants.","marker":"[3]"},{"why":"Proved that a general member of Family no. 2.16 is K-stable and supplies the degree-$4$ del Pezzo surface estimate $\\delta(S)\\ge 4/3$ and the $A_4$-symmetric example used as a starting point.","marker":"[7]"},{"why":"Lemma 24 gives the lower bounds (5.1) and (5.2) for $\\delta_P(S,D_t)$ on degree-$4$ del Pezzo surfaces, the load-bearing input for Propositions 5.2.3 and 5.2.4.","marker":"[27]"},{"why":"Provides the equivariant K-stability theorem used to reduce K-polystability of $X_{\\mathbb{C}}$ to positivity of $\\beta(E)$ on all $G$-invariant divisors over $X$, and to produce a destabilizing divisor if $X_{\\mathbb{C}}$ is not K-polystable.","marker":"[104]"},{"why":"Fujita's valuative criterion for K-stability is cited together with [104] to obtain a divisor with $\\beta(E)\\le 0$ in the contradiction argument.","marker":"[50]"},{"why":"Equivariant K-semistability results cited with [50,104] for the existence of the destabilizing divisor.","marker":"[69]"},{"why":"Shows the center of the destabilizing divisor is not a surface, forcing the case analysis on points and curves in Section 5.3.","marker":"[49]"},{"why":"Gives the fact that K-stable Fano varieties have finite automorphism group, used to pass from K-polystability to K-stability.","marker":"[21]"}],"fun_headline_variants":["Automorphism group's fixed points decide Fano K-stability","No fixed discriminant singularity means Fano is K-stable","If automorphism fixes no discriminant singular point, Fano is K-stable","K-stability of Fanos determined by automorphism's fixed points"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof leans on an imported lemma stating that on every degree-$4$ del Pezzo surface obtained here, the local stability threshold $\\delta_P(S,D_t)$ stays above the explicit rational bounds (5.1) and (5.2); if that lemma fails for even one such surface, the inequalities $S(W^S_{\\bullet,\\bullet};F)\\le \\gamma A_S(F)$ can fail and the contradiction in Section 5.3 collapses.","fun_headline_variants_meta":{"raw":{"variants":["Automorphism group's fixed points decide Fano K-stability","No fixed discriminant singularity means Fano is K-stable","If automorphism fixes no discriminant singular point, Fano is K-stable","K-stability of Fanos determined by automorphism's fixed points"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000984,"raw_usage":{"total_tokens":4119,"prompt_tokens":835,"completion_tokens":3284,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":451,"completion_tokens_details":{"reasoning_tokens":3210}},"tokens_in":451,"tokens_out":3284,"duration_ms":24101,"temperature":1.0,"reasoning_tokens":3210,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:18:18.590655+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an explicit Fano's last Fano satisfying the Main Theorem's hypothesis, for instance the $A_4$-symmetric example from [7, Section 5.6] over $k=\\mathbb{Q}$ with $G=A_4$, and compute $\\delta(X_{\\mathbb{C}})$ or check the $\\beta$-criterion. If any $G$-invariant divisor $E$ over $X$ has $\\beta(E)\\le 0$, or if a local threshold from Propositions 5.2.3, 5.2.4, or 5.2.6 drops below $1$ at a point lying over a nonsingular point of $\\Delta$, the theorem fails. A cheaper check is to test inequalities (5.1) and (5.2) on every degree-$4$ del Pezzo surface $S\\in |g^{*}\\mathcal{O}_{\\mathbb{P}^2}(1)|$; a single violation would invalidate Section 5.3.","supporting_citations":[{"cited_title":"Cheltsov, K","cited_arxiv_id":null,"evidence_quote":"Lemma 24 gives the lower bounds (5.1) and (5.2) for $\\delta_P(S,D_t)$ on degree-$4$ del Pezzo surfaces, the load-bearing input for Propositions 5.2.3 and 5.2.4."},{"cited_title":"Zhuang,Optimal destabilizing centers and equivariant K-stability, Inventiones Mathematicae226(2021), 195–223","cited_arxiv_id":null,"evidence_quote":"Provides the equivariant K-stability theorem used to reduce K-polystability of $X_{\\mathbb{C}}$ to positivity of $\\beta(E)$ on all $G$-invariant divisors over $X$, and to produce a destabilizing divisor if $X_{\\mathbb{C}}$ is not K-polystable."},{"cited_title":"Fujita,A valuative criterion for uniform K-stability ofQ-Fano varieties, Journal für die Reine und Ange- wandte Mathematik751(2019), 309–338","cited_arxiv_id":null,"evidence_quote":"Fujita's valuative criterion for K-stability is cited together with [104] to obtain a divisor with $\\beta(E)\\le 0$ in the contradiction argument."},{"cited_title":"Li,K-semistability is equivariant volume minimization, Duke Mathematical Journal166(2017), 3147–3218","cited_arxiv_id":null,"evidence_quote":"Equivariant K-semistability results cited with [50,104] for the existence of the destabilizing divisor."},{"cited_title":"Fujita,On K-stability and the volume functions ofQ-Fano varieties, Proceedings of the LMS113(2016), 541–582","cited_arxiv_id":null,"evidence_quote":"Shows the center of the destabilizing divisor is not a surface, forcing the case analysis on points and curves in Section 5.3."}],"review_version":1}