algebra / Birational geometry in positive characteristic; minimal model program

Log abundance for threefolds in characteristic p>3p>3 in numerical dimension one

Principal Theorem 1.1: over an algebraically closed field of characteristic p>3p>3, if (X,B)(X,B) is a projective log canonical threefold pair with effective Q\mathbb Q-boundary, KX+BK_X+B is Q\mathbb Q-Cartier, nef and of numerical dimension one, then KX+BK_X+B is semiample; neither terminality nor Q\mathbb Q-factoriality is needed. The companion proves the terminal Q\mathbb Q-factorial case (KXK_X nef with ν=1\nu=1 gives κ=1\kappa=1 and semiampleness). Characteristics 2 and 3, numerical dimension zero and higher dimensions are not addressed.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraOct 5, 2026Significance 18/100Registry: unreviewed

Log abundance for threefolds in characteristic p>3p>3 in numerical dimension one

Prior state unknown→proved

Principal Theorem 1.1: over an algebraically closed field of characteristic p>3p>3, if (X,B)(X,B) is a projective log canonical threefold pair with effective Q\mathbb Q-boundary, KX+BK_X+B is Q\mathbb Q-Cartier, nef and of numerical dimension one, then KX+BK_X+B is semiample; neither terminality nor Q\mathbb Q-factoriality is needed. The companion proves the terminal Q\mathbb Q-factorial case (KXK_X nef with ν=1\nu=1 giv…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Principal Theorem 1.1: over an algebraically closed field of characteristic p>3p>3, if (X,B)(X,B) is a projective log canonical threefold pair with effective Q\mathbb Q-boundary, KX+BK_X+B is Q\mathbb Q-Cartier, nef and of numerical dimension one, then KX+BK_X+B is semiample; neither terminality nor Q\mathbb Q-factoriality is needed. The companion proves the terminal Q\mathbb Q-factorial case (KXK_X nef with ν=1\nu=1 gives κ=1\kappa=1 and semiampleness). Characteristics 2 and 3, numerical dimension zero and higher dimensions are not addressed.

Principal Theorem 1.1: over an algebraically closed field of characteristic p>3p>3, if (X,B)(X,B) is a projective log canonical threefold pair with effective Q\mathbb Q-boundary, KX+BK_X+B is Q\mathbb Q-Cartier, nef and of numerical dimension one, then KX+BK_X+B is semiample; neither terminality nor Q\mathbb Q-factoriality is needed. The companion proves the terminal Q\mathbb Q-factorial case (KXK_X nef with ν=1\nu=1 gives κ=1\kappa=1 and semiampleness). Characteristics 2 and 3, numerical dimension zero and higher dimensions are not addressed.

Recorded attempts

Evidence graph

Connected research record

Log abundance for threefolds in characteristic $p>3$ in numerical dimension one — Mathematical Frontier Network