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

DOI10.4171/JEMS/468zbMATH Open1333.14056arXiv1102.0080OpenAlexW2963477322MaRDI QIDQ466903FDOQ466903

Authors: Sal Barone, Saugata Basu 

Publication date: 31 October 2014

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

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].

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

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

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)

Cites Work

• Title not available (Why is that?)
• Algorithms in real algebraic geometry
• Title not available (Why is that?)
• BETTI NUMBERS OF SEMIALGEBRAIC AND SUB-PFAFFIAN SETS
• Betti number bounds, applications and algorithms
• Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem
• Betti numbers of semialgebraic sets defined by quantifier-free formulae
• On the number of topological types occurring in a parameterized family of arrangements
• On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets
• On the Number of Additions to Compute Specific Polynomials
• Title not available (Why is that?)
• Poset fiber theorems
• On the number of homotopy types of fibres of a definable map

Cited In (5)

• Additive Complexity and Zeros of Real Polynomials
• On the limit of families of algebraic subvarieties with unbounded volume
• Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities
• Title not available (Why is that?)
• 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)