On the triviality of direct image of coherent sheaves
Let $π\,:\, X \,\longrightarrow\, Y$ 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 $E$ on $X$ whose direct image $π_*E$ is a trivial vector bundle on $Y$ of positive rank. When $X$ is smooth, and $Y$ is Cohen-Macaulay, such a coherent sheaf is necessarily locally free. We show that the existence of such a coherent sheaf $E$ is guided by the properties of the branching divisor of $π$. When the covering $π\,:\, X \,\longrightarrow\, Y$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.20460
curl -X POST /api/v1/records/arxiv/2601.20460/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.20460/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'