PDF (185 pages)
Status: AI-generated; not verified by a human.
We prove Shokurov’s local index conjecture in dimension three: for every positive real number a there is a positive integer R3(a) such that, for every klt threefold germ X ∋ x with mld(X ∋ x) = a, the divisor R3(a)KX is Cartier near x. More generally, for every finite set Γ of rational numbers in [0,1] there is a positive integer R3(a,Γ) such that R3(a,Γ)(KX + B) is Cartier near x for every klt threefold germ (X ∋ x, B) with the coefficients of B in Γ and mld(X ∋ x, B) = a.
Timestamp. SHA-256 of the posted PDF: 566c4dd5ab567d709589e6c94d474d9106e5fe32144bd7fb866b89d698b88a62.
Disclaimer: This is an AI-generated manuscript. The proof has been checked by machines (an internal AI verifier and AI reviews of the rewritten manuscript), but it has not been verified by a human, and none of this is formal verification. Readers should independently check every mathematical claim before relying on or citing it.