Semistability and finite maps (Q1042432)

Let \(M^d\) be a compact connected Kähler manifold with a Kähler form \(\omega\). The \(\text{degree}(E)\) of a torsionfree coherent analytic sheaf \(E\) on \(M\) is defined to be \((c_1(E)\cup [\omega]^{d-1})\cap [M]\). \(E\) is stable (semistable) if for all nonzero coherent analytic subsheaves \(F\subset E\) with \(E/F\) being torsionfree of positive rank, \[ \frac {\text{degree} (F)}{\text{rank} (F)}< (\leq) \frac {\text{degree} (E)}{\text{rank} (E)}. \] A semistable sheaf is called polystable if it is a direct sum of stable sheaves. In this article, the authors consider some holomorphic map \(f\) from a compact connected Kähler manifold \(Y\to M\) to examine properties of the pull back sheaf \(f^*E\) where \(E\) is a sheaf over \(M\). The starting point is a theorem of \textit{J.-P. Demailly} and \textit{M. Paun} [Ann. Math. (2) 159, No.~3, 1247--1274 (2004; Zbl 1064.32019)] which implies that if \(f:Y\to M\) is surjective such that every fiber of \(f\) is a finite subset, then \(f^*\omega\) has represented a Kähler class on \(Y\). Main results are Theorem 2.4 which says that, if \(E\) is a semistable sheaf over \(M\), then the pull back \(f^*E\) is a semistable sheaf over \(Y\), and Proposition 2.3 saying that \(f^*E\) is polystable if \(E\) is reflexive polystable.