Disputed

The effective Iitaka fibration conjecture

Theorem 1.1: for each d≥1d\ge1 there is m(d)>0m(d)>0 such that, over every algebraically closed field of characteristic zero, ∣m(d)KX∣|m(d)K_X| is nonempty and its section ratios generate the Iitaka function field for every smooth integral projective dd-fold with κ(X)≥0\kappa(X)\ge0; every multiple of m(d)m(d) works too. Theorem 1.2 gives a uniform a(d,Φ)a(d,\Phi) with a(KX+B)∼0a(K_X+B)\sim0 for projective lc pairs with KX+B∼Q0K_X+B\sim_{\mathbb Q}0 and coefficients in a DCC set Φ\Phi. The bound m(d)m(d) is existential; no explicit value is given.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 3, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: contested. 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: The effective Iitaka fibration conjecture · Effective Iitaka fibration conjecture

Confidence: Not scored

Registry verification: contested · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Theorem 1.1: for each d≥1d\ge1 there is m(d)>0m(d)>0 such that, over every algebraically closed field of characteristic zero, ∣m(d)KX∣|m(d)K_X| is nonempty and its section ratios generate the Iitaka function field for every smooth integral projective dd-fold with κ(X)≥0\kappa(X)\ge0; every multiple of m(d)m(d) works too. Theorem 1.2 gives a uniform a(d,Φ)a(d,\Phi) with a(KX+B)∼0a(K_X+B)\sim0 for projective lc pairs with KX+B∼Q0K_X+B\sim_{\mathbb Q}0 and coefficients in a DCC set Φ\Phi. The bound m(d)m(d) is existential; no explicit value is given. parent of this event

Revised edition (October 6, 2026): Conditional good minimal models for compact Kähler fourfolds evidence for this event

Birkar and Zhang (2016), Conjecture 1.1 evidence for this event

VibeMathed record: The effective Iitaka fibration conjecture evidence for this event

Input manuscript: Log abundance in characteristic zero evidence for this event

This event attributed to Unreleased internal OpenAI model

The effective Iitaka fibration conjecture parent of this event

The 5 October appendix calling projective log abundance conditional evidence for this event

Input: Uniform Pluricanonical Iitaka Fibrations (normal lc index, DCC) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.