On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials

DOI10.4171/JEMS/468MaRDI QIDQ466903zbMATH OpenOpenAlexFDO

Authors Sal Barone, Saugata Basu

Publication date 31 October 2014

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

zbMATH Keywords

semi-algebraic setshomotopy typesadditive complexityHausdorff limit

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Topology of real algebraic varieties (14P25) Semialgebraic sets and related spaces (14P10)

Abstract: We prove that the number of distinct homotopy types of limits of one-parameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifier-free first order formula defining the family. As an important consequence, we derive that the number of distinct homotopy types of semi-algebraic subsets of $mathbb{R}^k$ defined by a quantifier-free first order formula $Phi$, where the sum of the additive complexities of the polynomials appearing in $Phi$ is at most $a$, is bounded by $2^{(k+a{)}^{O(1)}}$. This proves a conjecture made by Basu and Vorobjov [On the number of homotopy types of fibres of a definable map, J. Lond. Math. Soc. (2) 2007, 757--776].

Recommendations

• Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities
• On the number of homotopy types of fibres of a definable map
• scientific article; zbMATH DE number 194316
• scientific article; zbMATH DE number 4123882
• Different bounds on the different Betti numbers of semi-algebraic sets

Cites work

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 45943 (Why is no real title available?)
• scientific article; zbMATH DE number 1264802 (Why is no real title available?)
• Algorithms in real algebraic geometry
• BETTI NUMBERS OF SEMIALGEBRAIC AND SUB-PFAFFIAN SETS
• Betti number bounds, applications and algorithms
• Betti numbers of semialgebraic sets defined by quantifier-free formulae
• On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets
• On the Number of Additions to Compute Specific Polynomials
• On the number of homotopy types of fibres of a definable map
• On the number of topological types occurring in a parameterized family of arrangements
• Poset fiber theorems

Cited in

(5)

• scientific article; zbMATH DE number 4123882 (Why is no real title available?)
• Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities
• On the limit of families of algebraic subvarieties with unbounded volume
• Additive Complexity and Zeros of Real Polynomials
• On the number of topological types occurring in a parameterized family of arrangements

This page was built for publication: On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466903)