Mumford-goodness conjecture for higher direct-image metrics

Less than 1 year old · traced to

Let μ:Y→X\mu:Y\to X be the birational modification in a semistable reduction, let f:Y→Tf:Y\to T be the induced family, let F∗ξF^{*}\xi be the pulled-back coefficient bundle, and let hL2h_{L^{2}} be the L2L^{2}-metric on the higher direct image Rqf∗KY/T(F∗ξ)R^{q}f_{*}K_{Y/T}(F^{*}\xi). A Hermitian metric is good in the sense of Mumford if it has Mumford’s prescribed growth behavior near the boundary. Mumford-goodness conjecture. For any q>0q>0, the Hermitian metric μ∗hL2\mu^{*}h_{L^{2}} on Rqf∗KY/T(F∗ξ)R^{q}f_{*}K_{Y/T}(F^{*}\xi) should be good in the sense of Mumford. The proposition immediately preceding this statement proves goodness for the determinant metric and, under reducedness and canonical-singularity hypotheses, for the original family; the conjecture asks for the corresponding assertion for every higher direct image after pullback.

References

Primary source

Ken-Ichi Yoshikawa, “On the behavior of analytic torsion for twisted canonical bundles under degenerations”, arXiv:2602.14797 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.