Lefschetz numbers for sheaf-trivial proper surjections (Q1873307)

From the fixed point theory point of view, the Lefschetz number of a self map is the sum of all fixed point indices of its fixed points. It is known that the fixed point index is multiplicative: if \(x_1\) and \(x_2\) are isolated fixed points of \(g_1\colon X_1\to X_1\) and \(g_2\colon X_2\to X_2\), then the index of the isolated fixed point \((x_1, x_2)\) of \((g_1,g_2)\colon X_1\times X_2\to X_1\times X_2\) is equal to the product of the fixed point indices \(ind(g_1, x_1)\) and \(ind(g_2, x_2)\). Thus, it should be expected that there exist some similar product formulae for Lefschetz numbers. The first formula was obtained by \textit{R. F. Brown} [Ann. Math. (2) 85, 483--493 (1967; Zbl 0149.20304)]. He proved that for a fibration \(f\colon E\to B\), the Lefschetz number \(L(g)\) of a fibre-preserving map is equal to \(L(\bar g) L(g_b)\), where \(\bar g\colon B\to B\) is the induced map of \(g\) on the base space \(B\), and \(g_b \colon F_b\to F_b\) is the restriction of \(g\) on a fibre. In this paper, the author considers a similar question in case \(E\) has the shape of a finite-dimensional connected separable metric ANR, the map \(f\colon E\to B\) is a closed and proper surjection with locally constant sheaves, and the induced map on \(B\) is the identity. As long as the Lefschetz numbers are well-defined, there is still a product formula \(L(g)=\chi(B)L(g_b)\). Because the induced map on \(B\) is the identity, its Lefschetz number is just the Euler characteristic \(\chi(B)\).