Numerical triviality and pullbacks (Q494120)

Let \(f: X \to Z\) be a surjective morphism between normal complex projective varieties with connected fibers. A real Cartier divisor on \(X\) is said \(f\)-numerically trivial if its intersection with every vertical curve class vanishes. (Recall that a curve class is vertical if its intersection with \(f^*H\) vanishes for some ample \(H\) on \(Z\).) The main theorem in this paper (see Thm. 1.2) states the equivalence, on a real Cartier divisor of \(X\), of being \(f\)-numerically trivial and numerically equivalent to the pullback of a real Cartier divisor on \(Z\), \(Z\) being \(\mathbb{Q}\)-factorial. Moreover, if the numerical triviality is asked only for the general fiber, then one can find a birational model of the setup (see Thm. 1.3) for which the \textit{movable part} in the (Nakayama) Zariski decomposition of the divisor is that of a pullback, \(Z\) is asked to be integral.