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

DOI10.1112/jlms/jdp006zbMath1177.14097arXiv0710.3028OpenAlexW3104275909MaRDI QIDQ5323898

Andrei Gabrielov, Nikolaj N. jun. Vorob'ev

Publication date: 31 July 2009

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0710.3028

zbMATH Keywords

homologyhomotopyBetti numberssub-Pfaffian setso-minimal structuressemi-algebraic setssemi-Pfaffian setsexpansion of the reals

Mathematics Subject Classification ID

Real-analytic and semi-analytic sets (14P15) Topology of real algebraic varieties (14P25) Model theory of ordered structures; o-minimality (03C64)

Related Items (19)

Upper bounds on Betti numbers of tropical prevarieties ⋮ Wilkie's conjecture for restricted elementary functions ⋮ Triangulations of monotone families I: two-dimensional families ⋮ Bounding the equivariant Betti numbers of symmetric semi-algebraic sets ⋮ On the Reeb spaces of definable maps ⋮ On generalizing Descartes' rule of signs to hypersurfaces ⋮ Topological lower bounds for arithmetic networks ⋮ Persistent Homology of Semialgebraic Sets ⋮ Semi-monotone sets ⋮ Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem ⋮ Helly numbers of acyclic families ⋮ Density of algebraic points on Noetherian varieties ⋮ Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications ⋮ On topological lower bounds for algebraic computation trees ⋮ On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms ⋮ On the number of topological types occurring in a parameterized family of arrangements ⋮ 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

This page was built for publication: Approximation of definable sets by compact families, and upper bounds on homotopy and homology