{"id":"535d6c8b-3c06-4540-a1e9-89747a96a1ef","arxiv_id":"2505.04330","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every smooth Fano 3-fold that fails Condition (A), meaning it has a finite abelian automorphism group with no fixed point, is K-polystable except for eight explicit deformation families.","lead":"Algebraic geometers prove that in almost all smooth Fano 3-folds, having a finite abelian group of symmetries that moves every point forces the variety to be K-polystable, a stability condition tied to the existence of Kähler-Einstein metrics. Only eight exceptional families break this pattern, so the paper gives a clear geometric classification rule.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The main theorem's exception list is only as sound as the cited K-stability partition of all 105 families; the paper's own proofs cover only the 25-family remainder, so a misclassification in the 53-family list would change the theorem.","rationale":"The reader's weakest assumption correctly identifies the completeness of the cited K-stability classification as the most load-bearing external input. My reading of the paper confirms that the new proofs are concentrated on the 25 families in the third category, while the 53-family and 26-family classifications are taken verbatim from the literature. A mistake in any of those citations would propagate directly into the main theorem, because the paper does not provide an independent count of all 105 families. At the same time, I found no internal contradiction in the paper's own arguments: the lemmas in Sections 3 and 4 are structured, the exceptional examples in Section 5 are explicit, and the proof of the main theorem is coherent provided the cited partition is correct. The use of prior classification results is standard in this area, and the concern is a verification risk rather than a demonstrated error. Therefore the reader's ACCEPT verdict with moderate confidence remains appropriate; the proposed concrete test would reduce the residual risk for the most plausible point of failure.","tokens_in":35447,"tokens_out":34462,"duration_ms":356003,"concrete_test":"Audit one family from the 53-family list where the cited K-stability result is a recent preprint and where non-invariant extremal rays are known to occur, e.g. Family No.2.32: recompute delta(X) for its smooth members (or at least for members with maximal finite abelian automorphism group) using the admissible-flag formula of [2, Theorem 2.14/2.15], and check whether any member has delta <= 1 together with a fixed-point-free finite abelian subgroup of Aut(X). If such a member exists, the exception list is incomplete; if delta > 1 throughout, that specific risk is retired.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an 'if not K-polystable, then...' statement, so its truth is inherited from the partition in Section 1.2: 53 families are asserted to be entirely K-polystable, 26 families entirely K-unstable, Family No.2.26 has one K-unstable and one strictly K-semistable member, and the remaining 25 families have K-polystable general members. The paper's new arguments (Section 3 for 19 of the 27 non-polystable families, Section 4 for 15 of the 25 remaining families) do not re-prove the classifications for the 53 K-polystable families or for the 26-family K-unstable list. Thus a single error in any cited result could change the eight-exception list: for example, a family listed in (i) that actually contains a K-unstable member carrying a fixed-point-free finite abelian automorphism group, or a family in (ii) with a K-semistable member, would require a different statement. This is not merely hypothetical: several entries in (i) rest on very recent preprints ([5], [10], [12], [25], [36], [48]) rather than on fully established treatises, and the partition citations are not reproduced or checked here. The paper does supply independent support for its own 25-family arguments, but those arguments cannot certify the boundary of the partition on which the main theorem depends.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces Condition (A) for a smooth variety X: every finite abelian subgroup of Aut(X) fixes at least one point. The Main Theorem states that a smooth complex Fano 3-fold that does not satisfy Condition (A) is K-polystable unless it belongs to one of eight explicitly listed exceptional deformation families (seven rigid and one with one-parameter moduli). The proof partitions the 105 Mori–Mukai families into three groups: 53 families known to be entirely K-polystable, 27 families known to have no K-polystable members, and 25 families where only general members are known to be K-polystable. For the 25-family remainder, the paper proves in Section 3 that ten families always satisfy Condition (A), and in Section 4 that the remaining fifteen families are K-polystable whenever they violate Condition (A). Section 5 constructs explicit examples showing that all eight exceptional families indeed fail Condition (A), and that several of the Section 4 families admit K-polystable members failing Condition (A).","tokens_in":35752,"tokens_out":46368,"duration_ms":425273,"significance":"If correct, the Main Theorem provides a clean geometric counterpart to the arithmetic result of Abban–Cheltsov–Kishimoto–Mangolte on pointless Fano 3-folds, replacing rational points by fixed points of finite abelian automorphism groups. The result is a complete classification with a falsifiable statement and a finite exception list. A notable strength is the concreteness of the local stability estimates: for example, Lemma 4.3 computes S_X(E)=3/8 and bounds S(W;Z)≤11/16, and Lemma 4.5 derives δ_p(X)≥176/161. The paper also supplies explicit equations and automorphisms for many of the examples in Section 5. The main limitation is that the boundary of the classification is inherited from a large body of external K-stability results, several of which are recent preprints; this dependence should be made fully transparent.","major_comments":[{"comment":"The Main Theorem is a statement about all smooth Fano 3-folds, but its 'not K-polystable ⇒ Condition (A) or exception' direction is decided at the level of the partition in §1.2. The paper's own arguments cover only the 25-family remainder in §§3.1 and 4, plus 19 of the 27 non-polystable families in §3.2. The K-polystability of the 53 families in group (i) and the K-instability of the 26 families in group (ii) are imported from [3,4,5,9,10,11,12,25,36,48] and [4,24]. Several of these are recent preprints, e.g., [5], [10], [12], [25], [36], and [48]. A single error in any of these cited classifications would change the eight-exception list or the condition that the listed exceptions are the only ones. Please state explicitly which cited theorem establishes the status of each family, and flag which entries depend on preprints rather than on published treatises. This is not a request to reprove the external classification, but the dependence should be visible to the reader so that the boundary of the theorem can be checked.","section":"§1.2 (partition of the 105 families)"}],"minor_comments":[{"comment":"The phrase 'seven of them consists of one smooth member' should read 'seven of them consist of one smooth member'.","section":"Abstract and §1.1"},{"comment":"The text says '26 families' are listed from [24] and then separately discusses Family №2.26, for a total of 27 non-K-polystable families. Make this count explicit so that the subsequent statement '19 of these families' and the remaining eight exceptions are unambiguous.","section":"§1.2"},{"comment":"In the sentence 'let S be a general surface in |H−E| that contains F', the symbol F is the divisor over X provided by Lemma 4.1 and is not a curve in X. The intended meaning appears to be 'contains C', where C is the fiber of the conic bundle through p. Please correct this.","section":"Lemma 4.5"},{"comment":"There is a parenthesis typo in the displayed transformation: '([y :z :x], [v :w :u)])' should be '([y :z :x], [v :w :u])'.","section":"Example 5.12"},{"comment":"The planes Π1={x1=x2=0} and Π2={x2=x4=0} intersect, so the conics Q∩Π1 and Q∩Π2 are not disjoint; the blowup described is therefore not a smooth member of Family №3.10, which requires blowing up two disjoint conics. Replacing Π2 by {x3=x4=0} gives disjoint A-invariant conics and repairs the example.","section":"Example 5.17"},{"comment":"The final sentence says 'S does not fix points in X'; it should say 'A does not fix points in X'.","section":"Example 5.20"},{"comment":"The eight exceptions are stated geometrically in §1.1, while the proof is organized by Mori–Mukai family numbers. Including a table that matches each geometric exception with its Mori–Mukai number (e.g., which of the remaining non-polystable families corresponds to P1×F1, to the blowup of P3 along a line, etc.) would make the boundary of the classification much easier to verify.","section":"§1.1 vs §§1.2–4"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid piece of classification work with explicit and checkable computations, and I see no internal contradiction in the new arguments for the 25-family remainder. My main reservation is the heavy reliance on a large body of recent, partly unpublished K-stability results for the partition in §1.2; this is a correctness risk that the authors should address by making the dependence explicit. The error in Example 5.17 is easily fixable and does not affect the Main Theorem. I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a genuine classification theorem, not a repackaging. It says a smooth Fano 3-fold failing Condition (A) is K-polystable except for eight explicitly listed families, and it proves the required finite-abelian actions exist for each exception. That is new, and it complements the arithmetic analogue from [1] in a natural way.\n\nWhat the paper does well: the authors prove Condition (A) for a large number of families using a mix of equivariant birational geometry and concrete fixed-point arguments. The local stability estimates in Section 4, like S_X(E)=3/8 and δ_p(X)≥176/161, are explicit and checkable. The examples in Section 5 are concrete and serve as real evidence, not just decoration. The writing is mostly clear, and the reliance on prior work is stated honestly.\n\nThe soft spots are real but not disqualifying. The main theorem inherits the K-stability partition of all 105 deformation families from Section 1.2. The paper's own arguments cover the 25 remaining families plus 19 of the 27 non-polystable ones, but the 53 families listed as entirely K-polystable and the 26 as entirely K-unstable are taken from citations, several of which are recent preprints. If any of those citations is wrong, the exception list could change. That is a genuine limitation, and I would like the authors to state it more prominently in the introduction. It is not a flaw in their own arguments, but it does cap the certainty of the main theorem. Also, there are minor typos (the title says 'F ano', Lemma 4.2 has 'is not is K-polystable', Example 5.20 says 'S does not fix points'). None of these affect the mathematics.\n\nWho is this for? Anyone working on K-stability of Fano 3-folds, especially the interaction with automorphisms and fixed points. It is a serious contribution that deserves a careful referee. My recommendation: send it to peer review. I expect it to be accepted after the authors add a caveat about the cited partition and clean up the typos.","headline":"A real classification result: the main theorem is new, the proofs are careful, and the main risk is the inherited 105-family K-stability partition, not anything the authors do themselves.","tokens_in":36283,"tokens_out":1814,"would_cite":true,"duration_ms":20163,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J45","14J50","14L24","32Q20"],"pacs":[],"model":"deepseek-v4-flash","headline":"A smooth Fano 3-fold whose automorphism group has no fixed-point-free finite abelian subgroup is K-polystable, except for eight explicit families.","keywords":["K-stability","Fano 3-folds","Condition (A)","finite abelian group actions","fixed points","K-polystability","delta invariant","deformation families"],"falsifier":"Exhibit a smooth Fano 3-fold outside the eight listed families with a fixed-point-free finite abelian automorphism group and $\\delta(X)\\le 1$; that would refute the Main Theorem. A less expensive check is to recompute $\\delta(X)$ for a general member of each of the 53 families declared all K-polystable—if any such member had $\\delta<1$, the partition on which the proof rests would collapse.","tokens_in":35259,"feed_emoji":"📐","tokens_out":12551,"duration_ms":110484,"temperature":0.7,"pith_summary":"The paper proves a geometric analogue of a known arithmetic dichotomy for smooth Fano 3-folds. It introduces Condition (A): a variety satisfies it when every finite abelian subgroup of its automorphism group fixes at least one point. The Main Theorem states that a smooth Fano 3-fold failing Condition (A) is K-polystable—the algebraic stability condition that predicts the existence of a Kähler–Einstein metric—unless it belongs to one of eight explicitly listed deformation families. Equivalently, every non-K-polystable smooth Fano 3-fold satisfies Condition (A), with only those eight exceptions. A sympathetic reader should care because this gives a purely group-theoretic certificate for K-polystability in almost all cases and draws a direct parallel between rational-point obstructions and fixed-point obstructions.","feed_headline":"Fixed-point-free actions settle K-stability of Fano 3-folds","feed_subtitle":"Every smooth Fano 3-fold failing Condition (A) is K-polystable, apart from eight listed families.","key_machinery":"The load-bearing mechanism is the interaction between Condition (A) and the stability threshold $\\delta(X)=\\inf_E A_X(E)/S_X(E)$, where $A_X(E)$ is the log discrepancy of a prime divisor $E$ over $X$ and $S_X(E)$ is its pseudo-effective volume average; $X$ is K-polystable exactly when $\\delta(X)=1$ in the appropriate sense. Lemma 4.1 turns the assumption 'not K-polystable' into the existence of an $A$-invariant divisor $F$ over $X$ with $A_X(F)/S_X(F)=\\delta(X)\\le 1$, whose center on $X$ must be an irreducible curve as soon as $A$ acts without fixed points. Against this curve the paper uses four tools: equivariant birational invariance of fixed points (Theorem 2.1); a lifting lemma that linearizes finite abelian subgroups of automorphisms of hypersurfaces when degree and ambient dimension are coprime (Lemma 2.4); a cone-of-curves lemma guaranteeing that in many families every extremal ray is $G$-invariant, so blowups and conic bundles are equivariant (Lemma 2.13); and admissible-flag estimates of the local invariant $\\delta_p(X)$ (Theorems 2.14 and 2.15) that give lower bounds above 1 and produce contradictions.","core_discovery":"Let $X$ be a smooth Fano 3-fold, and say $X$ satisfies Condition (A) if every finite abelian subgroup of $\\operatorname{Aut}(X)$ fixes a point of $X$. The Main Theorem asserts: if $X$ does not satisfy Condition (A), then $X$ is K-polystable unless $X$ lies in one of eight exceptional deformation families. The eight are: $\\mathbb{P}^1\\times\\mathbb{F}_1$; $\\mathbb{P}^1\\times S$ for a smooth del Pezzo surface $S$ of degree 7; the blowup of a smooth quadric in $\\mathbb{P}^4$ along a quartic elliptic curve; the blowup of a quadric cone in $\\mathbb{P}^4$ at its vertex; the blowup of $\\mathbb{P}^1\\times\\mathbb{P}^1\\times\\mathbb{P}^1$ along a smooth curve of degree $(0,1,1)$; the blowup of $\\mathbb{P}^3$ along a line; and two blowups of $\\mathbb{P}^3$ at two points followed by blowups of strict transforms of one or two lines through those points. For each exception the paper constructs an explicit fixed-point-free finite abelian subgroup, confirming failure of Condition (A), and notes these varieties are not K-polystable. The proof partitions the 105 deformation families: 53 families are all K-polystable, 26 families plus one member of Family №2.26 are all non-K-polystable, and the remaining 25 families are treated here—10 are shown to satisfy Condition (A), and in the other 15 any member failing Condition (A) is proven K-polystable.","pith_inferences":["One testable extension: in higher-dimensional Fano manifolds, the same pairing of Condition (A) with equivariant delta-invariant estimates might yield analogous 'few exceptions' theorems, once a deformation classification and automorphism-group tables are available.","The fixed-point-free finite abelian subgroups appearing in the examples include $\\mathbb{Z}/2^k$ and $(\\mathbb{Z}/3)^2$; a direct computation across all 105 families would test whether every such subgroup belongs to a short finite list of group types.","A practical certificate emerges: for a member of any of the 25 remaining families, checking whether its automorphism group contains a fixed-point-free finite abelian subgroup is a finite computation; under the theorem, a negative answer proves K-polystability without computing $\\delta(X)$.","The converse of the theorem is false: Section 5.2 exhibits many K-polystable Fano 3-folds that do fail Condition (A), so Condition (A) is not equivalent to K-instability but only a one-way obstruction."],"forward_implications":["Every strictly K-semistable smooth Fano 3-fold satisfies Condition (A).","For the fifteen families treated in Section 4, the paper settles K-polystability for every member that fails Condition (A): no further delta-invariant computation is needed for those members.","The eight exceptional families are exactly the non-K-polystable smooth Fano 3-folds that admit a fixed-point-free finite abelian automorphism action; each carries an explicit such action.","Failure of Condition (A) is birational-invariant in the equivariant sense (Theorem 2.1), so an equivariant birational model of one of the eight exceptions again fails Condition (A) and therefore falls under the Main Theorem's dichotomy."],"supporting_citations":[{"why":"supplies the partition of the 105 deformation families into K-polystable, K-unstable, and unknown families, along with many of the explicit equations and local K-stability results used in Sections 4 and 5","marker":"[4]"},{"why":"the valuative criterion for K-stability that underlies Lemma 4.1 and the classification of the 26 K-unstable families","marker":"[24]"},{"why":"Theorem 2.1, the equivariant birational invariance of fixed points that lets the proof transfer fixed-point information between birational models","marker":"[44]"},{"why":"the classification of smooth Fano 3-folds into 105 families and the geometric facts about conics and linear systems used in Lemmas 3.1 and 4.2","marker":"[28]"},{"why":"Lemma 2.13, which identifies G-invariant extremal rays of the cone of curves for many families and forces equivariant contractions","marker":"[40]"},{"why":"Theorems 2.14 and 2.15, the admissible-flag estimates of local delta invariants used to rule out destabilizing curves","marker":"[2]"},{"why":"the Seshadri-constant lower bound on general K3 surfaces used in Lemma 4.2","marker":"[3]"},{"why":"the equivariant optimal destabilizing center theorem that provides the A-invariant divisor in Lemma 4.1","marker":"[49]"},{"why":"the equivariant volume minimization criterion, cited in Lemma 4.1 as part of the valuative criterion for K-stability","marker":"[35]"},{"why":"finite generation for valuations computing stability thresholds, used to select an A-invariant divisor computing the delta invariant in Lemma 4.1","marker":"[37]"}],"fun_headline_variants":["Eight families break K-stability rule for Fano 3-folds","Fano 3-folds with free abelian actions are K-polystable, except 8","No fixed points, K-polystable: Fano 3-folds sorted, 8 exceptions","Only eight Fano 3-folds escape K-stability under free actions","Free abelian actions force K-stability in Fano 3-folds, bar eight"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof leans on the completeness and correctness of the cited K-stability classification of all 105 deformation families, especially the partition into 53 all-K-polystable families, 26 all-non-K-polystable families, and the mixed Family №2.26; if any cited classification result is wrong, the list of eight exceptions could change.","fun_headline_variants_meta":{"raw":{"variants":["Eight families break K-stability rule for Fano 3-folds","Fano 3-folds with free abelian actions are K-polystable, except 8","No fixed points, K-polystable: Fano 3-folds sorted, 8 exceptions","Only eight Fano 3-folds escape K-stability under free actions","Free abelian actions force K-stability in Fano 3-folds, bar eight"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000883,"raw_usage":{"total_tokens":3814,"prompt_tokens":948,"completion_tokens":2866,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":564,"completion_tokens_details":{"reasoning_tokens":2753}},"tokens_in":564,"tokens_out":2866,"duration_ms":18280,"temperature":1.0,"reasoning_tokens":2753,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:31:29.894053+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a smooth Fano 3-fold outside the eight listed families with a fixed-point-free finite abelian automorphism group and $\\delta(X)\\le 1$; that would refute the Main Theorem. A less expensive check is to recompute $\\delta(X)$ for a general member of each of the 53 families declared all K-polystable—if any such member had $\\delta<1$, the partition on which the proof rests would collapse.","supporting_citations":[{"cited_title":"Araujo, A.-M","cited_arxiv_id":null,"evidence_quote":"supplies the partition of the 105 deformation families into K-polystable, K-unstable, and unknown families, along with many of the explicit equations and local K-stability results used in Sections 4 and 5"},{"cited_title":"Reichstein, B","cited_arxiv_id":null,"evidence_quote":"Theorem 2.1, the equivariant birational invariance of fixed points that lets the proof transfer fixed-point information between birational models"},{"cited_title":"Matsuki, Weyl groups and birational transformations among minimal m odels, Mem","cited_arxiv_id":null,"evidence_quote":"Lemma 2.13, which identifies G-invariant extremal rays of the cone of curves for many families and forces equivariant contractions"},{"cited_title":"Abban, Z","cited_arxiv_id":null,"evidence_quote":"the Seshadri-constant lower bound on general K3 surfaces used in Lemma 4.2"},{"cited_title":"Zhuang, Optimal destabilizing centers and equivariant K-stabilit y, Invent","cited_arxiv_id":null,"evidence_quote":"the equivariant optimal destabilizing center theorem that provides the A-invariant divisor in Lemma 4.1"},{"cited_title":"Li, K-semistability is equivariant volume minimization , Duke Math","cited_arxiv_id":null,"evidence_quote":"the equivariant volume minimization criterion, cited in Lemma 4.1 as part of the valuative criterion for K-stability"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"finite generation for valuations computing stability thresholds, used to select an A-invariant divisor computing the delta invariant in Lemma 4.1"}],"review_version":1}