algebra / Birational geometry; boundedness

Birkar's Stein-degree conjecture for log Calabi-Yau pairs: the contraction-to-a-point case for ordinary pairs

Theorem 1.1: for every field kk of characteristic zero and every normal integral projective lc Q\mathbb Q-pair (X,B)(X,B) of dimension dd with H0(X,OX)=kH^0(X,\mathcal O_X)=k, B≥0B\ge0 and KX+B∼Q0K_X+B\sim_{\mathbb Q}0, every prime component SS of BB with coefficient at least tt satisfies [kS:k]≤N(d,t)[k_S:k]\le N(d,t), where kSk_S is the algebraic closure of kk in k(S)k(S); this bounds the Stein degree of SS. It covers only the contraction to Spec k\mathrm{Spec}\,k and ordinary pairs; the general fibration form of the conjecture and generalized pairs are not treated.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 25, 2026Significance 10/100Registry: contested

Birkar's Stein-degree conjecture for log Calabi-Yau pairs: the contraction-to-a-point case for ordinary pairs

Prior state unknown→proved

Theorem 1.1: for every field kk of characteristic zero and every normal integral projective lc Q\mathbb Q-pair (X,B)(X,B) of dimension dd with H0(X,OX)=kH^0(X,\mathcal O_X)=k, B≥0B\ge0 and KX+B∼Q0K_X+B\sim_{\mathbb Q}0, every prime component SS of BB with coefficient at least tt satisfies [kS:k]≤N(d,t)[k_S:k]\le N(d,t), where kSk_S is the algebraic closure of kk in k(S)k(S); this bounds the Stein degree of SS. It covers only the contract…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review! Disputed

Research memory

Claims and attempts

Scoped claims

Disputed

Theorem 1.1: for every field kk of characteristic zero and every normal integral projective lc Q\mathbb Q-pair (X,B)(X,B) of dimension dd with H0(X,OX)=kH^0(X,\mathcal O_X)=k, B≥0B\ge0 and KX+B∼Q0K_X+B\sim_{\mathbb Q}0, every prime component SS of BB with coefficient at least tt satisfies [kS:k]≤N(d,t)[k_S:k]\le N(d,t), where kSk_S is the algebraic closure of kk in k(S)k(S); this bounds the Stein degree of SS. It covers only the contraction to Spec k\mathrm{Spec}\,k and ordinary pairs; the general fibration form of the conjecture and generalized pairs are not treated.

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 field kk of characteristic zero and every normal integral projective lc Q\mathbb Q-pair (X,B)(X,B) of dimension dd with H0(X,OX)=kH^0(X,\mathcal O_X)=k, B≥0B\ge0 and KX+B∼Q0K_X+B\sim_{\mathbb Q}0, every prime component SS of BB with coefficient at least tt satisfies [kS:k]≤N(d,t)[k_S:k]\le N(d,t), where kSk_S is the algebraic closure of kk in k(S)k(S); this bounds the Stein degree of SS. It covers only the contraction to Spec k\mathrm{Spec}\,k and ordinary pairs; the general fibration form of the conjecture and generalized pairs are not treated.

Recorded attempts

Evidence graph

Connected research record

Birkar's Stein-degree conjecture for log Calabi-Yau pairs: the contraction-to-a-point case for ordinary pairs — Mathematical Frontier Network