On the triviality of direct image of coherent sheaves
arXiv:2601.20460
Abstract
Let be a finite morphism of projective varieties defined over an algebraically closed field of characteristic zero. We study the necessary and sufficient criteria for such that there exists a coherent sheaf on whose direct image is a trivial vector bundle on of positive rank. When is smooth, and is Cohen-Macaulay, such a coherent sheaf is necessarily locally free. We show that the existence of such a coherent sheaf is guided by the properties of the branching divisor of . When the covering is admissible abelian Galois, we give a complete answer. As an application, it is shown that every smooth admissible abelian Galois covering of supports an Ulrich bundle.
Final version; to appear in J. Pure Appl. Algebra