pith. sign in

arxiv: 2604.12698 · v1 · submitted 2026-04-14 · 🧮 math.AG

Key variety construction of Sarkisov links for prime mathbb{Q}-Fano threefolds of codimension four associated to Type {rm II}₂ projections

Hiromichi Takagi This is my paper

Pith reviewed 2026-05-10 14:14 UTC · model grok-4.3

classification 🧮 math.AG
keywords Sarkisov linksprime Q-Fano threefoldsdivisorial extractiondel Pezzo fibrationsweighted projective varietiesbirational geometrycodimension fourType II2 projections
0
0 comments X

The pith

For seven families of codimension-four prime Q-Fano threefolds, the Sarkisov link from the maximal-index divisorial extraction is constructed explicitly by transfer from an ambient weighted projective link and ends in a del Pezzo fibration.

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

The paper starts from eight families of quasi-smooth prime Q-Fano threefolds that sit anticanonically in codimension four and were built earlier via weighted projectivizations of a 14-dimensional affine variety or its cone. For seven of those families it builds the Sarkisov link that begins at the unique divisorial extraction of the singularity of maximal index. A reader cares because the construction supplies concrete birational maps that relate these threefolds to del Pezzo surfaces or to lower-codimension weighted complete intersections. If the transfer works, it classifies the possible endpoints of the links for most of the families and gives detailed geometric descriptions of each step.

Core claim

For X belonging to seven of the families, the unique divisorial extraction f̂ at the specified singularity of maximal index admits a Sarkisov link obtained from the ambient weighted projective Sarkisov link associated to the projectivization of Π_A^14 or its cone; the link ends either with a fibration whose general fiber is a del Pezzo surface of degree one or with a divisorial contraction of type (2,1) to a weighted complete intersection of codimension at most two.

What carries the argument

The ambient Sarkisov link in the weighted projective space arising from the projectivization of the 14-dimensional affine variety Π_A^14 or its cone, transferred to the embedded threefold X.

If this is right

  • The Sarkisov link is constructed explicitly for each of the seven families.
  • The link terminates in a fibration whose general fiber is a del Pezzo surface of degree one.
  • The link terminates in a divisorial contraction of type (2,1) to a weighted complete intersection of codimension at most two.
  • Detailed geometric descriptions of each link, including the steps between the extraction and the endpoint, are supplied.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same transfer technique from an ambient weighted projective link may apply to other Q-Fano threefolds that admit similar codimension-four embeddings.
  • The remaining eighth family may be handled by an analogous construction once its ambient link is known.
  • The target del Pezzo fibrations and weighted complete intersections obtained here become new objects whose own birational properties can be studied directly.

Load-bearing premise

The eight families constructed in the prior paper exist as stated and each threefold admits a unique divisorial extraction at the given maximal-index singularity that lets the ambient link transfer directly.

What would settle it

A direct calculation of the Sarkisov link on one explicit member of the seven families that produces an endpoint different from both a del Pezzo surface fibration and a (2,1) divisorial contraction to a codimension-at-most-two weighted complete intersection.

read the original abstract

In our paper [Tak6], we constructed eight families of quasi-smooth prime $\mathbb{Q}$-Fano threefolds, anticanonically embedded in codimension four, using weighted projectivizations of the $14$-dimensional affine variety $\Pi_{\mathbb{A}}^{14}$or its cone. Let $\widehat{f}\colon\widehat{X}\to X$ be the unique divisorial extraction at one specified singularity of maximal index. In this paper, we explicitly construct the Sarkisov link starting from $\widehat{f}$ for $X$ belonging to seven of these families. This is achieved by using the Sarkisov link associated with the weighted projectivization of $\Pi_{\mathbb{A}}^{14}$ or its cone corresponding to $X$. As a consequence, we show that the Sarkisov link ends with either a fibration whose general fiber is a del Pezzo surface of degree one or a divisorial contraction of type $(2,1)$ to weighted complete intersections of codimension at most two. We also provide more detailed descriptions of these Sarkisov links.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper explicitly constructs Sarkisov links starting from the unique divisorial extraction at the maximal-index singularity for seven of the eight families of quasi-smooth prime Q-Fano threefolds of codimension four constructed in the author's prior work [Tak6]. These links are obtained by transferring the corresponding Sarkisov links on the ambient weighted projective space (or cone over Π_A^14) associated to each X. The author shows that each such link terminates either in a fibration whose general fiber is a del Pezzo surface of degree one or a divisorial contraction of type (2,1) to a weighted complete intersection of codimension at most two, and supplies case-by-case equations, diagrams, and termination arguments.

Significance. If the explicit constructions and termination statements hold, the work supplies concrete, verifiable examples of Sarkisov links for a class of codimension-four Q-Fano threefolds where such descriptions have been scarce. The transfer technique from ambient weighted projective geometry provides a systematic method that may extend to other families, advancing the classification and minimal-model-program analysis of prime Q-Fano threefolds.

major comments (2)
  1. [§3 (or the section containing the transfer diagrams)] The central transfer argument (that the ambient Sarkisov link descends to the extracted variety X) is load-bearing for all seven cases; while the manuscript supplies case-by-case equations, it should explicitly verify that the exceptional divisor and the singularity type match those of the unique maximal-index extraction constructed in [Tak6, Theorem X.Y].
  2. [§4–§10 (the individual family sections)] Termination is asserted to produce either a degree-1 del Pezzo fibration or a (2,1) contraction to a codimension-≤2 WCI; for each family the argument that no further small birational maps intervene must be tied directly to the specific equations of the ambient link (e.g., by checking the discrepancy or the fiber type after the first flip).
minor comments (3)
  1. [§2] Notation for the weighted projective ambient spaces and the cones over Π_A^14 should be introduced once in §2 and used uniformly; occasional shifts between “cone over Π_A^14” and “weighted projective space” are distracting.
  2. [§4–§10] Each family section would benefit from a small table summarizing the weights, the singularity index, the type of the terminal model, and the reference to the corresponding ambient link.
  3. [Introduction] The exclusion of the eighth family is stated but not explained; a short paragraph indicating whether the method fails or is deferred would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of our work and for the detailed comments, which help clarify the presentation of the transfer arguments and termination statements. We address each major comment below and will revise the manuscript accordingly to make the verifications more explicit.

read point-by-point responses

  1. Referee: [§3 (or the section containing the transfer diagrams)] The central transfer argument (that the ambient Sarkisov link descends to the extracted variety X) is load-bearing for all seven cases; while the manuscript supplies case-by-case equations, it should explicitly verify that the exceptional divisor and the singularity type match those of the unique maximal-index extraction constructed in [Tak6, Theorem X.Y].

    Authors: We agree that an explicit cross-verification strengthens the exposition. In the revised manuscript we will insert, immediately after the transfer diagrams in §3, a short subsection that compares the exceptional divisor E of each ambient Sarkisov link with the divisor constructed in [Tak6, Theorem X.Y]. The comparison will be made by matching the weights of the maximal-index singularity and the local defining equations of the extraction; this will confirm that the singularity type and the divisor coincide for all seven families. revision: yes

  2. Referee: [§4–§10 (the individual family sections)] Termination is asserted to produce either a degree-1 del Pezzo fibration or a (2,1) contraction to a codimension-≤2 WCI; for each family the argument that no further small birational maps intervene must be tied directly to the specific equations of the ambient link (e.g., by checking the discrepancy or the fiber type after the first flip).

    Authors: We accept that the termination arguments benefit from being anchored more directly to the equations. For each family in §§4–10 we will augment the existing case-by-case analysis by adding, after the description of the first flip, an explicit computation of the discrepancy of the subsequent map (using the concrete weighted equations of the ambient link) together with a verification of the resulting fiber type or target codimension. These additions will demonstrate that the link terminates as claimed and that no further small birational maps can occur. revision: yes

Circularity Check

0 steps flagged

Minor self-citation for input families; link constructions use independent ambient transfers

full rationale

The paper assumes the eight families and uniqueness of the maximal-index divisorial extraction from the author's prior work [Tak6], as stated in the abstract and introduction. The central derivation—explicit construction of Sarkisov links for seven families by transferring the ambient weighted projective space link (or cone over Π_A^14)—proceeds via case-by-case geometric arguments, equations, and termination proofs that do not reduce to fitted parameters, self-definitions, or unverified self-citations. No load-bearing step collapses by construction to the inputs; the cited prior work supplies external (falsifiable) existence data while this paper supplies the independent link realizations. This matches the expected non-circular extension of prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the correctness of the families constructed in the author's earlier paper [Tak6] and on standard facts from birational geometry of threefolds (existence and uniqueness of divisorial extractions at terminal singularities of given index). No new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Existence and uniqueness of the divisorial extraction f̂ at the specified singularity of maximal index for each X in the families.
    Invoked in the abstract when defining the starting point of the Sarkisov link.
  • domain assumption The weighted projective ambient space associated to each family admits a known Sarkisov link that can be transferred to X.
    Used to construct the link for X from the ambient variety.

pith-pipeline@v0.9.0 · 5503 in / 1564 out tokens · 36818 ms · 2026-05-10T14:14:04.781830+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Alt nok, G

    S. Alt nok, G. Brown, A. Iano-Fletcher, M. Reid, and K. Suzuki, The graded ring database, Online database, available at http://www.grdb.co.uk/forms/fano3

    work page

  2. [2]

    Brown, Flips arising as quotients of hypersurfaces, Math

    G. Brown, Flips arising as quotients of hypersurfaces, Math. Proc. Cambridge Philos. Soc. 127 (1999), no. 1, 13--31

    work page 1999

  3. [3]

    Brown, M

    G. Brown, M. Kerber and M. Reid, Fano 3 -folds in codimension 4, Tom and Jerry. Part I, Compos. Math. 148 (2012), 1171--1194

    work page 2012

  4. [4]

    Brown, and F

    G. Brown, and F. Zucconi, Graded rings of rank 2 Sarkisov links, Nagoya Math. J. 197 (2010), 1--44

    work page 2010

  5. [5]

    Campo, Sarkisov links for index 1 Fano 3-folds in codimension 4 , Math

    L. Campo, Sarkisov links for index 1 Fano 3-folds in codimension 4 , Math. Nachr. 296 (2023), no. 3, 957--979, the big table available at http://www.grdb.co.uk/files/fanolinks/BigTableLinks.pdf

    work page 2023

  6. [6]

    J. A. Chen, C. Hacon, Factoring 3-fold flips and divisorial contractions to curves, J. Reine Angew. Math. 657 (2011), 173--197

    work page 2011

  7. [7]

    D. Cox, J. Little, H. Schenck, Toric varieties, Grad. Stud. Math., 124, American Mathematical Society, Providence, RI, 2011, xxiv+841 pp

    work page 2011

  8. [8]

    A. R. Iano-Fletcher, Working with weighted complete intersections, Explicit birational geometry of 3 -folds, 101--173, London Math. Soc. Lecture Note Ser., 281, Cambridge University Press, Cambridge, 2000

    work page 2000

  9. [9]

    Kawakita, Three-fold divisorial contractions to singularities of higher indices, Duke Math

    M. Kawakita, Three-fold divisorial contractions to singularities of higher indices, Duke Math. J. 130 (2005), no. 1, 57--126

    work page 2005

  10. [10]

    Koll\'ar, Flops, Nagoya Math

    J. Koll\'ar, Flops, Nagoya Math. J. 113 (1989), 15--36

    work page 1989

  11. [11]

    Koll\'ar, S

    J. Koll\'ar, S. Mori, Classification of three-dimensional flips, J. Amer. Math. Soc. 5 (1992), no. 3, 533--703

    work page 1992

  12. [12]

    Koll\'ar, S

    J. Koll\'ar, S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math., 134, Cambridge University Press, Cambridge, 1998, viii+254 pp

    work page 1998

  13. [13]

    Mori, On 3-dimensional terminal singularities, Nagoya Math

    S. Mori, On 3-dimensional terminal singularities, Nagoya Math. J. 98 (1985), 43--66

    work page 1985

  14. [14]

    S. Mori, Y. Prokhorov, Toward the classification of threefold extremal contractions with one-dimensional fibers, Pure Appl. Math. Q. 22 (2026), no. 1, 245--293

    work page 2026

  15. [15]

    Mukai, Fano 3-folds, London Math

    S. Mukai, Fano 3-folds, London Math. Soc. Lecture Note Ser., 179, Cambridge University Press, Cambridge, 1992, 255--263

    work page 1992

  16. [16]

    Okada, Birationally superrigid Fano 3-folds of codimension 4, Algebra Number Theory 14 (2020), no

    T. Okada, Birationally superrigid Fano 3-folds of codimension 4, Algebra Number Theory 14 (2020), no. 1, 191--212

    work page 2020

  17. [17]

    Paemurru, Birational geometry of sextic double solids with a compound A_ n singularity, Nagoya Math

    E. Paemurru, Birational geometry of sextic double solids with a compound A_ n singularity, Nagoya Math. J. 256 (2024), 970--1021

    work page 2024

  18. [18]

    Reid, Young person's guide to canonical singularities, Proc

    M. Reid, Young person's guide to canonical singularities, Proc. Sympos. Pure Math., 46, Part 1, American Mathematical Society, Providence, RI, 1987, 345--414

    work page 1987

  19. [19]

    Takagi, On classification of -Fano 3 -folds of Gorenstein index 2

    H. Takagi, On classification of -Fano 3 -folds of Gorenstein index 2 . I, II, Nagoya Math. J. 167 (2002), 117--155, 157--216

    work page 2002

  20. [20]

    Takagi, Key varieties for prime Q -Fano threefolds related with P ^ 2 P ^ 2 -fibrations

    H. Takagi, Key varieties for prime Q -Fano threefolds related with P ^ 2 P ^ 2 -fibrations. Part II , arXiv:2111.14328v1

    work page arXiv

  21. [21]

    Takagi, Classification of -Fano 3 -folds of Gorenstein index 2 via key varieties constructed from projective bundles, Internat

    H. Takagi, Classification of -Fano 3 -folds of Gorenstein index 2 via key varieties constructed from projective bundles, Internat. J. Math. 34 (2023), no. 10, Paper No. 2350060, 47 pp

    work page 2023

  22. [22]

    Takagi, Key varieties for prime -Fano threefolds defined by Jordan algebras of cubic forms

    H. Takagi, Key varieties for prime -Fano threefolds defined by Jordan algebras of cubic forms. Part I, arXiv:2403.14991v2, submitted

    work page arXiv

  23. [23]

    Takagi, Key varieties for prime -Fano threefolds defined by Jordan algebras of cubic forms

    H. Takagi, Key varieties for prime -Fano threefolds defined by Jordan algebras of cubic forms. Part II, arXiv:2403.15991v2, submitted

    work page arXiv

  24. [24]

    Takagi, Constructing prime -Fano threefolds of codimension four via key varieties related with ^ 2 ^ 2 -fibrations, Math

    H. Takagi, Constructing prime -Fano threefolds of codimension four via key varieties related with ^ 2 ^ 2 -fibrations, Math. Scand. 131 (2025), no. 3, 485--523

    work page 2025

  25. [25]

    H. Takagi, Mathematica Code for Paper 'Constructing prime -Fano threefolds of codimension four via key varieties related with ^ 2 ^ 2 -fibrations' , Notebook file: CodeQFano.nb, available at https://github.com/hiromicitakagi/mathematica-code

    work page

  26. [26]

    Takagi, Constructing and characterizing prime -Fano threefolds of genus one and with six -singularites via key varieties, arXiv:2507.13657, to appear in Taiwanese J

    H. Takagi, Constructing and characterizing prime -Fano threefolds of genus one and with six -singularites via key varieties, arXiv:2507.13657, to appear in Taiwanese J. Math

    work page arXiv

  27. [27]

    H. Takagi, Mathematica Code for Paper 'Key variety construction of Sarkisov links for prime -Fano threefolds of codimension four associated to Type II _ 2 projections', Notebook file: CodeQFano2.nb, available at https://github.com/hiromicitakagi/mathematica-code

    work page

  28. [28]

    R. Taylor, Type II unprojections, Fano threefolds and codimension four constructions, PhD thesis, University of Warwick (2020), available at https://wrap.warwick.ac.uk/145363/1/WRAP_Theses_Taylor_2020.pdf

    work page 2020

  29. [29]

    Wolfram Research, Inc., Mathematica, Version 12, Wolfram Research, Inc., https://www.wolfram.com/mathematica, Champaign, Illinois (2019)

    work page 2019