On the blowing down problem in C-analytic geometry.
The purpose of this paper is to carry over to the o-minimal settings some results about the Euler characteristic of algebraic and analytic sets. Consider a polynomially bounded o-minimal structure on the field ℝ of reals. A () smooth definable function φ: U → ℝ on an open set U in ℝⁿ determines two closed subsets W := u ∈ U: φ(u) ≤ 0, Z := u ∈ U: φ(u) = 0. We shall investigate the links of the sets W and Z at the points u ∈ U, which are well defined up to a definable homeomorphism. It is proven...
We consider the 17th Hilbert Problem for global real analytic functions in a modified form that involves infinite sums of squares. Then we prove a local-global principle for a real global analytic function to be a sum of squares of global real meromorphic functions. We deduce that an affirmative solution to the 17th Hilbert Problem for global real analytic functions implies the finiteness of the Pythagoras number of the field of global real meromorphic functions, hence that of the field of real...
A local-global version of the implicit function theorem in o-minimal structures and a generalization of the theorem of Wilkie on covering open sets by open cells are proven.
We use the construction of the intersection product of two algebraic cones to prove that the multiplicity of contact of the cones at the vertex is equal to the product of their degrees. We give an example to show that in order to calculate the index of contact it is not sufficient to perform the analytic intersection algorithm with hyperplanes.
An effective formula for the Łojasiewicz exponent for analytic curves in a neighbourhood of 0 ∈ ℂ is given.
The Łojasiewicz exponent of the gradient of a convergent power series h(X,Y) with complex coefficients is the greatest lower bound of the set of λ > 0 such that the inequality holds near for a certain c > 0. In the paper, we give an estimate of the Łojasiewicz exponent of grad h using information from the Newton diagram of h. We obtain the exact value of the exponent for non-degenerate series.
The paper establishes the basic algebraic theory for the Gevrey rings. We prove the Hensel lemma, the Artin approximation theorem and the Weierstrass-Hironaka division theorem for them. We introduce a family of norms and we look at them as a family of analytic functions defined on some semialgebraic sets. This allows us to study the analytic and algebraic properties of this rings.