{"id":"69d7ff23-1698-409f-86f7-e3c663916f3f","arxiv_id":"2508.13025","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A survey that collects and organizes the birational rigidity, solidity, and rationality results for Fano threefold weighted complete intersections, including tables and open problems.","lead":"This paper surveys modern results on birational rigidity and solidity for Fano threefold weighted complete intersections, organizing the state of the art into tables and open questions. Generalists in algebraic geometry will find a compact map of a technical field, with the machinery and classification summarized in one place.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Table 6 is internally inconsistent: family №44 (X10,12 ⊂ P(1,2,3,5,5,7)) is marked BR, yet I_br omits 44 and the '35 solid families' count only works if №44 is BS.","rationale":"The paper is a well-organized survey whose central claim is to provide an accurate, essentially complete account of birational rigidity, solidity, and rationality for Fano threefold weighted complete intersections. The summary tables (Tables 5-8) are the main reference contribution, so their correctness is load-bearing. The reader's verdict ACCEPT identified the broad risk that the tables depend on the completeness and correctness of the cited classifications. A close check confirms this risk is realized in a concrete way: Table 6 row 44 is marked 'BR', but the index set I_br in the text omits 44, and the text's assertion of 'suitable 35 families' of solid-but-not-rigid families in I_F is consistent only if row 44 is counted as 'BS'. With row 44 read as BR, the number of BS/BS* entries in Table 6 is 34; with it read as BS, the count becomes 35 and matches both the 25 blank (open) entries and the decomposition 19 rigid + 35 solid + 25 open + 6 del Pezzo = 85 families. This is therefore not a cosmetic typo but a misstatement of the classification of a specific family in a central table, and it affects the survey's advertised purpose as a reference. Because the issue is localized and can be settled by consulting the cited primary sources, conditional acceptance with a mandatory correction is appropriate, rather than rejection or unqualified acceptance. The reader's weakest assumption anticipated exactly this kind of table-error risk, hence 'partial' agreement: the general concern is shared, but the concrete defect was not identified in the reader's report.","tokens_in":43879,"tokens_out":21874,"duration_ms":188640,"concrete_test":"Check the original classification in Okada's papers ([Oka14, Theorems 1.2 and 1.4], [Oka18, Theorem 1.2]) or the big table in [Gue23] for the family X10,12 ⊂ P(1,2,3,5,5,7). Determine whether it is birationally rigid or merely birationally solid. If it is solid but not rigid, correct Table 6 row 44 to 'BS' and re-verify the '35 families' count; if it is rigid, add 44 to I_br and update the counts and the accompanying text accordingly.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The survey's central value as a reference depends on the accuracy of its summary tables. In Section 6.1, the birationally rigid codimension-2 index-1 families are indexed by I_br = {1, 8, 14, 20, 24, 31, 37, 45, 47, 51, 59, 60, 64, 71, 75, 76, 78, 84, 85}, and Theorem 58(2) says that among the remaining I_F families, general members of 'suitable 35 families' are birationally solid but not birationally rigid. However, Table 6 marks family №44 (X10,12 ⊂ P(1,2,3,5,5,7)) as 'BR' rather than 'BS', and 44 is not in I_br. Counting the BS/BS* entries in Table 6 gives 34, not 35; the count becomes 35 only if №44 is read as BS. Thus the table, the set I_br, and the '35 families' statement are mutually inconsistent. Either Table 6 misstates №44 (likely a typo of 'BR' for 'BS'), or I_br is missing 44 and the number of solid families is wrong. In either case, a reader using Table 6 as a classification reference will be misled about the birational rigidity of this specific deformation family.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a survey of birational rigidity, birational solidity, and rationality for Fano threefold weighted complete intersections, organized around the Reid–Fletcher lists. It reviews the relevant singularity theory, the method of maximal singularities, test classes, Sarkisov links, and quadratic/elliptic involutions; it gives a complete proof of the Iskovskikh–Manin superrigidity theorem for smooth quartic threefolds (Theorem 52) and a detailed worked example of a Sarkisov link for quartic threefolds with cA2 singularities; and it presents summary tables covering index-1 hypersurfaces, index-1 codimension-2 complete intersections, higher-index hypersurfaces, and higher-index codimension-2 complete intersections. The survey also records open questions on solidity, pliability sets, rationality, and K-stability.","tokens_in":44102,"tokens_out":9176,"duration_ms":83924,"significance":"If the tables and cited theorems are accurate, the paper is a valuable reference that consolidates many recent results otherwise scattered in the literature, especially [CPR00], [CP17], [Oka14], [Oka18], [Oka23], [Gue23], and [CO24]. The explicit proof of the quartic superrigidity theorem and the detailed 2-ray-game/Sarkisov-link example in Section 5 are pedagogically useful and make the survey self-contained at key points. The paper does not claim new theorems beyond the survey format, and its main value lies in the completeness and correctness of the classification tables and open-problem lists. The main risks are therefore table completeness and cross-referencing accuracy, rather than the mathematics of the proofs that are included.","major_comments":[{"comment":"Table 8 lists only families 87 through 125, but the text states that the higher-index codimension-2 families are indexed by I = {86, ..., 125}, i.e. 40 families. Family 86 is absent from the table, so the table does not fully document the range over which Theorem 63 quantifies, nor does it give the model for the I_S case of family 86. Please add the missing row or explicitly explain why family 86 is omitted.","section":"§6.2, Table 8"},{"comment":"The stress-test concern about family 44 does not land on the current text: in Table 6, family 44 (X_{10,12} in P(1,2,3,5,5,7)) is marked BS*, not BR. A count of the rows marked BS or BS* in Table 6 gives 35, consistent with Theorem 58(2), and the set I_br listed in Section 6.1 coincides exactly with the rows marked BR or BSR in the same table. No correction is needed on that point.","section":"§6.1, Table 6"}],"minor_comments":[{"comment":"Theorem 62 refers to 'the five families listed in Table 6.1', but the actual table is Table 3 and the families are also listed in equation (6.1). Please correct the cross-reference.","section":"§6.2, Theorem 62"},{"comment":"The section title 'Some more questions on birational rigidity and solidigy' contains a typo: 'solidigy' should be 'solidity'.","section":"§9 (heading)"},{"comment":"The paper mixes section-based numbering (Theorem 6.1, Theorem 6.2, Theorem 8.1) with global numbering (Theorem 52, Theorem 58, Theorem 62, Theorem 63). Please unify the numbering scheme.","section":"Throughout"},{"comment":"The bibliography contains a duplicated entry: [CGP23a] and [CGP23b] are the same arXiv preprint, and Remark 20 refers to [CGP23a] while the entry appears twice under different labels.","section":"References"},{"comment":"There are numerous typos, including 'commplete' in Conjecture 59(1), 'recal' in Section 5, 'fining' in Section 4.4, 'knwon' in Section 2.2.2, and 'correcponding' in Example 56. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The summary tables are central to the paper's reference value, but the caption of Table 8 does not mention that family 86 is omitted; if the omission is intentional, the caption should say so.","section":"Section 12 (Summary)"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a solid survey and the main mathematical claims appear sound. The only mathematical gap I identified is the missing family 86 in Table 8, which is easily fixed. The referee's stress-test about Table 6 does not apply to the actual text: family 44 is marked BS* and the count of 35 solid families is consistent. I recommend minor revision rather than acceptance as-is because the cross-reference and table-completeness issues affect the usability of the survey as a reference."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. This is a survey, not a research paper, and its value is the synthesis: uniform notation for birational rigidity/solidity, tables covering 95 hypersurface families, 85 codimension-2 index-1 families, and higher index cases, plus a genuine list of open problems. The second thing: the specific table inconsistency flagged in the stress test is not there. Table 6 lists family №44 (X10,12 ⊂ P(1,2,3,5,5,7)) as BS*, not BR. So the claimed contradiction with I_br and the '35 families' count evaporates on reading. I checked the rows around 44: 43 blank, 44 BS*, 45 BR. That matches I_br omitting 44.\n\nWhat the paper does well: it consolidates a scattered literature, most of it by the authors themselves and close collaborators, and it is honest about what is open. The included proof of smooth quartic superrigidity (Theorem 52) is a correct, useful pedagogical inclusion. Example 56, the Sarkisov link from the cA2 quartic, is a nice worked demonstration of the 2-ray game. The tables in Section 12 are the main reference asset.\n\nSoft spots, in proportion. The copy editing is bad: typo density is high ('quesismooth', 'solidigy', 'flitering', 'Néron-Severy', 'correcponding', 'X6⊂⊂ P'), and [CGP23a] and [CGP23b] are the same arXiv preprint listed twice. That is minor but should be fixed before publication. More substantively, the survey rests on a chain of heavy cited theorems, and the reader cannot verify the classification tables from the text; that is normal for a survey, but it means the accuracy of Table 6 and Theorem 58(2)'s 'suitable 35 families' is only as good as the underlying papers. The statement of Theorem 58(2) doesn't list which 35 families are meant, so a user of the survey has to go back to [Oka14], [Oka18], etc. A short table or index of those families would materially increase the value. There is also a numbering collision: Theorems 6.1 and 6.2 inside Section 6 refer to [CPR00] and [CP17] results, which is slightly confusing given the section numbering.\n\nThe citation pattern is appropriate for a survey: heavy self-citation is expected when the authors are the main contributors, and the cited results are independent published works. I would send this to a serious referee. It is not a desk reject. The referee should be someone who works in birational geometry and can spot-check the tables. The paper deserves acceptance after a solid proofreading pass and, ideally, an explicit list of the 35 solid families.\n\nFor me: this is a maybe for reading group, mostly because our group is not deep in this area. I would not cite it in my own work in the next year, but I would point students to it.","headline":"Useful survey; the Table 6 inconsistency in the stress test is not real—№44 is BS*, not BR—but the paper needs a proofreading pass.","tokens_in":44677,"tokens_out":3239,"would_cite":false,"duration_ms":31389,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14E30","14J30","14J45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This survey maps, family by family, which quasismooth Fano threefold weighted complete intersections are birationally rigid, birationally solid, or rational.","keywords":["birational rigidity","birational solidity","Fano threefolds","weighted complete intersections","Sarkisov links","Mori fibre spaces","rationality","K-stability"],"falsifier":"Find a quasismooth Fano threefold weighted complete intersection in a family the survey lists as birationally solid (for instance one of the five higher-index hypersurfaces) together with a birational map to a Mori fibre space that is not isomorphic to the listed models; or find a quasismooth member of a family marked blank in Table 6 that is not birationally solid. Either would directly contradict the survey's summary.","tokens_in":43623,"feed_emoji":"📐","tokens_out":6428,"duration_ms":54588,"temperature":0.7,"pith_summary":"This survey assembles the known results on birational rigidity, birational solidity, and rationality for quasismooth Fano threefold weighted complete intersections (WCIs). It aims to give a complete, family-by-family picture: for index 1 hypersurfaces, every quasismooth member is birationally rigid; for higher index hypersurfaces, none is birationally rigid and exactly five families are birationally solid. For codimension 2 WCIs the picture is still partly open, and the survey records which families are rigid, which are solid but admit a unique second birational model, and which link to del Pezzo or conic bundles. The point of the survey is to turn scattered theorems and open questions into a usable reference map.","feed_headline":"Index-1 Fano threefold hypersurfaces: all birationally rigid","feed_subtitle":"A survey assembles the complete classification of rigidity, solidity, and rationality for weighted complete intersection threefolds.","key_machinery":"The machinery is the Sarkisov program for threefolds, organised around the notion of a Mori fibre space: any birational map between Mori fibre spaces factors into Sarkisov links, and from a Fano variety of Picard rank 1 a link is initiated by a divisorial extraction. The key objects are maximal singularities and maximal centres, detected through the Noether–Fano–Iskovskikh inequality, and the Kawamata weighted blowups at terminal quotient singularities that start the links. Toric 2-ray games on an ambient weighted projective space provide the explicit birational models, such as weighted hypersurfaces with a single non-quasismooth point, del Pezzo fibrations, and conic bundles.","core_discovery":"The central claim, on the survey's own terms, is that birational rigidity and solidity of quasismooth Fano threefold WCIs are governed by Fano index and codimension, and that the known theorems now cover most of the classification. Quasismooth Fano threefold weighted hypersurfaces of Fano index 1 are all birationally rigid, hence irrational; among the 35 families of index at least 2, no member is birationally rigid and birational solidity holds exactly for the five families $X_{18}\\subset \\mathbb{P}(1,2,3,5,9)$, $X_{22}\\subset \\mathbb{P}(1,2,3,7,11)$, $X_{26}\\subset \\mathbb{P}(1,2,5,7,13)$, $X_{38}\\subset \\mathbb{P}(2,3,5,11,19)$, and $X_{21}\\subset \\mathbb{P}(1,3,5,7,8)$. For codimension 2 index 1 families, the survey divides the 85 families into birationally rigid, birationally solid with a single other Mori fibre space model, and non-solid families carrying a Sarkisov link to a del Pezzo fibration, leaving the solidity of the remaining families as open questions. The survey also records that every quasismooth index-1 weighted hypersurface is K-stable, and that codimension 3 complete intersections of three quadrics are not birationally solid.","pith_inferences":["If the blanks in Table 6 are eventually filled as expected, the codimension 2 index 1 picture would become a clean trichotomy: rigid, solid with a unique second model, or non-solid with a del Pezzo fibration model.","The five solid higher-index families all have a unique non-quasismooth Fano model (or two for family 110), suggesting that non-quasismooth singularities may be a general source of new Mori fibre spaces in pliability sets.","The rationality open cases (families 99, 108, 109, 117, 122) are natural testbeds: a positive answer would refine the known stable-rationality results, while a single rational example would break the current pattern that solidity implies irrationality.","The survey's threshold questions (rigidity fails at index at least 2, solidity fails at index at least 4 and codimension at least 5 for known cases) suggest searching for the first birationally solid example in codimension 4 or higher."],"forward_implications":["Every quasismooth Fano threefold weighted hypersurface of Fano index 1 is birationally rigid and therefore irrational; no exceptions remain among the 95 families.","Any quasismooth Fano threefold weighted hypersurface of Fano index at least 2 fails birational rigidity, and only five families are birationally solid; every other higher-index family is birational to a strict Mori fibre space.","For codimension 2 index 1 WCIs, the six families indexed $I_{dP}$ are not birationally solid: each admits a Sarkisov link to a del Pezzo fibration over $\\mathbb{P}^1$.","The codimension 2 index at least 2 WCIs split into a set $I_S$ whose members link to non-quasismooth Fano threefolds and a set $I_{nS}$ whose members link to conic bundles or del Pezzo fibrations; none is birationally rigid.","Any quasismooth Fano threefold weighted hypersurface of index 1 is K-stable, connecting birational rigidity to K-stability."],"supporting_citations":[{"why":"Proves that every quasismooth Fano threefold weighted hypersurface of Fano index 1 is birationally rigid, the backbone of the index-1 hypersurface section.","marker":"[CP17, Main Theorem]"},{"why":"Introduced the systematic study of the 93 non-smooth index-1 families and proved rigidity for general members, setting the pattern the survey reports.","marker":"[CPR00, Theorem 1.3, Theorem 3.2]"},{"why":"Establishes birational solidity for the five higher-index hypersurface families and identifies their unique non-quasismooth Fano models.","marker":"[Oka23, Theorem 1.3]"},{"why":"Classifies the Sarkisov links for codimension 2 WCIs of index at least 2, splitting the families into the solid and non-solid candidate sets the survey tabulates.","marker":"[Gue23, Theorem 1.3]"},{"why":"Produces the rigidity, solidity, and del Pezzo fibration links for codimension 2 index 1 families, the basis of Theorem 58.","marker":"[Oka14, Theorems 1.2 and 1.4]"},{"why":"Supplies the further codimension 2 index 1 rigidity and solidity results used in the survey's summary of that case.","marker":"[Oka18, Theorem 1.2]"},{"why":"Provides the Mori dream space and 2-ray game techniques used to construct and control Sarkisov links throughout the survey.","marker":"[AZ16, Theorem 1.1]"},{"why":"Shows that every quasismooth Fano threefold weighted hypersurface of index 1 is K-stable, connecting the birational rigidity results to K-stability.","marker":"[CO24, Theorem 1.5]"},{"why":"Gives the Sarkisov link from a complete intersection of three quadrics in $\\mathbb{P}^6$ to a conic bundle, implying non-solidity for those codimension 3 WCIs.","marker":"[IP99, Theorem 4.3.3]"}],"fun_headline_variants":["Index-1 Fano threefold hypersurfaces: all rigid, irrational","Fano index 1 hypersurfaces rigid; higher index not","Survey: threefold WCI rigidity governed by index","Birational rigidity survey for Fano threefold WCIs","Index-1 WCI threefolds: rigidity and irrationality"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The survey's summary tables are only as reliable as the cited classifications and rigidity theorems, above all the completeness of the Reid–Fletcher enumeration of quasismooth deformation families and the cited main theorems that settle rigidity and solidity family by family.","fun_headline_variants_meta":{"raw":{"variants":["Index-1 Fano threefold hypersurfaces: all rigid, irrational","Fano index 1 hypersurfaces rigid; higher index not","Survey: threefold WCI rigidity governed by index","Birational rigidity survey for Fano threefold WCIs","Index-1 WCI threefolds: rigidity and irrationality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000377,"raw_usage":{"total_tokens":1964,"prompt_tokens":856,"completion_tokens":1108,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":472,"completion_tokens_details":{"reasoning_tokens":1020}},"tokens_in":472,"tokens_out":1108,"duration_ms":11319,"temperature":1.0,"reasoning_tokens":1020,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:16:02.579139+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a quasismooth Fano threefold weighted complete intersection in a family the survey lists as birationally solid (for instance one of the five higher-index hypersurfaces) together with a birational map to a Mori fibre space that is not isomorphic to the listed models; or find a quasismooth member of a family marked blank in Table 6 that is not birationally solid. Either would directly contradict the survey's summary.","supporting_citations":[],"review_version":2}