Bayer–Macrì–Toda generalized Bogomolov–Gieseker conjecture

Let XX be a smooth projective threefold, let HH be an ample divisor, and let α>0\alpha>0 and βR\beta\in\mathbb{R}. Let BHβ\mathcal{B}_{H}^{\beta} denote the tilted heart, and let Zα,β2Z_{\alpha,\beta}^{2} be the second-stage weak stability function. For an object EBHβE\in\mathcal{B}_{H}^{\beta}, write

chβ(E)=eβHch(E).\operatorname{ch}^{\beta}(E)=e^{-\beta H}\operatorname{ch}(E).

Bayer–Macrì–Toda generalized Bogomolov–Gieseker conjecture. For any Zα,β2Z_{\alpha,\beta}^{2}-semistable object EBHβE\in\mathcal{B}_{H}^{\beta} satisfying

ImZα,β3(E)=0,\operatorname{Im} Z_{\alpha,\beta}^{3}(E)=0,

we have

ch3β(E)<α22H2ch1β(E).\operatorname{ch}_{3}^{\beta}(E)<\frac{\alpha^{2}}{2}H^{2}\operatorname{ch}_{1}^{\beta}(E).

This inequality is equivalent to the assertion that the twice-tilted heart with central charge Zα,β3Z^{3}_{\alpha,\beta} defines a stability condition. It is a central open case of the generalized Bogomolov–Gieseker problem for threefolds.

Sources & referencesView supporting material

Primary source

Nantao Zhang, “Stability conditions on blowups”, arXiv:2503.23682 (2025).

Additional references

7 papers in this index state this conjecture (2014–2025). The statement above is taken from the most recent of them; the others are arXiv:2006.00756, arXiv:1808.02735, arXiv:1708.08567, arXiv:1703.07042, arXiv:1609.03245, arXiv:1404.3814.

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.