REVIEW 3 major objections 4 minor 3 cited by
Remarks on Relative Canonical Bundles and Algebraicity Criteria for Foliations in K\"ahler context
T0 review · 3 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read The paper proves a conditional positivity theorem for twisted relative canonical bundles and derives algebraicity and rational connectedness for positive slope foliations on compact Kähler manifolds.
desk verdict A worthwhile conditional result with a real gap in one proof—deserves refereeing, not desk rejection. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing construction is the fiberwise Bergman kernel metric with minimal singularities. For a projective fiber $Z$ and an ample line bundle $A$, Lemma 3.3 shows that the extremal metric defined by $L^{2/k}$-normalized sections of $k(K_Z+F+(1/m_0)A)+\rho$ is independent of the flat twist $\rho\in\operatorname{Pic}^0(Z)$; this independence is what lets the metric glue across coordinate charts of the base, and Theorem 3.4 turns it into a positively curved metric on $K_{X/U}+L+(1/m_0)H_U$. The ramification divisor $D(p)$ is subtracted because the curvature of the fiberwise $L^{2/k}$ metric gains a current $(m_i-1)[W_i]$ along the components where $p$ has multiplicity $m_i$. For the algebraicity criterion, the mechanism is the comparison of Lelong numbers under blow-up and push-forward (Lemmas 2.2 and 2.3): it converts a very large Lelong number at one point of $S_0$ into a large generic Lelong number along $C_0$, and that in turn produces positive currents in the class of $\mathcal{O}_{\mathbb{P}(N^*_{C_0/S_0})}(1)$.
What would settle it
To test Theorem 3.1, take a compact Kähler fibration satisfying (i)–(iii) for which the class $c_1(K_{X/Y}+L-D(p))$ can be computed explicitly—for example a Lagrangian fibration on a hyperkähler manifold—and check whether that class lies in the pseudo-effective cone; the theorem asserts it always does, so a negative computation would disprove it. To test the boundary, the same computation on a fibration with no such form $\sigma$ would indicate whether the extra hypothesis is removable.
Extended reading notes
Core claim
The paper's main objective is to establish three linked statements. Theorem 3.1 says that under hypotheses (i)–(iii) of the introduction—a surjective map $p:X\to Y$ of compact Kähler manifolds, a Kähler metric $\omega$ and holomorphic 2-form $\sigma$ with $[\omega+\sigma+\overline{\sigma}]$ rational and $\sigma|_{X_y}=0$ for generic $y$, and a line bundle $L$ whose adjoint restriction $K_{X_y}+L|_{X_y}$ is pseudo-effective for generic $y$—the twisted relative canonical bundle $K_{X/Y}+L-D(p)$ is pseudo-effective, where $D(p)=\sum (m_k-1)W_k$ records the ramification of $p$. Theorem 1.3 is the algebraicity criterion: if a compact submanifold $C$ of a compact Kähler manifold $X$ is contained, over a dense open $C_0$, in a locally closed submanifold $S_0$ whose Zariski closure $M$ has $\dim M>\dim S_0$, then the conormal bundle $N^*_{C_0/S_0}$ is pseudo-effective in the sense of Definition 2.4; the corollary is that a holomorphic foliation whose conormal sheaf is not pseudo-effective is induced by a meromorphic map. The final theorem uses these two to show that a foliation with positive slope has an algebraic maximal destabilizing subsheaf whose generic leaves are rationally connected, so $X$ is uniruled and $K_X$ is not pseudo-effective.
Load-bearing premise
The load-bearing premise is the existence of the auxiliary 2-form $\sigma$ making $[\omega+\sigma+\overline{\sigma}]$ a rational class with $\sigma$ vanishing on the generic fiber; the paper expects this to be unnecessary, but without it the relative Bergman metric construction cannot be globalized.
Editorial extensions
If this is right
- Under the rationality condition, the positivity conjecture for twisted relative canonical bundles holds: $K_{X/Y}+L-D(p)$ is pseudo-effective whenever the adjoint bundles on the generic fibers are pseudo-effective.
- If $K_X$ is pseudo-effective on a compact Kähler manifold, then every torsion-free quotient of $\otimes^m T_X^*$ has pseudo-effective determinant, and $\nu(X,L)\le \nu(X,K_X)$ for any line bundle $L$ injecting into $\otimes^m T_X^*$.
- A holomorphic foliation with $\mu_{\alpha,\min}(F)>0$ for some movable class $\alpha$ is algebraic, its generic leaves are rationally connected, and $X$ is uniruled.
- Uniruledness of a compact Kähler manifold is equivalent to $\mu_{\alpha,\max}(T_X)>0$ for some movable class $\alpha$, and also to $\mu_{\alpha}(T_X)>0$.
- In a proper holomorphic submersion over a disk, pseudo-effectivity of the canonical bundle of the central fiber propagates to every fiber, giving a special case of the invariance of plurigenera.
Reading between the lines
- The proof suggests the rationality hypothesis is removable: it is used only to obtain local projectivity, so any independent glueing mechanism for the fiberwise Bergman metrics would prove the full conjecture.
- The analytic notion of pseudo-effectivity for sheaves is explicitly weaker than the algebraic one; if the two coincide, the algebraicity criterion recovers the exact algebraic statement, and Proposition 6.8 is the first bridge.
- The constants in Proposition 4.2 are not made explicit; a quantitative version would bound the degree of the Zariski closure of $S_0$ in terms of the ambient curvature, giving an effective algebraicity criterion.
- The movable-slope characterization of uniruledness suggests a cohomological test: finding a movable class on which $T_X$ has positive slope should certify the existence of rational curves through every point.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies positivity of relative canonical bundles and algebraicity criteria for foliations on compact Kähler manifolds. The main results are: (i) Theorem 3.1, a conditional version of the Cao–Höring conjecture on the pseudo-effectivity of K_{X/Y}+L-D(p) under the existence of a rational class ω+σ+σ̄ with σ vanishing on the generic fibers; (ii) Theorem 1.3, an analytic proof of Ou's algebraicity criterion for conormal bundles; and (iii) Theorem 1.4 / Corollary 1.5, extensions of uniruledness criteria. The paper also contains an appendix on stability of coherent sheaves with respect to Gauduchon metrics.
Significance. If the gaps identified below are repaired, the paper would constitute a meaningful step toward the Cao–Höring conjecture and provide a self-contained analytic proof of Ou's criterion, with a weaker analytic notion of pseudo-effectivity for sheaves. The appendix's treatment of slopes with Gauduchon metrics and Proposition 6.8 are useful contributions. However, two load-bearing points need work: an explicit error in Proposition 4.1 and an unproved generalization of Theorem 1.2 in Section 5.
major comments (3)
- [§4, Proposition 4.1] The function f is defined as f = (1/m)(n-1)/n log(|z1|^2 + |z2|^{2m} + ... + |zn|^{2m}). For a submanifold S0 contained in {z1 = 0}, the restriction f|S0 has Lelong number (n-1)/n at x, independent of m, because the coefficient and the exponent m cancel. The text asserts ν(f|S0, x) = 2 m^{1/n}, which is incompatible with this definition. Moreover, the multiplier ideal computation that follows uses a threshold proportional to kC m^{(n-1)/n}, which would correspond to a different coefficient. As Proposition 4.1 is the starting point for making the Lelong numbers arbitrarily large in the proof of Theorem 1.3, this discrepancy is load-bearing. The formula for f should be corrected and the subsequent estimates rechecked.
- [§5, proof of Theorem 5.1(2)] The proof applies Theorem 1.2 to the fibration s: Z → Y with the closed positive current r_*ω^{k+1} in place of a smooth Kähler metric. The text states that “the local L^{2/k}-extension in Step four still works when m0 is large enough” and that “the proof of Theorem 1.2 goes through.” No argument is supplied to justify the Ohsawa–Takegoshi L^{2/k} extension with uniform constants when the background form has singularities over a divisor, nor is it shown that the class remains rational and that the (2,0)-part vanishes on the generic fibers of s after the push-forward. This step is essential to conclude that det(H)^* is pseudo-effective and hence that the fibers are rationally connected. The same unproved application appears in the proof of Corollary 5.4.
- [§5, expansion of r_*((ω+σ+σ̄)^{k+1})] The formula r_*(ω+σ+σ̄)^{k+1} = r_*ω^{k+1} + k·r_*(ω^k∧σ + ω^k∧σ̄) omits the term involving ω^{k-1}∧σ∧σ̄, which is of bidegree (2,2) and contributes a (1,1)-current after push-forward over k-dimensional fibers. This omission affects the identification of the Kähler current and the rationality argument in the reduction to Theorem 1.2. The authors should either justify that the omitted term vanishes or include it in the verification of the hypotheses.
minor comments (4)
- [§3, Step three] The notation “Σ (m_i - 1)[W_i ∩ X]” is ambiguous; it should be “Σ (m_i - 1)[W_i]” (or specify the intersection with the local chart) so that the current's divisor is unambiguous.
- [§5, proof of Theorem 5.1] The phrase “r_*ω^{k+1} is closed, greater than a Kähler metric on Z” should read “greater than a Kähler form” or “a Kähler current,” since a current is not a metric.
- [§4, proof of Theorem 1.3] There is a typo in the final line: “the ananlytic graphe” should be “the analytic graph.”
- [§4, Proposition 4.4] The constants K̃1 and K̃2 appear without definition; their provenance from Proposition 4.2 and Lemma 4.5 should be stated explicitly.
Circularity Check
No significant circularity: the central positivity and algebraicity claims are derived from independent prior theorems, with no step reducing to its own input; one unproved extension in Theorem 5.1(2) is a gap, not circularity.
full rationale
I find no circular step that would make a claimed prediction equivalent to its input. Theorem 3.1's proof applies the Bergman-kernel theorem of Berndtsson-Păun [1] and the technical lemmas of [39] and [30] as external results; their assumptions do not include the conclusion K_{X/Y}+L-D(p) psef, and the gluing step (Lemma 3.3) is argued directly. Theorem 1.3 and Proposition 4.4 construct currents with large Lelong numbers via Demailly mass concentration and Collins-Tosatti extension, and then read off pseudo-effectivity of N*_{C0/S0} from the inequality defining the current; this is the standard equivalence, not a self-definitional reduction. The algebraicity consequences are explicit applications of Theorem 1.3. The one genuinely fragile load-bearing sentence is in the proof of Theorem 5.1(2): 'the (1,1) current r_*omega^{k+1} is closed, greater than a Kähler metric on Z and smooth ... The local L2/k-extension in Step four still works when m0 is large enough. Then the proof of Theorem 1.2 goes through.' This asserts an unproved generalization of Theorem 1.2 to a singular background current; if it failed, the proof of det(H)^* psef would collapse. But that is a correctness/completeness gap, not circularity: the conclusion is not assumed, and the cited Theorem 1.2 remains an independent input. Self-citations such as [1], [6], [15], [39] are load-bearing in places, but they are established theorems with independent proofs and assumptions that do not include the target results, so under the stated rules they do not raise the circularity score.
Assumptions & free parameters
assumptions (9)
- standard math El Mir extension theorem and support theorem for closed positive currents (Demailly, Complex analytic and differential geometry, Ch. III, Thm 2.3 and 2.10; cited in Proposition 2.1)
- standard math Demailly's mass concentration theorem (Demailly, J. Differential Geom. 37 (1993), Cor 6.8; cited in Proposition 4.1)
- standard math Collins-Tosatti extension theorem for Kähler currents with analytic singularities (Collins and Tosatti, Ann. Fac. Sci. Toulouse 23 (2014), Thm 1.1; invoked in proof of Theorem 1.3)
- standard math Berndtsson-Păun theorem on Bergman kernels and pseudo-effectivity of relative canonical bundles (Berndtsson and Păun, Duke Math. J. 145 (2008); quoted as Theorem 3.4)
- standard math Hacon-Păun canonical bundle formula for generalized Kähler pairs (Hacon and Păun, arXiv:2404.12007 [30]; the proof of Theorem 3.1 is said to be contained in the ideas of [30] and [39])
- standard math Nadel vanishing theorem and Shokurov's trick (cited in Lemma 3.3)
- standard math Bruasse's Harder-Narasimhan filtration for coherent torsion-free sheaves on compact complex manifolds with Gauduchon metric (Bruasse, Internat. J. Math. 12 (2001) and Ann. Inst. Fourier 53 (2003); quoted as Theorem 6.5)
- standard math Campana-Peternell additivity of maximal and minimal slopes for reflexive tensor powers (Campana and Peternell, Bull. Soc. Math. France 139 (2011) with appendix by Toma; quoted as Theorem 6.6)
- domain assumption Existence of relative MRC fibration in the Kähler context via compactness of Chow-Barlet spaces (stated in a footnote in Section 5)
Cite this review
Pith. "Pith review of Remarks on Relative Canonical Bundles and Algebraicity Criteria for Foliations in K\"ahler context." pith.science (2026). https://pith.science/paper/XY6IVIKR
@misc{pith2026250202183,
author = {Pith},
title = {Pith review of: Remarks on Relative Canonical Bundles and Algebraicity Criteria for Foliations in K\"ahler context},
year = {2026},
howpublished = {\url{https://pith.science/paper/XY6IVIKR}},
note = {Machine review of arXiv:2502.02183}
}
read the original abstract
In this note, motivated by the recent preprint of W. Ou, we pursue three main objectives. The first is to make progress towards the positivity of the relative canonical bundle in the K\"ahler setting. In the second part, we provide a proof of Ou's algebraicity criterion. Finally, based on the two previous parts, we slightly extend his uniruledness criterion.
Forward citations
Cited by 3 Pith papers
-
The Miyaoka-Yau inequality for singular varieties with big canonical or anticanonical divisors
For projective klt varieties with big canonical or anticanonical divisor, the Miyaoka-Yau Chern class inequality holds when intersections are taken with the non-pluripolar product.
-
Compact K\"ahler manifolds with nef anti-canonical bundle
Every compact Kähler manifold with nef anti-canonical bundle admits a locally trivial fibration over a Calabi-Yau manifold with rationally connected fibers.
-
Semipositivity of the orbifold second Chern class in Fujiki's class
For compact normal analytic varieties in Fujiki's class, Miyaoka's inequality holds when the canonical divisor is nef, and the orbifold second Chern class is semipositive when the anti-canonical divisor is nef, under ...
Reference graph
Works this paper leans on
-
[1]
Berndtsson, Bo and P˘ aun Mihai : Bergman kernels and the pseudoeffectivity of relative canon - ical bundles, Duke Math. J. 145 (2008), no. 2, 343–378
work page 2008
-
[2]
In Foliation theory in algebraic geometry, Simons Symp., pages 21–51
Bogomolov, Fedor and McQuillan, Michael: Rational curves on foliated varieties. In Foliation theory in algebraic geometry, Simons Symp., pages 21–51. Sp ringer, Cham, 2016
work page 2016
-
[3]
Bost, Jean-Beno ˆ ıt: Algebraic leaves of algebraic foliations over number fields . Publ. Math. Inst. Hautes ´Etudes Sci., (93):161–221, 2001
work page 2001
-
[4]
In Geometric aspects of Dwork theory
Bost, Jean-Beno ˆ ıt:Germs of analytic varieties in algebraic varieties: canoni cal metrics and arithmetic algebraization theorems. In Geometric aspects of Dwork theory. Vol. I, II, pages 371– 418. W alter de Gruyter, Berlin, 2004
work page 2004
-
[5]
Boucksom, S´ ebastien Divisorial Zariski decompositions on compact complex mani folds. Ann. Sci. ´Ecole Norm. Sup. (4) 37 (2004), no. 1, 45–76
work page 2004
-
[6]
Boucksom, S´ ebastien; Demailly, Jean-Pierre; P˘ aun, Mihai and Peternell, Thomas The pseudo- effective cone of a compact K¨ ahler manifold and varieties of negative Kodaira dimension J. Algebraic Geom. 22 (2013), 201-248
work page 2013
- [7]
-
[8]
Bruasse, Laurent Filtration de Harder-Narasimhan pour des fibr´ es complexes ou des faisceaux sans torsion. Ann. Inst. Fourier (Grenoble) 53 (2003), no. 2, 541–564
work page 2003
Show all 43 references
-
[9]
Brunella, Marco Feuilletages holomorphes sur les surfaces complexes compa ctes. Ann. Sci. ´Ecole Norm. Sup. (4) 30 (1997), no. 5, 569–594
1997
-
[10]
Internat
Brunella, Marco A positivity property for foliations on compact K¨ ahler man ifolds. Internat. J. Math. 17 (2006), no. 1, 35–43
2006
-
[11]
Campana, Fr´ ed´ eric and P˘ aun, Mihai:Foliations with positive slopes and birational stability of orbifold cotangent bundles Publ. Math. Inst. Hautes ´Etudes Sci., 129:1–49, 2019
2019
-
[12]
Campana, Fr´ ed´ eric:Local projectivity of Lagrangian fibrations on Hyperk¨ ahle r manifolds. Man. Math. 164 (2021), 589-591
2021
-
[13]
Campana, Fr´ ed´ eric:The Bogomolov-Beauville-Yau decomposition theorem for KL T projec- tive varieties with trivial canonical class-without tears . Bull. Soc. Math. France 1489 (2021)
2021
-
[14]
Bull.Soc
Campana, Fr´ ed´ eric and Peternell, Thomas:Geometric stability of the cotangent bundle and the universal cover of projective manifolds. Bull.Soc. Math. France 139 (2011), 41-74. With an Appendix by M. Toma
2011
-
[15]
Convex and complex: perspectives on positivity in geometry , 53–82
Campana, Fr´ ed´ eric; Cao, Junyan and P˘ aun, Mihai Subharmonicity of direct images and applications. Convex and complex: perspectives on positivity in geometry , 53–82. Contemp. Math., 810, American Mathematical Society, Providence, RI , [2025],
2025
-
[16]
Journal f¨ ur die reine und angewandte Mathematik 2014 (724)
Cao, Junyan and H¨ oring, Andreas: A decomposition theorem for projective manifolds with nef anticanonical bundle. Journal f¨ ur die reine und angewandte Mathematik 2014 (724)
2014
-
[17]
Cao, Junyan and P˘ aun, Mihai: Kodaira dimension of algebraic fiber spaces over abelian varieties. Invent. Math., Volume 207, pages 345–387 (2017)
2017
-
[18]
Collins, Tristan C. and Tosatti, Valentino: An extension theorem for K¨ ahler currents with analytic singularities Annales de la Facult´ e des sciences de Toulouse : Math´ emati ques, S´ erie 6, Tome 23 (2014) no. 4, pp. 893-905
2014
-
[19]
Demailly, Jean-Pierre: Complex analytic and differential geometry https://www-fourier.ujf- grenoble.fr/ demailly/documents.html
-
[20]
Differential Geom., 37(2):323–374, 1993
Demailly, Jean-Pierre: A numerical criterion for very ample line bundles J. Differential Geom., 37(2):323–374, 1993
1993
-
[21]
International Press, Somerville, MA; Higher Education Press, Beijing, 2012
Demailly, Jean-Pierre: Analytic methods in algebraic geometry volume 1 of Surveys of Modern Mathematics. International Press, Somerville, MA; Higher Education Press, Beijing, 2012
2012
-
[22]
Demailly, Jean-Pierre and P˘ aun, Mihai: Numerical characterization of the K¨ ahler cone of a compact K¨ ahler manifoldAnnals of Mathematics, 159 (2004), 1247–1274
2004
-
[23]
Druel, St´ ephane: On foliations with nef anti-canonical bundle Trans. Amer. Math. Soc. 369, 11 (2017), 7765-7787
2017
-
[24]
Math., 211(1):245–296, 2018
Druel, St´ ephane: A decomposition theorem for singular spaces with trivial ca nonical class of dimension at most five Invent. Math., 211(1):245–296, 2018
2018
-
[25]
Favre, Charles: Note on pull-back and Lelong number of currents Bulletin de la Soci´ et´ e Math´ ematique de France, Tome 127 (1999) no. 3, pp. 445-458
1999
-
[26]
Fujiki: Deformation of uniruled manifolds
A. Fujiki: Deformation of uniruled manifolds. Publ. RIMS 17 (1981), 687-702. 23
1981
-
[27]
Le th´ eor` eme de l’excentricit´ e nulle,C
Gauduchon, P. Le th´ eor` eme de l’excentricit´ e nulle,C. R. Acad. Sci. Paris S´ eri. A-B 285 (1977), no. 5, A387–A390
1977
-
[28]
Graber, J
T. Graber, J. Harris and J. Starr, Families of rationally connected varieties, J. Amer. Math. Soc. 16 (2003), no. 1, 57–67
2003
-
[29]
Guenancia, Henri: Families of conic K¨ ahler-Einstein metrics. Math. Ann. 376 (2020), no. 1-2, 1–37
2020
-
[30]
: On the canonical bundle formula and adjunction for generali sed K¨ ahler pairs
Hacon, C.D.; Paun, M. : On the canonical bundle formula and adjunction for generali sed K¨ ahler pairs. arXiv:2404.12007
-
[31]
Math., 216(2):395–419, 2019
H¨ oring, Andreas and Peternell, Thomas Algebraic integrability of foliations with numerically trivial canonical bundle Invent. Math., 216(2):395–419, 2019
2019
-
[32]
H¨ ormander, Lars: An Introduction to Complex Analysis in Several Variables North-Holland Mathematical Library, 3rd Revised Edition
-
[33]
Lamari, Ahc` ene: Courants k¨ ahl´ eriens et surfaces compactesAnnales de l’Institut Fourier, Tome 49 (1999) no. 1, pp. 263-285
1999
-
[34]
Levine: Deformations of uni-ruled varieties
M. Levine: Deformations of uni-ruled varieties. Duke Math. J. 48 (1981), 467-473
1981
-
[35]
Li and S.-T
J. Li and S.-T. Yau, Hermitian-Yang-Mills connection on non-K¨ ahler manifolds, Mathemat- ical aspects of string theory (San Diego, Calif., 1986), Adv . Ser. Math. Phys., vol. 1, W orld Sci. Publishing, Singapore, 1987, pp. 560–573
1986
-
[36]
L¨ ubke and A
M. L¨ ubke and A. Teleman, The Kobayashi-Hitchin correspondence, W orld Scientific Pub- lishing Co., Inc., River Edge, NJ, 1995
1995
-
[37]
Ou, W enhao: A characterization of uniruled compact K¨ ahler manifolds arXiv 2501.18088
-
[38]
P˘ aun, Mihai : On the Albanese map of compact K¨ ahler manifolds with numeri cally effective Ricci curvature Communications in Analysis and Geometry, Volume 9, Number 1 , 35-60, 2001
2001
-
[39]
P˘ aun, Mihai: Relative critical exponents, non-vanishing and metrics wi th minimal singular- ities. Invent. Math. 187 (2012), no. 1, 195–258
2012
-
[40]
Algebraic Geom
P˘ aun, Mihai and Takayama, Shigeharu: Positivity of twisted relative pluricanonical bundles and their direct images, J. Algebraic Geom. 27 (2018), no. 2, 211–272
2018
-
[41]
Shokurov, Vyacheslav: A non-vanishing theorem. Izv. Akad. Nauk SSSR 49 (1985)
1985
-
[42]
Math., 134 (1998), 661–673
Siu, Yum-Tong.: Invariance of Plurigenera, Invent. Math., 134 (1998), 661–673
1998
-
[43]
Toma, Matei : Properness criteria for families of coherent analytic shea ves, arXiv, 1710.01484. Universit´e C ˆote d’Azur, CNRS, LJAD, France Email address : junyan.cao@univ-cotedazur.fr Universit¨at Bayreuth, Lehrstuhl Mathematik VIII, Germany Email address : mihai.paun@uni-...
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.