A Bertini type theorem in analytic geometry.
We construct an arc-analytic function (i.e. a function analytic on each analytic arc) whose graph is not subanalytic.
A definable subset of a Euclidean space X is called perfectly situated if it can be represented in some linear system of coordinates as a finite union of (graphs of) definable 𝓒¹-maps with bounded derivatives. Two subsets of X are called simply separated if they satisfy the Łojasiewicz inequality with exponent 1. We show that every closed definable subset of X of dimension k can be decomposed into a finite family of closed definable subsets each of which is perfectly situated and such that any...
If Σ is a compact subset of a domain Ω ⊂ ℂ and the cluster values on ∂Σ of a holomorphic function f in Ω∖Σ, f' ≢ 0, are contained in a compact null-set for the holomorphic Dirichlet class, then f extends holomorphically onto the whole domain Ω.
A continuous linear extension operator, different from Whitney’s, for -Whitney fields (p finite) on a closed o-minimal subset of is constructed. The construction is based on special geometrical properties of o-minimal sets earlier studied by K. Kurdyka with the author.
We present a version of Bézout's theorem basing on the intersection theory in complex analytic geometry. Some applications for products of surfaces and curves are also given.
We demonstrate that the composite function theorems of Bierstone-Milman-Pawłucki and of Glaeser carry over to any polynomially bounded, o-minimal structure which admits smooth cell decomposition. Moreover, the assumptions of the o-minimal versions can be considerably relaxed compared with the classical analytic ones.
We begin this article with a graph theorem and a kind of Nullstellensatz for weakly holomorphic functions. This yields a general Nullstellensatz for c-holomorphic functions on locally irreducible sets. In Section 2 some methods of Płoski-Tworzewski permit us to prove an effective Nullstellensatz for c-holomorphic functions in the case of a proper intersection with the degree of the intersection cycle as exponent. We also extend this result to the case of isolated improper intersection, generalizing...
The purpose of this article is to present a short model-theoretic proof of the valuation property for a polynomially bounded o-minimal theory T. The valuation property was conjectured by van den Dries, and proved for the polynomially bounded case by van den Dries-Speissegger and for the power bounded case by Tyne. Our proof uses the transfer principle for the theory (i.e. T with an extra unary symbol denoting a proper convex subring), which-together with quantifier elimination-is due to van den...
A correct formulation of the Lion-Rolin Preparation Theorem for logarithmic-subanalytic functions (LA-functions) is given.
A version of the Schwarz lemma for correspondences is studied. Two applications are obtained namely, the 'non-increasing' property of the Kobayashi metric under correspondences and a weak version of the Wong-Rosay theorem for convex, finite type domains admitting a 'non-compact' family of proper correspondences.
We show that for a polynomial mapping the Łojasiewicz exponent of F is attained on the set .
On étudie certaines algèbres de fonctions analytiques réelles définies sur un ouvert de . La propriété principale de ces algèbres est que tout semi-analytique de défini globalement à l’aide d’un nombre fini de fonctions de , admet un nombre fini de composantes connexes. En reprenant les idées de Khovanskii (lemme de Rolle généralisé), on démontre que ces algèbres restent topologiquement noethériennes quand on leur adjoint les solutions de certaines équations différentielles du ler ordre. Par...