Analytic continuations of log-exp-analytic germs
Abstract
We describe maximal, in a sense made precise, analytic continuations of germs at infinity of unary functions definable in the o-minimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound on the logarithmic-exponential complexity of the compositional inverse of an infinitely increasing such germ, in terms of its own logarithmic-exponential complexity and its level. As a second application, we strengthen Wilkie's theorem on definable complex analytic continuations of germs belonging to the residue field of the valuation ring of all polynomially bounded definable germs.
Cite
@article{arxiv.1708.04496,
title = {Analytic continuations of log-exp-analytic germs},
author = {Tobias Kaiser and Patrick Speissegger},
journal= {arXiv preprint arXiv:1708.04496},
year = {2018}
}
Comments
54 pages. Final version accepted for publication in Trans. Amer. Math. Soc. One example added before Corollary 7.6, and various typos corrected