Asymptotic expansions of fiber integrals over higher-dimensional bases (Q2661306)

This article generalizes to the case of a map $f :\mathbb{C}^N \to\mathbb{C}^k$ which is a product $f = f_1 \times \dots \times f_k$ where each $f_j :\mathbb{C}^{n_j} \to\mathbb{C}$ is a monomial, with $k > 1$ and $N = \sum^k_{j=1} n_j$, the results of the article [the reviewer, Invent. Math. 68, 129--174 (1982; Zbl 0508.32003)] which gives the asymptotic expansions for the fiber-integrals of $\mathscr{C}^\infty_c(U)$-$(n, n)$-forms associated to a holomorphic function $f : U \to\mathbb{C}$ when $U$ is an open neighborhood of the origin in $\mathbb{C}^{n+1}$. This is not an easy generalization as it needs to introduce parameters in the case treated in [loc. cit.] in order to make an induction which is technically heavy. The main motivation, and also the main interest to extend to such maps the results known for $k = 1$ come from the fact that for any given algebraic fiber space $g : X \to T$ there exists a weak semi-stable reduction (in characteristic 0) due to [\textit{D. Abramovich} and \textit{K. Karu}, Invent. Math. 139, No. 2, 241--273 (2000; Zbl 0958.14006)]. This result allows to apply to such a weak semi-stable reduction of $g$ the theorems proved in the present article. This is analogous to the use of Hironaka's desingularisation in the case of [the reviewer, loc. cit.]. But it needs some blow-up on the basis of $g$ which may be not so easy to control in general situations. However it gives a new and efficient tool to understand, for instance, the behavior of the push-forward of smooth metrics at the singular fibers in holomorphic families of compact complex manifolds on a $k$-dimensional basis for $k > 1$.