Pith. sign in

REVIEW 2 major objections 6 minor 21 references

A survey on birational Rigidity of threefold Weighted Complete Intersections

T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This survey maps, family by family, which quasismooth Fano threefold weighted complete intersections are birationally rigid, birationally solid, or rational.

desk verdict 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. read the letter →

arxiv 2508.13025 v2 pith:KTMYYLLT submitted 2025-08-18 math.AG

Tiago Duarte Guerreiro , Takuzo Okada This is my paper · ORCID
classification math.AG MSC 14E3014J3014J45
keywords birationalrigiditysolidityFanothreefoldsweightedcompleteintersectionsSarkisovlinksMorifibrespacesrationalityK-stability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

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.

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 (2)
  1. [§6.2, Table 8] 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.
  2. [§6.1, Table 6] 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.
minor comments (6)
  1. [§6.2, Theorem 62] 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.
  2. [§9 (heading)] The section title 'Some more questions on birational rigidity and solidigy' contains a typo: 'solidigy' should be 'solidity'.
  3. [Throughout] 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.
  4. [References] 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.
  5. [Throughout] 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.
  6. [Section 12 (Summary)] 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.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the survey reports prior published theorems, including several by the authors, but does not derive its claims from its own outputs.

full rationale

This is an expository survey, not a derivation chain. It assembles classifications and rigidity/solidity theorems for Fano threefold weighted complete intersections, quoting results from [CPR00], [CP17], [Oka14], [Oka18], [Oka20a], [Oka23], [Gue23], [CO24], [ACP21], and others. No parameter is fitted, no quantity called a prediction is obtained from data inside the paper, and no theorem is shown to follow from an assumption that already contains the conclusion. The authors' own prior papers are cited often, and some of them ([Oka23], [Gue23], [CO24]) supply the main content summarized in Sections 6 and 11, but those results are external published theorems with proofs, so citing them is not circular within this survey. The only flagged issue is a non-circular consistency concern in Section 6.1 and Table 6: family №44 (X10,12 in P(1,2,3,5,5,7)) is marked 'BS*' while I_br omits 44 and the 'suitable 35 families' count appears to require counting №44 as solid; this is a correctness risk in the summary tables, not a self-referential reduction. The paper also honestly reports that [Haya] and [Hayb] are unpublished preprints 'whose contents are known only to a very limited number of specialists,' a support gap that does not create circularity. Overall, the survey is self-contained as a literature review and no circularity pattern is present.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The survey's central value is as a synthesis; it introduces no free parameters and no new entities. Its reliability rests on standard mathematical background and the correctness of the cited literature.

assumptions (4)
  • standard math The Minimal Model Program and Sarkisov program provide the framework for birational rigidity (existence of minimal models for uniruled varieties [BCHM10], Sarkisov program [HM13]).
    Invoked throughout Sections 1, 4, and 5 as the background for Mori fibre spaces and Sarkisov links.
  • domain assumption The classification of terminal threefold singularities and their divisorial extractions is correct (Reid, Mori, Kawakita, Hayakawa, Yamamoto, and others).
    Section 2 relies on this classification to describe possible maximal centers and Sarkisov links.
  • domain assumption The lists of deformation families of quasismooth Fano threefold WCIs are complete: 95 hypersurface families, 85 codimension 2 index 1 families, 40 codimension 2 index greater than 1 families, and the like.
    Section 6 and Tables 5-8 are organized around these lists, cited to [CPR00], [CCC11], and [Gue23]. If the lists are incomplete, the summary is incomplete.
  • domain assumption The cited theorems on birational rigidity, solidity, and K-stability are correct (e.g., [CP17, Main Theorem], [Oka23, Theorem 1.3], [Gue23, Theorem 1.3], and [CO24, Theorem 1.5]).
    The survey itself proves almost none of these results; it aggregates them. An error in any of them propagates into the survey.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A survey on birational Rigidity of threefold Weighted Complete Intersections." pith.science (2026). https://pith.science/paper/KTMYYLLT

@misc{pith2026250813025,
  author       = {Pith},
  title        = {Pith review of: A survey on birational Rigidity of threefold Weighted Complete Intersections},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KTMYYLLT}},
  note         = {Machine review of arXiv:2508.13025}
}
read the original abstract

We survey what is known about Fano threefold weighted complete intersections from the point of view of birational rigidity.

Figures

Figures reproduced from arXiv: 2508.13025 by the authors.

Figure 1
Figure 1. The four types of Sarkisov links between Mori fibre spaces. The following two definitions capture the extent up to which a Fano variety of Picard rank 1 is unique among Mori fibre spaces. The first one is essentially due to Corti (See [Cor00, Definition 1.3] and [CP17, Definition 1.1.2]) and the next one due to Shokuhrov and later by Abban-Okada, (See [AO18, Definition 1.4]). Definition 33. A Fano variety X of Picar… view at source ↗

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 15 canonical work pages

  1. [1]

    arXiv preprint arXiv:2409.09492,

    work page Pith review arXiv

  2. [4]

    Blowups of smooth fano hypersurfaces, their birational geometry and divisorial stability.arXiv preprint arXiv:2311.11386,

    [CGP23b] Livia Campo, Tiago Duarte Guerreiro, and Erik Paemurru. Blowups of smooth fano hypersurfaces, their birational geometry and divisorial stability.arXiv preprint arXiv:2311.11386,

    arXiv

  3. [9]

    Birational Geometry of sextic del Pezzo surfaces

    [KE25] Elias Kurz and Yasinsky Egor. Birational geometry of sextic del pezzo surfaces.arXiv preprint arXiv:2507.21737,

    work page Pith review arXiv

  4. [14]

    arXiv preprint arXiv:2506.00323,

    in P(1, 2, 3, 4, 7, 11). arXiv preprint arXiv:2506.00323,

    work page arXiv

  5. [18]

    Delta invariants of weighted hypersurfaces

    [ST24] Taro Sano and Luca Tasin. Delta invariants of weighted hypersurfaces. arXiv preprint arXiv:2408.03057,

    arXiv

  6. [21]

    Key varieties for primeQ-Fano threefolds defined by jordan algebras of cubic forms

    [Tak24a] Hiromichi Takagi. Key varieties for primeQ-Fano threefolds defined by jordan algebras of cubic forms. Part I. arXiv preprint arXiv:2403.14991,

    arXiv

  7. [22]

    Key varieties for primeQ-Fano threefolds defined by jordan algebras of cubic forms

    [Tak24b] Hiromichi Takagi. Key varieties for primeQ-Fano threefolds defined by jordan algebras of cubic forms. Part II. arXiv preprint arXiv:2403.15991,

    arXiv

  8. [1980]

    Minimal models of canonical3-folds

    [Rei83a] Miles Reid. Minimal models of canonical3-folds. In Algebraic varieties and analytic varieties (Tokyo, 1981), volume 1 ofAdv. Stud. Pure Math., pages 131–180. North-Holland, Amsterdam,

    work page 1981

Show all 21 references
  1. [1982]

    Weighted projective varieties

    [Dol82] Igor Dolgachev. Weighted projective varieties. InGroup actions and vector fields (Vancouver, B.C., 1981), volume 956 ofLecture Notes in Math., pages 34–71. Springer, Berlin,

    1981

  2. [1983]

    [Rei87] Miles Reid

    Mathematical Society of Japan. [Rei87] Miles Reid. Young person’s guide to canonical singularities. InAlgebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985), volume 46 ofProc. Sympos. Pure Math., pages 345–414. Amer. Math. Soc., Providence, RI,

    1985

  3. [1998]

    With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. [Kol95] János Kollár. Nonrational hypersurfaces. J. Amer. Math. Soc., 8(1):241–249,

    1998

  4. [2001]

    Boundedness ofQ-Fano threefolds

    [Kaw92] Yujiro Kawamata. Boundedness ofQ-Fano threefolds. InProceedings of the International Conference on Algebra, Part 3 (Novosibirsk, 1989), volume 131 ofContemp. Math., pages 439–445. Amer. Math. Soc., Providence, RI,

    1989

  5. [2004]

    Explicit birational geometry of fano threefold complete intersections.arXiv preprint arXiv:2301.06481,

    33 [Gue23] Tiago Duarte Guerreiro. Explicit birational geometry of fano threefold complete intersections.arXiv preprint arXiv:2301.06481,

    arXiv

  6. [2011]

    Constructing fano 3-folds from cluster varieties of rank 2.Compositio Mathematica, 156(9):1873–1914,

    [CD20] Stephen Coughlan and Tom Ducat. Constructing fano 3-folds from cluster varieties of rank 2.Compositio Mathematica, 156(9):1873–1914,

    1914

  7. [2019]

    Key varieties for primeQ-Fano threefolds related withP2 × P2-fibrations

    [Tak21a] Hiromichi Takagi. Key varieties for primeQ-Fano threefolds related withP2 × P2-fibrations. Part I.arXiv preprint arXiv:2103.11086,

    arXiv

  8. [2020]

    Birationally solid Fano 3-fold hypersurfaces

    [Oka23] Takuzo Okada. Birationally solid Fano 3-fold hypersurfaces. arXiv preprint arXiv:2305.06183,

    arXiv

  9. [2021]

    Key varieties for primeQ-Fano threefolds related withP2 × P2-fibrations

    [Tak21b] Hiromichi Takagi. Key varieties for primeQ-Fano threefolds related withP2 × P2-fibrations. Part II.arXiv preprint arXiv:2111.14328,

    arXiv

  10. [2022]

    On the birational geometry of sextic threefold hypersurface inP(1, 1, 2, 2, 3)

    [Pro24] Yuri Prokhorov. On the birational geometry of sextic threefold hypersurface inP(1, 1, 2, 2, 3). arXiv preprint arXiv:2412.05120,

  11. [2023]

    Mori dream spaces and blow-ups

    [Cas18] Ana-Maria Castravet. Mori dream spaces and blow-ups. InAlgebraic geometry: Salt Lake City 2015, volume 97.1 of Proc. Sympos. Pure Math., pages 143–167. Amer. Math. Soc., Providence, RI,

    2015

  12. [2024]

    On the birational geometry of Q-Fano threefolds of large fano index, II

    [Pro25] Yuri Prokhorov. On the birational geometry of Q-Fano threefolds of large fano index, II. arXiv preprint arXiv:2503.04177,

  13. [2025]

    Birational rigidity of quartic three-folds with a double point of rank3

    [Puk24] Aleksandr Pukhlikov. Birational rigidity of quartic three-folds with a double point of rank3. arXiv preprint arXiv:2410.15193,

    arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.