We investigate several extension properties of Fréchet differentiable functions defined on closed sets for o-minimal expansions of real closed fields.

We study the extensibility of piecewise polynomial functions defined on closed subsets of ${ℝ}^2$ to all of ${ℝ}^2$. The compact subsets of ${ℝ}^2$ on which every piecewise polynomial function is extensible to ${ℝ}^2$ can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of $ℝ$. Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise polynomial...

We extend a result of M. Tamm as follows:Let $f:A\to ℝ,A\subseteq {ℝ}^{m+n}$, be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions $x\mapsto x^r:(0,\infty )\to ℝ,r\in ℝ$. Then there exists $N\in \mathbb{N}$ such that for all $(a,b)\in A$, if $y\mapsto f(a,y)$ is $C^N$ in a neighborhood of $b$, then $y\mapsto f(a,y)$ is real analytic in a neighborhood of $b$.

Given a multivariate polynomial $h\left(X_1,\cdots ,X_n\right)$ with integral coefficients verifying an hypothesis of analytic regularity (and satisfying $h\left(\mathbf{0}\right)=1$), we determine the maximal domain of meromorphy of the Euler product ${\prod }_{p\mathrm{prime}}h\left(p^{-s_1},\cdots ,p^{-s_n}\right)$ and the natural boundary is precisely described when it exists. In this way we extend a well known result for one variable polynomials due to Estermann from 1928. As an application, we calculate the natural boundary of the multivariate Euler products associated to a family of toric varieties.

Let S be a fibred surface. We prove that the existence of morphisms from non countably many fibres to curves implies, up to base change, the existence of a rational map from S to another surface fibred over the same base reflecting the properties of the original morphisms. Under some conditions of unicity base change is not needed and one recovers exactly the initial maps.

Let $h:{ℝ}^n\to ℝ$ be a continuous, piecewise-polynomial function. The Pierce-Birkhoff conjecture (1956) is that any such $h$ is representable in the form ${sup}_i{inf}_j{f}_{ij}$, for some finite collection of polynomials $f_{ij}\in ℝ[x_1,...,x_n]$. (A simple example is $h\left(x_1\right)=\left|x_1\right|=sup\{x_1,-x_1\}$.) In 1984, L. Mahé and, independently, G. Efroymson, proved this for $n\le 2$; it remains open for $n\ge 3$. In this paper we prove an analogous result for “generalized polynomials” (also known as signomials), i.e., where the exponents are allowed to be arbitrary real numbers, and not just natural numbers;...

Soient $(K,\nu )$ un corps valué et $L$ est une extension monogène finie de $K$ définie par $L=K\left[x\right]/\left(P\right)$, alors toute valuation de $L$ qui prolonge $\nu$ définit une pseudo-valuation $\zeta$ de $K\left[x\right]$ de noyau l’idéal $\left(P\right)$. Nous savons associer à $\zeta$ une famille de valuations de $K\left[x\right]$, appelée famille admissible, construite de façon explicite à partir de valuations augmentées et de valuations augmentées limites.Nous donnons une condition nécessaire et suffisante pour qu’une valuation $\mu$ de $K\left[x\right]$ appartienne à la famille admissible associée à une pseudo-valuation...