Pith. sign in

REVIEW 3 major objections 6 minor 82 references

Effective positivity of Hodge bundles and applications

T0 review · 3 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read This paper proves that stable families of maximal variation have a uniform positive lower bound on their Chow-Mumford volume, with the bound depending only on the relative dimension and the allowed boundary coefficients.

desk verdict A serious, likely-correct paper whose printed proof of Theorem 7.1 has a genuine gap; worth peer review, but the referee should demand a repaired argument. read the letter →

arxiv 2506.10515 v2 pith:EMUP5RKK submitted 2025-06-12 math.AG

classification math.AG MSC 14J1014E3014D2232M25
keywords HodgebundlespositivitystablevarietiesChow-MumfordvolumeHarder-Narasimhanslopemodulispaceslogcanonicalpairseffectiveboundedness
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's central claim is that positivity of Hodge bundles can be made effective in a uniform way for stable families of varieties, and that this single input yields new boundedness results in several areas. For each relative dimension $n$ and each DCC set of boundary coefficients $\Lambda$, the authors prove there is a constant $\delta(n,\Lambda)>0$ such that every stable family $f:(X,\Delta)\to B$ of maximal variation with at least one klt fiber satisfies $(\lambda_{CM})^{\dim B}\ge \delta^{\dim B}$, where $\lambda_{CM}$ is the Chow-Mumford line bundle. When $B$ is a curve this gives a uniform lower bound $(K_{X/B}+\Delta)^{n+1}\ge \delta$, and it also bounds the order of the relative automorphism group linearly in that volume. The engine is the $q$-th Hodge bundle $f_*\mathcal{O}_X(q(K_{X/B}+\Delta))$: the paper proves it is nef over a curve for every positive integer $q$, and gives an effective lower bound on its smallest Harder-Narasimhan slope, which then feeds a slope inequality to control volumes. A reader should care because these were previously known only non-effectively, so the result converts qualitative boundedness into dimension-by-dimension constants.

What carries the argument

The central object is the $q$-th Hodge bundle $E^{\Delta}_{q,f}=f_*\mathcal{O}_X(q(K_{X/B}+\Delta))$, whose determinant is the $q$-th $\lambda$ class $\lambda_q$; the Chow-Mumford line bundle is recovered from these as $\lambda_{CM}=(n+1)!\lim_{q\to\infty}\lambda_q/q^{n+1}$. The two pillars are Theorem 3.18, which proves $E^{\Delta}_{q,f}$ is nef on a smooth projective curve for every $q$ when the general fiber is slc, and Theorem 6.1, which bounds from below the smallest Harder-Narasimhan slope $\mu_-(E_q)$ by $\min\{(q-1)/q,\ q\gamma_q/(1+\gamma_q q)\}\cdot \deg\lambda_q/\operatorname{rk}E_q$, with $\gamma_q$ the Bermann-Gibbs-Viehweg log canonical threshold invariant of the general fiber. The lower-bound proof runs the Viehweg product trick: it embeds $\lambda_q$ into the $r$-fold tensor power of $E_q$, uses the BGV divisor to keep the fiber product klt, and applies a semipositivity criterion for $f_*\mathcal{O}(L)$ that requires all fibers to be reduced so that the self-products are normal. Combining the effective slope bound with the slope inequality $L^{n+1}\ge \deg f_*\mathcal{O}(L)$ gives the uniform volume bounds.

What would settle it

Construct a stable family over a curve with maximal variation, relative dimension n, one klt fiber, and coefficient set Λ, and compute (K_{X/B}+Δ)^{n+1}; if it is smaller than the paper's δ(n,Λ)=$q^{{-n-1}}$ for the q chosen from the effective birationality bound, the claimed uniformity fails. Equivalently, compute the smallest Harder-Narasimhan slope μ_-(E_q) for such a family: Theorem 6.1 predicts it is at least min{(q−1)/q, qγ_q/(1+γ_q q)}·deg λ_q/rk E_q, so a family with deg λ_q >0 and μ_-(E_q)=0 would falsify the slope bound.

Watch

Extended reading notes

Core claim

The paper establishes, on its own terms, the following theorem: fix a positive integer $n$ and a DCC set $\Lambda\subset \mathbb{Q}\cap[0,1]$; then there is $\delta=\delta(n,\Lambda)>0$ such that $\lambda_{CM}^{d}\ge \delta^{d}$ for every stable family $f:(X,\Delta)\to B$ of relative dimension $n$ and maximal variation whose boundary coefficients lie in $\Lambda$ and which has at least one klt fiber. The proof's load-bearing new input is an effective positivity statement for Hodge bundles: if the base is a smooth projective curve and the general fiber is slc, then $f_*\mathcal{O}_X(q(K_{X/T}+\Delta))$ is nef for every $q\ge 1$, and under maximal variation with klt general fiber and $q\ge 2$ it is ample whenever nonzero. From the curve case the paper derives the general base by pulling back along movable curves and using a slope inequality to convert the slope bound into an inequality of nef divisors. The same circle of ideas yields a uniform lower bound on $(K_{X/B}+\Delta)^{n+1}$ for curve bases, an effective positivity of $\lambda_q$ on normalizations of moduli spaces of stable pairs, and an upper bound $|\operatorname{Aut}(f)|\le C\cdot \operatorname{vol}(K_{X/B}+\Delta)$ for fibrations over curves.

Load-bearing premise

The whole lower-bound chain presupposes that the r-fold self-product of the total space is normal, which is guaranteed only when all fibers of the family are reduced; when fibers are non-reduced, stable reduction replaces equalities of Hodge bundles by inclusions, and any loss there would weaken the uniform volume constant.

Editorial extensions

If this is right

  • If Theorem 8.1 is correct, then the Chow-Mumford volume of every maximally varying stable family of fixed relative dimension and coefficient set is bounded below by a constant depending only on $n$ and $\Lambda$, making effective the previously non-effective boundedness results for such families.
  • Over a curve base, the relative volume $(K_{X/B}+\Delta)^{n+1}$ is uniformly bounded below, which gives a uniform lower bound for volumes of algebraically integrable foliations induced by fibrations with reduced fibers.
  • The $q$-th Hodge bundle is nef over a curve for every $q$ and ample for $q\ge 2$ under maximal variation and a klt general fiber, so the Hodge and lambda classes are effective before any divisibility that was previously required.
  • On normalizations of moduli spaces of stable pairs containing at least one klt pair, $\lambda_q$ is nef whenever $qI\subset \mathbb{Z}$ and big for $q\ge 2$, and the Chow-Mumford divisor has volume at least $(vC)^{-\dim M}$ in terms of the volume $v$ of the parametrized pairs.
  • For fibrations over a curve, $|\operatorname{Aut}(f)|\le \delta\cdot\operatorname{vol}(K_{X/B}+\Delta)$ with $\delta$ depending only on $n$ and $\Lambda$, the relative analogue of the Hurwitz-type bounds for varieties of general type.

Reading between the lines

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

  • If the reduced-fiber assumption in Theorem 6.1 could be removed, the uniform volume bound would hold without passing through stable reduction, which currently replaces equalities of Hodge bundles by generically isomorphic inclusions; the paper's Corollary 10.2 suggests the slope bound itself survives non-reduced fibers.
  • The method predicts that an affirmative answer to the paper's Question 1.10 on effective ampleness for corank-one foliations would extend the volume lower bounds to a much larger class of foliations, since the only missing ingredient is the analogue of Theorem 3.18 for the foliated canonical bundle.
  • The effective positivity of $\lambda_q$ on moduli normalizations should make the boundary of the ample cone described in Theorem 11.2 computable in examples, potentially yielding explicit birational models of moduli spaces of stable pairs.
  • A testable consequence is that the uniform $\delta$ in Theorem 8.1 should be computable from the effective birationality constant $q(n,\Lambda)$ together with the BGV invariant of the general fiber, so explicit constants could be extracted for surfaces and threefolds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper develops effective positivity statements for Hodge bundles of families of stable varieties, and derives several boundedness applications. The central technical results are: (i) Theorem 3.18, semipositivity of f_*O_X(q(K_{X/T}+\Delta)) over a smooth curve when the general fiber is slc; (ii) Theorem 6.1, a lower bound for the smallest Harder-Narasimhan slope of such Hodge bundles in terms of the BGV invariant; (iii) Theorem 7.1, bigness/ampleness of the determinant lambda class \lambda_q under maximal variation and a klt fiber; and (iv) Theorem 8.1, a uniform lower bound \lambda_{CM}^d \ge \delta^d for stable families of maximal variation with coefficients in a DCC set. From these, the paper derives bounds on relative volumes, automorphism groups, and Chow-Mumford volumes on moduli spaces.

Significance. If the main theorems are correct, the paper would replace several non-effective positivity and boundedness results by effective ones, with consequences for the moduli of stable pairs, algebraically integrable foliations, and automorphism groups. The authors also provide a number of new technical tools: effective base-change statements for Hodge bundles, a careful treatment of stable reduction, and a generalized semipositivity theorem over curves. The dependence on external results ([Fuj18], [HMX14], [BZ16], [CTV23b]) is explicit, and no circularity is apparent. However, the proof of the pivotal Theorem 7.1, on which Theorem 8.1 rests, contains a genuine logical gap, as detailed below.

major comments (3)
  1. [§8, Theorem 8.1] The proof of Theorem 7.1 selects an integer (denoted q in the text, but evidently intended to be a different auxiliary integer Q) so that \lambda_Q is big. It then applies Theorem 6.1 to a curve base change and records inequality (7.1): \mu_-(g^*E_q) \ge \varepsilon \deg(g^*\lambda_q). Since for any vector bundle one always has \mu_-(E) \le \deg\det(E)/\operatorname{rk}(E), this inequality is automatically satisfied for a nef divisor \lambda_q and cannot imply bigness. The subsequent sentence "In particular, (\lambda_q - \varepsilon\lambda_q)\cdot[C] \ge 0" is a tautology. To deduce bigness of \lambda_q one must compare it with an external big class, either the chosen \lambda_Q or \lambda_{CM}; the printed argument does not supply such a comparison. The proof of Theorem 8.1 uses Theorem 7.1 to obtain \deg\lambda_{q,h}\ge 1 for the uniform q coming from [HMX14], so this gap is load-bearing for the paper's central claim.
  2. [§6, Theorem 6.1] The uniformity of the constant \delta depends on Theorem 7.1 being available for the specific integer q chosen via [HMX14, Theorem 1.3] and the finite coefficient set I. Because the current proof of Theorem 7.1 requires first choosing a non-effective large Q with \lambda_Q big, it cannot establish bigness of \lambda_q for the uniform q unless the gap described in the previous comment is resolved. In particular, the inequality \lambda_q^d \ge 1 used in the last paragraph of the proof of Theorem 8.1 is not justified by the printed arguments.
  3. [§7, Theorem 7.1] The statement of Theorem 6.1 contains a notational ambiguity that directly contributes to the conflation of two different integers in Theorem 7.1: it reads "Let q, q \ge 2 be positive integers such that q(K_{X/T}+\Delta) is a Weil Z-divisor and q(K_{X/T}+\Delta) is Cartier," and then formula (6.1) mixes the two q's without distinction. The theorem should use distinct symbols (e.g., q and \bar{q}) and explicitly state which of them appears in the factor \gamma_q and in the subscript of E_q and \lambda_q. This ambiguity makes it difficult to check the derivation of (7.1) and should be corrected even if the main mathematical argument is repaired.
minor comments (6)
  1. [Abstract] The abstract contains the duplicated phrase "several several".
  2. [§1.1, §1.2] There are several typos: "a-pirori" should be "a priori", "semmi-log canonical" should be "semi-log canonical".
  3. [§5] The spelling "Bermann-Gibbs" appears; the standard spelling is "Berman-Gibbs".
  4. [§7, proof of Theorem 7.1] The sentence "Observe that both \lambda_q and \lambda_q are Cartier by construction" presumably refers to \lambda_q and \lambda_Q; the two symbols should be distinguished.
  5. [§8, Corollary 8.2] In the proof of Corollary 8.2, the sentence "\lambda_q is nef and big by Corollary 3.26 and Theorem 8.1" should refer to Theorem 7.1 for bigness, since Theorem 8.1 concerns \lambda_{CM}.
  6. [§11] In Theorem 11.1 the phrase "over a a smooth" should read "over a smooth".

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: effective positivity is built from a Hodge-theoretic base case, original Viehweg-trick arguments, and external non-effective inputs.

full rationale

The derivation chain is not circular. Theorem 3.18, the engine of the paper, is proved by reducing to Fujino's Hodge-theoretic semipositivity (Theorem 3.17) through the paper's own resolution, Galois-cover and base-change arguments; it is not stated as equivalent to a fit or to a lambda class. Theorem 6.1 is a new slope estimate proved via the Viehweg product trick: normality of the self-product is quoted from the published lemma [CP21, Lemma 6.3], but the lower bound itself is derived, and the external lemma does not assert the target slope bound. The apparent self-reference in Theorem 7.1 is a notational ambiguity between two indices: the proof chooses a large multiple with big lambda class from the non-effective [KP17]/[PX16] result, applies Theorem 6.1 to the fixed q, and obtains a cross-inequality; the printed pair "(lambda_q - eps lambda_q)" is coherent only with two distinct Hodge line bundles, and the line "both lambda_q and lambda_q are Cartier" indicates that two line bundles are in play. Even if the two occurrences are read as identical, the issue would be an invalid inference or a gap, not a reduction of the conclusion to its input by construction. Theorem 8.1 then combines Theorem 7.1 with the external slope inequality [CTV23b, Theorem F(1)], effective birationality [HMX14, Theorem 1.3], and [BZ16, Theorem 8.1]; none of these black boxes is a consequence of the paper's own conclusions. Self-citations to [CP21] and [CTV23b] occur in technical lemmas and are prior published results, so they do not make the central claims circular. The reducedness hypothesis in Theorem 6.1 is a genuine limitation, but stable families in Theorem 8.1 have reduced fibers, and Corollary 6.3 addresses non-reduced cases via stable reduction; this affects correctness risk, not circularity.

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

The paper's effective bounds are not derived from scratch; they import several deep external results as black boxes: Hodge-theoretic semipositivity (Fujino), effective birationality (HMX14), Birkar-Zhang effectivity, and a slope inequality (CTV23b). No numbers are fitted to data; the uniform constant delta in Theorem 8.1 is q^{-n-1} with q supplied by HMX14. No new entities (particles, forces, dimensions, etc.) are introduced.

assumptions (6)
  • domain assumption Semipositivity of Hodge bundles for projective double semi-snc pairs (Theorem 3.17), taken from [Fuj18].
    Used as the base case in the proof of Theorem 3.18; the nefness of f_*O(K+D) for snc pairs is a Hodge-theoretic input not proved in this paper.
  • domain assumption Effective birationality [HMX14, Theorem 1.3]: for each n and DCC coefficient set I, there exists m(n,I) such that |m(K_X+Delta)| is birational for all such pairs.
    This supplies the integer q used to define delta = q^{-n-1} in Theorem 8.1 and Corollary 8.3; the uniformity of the final bounds inherits from this deep external theorem.
  • domain assumption Birkar-Zhang effectivity [BZ16, Theorem 8.1]: for each n and DCC set Lambda, there exists epsilon > 0 such that K_F + epsilon Delta_F is big for all lc pairs with coefficients in Lambda.
    Used in the proof of Theorem 8.1 to reduce the DCC coefficient set to a finite set I, a key step for applying effective birationality.
  • domain assumption Slope inequality of [CTV23b, Theorem F(1)] (Theorem 2.3 in the paper): for f:X->T a fibration over a curve, L f-ample nef with f_*O(L) nef and L restricted to a fiber birational, L^{n+1} >= deg f_*O(L).
    This inequality converts positivity of Hodge bundles into volume lower bounds; it is an external theorem by Codogni-Tasin-Viviani, cited and used as a black box.
  • domain assumption Positivity of the alpha/BGV invariant [BTJ, Theorem 9.14]: if (F,Delta) is klt and L is ample, then gamma(L;F,Delta) > 0.
    Used in Lemma 5.1 to ensure the gamma invariant in Theorem 6.1 is strictly positive, a necessary condition for the slope bound to be nontrivial.
  • standard math Standard MMP, vanishing, and Hodge theory results in characteristic zero, including Kawamata-Viehweg vanishing and inversion of adjunction.
    These are standard background tools used throughout the proofs, without which the reductions to klt and lc singularities would not hold.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Effective positivity of Hodge bundles and applications." pith.science (2026). https://pith.science/paper/EMUP5RKK

@misc{pith2026250610515,
  author       = {Pith},
  title        = {Pith review of: Effective positivity of Hodge bundles and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EMUP5RKK}},
  note         = {Machine review of arXiv:2506.10515}
}
abstract

We prove new boundedness results across different areas of algebraic geometry, stemming from a unifying technical starting point: bounding the integer $q > 0$ such that the $q$-th Hodge bundle becomes (semi-)positive for families of stable varieties. This result allows us to show that for stable families $f: X \to T$ of maximal variation with klt general fiber and relative dimension $n$ there exist the following bounds: 1) a lower bound for the Chow-Mumford volume $\left( \lambda_{CM,f} \right)^{\dim T}$ of the form $\delta^{\dim T}$, where $\delta$ is uniform; 2) a uniform lower bound on $K_{X/T}^{n+1}$, when $T$ is a curve; 3) an upper bound for $|\mathrm{Aut}(f)|$ when $T$ is a curve, depending uniformly linearly on $K_{X/T}^{n+1}$. Additionally, we draw several several consequences on the subspaces of the moduli space of stable varieties parametrizing at least one klt variety, such as the positivity of Hodge bundles and a lower bound on the Chow-Mumford volume in terms of the dimension and the volume of the parametrized varieties (the volume is needed only if working on the coarse moduli space). We also give pair versions of the above results with coefficients varying in a DCC set.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

82 extracted references · 72 canonical work pages

  1. [1]

    Arbarello, M

    E. Arbarello, M. Cornalba, P. Griffiths: Geometry of Algebraic curves II

  2. [2]

    The Stacks project, https://stacks.math.columbia.edu , 2024

  3. [3]

    Alexeev, Boundedness and K^2 for log surfaces, Internat

    V. Alexeev, Boundedness and K^2 for log surfaces, Internat. J. Math. 5 (1994), no. 6, 779--810

  4. [4]

    Ambro, P

    F. Ambro, P. Cascini, V. Shokurov, C. Spicer,Positivity of the Moduli Part, arxiv preprint 2111.00423

  5. [5]

    Berman, K\" a hler-Einstein metrics, canonical random point processes and birational geometry , Proceedings of Symposia in Pure Mathematics, 97(1) (2018), pp

    R.J. Berman, K\" a hler-Einstein metrics, canonical random point processes and birational geometry , Proceedings of Symposia in Pure Mathematics, 97(1) (2018), pp. 29--73

  6. [6]

    Boucksom, J.P

    S. Boucksom, J.P. Demailly, M. Păun, T. Peternell, The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension. J. Algebraic Geom. 22 (2013), no. 2, 201--248

  7. [7]

    Bhatt, W

    B. Bhatt, W. Ho, Zs. Patakfalvi and C. Schnell, Moduli of products of stable varieties, Compos. Math. 149 (2013), no. 12, 2036--2070; MR3143705

  8. [8]

    Birkar and D.-Q

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

Show all 82 references
  1. [9]

    Blum and M

    H. Blum and M. Jonsson: Thresholds, valuations, and K-stability, Adv. Math. 365 (2020)

  2. [10]

    Boucksom, T

    S. Boucksom, T. Hisamoto and M. Jonsson Uniform K-stability, Duistermaat-Heckman measures and singularities of pairs, Annales de l'Institut Fourier, Volume 67 (2017) no. 2, pp. 743-841

  3. [11]

    Cascini, New directions in the minimal model program, Bollettino dell'Unione Matematica Italiana 14 (2021), 179--190

    P. Cascini, New directions in the minimal model program, Bollettino dell'Unione Matematica Italiana 14 (2021), 179--190

  4. [12]

    Corrêa, T: Fassarella, On the order of the automorphism group of foliations, Math

    M. Corrêa, T: Fassarella, On the order of the automorphism group of foliations, Math. Nachr. 287 (2014), no. 16, 1795–1803

  5. [13]

    Corrêa, A.Muniz, Polynomial bounds for automorphisms groups of foliations, Rev

    M. Corrêa, A.Muniz, Polynomial bounds for automorphisms groups of foliations, Rev. Mat. Iberoam. 35 (2019), no. 4, 1153--1194

  6. [14]

    Cascini and C

    P. Cascini and C. Spicer, MMP for rank one foliations on threefolds, 2020, Prepinr arXiv:2012.11433

  7. [15]

    Cascini and C

    P. Cascini and C. Spicer, MMP for co-rank one foliations on threefolds, Invent. Math. 225 (2021), no. 2, 603--690

  8. [16]

    Cascini and C

    P. Cascini and C. Spicer, MMP for algebraically integrable foliations, London Math. Soc. Lecture Note Ser., 489 Cambridge University Press, Cambridge, 2025, 69--84

  9. [17]

    Chen Convergence des polygones de Harder-Narasimhan, Mém

    H. Chen Convergence des polygones de Harder-Narasimhan, Mém. Soc. Math. Fr. No. 120 (2010), 116 pp

  10. [18]

    G. Chen, J. Han, J. Liu, and L. Xie Minimal model program for algebraically integrable foliations and generalized pairs, Preprint arXiv:2309.15823

  11. [19]

    Codogni and Zs

    G. Codogni and Zs. Patakfalvi, Positivity of the CM line bundle for families of K-stable klt Fano varieties, Inventiones Mathematicae 223 (2021), 811--894

  12. [20]

    Codogni and Zs

    G. Codogni and Zs. Patakfalvi, A note on families of K-semistable log-Fano pairs Birational Geometry, Kaehler-Einstein Metrics and Degenerations Moscow, Shanghai and Pohang, Conference proceedings, Springer Proceedings in Mathematics and Statistics, volume 409, 2023

  13. [21]

    Codogni, L

    G. Codogni, L. Tasin and F. Viviani, Slope inequalities for KSB-stable and K-stable families, Proceeding of the London Mathematica Society, Volume 126, Issue 4 2023, pp. 1394--1465

  14. [22]

    Conrard, Grothendieck duality and base change, Lecture Notes in Mathematics 1750, Springer, 2000

    B. Conrard, Grothendieck duality and base change, Lecture Notes in Mathematics 1750, Springer, 2000

  15. [23]

    Druel, Codimension 1 foliations with numerically trivial canonical class on singular spaces, Duke Math

    S. Druel, Codimension 1 foliations with numerically trivial canonical class on singular spaces, Duke Math. J. 170 (2021), no. 1, 95--203

  16. [24]

    Esnault, E

    H. Esnault, E. Viehweg, Effective bounds for semipositive sheaves and for the height of points on curves over complex function fields, Compositio Math. 76 (1990), no. 1-2, 69--85

  17. [25]

    Esnault, E

    H. Esnault, E. Viehweg, Ample sheaves on moduli schemes, ICM-90 Satellite Conference Proceedings. Springer, Tokyo, 1991

  18. [26]

    Esnault and E

    H. Esnault and E. Viehweg : Lectures on vanishing theorems, DMV Seminar, vol. 20, Birkh\"auser Verlag, Basel, 1992

  19. [27]

    Filipazzi, C

    S. Filipazzi, C. Spicer, On semi-ampleness of the moduli part, arxiv preprint 2212.03736

  20. [28]

    Fujino, Fundamental theorems for semi log canonical pairs, Algebraic Geometry 1 (2014), no

    O. Fujino, Fundamental theorems for semi log canonical pairs, Algebraic Geometry 1 (2014), no. 2, 194--228

  21. [29]

    Fujino, Direct images of relative pluricanonical bundles, Algebr

    O. Fujino, Direct images of relative pluricanonical bundles, Algebr. Geom. 3 (2016), no. 1, 50--62

  22. [30]

    Fujino, Semipositivity theorems for moduli problems, Ann

    O. Fujino, Semipositivity theorems for moduli problems, Ann. of Math. (2) 187(3): 639--665 (2018)

  23. [31]

    Fujino, T

    O. Fujino, T. Fujisawa, Variations of mixed Hodge structure and semipositivity theorems, Publ. Res. Inst. Math. Sci. 50 (2014), no. 4, 589--661

  24. [32]

    Fujino, T

    O. Fujino, T. Fujisawa, and M. Saito Some remarks on the semipositivity theorems, Publ. Res. Inst. Math. Sci. 50 (2014), no. 1, 85--112

  25. [33]

    Fujita, On K\"ahler fiber spaces over curves, J

    T. Fujita, On K\"ahler fiber spaces over curves, J. Math. Soc. Japan 30 (1978), no. 4, 779--794

  26. [34]

    Fujita: On Bermann-Gibbs stability and K-stability of -Fano varieties by K

    K. Fujita: On Bermann-Gibbs stability and K-stability of -Fano varieties by K. Fujita, Compositio Mathematica, 152(2), 288--298 (2016)

  27. [35]

    Fujita, Y

    K. Fujita, Y. Odaka: On the K-stability of Fano varieties and anticanonical divisors, Tohoku Math. J. (2) 70(4): 511--521 (2018)

  28. [36]

    Fulger, The cones of effective cycles on projective bundles over curves

    M. Fulger, The cones of effective cycles on projective bundles over curves

  29. [37]

    Hartshorne: Algebraic Geometry

    R. Hartshorne: Algebraic Geometry

  30. [38]

    Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II.(French) Inst. Hautes Études Sci. Publ. Math. No. 24 (1965), 231 pp

  31. [39]

    Hacon, A

    C.D. Hacon, A. Langer, On birational boundedness of foliated surfaces, J. Reine Angew. Math.770 (2021), 205--229

  32. [40]

    Hacon, J

    C.D. Hacon, J. McKernan, C. Xu, On the binational automorphisms of varieties of general type, Ann. of Math. 177(3): 1077--1111 (2013)

  33. [41]

    C. D. Hacon, J. McKernan, C. Xu, ACC for log canonical thresholds, Ann. of Math. 180(2): 523--571 (2014)

  34. [42]

    C. D. Hacon, J. McKernan, C. Xu, Boundedness of moduli of varieties of general type, J. Eur. Math. Soc. 20 (2018), no. 4, pp. 865–901

  35. [43]

    J. Han, J. Jiao, M. Li, J. Liu,Volume of algebraically integrable foliations and locally stable families, arxiv preprint 2406.16604

  36. [44]

    Hartshorne, Stable reflexive sheaves, Math

    R. Hartshorne, Stable reflexive sheaves, Math. Ann. 254, 121--176 (1980)

  37. [45]

    Hartshorne, Generalized divisors on Gorenstein Schemes, K-Theory v

    R. Hartshorne, Generalized divisors on Gorenstein Schemes, K-Theory v. 8, n. 3 (1994)

  38. [46]

    H\" o ring, Positivity of direct image sheaves - a geometric point of view

    A. H\" o ring, Positivity of direct image sheaves - a geometric point of view. L'Enseignement Mathématique 56, No. 1 (2010)

  39. [47]

    Kawamata, Characterization of abelian varieties, Compositio Math

    Y. Kawamata, Characterization of abelian varieties, Compositio Math. 43 (1981), no. 2, 253--276

  40. [48]

    Kawamata, Kodaira dimension of algebraic fiber spaces over curves, Invent

    Y. Kawamata, Kodaira dimension of algebraic fiber spaces over curves, Invent. Math. 66 (1982), no. 1, 57--71

  41. [49]

    Koll\'ar, Higher direct images of dualizing sheaves

    J. Koll\'ar, Higher direct images of dualizing sheaves. I, Ann. of Math. (2) 123 (1986), no. 1, 11--42

  42. [50]

    Koll\'ar, Higher direct images of dualizing sheaves

    J. Koll\'ar, Higher direct images of dualizing sheaves. II, Ann. of Math. (2) 124 (1986), no. 1, 171--202

  43. [51]

    Koll\'ar, Subadditivity of the Kodaira dimension: fibers of general type, Algebraic geometry, Sendai, 1985, Adv

    J. Koll\'ar, Subadditivity of the Kodaira dimension: fibers of general type, Algebraic geometry, Sendai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, pp. 361--398

  44. [52]

    Koll\'ar, Projectivity of complete moduli, J

    J. Koll\'ar, Projectivity of complete moduli, J. Differential Geom. 32 (1990), no. 1, 235--268

  45. [53]

    Koll\'ar, Lectures on Resolution of Singularities, Annals of Mathematics Studies, Volume 166, Princeton University Press 2007

    J. Koll\'ar, Lectures on Resolution of Singularities, Annals of Mathematics Studies, Volume 166, Princeton University Press 2007

  46. [54]

    Koll\'ar, A local version of the Kawamata-Viehweg vanishing theorem, Pure Appl

    J. Koll\'ar, A local version of the Kawamata-Viehweg vanishing theorem, Pure Appl. Math. Q. 7 (2011), no. 4, Special Issue: In memory of Eckart Viehweg, 1477--1494

  47. [55]

    Koll\'ar, Singularities of the Minimal Model Program, Cambridge University Press (2013)

    J. Koll\'ar, Singularities of the Minimal Model Program, Cambridge University Press (2013)

  48. [56]

    Koll\'ar, Log-plurigenera in stable families., Peking Math

    J. Koll\'ar, Log-plurigenera in stable families., Peking Math. J. 2018, 1(1), 81--107

  49. [57]

    Koll\'ar, Families of Varieties of General Type, Cambridge University Press (2023)

    J. Koll\'ar, Families of Varieties of General Type, Cambridge University Press (2023)

  50. [58]

    Koll\'ar and S

    J. Koll\'ar and S. Mori, Birational Geometry of Algebraic Varieties, Cambridge University Press (1998)

  51. [59]

    I. Kim, Y. Shin and J. Won: Global log canonical thresholds of minimal (1,2)-surfaces

  52. [60]

    Kawamata, K

    Y. Kawamata, K. Matsuda, K. Matsuki, Introduction to the Minimal Model Problem, Adv. Stud. Pure Math., 1987: 283--360

  53. [61]

    Kovac Zs

    S. Kovac Zs. Patakfalvi, Projectivity of the moduli space of stable log-varieties and subadditvity of log-Kodaira dimension. J. Amer. Math. Soc., 30(4):959--1021, 2017

  54. [62]

    Lazarsfeld, Positivity in Algebraic Geometry Vol

    R. Lazarsfeld, Positivity in Algebraic Geometry Vol. II, Ergebnisse der Mathematik und ihrer Grenzgebiete 49 (Springer, Berlin, 2004)

  55. [63]

    J. Liu, F. Meng, and L. Xie Minimal model program for algebraically integrable foliations on klt varieties , arXiv:2404.01559

  56. [64]

    L\" u , Unboundedness of foliated varieties , International Journal of Mathematics Vol

    X. L\" u , Unboundedness of foliated varieties , International Journal of Mathematics Vol. 36, No. 6 (2025)

  57. [65]

    L\" u , S

    X. L\" u , S. Tan, The Poincaré Problem for a foliated surface, Preprin arXiv:2404.16293

  58. [66]

    Mumford, Abelian Varieties, Tata Institute of Fundamental Research Publications Volume: 13; 2012; 263 pp

    D. Mumford, Abelian Varieties, Tata Institute of Fundamental Research Publications Volume: 13; 2012; 263 pp

  59. [67]

    Nakayama: Zariski-decomposition and abundance

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

  60. [68]

    Passantino, Numerical conditions for the boundedness of foliated surfaces, Preprint arXiv:2412.05986

    A. Passantino, Numerical conditions for the boundedness of foliated surfaces, Preprint arXiv:2412.05986

  61. [69]

    Patakfalvi, Semi positivity in positive characteristic Annales scientifiques de l'ENS, vol 47, no 5, (2014)

    Zs. Patakfalvi, Semi positivity in positive characteristic Annales scientifiques de l'ENS, vol 47, no 5, (2014)

  62. [70]

    Patakfalvi, Fibered stable varieties, Trans

    Zs. Patakfalvi, Fibered stable varieties, Trans. Amer. Math. Soc. 368 (2016), no. 3, 1837--1869

  63. [71]

    Pereira, P.F

    J.V. Pereira, P.F. Sánchez, Transformation groups of holomorphic foliations, Comm. Anal. Geom. 10 (2002), no. 5, 1115--1123

  64. [72]

    Pereira, R

    J.V. Pereira, R. Svaldi Effective algebraic integration in bounded genus, Algebr. Geom. 6 (2019), no. 4, 454--485

  65. [73]

    Patakfalvi, M

    Z. Patakfalvi, M. Zdanowicz, On the Beauville--Bogomolov decomposition in characteristic p 0 , arxiv 2020

  66. [74]

    Patakfalvi, C

    Zs. Patakfalvi, C. Xu: Ampleness of CM line bundle on the moduli space of canonically polarized varieties, Algebraic Geometry 4 (1) (2017) 29--39

  67. [75]

    M. Popa, C. Schnell. On direct images of pluricanonical bundles, Algebra Number Theory 8 (9) 2273 - 2295, 2014

  68. [76]

    T. Sano, L. Tasin ,On K-stability of Fano weighted hypersurfaces. Algebr. Geom. 11 (2024), no. 2, 296--317

  69. [77]

    J. Song, J. Sturm, X. Wang: Continuity of the Weil-Petersson potential Preprint arXiv:2008.11215

  70. [78]

    Spicer, R

    C. Spicer, R. Svaldi, Effective generation for foliated surfaces: results and applications, J. Reine Angew. Math. 795 (2023), 45--84

  71. [79]

    Viehweg, Die Additivität der Kodaira Dimension für projektive Faserräume über Varietäten des allgemeinen Typs., J

    E. Viehweg, Die Additivität der Kodaira Dimension für projektive Faserräume über Varietäten des allgemeinen Typs., J. Reine Angew. Math. 330 (1982), 132--142

  72. [80]

    Viehweg, Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces, Adv

    E. Viehweg, Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces, Adv. Stud. Pure Math., 1 North-Holland Publishing Co., Amsterdam, 1983, 329--353

  73. [81]

    Viehweg, Positivity of direct image sheaves and applications to families of higher dimensional manifolds

    E. Viehweg, Positivity of direct image sheaves and applications to families of higher dimensional manifolds. ICTP-Lecture Notes 6 (2001)

  74. [82]

    Xu and Z

    C. Xu and Z. Zhuang: On positivity of the CM line bundle on K-moduli spaces, Ann. of Math. (2) 192 (2020), no. 3, 1005–1068

Pith tools

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