Mixed-characteristic density conjecture for semiampleness
Let RRR be a finitely generated integral domain over Z\mathbb ZZ, let S=SpecRS=\operatorname{Spec}RS=SpecR, and let π:X→S\pi:\mathcal X\to Sπ:X→S be a smooth proper morphism. Let L\mathcal LL be an in…