Let $f:X \to Y$ be a proper, birational morphism with connected fibers, $X$ is non-singular and $Y$ is normal. Does there exist a moduli space parametrizing all invertible sheaves $\mathcal{L}$ on $X$ such that $f\_\*\mathcal{L}$ is isomorphic to the trivial sheaf $\mathcal{O}\_Y$? If so, is there any literature on this topic, for example how can I compute the dimension of such a space, is it non-singular, etc.?



A moduli problem inspired by Stein factorization
I don't know a reference but I think what I said in the comment is more or less obvious. Let me prove it though in detail. Again, I can't imagine one can make this into any reasonable moduli space. 


**Setting:** Suppose that $\pi : X \to Y$ is a proper birational map with connected fibers with $X$ nonsingular and $Y$ normal. 


**Lemma:** *Suppose that $L$ is a line bundle on $X$ and $\pi\_\* L \cong O\_Y$. Then $L \cong O\_X(D)$ for a uniquely determined $D$, an effective $\pi$-exceptional divisor.*


*Proof:* Embed $L \subseteq K(X)$ so that $L = O\_X(F)$ for some divisor $F$. Then $\pi\_\* L \subseteq K(Y)$. Let $M = \pi\_\* L \subseteq K(Y)$. We know $M \cong O\_Y$ is a line bundle and hence $M = O\_Y(G)$ for some divisor $G$ (in fact $G = \text{div}\_Y(h)$ where $h$ is in $K(Y)$ but that doesn't matter for what follows). 


Next consider $D := F - \pi^\* G \sim F$ and observe that $O\_X(F - \pi^\*G) \cong O\_X(F) = L$. Also not the $\pi\_\* O\_X(D) = O\_Y \subseteq K(Y)$. Since $F$ and $G$ agree where $\pi$ is an isomorphism by construction, we see that $D$ is exceptional. Next observe that if $D$ is non-effective, say $D = \sum a\_i D\_i$ and $a\_1 < 0$, then $1 \notin \Gamma(X, O\_X(D))$ (since $1$ does not vanish at $D\_1$). But then $\Gamma(X, O\_X(D)) = \Gamma(Y, \pi\_\* O\_X(D)) = \Gamma(Y, O\_Y)$ and so $1 \notin \Gamma(Y, O\_Y)$ which is absurd. This proves existence of an effective $D$ satisfying the property.


For uniqueness, suppose that $O\_X(D) \cong O\_X(D')$ so that $D - D' = \text{div}\_X u$ for some $u \in K(X)$. Also suppose $\pi\_\* O\_X(D) = O\_Y = \pi\_\* O\_X(D')$. Then $D - D'$ is $\pi$-exceptional but also the divisor of a rational function in the fraction field. Since $\text{div}\_Y(u) = 0$ by construction, we see that $u$ is a unit in $\Gamma(Y, O\_Y)$. But then $u$ is also a unit in $\Gamma(X, O\_X) = \Gamma(Y, O\_Y)$ and hence $\text{div}\_X(u) = 0$ as well. Thus $D - D' = 0$ and we have proven uniqueness.


