Let $f:X\rightarrow Y$ be smooth family of complex curves over $Y\backslash S$, S-finite set, Y-smooth complex curve. Let $Z \rightarrow Y $ be a ramified covering, ramified over points of $S .$ Let $W$ be a normalization of $X\times\_{Y} Z,$ and we have the induced map $g:W\rightarrow X.$ If $\mathcal{F},\mathcal{G}$ are locally free sheaves on $W$ and $g\_{\*}(\mathcal{F})= g\_{\*}(\mathcal{G}),$ do we have that $\mathcal{F}=\mathcal{G} ?$ 



Isomorphic direct images of sheaves on product space
In general no. For instance take $Y = P^1$, $X = P^1 \times Y$, and take $S$ to be 4 different points. Then $Z$ is an elliptic curve and $W = P^1 \times Z$. Take $F$ to be (the pullback to $W$ of) a nontrivial line bundle on $Z$ of degree $0$. Then $g\_\*F$ is (the pullback to $X$ of) the pushforward of that line bundle w.r.t. $Z \to Y$. It is easy to see that this pushforward is isomorphic to $O(-1) \oplus O(-1)$, independently of the choice of $F$. In particular, if $G$ corresponds to another nontrivial line bundle of degree $0$, then $g\_\*(F) \cong g\_\*(G)$, but $F \not\cong G$.


