Gillet–Soulé's non-negativity conjecture for arithmetic-surface cohomology
Let π:X→B=Spec(OK)\pi: X\rightarrow B=\operatorname{Spec}(\mathcal{O}_{K})π:X→B=Spec(OK) be an integral, flat, projective scheme of dimension 222, and let LLL be a metrized line bundle on XXX. Suppose there…