Approximation of definable sets by compact families, and upper bounds on homotopy and homology

Abstract

We prove new upper bounds on homotopy and homology groups of o-minimal sets in terms of their approximations by compact o-minimal sets. In particular, we improve the known upper bounds on Betti numbers of semialgebraic sets defined by quantifier-free formulae, and obtain for the first time a singly exponential bound on Betti numbers of sub-Pfaffian sets.

20 pages, 2 figures

Cited by in corpus (8)

• Computing the Homology of Semialgebraic Sets. II: General formulas
• Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets
• A complexity theory of constructible functions and sheaves
• Homotopy type of the complex of free factors of a free group
• Triangulations of monotone families I: Two-dimensional families
• Improved effective Łojasiewicz inequality and applications
• Quantitative approximate definable choices
• Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications