pith. sign in

arxiv: 2401.04391 · v4 · pith:CAFY4ZQHnew · submitted 2024-01-09 · 🧮 math.AG

Kawamata-Miyaoka-type inequality for mathbb Q-Fano varieties with canonical singularities II: Terminal mathbb Q-Fano threefolds

Haidong Liu , Jie Liu This is my paper

Pith reviewed 2026-05-24 04:46 UTC · model grok-4.3

classification 🧮 math.AG
keywords terminal Q-Fano threefoldsKawamata-Miyaoka inequalityFano indexChern classescanonical singularitiesthreefold classification
0
0 comments X

The pith

Any terminal Q-Fano threefold satisfies c1(X)^3 < 3 c2(X) c1(X)

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

The paper proves an optimal Kawamata-Miyaoka-type inequality for terminal Q-Fano threefolds that have Fano index at least 3. It then uses this result to conclude that the inequality c1(X)^3 < 3 c2(X) c1(X) holds for every terminal Q-Fano threefold. A sympathetic reader would care because the bound relates the first and second Chern classes and thereby restricts the possible numerical geometry of these varieties. The argument handles the index-at-least-3 case separately before extending to the general terminal case.

Core claim

We prove an optimal Kawamata-Miyaoka-type inequality for terminal Q-Fano threefolds with Fano index at least 3. As an application, any terminal Q-Fano threefold X satisfies the following Kawamata-Miyaoka-type inequality c1(X)^3 < 3c2(X)c1(X).

What carries the argument

The Kawamata-Miyaoka-type inequality relating c1 cubed to three times c2 times c1, applied under terminal Q-Fano conditions

If this is right

  • Terminal Q-Fano threefolds with Fano index at least 3 obey an optimal version of the inequality.
  • Every terminal Q-Fano threefold satisfies c1(X)^3 < 3 c2(X) c1(X).
  • The inequality applies after separating the high-index case from the remaining terminal cases.

Where Pith is reading between the lines

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

  • The bound may limit the possible values of the Chern numbers and thereby help enumerate or classify terminal Q-Fano threefolds.
  • If the inequality holds, it suggests that the ratio of c1 cubed to c2 c1 is bounded above by 3 for these varieties.

Load-bearing premise

The varieties are terminal Q-Fano threefolds, which lets the singularity and positivity conditions suffice for the inequality machinery.

What would settle it

A terminal Q-Fano threefold X for which c1(X)^3 is not strictly less than 3 c2(X) c1(X) would falsify the claim.

read the original abstract

We prove an optimal Kawamata-Miyaoka-type inequality for terminal $\mathbb Q$-Fano threefolds with Fano index at least $3$. As an application, any terminal $\mathbb Q$-Fano threefold $X$ satisfies the following Kawamata-Miyaoka-type inequality \[ c_1(X)^3 < 3c_2(X)c_1(X). \]

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 proves an optimal Kawamata-Miyaoka-type inequality for terminal Q-Fano threefolds with Fano index at least 3. As an application, it shows that every terminal Q-Fano threefold X satisfies the inequality c_1(X)^3 < 3 c_2(X) c_1(X).

Significance. If the central claims hold, the result supplies a sharp bound on Chern numbers for a class of terminal Q-Fano threefolds and extends the Kawamata-Miyaoka framework to this setting. The explicit separation of the index >=3 case, where optimality is achieved, is a concrete strength that could aid classification efforts in algebraic geometry.

minor comments (2)
  1. The abstract states the application inequality without recalling the definition of the Fano index or the precise normalization of c_1 and c_2; a brief parenthetical reminder would improve readability for readers outside the immediate subfield.
  2. Section headings and theorem numbering should be checked for consistency between the index >=3 case and the general application; cross-references to the earlier paper in the series are mentioned but not always explicitly cited with arXiv numbers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring point-by-point response or manuscript changes at this stage.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external geometric machinery

full rationale

The paper establishes an optimal Kawamata-Miyaoka-type inequality specifically for terminal Q-Fano threefolds of Fano index at least 3, then applies the result to obtain the stated inequality for arbitrary terminal Q-Fano threefolds. No equations, parameter fits, or self-citations are presented as load-bearing steps that reduce the target inequality to a tautology or to the input data by construction. The proof structure invokes standard positivity and singularity hypotheses from algebraic geometry (terminal singularities, Q-Fano condition) as external assumptions sufficient to apply known Kawamata-Miyaoka techniques; these are not redefined internally. The separation of the index >=3 case from the general case is an explicit case division rather than a circular reduction. The derivation is therefore self-contained against external benchmarks in birational geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the result is presented as a proved inequality resting on standard terminal singularity assumptions in algebraic geometry.

pith-pipeline@v0.9.0 · 5595 in / 1022 out tokens · 14812 ms · 2026-05-24T04:46:58.391768+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

28 extracted references · 28 canonical work pages

  1. [1]

    Alt nok, G

    S. Alt nok, G. Brown and M. Reid, Fano 3-folds, K3 surfaces and graded rings , in: Topology and geometry: commemorating SISTAG , pp. 25--53, Contemp.\ Math., vol. 314, Amer.\ Math.\ Soc., Providence, RI, 2002, doi:10.1090/conm/314/05420

    work page doi:10.1090/conm/314/05420 2002

  2. [2]

    Alexeev, General elephants of\, Q - F ano 3-folds , Compos.\ Math.\ 91 (1994), no

    V.\,A. Alexeev, General elephants of\, Q - F ano 3-folds , Compos.\ Math.\ 91 (1994), no. 1, 91--116

    work page 1994

  3. [3]

    Birkar, Singularities of linear systems and boundedness of F ano varieties , Ann.\ of Math

    C. Birkar, Singularities of linear systems and boundedness of F ano varieties , Ann.\ of Math. (2) 193 (2021), no. 2, 347--405, doi:10.4007/annals.2021.193.2.1

    work page doi:10.4007/annals.2021.193.2.1 2021

  4. [4]

    Brown and A.\,M

    G. Brown and A.\,M. Kasprzyk, The G raded R ing D atabase , http://www.grdb.co.uk, 2009

    work page 2009

  5. [5]

    , K awamata boundedness for F ano threefolds and the G raded R ing D atabase , preprint arXiv:2201.07178 (2022)

    work page arXiv 2022

  6. [6]

    Brown and K

    G. Brown and K. Suzuki, Computing certain F ano 3-folds , Japan J.\ Indust.\ Appl.\ Math.\ 24 (2007), no. 3, 241--250, doi:10.1007/bf03167538

    work page doi:10.1007/bf03167538 2007

  7. [7]

    1, 37--51, doi:10.1007/s00229-007-0082-6

    , Fano 3-folds with divisible anticanonical class, Manuscripta Math.\ 123 (2007), no. 1, 37--51, doi:10.1007/s00229-007-0082-6

    work page doi:10.1007/s00229-007-0082-6 2007

  8. [8]

    Campana and M

    F. Campana and M. P a un, Foliations with positive slopes and birational stability of orbifold cotangent bundles, Publ.\ Math.\ Inst.\ Hautes \' E tudes Sci.\ 129 (2019), 1--49, doi:10.1007/s10240-019-00105-w

    work page doi:10.1007/s10240-019-00105-w 2019

  9. [9]

    Chen and C

    M. Chen and C. Jiang, On the anti-canonical geometry of\, Q - F ano threefolds , J. Differential Geom.\ 104 (2016), no. 1, 59--109, doi:10.4310/jdg/1473186539

    work page doi:10.4310/jdg/1473186539 2016

  10. [10]

    D. Greb, S. Kebekus and T. Peternell, Projectively flat klt varieties, J. \' E c.\ polytech.\ Math.\ 8 (2021), 1005--1036, doi:10.5802/jep.164

    work page doi:10.5802/jep.164 2021

  11. [11]

    M. Iwai, C. Jiang and H. Liu, Miyaoka type inequality for terminal threefolds with nef anti-canonical divisors, Sci.\ China Math.\ 68 (2025), no. 1, 1--18, doi:10.1007/s11425-023-2230-6

    work page doi:10.1007/s11425-023-2230-6 2025

  12. [12]

    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, doi:10.1215/S0012-7094-05-13013-7

    work page doi:10.1215/s0012-7094-05-13013-7 2005

  13. [13]

    Kawamata , Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces

    Y. Kawamata , Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces. , Ann.\ of Math. (2) 127 (1988), no. 1, 93--163, doi:10.2307/1971417

    work page doi:10.2307/1971417 1988

  14. [14]

    439--445, Contemp.\ Math., vol

    , Boundedness of\, Q - F ano threefolds , in: Proceedings of the I nternational C onference on A lgebra, P art 3 ( N ovosibirsk, 1989), pp. 439--445, Contemp.\ Math., vol. 131, Amer.\ Math.\ Soc., Providence, RI, 1992, doi:10.1090/conm/131.3/1175897

    work page doi:10.1090/conm/131.3/1175897 1989

  15. [15]

    241--246, de Gruyter, Berlin, 1996

    , Divisorial contractions to 3 -dimensional terminal quotient singularities , in: Higher-dimensional complex varieties ( T rento, 1994), pp. 241--246, de Gruyter, Berlin, 1996

    work page 1994

  16. [16]

    Koll \'a r, Y

    J. Koll \'a r, Y. Miyaoka, S. Mori and H. Takagi, Boundedness of canonical Q - F ano 3-folds , Proc.\ Japan Acad.\ Ser. A Math.\ Sci.\ 76 (2000), no. 5, 73--77, doi:10.3792/pjaa.76.73

    work page doi:10.3792/pjaa.76.73 2000

  17. [17]

    1998 , PAGES =

    J. Koll \'a r and S. Mori, Birational geometry of algebraic varieties (with the collaboration of C.\,H. Clemens and A. Corti; translated from the 1998 Japanese original), Cambridge Tracts in Math., vol. 134, Cambridge Univ.\ Press, Cambridge, 1998, doi:10.1017/CBO9780511662560

    work page doi:10.1017/cbo9780511662560 1998

  18. [18]

    Liu and J

    H. Liu and J. Liu, K awamata-- M iyaoka type inequality for Q - F ano varieties with canonical singularities , J. reine angew.\ Math.\ 819 (2025), 265--281, doi:10.1515/crelle-2024-0087

    work page doi:10.1515/crelle-2024-0087 2025

  19. [19]

    Mori, On 3 -dimensional terminal singularities , Nagoya Math

    S. Mori, On 3 -dimensional terminal singularities , Nagoya Math. J.\ 98 (1985), 43--66, doi:10.1017/S0027763000021358

    work page doi:10.1017/s0027763000021358 1985

  20. [20]

    Prokhorov, Q - F ano threefolds of large F ano index, I , Doc.\ Math.\ 15 (2010), 843--872, doi:10.4171/dm/316

    Yu.\,G. Prokhorov, Q - F ano threefolds of large F ano index, I , Doc.\ Math.\ 15 (2010), 843--872, doi:10.4171/dm/316

    work page doi:10.4171/dm/316 2010

  21. [21]

    3, 43--78, doi:10.1070/SM2013v204n03ABEH004304

    , On F ano threefolds of large F ano index and large degree , Mat.\ Sb.\ 204 (2013), no. 3, 43--78, doi:10.1070/SM2013v204n03ABEH004304

    work page doi:10.1070/sm2013v204n03abeh004304 2013

  22. [22]

    1, 139--153, doi:10.1134/S0371968516030092

    , Q - F ano threefolds of index 7 , Proc.\ Steklov Inst.\ Math.\ 294 (2016), no. 1, 139--153, doi:10.1134/S0371968516030092

    work page doi:10.1134/s0371968516030092 2016

  23. [23]

    253--274, London Math.\ Soc.\ Lecture Note Ser., vol

    , Rationality of\, Q - F ano threefolds of large F ano index , in: Recent developments in algebraic geometry---to M iles R eid for his 70th birthday , pp. 253--274, London Math.\ Soc.\ Lecture Note Ser., vol. 478, Cambridge Univ.\ Press, Cambridge, 2022, doi:10.1017/9781009180849.009

    work page doi:10.1017/9781009180849.009 2022

  24. [24]

    3, 955--985, doi:10.1007/s11565-024-00515-7

    , On the birational geometry of\, Q - F ano threefolds of large F ano index, I , Ann.\ Univ.\ Ferrara Sez.\ VII Sci.\ Mat.\ 70 (2024), no. 3, 955--985, doi:10.1007/s11565-024-00515-7

    work page doi:10.1007/s11565-024-00515-7 2024

  25. [25]

    Shokurov, pp

    , Q - F ano threefolds of F ano index 13 , in: Higher dimensional algebraic geometry---a volume in honor of V.\,V. Shokurov, pp. 115-129, London Math.\ Soc.\ Lecture Note Ser., vol. 489, Cambridge Univ.\ Press, Cambridge, 2025

    work page 2025

  26. [26]

    Reid, Young person's guide to canonical singularities, in: Algebraic geometry, B owdoin, 1985 ( B runswick, M aine, 1985), pp

    M. Reid, Young person's guide to canonical singularities, in: Algebraic geometry, B owdoin, 1985 ( B runswick, M aine, 1985), pp. 345--414, Proc.\ Sympos.\ Pure Math., vol. 46, Amer.\ Math.\ Soc., Providence, RI, 1987, doi:10.1090/pspum/046.1/927963

    work page doi:10.1090/pspum/046.1/927963 1985

  27. [27]

    Suzuki, On F ano indices of\, Q - F ano 3-folds , Manuscripta Math.\ 114 (2004), no

    K. Suzuki, On F ano indices of\, Q - F ano 3-folds , Manuscripta Math.\ 114 (2004), no. 2, 229--246, doi:10.1007/s00229-004-0442-4

    work page doi:10.1007/s00229-004-0442-4 2004

  28. [28]

    VII Sci.\ Mat

    , The graded ring database for F ano 3-folds and the B ogomolov stability bound , Ann.\ Univ.\ Ferrara Sez. VII Sci.\ Mat. 70 (2024), no. 3, 1023--1035, doi:10.1007/s11565-024-00518-4

    work page doi:10.1007/s11565-024-00518-4 2024