Bogomolov–Gieseker inequality in the reduced parameter range

Let XX be the canonical line bundle of P3\mathbb{P}^3, with projection π:XP3\pi:X\to\mathbb{P}^3, and let HH be the pullback of the hyperplane class. Let Coh0β(X)\mathrm{Coh}_{0}^{\beta}(X) be the tilted heart and let νβ,α\nu^{\beta,\alpha} denote the tilt slope. Reduced Bogomolov–Gieseker conjecture. For rational β,α\beta,\alpha satisfying

α>12β2,12β0,2αβ2<12,\alpha>\frac{1}{2}\beta^2,\qquad -\frac{1}{2}\leqslant\beta\leqslant0,\qquad \sqrt{2\alpha-\beta^2}<\frac{1}{2},

and every νβ,α\nu^{\beta,\alpha}-semistable object ECoh0β(X)E\in\mathrm{Coh}_{0}^{\beta}(X) with tilt-slope β\beta, one has

ch3(πE)2αβ26H2ch1(πE).\mathrm{ch}_{3}(\pi_*E)\leqslant\frac{2\alpha-\beta^2}{6}H^2\mathrm{ch}_{1}(\pi_*E).

The source presents this as a reduction equivalent to the preceding Bogomolov–Gieseker conjecture, so it is not a separate mathematical claim, but records the parameter range to which the problem can be reduced.

Sources & referencesView supporting material

Primary source

Tianle Mao, “Stability conditions on the canonical line bundle of P^3”, arXiv:2501.15251 (2025).

Additional references

4 papers in this index state this conjecture (2012–2025). The statement above is taken from the most recent of them; the others are arXiv:2206.10392, arXiv:1310.0299, arXiv:1204.0602.

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.