Regularity of pseudomeromorphic currents

Journal article, 2021

Let X be a (reduced) pure-dimensional analytic space. We prove that direct images of principal value and residue currents on X are smooth outside sets that are small in a certain sense. We also prove that the sheaf of such currents, provided that X is smooth, is a stalkwise injective OX-module.