The bounding cohomology conjecture for smooth projective surfaces

Let XX be a smooth projective surface, and let CXC\subseteq X be a curve. Denote by OX(C)\mathcal O_X(C) the associated line bundle and by hi(OX(C))h^i(\mathcal O_X(C)) its cohomology dimensions.

Bounding cohomology conjecture. There exists a constant cX>0c_X>0 such that

h1(OX(C))cXh0(OX(C))h^1(\mathcal O_X(C))\leq c_Xh^0(\mathcal O_X(C))

for every curve CC on XX.

This conjecture is stronger than the bounded negativity conjecture and was the main problem studied in the source. It has been disproved: a counterexample exists on a smooth projective surface with large Picard number.

Sources & referencesView supporting material

Primary source

Sichen Li, “Bounding cohomology on a smooth projective surface with Picard number 2”, arXiv:2007.12855 (2021).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.