pith. sign in

arxiv: 2604.08097 · v1 · submitted 2026-04-09 · 🧮 math.AG

Elementary links from prime Fano threefolds along two lines

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

classification 🧮 math.AG
keywords prime Fano threefoldselementary linksbirational geometrygenus 12 Fano threefoldsgenus 10 Fano threefoldsgenus 9 Fano threefoldsconic bundlesblowups along lines
0
0 comments X

The pith

Blowups of prime Fano threefolds of genus 12, 10 or 9 along two disjoint lines admit elementary links to other threefolds or bundles.

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

The paper studies prime Fano threefolds of genus 12, 10 or 9 that contain two lines which do not intersect. It shows that blowing up such a threefold along each of the two lines produces a variety that admits an elementary link, a specific kind of birational map, to a different target space. For genus 12 the target is the blowup of a Fano threefold of type 2.21 along a bi-cubic curve; for genus 10 it is the blowup of the projectivized tangent bundle of the plane along a suitable bi-quintic curve; for genus 9 it is a conic bundle over the product of two lines whose discriminant has bidegree (3,3). The author also proves that these links are invertible when the genus is 12 or 10 and pays special attention to the case of genus 12 where the maps preserve a Gm-action.

Core claim

For prime Fano threefolds X of genus g=12, 10 or 9, and for totally disjoint pairs of lines Z1, Z2 in X, we establish links from the blowups of X along Z1 and Z2. If g=12, then the links end with the blowups of Fano threefolds of type 2.21 along bi-cubic curves; if g=10, then the links end with the blowups of the projectivization of the tangent bundle of the projective plane along genus 2 bi-quintic curves with a mild condition; if g=9, then the links end with conic bundles over the product of two projective lines with the discriminant loci of bidegree (3,3). When g=12 or g=10, we also establish the converses of the above links. Moreover, we especially focus on the links when g=12 and the G1

What carries the argument

The elementary link, a birational map constructed from the simultaneous blowup of the prime Fano threefold along the two disjoint lines that contracts other divisors to reach a new target variety.

Load-bearing premise

The existence of totally disjoint pairs of lines on the prime Fano threefold together with the mild condition on the bi-quintic curves when the genus is 10.

What would settle it

A concrete prime Fano threefold of genus 12 containing two disjoint lines such that the blowups along those lines do not admit a link to the blowup of a type 2.21 Fano threefold along a bi-cubic curve.

read the original abstract

For prime Fano threefolds $X$ of genus $g=12$, $10$ or $9$, and for totally disjoint pairs of lines $Z_1$, $Z_2$ in $X$, we establish links from the blowups of $X$ along $Z_1$ and $Z_2$. If $g=12$, then the links end with the blowups of Fano threefolds of type 2.21 along bi-cubic curves; if $g=10$, then the links end with the blowups of the projectivization of the tangent bundle of the projective plane along genus $2$ bi-quintic curves with a mild condition; if $g=9$, then the links end with conic bundles over the product of two projective lines with the discriminant loci of bidegree $(3,3)$. When $g=12$ or $g=10$, we also establish the converses of the above links. Moreover, we especially focus on the links when $g=12$ and the links are $\mathbb{G}_m$-equivariant.

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

0 major / 3 minor

Summary. For prime Fano threefolds X of genus g=12, 10 or 9, and for totally disjoint pairs of lines Z1, Z2 in X, the paper establishes links from the blowups of X along Z1 and Z2. If g=12, the links end with the blowups of Fano threefolds of type 2.21 along bi-cubic curves; if g=10, the links end with the blowups of the projectivization of the tangent bundle of the projective plane along genus 2 bi-quintic curves with a mild condition; if g=9, the links end with conic bundles over the product of two projective lines with the discriminant loci of bidegree (3,3). When g=12 or g=10, the converses of the above links are also established, with special attention to the Gm-equivariant case for g=12.

Significance. If the constructions are rigorously established, the results supply explicit elementary links and their reverses in the birational geometry of Fano threefolds, contributing concrete data to the Sarkisov program and the classification of links between Fano threefolds. The Gm-equivariant focus for g=12 provides an independent verification route via equivariant geometry, and the inclusion of converses strengthens the bidirectional nature of the correspondences.

minor comments (3)
  1. [Introduction] The mild condition on the genus-2 bi-quintic curves for g=10 is mentioned in the abstract but should be stated explicitly (with a reference to the relevant equation or definition) already in the introduction so that the scope of the result is immediately clear.
  2. [§2] Notation for the target varieties (e.g., type 2.21 Fano threefolds, P(T_{P^2})) is used without a preliminary table or paragraph recalling their standard invariants; adding a short summary table in §2 would improve readability for readers outside the immediate subfield.
  3. [§5] In the g=9 case the transition from the blow-up along two lines to the conic bundle over P^1×P^1 is described via the discriminant; a brief sentence confirming that the bidegree remains (3,3) after the base change would remove any potential ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report accurately captures the main results on elementary links and converses for prime Fano threefolds of genera 12, 10, and 9, including the Gm-equivariant case. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity: direct existence proofs for birational links

full rationale

The paper proves existence of elementary links (and converses for g=12,10) between blow-ups of prime Fano threefolds X along disjoint lines and specified target varieties (type-2.21 Fanos, projectivized tangent bundles, or (3,3)-conic bundles). These are constructive geometric statements relying on the given assumptions about X, the lines Z1/Z2, and mild conditions on curves; the derivations consist of explicit birational maps and classification arguments in algebraic geometry, without any reduction of outputs to fitted inputs, self-definitions, or load-bearing self-citations that collapse the central claims. The Gm-equivariant focus for g=12 supplies an independent verification path. The derivation chain is self-contained against external benchmarks in Fano threefold theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities can be identified from the abstract. The work presumably rests on standard axioms of algebraic geometry and known properties of Fano threefolds.

pith-pipeline@v0.9.0 · 5490 in / 1309 out tokens · 56293 ms · 2026-05-10T17:56:58.626464+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    C.\ Araujo, A.\ Castravet, I.\ Cheltsov, K.\ Fujita, A.\ Kaloghiros, J.\ Martinez-Garcia, C.\ Shramov, H.\ S\"uss and N.\ Viswanathan, The Calabi Problem for Fano threefolds, London Mathematical Society Lecture Series, 485, Cambridge University Press, Cambridge, 2023.\ vii+441 pp

  2. [2]

    C.\ Birkar, P.\ Cascini, C.\ Hacon and J.\ M ^ c Kernan, Existence of minimal models for varieties of log general type, J.\ Amer.\ Math.\ Soc., 23 (2010), no.\ 2, 405-468

  3. [3]

    A.\ Beauville, Vari\'et\'es de Prym et jacobiennes interm\'ediaires, Ann.\ Sci.\ \'Ecole Norm.\ Sup.\ 10 (1977), no.\ 3, 309--391

  4. [4]

    C.\ Casagrande, On Fano manifolds with a birational contraction sending a divisor to a curve, Michigan Math.\ J.\ 58 (2009), no.\ 3, 783--805

  5. [5]

    I.\ Cheltsov and C.\ Shramov, K\"ahler-Einstein Fano threefolds of degree 22 , J.\ Algebraic Geom.\ 32 (2023), no.\ 3, 385--428

  6. [6]

    D.\ Coray and M.\ Tsfasman, Arithmetic on singular Del Pezzo surfaces, Proc.\ London Math.\ Soc.\ 57 (1988), no.\ 1, 25--87

  7. [7]

    S.\ Dinew, G.\ Kapustka and M.\ Kapustka, Remarks on Mukai threefolds admitting C ^* action , Mosc.\ Math.\ J., 17 (2017), no.\ 1,15--33

  8. [8]

    A.\ Dubouloz, K.\ Fujita and T.\ Kishimoto, Another view on smooth prime Fano threefolds of degree 22 with infinite automorphism groups, arXiv:2512.08409v1, to appear in Sb.\ Math

  9. [9]

    T.\ Fujita, On the structure of polarized manifolds with total deficiency one, II, J.\ Math.\ Sci.\ Japan, 33 (1981), no.\ 3, 415--434

  10. [10]

    F.\ Hidaka and K-i.\ Watanabe, Normal Gorenstein surfaces with ample anti-canonical divisor, Tokyo J.\ Math.\ 4 (1981), no.\ 2, 319--330

  11. [11]

    G.\ Horrocks, A construction for locally free sheaves, Topology 7 (1968), 117--120

  12. [12]

    Y.\ Hu and S.\ Keel, Mori dream spaces and GIT , Michigan Math.\ J.\ 48 (2000), 331--348

  13. [13]

    Iskovskikh, Fano threefolds

    V.A. Iskovskikh, Fano threefolds. I, II, Izv.\ Akad.\ Nauk SSSR Ser.\ Mat.\ 41 (1977), no.\ 3, 516--562, 717; 42 (1978), no.\ 3, 506--549

  14. [14]

    V.A. Iskovskikh, Anticanonical models of three-dimensional algebraic varieties, Current problems in mathematics, Vol.\ 12 (Russian), pp.\ 59--157, 239 Itogi Nauki i Tekhniki (Progress in Science and Technology) Akad.\ Nauk SSSR, Vsesoyuz.\ Inst.\ Nauchn.\ i Tekhn.\ Inform., Moscow, 1979

  15. [15]

    V.A. Iskovskikh, Double projection from a line on a Fano threefold of the first kind, Mat.\ Sb., 180 (1989), no.\ 2, 260--278; English transl.\ in Math.\ USSR Sb., 66 (1990), no.\ 1, 265--284

  16. [16]

    T.\ Ito, A.\ Kanemitsu, T.\ Takamatsu and Y.\ Tanaka, Fano threefolds of genus 12 with large automorphism group in positive and mixed characteristic, arXiv:2601.10106v1

  17. [17]

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

  18. [18]

    Cambridge Tracts in Math., 134, Cambridge University Press, Cambridge, 1998

    J.\ Koll \'a r and S.\ Mori, Birational geometry of algebraic varieties, With the collaboration of C.\ H.\ Clemens and A.\ Corti. Cambridge Tracts in Math., 134, Cambridge University Press, Cambridge, 1998

  19. [19]

    A.\ Kuznetsov and Y.\ Prokhorov, Prime Fano threefolds of genus 12 with a G _m -action and their automorphisms , \'Epijournal G\'eom.\ Alg\'ebrique 2 (2018), Art.\ 3, 14 pp

  20. [20]

    A.\ Kuznetsov, Y.\ Prokhorov and C.\ Shramov, Hilbert schemes of lines and conics and automorphism groups of Fano threefolds, Jpn.\ J.\ Math., 13 (2018), no.\ 1, 109--185

  21. [21]

    A.\ Langer, Fano 4 -folds with scroll structure, Nagoya Math.\ J.\ 150 (1998), 135--176

  22. [22]

    R.\ Lazarsfeld, Positivity in algebraic geometry, I: Classical setting: line bundles and linear series, Ergebnisse der Mathematik und ihrer Grenzgebiete.\ (3) 48, Springer, Berlin, 2004

  23. [23]

    R.\ Lazarsfeld, Positivity in algebraic geometry, II: Positivity for Vector Bundles, and Multiplier Ideals, Ergebnisse der Mathematik und ihrer Grenzgebiete.\ (3) 49, Springer, Berlin, 2004

  24. [24]

    Lecture Notes in Math., 961 Springer--Verlag, Berlin, 1982

    M.\ Maruyama, Elementary transformations in the theory of algebraic vector bundles, Algebraic geometry (La R\'abida, 1981), 241--266. Lecture Notes in Math., 961 Springer--Verlag, Berlin, 1982

  25. [25]

    S.\ Mori, Threefolds whose canonical bundles are not numerically effective , Ann.\ of Math., 116 (1982), no.\ 1, 133--176

  26. [26]

    S.\ Mori and S.\ Mukai, Classification of Fano 3 -folds with B_2 2 , Manuscripta Math., 36 (1981), no.\ 2, 147--162

  27. [27]

    S.\ Mori and S.\ Mukai, On Fano 3 -folds with B_2 2 , in Algebraic varieties and analytic varieties ( Tokyo, 1981 ) , 101--129, Adv.\ Stud.\ Pure.\ Math.,\ 1, North-Holland, Amsterdam, 1983

  28. [28]

    S.\ Mori and S.\ Mukai, Classification of Fano 3 -folds with B_2 2 , I, in ``Algebraic and Topological Theories --- to the memory of Dr.\ Takehiko Miyata'', (M.\ Nagata ed.), Kinokuniya, 1985, pp.\ 496--545

  29. [29]

    S.\ Mukai, Fano 3 -folds, in ``Complex projective geometry'', 255--263, London Math.\ Soc.\ Lecture Notes 179 Cambridge UP (1992)

  30. [30]

    S.\ Mukai and H.\ Umemura, Minimal rational threefolds, Algebraic geometry (Tokyo/Kyoto, 1982), 490--518, Lecture Notes in Math., 1016, Springer, Berlin, 1983

  31. [31]

    viii+242 pp

    D.\ Mumford, Abelian varieties, Tata Inst.\ Fundam.\ Res.\ Stud.\ Math., 5 Published for the Tata Institute of Fundamental Research, Bombay; by Oxford University Press, London, 1970. viii+242 pp

  32. [32]

    N.\ Nakayama, Classification of log del Pezzo surfaces of index two, J.\ Math.\ Sci.\ Univ.\ Tokyo 14 (2007), no.\ 3, 293--498

  33. [33]

    Y.\ Prokhorov, Fano threefolds of genus 12 and compactifications of ^3 , St.\ Petersburg Math.\ J., 3 (1992), no.\ 4, 855-864

  34. [34]

    Y.\ Prokhorov, Fano threefolds, Proc.\ Steklov Inst.\ Math.\ 328 (2025), suppl.\ 1, S1--S130

  35. [35]

    report, 1980, no.\ 11

    M.\ Reid, Lines on Fano 3 -folds according to Shokurov, Mittag--Leffler Inst. report, 1980, no.\ 11

  36. [36]

    V.V.\ Shokurov, The existence of a line on Fano varieties, Izv.\ Akad.\ Nauk SSSR Ser.\ Mat.\ 43 (1979), no.\ 4, 922--964, 968

  37. [37]

    M.\ Szurek and J.\ Wi\'sniewski, Fano bundles of rank 2 on surfaces, Compositio Math.\ 76 (1990), no.\ 1--2, 295--305

  38. [38]

    K.\ Takeuchi, Some birational maps of Fano 3 -folds, Compositio Math.\ 71 (1989), no.\ 3, 265--283

  39. [39]

    K.\ Yasutake, On the classification of rank 2 almost Fano bundles on projective space, Adv.\ Geom.\ 12 (2012), no.\ 2, 353--363