Extensions of arc-analytic functions (Q1751043): Difference between revisions

A semialgebraic set \(X\subset{\mathbb R}^n\) is called arc-symmetric if, for any real-analytic arc \(\gamma:(-1,1)\to{\mathbb R}^n\), the inclusion \(\gamma(-1,0)\subset X\) yields \(\gamma(-1,1)\subset X\). A function \(f:X\to{\mathbb R}\) is called arc-analytic semialgebraic if its graph is semialgebraic, and the restriction to any real-analytic arc in \(X\) is a real-analytic function. It is known that the closed arc-symmetric semialgebraic sets define a noetherian topology on \({\mathbb R}^n\) and they are, in fact, zero loci of arc-analytic semialgebraic functions. The paper under review presents one more important property of such sets and functions: the main result states that an arc-analytic semialgebraic function on a closed arc-symmetric semialgebraic set can be extended to the whole Euclidean space \({\mathbb R}^n\) as an arc-analytic semialgebraic function. Furthermore, the closed arc-symmetric semialgebraic sets are the only semialgebraic subsets of \({\mathbb R}^n\) that enjoy the above extension property. The crucial ingredient of the proof is a certain embedded desingularization of an arc-symmetric semialgebraic subset of \({\mathbb R}^n\) via a sequence of Nash blow-ups.