Transition maps at non-resonant hyperbolic singularities are o-minimal

@inproceedings{Kaiser2006TransitionMA,
  title={Transition maps at non-resonant hyperbolic singularities are o-minimal},
  author={Tobias Kaiser and Jean-Philippe Rolin and Patrick Speissegger},
  year={2006}
}
Abstract We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field ξ and any isolated, non-resonant hyperbolic singularity p of ξ, a transition map for ξ at p is definable in . This expansion also defines all convergent generalized power series with natural support and is polynomially bounded. 

Figures from this paper

Conformal mapping of o-minimal corners
Abstract We say that a simply connected domain in the plane has an o-minimal corner at the origin if its boundary at the origin is given by two curves forming a corner of nonzero angle which areExpand
Smooth functions in o-minimal structures
Abstract Fix an o -minimal expansion of the real exponential field that admits smooth cell decomposition. We study the density of definable smooth functions in the definable continuouslyExpand
O-minimal Analytic Separation of Sets in Dimension 2
  • A. Fischer
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 2009
TLDR
If the set of analytic germs is dense in the Hardy field, then it can definably analytically separate sets in R 2, and the same statement holds for definable smooth functions. Expand
THE RIEMANN MAPPING THEOREM FOR o-MINIMAL FUNCTIONS
The proof of the Riemann mapping theorem is not constructive. We study versions of it for sets and functions which are definable in an ominimal expansion of the real field. The diffeomorphismsExpand
Piecewise Weierstrass preparation and division for o-minimal holomorphic functions
Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In theExpand
Tame Complex Analysis and o-minimality
We describe here a theory of holomorphic functions and analytic manifolds, restricted to the category of definable objects in an o-minimal structure which expands a real closed field R. In thisExpand
The two-dimensional Laplace operator and tameness
We investigate the Dirichlet solution for a semianalytic continuous function on the boundary of a semianalytic bounded domain in the plane. We show that the germ of the Dirichlet solution at aExpand
The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure
We investigate the Dirichlet solution for a semianalytic continuous function on the boundary of a semianalytic bounded domain in the plane. We show that the germ of the Dirichlet solution at aExpand
ALGEBRAIC MODELS FOR O-MINIMAL MANIFOLDS
A difierentiable manifold admits an algebraic model if it is difieo- morphic to some non-singular real algebraic set. We prove that every manifold whose underlying set is deflnable in some o-minimalExpand
The Riemann mapping theorem for semianalytic domains and o-minimality
We consider the Riemann Mapping Theorem in the case of a bounded simply connected and semianalytic domain. We show that the germ at 0 of the Riemann map (i.e. biholomorphic map) from the upper halfExpand
...
1
2
3
4
...

References

SHOWING 1-3 OF 3 REFERENCES
THE REAL FIELD WITH CONVERGENT GENERALIZED POWER SERIES
We construct a model complete and o-minimal expansion of the field of real numbers in which each real function given on [0, 1] by a series ∑ cnxn with 0 ≤ αn → ∞ and ∑ |cn|rαn 1 is definable. ThisExpand
The field of reals with multisummable series and the exponential function
We show that the field of real numbers with multisummable real power series is model complete, o-minimal and polynomially bounded. Further expansion by the exponential function yields again a modelExpand
Centennial History of Hilbert’s 16th Problem
The second part of Hilbert’s 16th problem deals with polynomial differential equations in the plane. It remains unsolved even for quadratic polynomials. There were several attempts to solve it thatExpand