Lu and Sun proved that the Weil–Petersson volume of the moduli space of polarized Calabi–Yau manifolds is rational, and that all integrals of powers of the Ricci form against powers of the Weil–Petersson form are rational over arbitrary subvarieties; they closed their paper by conjecturing the same for all Chern forms: for every Weil–Petersson subvariety XX of dimension qq and all k+l=qk+l=q, the integral ∫Xck(ωWP)∧ωWPl\int_X c_k(\omega_{WP})\wedge\omega_{WP}^{l} is a rational number. Douglas and Lu's Gauss–Bonnet–Chern theorem for Chern–Weil forms on moduli spaces later settled the case X=MX=M of the full Calabi–Yau moduli in a stronger form (all rational invariant polynomials of the Weil–Petersson curvature, mixed with powers of the metric). The open core is: rationality of the intrinsic Chern numbers of the restricted Weil–Petersson metric for k≥2k\ge 2 on proper Weil–Petersson subvarieties, such as Hodge loci, together with the case X=MX=M for Weil–Petersson varieties other than the full Calabi–Yau moduli. The problem is to prove or refute the conjecture in this remaining generality.

Background

A polarized Calabi–Yau nn-fold is a compact Kähler manifold with trivial canonical bundle together with an ample line bundle polarizing the Kähler class. Deformations of such manifolds are unobstructed, so complex structures vary in smooth families, and the moduli space MM of polarized deformation classes is a quasi-projective complex orbifold (locally the quotient of a smooth space by a finite group); it is typically noncompact. Infinitesimal deformations are governed by the Kodaira–Spencer map, which identifies the tangent space of MM at a point with H1(Z,TZ)H^1(Z,T_Z), the first cohomology of the holomorphic tangent bundle of the fiber ZZ. The Weil–Petersson metric ωWP\omega_{WP} on MM is the L2L^2 inner product on these deformation classes induced by the Ricci-flat Kähler metric representing the polarization; it is Kähler but generally incomplete, with unbounded curvature near the boundary.

For Calabi–Yau manifolds this metric is governed by Hodge theory. The middle cohomology of the fibers carries a polarized Hodge decomposition varying holomorphically over MM (a variation of Hodge structure), encoded in a holomorphic period map from the universal cover of MM into a classifying domain DD of polarized Hodge structures; the map is horizontal, meaning the Hodge filtration can move only one step at a time (transversality). The Hodge bundles FpF^p are the holomorphic bundles whose fibers are the pieces of the Hodge filtration, pulled back along the period map. A theorem of Tian identifies the Weil–Petersson form with the first Chern form of the top Hodge line bundle FnF^n (fiber Hn,0(Z)H^{n,0}(Z), spanned by the holomorphic volume form Ω\Omega):

ωWP=−−12π ∂∂ˉlog⁡(Ω,Ω).\omega_{WP}=-\frac{\sqrt{-1}}{2\pi}\,\partial\bar{\partial}\log(\Omega,\Omega).

Lu and Sun axiomatized this into the notion of a Weil–Petersson variety: a Kähler orbifold whose universal cover immerses horizontally into a classifying space with the tangent bundle identified with the quotient Fn−1/FnF^{n-1}/F^n of consecutive Hodge bundles, whose Kähler form is the curvature of FnF^n, and whose Hodge bundles satisfy nilpotent-orbit type extension properties near the boundary (the local normal form of a degenerating variation of Hodge structure). Moduli spaces of polarized Calabi–Yau manifolds are the basic examples. A Weil–Petersson subvariety is a subvariety X⊂MX\subset M that is itself a Weil–Petersson variety for the restricted structures; in Calabi–Yau moduli the natural examples are the Hodge loci, also called Noether–Lefschetz loci, where the varying Hodge structure acquires extra Hodge classes.

For a Hermitian holomorphic vector bundle with curvature endomorphism RR, the Chern–Weil construction produces the Chern forms: ckc_k is, up to the conventional factor, the kk-th elementary symmetric polynomial of the eigenvalues of RR; the notation ck(ωWP)c_k(\omega_{WP}) applies this to the tangent bundle with the Weil–Petersson metric, and c1(ωWP)c_1(\omega_{WP}) is the Ricci form of the metric. On a compact complex manifold, the Gauss–Bonnet–Chern theorem identifies integrals of products of Chern forms with intersection numbers of Chern classes, hence integers. On a noncompact moduli space this conclusion fails in general: one needs growth control of the Chern–Weil forms near the boundary. Mumford's notion of a good metric on a bundle over a quasi-projective variety — at worst logarithmic growth of the metric and Poincaré-type growth of the connection and curvature along a normal-crossing boundary divisor — guarantees that Chern numbers still compute intersection numbers on a compactification; but the Weil–Petersson Chern–Weil forms are known not to be good, even at the level of the first Chern form, so this route is unavailable.

Prior results delimit the question. Lu and Sun proved that the Weil–Petersson volume is rational (independently proved by Todorov) and, more generally, that for every subvariety X⊂MX\subset M of dimension qq and all k+l=qk+l=q the integrals ∫X(Ric(ωWP))k∧ωWPl\int_X(\mathrm{Ric}(\omega_{WP}))^{k}\wedge\omega_{WP}^{l} are rational, identifying them in favorable cases with intersection numbers involving the extension of XX's own anti-canonical bundle, the Hodge line bundle, and rational boundary contributions. Douglas and Lu then proved a Gauss–Bonnet–Chern theorem for the Chern–Weil forms of Hodge bundles over quasi-projective subvarieties of any polarized Kähler moduli, and deduced that over the full Calabi–Yau moduli the integrals of arbitrary invariant polynomials with rational coefficients in the Weil–Petersson curvature, mixed with rational multiples of the metric form, are rational. The volume, Ricci-power, and full-moduli cases of the rationality question are therefore theorems. What remains unresolved is the same question for the higher Chern forms ck(ωWP)c_k(\omega_{WP}), k≥2k\ge 2, on proper Weil–Petersson subvarieties, together with the case X=MX=M for Weil–Petersson varieties other than the full Calabi–Yau moduli, which is precisely the conjecture stated at the end of Lu and Sun's paper.

Problem Statement

Let MM be a Weil–Petersson variety in the sense of Lu–Sun — the basic example being the moduli space of polarized Calabi–Yau nn-folds with its Weil–Petersson metric ωWP\omega_{WP} — and let X⊂MX\subset M be a Weil–Petersson subvariety of complex dimension qq: a subvariety whose smooth part, carrying the Weil–Petersson metric obtained by restriction (equivalently, defined through the restricted period map), is itself a Weil–Petersson variety; the basic examples in Calabi–Yau moduli are the Hodge (Noether–Lefschetz) loci. For nonnegative integers k,lk,l with k+l=qk+l=q, let ck(ωWP)c_k(\omega_{WP}) denote the kk-th Chern form of the tangent bundle of the smooth part of XX equipped with this restricted Weil–Petersson metric (c1c_1 being the Ricci form). The problem is the conjecture posed at the end of Lu–Sun's paper:

∫Xck(ωWP)∧ωWPl∈Q\int_X c_k(\omega_{WP})\wedge\omega_{WP}^{l}\in\mathbb{Q}

for every Weil–Petersson subvariety XX and all k+l=dim⁡Xk+l=\dim X. Determine whether this statement is true: prove it in the remaining cases, or refute it by exhibiting a Weil–Petersson subvariety XX and a k≥2k\ge 2 for which the integral is irrational or diverges. The integrand is intrinsic to XX — the curvature of the restricted metric on XX, not the restriction of ambient curvature forms — which is the reading forced by Lu–Sun's own Theorem 1.2 and Corollary 1.1 for the analogous Ricci-power integrals. Cases already settled: k=0k=0 (volume) and the replacement of ckc_k by powers of the Ricci form are theorems for all subvarieties (Lu–Sun 2006), and the case X=MX=M of the full Calabi–Yau moduli is a theorem for all kk in a stronger form (Douglas–Lu 2013). The open content is proper subvarieties X⊊MX\subsetneq M with k≥2k\ge 2, together with the cases X=MX=M for Weil–Petersson varieties MM that are not the full Calabi–Yau moduli.

References

  1. Zhiqin Lu and Xiaofeng Sun, “On the Weil-Petersson volume and the first Chern class of the moduli space of Calabi-Yau manifolds”, Communications in Mathematical Physics 261 (2006), no. 2, 297–322. DOI: 10.1007/s00220-005-1441-3; arXiv:math/0510021. https://arxiv.org/abs/math/0510021
  2. Zhiqin Lu and Michael R. Douglas, “Gauss–Bonnet–Chern theorem on moduli space”, Mathematische Annalen 357 (2013), no. 2, 469–511. DOI: 10.1007/s00208-013-0907-4; arXiv:0902.3839. https://arxiv.org/abs/0902.3839
  3. Zhiqin Lu and Eisuke Natsukawa, “On the Weil-Petersson Geometry of Calabi-Yau Moduli”, preprint (2005). arXiv:math/0509172. https://arxiv.org/abs/math/0509172
  4. Michael Douglas and Zhiqin Lu, “On the Geometry of Moduli Space of Polarized Calabi-Yau manifolds”, in: Analytic Geometry of the Bergman Kernel and Related Topics, RIMS Kōkyūroku 1487, Research Institute for Mathematical Sciences, Kyoto, 2006, pp. 55–68. arXiv:math/0603414. https://arxiv.org/abs/math/0603414
  5. Hao Fang, Zhiqin Lu, and Ken-Ichi Yoshikawa, “Analytic torsion for Calabi-Yau threefolds”, Journal of Differential Geometry 80 (2008), no. 2, 175–259. DOI: 10.4310/jdg/1221066631; arXiv:math/0601411. https://arxiv.org/abs/math/0601411
  6. Andrey Todorov, “Weil-Petersson volumes of the moduli spaces of CY manifolds”, Communications in Analysis and Geometry 15 (2007), no. 2, 381–405. DOI: 10.4310/CAG.2007.v15.n2.a8; arXiv:hep-th/0408033. https://arxiv.org/abs/hep-th/0408033
  7. Kefeng Liu and Changyong Yin, “Remarks on the Chern classes of Calabi-Yau moduli”, preprint (2014). arXiv:1412.7221. https://arxiv.org/abs/1412.7221
  8. Thibault Langlais, “Geometry and periods of G2G_2-moduli spaces”, preprint (2024). arXiv:2410.09987. https://arxiv.org/abs/2410.09987
  9. D. Mumford, “Hirzebruch's proportionality theorem in the non-compact case”, Inventiones Mathematicae 42 (1977), 239–272. DOI: 10.1007/BF01389790. https://doi.org/10.1007/BF01389790
  10. Gang Tian, “Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson–Weil metric”, in: Mathematical Aspects of String Theory (San Diego, Calif., 1986), Advanced Series in Mathematical Physics 1, World Scientific, Singapore, 1987, pp. 629–646. DOI: 10.1142/9789812798411_0029; zbMATH: 4140741 (Zbl 0696.53040). https://doi.org/10.1142/9789812798411_0029
  11. M. Bershadsky, S. Cecotti, H. Ooguri, and C. Vafa, “Kodaira-Spencer theory of gravity and exact results for quantum string amplitudes”, Communications in Mathematical Physics 165 (1994), 311–427. DOI: 10.1007/BF02099774; arXiv:hep-th/9309140. https://arxiv.org/abs/hep-th/9309140