In [11] and [12], A. Nemethi studied the Milnor fiber and monodromy zeta function of composed functions of the form f(g1, g2) with f a two variable polynomial and g1 and g2 polynomials with distinct sets of variables. The present paper addresses the question of proving similar results for the motivic Milnor fiber introduced by Denef and Loeser, cf. [1],[3],[10],[4]. In fact, Nemethi later considered in [13] the more general situation of a composition f ◦ g : (X,x) → (C, 0) → (C, 0), where g has a reasonable discriminant. Still later, Nemethi and Steenbrink [14] proved similar results at the level of the Hodge spectrum [16],[17],[18], using the theory of mixed Hodge modules. In particular, they were able to compute, under mild assumptions, the Hodge spectrum of composed functions of the form f(g1, g2) without assuming the variables in g1 and g2 are distinct. Their result involves the discriminant of the morphism g = (g1, g2). In a previous paper [7], we computed the motivic Milnor fiber for functions of the form g1 + g 2 when ` is large without assuming the variables in g1 and g2 are distinct. The corresponding result for the Hodge spectrum goes back to M. Saito [15] and is a special case of the results of Nemethi and Steenbrink [14]. So, it seems very natural to search for a full motivic analogue of the results of [14]. At the present time, we are unable to realize this program and we have to limit ourself, as we already mentioned, to the case when g1 and g2 have no variable in common. Already extending our result to the case when one only assumes the discriminant of the morphism g is contained in the coordinate axes seems to require new ideas.
Read full abstract