Modifications of torsion-free coherent analytic sheaves (Q1687862): Difference between revisions

Let \(\pi: Y \to X\) be a holomorphic map between complex spaces with \(Y\) locally irreducible, and \(\mathcal S\) a coherent analytic sheaf on \(X\). The \textit{torsion-free preimage} of \(\mathcal S\) is the torsion-free sheaf \(\pi^T \mathcal S\) on \(X\) defined by \(\pi^T \mathcal S := \pi^*\mathcal S/\mathcal T(\pi^* \mathcal S)\), where we denote by \(\mathcal T(\pi^* \mathcal S)\) the torsion sheaf of \(\pi^*\mathcal S\). In this paper, the authors study systematically and extensively the functor \(\pi^T\) in case \(\pi: Y \to X\) is a proper modification of a locally irreducible complex space \(X\) and \(\mathcal S\) is torsion-free. In fact, with these hypotheses, they prove that: (a) the canonical homomorphisms \(\mathcal S \to \pi_*(\pi^* \mathcal S)\) and \(\mathcal S \to \pi_*(\pi^T \mathcal S)\) are both injective; (b) if the linear space \(L(\mathcal S)\) associated to \(\mathcal S\) is locally irreducible and if \(L(\pi_*(\mathcal S))\) is reduced, then the morphism \(\pi_*(\pi^* \mathcal S) \to \pi_*(\pi^T \mathcal S)\) is injective; (c) in case \(L(\mathcal S)\) is normal, then \(\mathcal S \simeq \pi_*(\pi^T \mathcal S)\). As a simple by-product of this result and other lemmas, they obtain a simple proof of the following: \textit{if \(\pi: Y \to X\) is a proper modification of a complex space \(X\) and \(\mathcal F\), \(\mathcal G\) are torsion-free coherent analytic sheaves on \(X\) and \(Y\), respectively, then} \[ \mathcal F = \pi_* \mathcal G\;\;\Rightarrow \;\;\mathcal F \simeq \pi_* (\pi^T \mathcal F)\;, \] \[ \mathcal G = \pi^T \mathcal F \;\Rightarrow \;\;\pi^T (\pi_* \mathcal G) \simeq \mathcal G\;. \] By these results, one can reduce the analysis of coherent sheaves modulo torsion to the study of vector bundles on manifolds. The paper contains also several applications on functorial properties of the canonical sheaves of singular complex spaces.