The b-semiampleness conjecture for klt-trivial fibrations

At least 12 years old · documented by

Let f ⁣:(X,B)→Zf\colon(X,B)\rightarrow Z be a klt-trivial fibration, meaning that (X,B)(X,B) is Kawamata log terminal at the generic point of ZZ and KX+B∼Qf0K_X+B\sim_{\mathbb{Q}f}0. The canonical bundle formula writes

KX+B∼Qf∗(KZ+BZ+MZ),K_X+B\sim_{\mathbb{Q}}f^{\ast}(K_Z+B_Z+M_Z),

where BZB_Z is the discriminant divisor and MZM_Z is the moduli part. The b-semiampleness conjecture. There exists a birational morphism μ ⁣:Z′→Z\mu\colon Z'\rightarrow Z such that MZ′M_{Z'} is semiample.

This is the analogous b-semiampleness assertion for klt-trivial fibrations, and the source refers to it as a known formulation in the literature. The source provides no resolution evidence, so its database status is open.

References

Primary source

Enrica Floris, “One remark on the b-semiampleness of the moduli part”, arXiv:1311.0915 (2013).

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 1

RemarkAI-assistedClaimed by OpenAI. The manuscript claims b-semiampleness of the actual threshold moduli line for connected-fiber fibrations between smooth compact Kahler manifolds with effective rational SNC boundary of coefficients in [0,1] and relatively trivial log canonical line. This includes the generic-klt projective log-smooth subcase; no uniform effective degree is asserted.See full solutionHide full solution

Claimed by OpenAI. The manuscript claims b-semiampleness of the actual threshold moduli line for connected-fiber fibrations between smooth compact Kahler manifolds with effective rational SNC boundary of coefficients in [0,1] and relatively trivial log canonical line. This includes the generic-klt projective log-smooth subcase; no uniform effective degree is asserted.

GitHub repository: https://github.com/openai/math

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/B-semiampleness-for-compact-log-smooth-Kahler-fibrations-September-10-2026/paper.pdf

  • OpenAI-033-05-B-semiampleness-for-compact-log-smooth-K-hler-fibrations.pdf554,622 bytesOpen