Pith. sign in

REVIEW 3 major objections 4 minor 12 references

Variation of singular K\"ahler-Einstein metrics: Kodaira dimension zero

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

Pith's one-line read This paper proves that flatness of the Narasimhan-Simha metric on the direct image of the relative log pluricanonical bundle forces a Kähler fibration of log Calabi-Yau manifolds to be locally trivial, while also giving a regularity…

desk verdict Solid, original paper; Theorem 1.2's local triviality is conditional on quoted estimates that a referee should verify, but the K3 counterexample is convincing. read the letter →

arxiv 1908.08087 v2 pith:3I7FAAIK submitted 2019-08-19 math.DG math.AGmath.CV

classification math.DGmath.AGmath.CV MSC 14J1014J3232Q20
keywords KählerfiberspacelogCalabi-YaumanifoldsconicmetricsrelativeRicci-flatNarasimhan-SimhametriclocaltrivialityKodairadimensionzerosingularMonge-Ampèreequations
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

This paper studies how the metric geometry of the fibers of a holomorphic family of log Calabi-Yau manifolds controls the global structure of the family. Its main theorem says that if the direct image $p_*(m(K_{X/Y}+B))$ is Hermitian flat with respect to the Narasimhan-Simha metric on the regular part of the base, then the fibration is locally trivial: every point of the smooth locus has a neighborhood over which the family is a product of a fiber with the base. The proof shows that the relative Ricci-flat conic Kähler current is semipositive and extends as a positive current, and that it admits holomorphic horizontal vector fields whose flow identifies nearby fibers while preserving the boundary divisor. A further theorem proves Lipschitz regularity of relative Kähler-Einstein potentials when the fibers have Kodaira dimension zero, and a final example shows that the relative Ricci-flat metric need not be semipositive on a Calabi-Yau family.

What carries the argument

The main objects are the Narasimhan-Simha metric on $F_m=p_*(m(K_{X/Y}+B))$, defined by fiber integrals $\|\sigma\|^2=V^{m-1}\int_{X_y}|\sigma|^2|\Omega|^{-2(m-1)/m}e^{-\varphi_B}$, and the horizontal lift $v_\rho$ of a base vector field with respect to the relative Kähler metric. The proof approximates the singular conic Ricci-flat metric by smooth metrics $\tau_\delta$, whose geodesic curvature $c(\tau_\delta)$ satisfies $-\Delta_{\tau_\delta}c(\tau_\delta)=|\bar\partial v_\delta|^2-\Theta(K_{X/\Delta})(v_\delta,\bar v_\delta)$. Uniform estimates imported from earlier work control $v_\delta$ and its $\bar\partial$, so as $\delta\to 0$ the limiting vector field $v_\rho$ is holomorphic; the identity $L_{v_\rho}\rho=0$ then shows its flow preserves $\rho$ and $B$, giving the local product decomposition. For the Kodaira dimension zero case, the key technical device is a weak Sobolev and Poincaré inequality adapted to volume forms with zeros, which controls base-direction derivatives of the relative potentials.

What would settle it

Exhibit a proper Kähler fibration of log Calabi-Yau fibers satisfying the flatness hypothesis on $p_*(m(K_{X/Y}+B))$ whose fibers are not locally isomorphic; Theorem 1.2 predicts such an example does not exist, so even one would refute the main theorem.

Watch

Extended reading notes

Core claim

The central discovery is rigidity from flatness. For a proper holomorphic map $p:(X,B)\to Y$ between Kähler manifolds whose fibers $(X_y,B_y)$ are klt pairs (mildly singular log pairs) with $c_1(K_{X_y}+B_y)=0$, the vanishing of the curvature of $F_m=p_*(m(K_{X/Y}+B))$ with respect to the Narasimhan-Simha metric forces $p$ to be locally trivial over the regular locus, and under mild extra assumptions over all of $Y$. The mechanism is that the relative Ricci-flat conic Kähler metric admits horizontal lifts of base vector fields that are holomorphic and preserve the boundary, so their flows give explicit isomorphisms between nearby fibers. In the Kodaira dimension zero case, where basepoints may appear, the paper constructs a relative Kähler-Einstein current whose fiberwise Ricci curvature is prescribed by the divisors $-[E_y]+[B_y]$, with Lipschitz potentials away from the support. The paper also constructs a one-dimensional family of elliptic curves whose relative Ricci-flat metric is not semipositive, disproving a folklore conjecture.

Load-bearing premise

The proof of local triviality rests on uniform estimates, quoted from two earlier papers, for the approximated horizontal vector fields as the smoothing parameter tends to zero; if those bounds were not uniform, the limiting vector field could fail to be holomorphic and the flow trivialisation would not follow.

Editorial extensions

If this is right

  • If the Narasimhan-Simha curvature vanishes, the family $(X,B)$ is locally trivial over the regular locus $Y^\circ$; in particular all nearby fibers are isomorphic as log pairs.
  • Generic injectivity of the logarithmic Kodaira-Spencer map forces $F_m=p_*(m(K_{X/Y}+B))^{**}$ to be big, giving a logarithmic analogue of Viehweg's $Q_{n,m}$ conjecture.
  • For compact Kähler $X$, if $-(K_X+B)$ is nef then $-K_Y$ is pseudo-effective; if additionally $c_1(K_X+B)=0$ and $c_1(Y)=0$, then $p$ is locally trivial, including the Albanese map.
  • When $\kappa(K_{X_y}+B_y)=0$, the relative Kähler-Einstein current exists with $\operatorname{Ric}\theta_y=-[E_y]+[B_y]$ and its potentials are Lipschitz away from $\operatorname{Supp}(B+E)$.
  • The relative Ricci-flat metric on a Calabi-Yau fibration need not be semipositive: a non-isotrivial elliptic K3 fibration provides an explicit counterexample.

Reading between the lines

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

  • Editorial extension: the same horizontal-lift mechanism suggests that the kernel of the Narasimhan-Simha curvature foliates the base by locally trivial subfamilies; a curvature decay estimate could replace exact flatness and give a graded rigidity statement.
  • Editorial extension: Theorem C's Lipschitz regularity is likely a step toward a degeneration theory for relative Kähler-Einstein metrics with basepoints, and could be used to study the behavior of the metric at the base locus $E$.
  • Editorial extension: the K3 counterexample indicates semipositivity of relative Ricci-flat metrics fails precisely when the fibration has variation; testing other non-isotrivial elliptic K3s with two transverse fibrations would show whether this is a general phenomenon.
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 paper studies the variation of relative Ricci-flat Kähler metrics for families of log Calabi-Yau pairs. In Section 1, assuming c1(K_{X_y}+B_y)=0 and Hermitian flatness of the Narasimhan-Simha metric on p_*(m(K_{X/Y}+B)), Theorem 1.2 proves local triviality of the fibration over the regular locus, while Theorem 1.1 establishes positivity and canonical extension of the relative Ricci-flat current. Corollary 1.3 (a Kähler version of an Ambro-type statement) and Corollary B (bigness of the direct image under injective Kodaira-Spencer maps) are derived. In Section 2, for fibers with Kodaira dimension zero, Theorem C gives transverse regularity and Lipschitz variation of the relative Kähler-Einstein potentials away from Supp(B+E), based on new weak Sobolev and Poincaré inequalities. Section 3 and the appendix by Tosatti disprove a folklore conjecture by constructing an elliptic fibration of a K3 surface whose relative Ricci-flat metric is not semipositive (Theorem D). The counterexample part is self-contained and uses an explicit K3 surface with two elliptic fibrations.

Significance. If the proofs are completed, Theorem 1.2 is a substantial local triviality criterion for families of log Calabi-Yau pairs, giving a differential-geometric route to results in the direction of Viehweg's C_{n,m} conjecture. Theorem D settles a folklore conjecture negatively with an explicit, verifiable example, and the appendix by Tosatti is a clean and independent construction. The paper is commendably explicit about its limitations: it acknowledges the weak form of the Sobolev and Poincaré inequalities in Section 2 and it openly states that the crucial δ-uniform estimates (1.32)-(1.34) are quoted from [GP16] and [Gue20] rather than proved. The overall logical structure is clear and no circularity is evident. However, the central theorem currently rests on an unverified analytic transfer, so the significance is conditional on closing that gap.

major comments (3)
  1. [Section 1.4.2, equations (1.32)-(1.34)] The proof of Theorem 1.2 depends in an essential way on the three δ-uniform estimates (1.32)-(1.34), which are quoted from [Gue20] and [GP16] with the explicit statement 'we will not reproduce here the arguments for (1.32)–(1.34)'. As the stress-test note correctly observes, the transfer is not automatic: [Gue20] proves estimates for the twisted conic Kähler-Einstein metrics ρ_ε satisfying (0.2), whereas τ_δ is defined by the regularized Monge-Ampère equation (1.22). These are different equations, with different normalizations, and the sentence 'The estimates [Gue20, (3.13), Prop. 4.1&4.2] go through for u_δ' needs justification. Without uniformity in δ, the limit w extracted in Proposition 1.8 could have non-zero ∂̄ w, and the flow argument identifying nearby fibers in Corollary 1.13 and the end of Theorem 1.2 would collapse. Please either provide a proof of (1.32)-(1.34) for u_δ, or give a precise statement in [Gue20] or [GP16] that literally applies to this family, and explain how each estimate is used in the limiting argument.
  2. [Section 1.4.2, display (1.32)] As printed, (1.32) asserts sup_{t∈Δ} ||∂_t u_δ||_{C^k(Ω∩X_t)} ≤ C_k for any coordinate set Ω, with no restriction on Ω. If Ω meets Supp(B), this cannot hold uniformly in δ for general k: conic potentials have derivatives that blow up near B as δ→0, unless the norm is measured with weights or the set Ω is taken away from Supp(B). The later application in the proof of Proposition 1.8 only needs C^k bounds on compact subsets of X_t \ Supp(B), so the intended statement is recoverable, but the displayed inequality as written is misleading and should be reformulated with the correct quantification over Ω (or with a conic norm) and reconciled with the cited estimates from [Gue20].
  3. [Proposition 1.12 (page 16)] The uniform bound |∫_{X_t} c(τ_δ) τ_δ^n| ≤ C is stated as 'a by-product of the considerations in the article [Gue20, (5.3) & Prop. 5.4]' and only sketched via equation (1.49), where the identification of V_δ(V_δ(u_δ)) with c(τ_δ) is described as 'the same' up to controlled terms. This bound is load-bearing: Corollary 1.13 uses it, together with Proposition 1.11, to obtain local uniform boundedness of c(τ_δ), then C^k bounds in the fiber directions, and finally C^{1,α} convergence of u_δ. Since Proposition 1.12 is not proved in the text and the cited statement in [Gue20] concerns a different family, the proof of Corollary 1.13 currently has a gap. Please supply a complete proof or a precise citation that applies directly to τ_δ.
minor comments (4)
  1. [Abstract and Introduction] The word 'folkore' appears twice in the abstract and introduction; it should be 'folklore'.
  2. [Section 1.4] Equation numbering in Section 1.4.2 is confusingly duplicated: (1.31)-(1.34) are first used for the quasi-isometry estimate (a) and the [Gue20] estimates (b), and then reused inside the proof of Proposition 1.8 for the geodesic curvature equation, its curvature term, the integrated inequality, and the limit (1.34). This makes cross-referencing the argument unnecessarily hard; please renumber or use distinct labels.
  3. [Page 5, line after (1.1)] The notation 'X_y := p^{-1}(X_y)' should presumably read 'X_y := p^{-1}(y)'.
  4. [Theorem 1.1 and Theorem A] The phrase 'extends canonically' is explained only after the statement of Theorem 1.1 as local potentials locally bounded above on X \ X^\circ. It would help to include this clarification directly in Theorem 1.1 or in the definition of ρ, since the introduction's version 'extends canonically to a closed positive current' is stronger-sounding than what is proved.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main derivation is conditional on independent published estimates from [GP16] and [Gue20], but no prediction reduces by construction to its inputs.

full rationale

The paper's central claims (Theorem 1.1, Theorem 1.2, Theorem C, Theorem D) are not derived from themselves. Theorem 1.1 is proved by combining Lemma 1.4, proven in the paper, with the main result of [Gue20] on psh variation of twisted conic Kähler-Einstein metrics; that cited theorem is an independent, published statement, not a reformulation of the target. Theorem 1.2's proof does rely on the uniform estimates (1.31)-(1.34) quoted from [GP16] and [Gue20], and the paper explicitly says 'we will not reproduce here the arguments for (1.32)–(1.34)'. This is a genuine omitted proof and a load-bearing analytic premise, but it is not circular: the cited papers establish estimates for conic and twisted conic Kähler-Einstein metrics, and the target result (local triviality from flatness of the direct image) is not an input of those citations. The assertion that those estimates 'go through' for the delta-regularized family u_delta is an unproved analytic transfer, so a correctness gap rather than a self-definitional reduction. Proposition 1.12 likewise invokes [Gue20, Prop 5.4] for a uniform bound, again an external estimate. The counterexample in Theorem D is constructed from an independent K3-surface example in the appendix, with standard uniform Sobolev/diameter bounds from [Tos10]; no fitted parameter is renamed as a prediction. No uniqueness theorem is imported from the authors' prior work, and no known empirical pattern is repackaged under new coordinates. The flatness assumption on the Narasimhan-Simha metric is a genuine hypothesis, not an output of the construction. Accordingly, the paper receives a circularity score of 0.

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

The paper introduces no free parameters or invented entities. Its conclusions are derived from standard background theorems plus the authors' own published estimates. The most significant borrowed input is the uniform conic estimate package from [Gue20] and [GP16], which is load-bearing for Theorem 1.2.

assumptions (5)
  • standard math Yau's theorem: for each smooth fiber X_y, there is a unique conic Kähler-Einstein metric rho_y in {omega_y} solving Ric rho_y = [B_y] (equation (1.1) and following).
    Used to define the relative Ricci-flat conic metric throughout Section 1.
  • standard math The Narasimhan-Simha metric on F_m = p_*(m(K_{X/Y}+B)) is semipositive and extends across the singular locus of p (equations (1.6)-(1.7), citing [BP08, PT18]).
    The flatness assumption in Theorem A is expressed in terms of this metric; its existence is a background fact.
  • domain assumption Log abundance in the Kähler setting: if c1(K_X+B)=0 for a klt pair with snc B, then K_X+B is Q-effective (Corollary 1.18, proved using [Bud09] and [Wan16]).
    Needed to ensure existence of sections Omega of m(K_{X_y}+B_y) that define the volume forms.
  • domain assumption Uniform conic estimates for families of approximating metrics: equations (1.31)-(1.34) from [GP16] and [Gue20] hold uniformly in delta and t.
    These estimates are load-bearing for the holomorphicity of the limiting horizontal vector field in Theorem 1.2; they are quoted, not proved.
  • standard math The Shioda-Tate formula and the structure theorem for elliptic K3 surfaces [Huy16] imply the K3 example in the Appendix has only reduced irreducible singular fibers and a transverse elliptic fibration.
    This underlies Theorem D's counterexample.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Variation of singular K\"ahler-Einstein metrics: Kodaira dimension zero." pith.science (2026). https://pith.science/paper/3I7FAAIK

@misc{pith2026190808087,
  author       = {Pith},
  title        = {Pith review of: Variation of singular K\"ahler-Einstein metrics: Kodaira dimension zero},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3I7FAAIK}},
  note         = {Machine review of arXiv:1908.08087}
}
abstract

We study several questions involving relative Ricci-flat K\"ahler metrics for families of log Calabi-Yau manifolds. Our main result states that if $p:(X,B)\to Y$ is a K\"ahler fiber space such that $\displaystyle (X_y, B|_{X_y})$ is generically klt, $K_{X/Y}+B$ is relatively trivial and $p_*(m(K_{X/Y}+B))$ is Hermitian flat for some suitable integer $m$, then $p$ is locally trivial. Motivated by questions in birational geometry, we investigate the regularity of the relative singular Ricci-flat K\"ahler metric corresponding to a family $p:(X,B)\to Y$ of klt pairs $(X_y,B_y)$ such that $\kappa(K_{X_y}+B_y)=0$. Finally, we disprove a folkore conjecture by exhibiting a one-dimensional family of elliptic curves whose relative (Ricci-) flat metric is not semipositive.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 11 canonical work pages

  1. [1]

    Positivity of direct images of fiberwise Ricci-flat metrics on Calabi-Yau fibrations

    [Amb05] F. A MBRO – “The moduli b-divisor of an lc-trivial fibration”, Compos. Math. 141 (2005), no. 2, p. 385–403. [BCS15] M. B RAUN , Y.-J. C HOI & G. S CHUMACHER – “Positivity of direct images of fiberwise Ricci- flat metrics on Calabi-Y au fibrations”, Preprint arXiv:1508.00323,

  2. [5]

    Hyperbolicity of bases of log Calabi-Yau families

    [CKP12] F. C AMPANA , V. K OZIARZ & M. P ˘AUN – “Numerical character of the effectivity of adjoint line bundles”, Ann. Inst. Fourier (Grenoble) 62 (2012), no. 1, p. 107–119. [CL81] S. Y. C HENG & P. L I – “Heat kernel estimates and lower bound of eigenvalues”, Comment. Math. Helv. 56 (1981), no. 3, p. 327–338. [CLP16] X. C HEN , L. L I & M. P ˘AUN – “Appr...

  3. [12]

    Harmonic functions on complete Riemannian manifolds

    [Y au75] S.-T. Y AU – “Harmonic functions on complete Riemannian manifolds.”, Commun. Pure Appl. Math. 28 (1975), p. 201–228. [Y au78] , “On the Ricci curvature of a compact Kähler manifold and the complex Monge- Ampère equation. I.”, Commun. Pure Appl. Math. 31 (1978), p. 339–411. [Y os97] K.- I. Y OSHIKAWA – “Degeneration of algebraic manifolds and the ...

  4. [1063]

    Bergman kernels and the pseudoeffectivity of relative ca non- ical bundles

    [BP08] B. B ERNDTSSON & M. P ˘AUN – “Bergman kernels and the pseudoeffectivity of relative ca non- ical bundles.”, Duke Math. J. 145 (2008), no. 2, p. 341–378 (English). [BPW17] B. B ERNDTSSON , M. P AUN & X. W ANG – “Algebraic fiber spaces and curvature of higher direct images”, Preprint arXiv:1704.02279,

  5. [1214]

    Conic singularities metrics with prescribed Ricci curva ture: the case of general cone angles along normal crossing diviso rs

    [GP16] H. G UENANCIA & M. P ˘AUN – “Conic singularities metrics with prescribed Ricci curva ture: the case of general cone angles along normal crossing diviso rs”, J. Differential Geom. 103 (2016), no. 1, p. 15–57. [Gue20] H. G UENANCIA – “Families of conic Kähler-Einstein metrics”, Math. Annalen 376 (2020), no. 1, p. 1–37. [HKM06] J. H EINONEN , T. K ILP...

  6. [1982]

    On the Iitaka Conjecture $C_{n,m}$ for K\"ahler Fibre Spaces

    , Progr. Math., vol. 39, Birkhäuser Boston, Boston, MA, 1983, p. 567–589. [W an16] B. W ANG – “T orsion points on the cohomology jump loci of compact Kähl er manifolds”, Math. Res. Lett. 23 (2016), no. 2, p. 545–563. [W an19] J. W ANG – “On the Iitaka conjecture Cn,m for Kähler fibre spaces”, Preprint arXiv:1907.06705,

  7. [1987]

    Singularities of Narasimhan-Simha type metrics on direc t images of rela- tive pluricanonical bundles

    [T ak16] S. T AKAYAMA – “Singularities of Narasimhan-Simha type metrics on direc t images of rela- tive pluricanonical bundles”, Ann. Inst. Fourier (Grenoble) 66 (2016), no. 2, p. 753–783. [T os10] V. T OSATTI – “Adiabatic limits of Ricci-flat Kähler metrics”, J. Differential Geom. 84 (2010), no. 2, p. 427–453. [Tsu11] H. T SUJI – “Canonical singular Hermi...

  8. [2002]

    Positivity of relative canonical bundles and applicatio ns

    [Sch12] G. S CHUMACHER – “Positivity of relative canonical bundles and applicatio ns”, Invent. Math. 190 (2012), no. 1, p. 1–56. [Siu86] Y. T. S IU – “Curvature of the Weil-Petersson metric in the moduli spac e of compact Kähler- Einstein manifolds of negative first Chern class”, in Contributions to several complex variables , Aspects Math., E9, Vieweg, Br...

Show all 12 references
  1. [2015]

    Kähler forms for families of Calabi-Yau man- ifolds

    [BCS20] M. B RAUN , Y.-J. C HOI & G. S CHUMACHER – “Kähler forms for families of Calabi-Yau man- ifolds”, Publ. Res. Inst. Math. Sci. 56 (2020), no. 1, p. 1–13. [BEGZ10] S. B OUCKSOM , P. E YSSIDIEUX , V. G UEDJ & A. Z ERIAHI – “Monge-Ampère equations in big cohomology classes...

  2. [2016]

    Minimal models and the Kodaira dimension of algebraic fibe r spaces

    [Kaw85] Y. K AWAMATA – “Minimal models and the Kodaira dimension of algebraic fibe r spaces”, J. Reine Angew. Math. 363 (1985), p. 1–46. [KM98] J. K OLLÁR & S. M ORI – Birational geometry of algebraic varieties , Cambridge Tracts in Mathe- matics, vol. 134, Cambridge University...

  3. [2017]

    Unitary local systems, multiplier ideals, and polynomia l periodicity of Hodge numbers

    [Bra15] M. B RAUN – Positivität relativer kanonischer Bündel und Krümmung höh erer direkter Bildgarben auf Familien von Calabi-Y au-Mannigfaltigkeiten, 2015, Thesis (Ph.D.)–Universität Marburg. [Bud09] N. B UDUR – “Unitary local systems, multiplier ideals, and polynomia l peri...

  4. [2019]

    Convergence of weak Kähler-Ricci flows on min- imal models of positive Kodaira dimension

    [EGZ18] P. E YSSIDIEUX , V. G UEDJ & A. Z ERIAHI – “Convergence of weak Kähler-Ricci flows on min- imal models of positive Kodaira dimension”, Comm. Math. Phys. 357 (2018), no. 3, p. 1179–

Pith tools

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