A short proof of a fibre criterion for polynomials to belong to an ideal.
An example concerning the embedded primes associated with an ideal in the ring of polynomials.
Remarks on Henselian rings.
Improper intersections in complex analytic geometry
Injective endomorphisms of algebraic varieties.
On a universal axiomatization of the real closed fields
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
Quantifier elimination in quasianalytic structures via non-standard analysis
The paper is a continuation of an earlier one where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here....
A theorem on generic intersections in an o-minimal structure
Consider a transitive definable action of a Lie group G on a definable manifold M. Given two (locally) definable subsets A and B of M, we prove that the dimension of the intersection σ(A) ∩ B is not greater than the expected one for a generic σ ∈ G.
Remarks on the generalized index of an analytic improper intersection
This article continues the investigation of the analytic intersection algorithm from the perspective of deformation to the normal cone, carried out in the previous papers of the author [7, 8, 9]. The main theorem asserts that, given an analytic set V and a linear subspace S, every collection of hyperplanes, admissible with respect to an algebraic bicone B, realizes the generalized intersection index of V and S. This result is important because the conditions for a collection of hyperplanes to be...
On arc-analytic functions definable by a Weierstrass system
This paper presents certain characterizations through blowing up of arc-analytic functions definable by a convergent Weierstrass system closed under complexification.
Supplement to the paper "Improper intersections in complex analytic geometry" (Dissertationes Math. 391 (2001))
On the Euler characteristic of the links of a set determined by smooth definable functions
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...
The Abhyankar-Jung theorem for excellent henselian subrings of formal power series
Given an algebraically closed field K of characteristic zero, we prove the Abhyankar-Jung theorem for any excellent henselian ring whose completion is a formal power series ring K[[z]]. In particular, examples include the local rings which form a Weierstrass system over the field K.
Decomposition into special cubes and its applications to quasi-subanalytic geometry
The main purpose of this paper is to present a natural method of decomposition into special cubes and to demonstrate how it makes it possible to efficiently achieve many well-known fundamental results from quasianalytic geometry as, for instance, Gabrielov's complement theorem, o-minimality or quasianalytic cell decomposition.
A proof of the valuation property and preparation theorem
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...
Quasianalytic perturbation of multi-parameter hyperbolic polynomials and symmetric matrices
This paper investigates hyperbolic polynomials with quasianalytic coefficients. Our main purpose is to prove factorization theorems for such polynomials, and next to generalize the results of K. Kurdyka and L. Paunescu about perturbation of analytic families of symmetric matrices to the quasianalytic setting.
A note on Bierstone-Milman-Pawłucki's paper "Composite differentiable functions"
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.
Addendum to the paper "Decomposition into special cubes and its application to quasi-subanalytic geometry" (Ann. Polon. Math. 96 (2009), 65-74)
Supplement to the paper "Quasianalytic perturbation of multi-parameter hyperbolic polynomials and symmetric matrices" (Ann. Polon. Math. 101 (2011), 275-291)
In IMUJ Preprint 2009/05 we investigated the quasianalytic perturbation of hyperbolic polynomials and symmetric matrices by applying our quasianalytic version of the Abhyankar-Jung theorem from IMUJ Preprint 2009/02, whose proof relied on a theorem by Luengo on ν-quasiordinary polynomials. But those papers of ours were suspended after we had become aware that Luengo's paper contained an essential gap. This gave rise to our subsequent article on quasianalytic perturbation theory, which developed,...
Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
This paper investigates the geometry of the expansion of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass preparation...
Page 1 Next