Fujita's freeness conjecture
Theorem 1.1: for every smooth connected complex projective variety of dimension and every ample line bundle , is generated by global sections; hence is globally generated for all , even when 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…