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

DOI10.1007/S00454-008-9079-5MaRDI QIDQ1006392zbMATHOpenAlexFDO

Publication date 24 March 2009

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

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

arrangements o-minimal structures combinatorial complexity homotopy types

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)

Abstract: Let

m a t h c a l S (R)

be an o-minimal structure over

R

,

T s u b s e t R^{k_{1} + k_{2} + e l l}

a closed definable set, and

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}}

the projection maps. For any collection

m a t h c a l A = A_{1}, ..., A_{n}

of subsets of

R^{k_{1} + k_{2}}

, and

z i n R^{k_{2}}

, let

A_{z}

denote the collection of subsets of

R^{k_{1}}

,

A_{1, z}, ..., A_{n, z}

, where

A_{i, z} = A_{i} c a p p i_{3}^{- 1} (z), 1 l e q i l e q n

. We prove that there exists a constant

C = C (T) > 0,

such that for any family

m a t h c a l A = A_{1}, ..., A_{n}

of definable sets, where each

A_{i} = p i_{1} (T c a p p i_{2}^{- 1} (y_{i}))

, for some

y_{i} i n R^{e l l}

, the number of distinct stable homotopy types of

A_{z}, z i n R^{k_{2}}

, is bounded by

d i s p l a y s t y l e C c d o t n^{(k_{1} + 1) k_{2}},

while the number of distinct homotopy types is bounded by

d i s p l a y s t y l e C c d o t 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.

Recommendations

Cites work

Cited in

(3)

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)