Disputed

The index conjecture for semi-log-canonical log Calabi-Yau pairs with finite rational coefficient sets

Theorem 1.1: for every d≥4d\ge4 and finite Φ⊂[0,1]∩Q\Phi\subset[0,1]\cap\mathbb Q there is a(d,Φ)>0a(d,\Phi)>0 such that a(d,Φ)(KX+B)a(d,\Phi)(K_X+B) is Cartier with trivial line bundle for every connected projective equidimensional slc log Calabi-Yau pair of dimension dd with coefficients in Φ\Phi, independently of the number of components. With Jiang-Liu's theorem for d≤3d\le3 this gives the conjecture in the cited form. Not shown: slc pairs with infinite DCC coefficient sets, or explicit values of a(d,Φ)a(d,\Phi).

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 5, 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 index conjecture for semi-log-canonical log Calabi-Yau pairs with finite rational coefficient sets · slc index conjecture, finite coefficients

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

This event attributed to Unreleased internal OpenAI model

The index conjecture for semi-log-canonical log Calabi-Yau pairs with finite rational coefficient sets parent of this event

VibeMathed record: The index conjecture for semi-log-canonical log Calabi-Yau pairs with finite rational coefficient sets evidence for this event

The index conjecture for semi-log-canonical log Calabi-Yau pairs with finite rational coefficient sets evidence for this event

Theorem 1.1: for every d≥4d\ge4 and finite Φ⊂[0,1]∩Q\Phi\subset[0,1]\cap\mathbb Q there is a(d,Φ)>0a(d,\Phi)>0 such that a(d,Φ)(KX+B)a(d,\Phi)(K_X+B) is Cartier with trivial line bundle for every connected projective equidimensional slc log Calabi-Yau pair of dimension dd with coefficients in Φ\Phi, independently of the number of components. With Jiang-Liu's theorem for d≤3d\le3 this gives the conjecture in the cited form. Not shown: slc pairs with infinite DCC coefficient sets, or explicit values of a(d,Φ)a(d,\Phi). 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

Jiang and Liu, Boundedness of log pluricanonical representations (arXiv 2002.11928), Conjecture 1.5 evidence for this event

Act on this frontier

Verify, challenge, or extend the result.