Source authenticated

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

Theorem 1.1: for a projective surjective morphism f:U→Vf:U\to V with connected fibres between smooth connected complex quasi-projective varieties with κˉ(V)≥0\bar\kappa(V)\ge0 and geometric generic fibre FF, κˉ(U)≥κ(F)+max⁡{κˉ(V),Var(f)}\bar\kappa(U)\ge\kappa(F)+\max\{\bar\kappa(V),\mathrm{Var}(f)\}, with no good-minimal-model or abundance hypothesis on FF. Corollary 1.2 gives Viehweg's ordinary Cn,m+C^+_{n,m} for projective complex fibre spaces with κ(Y)≥0\kappa(Y)\ge0. Not covered: bases with κˉ(V)=−∞\bar\kappa(V)=-\infty, positive characteristic, and the additivity equalities for smooth families (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: Viehweg's conjecture C(n,m)+ and Popa's logarithmic Iitaka-Viehweg inequality · Iitaka-Viehweg variation inequality

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

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

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

Orbifold and logarithmic Iitaka subadditivity evidence for this event

Popa, Conjectures on the Kodaira dimension (author version) evidence for this event

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

Theorem 1.1: for a projective surjective morphism f:U→Vf:U\to V with connected fibres between smooth connected complex quasi-projective varieties with κˉ(V)≥0\bar\kappa(V)\ge0 and geometric generic fibre FF, κˉ(U)≥κ(F)+max⁡{κˉ(V),Var(f)}\bar\kappa(U)\ge\kappa(F)+\max\{\bar\kappa(V),\mathrm{Var}(f)\}, with no good-minimal-model or abundance hypothesis on FF. Corollary 1.2 gives Viehweg's ordinary Cn,m+C^+_{n,m} for projective complex fibre spaces with κ(Y)≥0\kappa(Y)\ge0. Not covered: bases with κˉ(V)=−∞\bar\kappa(V)=-\infty, positive characteristic, and the additivity equalities for smooth families (a separate entry). parent of this event

VibeMathed record: 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.