Arc-analytic functions (Q757648): Difference between revisions

A real function f on a real analytic manifold X is called arc-analytic if \(f\gamma\) is analytic for every analytic arc \(\gamma\) in X. The main result of the paper is the following theorem: If an arc-analytic function f on a real analytic (resp. algebraic) manifold X is solution of an equation \(a_ p(x)f^ p(x)+...+a_ 0(x)=0,\) where the \(a_ 0,...,a_ p\) are analytic (resp. regular) functions on X, with \(a_ p\neq 0\), then there exists a locally finite (resp. finite) sequence of blowing-up, with smooth analytic (resp. algebraic) centers, \(\pi\) : X\({}'\to...\to X\) such that \(f\pi\) is analytic (resp. Nash). The main technique in the proof, in addition to the resolution of singularities, is an investigation of the relationship between the arc- lifting property and the factorization of polynomials with analytic coefficients. In this framework the authors obtain an analogous of Puiseux's theorem in several variables and give a new proof of classical Puiseux's theorem.