pith. sign in

arxiv: 1907.05678 · v1 · pith:OMU7Z5IRnew · submitted 2019-07-12 · 🧮 math.AG

Rationality of Fano threefolds with terminal Gorenstein singularities, I

Yuri Prokhorov This is my paper

Pith reviewed 2026-05-24 22:37 UTC · model grok-4.3

classification 🧮 math.AG
keywords Fano threefoldsterminal singularitiesGorenstein singularitiesrationalityhyperelliptictrigonalclassificationbirational geometry
0
0 comments X

The pith

All non-rational hyperelliptic and trigonal Fano threefolds with terminal Gorenstein singularities are classified.

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

The paper classifies all hyperelliptic and trigonal Fano threefolds with terminal Gorenstein singularities that fail to be rational. These special classes are defined by properties of their linear systems and anticanonical embeddings. A reader would care because rationality questions determine whether these varieties can be parametrized by rational functions, separating them from more complex geometric objects. The classification provides explicit lists or descriptions that separate the rational cases from the non-rational ones within these families.

Core claim

All hyperelliptic and trigonal Fano threefolds with terminal Gorenstein singularities that are non-rational are classified.

What carries the argument

The classification of hyperelliptic and trigonal Fano threefolds with terminal Gorenstein singularities via their defining linear systems and birational geometry.

If this is right

  • The non-rational examples in these classes form a finite explicit list.
  • Rationality for any such threefold is decided by checking membership against the classification.
  • The terminal Gorenstein condition restricts the possible anticanonical degrees and embeddings.
  • Birational maps between these threefolds can be analyzed using the listed non-rational cases as base points.

Where Pith is reading between the lines

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

  • The classification may serve as a template for checking rationality in nearby classes with milder singularities.
  • Similar enumeration techniques could apply to Fano varieties of higher dimension or with different linear system degrees.
  • The boundary between rational and non-rational cases here might inform conjectures on rationality for general terminal Fano threefolds.

Load-bearing premise

The notions of hyperelliptic and trigonal Fano threefolds with terminal Gorenstein singularities are well-defined and permit a complete enumeration of the non-rational members.

What would settle it

An explicit example of a hyperelliptic or trigonal Fano threefold with terminal Gorenstein singularities that is non-rational but omitted from the given classification, or one listed as non-rational that turns out to be rational.

read the original abstract

We classify some special classes of non-rational Fano threefolds with terminal singularities. In particular, all such hyperelliptic and trigonal varieties are found.

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 / 2 minor

Summary. The manuscript classifies all hyperelliptic and trigonal Fano threefolds with terminal Gorenstein singularities that are non-rational, providing an explicit enumeration of the non-rational members in these classes.

Significance. If the classification is complete and correct, the result is significant for birational geometry: it supplies a concrete list of non-rational examples within a well-studied class of Fano threefolds, which can serve as test cases for rationality criteria and deformation theory. The restriction to terminal Gorenstein singularities aligns with standard techniques in the minimal model program.

minor comments (2)
  1. [Introduction] The introduction should explicitly reference the main classification theorem (presumably Theorem X.Y) so that the scope of the result is immediately clear to readers.
  2. Notation for the anticanonical degree and the hyperelliptic/trigonal linear systems should be introduced uniformly before the classification statements.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments are listed in the report, so there are no individual points requiring point-by-point rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and context describe a classification of non-rational Fano threefolds with terminal Gorenstein singularities, focusing on hyperelliptic and trigonal cases. No equations, parameter fittings, self-citations as load-bearing premises, or ansatzes are visible that would reduce any claimed result to its inputs by construction. The result is an enumeration relying on geometric definitions and standard algebraic geometry methods, which are self-contained against external benchmarks without internal circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are described.

pith-pipeline@v0.9.0 · 5534 in / 871 out tokens · 85078 ms · 2026-05-24T22:37:12.258507+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

53 extracted references · 53 canonical work pages · 1 internal anchor

  1. [1]

    On the rationality of Fano 3-fo lds with B2≥ 2

    Alberto Alzati and Marina Bertolini. On the rationality of Fano 3-fo lds with B2≥ 2. Matematiche, 47(1):63–74, 1992

    work page 1992

  2. [2]

    Vari´ et´ es de Prym et jacobiennes interm´ ediaires

    Arnaud Beauville. Vari´ et´ es de Prym et jacobiennes interm´ ediaires. Ann. Sci. ´Ecole Norm. Sup. (4) , 10(3):309–391, 1977. 25

    work page 1977

  3. [3]

    On birational maps from cubic threefolds

    J´ er´ emy Blanc and St´ ephane Lamy. On birational maps from cubic threefolds. North-West. Eur. J. Math., 1:69–110, 2015

    work page 2015

  4. [4]

    Birational ge ometry of 3-fold Mori fibre spaces

    Gavin Brown, Alessio Corti, and Francesco Zucconi. Birational ge ometry of 3-fold Mori fibre spaces. In The Fano Conference , pages 235–275. Univ. Torino, Turin, 2004

    work page 2004

  5. [5]

    Campana and H

    F. Campana and H. Flenner. Projective threefolds containing a s mooth rational surface with ample normal bundle. J. Reine Angew. Math. , 440:77–98, 1993

    work page 1993

  6. [6]

    I. A. Cheltsov. Boundedness of Fano 3-folds of integer index. Math. Notes , 66(3):360–365, 1999

    work page 1999

  7. [7]

    Sextic double solids

    Ivan Cheltsov and Jihun Park. Sextic double solids. In Cohomological and geometric approaches to rationality problems , volume 282 of Progr. Math. , pages 75–132. Birkh¨ auser Boston Inc., Boston, MA, 2010

    work page 2010

  8. [8]

    Which quartic double solids are rational? J

    Ivan Cheltsov, Victor Przyjalkowski, and Constantin Shramov. Which quartic double solids are rational? J. Algebr. Geom. , 28(2):201–243, 2019

    work page 2019

  9. [9]

    Herbert Clemens and Phillip A

    C. Herbert Clemens and Phillip A. Griffiths. The intermediate Jacobia n of the cubic threefold. Ann. of Math. (2) , 95:281–356, 1972

    work page 1972

  10. [10]

    Birational geometry of termin al quartic 3-folds

    Alessio Corti and Massimiliano Mella. Birational geometry of termin al quartic 3-folds. I. Amer. J. Math., 126(4):739–761, 2004

    work page 2004

  11. [11]

    Elementary contractions of Gorenstein th reefolds

    Steven Cutkosky. Elementary contractions of Gorenstein th reefolds. Math. Ann. , 280(3):521–525, 1988

    work page 1988

  12. [12]

    J. W. Cutrone and N. A Marshburn. Towards the classification o f weak Fano threefolds with ρ = 2. Cent. Eur. J. Math. , 11(9):1552–1576, 2013

    work page 2013

  13. [13]

    M. M. Grinenko. Birational properties of pencils of del Pezzo su rfaces of degrees 1 and 2. Mat. Sb. , 191(5):17–38, 2000

    work page 2000

  14. [14]

    M. M. Grinenko. Mori structures on a Fano threefold of index 2 and degree 1. Proc. Steklov Inst. Math., 246:103–128, 2004

    work page 2004

  15. [15]

    V. A. Iskovskikh. Fano threefolds. I. Izv. Akad. Nauk SSSR Ser. Mat. , 41(3):516–562, 717, 1977

    work page 1977

  16. [16]

    V. A. Iskovskikh. Anticanonical models of three-dimensional a lgebraic varieties. J. Sov. Math. , 13:745–814, 1980

    work page 1980

  17. [17]

    V. A. Iskovskikh. On the rationality problem for conic bundles. Duke Math. J. , 54:271–294, 1987

    work page 1987

  18. [18]

    V. A. Iskovskikh and Ju. I. Manin. Three-dimensional quartics and counterexamples to the L¨ uroth problem. Mat. Sb. (N.S.) , 86(128):140–166, 1971

    work page 1971

  19. [19]

    V. A. Iskovskikh and Yu. Prokhorov. Fano varieties. Algebraic geometry V , volume 47 of Encyclopae- dia Math. Sci. Springer, Berlin, 1999

    work page 1999

  20. [20]

    V. A. Iskovskikh and A. V. Pukhlikov. Birational automorphisms of multidimensional algebraic manifolds. J. Math. Sci. , 82(4):3528–3613, 1996

    work page 1996

  21. [21]

    Threefolds w ith big and nef anticanonical bundles II

    Priska Jahnke, Thomas Peternell, and Ivo Radloff. Threefolds w ith big and nef anticanonical bundles II. Cent. Eur. J. Math. , 9(3):449–488, 2011

    work page 2011

  22. [22]

    Gorenstein Fano threefolds with base points in the anticanonical system

    Priska Jahnke and Ivo Radloff. Gorenstein Fano threefolds with base points in the anticanonical system. Compos. Math., 142(2):422–432, 2006

    work page 2006

  23. [23]

    The defect of Fano 3-folds

    Anne-Sophie Kaloghiros. The defect of Fano 3-folds. J. Algebraic Geom., 20(1):127–149, 2011. Errata: 21(2): 397–399, 2012

    work page 2011

  24. [24]

    A classification of terminal quartic 3-f olds and applications to rationality questions

    Anne-Sophie Kaloghiros. A classification of terminal quartic 3-f olds and applications to rationality questions. Math. Ann. , 354(1):263–296, 2012

    work page 2012

  25. [25]

    Crepant blowing-up of 3-dimensional canonic al singularities and its application to degenerations of surfaces

    Yujiro Kawamata. Crepant blowing-up of 3-dimensional canonic al singularities and its application to degenerations of surfaces. Ann. of Math. (2) , 127(1):93–163, 1988

    work page 1988

  26. [26]

    Small contractions of four-dimensional alge braic manifolds

    Yujiro Kawamata. Small contractions of four-dimensional alge braic manifolds. Math. Ann. , 284(4):595–600, 1989. 26

    work page 1989

  27. [27]

    Cambridge University Press, Cambridge, 1998

    J´ anos Koll´ ar and Shigefumi Mori.Birational geometry of algebraic varieties, volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaborat ion of C. H. Clemens and A. Corti, Translated from the 1998 Japanese origina l

    work page 1998

  28. [28]

    Yu. I. Manin. Cubic forms: algebra, geometry, arithmetic . North-Holland Publishing Co., Amster- dam, 1974. Translated from the Russian by M. Hazewinkel, North-H olland Mathematical Library, Vol. 4

    work page 1974

  29. [29]

    Existence of good divisors on Mukai varieties

    Massimiliano Mella. Existence of good divisors on Mukai varieties. J. Algebr. Geom. , 8(2):197–206, 1999

    work page 1999

  30. [30]

    Threefolds whose canonical bundles are not nu merically effective

    Shigefumi Mori. Threefolds whose canonical bundles are not nu merically effective. Ann. Math. (2) , 116:133–176, 1982

    work page 1982

  31. [31]

    On Fano 3-folds with B2≥ 2

    Shigefumi Mori and Shigeru Mukai. On Fano 3-folds with B2≥ 2. In Algebraic varieties and an- alytic varieties (Tokyo, 1981) , volume 1 of Adv. Stud. Pure Math. , pages 101–129. North-Holland, Amsterdam, 1983

    work page 1981

  32. [32]

    Prokhorov

    Yu. Prokhorov. A remark on Fano threefolds with canonical Go renstein singularities. In The Fano Conference, pages 647–657. Univ. Torino, Turin, 2004

    work page 2004

  33. [33]

    Prokhorov

    Yu. Prokhorov. On the degree of Fano threefolds with canonic al Gorenstein singularities. In Internat. Conf. on Algebra (book of abstracts) , page 255. Moscow State Univ., 2004

    work page 2004

  34. [34]

    Prokhorov

    Yu. Prokhorov. On the degree of Fano threefolds with canonic al Gorenstein singularities. Russian Acad. Sci. Sb. Math. , 196(1):81–122, 2005

    work page 2005

  35. [35]

    Prokhorov

    Yu. Prokhorov. On G-Fano threefolds. Izv. Math , 79(4):795–808, 2015

    work page 2015

  36. [36]

    Prokhorov

    Yu. Prokhorov. Singular Fano threefolds of genus 12. Sb. Math. , 207(7):983–1009, 2016

    work page 2016

  37. [37]

    Prokhorov and V

    Yu. Prokhorov and V. V. Shokurov. Towards the second main t heorem on complements. J. Algebraic Geom., 18(1):151–199, 2009

    work page 2009

  38. [38]

    G-Fano threefolds, I

    Yuri Prokhorov. G-Fano threefolds, I. Adv. Geom., 13(3):389–418, 2013

    work page 2013

  39. [39]

    Prokhorov

    Yuri. Prokhorov. On the number of singular points of terminal f actorial Fano threefolds. Math. Notes, 101(5-6):1068–1073, 2017

    work page 2017

  40. [40]

    The rationality problem for conic bundles

    Yuri Prokhorov. The rationality problem for conic bundles. Russian Math. Surv. , 73(3):375–456, 2018

    work page 2018

  41. [41]

    On Q-Fano threefolds of Fano index 2

    Yuri Prokhorov and Miles Reid. On Q-Fano threefolds of Fano index 2. In Minimal Models and Extremal Rays (Kyoto 2011) , volume 70 of Adv. Stud. Pure Math. , pages 397–420. Mathematical Society of Japan, Kinokuniya, Tokyo, 2016

    work page 2011

  42. [42]

    Przhiyalkovskij, I.A

    V.V. Przhiyalkovskij, I.A. Chel’tsov, and K.A. Shramov. Hyperellip tic and trigonal Fano threefolds. Izv. Math. , 69(2):365–421, 2005

    work page 2005

  43. [43]

    A. V. Pukhlikov. Birational automorphisms of a three-dimension al quartic with a simple singularity. Math. USSR-Sb. , 63(2):457–482, 1989

    work page 1989

  44. [44]

    M. Reid. Projective morphisms according to Kawamata. 1983

    work page 1983

  45. [45]

    Minimal models of canonical 3-folds

    Miles Reid. Minimal models of canonical 3-folds. In Algebraic varieties and analytic varieties (Tokyo, 1981), volume 1 of Adv. Stud. Pure Math. , pages 131–180. North-Holland, Amsterdam, 1983

    work page 1981

  46. [46]

    Saint-Donat

    B. Saint-Donat. Projective models of K3 surfaces. Amer. J. Math. , 96:602–639, 1974

    work page 1974

  47. [47]

    V. G. Sarkisov. On the structure of conic bundles. Math. USSR, Izv. , 120:355–390, 1982

    work page 1982

  48. [48]

    3-dimensional Fano varieties with canonical singularit ies

    Kil-Ho Shin. 3-dimensional Fano varieties with canonical singularit ies. Tokyo J. Math. , 12(2):375– 385, 1989

    work page 1989

  49. [49]

    V. V. Shokurov. Smoothness of a general anticanonical diviso r on a Fano variety. Izv. Akad. Nauk SSSR Ser. Mat. , 43(2):430–441, 1979

    work page 1979

  50. [50]

    V. V. Shokurov. Prym varieties: theory and applications. Math. USSR Izvestiya , 23(1):83–147, 1984

    work page 1984

  51. [51]

    Weak Fano threefolds with del Pezzo fibration

    Kiyohiko Takeuchi. Weak Fano threefolds with del Pezzo fibratio n. Arxiv e-print , 0910.2188, 2009. 27

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  52. [52]

    A. N. Tyurin. The intermediate Jacobian of three-dimensional v arieties. In Current problems in mathematics, Vol. 12 (Russian) , pages 5–57. VINITI, Moscow, 1979

    work page 1979

  53. [53]

    Sur la jacobienne interm´ ediaire du double solide d’indic e deux

    Claire Voisin. Sur la jacobienne interm´ ediaire du double solide d’indic e deux. Duke Math. J. , 57(2):629–646, 1988. Steklov Mathematical Institute of Russian Academy of Scien ces, Moscow, Russia F aculty of Mathematics, Moscow State Lomonosov University , Russia Laboratory of Algebraic Geometry, National Research Unive rsity Higher School of Economics,...

    work page 1988