Elementary links from prime Fano threefolds along two lines
Pith reviewed 2026-05-10 17:56 UTC · model grok-4.3
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.
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.
Referee Report
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)
- [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] 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.
- [§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
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.1: links from blowups of prime Fano X (g=12,10,9) along totally disjoint lines Z1,Z2 end in blowups of type-2.21 Fanos along bi-cubics, projectivized tangent bundles along genus-2 bi-quintics, or (3,3)-conic bundles
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Diagrams (5.5),(5.6) and all small Q-factorial modifications via flops of anti-canonical models
-
IndisputableMonolith/Foundation/DimensionForcing.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Converse links and Gm-equivariant cases for g=12 (Theorems 1.2, 1.3)
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
-
[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
work page 2023
-
[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
work page 2010
-
[3]
A.\ Beauville, Vari\'et\'es de Prym et jacobiennes interm\'ediaires, Ann.\ Sci.\ \'Ecole Norm.\ Sup.\ 10 (1977), no.\ 3, 309--391
work page 1977
-
[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
work page 2009
-
[5]
I.\ Cheltsov and C.\ Shramov, K\"ahler-Einstein Fano threefolds of degree 22 , J.\ Algebraic Geom.\ 32 (2023), no.\ 3, 385--428
work page 2023
-
[6]
D.\ Coray and M.\ Tsfasman, Arithmetic on singular Del Pezzo surfaces, Proc.\ London Math.\ Soc.\ 57 (1988), no.\ 1, 25--87
work page 1988
-
[7]
S.\ Dinew, G.\ Kapustka and M.\ Kapustka, Remarks on Mukai threefolds admitting C ^* action , Mosc.\ Math.\ J., 17 (2017), no.\ 1,15--33
work page 2017
- [8]
-
[9]
T.\ Fujita, On the structure of polarized manifolds with total deficiency one, II, J.\ Math.\ Sci.\ Japan, 33 (1981), no.\ 3, 415--434
work page 1981
-
[10]
F.\ Hidaka and K-i.\ Watanabe, Normal Gorenstein surfaces with ample anti-canonical divisor, Tokyo J.\ Math.\ 4 (1981), no.\ 2, 319--330
work page 1981
-
[11]
G.\ Horrocks, A construction for locally free sheaves, Topology 7 (1968), 117--120
work page 1968
-
[12]
Y.\ Hu and S.\ Keel, Mori dream spaces and GIT , Michigan Math.\ J.\ 48 (2000), 331--348
work page 2000
-
[13]
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
work page 1977
-
[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
work page 1979
-
[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
work page 1989
- [16]
-
[17]
J.\ Koll\'ar, Flops, Nagoya Math.\ J.\ 113 (1989), 15--36
work page 1989
-
[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
work page 1998
-
[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
work page 2018
-
[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
work page 2018
-
[21]
A.\ Langer, Fano 4 -folds with scroll structure, Nagoya Math.\ J.\ 150 (1998), 135--176
work page 1998
-
[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
work page 2004
-
[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
work page 2004
-
[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
work page 1981
-
[25]
S.\ Mori, Threefolds whose canonical bundles are not numerically effective , Ann.\ of Math., 116 (1982), no.\ 1, 133--176
work page 1982
-
[26]
S.\ Mori and S.\ Mukai, Classification of Fano 3 -folds with B_2 2 , Manuscripta Math., 36 (1981), no.\ 2, 147--162
work page 1981
-
[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
work page 1981
-
[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
work page 1985
-
[29]
S.\ Mukai, Fano 3 -folds, in ``Complex projective geometry'', 255--263, London Math.\ Soc.\ Lecture Notes 179 Cambridge UP (1992)
work page 1992
-
[30]
S.\ Mukai and H.\ Umemura, Minimal rational threefolds, Algebraic geometry (Tokyo/Kyoto, 1982), 490--518, Lecture Notes in Math., 1016, Springer, Berlin, 1983
work page 1982
-
[31]
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
work page 1970
-
[32]
N.\ Nakayama, Classification of log del Pezzo surfaces of index two, J.\ Math.\ Sci.\ Univ.\ Tokyo 14 (2007), no.\ 3, 293--498
work page 2007
-
[33]
Y.\ Prokhorov, Fano threefolds of genus 12 and compactifications of ^3 , St.\ Petersburg Math.\ J., 3 (1992), no.\ 4, 855-864
work page 1992
-
[34]
Y.\ Prokhorov, Fano threefolds, Proc.\ Steklov Inst.\ Math.\ 328 (2025), suppl.\ 1, S1--S130
work page 2025
-
[35]
M.\ Reid, Lines on Fano 3 -folds according to Shokurov, Mittag--Leffler Inst. report, 1980, no.\ 11
work page 1980
-
[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
work page 1979
-
[37]
M.\ Szurek and J.\ Wi\'sniewski, Fano bundles of rank 2 on surfaces, Compositio Math.\ 76 (1990), no.\ 1--2, 295--305
work page 1990
-
[38]
K.\ Takeuchi, Some birational maps of Fano 3 -folds, Compositio Math.\ 71 (1989), no.\ 3, 265--283
work page 1989
-
[39]
K.\ Yasutake, On the classification of rank 2 almost Fano bundles on projective space, Adv.\ Geom.\ 12 (2012), no.\ 2, 353--363
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.