English

Smooth parameterizations of power-subanalytic sets and compositions of Gevrey functions

Logic 2022-07-25 v2 Algebraic Geometry

Abstract

We show that if XX is an mm-dimensional definable set in Ranpow\mathbb{R}^\text{pow}_\text{an}, the structure of real subanalytic sets with real power maps added, then for any positive integer r there exists a CrC^r-parameterization of X consisting of crm3cr^{m^3} maps for some constant cc. Moreover, these maps are real analytic and this bound is uniform for a definable family.

Keywords

Cite

@article{arxiv.1905.06408,
  title  = {Smooth parameterizations of power-subanalytic sets and compositions of Gevrey functions},
  author = {Siegfried Van Hille},
  journal= {arXiv preprint arXiv:1905.06408},
  year   = {2022}
}

Comments

Main result adjusted from r^{m^2} charts to r^{m^3} charts. Some extra results on mild functions have been added