Doubling coverings via resolution of singularities and preparation

Abstract

In this paper, we provide asymptotic upper bounds on the complexity in two (closely related) situations. We confirm for the total doubling coverings and not only for the chains the expected bounds of the form [Formula: see text] This is done in a rather general setting, i.e. for the [Formula: see text]-complement of a polynomial zero-level hypersurface [Formula: see text] and for the regular level hypersurfaces [Formula: see text] themselves with no assumptions on the singularities of [Formula: see text]. The coefficient [Formula: see text] is the ambient dimension [Formula: see text] in the first case and [Formula: see text] in the second case. However, the question of a uniform behavior of the coefficient [Formula: see text] remains open. As a second theme, we confirm in arbitrary dimension the upper bound for the number of a-charts covering a real semi-algebraic set [Formula: see text] of dimension [Formula: see text] away from the [Formula: see text]-neighborhood of a lower dimensional set [Formula: see text], with bound of the form [Formula: see text] holding uniformly in the complexity of [Formula: see text]. We also show an analogue for level sets with parameter away from the [Formula: see text]-neighborhood of a low dimensional set. More generally, the bounds are obtained also for real subanalytic and real power-subanalytic sets.