On the number of topological types occurring in a parameterized family of arrangements

DOI10.1007/S00454-008-9079-5zbMATH Open1159.52024arXiv0704.0295OpenAlexW2091592131MaRDI QIDQ1006392FDOQ1006392

Authors: Saugata Basu 

Publication date: 24 March 2009

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

Abstract: Let $mathcalS(R)$ be an o-minimal structure over $R$, $Tsubset{R}^{k_1+k_2+ell}$ a closed definable set, and ${\displaystyle }$ displaylines{pi_1: R^{k_1+k_2+ell} o R^{k_1 + k_2}, pi_2: R^{k_1+k_2+ell} o R^{ell}, pi_3: R^{k_1 + k_2} o R^{k_2}} ${\displaystyle }$ the projection maps. For any collection $mathcalA=A_1,\mathrm{...},A_n$ of subsets of $R^{k_1+k_2}$, and $zin{R}^{k_2}$, let $A_z$ denote the collection of subsets of $R^{k_1}$, $A_{1,z},\mathrm{...},A_{n,z}$, where $A_{i,z}=A_{i}capp{i}_3^{-1}(z),1leqileqn$. We prove that there exists a constant $C=C(T)>0,$ such that for any family $mathcalA=A_1,\mathrm{...},A_n$ of definable sets, where each $A_i=p{i}_1(Tcapp{i}_2^{-1}(y_i))$, for some $y_{i}in{R}^{ell}$, the number of distinct stable homotopy types of $A_z,zin{R}^{k_2}$, is bounded by $displaystyleCcdot{n}^{(k_1+1)k_2},$ while the number of distinct homotopy types is bounded by $displaystyleCcdot{n}^{(k_1+3)k_2}.$ This generalizes to the general o-minimal setting, bounds of the same type proved in cite{BV} for semi-algebraic and semi-Pfaffian families. One main technical tool used in the proof of the above results, is a topological comparison theorem which might be of independent interest in the study of arrangements.

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

Recommendations

• On the number of homotopy types of fibres of a definable map
• Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities
• Combinatorial complexity in o-minimal geometry
• Approximation of definable sets by compact families, and upper bounds on homotopy and homology
• On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials

zbMATH Keywords

arrangementso-minimal structurescombinatorial complexityhomotopy types

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Helly-type theorems and geometric transversal theory (52A35) Combinatorial complexity of geometric structures (52C45)

Cites Work

• Geometric categories and o-minimal structures
• The field of reals with multisummable series and the exponential function.
• Title not available (Why is that?)
• The real field with convergent generalized power series
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Algorithms in real algebraic geometry
• A Vietoris Mapping Theorem for Homotopy
• Title not available (Why is that?)
• Definable Sets in Ordered Structures. III
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Solving systems of polynomial inequalities in subexponential time
• Approximation of definable sets by compact families, and upper bounds on homotopy and homology
• A theorem of the complement and some new o-minimal structures
• Quasianalytic Denjoy-Carleman classes and o-minimality
• Title not available (Why is that?)
• On the number of homotopy types of fibres of a definable map
• Title not available (Why is that?)
• Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems
• Title not available (Why is that?)
• Duality in relative homotopy theory

Cited In (3)

• Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities
• Feigenbaum Numbers for Certain Flat-Top Families
• On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials

This page was built for publication: On the number of topological types occurring in a parameterized family of arrangements

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