Disputed

The Campana-Peternell conjecture on Kodaira dimension

Corollary 1.2: if m0KX−Dm_0K_X-D is pseudo-effective for an effective Cartier (or, after clearing denominators, rational) divisor DD on a smooth connected projective complex variety XX, then κ(X)≥κ(D)\kappa(X)\ge\kappa(D). Corollary 1.3: if f:X→Yf:X\to Y is a fibre space and m0KX−f∗Hm_0K_X-f^*H is pseudo-effective with HH ample, then κ(X)=κ(F)+dim⁡Y\kappa(X)=\kappa(F)+\dim Y and ℓrKX−f∗H\ell rK_X-f^*H has sections for large ℓ\ell (Schnell's general fibre-space conclusion). Both use canonical nonvanishing in every dimension from the family's abundance manuscript. The zero-Kodaira case of Schnell's question was already proved by Zou (2025) and is not new here.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 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 Campana-Peternell conjecture on Kodaira dimension · Campana-Peternell 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

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

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

This event attributed to Unreleased internal OpenAI model

VibeMathed record: The Campana-Peternell conjecture on Kodaira dimension evidence for this event

Schnell, Singular metrics and a conjecture by Campana and Peternell (arXiv 2202.01295) evidence for this event

The Campana-Peternell conjecture on Kodaira dimension evidence for this event

Corollary 1.2: if m0KX−Dm_0K_X-D is pseudo-effective for an effective Cartier (or, after clearing denominators, rational) divisor DD on a smooth connected projective complex variety XX, then κ(X)≥κ(D)\kappa(X)\ge\kappa(D). Corollary 1.3: if f:X→Yf:X\to Y is a fibre space and m0KX−f∗Hm_0K_X-f^*H is pseudo-effective with HH ample, then κ(X)=κ(F)+dim⁡Y\kappa(X)=\kappa(F)+\dim Y and ℓrKX−f∗H\ell rK_X-f^*H has sections for large ℓ\ell (Schnell's general fibre-space conclusion). Both use canonical nonvanishing in every dimension from the family's abundance manuscript. The zero-Kodaira case of Schnell's question was already proved by Zou (2025) and is not new here. parent of this event

The Campana-Peternell conjecture on Kodaira dimension parent of this event

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

Act on this frontier

Verify, challenge, or extend the result.