[Paper Review] Fundamental properties of basic slc-trivial fibrations

Osamu Fujino|arXiv (Cornell University)|Apr 30, 2018

Algebraic Geometry and Number Theory4 citations

TL;DR

This paper introduces basic slc-trivial fibrations as a generalization of Ambro's lc-trivial fibrations, using variations of mixed Hodge structure on cohomology with compact support to prove that the moduli part of such fibrations is b-potentially nef. This result strengthens the canonical bundle formula and enables a structure theorem for normal irreducible quasi-log canonical pairs, advancing the theory of quasi-log schemes.

ABSTRACT

We introduce the notion of basic slc-trivial fibrations. It is a generalization of that of Ambro's lc-trivial fibrations. Then we study fundamental properties of basic slc-trivial fibrations by using the theory of variations of mixed Hodge structure on cohomology with compact support. More precisely, we prove that the moduli part of a basic slc-trivial fibration is b-strongly nef. Note that the notion of basic slc-trivial fibrations is closely related to that of normal irreducible quasi-log canonical pairs. So the results obtained in this paper will play an important role in the theory of quasi-log schemes. Here we give a structure theorem for normal irreducible quasi-log canonical pairs as an application of the main theorem. This result makes the theory of quasi-log schemes more powerful and more flexible.

Motivation & Objective

• To generalize Ambro's lc-trivial fibrations to the setting of semi-log canonical pairs via basic slc-trivial fibrations.
• To establish foundational properties of these fibrations using variations of mixed Hodge structures.
• To prove that the moduli part of a basic slc-trivial fibration is b-potentially nef, extending the semipositivity theorem.
• To apply the main result to derive a structure theorem for normal irreducible quasi-log canonical pairs.
• To resolve ambiguities in earlier works on semipositivity and filtrations in mixed Hodge theory.

Proposed method

• Introduces basic slc-trivial fibrations as projective morphisms $ f: (X,B) o Y $ where $ X $ is a simple normal crossing variety, $ (X,B) $ is a simple normal crossing pair, and $ K_X + B \sim_\mathbb{Q} f^*D $ for some $ \mathbb{Q} $-Cartier divisor $ D $ on $ Y $.
• Applies the theory of variations of mixed Hodge structures on cohomology with compact support to analyze the moduli part of the fibration.
• Uses the notion of potentially nef divisors and b-potentially nef $ \mathbb{Q} $-divisors to characterize the moduli part.
• Establishes base change and pull-back properties of moduli parts under birational morphisms.
• Corrects and clarifies technical gaps in prior works on filtrations and semipositivity theorems using Saito’s mixed Hodge modules and analytic methods.
• Applies the main theorem to derive a structure theorem for normal irreducible quasi-log canonical pairs via the canonical bundle formula.

Experimental results

Research questions

• RQ1 Is the moduli part of a basic slc-trivial fibration b-potentially nef, generalizing Ambro’s result to the slc setting?
• RQ2 How can the canonical bundle formula be extended to normal irreducible quasi-log canonical pairs using this fibration framework?
• RQ3 What role do variations of mixed Hodge structures play in proving semipositivity-type results for moduli divisors?
• RQ4 How can technical ambiguities in earlier proofs of semipositivity and filtration strictness be resolved?
• RQ5 Can the structure of quasi-log canonical pairs be described more flexibly using this new fibration framework?

Key findings

• The moduli $ \mathbb{Q} $-b-divisor $ \mathbf{M} $ of a basic slc-trivial fibration is b-potentially nef, meaning there exists a birational model $ Y' \to Y $ such that $ \mathbf{M}_{Y'} $ is potentially nef on $ Y' $.
• The canonical $ \mathbb{Q} $-b-divisor $ \mathbf{K} + \mathbf{B} $ is $ \mathbb{Q} $-b-Cartier, ensuring the canonical bundle formula is well-defined in the b-divisor sense.
• The structure theorem for normal irreducible quasi-log canonical pairs is established as a consequence of the main theorem, enabling a more flexible and powerful framework for quasi-log schemes.
• The proof of $ E_1 $-degeneracy in spectral sequences associated to mixed Hodge structures is completed by verifying strictness of the Hodge filtration via vanishing of differentials and local freeness of cohomology sheaves.
• Technical issues in earlier works on semipositivity and filtrations are resolved using Saito’s theory of mixed Hodge modules and analytic methods, ensuring correctness of foundational results.
• The results generalize and strengthen the canonical bundle formula and semipositivity theorems in the context of quasi-log canonical pairs and slc singularities.