The modified analytic trivialization of real analytic families via blowing-ups (Q1093051)

Let F(x;t): \(({\mathbb{R}}^ n\times {\mathbb{R}}^ m,0\times I)\to ({\mathbb{R}},0)\) be a real analytic function or a real analytic family where I is a compact cube. We say that F is \({\mathbb{R}}\)-(resp. \({\mathbb{C}}\)-)non-degenerate if all functions \(f_ t(x):=F(x;t)\), \(t\in I\) have a same Newton polygon \(\Gamma _ +\) and the Newton principal part of each \(f_ t\) is \({\mathbb{R}}\)-(resp. \({\mathbb{C}}\)-) non-degenerate. Let \(F(x;t)=\sum ^{k}_{j=0}c_ j(x;t)x^{i_ j},\quad c_ j(0;t)\neq 0\) and \({\mathbb{R}}\pi:\) \({\mathbb{R}}X\to {\mathbb{R}}^ n\) (resp. \({\mathbb{C}}\pi | {\mathbb{R}}:\) \({\mathbb{C}}X| {\mathbb{R}}\to {\mathbb{R}}^ n)\) be the subblowing (resp. blowing-up) of \({\mathbb{R}}^ n\) with center \({\mathbb{R}}W:=\{xi_ 0=...=x^{i_ k}=0\}\). Main results in this paper are the following. Theorem 1. Let F be an \({\mathbb{R}}\)-(resp. \({\mathbb{C}}\)-) non-degenerate family, then F admits an almost \({\mathbb{R}}\pi\) (resp. \({\mathbb{C}}\pi | {\mathbb{R}})\)-modified analytic trivialization along I. Namely, there exists a level preserving analytic isomorphism \~H of \(({\mathbb{R}}X\times I,{\mathbb{R}}\pi ^{-1}(0)\times I)\) (resp. \(({\mathbb{C}}X| {\mathbb{R}}\times I,{\mathbb{C}}\pi | {\mathbb{R}}^{-1}(0)\times I))\) such that \~H\(\circ ({\mathbb{R}}\pi \times id_ I)\circ F(x;t)\) (resp. \~H\(\circ ({\mathbb{C}}\pi | {\mathbb{R}}\times id_ I)\circ F(x;t))\) is independent of t. Theorem 2. Let F be a real analytic family as above. Moreover, if F is independent of t for any singular face of \(\Gamma _ +\), then F admits an \({\mathbb{R}}\pi\) (resp. \({\mathbb{C}}\pi | {\mathbb{R}})\)-modified analytic trivialization along I. Namely, F admits an almost \({\mathbb{R}}\pi\) (resp. \({\mathbb{C}}\pi | {\mathbb{R}})\)-modified analytic trivialization along I and \~H induces a homeomorphism H of \(({\mathbb{R}}^ n\times I,0\times I).\) Theorem 3. Let F be a strongly \({\mathbb{R}}\)-(resp. \({\mathbb{C}}\)-) non- degenerate. Then F admits an \({\mathbb{R}}\pi\) (resp. \({\mathbb{C}}\pi | {\mathbb{R}})\)-modified analytic trivialization along I.