Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity

Assume logarithmic Iitaka subadditivity for surjective morphisms with connected fibers between smooth projective complex varieties with compatible reduced simple normal crossing boundaries. We prove log abundance for normal irreducible compact Kähler spaces in every dimension: for a log canonical pair (X,\Delta) with effective rational boundary and K_X+\Delta ℚ-Cartier, analytic nefness of K_X+\Delta implies semiampleness.

We prove a uniform index theorem for connected projective semi-log-canonical log Calabi–Yau pairs in every fixed dimension at least four over an algebraically closed field of characteristic zero. For boundary coefficients in a fixed finite rational set, a single multiple of the log canonical divisor is Cartier and linearly trivial. The multiple depends only on the dimension and coefficient set, not on the number of irreducible components. Together with the established theorem in dimensions at most three, this resolves the finite-rational-coefficient semi-log-canonical index conjecture.

Assuming orbifold Iitaka subadditivity and abundance for nef fourfold adjoints of nonnegative Kodaira dimension, we prove the existence of good minimal models for globally strongly ℚ-factorial compact Kähler klt fourfold pairs with effective rational boundary and analytically pseudo-effective actual ℚ-Cartier adjoint. The ordinary fourfold minimal model program supplies the nef endpoint. We prove nonvanishing by fibration arguments and, in algebraic dimension zero, by singular metrics, holomorphic foliations, and extension from a reduced boundary. The projective abundance argument used in the proof is included in full.

We prove the rational-boundary log abundance conjecture in every dimension over algebraically closed fields of characteristic zero: every nef ℚ-Cartier log canonical divisor on a projective log canonical pair with effective rational boundary is semiample. Over ℂ, the proof also establishes canonical nonvanishing for smooth projective varieties in every dimension.

Let (H,Θ) be a projective complex klt pair with effective rational boundary and nef ℚ-Cartier adjoint. On any projective log resolution, minimal semipositive metrics on the pulled-back adjoint exist and have zero Lelong numbers everywhere. On smooth projective complex varieties, we also prove an H^(1)-injectivity theorem for rational interior boundaries with simple-normal-crossing support when both endpoint bundles carry zero-Lelong semipositive metrics.

For a projective ℚ-factorial dlt pair with effective rational boundary over an algebraically closed field of characteristic zero, we prove that the adjoint has positive Iitaka dimension whenever a nonzero effective Cartier multiple is supported on the coefficient-one boundary and restricts to a semiample line bundle on its whole reduced support. This gives log abundance after nonvanishing in dimension at most four over ℂ.

We prove the Campana–Peternell inequality \kappa(X)\geq\kappa(D) for a smooth connected projective complex variety X and an effective Cartier divisor D whenever m_0K_X-D is pseudo-effective for some positive integer m_(0). For an algebraic fiber space f\colon X→ Y between smooth connected projective complex varieties, the hypothesis that m_0K_X-f^*H is pseudo-effective with H ample Cartier gives \kappa(X)=\kappa(F)+\dim Y for a very general smooth fiber F, as well as nonzero sections of mK_X-f^*H for all sufficiently large divisible m.

For normal projective log canonical pairs over algebraically closed fields of characteristic zero, of fixed dimension d ≥ 5 and with effective boundary coefficients in a fixed finite rational set, we prove that one complete rounded pluricanonical system generates the full Iitaka field whenever the ℚ-Cartier log canonical divisor has nonnegative Kodaira dimension. Its degree depends only on the dimension and coefficient set. For the paper's normalized canonical bundle formulae over ℂ, we also bound the Cartier denominators of the moduli divisors on smooth projective determining models in terms of the dimension and coefficient set.

We prove the effective Iitaka fibration conjecture in characteristic zero. For each dimension, one pluricanonical degree defines the Iitaka fibration of every smooth integral projective variety of that dimension and nonnegative Kodaira dimension over an algebraically closed field. The associated sections generate the full Iitaka function field.

We prove uniform denominator and effective-system bounds for log Calabi-Yau fibrations from projective log canonical complex pairs of dimension at most four onto positive-dimensional bases, with boundary coefficients in a fixed finite rational set. The bounds give a uniform trivializing degree and a uniform b-Cartier multiple of the moduli b-divisor. When the base divisor is big, a uniform complete rounded adjoint system has section ratios generating the full base function field.

Fix d ≥ 1 and t > 0. Let (X,B) be an ordinary projective log canonical ℚ-pair of dimension d over a characteristic-zero field k, with X normal and integral, H^0(X,\mathcal O_X)=k, B effective, and K_X+B\sim_{\mathbb Q}0. We prove that every prime component S of B with coefficient at least t satisfies [k_S:k]\leq N(d,t), where k_(S) is the relative algebraic closure of k in k(S). This also bounds the Stein degree of S over k, proving the contraction-to-a-point formulation of Birkar's Stein-degree conjecture for ordinary ℚ-pairs.

We prove the finite-rational-coefficient case of the effective log Iitaka conjecture in dimension four. For normal projective log canonical complex fourfolds with boundary coefficients in a fixed finite rational set and pseudo-effective rational Cartier adjoint, one uniform degree makes the complete rounded reflexive system nonempty and its section ratios generate the full Iitaka field. We also prove a uniform canonical index bound for projective klt complex fourfolds with rationally trivial canonical divisor.

We prove semiampleness of the actual ℚ-Cartier adjoint K_X+\Delta of a normal connected compact Kähler klt fourfold whenever it is analytically nef and some positive Cartier multiple has a nonzero section. The boundary is effective and rational; the fourfold need not be projective or ℚ-factorial. In Iitaka dimension zero, a positive Cartier multiple is the trivial holomorphic line bundle.