算术曲面的 Bogomolov-Gieseker 类型不等式

设 K 为代数数域，$O_K$ 为其整数环，$f : X \to \mathrm{Spec}(O_K)$ 为算术曲面。设 $(E, h)$ 为 X 上的秩为 r 的仿射向量丛，满足 E 在 f 的几何普遍纤维上为半稳定。本文证明了算术 Bogomolov-Gieseker 不等式的类比：$c_2(E, h) - \frac{r-1}{2r} c_1(E, h)^2 \geq 0$。