Eine bemerkenswerte Eigenschaft der formellen Fasern affinoider Räume.
On définit, pour un germe d’ensemble sous-analytique, deux nouvelles suites finies d’invariants numériques. La première a pour termes les localisations des courbures de Lipschitz-Killing classiques, la seconde est l’équivalent réel des caractéristiques évanescentes complexes introduites par M. Kashiwara. On montre que chaque terme d’une de ces suites est combinaison linéaire des termes de l’autre, puis on relie ces invariants à la géométrie des discriminants des projections du germe sur des plans...
We give a criterion for a real-analytic function defined on a compact nonsingular real algebraic set to be analytically equivalent to a rational function.
Nous définissons l’espace des germes d’arcs réels tracés sur un ensemble semi-algébrique de , analogue réel de la théorie développée par Denef et Loeser concernant l’espace des germes d’arcs tracés sur une variété algébrique complexe. Puis, reprenant leur méthodes, nous prouvons la rationalité de la série de Poincaré associée à un ensemble semi-algébrique.
In Example 1, we describe a subset X of the plane and a function on X which has a -extension to the whole for each finite, but has no -extension to . In Example 2, we construct a similar example of a subanalytic subset of ; much more sophisticated than the first one. The dimensions given here are smallest possible.
An algebra homomorphism of the locatized affine rings of an algebraic variety is continuous in the Krull topology of the respective local rings. It is not necessarily open or closed in the Krull topology. However, we show that the induced map on the associated analytic local rings is also open and closed in the Krull topology. To do this we prove a conjecture of Tougeron which states that if is an analytic curve on an analytic variety and is a formal power series which is convergent when restricted...
Letg:U→ℝ (U open in ℝn) be an analytic and K-subanalytic (i. e. definable in ℝanK, whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū.