Indexed metadata

A linear bound for Fujita's freeness conjecture

Jingjun Han

Source record

Source: arXiv

Published: Sep 1, 2026

arXiv: 2609.01574

Open original source ↗

Source abstract

Let XX be a smooth complex projective variety of dimension nn, and let LL be an ample Cartier divisor. We prove that KX+mLK_X+mL is globally generated for every integer mC0nm\geq\lceil C_0n\rceil, where C0=1.77629C_0=1.77629\ldots is an explicit constant. In particular, KX+2nLK_X+2nL is globally generated. Our main input is a new estimate for the multiplicity of a minimal log canonical center. If (X,Δ)(X,Δ) is log canonical near a closed point xx but is not klt at xx, and WW is the positive-dimensional minimal log canonical center through xx, then 2e1(mW,x)(dimWlctx((X,Δ);mx))multxW2\overline{e}_1(\mathfrak m_{W,x})\leq\bigl(\dim W-\operatorname{lct}_x((X,Δ);\mathfrak m_x)\bigr)\operatorname{mult}_xW, where e1(mW,x)\overline{e}_1(\mathfrak m_{W,x}) is the first normal Hilbert coefficient of the maximal ideal of OW,x\mathcal O_{W,x}. This implies multxW(a+c)a+caacc\operatorname{mult}_xW\leq \frac{(a+c)^{a+c}}{a^ac^c}, where a:=dimWlctx((X,Δ);mx)2a:=\frac{\dim W-\operatorname{lct}_x((X,Δ);\mathfrak m_{x})}{2} and c:=edimOW,xdimWc:=\operatorname{edim}\mathcal O_{W,x}-\dim W.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.