The b-semiampleness conjecture for klt-trivial fibrations
Let be a klt-trivial fibration, meaning that is Kawamata log terminal at the generic point of and . The canonical bundle formula writes
where is the discriminant divisor and is the moduli part. The b-semiampleness conjecture. There exists a birational morphism such that 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
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 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
- OpenAI-033-05-B-semiampleness-for-compact-log-smooth-K-hler-fibrations.pdfOpen