lean artifact · pending
Artifact ↗Shokurov's bounded klt complements conjecture for Fano type contractions with finite rational coefficients
Theorem 1.1: for every and rational there is such that every projective contraction over an algebraically closed field of characteristic zero with -lc of dimension , -Cartier and ample over has, near each closed point of , a boundary with klt and . Corollary 1.2 (over ): 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 , also for real boundaries over . Not shown: -lc complements, DCC coefficient sets, or effective values of .
Exact FrontierDelta
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
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Artifacts and verifiers
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 and rational there is such that every projective contraction over an algebraically closed field of characteristic zero with -lc of dimension , -Cartier and ample over has, near each closed point of , a boundary with klt and . Corollary 1.2 (over ): 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 , also for real boundaries over . Not shown: -lc complements, DCC coefficient sets, or effective values of . 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