{"id":"90c949d0-06f1-4dcd-bb31-f17075701435","arxiv_id":"2505.13684","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Smooth Fano 3-folds are classified by Condition (A): all members of 35 families satisfy it, no members of 32 families satisfy it, and the remaining 38 families contain members that fail it.","lead":"This paper classifies the 105 deformation families of smooth Fano 3-folds by whether every finite abelian automorphism subgroup fixes a point, a property called Condition (A). It identifies families where all members satisfy the condition, where no members satisfy it, and where some members fail it, with explicit examples and arithmetic consequences.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Classification of family №1.8 hinges on an unproved smoothness claim in Example 2.9; the linear section of LGr(3,6) must be verified smooth and A-fixed-point-free.","rationale":"The paper's Main Theorem gives a complete family-by-family classification of Condition (A). Its proof has two pillars: the companion preprint [3] (30 positive families and several negative families) and a series of explicit examples for the remaining families. The explicit examples are largely hypersurfaces or complete intersections whose smoothness is standard, and the group actions are explicitly described, so they provide substantial independent evidence. The weakest single point is Example 2.9, the only support for family №1.8: it asserts that a codimension-3 linear section of LGr(3,6) is smooth, with no Jacobian computation, only an acknowledgment of private help. Since №1.8 is not covered by [3], this example is load-bearing for the 'remaining' list of the Main Theorem. The concern is not that the claim is likely false, but that it is unverified and directly checkable. The reader's CONDITIONAL verdict is appropriate: after either a proof of smoothness in Example 2.9 or independent verification of the imported statements from [3], the classification should be accepted. Our proposed computational check would settle the Example 2.9 gap. The paper is internally consistent in its partition of the 105 families, and the explicit examples provide strong evidence for the rest, so no verdict change is needed.","tokens_in":21866,"tokens_out":15224,"duration_ms":122431,"concrete_test":"Use a computer algebra system (e.g., Macaulay2 or Singular) to compute the ideal of X as the sum of the three linear forms and the 21 quadratic equations defining LGr(3,6) in P^13; verify via the Jacobian criterion that this ideal defines a smooth 3-dimensional scheme (i.e., the singular locus is empty). Then verify that the fixed locus of the order-8 group A on X is empty, for instance by checking that the ideal of the intersection of the graphs of the three involutions on X × X has empty projection to X. This settles whether Example 2.9 actually supplies a smooth Fano 3-fold in family №1.8 that fails Condition (A).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Main Theorem's treatment of family №1.8 rests entirely on Example 2.9, which asserts that the 3-fold X cut out in LGr(3,6) ⊂ P^13 by the three linear equations 1967x11 + 1973x22 + 1983x33 = 0, 1967y11 + 1973y22 + 1983y33 = 0, and 2024x11 + 2025x22 + 2024y11 + 2025y22 = v + u is smooth. No proof or Jacobian computation is provided; the acknowledgements state only that Zhijia Zhang 'helped with checking the smoothness.' If X is singular, or if the displayed group A ≃ (Z/2Z)^3 fixes a point of X, then Example 2.9 does not establish that family №1.8 contains a smooth Fano 3-fold failing Condition (A). Since №1.8 is not among the families covered by [3] in Section 2, this example is the sole support for the classification of №1.8 in the 'remaining' list. The smoothness is a local, explicit condition on a codimension-3 linear section of a smooth 6-fold, so it is directly verifiable, but the paper leaves it as a black box. This is the most concrete load-bearing gap: a single unproved computational assertion that a specific variety is smooth.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper classifies the 105 deformation families of smooth Fano 3-folds with respect to Condition (A), which requires every finite abelian automorphism subgroup to fix a point. The Main Theorem asserts that 35 families consist entirely of varieties satisfying Condition (A), 32 families have no members satisfying it, and each of the remaining 38 families contains at least one smooth Fano 3-fold that fails Condition (A). The proof combines results imported from the same-authors' preprints [2] and [3] with explicit examples of finite abelian group actions without fixed points. The paper also derives consequences about rational points and unirationality over subfields, and the appendix gives a proof of a unirationality criterion for degree-14 Fano 3-folds.","tokens_in":22252,"tokens_out":17198,"duration_ms":152112,"significance":"If the imported results in [3] are correct, the Main Theorem is a complete, family-by-family answer to a natural fixed-point question for all smooth Fano 3-folds. The explicit examples are concrete and several are accompanied by checkable group actions; the appendix's characterization of k-unirationality for family No.1.7 is a useful self-contained contribution. The main caveat is that a substantial portion of the classification is delegated to the same-authors' preprint [3], and a few examples, most importantly Example 2.9, assert smoothness of a specific variety without a verifiable proof. The paper is therefore not yet self-contained, and the classification is conditional on the validity of external results.","major_comments":[{"comment":"The Main Theorem's positive direction for 30 of the 35 families is imported from the companion preprint [3], and the non-satisfaction statements for the families listed after Lemma 2.1 (e.g., No.4.13) are also taken from [3]. Since [3] is a same-author preprint, the proof of the classification is not self-contained. Please either include the precise statements from [3] that are used, with proofs or numbered references, or explicitly state that the Main Theorem is conditional on the validity of [3].","section":"Section 2, first paragraph"},{"comment":"The 3-fold X cut out in LGr(3,6) by the three displayed linear equations is asserted to be a smooth Fano 3-fold in family No.1.8, but no proof or Jacobian computation is provided. The acknowledgement to Zhijia Zhang for 'checking the smoothness' does not give a verifiable argument. Since Example 2.9 is the sole support for the classification of family No.1.8 in the 'remaining' list, this is load-bearing. Please provide a computational certificate of smoothness (e.g., a Macaulay2 script that checks the Jacobian rank on the variety) or a geometric argument that this linear section is smooth, and confirm explicitly that it lies in family No.1.8.","section":"Example 2.9"},{"comment":"The phrases 'sufficiently general complex number' and 'general number' are used to guarantee smoothness of the constructed divisor or curve. The proof does not explain why the set of bad parameters is proper in the parameter space. Since these examples are used to establish that a specific deformation family contains a smooth Fano 3-fold failing Condition (A), please add a sentence explaining that the relevant smoothness or nondegeneracy condition is Zariski open and giving a concrete way to choose the parameter.","section":"Examples 2.15 and 2.18"}],"minor_comments":[{"comment":"The claim that the group A fixes no points in X can be made transparent: A-fixed points in V have X=Y=tI3 and u=v, and the first linear equation then gives 5923t=0, impossible. Adding this one-line argument would strengthen the example.","section":"Example 2.9"},{"comment":"Condition (2) includes 'X(k)≠∅', which is redundant for the equivalence as proved; the substantive statement is the equivalence between the existence of a k-point and k-unirationality. Consider reformulating condition (2) to avoid the redundancy.","section":"Theorem A.1"},{"comment":"The symbol X is used both for the singular double cover and for the smooth Fano 3-fold obtained after resolution. Please distinguish the two varieties with different names to avoid confusion.","section":"Example 2.23"},{"comment":"There are several typographical issues: the title contains 'F ano', 'c.f.' should be 'cf.' in Corollary A, Example 2.25 contains '[x1 : y1[' instead of '[x1 : y1]', and Example 2.20 has a double plus sign in the displayed equation.","section":"Throughout"},{"comment":"In the first paragraph of the proof, 'which must be defined over k. so, in particular, X(k)≠∅' has a capitalization and punctuation error; it should read 'which must be defined over k, so in particular X(k)≠∅'.","section":"Section 3, proof of Lemma 3.1"},{"comment":"The references to [3] are given as blanket citations. Please cite specific theorem or lemma numbers so the reader can verify which imported statements are actually being used.","section":"Section 2, after Lemma 2.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is a threequel and is transparent about using [2,3]. The editor may want to confirm that [3] is under review at a reputable venue before relying on it for the Main Theorem. The most urgent fix is Example 2.9: a single unproved smoothness assertion that is load-bearing for family No.1.8. If the authors provide a verifiable certificate and tighten the reliance on [3], the paper would be suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague —\n\nThe headline is that this paper likely settles the Condition (A) question for all 105 deformation families of smooth Fano 3-folds, and the classification looks right in outline. It splits the families into three lists: always-satisfies, never-satisfies, and mixed (contains a member that fails). That is a clean, useful result, and the arithmetic corollaries about non-unirationality over subfields and k-pointless members over R and Q give it extra reach.\n\nWhat is genuinely new is the complete list. The authors are transparent that roughly thirty families are imported from their own companion preprint [3], and a further slab from [2]. The direct arguments in Lemma 2.1 are coherent, and the explicit examples for the remaining families are concrete. The appendix on degree 14 Fano threefolds (family №1.7) is a solid addition, giving three equivalent conditions: k-point, birational to a smooth cubic threefold, and k-unirationality.\n\nThe soft spots are real but local. The most exposed seam is Example 2.9, which is the sole evidence that family №1.8 belongs in the third list. It presents a codimension-3 linear section of LGr(3,6) and asserts it is smooth and A-invariant with A ≃ (Z/2Z)^3 fixing no points. The smoothness claim is not proved; the acknowledgements say Zhijia Zhang 'helped with checking' it. That is directly verifiable by a Jacobian or a computer algebra certificate, and the paper should supply it. Without it, the classification of №1.8 sits on a black box. The fixed-point-free property for that group action is also asserted without detail.\n\nSecond, the dependence on [3] means the Main Theorem's lists for those thirty families are conditional on an unpublished sibling paper. That is common in this field, and the reliance is explicit, but a referee needs [3] in front of them to check the imports.\n\nThird, several examples rely on 'sufficiently general' parameters (lambda, epsilon, etc.) without quantification; this is standard practice and I do not see it as a serious issue here.\n\nOverall, I think the classification is probably correct, but the proof has one load-bearing unproved assertion. The paper deserves serious peer review. I would send it to a referee and ask the authors to supply the missing verification for Example 2.9, ideally a certificate of smoothness and a short argument for the fixed-point-free action. If that example holds, the paper is publishable as is; if not, family №1.8 needs a different construction or a correction to the lists.","headline":"Likely-correct full classification of Condition (A) for smooth Fano 3-folds, but the lone example for family №1.8 rests on an unproved smoothness claim that a referee should pin down.","tokens_in":22746,"tokens_out":3519,"would_cite":true,"duration_ms":32344,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J45","14J50","14L30","14G05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper classifies all 105 deformation families of smooth Fano 3-folds according to Condition (A): every finite abelian subgroup of the automorphism group fixes a point.","keywords":["Fano 3-folds","Condition (A)","finite abelian group actions","fixed points","deformation families","automorphism groups","rational points","unirationality"],"falsifier":"Find a smooth Fano 3-fold in any of the 35 families listed in the first part of the Main Theorem (for instance №1.10) that admits a finite abelian subgroup of Aut(X) with empty fixed-point locus; such a member would falsify the positive half of the classification.","tokens_in":21682,"feed_emoji":"📐","tokens_out":14255,"duration_ms":110059,"temperature":0.7,"pith_summary":"Condition (A) asks whether every finite abelian subgroup of a smooth variety's automorphism group fixes at least one point. The paper aims to answer this question completely for smooth Fano 3-folds over the complex numbers, working family by family through the standard list of 105 deformation families. The Main Theorem splits the list into three parts: families where every member satisfies Condition (A), families where no member satisfies it, and the remaining families, each of which contains a smooth member that fails it. The result matters because fixed-point behaviour of finite abelian groups connects to birational geometry and to arithmetic properties such as $k$-unirationality and the existence of $k$-points, which the paper develops in a corollary and in Proposition B.","feed_headline":"All 105 Fano 3-fold families sorted by a fixed-point rule","feed_subtitle":"35 families always pass, 32 always fail, 38 harbor a counterexample.","key_machinery":"The machine that carries the classification has three parts. First, the standard list of 105 deformation families of smooth Fano 3-folds fixes the vocabulary of the answer. Second, the paper repeatedly uses fixed-point lifting: if $\\varphi\\colon X\\to Y$ is an $A$-equivariant birational morphism and $A$ fixes a point in $Y$, then $A$ fixes a point in $X$ (from [26, Proposition A.4]); together with the curve fixed-point lemma [3, Lemma 2.4], this transfers absence of fixed points along the equivariant birational links used in constructions. Third, the explicit counterexamples are mostly built from coordinate actions — sign changes or root-of-unity multiplications — on hypersurfaces, complete intersections, blow-ups, and double covers, giving abelian groups isomorphic to $(\\mathbb{Z}/2\\mathbb{Z})^m$ or $(\\mathbb{Z}/d\\mathbb{Z})^m$ whose fixed-point loci can be computed directly.","core_discovery":"The central result is a complete family-by-family classification of when smooth Fano 3-folds satisfy Condition (A). For the 35 families listed first in the Main Theorem, every member has the property that every finite abelian subgroup of its automorphism group fixes a point. For the 32 families listed second, every member fails the property. For each of the remaining 38 families, the paper constructs or imports a smooth member together with a fixed-point-free finite abelian group action, so those families are not covered by a universal answer. The proof works case by case through the deformation families, combining results imported from the companion papers [2] and [3] with equivariant birational geometry: blow-ups and double covers are used to move a group action from a simpler variety to the Fano threefold, and fixed points are transferred along equivariant morphisms using [26, Proposition A.4] together with the curve fixed-point lemma [3, Lemma 2.4]. Two consequences round out the paper: Corollary A lists families containing members over some subfield $k\\subset\\mathbb{C}$ that are not $k$-unirational, and Proposition B gives families where every member over any subfield has a $k$-point, alongside families containing real or rational pointless members. An appendix proves that over any subfield $k$, a smooth member of the degree-14 family №1.7 has a $k$-point if and only if it is $k$-unirational if and only if it is birational to a smooth cubic threefold.","pith_inferences":["Inference: For the 38 remaining families the theorem only asserts existence of a failing member. A natural refinement, left open by the paper, is whether Condition (A) fails for every smooth member in those families or only for a proper subfamily; most of the constructed examples are special, so the latter seems plausible.","Inference: The appendix's equivalence for degree-14 Fano threefolds (having a $k$-point, being birational to a smooth cubic threefold, and being $k$-unirational) may extend to other families where Condition (A) holds, yielding a uniform criterion for $k$-unirationality in those positive families.","Inference: The fixed-point-free abelian actions exhibited throughout can be read as statements about the essential dimension of the automorphism groups involved, a consequence the paper does not spell out.","Inference: The three-part classification suggests a moduli question the authors do not raise: whether 'every finite abelian subgroup fixes a point' is a deformation-invariant property on each connected component of a deformation family; if it were, the mixed families would decompose into components with different behaviour."],"forward_implications":["Every member of the 35 first-list families satisfies Condition (A), so no matter which smooth Fano 3-fold is chosen from those families, every finite abelian automorphism group fixes a point.","Every smooth member of the 32 second-list families violates Condition (A): each family comes with a finite abelian subgroup that acts without fixed points.","The 38 remaining families each contain at least one smooth Fano 3-fold that violates Condition (A), so the property is not automatic in those families.","Corollary A follows: the families it lists contain a smooth member over some subfield $k\\subset\\mathbb{C}$ that is not $k$-unirational, connecting the fixed-point failure to birational non-unirationality.","Proposition B follows: the families in its first list always admit $k$-points over every subfield $k$, while the complementary families contain real smooth pointless members and some contain $\\mathbb{Q}$-pointless members."],"supporting_citations":[{"why":"Companion preprint from which Condition (A) for thirty families and several non-satisfaction results are imported; without it the Main Theorem's lists lose their support.","marker":"[3]"},{"why":"Earlier paper in the same series that supplies many geometric descriptions and the $k$-point results used in Proposition B.","marker":"[2]"},{"why":"Numbering and organization of the 105 deformation families used throughout the Main Theorem.","marker":"[6]"},{"why":"Standard reference for the deformation-family list of Fano threefolds and for the birational links used in the appendix.","marker":"[15]"},{"why":"Source classification of Fano threefolds with second Betti number at least 2, from which the 105 families are drawn.","marker":"[23]"},{"why":"Proposition A.4, the fixed-point lifting statement used repeatedly when an equivariant birational morphism transfers fixed points from target to source.","marker":"[26]"},{"why":"Construction of a degree-14 Fano threefold with a fixed-point-free abelian subgroup, giving a failing member in family №1.7.","marker":"[31]"},{"why":"Rationality and unirationality results over non-closed fields used in Proposition B and in the appendix's equivalence proof.","marker":"[19]"}],"fun_headline_variants":["Every Fano 3-fold family tested for fixed-point rule","Fixed-point classification of all 105 Fano 3-fold families","35 always fix, 32 never, 38 split: Fano 3-fold families","Which smooth Fano 3-folds satisfy Condition (A)?","All 105 Fano families: which ones always fix a point?"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification leans on results imported from the companion preprint [3], which account for Condition (A) holding in thirty families and for several families failing it; if any of those imported results is wrong, the lists in the Main Theorem change.","fun_headline_variants_meta":{"raw":{"variants":["Every Fano 3-fold family tested for fixed-point rule","Fixed-point classification of all 105 Fano 3-fold families","35 always fix, 32 never, 38 split: Fano 3-fold families","Which smooth Fano 3-folds satisfy Condition (A)?","All 105 Fano families: which ones always fix a point?"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000875,"raw_usage":{"total_tokens":3746,"prompt_tokens":869,"completion_tokens":2877,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":485,"completion_tokens_details":{"reasoning_tokens":2782}},"tokens_in":485,"tokens_out":2877,"duration_ms":19328,"temperature":1.0,"reasoning_tokens":2782,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:10:56.509925+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a smooth Fano 3-fold in any of the 35 families listed in the first part of the Main Theorem (for instance №1.10) that admits a finite abelian subgroup of Aut(X) with empty fixed-point locus; such a member would falsify the positive half of the classification.","supporting_citations":[{"cited_title":"Belmans, Fanography, https://fanography.info, 2025","cited_arxiv_id":null,"evidence_quote":"Numbering and organization of the 105 deformation families used throughout the Main Theorem."},{"cited_title":"Iskovskikh, Yu","cited_arxiv_id":null,"evidence_quote":"Standard reference for the deformation-family list of Fano threefolds and for the birational links used in the appendix."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source classification of Fano threefolds with second Betti number at least 2, from which the 105 families are drawn."},{"cited_title":"Reichstein, B","cited_arxiv_id":null,"evidence_quote":"Proposition A.4, the fixed-point lifting statement used repeatedly when an equivariant birational morphism transfers fixed points from target to source."},{"cited_title":"Stable equivariant birationalities of cubic and degree 14 Fano threefolds","cited_arxiv_id":"2409.08392","evidence_quote":"Construction of a degree-14 Fano threefold with a fixed-point-free abelian subgroup, giving a failing member in family №1.7."},{"cited_title":"Kuznetsov, Yu","cited_arxiv_id":null,"evidence_quote":"Rationality and unirationality results over non-closed fields used in Proposition B and in the appendix's equivalence proof."}],"review_version":1}