Cohomological lower-bound conjecture for non-Fano hypersurfaces

From papers

Let kk be an algebraically closed field and let i ⁣:X=V(f)Pkni\colon X=V(f)\hookrightarrow\mathbb{P}^n_k be a closed embedding of a smooth irreducible hypersurface of degree dd. For a bounded complex C\mathcal C of coherent sheaves on XX, define

ρ(C)=r=0nh(Pkn,i(C)ΩPknr(r)),\rho(\mathcal C)=\sum_{r=0}^n h(\mathbb{P}^n_k,i_*(\mathcal C)\otimes\Omega_{\mathbb{P}^n_k}^r(r)),

where h(Y,C)=jZdimkRjΓ(Y,C)h(Y,\mathcal C)=\sum_{j\in\mathbb{Z}}\dim_k\mathbf{R}^j\Gamma(Y,\mathcal C). Put an+1da\coloneqq n+1-d. Cohomological lower-bound conjecture. If a0a\leq0, equivalently if XX is not Fano, then for any nonzero object CDb(X)\mathcal C\in\operatorname{D}^{\operatorname{b}}(X) one has

ρ(C)2e+1,en2.\rho(\mathcal C)\geq 2^{e+1},\qquad e\coloneqq\left\lfloor\frac{n}{2}\right\rfloor.

The conjecture proposes a uniform lower bound on the cohomological size of every nonzero derived-category object on a non-Fano smooth hypersurface; the source states that the assertion is false without the assumption a0a\leq0.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Michael K. Brown and Mark E. Walker, “Ranks of matrix factorizations and sheaf cohomology”, arXiv:2412.01060 (2025).

Solutions 0

No solutions have been posted yet.