geometry-topology / Birational geometry, Kodaira dimension

Iitaka's subadditivity conjecture C(n,m), with its logarithmic form and Campana's orbifold form

Theorem 1.1: for a smooth compact connected manifold XX in Fujiki class C\mathcal C with rational SNC boundary Δ\Delta (coefficient one allowed) and a fibration f:X→Yf:X\to Y onto a normal compact complex space, κ(X,KX+Δ)≥κ(F,KF+ΔF)+κ(f∣Δ)\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(f\mid\Delta) for a very general fibre. Corollaries: logarithmic subadditivity for compatible reduced-SNC pairs, and ordinary κ(X)≥κ(F)+κ(Y)\kappa(X)\ge\kappa(F)+\kappa(Y) for projective fibre spaces over any algebraically closed field of characteristic zero. Not covered: positive characteristic, real or non-SNC boundaries, and the variation refinement, which is a separate entry.

62Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 26, 2026Significance 62/100Registry: unreviewed

Iitaka's subadditivity conjecture C(n,m), with its logarithmic form and Campana's orbifold form

Prior state unknown→proved

Theorem 1.1: for a smooth compact connected manifold XX in Fujiki class C\mathcal C with rational SNC boundary Δ\Delta (coefficient one allowed) and a fibration f:X→Yf:X\to Y onto a normal compact complex space, κ(X,KX+Δ)≥κ(F,KF+ΔF)+κ(f∣Δ)\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(f\mid\Delta) for a very general fibre. Corollaries: logarithmic subadditivity for compatible reduced-SNC pairs, and ordinary…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for a smooth compact connected manifold XX in Fujiki class C\mathcal C with rational SNC boundary Δ\Delta (coefficient one allowed) and a fibration f:X→Yf:X\to Y onto a normal compact complex space, κ(X,KX+Δ)≥κ(F,KF+ΔF)+κ(f∣Δ)\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(f\mid\Delta) for a very general fibre. Corollaries: logarithmic subadditivity for compatible reduced-SNC pairs, and ordinary κ(X)≥κ(F)+κ(Y)\kappa(X)\ge\kappa(F)+\kappa(Y) for projective fibre spaces over any algebraically closed field of characteristic zero. Not covered: positive characteristic, real or non-SNC boundaries, and the variation refinement, which is a separate entry.

Theorem 1.1: for a smooth compact connected manifold XX in Fujiki class C\mathcal C with rational SNC boundary Δ\Delta (coefficient one allowed) and a fibration f:X→Yf:X\to Y onto a normal compact complex space, κ(X,KX+Δ)≥κ(F,KF+ΔF)+κ(f∣Δ)\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(f\mid\Delta) for a very general fibre. Corollaries: logarithmic subadditivity for compatible reduced-SNC pairs, and ordinary κ(X)≥κ(F)+κ(Y)\kappa(X)\ge\kappa(F)+\kappa(Y) for projective fibre spaces over any algebraically closed field of characteristic zero. Not covered: positive characteristic, real or non-SNC boundaries, and the variation refinement, which is a separate entry.

Recorded attempts

Evidence graph

Connected research record

Iitaka's subadditivity conjecture C(n,m), with its logarithmic form and Campana's orbifold form — Mathematical Frontier Network