Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

The volume function is upper semicontinuous on families of divisors

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read This paper proves that, in a flat projective family of varieties, the volume of a divisor on the generic fiber equals the infimum of its volumes on fibers over any Zariski dense subset of the base, and derives upper semicontinuity of the…

desk verdict A plausible and genuinely new theorem about volumes in families, but the proof leans on a quantitative Fujita-type inequality that the cited reference does not obviously supply. read the letter →

arxiv 2504.16676 v2 pith:CMLSRHWQ submitted 2025-04-23 math.AG

classification math.AG MSC 14C2014D0614E30
keywords volumeofdivisorsflatfamiliesuppersemicontinuitygenericfiberFujitaapproximationpseudo-effectivebirationalgeometryCartier
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes that the volume of a divisor on the generic fiber of a flat projective family is exactly the infimum of the volumes on fibers over any dense set of base points. This means the generic volume is a sharp lower bound that cannot be improved by restricting to a dense family of special fibers. The proof spreads a Fujita approximation of the generic divisor over the whole family and controls the error uniformly. As a consequence, for families with reduced and irreducible fibers, the volume function is upper semicontinuous: the set of fibers with volume below any threshold is open.

What carries the argument

The load-bearing object is the spread-out Fujita approximation. One approximates the big generic divisor Dη on the geometric generic fiber by g_η^*D_η∼Q A_η+E_η with A_η ample and E_η effective, then spreads this model to a fiberwise birational morphism g:Y→X over T, obtaining a relatively ample divisor A, an effective flat divisor E, and g^*D∼Q A+E. The key estimate is ($A^{{d−1}}$·E)^2 ≤ C·H^d·(vol(D_η)−vol(A_η)) ≤ Cε·H^d, which gives a uniform bound $A_t^{{d−1}}$·(A_t+E_t)≤A_t^d+C′√ε on every fiber. Combining this with the generalized Hodge inequality forces the fiberwise volume inequality from which the infimum equality follows by letting approximation errors tend to zero.

What would settle it

In the example cited in the introduction of flat families whose divisor volumes jump over a Zariski dense set, compute the actual infimum of the fiber volumes over that dense set and compare it with the generic volume: if the infimum is strictly larger than the generic volume, Theorem 1.1 fails.

Watch

Extended reading notes

Core claim

Theorem 1.1: for a projective flat morphism f:X→T of varieties and a Cartier divisor D on X, writing Dη for the restriction to the generic fiber and Dt for the restriction to a closed fiber, the equality vol(Dη)=inf_{t∈T′}vol(Dt) holds for every dense subset T′ of T. The proof first handles the big case by spreading a Fujita approximation of the geometric generic divisor to a fiberwise birational model over an open neighborhood of the base, then uses Hodge-type inequalities to bound fiberwise volumes; the non-big cases are reduced to the big case by adding ample divisors. Theorem 1.2 follows: when all fibers are reduced and irreducible, the set {t∈T | vol(Dt)<a} is open.

Load-bearing premise

The proof relies on the assumption that a Fujita approximation of the geometric generic divisor can be spread out to a whole open neighborhood of the base, with the error bound ($A^{{d−1}}$·E)^2 ≤ Cε remaining uniform on all fibers; if that spreading-out fails on every dense open set, the infimum equality is not established.

Editorial extensions

If this is right

  • For flat families with reduced and irreducible fibers, the volume function t↦vol(D_t) is upper semicontinuous: the sublevel set {t | vol(D_t)<a} is open for every real a.
  • The generic volume is a sharp lower bound over every dense parameter set: for any ε>0 and any dense T′, there is a fiber t∈T′ with vol(D_t)≤vol(D_η)+ε.
  • If the generic divisor is not pseudo-effective, then every dense subset of the base contains a fiber whose divisor is not pseudo-effective, since the infimum would otherwise be finite or positive.
  • Upward jumps in the volume can occur only along non-dense loci; over any dense set, the generic value is the infimum.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Over a one-dimensional base, every infinite subset is dense, so the theorem implies that all but finitely many fibers have volume at least the generic volume; only upward jumps, at finitely many points, can occur.
  • The uniform spreading technique used here may apply to other asymptotic invariants of divisors, such as restricted volumes or numerical dimensions, in flat families.
  • The theorem suggests that volume, despite not being constructible, has a semicontinuity structure controlled entirely by the generic fiber, which could simplify computations in moduli problems.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The manuscript proves Theorem 1.1: for a projective flat morphism f:X→T of varieties over an algebraically closed field of characteristic zero and a Cartier divisor D on X, the volume of D on the generic fiber equals the infimum of the volumes of D on fibers over any dense subset T'⊂T. Theorem 1.2 then derives upper semicontinuity of the fiberwise volume function under reduced and irreducible fibers. The proof of Theorem 1.1 first reduces to the case where the generic divisor is big, then applies a Fujita approximation to the geometric generic fiber, spreads the approximation out to an open neighborhood of the base, and uses the Hodge index inequality to control fiberwise volumes. The non-big cases are handled by adding an ample divisor and taking limits in the approximation parameter.

Significance. If the proof is made rigorous, the result is a substantial and clean statement: the generic volume is a sharp lower bound for volumes over any dense set of fibers, and it yields upper semicontinuity as a corollary. The manuscript is self-contained modulo standard references and does not rely on circular arguments. Its main strengths are the elegant reduction to the big-divisor case, the explicit use of Fujita approximation, and the transparent derivation of the fiberwise volume inequality. The claimed theorems are plausible and would be useful in birational geometry. However, several load-bearing technical steps are only sketched, so the current version is a solid proof outline rather than a complete proof.

major comments (3)
  1. [Proof of Theorem 1.1, big-divisor case, after Eq. (1)] The proof relies on the estimate (A^{d-1}_η·E_η)^2 ≤ C·(H^d_η)·(vol(D_η)-vol(A_η)), attributed to [Laz04, Theorem 11.4.21]. The standard Fujita approximation theorem as usually stated only asserts the existence of a decomposition with vol(D)-vol(A)<ε for every ε>0; it does not directly give the quadratic control of A^{d-1}E in terms of vol(D)-vol(A). Since this estimate is used to obtain the crucial bound A^{d-1}_η·E_η ≤ C'√ε and then equation (1), the author must either quote the exact statement of Theorem 11.4.21, prove the needed estimate from the construction of the Fujita approximation, or give a precise alternative reference. Without this verification, the central inequality in the big-divisor case is unsupported.
  2. [Proof of Theorem 1.1, reductions for non-big D_η] The transitions γ→0+ in Case 1 and γ→ρ+ in Case 2 pass limits inside the equality vol(D_η+γL_η) = inf_{t∈T'} vol(D_t+γL_t). This interchange is not justified. The infimum of a family of continuous functions need not be continuous in general, so the author should supply an argument: for instance, using continuity of volume along the ray γ↦D_η+γL_η, a corresponding continuity or semicontinuity statement for the fiberwise volumes, and the fact that vol(D_η+ρL_η)=0 at the pseudo-effective threshold. As written, the proof establishes Theorem 1.1 only under the additional hypothesis that D_η is big.
  3. [Proof of Theorem 1.1, spreading-out paragraph] The passage from the geometric generic model g_η:Y_η→X_η to a global model over an open neighborhood of T asserts, after shrinking T, the existence of a compactification Y→T with Y flat and reduced/irreducible fibers, a relatively ample divisor A, a flat divisor E (or at least flat support), and a fiberwise birational morphism g:Y→X over T. These assertions are not immediate: they require generic flatness, spreading-out of morphisms and divisors, and control of the ample property of A over an open base. The flatness of E is particularly important because it is used to conclude that the intersection numbers A_t^{d-1}·(A_t+E_t) are locally constant in t, which is needed for equation (1). The author should provide a detailed proof or precise references (e.g., EGA IV) for each of these spreading-out claims.
minor comments (4)
  1. [Abstract and first line of Section 1] The phrase "algebraically closed number fields" is imprecise, since number fields are not algebraically closed; presumably "algebraically closed fields of characteristic zero" is intended.
  2. [Proof of Theorem 1.1, Case 2] The inference from vol(D_t+ρL_t)<vol(ρL_t) to "D_t is not pseudo-effective" is stated without justification. A short argument that adding an ample divisor to a pseudo-effective divisor cannot decrease the volume would make the step clear.
  3. [Proof of Theorem 1.1, final paragraph] The sentence "by choosing ε and ε′ small enough in Equation (4) and shrinking T accordingly, there always exists t∈T′..." is terse. It would help to state explicitly that for each ε'' one chooses ε, ε′ with the bound below vol(D_η)+ε'' and that the resulting t may depend on them, which is sufficient to conclude the infimum inequality.
  4. [Title] The title contains a typo: "F amilies" should be "Families".

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof is self-contained against external standard theorems, with no self-citations and no fitted inputs.

full rationale

The paper derives Theorem 1.1 by reducing to the big case, applying a Fujita approximation to the geometric generic fiber, spreading the resulting birational model and divisors over an open neighborhood of the base, and then using the Generalized Hodge Inequality and Fujita approximation fiberwise. Every load-bearing ingredient is an external standard result from [Laz04] — Fujita approximation, the generalized Hodge inequality, upper semicontinuity of cohomology, and local constancy of intersection numbers — or a geometric spreading-out argument from the generic fiber to an open base. There are no fitted parameters, no quantity is defined in terms of the conclusion, and no result is imported by self-citation. The possible concern that [Laz04, Theorem 11.4.21] may not state the exact quantitative bound used before Equation (1) is a correctness or verification issue about an external cited theorem, not a circularity, because the cited theorem is independent of the paper's conclusion and is not equivalent to Theorem 1.1 by construction. Similarly, the terse justification of flatness and relative ampleness in the spreading-out step is a proof detail, not a circular reduction. Since no step reduces the theorem's conclusion to its own inputs, the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on standard algebraic geometry foundations and on a spreading-out assumption that is routine but not fully proved in the text. There are no free parameters or invented entities.

assumptions (4)
  • standard math Fujita approximation theorem for big divisors, including the estimate on A^{d-1}E (Lazarsfeld, Theorem 11.4.21).
    Used to approximate both the generic divisor D̄η and each fiber divisor Dt by an ample divisor plus a small effective error.
  • standard math Upper semicontinuity of cohomology for flat proper morphisms.
    Gives the inequality vol(Dη) ≤ vol(Dt) for every closed fiber, which is the lower-bound half of the main equality.
  • domain assumption Spreading out: a Fujita approximation of the geometric generic fiber is defined over a finite extension of the function field and extends to an open subset of the base.
    This produces the global objects g:Y→X, A, and E over T after shrinking the base. The proof sketches this standard algebraic geometry step but does not provide full details.
  • standard math Generalized Hodge index inequality (Lazarsfeld, Theorem 1.6.1).
    Used to relate the self-intersections A_t^d and A'_t^d to the mixed intersection number (h_t^*A_t)^{d-1}·A'_t.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The volume function is upper semicontinuous on families of divisors." pith.science (2026). https://pith.science/paper/CMLSRHWQ

@misc{pith2026250416676,
  author       = {Pith},
  title        = {Pith review of: The volume function is upper semicontinuous on families of divisors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CMLSRHWQ}},
  note         = {Machine review of arXiv:2504.16676}
}
read the original abstract

We study the behavior of volumes of divisors in a family. We show that the volume of a divisor on the generic fiber equals the infimum of its volumes on fibers over any dense subset of the base. As an application, we show that the volume function of a divisor is upper semicontinuous in flat families with reduced and irreducible fibers.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On volumes and the generic invariance of Fano type varieties

    math.AG 2025-06 conditional novelty 6.0 of 10

    Under a constant anti-canonical volume condition on a Zariski-dense set of Fano type fibers, the geometric generic fiber is Fano type; the dimension-2 case is unconditional.

Reference graph

Works this paper leans on

139 extracted references · 3 canonical work pages · cited by 1 Pith paper

  1. [1]

    Abramovich and K

    D. Abramovich and K. Karu, Weak semistable reduction in characteristic 0, Invent. Math. 139 (2000), no. 2, 241--273

  2. [2]

    Alexeev, C

    V. Alexeev, C. D. Hacon, and Y. Kawamata, Termination of (many) 4 -dimensional log flips, Invent. Math. 168 (2007), no. 2, 433--448

  3. [3]

    Ambro, Quasi-log varieties, Tr

    F. Ambro, Quasi-log varieties, Tr. Mat. Inst. Steklova 240 (2003), Biratsion. Geom. Linein. Sist. Konechno Porozhdennye Algebry, 220--239; translation in Proc. Steklov Inst. Math. 2003, no. 1 (240), 214--233

  4. [4]

    Ambro, The moduli b-divisor of an lc-trivial fibration, Compos

    F. Ambro, The moduli b-divisor of an lc-trivial fibration, Compos. Math. 141 (2005), no. 2, 385--403

  5. [5]

    Birkar, Ascending chain condition for log canonical thresholds and termination of log flips, Duke Math

    C. Birkar, Ascending chain condition for log canonical thresholds and termination of log flips, Duke Math. J. 136 (2007), no. 1, 173--180

  6. [6]

    Birkar, Existence of log canonical flips and a special LMMP, Pub

    C. Birkar, Existence of log canonical flips and a special LMMP, Pub. Math. IHES., 115 (2012), 325--368

  7. [7]

    Birkar, On existence of log minimal models and weak Zariski decompositions, Math

    C. Birkar, On existence of log minimal models and weak Zariski decompositions, Math. Ann. 354 (2012), no. 2, 787--799

  8. [8]

    Birkar, Anti-pluricanonical systems on Fano varieties

    C. Birkar, Anti-pluricanonical systems on Fano varieties. Ann. of Math. (2), 190 (2019), 345--463

Show all 139 references
  1. [9]

    Birkar, Generalised pairs in birational geometry, arXiv: 2008.01008v2

    C. Birkar, Generalised pairs in birational geometry, arXiv: 2008.01008v2

  2. [10]

    Birkar, On connectedness of non-klt loci of singularities of pairs, arXiv: 2010.08226v1

    C. Birkar, On connectedness of non-klt loci of singularities of pairs, arXiv: 2010.08226v1

  3. [11]

    Birkar, Singularities of linear systems and boundedness of Fano varieties, Ann

    C. Birkar, Singularities of linear systems and boundedness of Fano varieties, Ann. of Math. 193 (2021), no. 2, 347--405

  4. [12]

    Birkar, Boundedness and volume of generalised pairs, arXiv: 2103.14935v2

    C. Birkar, Boundedness and volume of generalised pairs, arXiv: 2103.14935v2

  5. [13]

    Birkar, Geometry of polarised varieties, Pub

    C. Birkar, Geometry of polarised varieties, Pub. Math. IHES, 137 (2023), 47–105

  6. [14]

    Birkar, Singularities on Fano fibrations and beyond, arXiv: 2305.18770v1

    C. Birkar, Singularities on Fano fibrations and beyond, arXiv: 2305.18770v1

  7. [15]

    Birkar, Boundedness of Fano type fibrations, Ann

    C. Birkar, Boundedness of Fano type fibrations, Ann. Sci. ENS, 57 (2024), 787-840

  8. [16]

    Birkar, P

    C. Birkar, P. Cascini, C. D. 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

  9. [17]

    Birkar, G

    C. Birkar, G. Di Cerbo, and R. Svaldi, Boundedness of elliptic Calabi-Yau varieties with a rational section, arXiv: 2010.09769v1

  10. [18]

    Birkar and Z

    C. Birkar and Z. Hu, Polarized pairs, log minimal models, and Zariski decompositions, Nagoya Math. J. 215 (2014), 203--224

  11. [19]

    , H. Blum, Y. Liu, and C. Xu, Openness of K-semistability for Fano varieties, Duke Math. J. 171(13) (2022), 2753–2797

  12. [20]

    Birkar and D.-Q

    C. Birkar and D.-Q. Zhang, Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs, Pub. Math. IHES., 123 (2016), 283--331

  13. [21]

    Math, 378 (2021), 107541

    Weichung Chen, Gabriele Di Cerbo, Jingjun Han, Chen Jiang, and Roberto Svaldi, Birational boundedness of rationally connected Calabi-Yau 3 folds, Adv. Math, 378 (2021), 107541

  14. [22]

    Chen, Boundedness of n -complements for generalized pairs, arXiv: 2003.04237v2

    G. Chen, Boundedness of n -complements for generalized pairs, arXiv: 2003.04237v2

  15. [23]

    , W. Chen, Y. Gonyo, Y. Nakamura, On generalized minimal log discrepancy, arXiv:2112.09501 (2021), To appear in J. Math. Soc. Japan

  16. [24]

    Chen and J

    , G. Chen and J. Han, Boundedness of ( ,n) -complements for surfaces, Adv. Math. 383 (2021), 107703

  17. [25]

    G. Chen, J. Han, and Q. Xue, Boundedness of Complements for Log Calabi–Yau Threefolds, Peking Mathematical Journal, 7 (2024), 1–33

  18. [26]

    Chen and N

    G. Chen and N. Tsakanikas, On the termination of flips for log canonical generalized pairs, arXiv: 2011.02236v1

  19. [27]

    Chen and Q

    G. Chen and Q. Xue, Boundedness of ( ,n) -Complements for projective generalized pairs of Fano type, J. Pure Appl. Algebra 226(7), 106988 (2022)

  20. [28]

    Choi, The geography of log models and its applications, PhD Thesis, Johns Hopkins University (2008)

    R. Choi, The geography of log models and its applications, PhD Thesis, Johns Hopkins University (2008)

  21. [29]

    Filipazzi, Boundedness of Log Canonical Surface Generalized Polarized Pairs, Taiwanese J

    S. Filipazzi, Boundedness of Log Canonical Surface Generalized Polarized Pairs, Taiwanese J. Math. 22 (2018), no.4, 813--850

  22. [30]

    Filipazzi, On a generalized canonical bundle formula and generalized adjunction, arXiv: 1807.04847v3

    S. Filipazzi, On a generalized canonical bundle formula and generalized adjunction, arXiv: 1807.04847v3

  23. [31]

    Restricted volumes and base loci of linear series

    L.Ein, R. Lazarsfeld, M. Mustaţă, M. Nakamaye, M. Popa. "Restricted volumes and base loci of linear series." American Journal of Mathematics 131, no. 3 (2009): 607-651

  24. [32]

    Filipazzi, On the boundedness of n -folds with (X)=n-1 , arXiv: 2005.05508v2

    S. Filipazzi, On the boundedness of n -folds with (X)=n-1 , arXiv: 2005.05508v2

  25. [33]

    Filipazzi and R

    S. Filipazzi and R. Svaldi, Invariance of Plurigenera and boundedness for Generalized Pairs, arXiv: 2005.04254v2

  26. [34]

    Filipazzi and R

    S. Filipazzi and R. Svaldi, On the connectedness principle and dual complexes for generalized pairs, arXiv: 2010.08018v2

  27. [35]

    Filipazzi and J

    S. Filipazzi and J. Waldron, Connectedness principle in characteristic p>5 , arXiv: 2010.08414v2

  28. [36]

    Fujita, Approximating Zariski decomposition of big line bundles, Kodai Math

    T. Fujita, Approximating Zariski decomposition of big line bundles, Kodai Math. J. 17 (1994), no. 1, 1--3

  29. [37]

    Fujino, Termination of 4 -fold canonical flips, Publ

    O. Fujino, Termination of 4 -fold canonical flips, Publ. Res. Inst. Math. Sci, 40 (2004), no. 1, 231--237

  30. [38]

    Termination of 4 -fold canonical flips

    O. Fujino, Addendum to “Termination of 4 -fold canonical flips”, Publ. Res. Inst. Math. Sci. 41 (2005), no. 1, 252--257

  31. [39]

    Fujino, On Kawamata’s theorem, Classification of Algebraic Varieties, EMS Ser

    O. Fujino, On Kawamata’s theorem, Classification of Algebraic Varieties, EMS Ser. of Congr. Rep., Eur. Math. Soc., Z\"urich (2010), 305--315

  32. [40]

    Fujino, Foundations of the minimal model program, MSJ Memoirs, 35

    O. Fujino, Foundations of the minimal model program, MSJ Memoirs, 35. Mathematical Society of Japan, Tokyo (2017)

  33. [41]

    Fujino, Base point free theorems: saturation, B-divisors, and canonical bundle formula, Algebra Number Theory 6 (2012), no

    O. Fujino, Base point free theorems: saturation, B-divisors, and canonical bundle formula, Algebra Number Theory 6 (2012), no. 4, 797--823

  34. [42]

    Fujino, A transcendental approach to Koll\'ar’s injectivity theorem II, J

    O. Fujino, A transcendental approach to Koll\'ar’s injectivity theorem II, J. Reine Angew. Math. 681 (2013), 149--174

  35. [43]

    Fujino, Fundamental properties of basic slc-trivial fibrations I, to appear in Publ

    O. Fujino, Fundamental properties of basic slc-trivial fibrations I, to appear in Publ. Res. Inst. Math. Sci., arXiv: 1804.11134v3

  36. [44]

    Fujino, Corrigendum: On subadditivity of the logarithmic Kodaira dimension, arXiv: 1904.11639v3

    O. Fujino, Corrigendum: On subadditivity of the logarithmic Kodaira dimension, arXiv: 1904.11639v3

  37. [45]

    Fujino, Cone theorem and Mori hyperbolicity, arXiv:2102.11986v1

    O. Fujino, Cone theorem and Mori hyperbolicity, arXiv:2102.11986v1

  38. [46]

    Fujino and Y

    O. Fujino and Y. Gongyo, Log pluricanonical representations and abundance conjecture, Compos. Math. 150 (2014), no. 4, 593--620

  39. [47]

    Fujino and K

    O. Fujino and K. Hashizume, Existence of log canonical modifications and its applications, arXiv: 2103.01417

  40. [48]

    Fulger, J

    M. Fulger, J. Kollár, and B. Lehmann, Volume and Hilbert functions of R -divisors , Michigan Math. J. 65(2): 371-387 (2016)

  41. [49]

    Fujino and S

    O. Fujino and S. Mori, A canonical bundle formula, J. Differential Geom. 56 (2000), no. 1, 167--188

  42. [50]

    Filipazzi, J

    S. Filipazzi, J. Moraga, and Y. Xu Log canonical 3-fold complements, arXiv:1909.10098v2 (2019)

  43. [51]

    Fukuda, On base point free theorem, Kodai Math

    S. Fukuda, On base point free theorem, Kodai Math. J.19 (1996), no. 2,191--199

  44. [52]

    Gongyo, On the minimal model theory for dlt pairs of numerical Kodaira dimension zero, Math

    Y. Gongyo, On the minimal model theory for dlt pairs of numerical Kodaira dimension zero, Math. Rest. Lett. 18 (2011), no. 5, 991--1000

  45. [53]

    Grothendieck, \'El\'ements de g\'eom\'etrie alg\'ebrique : IV

    A. Grothendieck, \'El\'ements de g\'eom\'etrie alg\'ebrique : IV. \'Etude locale des sch\'emas et des morphismes de sch\'emas, Seconde partie, Publ. Math. IHES 28 (1966)

  46. [54]

    C. D. Hacon and J. Han, On a connectedness principle of Shokurov-Koll\'ar type, Sci. China Math. 62 (2019), no. 3, 411--416

  47. [55]

    C. D. Hacon and J. Liu, Existence of flips for generalized lc pairs, arXiv: 2105.13590v3

  48. [56]

    J. Han, J. Liu, and Y. Luo, ACC for minimal log discrepancies of terminal threefolds, arXiv:2202.05287v2 (2022)

  49. [57]

    Y.Hu, C.H.Liu and S.T.Yau , Toric morphisms and fibrations of toric Calabi-Yau hypersurfaces, Advances in Theoretical and Mathematical Physics, 6(3), 457-505

  50. [58]

    C. D. Hacon, J. M c Kernan, and C. Xu, On the birational automorphisms of varieties of general type, Ann. of Math. (2) 177 (2013), no. 3, 1077--1111

  51. [59]

    C. D. Hacon, J. M c Kernan, and C. Xu, ACC for log canonical thresholds, Ann. of Math. 180 (2014), no. 2, 523--571

  52. [60]

    C. D. Hacon, J. M c Kernan, and C. Xu, Boundedness of moduli of varieties of general type, J. Eur. Math. 20 (2018), no. 4, 865–901

  53. [61]

    C. D. Hacon and J. Moraga, On weak Zariski decompositions and termination of flips, Math. Res. Lett. 27 (2020), no. 5, 1393--1421

  54. [62]

    C. D. Hacon and C. Xu, Existence of log canonical closures, Invent. Math. 192 (2013), no. 1, 161--195

  55. [63]

    C. D. Hacon and C. Xu, Boundedness of log Calabi-Yau pairs of Fano type, Math. Res. Lett. 22 (2015), no. 6, 1699--1716

  56. [64]

    C. D. Hacon and C. Xu, On finiteness of B-representations and semi-log canonical abundance in Minimal Models and Extremal Rays (Kyoto, 2011), Adv. Stud. Pure Math. 70 (2016), Math. Soc. Japan, Tokyo, 361--378

  57. [65]

    Han and Z

    J. Han and Z. Li, Weak Zariski decompositions and log terminal models for generalized polarized pairs, arXiv: 1806.01234v2

  58. [66]

    Han and Z

    J. Han and Z. Li, On Fujita’s conjecture for pseudo-effective thresholds, Math. Res. Lett. 27 (2020), no. 2, 377--396

  59. [67]

    Han and Z

    J. Han and Z. Li, On accumulation points of pseudo-effective thresholds, Manuscripta math (2020)

  60. [68]

    Han and J

    J. Han and J. Liu, Effective birationality for sub-pairs with real coefficients, arXiv: 2007.01849v1

  61. [70]

    Han and W

    J. Han and W. Liu, On a generalized canonical bundle formula for generically finite morphisms, arXiv: 1905.12542v3, to appear in Ann. Inst. Fourier (Grenoble)

  62. [71]

    Han and W

    J. Han and W. Liu, On numerical nonvanishing for generalized log canonical pairs, Doc. Math. 25 (2020), 93--123

  63. [72]

    Hartshorne, Algebraic Geometry, Springer New York, NY.(1977)

    R. Hartshorne, Algebraic Geometry, Springer New York, NY.(1977)

  64. [73]

    Hashizume, Minimal model theory for relatively trivial log canonical pairs, Ann

    K. Hashizume, Minimal model theory for relatively trivial log canonical pairs, Ann. Inst. Fourier (Grenoble) 68 (2018), no. 5, 2069--2107

  65. [74]

    Hashizume, Remarks on special kinds of the relative log minimal model program, Manuscripta Math

    K. Hashizume, Remarks on special kinds of the relative log minimal model program, Manuscripta Math. 160 (2019), no. 3, 285--314

  66. [75]

    Hashizume, Finiteness of log abundant log canonical pairs in log minimal model program with scaling, arXiv: 2005.12253v3

    K. Hashizume, Finiteness of log abundant log canonical pairs in log minimal model program with scaling, arXiv: 2005.12253v3

  67. [76]

    Hashizume, Non-vanishing theorem for generalized log canonical pairs with a polarization, arXiv: 2012.15038v1

    K. Hashizume, Non-vanishing theorem for generalized log canonical pairs with a polarization, arXiv: 2012.15038v1

  68. [77]

    Hashizume and Z

    K. Hashizume and Z. Hu, On minimal model theory for log abundant lc pairs, J. Reine Angew. Math., 767 (2020), 109--159

  69. [78]

    J. Han, J. Liu, and V.V. Shokurov, ACC for minimal log discrepancies of exceptional singularities, arXiv:1903.04338v2 (2019)

  70. [79]

    Hu, Log abundance of the moduli b-divisors for lc-trivial fibrations, arXiv: 2003.14379v3

    Z. Hu, Log abundance of the moduli b-divisors for lc-trivial fibrations, arXiv: 2003.14379v3

  71. [80]

    Hu, An abundance theroem for generalised pairs, arXiv: 2103.11813v1

    Z. Hu, An abundance theroem for generalised pairs, arXiv: 2103.11813v1

  72. [81]

    Ishii, Introduction to Singularities, 2nd ed, Springer Japan KK, part of Springer Nature (2018)

    S. Ishii, Introduction to Singularities, 2nd ed, Springer Japan KK, part of Springer Nature (2018)

  73. [82]

    Algebraic Geom

    Chen Jiang, A gap theorem for minimal log discrepancies of noncanonical singularities in dimension three, J. Algebraic Geom. 30 (2021), no. 4, 759-800

  74. [83]

    Jiao, On the boundedness of canonical models, arXiv: 2103.13609v1

    J. Jiao, On the boundedness of canonical models, arXiv: 2103.13609v1

  75. [84]

    2, 545-567

    Chen Jiang and Haidong Liu, Boundedness of log pluricanonical representations of log Calabi--Yau pairs in dimension 2, Algebra Number Theorem 15 (2021), no. 2, 545-567

  76. [85]

    Jiang, J

    X. Jiang, J. Jiao, and M. Zhu, Boundedness of Doubly Polarized log Calabi--Yau fibrations, preprint

  77. [86]

    Kawamata, The cone of curves of algebraic varieties, Ann

    Y. Kawamata, The cone of curves of algebraic varieties, Ann. of Math. 119 (1984), 603--633

  78. [87]

    Kawamata, On the plurigenera of minimal algebraic 3-folds with K 0 , Math

    Y. Kawamata, On the plurigenera of minimal algebraic 3-folds with K 0 , Math. Ann. 275 (1986), no. 4, 539-546

  79. [88]

    Kawamata, Termination of log flips for algebraic 3 -folds, Internat

    Y. Kawamata, Termination of log flips for algebraic 3 -folds, Internat. J. Math. 3 (1992), no. 5, 653--659

  80. [89]

    Kawamata, Subadjunction of log canonical divisors, II, Amer

    Y. Kawamata, Subadjunction of log canonical divisors, II, Amer. J. Math. 120 (1998), 893--899

  81. [90]

    Kawamata, Variation of mixed Hodge structures and the positivity for algebraic fiber spaces, Advanced Studies in Pure Mathematics, 65 (2015), 27--57

    Y. Kawamata, Variation of mixed Hodge structures and the positivity for algebraic fiber spaces, Advanced Studies in Pure Mathematics, 65 (2015), 27--57

  82. [91]

    Kawamata, K

    Y. Kawamata, K. Matsuda, and K. Matsuki, Introduction to the minimal model problem, Algebraic geometry, Sendai, 1985, 283--360, Adv. Stud. Pure Math., 10, North-Holland, Amsterdam, 1987

  83. [92]

    Koll\'ar, The cone theorem, Ann

    J. Koll\'ar, The cone theorem, Ann. of Math., 120 (1984), 1--5

  84. [93]

    Koll\'ar, Rational Curves on Algebraic Varieties

    J. Koll\'ar, Rational Curves on Algebraic Varieties. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics. Springer-Verlag Berlin Heidelberg 1996

  85. [94]

    Koll\'ar, “Kodaira’s canonical bundle formula and adjunction

    J. Koll\'ar, “Kodaira’s canonical bundle formula and adjunction. In: Flips for 3-folds and 4-folds. Ed. by A. Corti. Vol. 35. Oxford Lecture Series in Mathematics and its Applications. Oxford: Oxford University Press, 2007. Chap. 8, 134--162

  86. [95]

    Koll\' a r, Singularities of the minimal model program, Cambridge Tracts in Math

    J. Koll\' a r, Singularities of the minimal model program, Cambridge Tracts in Math. 200 (2013), Cambridge Univ. Press. With a collaboration of S\'andor Kov\'acs

  87. [96]

    Koll\' a r, Families of Varieties of General Type, Cambridge Univ

    J. Koll\' a r, Families of Varieties of General Type, Cambridge Univ. Press. (2023)

  88. [97]

    Koll\'ar, Semi-Normal Log Centres and Deformations of Pairs, Proc

    J. Koll\'ar, Semi-Normal Log Centres and Deformations of Pairs, Proc. Edinburgh Math. Soc., 57 (2014), no. 1, 191--199

  89. [98]

    Kempf , F

    G. Kempf , F. Knudsen , D. Mumford , B. Saint-Donat, Toroidal Embeddings 1, Springer Berlin, Heidelberg, 24 September, 1973

  90. [99]

    Koll\' a r and S

    J. Koll\' a r and S. Mori, Classification of Three-Dimensional Flips, Journal of the American Mathematical Society, vol. 5, no. 3, American Mathematical Society, 1992, pp. 533–703

  91. [100]

    Koll\' a r and S

    J. Koll\' a r and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math. 134 (1998), Cambridge Univ. Press

  92. [101]

    S. J. Kov\'acs and M. Lieblich, Boundedness of families of canonically polarized manifolds: A higher dimensional analogue of Shafarevich’s conjecture, Ann. of Math. 172 (2010), no. 3, 1719--1748

  93. [102]

    Koll\`ar, J

    J. Koll\`ar, J. Nicaise, C.Y. Xu, Semi-stable extensions over 1-dimensional bases, Acta. Math. Sin.-English Ser. 34, 103–113 (2018)

  94. [103]

    S. J. Kov\'acs and Z. Patakfalvi, Projectivity of the moduli space of stable log varieties and subadditivity of log-Kodaira dimension, J. Amer. Math. Soc. 30 (2017), 959-1021

  95. [104]

    J.Koll\' a r and CY. Xu. Moduli of Polarized Calabi-Yau Pairs. Acta Mathematica Sinica, English Series. (2020) Jun 1;36(6):631-637

  96. [105]

    Lai, Varieties fibered by good minimal models, Math

    C.-J. Lai, Varieties fibered by good minimal models, Math. Ann. 350 (2011), 533--547

  97. [106]

    Lazarsfeld, Positivity in algebraic geometry

    R. Lazarsfeld, Positivity in algebraic geometry. II. Positivity for vector bundles and multiplier ideals. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge

  98. [107]

    Lai, Bounding the volumes of singular Fano threefolds, Nagoya Math

    C.-J. Lai, Bounding the volumes of singular Fano threefolds, Nagoya Math. J, 224 (2016), Issue 1, 37--73

  99. [108]

    Laz\'ic and T

    V. Laz\'ic and T. Peternell, On generalised abundance, I, Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, 353--389

  100. [109]

    Laz\'ic and T

    V. Laz\'ic and T. Peternell, On generalised abundance, II, Peking Mathematical Journal 3 (2020), 1--46

  101. [110]

    Lazi\'c, J

    V. Lazi\'c, J. Moraga, and N. Tsakanikas, Special termination for log canonical pairs, arXiv: 2007.06458v1

  102. [111]

    Lazi\'c and N

    V. Lazi\'c and N. Tsakanikas, On the existence of minimal models for log canonical pairs, to appear in Publ. Res. Inst. Math. Sci., arXiv: 1905.05576v3

  103. [112]

    Lazi\'c and N

    V. Lazi\'c and N. Tsakanikas, Special MMP for log canonical generalised pairs, personal communication

  104. [113]

    Li, Boundedness of the base varieties of certain fibrations, arXiv: 2002.06565v2

    Z. Li, Boundedness of the base varieties of certain fibrations, arXiv: 2002.06565v2

  105. [114]

    Li, Fujita’s conjecture on iterated accumulation points of pseudo-effective thresholds, Selecta Mathematica 27 (2021), no

    Z. Li, Fujita’s conjecture on iterated accumulation points of pseudo-effective thresholds, Selecta Mathematica 27 (2021), no. 9

  106. [115]

    Liu, Sarkisov program for generalized pairs, Osaka J

    J. Liu, Sarkisov program for generalized pairs, Osaka J. Math., 58 (2021), no. 4

  107. [116]

    Lazić, S

    V. Lazić, S. Matsumura, T. Peternell, N. Tsakanikas, Z. Xie, The Nonvanishing problem for varieties with nef anticanonical bundle, arxiv: arXiv:2202.13814v4

  108. [117]

    Lazarsfeld and M

    R. Lazarsfeld and M. Mustață, Convex bodies associated to linear series, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 42 (2009), no. 5, 783-835

  109. [118]

    Liu and L

    J. Liu and L. Xie, Number of singular points on projective surfaces, arXiv: 2103.04522v1

  110. [119]

    Y. Liu, C. Xu, and Z. Zhuang, Finite generation for valuations computing stability thresholds and applications to K-stability, Ann. Math. 196(2), 507–566 (2022)

  111. [120]

    Masamura, Indices of smooth Calabi--Yau varieties, arXiv: 2312.16077V2

    Y. Masamura, Indices of smooth Calabi--Yau varieties, arXiv: 2312.16077V2

  112. [121]

    Matsumura, Commutative Algebra, 2nd ed., Math

    H. Matsumura, Commutative Algebra, 2nd ed., Math. Lecture Note Series 56, Benjamin/Cummings Publ. Co., Inc., Reading, MA, (1980)

  113. [122]

    Manetti, Normal degenerations of the complex projective plane, J

    M. Manetti, Normal degenerations of the complex projective plane, J. reine angew. Math. 419 (1991): 89-118

  114. [123]

    On the plurigenera of minimal algebraic 3-folds with K 0

    D. R. Morrison, A remark on Kawamta's paper "On the plurigenera of minimal algebraic 3-folds with K 0 ", Math. Ann. 275 (1986), no. 4, 547-553

  115. [124]

    Moraga, Termination of pseudo-effective4-fold flips, arXiv: 1802.10202v3

    J. Moraga, Termination of pseudo-effective4-fold flips, arXiv: 1802.10202v3

  116. [125]

    Miyaoka, T

    Y. Miyaoka, T. Peternell, Rationally Connected Fibrations and Applications, In: Geometry of Higher Dimensional Algebraic Varieties. DMV Seminar, vol 26. Birkhäuser, Basel

  117. [126]

    Matsumura, J

    S. Matsumura, J. Wang, Structure theorem for projective klt pairs with nef anti-canonical divisor, arXiv:2105.14308v3

  118. [127]

    Nakayama, Invariance of the plurigenera of algebraic varieties under minimal model conjectures, Topology 25 (1986), no

    N. Nakayama, Invariance of the plurigenera of algebraic varieties under minimal model conjectures, Topology 25 (1986), no. 2, 237--251

  119. [128]

    Nakayama, Base loci of linear series are numerically determined, Transactions of the American mathematical society 355 (2002), no

    M. Nakayama, Base loci of linear series are numerically determined, Transactions of the American mathematical society 355 (2002), no. 2, 551--566

  120. [129]

    Nakamura, On minimal log discrepancies on varieties with fixed Gorenstein index

    Y. Nakamura, On minimal log discrepancies on varieties with fixed Gorenstein index. Michigan Math. J., 65 (1), 165--187, 2016

  121. [130]

    Nakayama, Zariski-decomposition and abundance, MSJ Memoirs, vol

    N. Nakayama, Zariski-decomposition and abundance, MSJ Memoirs, vol. 14, Mathematical Society of Japan, Tokyo, 2004

  122. [131]

    Y. G. Prokhorov and V.V. Shokurov, Towards the second main theorem on complements, J. Algebraic Geom. 18 (2009), no. 1, 151-199

  123. [132]

    L. Pan, J. Shen, An example on volumes jumping over Zariski dense set , arXiv:1309.7535

  124. [133]

    Shokurov, Smoothness of the general anticanonical divisor on a Fano 3-fold

    V.V. Shokurov, Smoothness of the general anticanonical divisor on a Fano 3-fold. Math. USSR Izvestija 14(2) (1979), 395–405

  125. [134]

    Shokurov, Three-dimensional log perestroikas(in Russian)

    V.V. Shokurov, Three-dimensional log perestroikas(in Russian). Izv. Ross. Akad. Nauk Ser. Mat. 56(1) (1992), 105–203

  126. [135]

    Shokurov, 3-fold log models, J

    V.V. Shokurov, 3-fold log models, J. Math. Sci. 81 (1996), no. 3, 2667--2699

  127. [136]

    Shokurov, Existence and boundedness of n -complements, arXiv: 2012.06495v1

    V.V. Shokurov, Existence and boundedness of n -complements, arXiv: 2012.06495v1

  128. [137]

    Takagi, Fujita’s approximation theorem in positive characteristics, J

    S. Takagi, Fujita’s approximation theorem in positive characteristics, J. Math. Kyoto Univ. (JMKYAZ), 47-1 (2007), 179–202

  129. [138]

    Xu, Complements on log canonical Fano varieties, arXiv: 1901.03891v1

    Y. Xu, Complements on log canonical Fano varieties, arXiv: 1901.03891v1

  130. [139]

    Xu, Some results about the index conjecture for log Calabi--Yau pairs, arXiv: 1905.00297v1

    Y. Xu, Some results about the index conjecture for log Calabi--Yau pairs, arXiv: 1905.00297v1

  131. [140]

    Xu, A minimizing valuation is quasi-monomial, Ann

    C. Xu, A minimizing valuation is quasi-monomial, Ann. Math. 191(3), 1003–1030 (2020)

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.