algebra / Birational geometry; log Calabi-Yau pairs

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).

25Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraOct 5, 2026Significance 25/100Registry: contested

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

Prior state unknown→proved

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…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review! Disputed

Research memory

Claims and attempts

Scoped claims

Disputed

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).

This result uses the release's log abundance theorem as an input, and the release contradicts itself on whether that theorem is unconditional (24 September abstract) or a conditional resolution resting on logarithmic Iitaka subadditivity (5 October appendix). The entry is Contested with it. 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).

Recorded attempts

Evidence graph

Connected research record

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