Finiteness of formal pushforwards

David Harbater, Julia Hartmann, Daniel Krashen

Under mild hypotheses, given a scheme $U$ and an open subset $V$ whose complement has codimension at least two, the pushforward of a torsion-free coherent sheaf on $V$ is coherent…