Source authenticated

Shokurov's bounded klt complements conjecture for Fano type contractions with finite rational coefficients

Theorem 1.1: for every dd and rational ϵ>0\epsilon>0 there is N(d,ϵ)N(d,\epsilon) such that every projective contraction f:X→Zf:X\to Z over an algebraically closed field of characteristic zero with XX ϵ\epsilon-lc of dimension dd, KXK_X Q\mathbb Q-Cartier and −KX-K_X ample over ZZ has, near each closed point of ZZ, a boundary BB with (X,B)(X,B) klt and N(KX+B)∼0N(K_X+B)\sim0. Corollary 1.2 (over C\mathbb C): the finite-rational-coefficient form for Fano type pairs with nef anti-log-canonical divisor, with monotone complements. The companion proves that some Cartier divisor through any base point has pulled-back lc threshold at least τ(d,ϵ)\tau(d,\epsilon), also for real boundaries over C\mathbb C. Not shown: ϵ′\epsilon'-lc complements, DCC coefficient sets, or effective values of NN.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 25, 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: Shokurov's bounded klt complements conjecture for Fano type contractions with finite rational coefficients · Bounded klt complements (Shokurov)

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

Artifacts and verifiers

Lean statement (supporting result only): CartierChartCompactnessSupport

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Lean statement (supporting result only): CartierChartCompactnessSupport evidence for this event

This event attributed to Unreleased internal OpenAI model

Companion manuscript: Uniform Cartier sections for Fano type contractions evidence for this event

Theorem 1.1: for every dd and rational ϵ>0\epsilon>0 there is N(d,ϵ)N(d,\epsilon) such that every projective contraction f:X→Zf:X\to Z over an algebraically closed field of characteristic zero with XX ϵ\epsilon-lc of dimension dd, KXK_X Q\mathbb Q-Cartier and −KX-K_X ample over ZZ has, near each closed point of ZZ, a boundary BB with (X,B)(X,B) klt and N(KX+B)∼0N(K_X+B)\sim0. Corollary 1.2 (over C\mathbb C): the finite-rational-coefficient form for Fano type pairs with nef anti-log-canonical divisor, with monotone complements. The companion proves that some Cartier divisor through any base point has pulled-back lc threshold at least τ(d,ϵ)\tau(d,\epsilon), also for real boundaries over C\mathbb C. Not shown: ϵ′\epsilon'-lc complements, DCC coefficient sets, or effective values of NN. parent of this event

Shokurov's bounded klt complements conjecture for Fano type contractions with finite rational coefficients parent of this event

B. Chen, Boundedness of klt complements on Fano fibrations over surfaces (arXiv 2403.01154) evidence for this event

VibeMathed record: Shokurov's bounded klt complements conjecture for Fano type contractions with finite rational coefficients evidence for this event

Shokurov's bounded klt complements conjecture for Fano type contractions with finite rational coefficients evidence for this event

Act on this frontier

Verify, challenge, or extend the result.