Bounding the equivariant Betti numbers of symmetric semi-algebraic sets

DOI10.1016/J.AIM.2016.09.015MaRDI QIDQ340423zbMATH OpenOpenAlexFDO

Authors Saugata Basu, Cordian Riener

Publication date 14 November 2016

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

symmetric polynomialsequivariant Betti numberssemi-algebraic sets

Mathematics Subject Classification ID

Topology of real algebraic varieties (14P25) Semialgebraic sets and related spaces (14P10)

Abstract: Let $mathrmR$ be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of $mathrm{R}^k$ in terms of the number and degrees of the defining polynomials has been an important problem in real algebraic geometry with the first results due to Ole{ui}nik and Petrovski{ui}, Thom and Milnor. These bounds are all exponential in the number of variables $k$. Motivated by several applications in real algebraic geometry, as well as in theoretical computer science, where such bounds have found applications, we consider in this paper the problem of bounding the equivariant Betti numbers of symmetric algebraic and semi-algebraic subsets of $mathrm{R}^k$. We obtain several asymptotically tight upper bounds. In particular, we prove that if $Ssubsetmathrm{R}^k$ is a semi-algebraic subset defined by a finite set of $s$ symmetric polynomials of degree at most $d$, then the sum of the $mathfrak{S}_k$-equivariant Betti numbers of $S$ with coefficients in $mathbbQ$ is bounded by $(skd{)}^{O(d)}$. Unlike the classical bounds on the ordinary Betti numbers of real algebraic varieties and semi-algebraic sets, the above bound is polynomial in $k$ when the degrees of the defining polynomials are bounded by a constant. As an application we improve the best known bound on the ordinary Betti numbers of the projection of a compact algebraic set improving for any fixed degree the best previously known bound for this problem due to Gabrielov, Vorobjov and Zell.

Recommendations

• On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms
• A sharper estimate on the Betti numbers of sets defined by quadratic inequalities
• Different bounds on the different Betti numbers of semi-algebraic sets
• Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications
• Different bounds on the different Betti numbers of semi-algebraic sets

Cites work

• scientific article; zbMATH DE number 3131597 (Why is no real title available?)
• scientific article; zbMATH DE number 1341779 (Why is no real title available?)
• scientific article; zbMATH DE number 529981 (Why is no real title available?)
• scientific article; zbMATH DE number 3223507 (Why is no real title available?)
• scientific article; zbMATH DE number 3053541 (Why is no real title available?)
• A note on extrema of linear combinations of elementary symmetric functions
• Algorithms in real algebraic geometry
• Approximation of definable sets by compact families, and upper bounds on homotopy and homology
• BETTI NUMBERS OF SEMIALGEBRAIC AND SUB-PFAFFIAN SETS
• Betti number bounds, applications and algorithms
• Betti numbers of random real hypersurfaces and determinants of random symmetric matrices
• Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials
• Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials
• Decision tree complexity and Betti numbers
• FI-modules and stability for representations of symmetric groups
• Feasibility testing for systems of real quadratic equations
• Inequalities defining orbit spaces
• Linear Decision Trees, Subspace Arrangements, and Mobius Functions
• Lower bounds for arithmetic networks. II: Sum of Betti numbers
• Most tensor problems are NP-hard
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• On the Betti Numbers of Real Varieties
• On the Betti numbers of semialgebraic sets defined by few quadratic inequalities
• On the degree and half-degree principle for symmetric polynomials
• On the positivity of symmetric polynomial functions. I: General results
• On the positivity of symmetric polynomial functions. II: Lattice general results and positivity criteria for degrees 4 and 5
• On the positivity of symmetric polynomial functions. III: Extremal polynomials of degree 4
• Positive symmetric functions
• Quotients of Coxeter complexes and 𝑃-partitions

Cited in

(13)

• Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
• Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications
• Topology of real multi-affine hypersurfaces and a homological stability property
• New directions in real algebraic geometry. Abstracts from the workshop held March 19--24, 2023
• Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials
• On the isotypic decomposition of cohomology modules of symmetric semi-algebraic sets: polynomial bounds on multiplicities
• Real root finding for equivariant semi-algebraic systems
• Computing critical points for invariant algebraic systems
• On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms
• On the number of homotopy types of fibres of a definable map
• Faster real root decision algorithm for symmetric polynomials
• Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets
• Different bounds on the different Betti numbers of semi-algebraic sets

This page was built for publication: Bounding the equivariant Betti numbers of symmetric semi-algebraic sets

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