Composition with a two variable function (Q843059)

The article generalizes several results to the level of motivic Milnor fiber and motivic zeta function, introduced by \textit{J. Denef} and \textit{F. Loeser} [J. Algebr. Geom. 7, No. 3, 505--537 (1998; Zbl 0943.14010)], previously proved for topological or Hodge theoretical invariants. For composed singularities, \textit{A. Némethi} [Compos. Math. 79, No. 1, 63--97 (1991; Zbl 0724.32020)] determined their Milnor fiber and monodromy zeta function. For such a computation one needs some good properties for the discriminant of the pair \((h,g)\). One such particular situation is when this discriminant is a normal crossing divisor. E.g., in such a case, the Hodge spectrum of the composed map also can be determined (Némethi-Steenbrink). The present article targets the analogous results at the level of the motivic zeta function: at this level of technicality already the case when the discriminant is a normal crossing divisor needs essentially new ideas. The article clarifies completely the situation when \(h\) and \(g\) have no variables in common. The proof involves a reinterpretation of \textit{G. Guibert}'s theorem [Comment. Math. Helv. 77, No. 4, 783--820 (2002; Zbl 1046.14008)].