algebra / Algebraic geometry; adjoint linear systems

Fujita's freeness conjecture

Theorem 1.1: for every smooth connected complex projective variety XX of dimension n≥1n\ge1 and every ample line bundle LL, KX+(n+1)LK_X+(n+1)L is generated by global sections; hence KX+mLK_X+mL is globally generated for all m≥n+1m\ge n+1, even when LL itself is not. The bound is sharp. The method minimises an exponential average of normalised section orders over bases and weighted monomial valuations, then lifts sections with Fujita's discrepancy-and-vanishing mechanism. It does not prove the very-ampleness conjecture (m≥n+2m\ge n+2) or point separation.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 23, 2026Significance 60/100Registry: unreviewed

Fujita's freeness conjecture

Prior state unknown→proved

Theorem 1.1: for every smooth connected complex projective variety XX of dimension n≥1n\ge1 and every ample line bundle LL, KX+(n+1)LK_X+(n+1)L is generated by global sections; hence KX+mLK_X+mL is globally generated for all m≥n+1m\ge n+1, even when LL itself is not. The bound is sharp. The method minimises an exponential average of normalised section orders over bases and weighted monomial valuations, then lifts sections with…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every smooth connected complex projective variety XX of dimension n≥1n\ge1 and every ample line bundle LL, KX+(n+1)LK_X+(n+1)L is generated by global sections; hence KX+mLK_X+mL is globally generated for all m≥n+1m\ge n+1, even when LL itself is not. The bound is sharp. The method minimises an exponential average of normalised section orders over bases and weighted monomial valuations, then lifts sections with Fujita's discrepancy-and-vanishing mechanism. It does not prove the very-ampleness conjecture (m≥n+2m\ge n+2) or point separation.

Theorem 1.1: for every smooth connected complex projective variety XX of dimension n≥1n\ge1 and every ample line bundle LL, KX+(n+1)LK_X+(n+1)L is generated by global sections; hence KX+mLK_X+mL is globally generated for all m≥n+1m\ge n+1, even when LL itself is not. The bound is sharp. The method minimises an exponential average of normalised section orders over bases and weighted monomial valuations, then lifts sections with Fujita's discrepancy-and-vanishing mechanism. It does not prove the very-ampleness conjecture (m≥n+2m\ge n+2) or point separation.

Recorded attempts

Evidence graph

Connected research record