Torsion Freeness of Higher Direct Images of Canonical Bundles.
In this paper, we give a numerical characterization of nef arithmetic -Cartier divisors of -type on an arithmetic surface. Namely an arithmetic -Cartier divisor of -type is nef if and only if is pseudo-effective and .
Page 1