Source authenticated

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.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 26, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

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

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

Campana 2011, Orbifoldes geometriques speciales (Conjecture 6.1) evidence for this event

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. parent of this event

VibeMathed record: Iitaka's subadditivity conjecture C(n,m), with its logarithmic form and Campana's orbifold form evidence for this event

Popa's logarithmic additivity conjecture for log-smooth families evidence for this event

Projective Hodge lines and ordinary Iitaka subadditivity evidence for this event

Orbifold and logarithmic Iitaka subadditivity evidence for this event

B-semiampleness for compact log-smooth Kahler fibrations evidence for this event

Iitaka 1977, Classification of Algebraic Varieties evidence for this event

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

Viehweg's conjecture C(n,m)+ and Popa's logarithmic Iitaka-Viehweg inequality evidence for this event

Act on this frontier

Verify, challenge, or extend the result.