TY - JOUR

T1 - Betti numbers of semialgebraic and sub-Pfaffian sets

AU - Gabrielov, A

AU - Vorobjov, N

AU - Zell, T

N1 - ID number: ISI:000220236400003

PY - 2004

Y1 - 2004

N2 - Let X be a subset in [-1, 1](n0) subset of R-n0 defined by the formula X = {x(0) \ Q(1)x(1) Q(2)x(2) ... Q(v)x(v) ((x(0), x(1), ...,x(v)) is an element of X-v)}, where Q(i) is an element of {There Exists, For All}, Q(i) not equal Q(i+1), x(i) is an element of [-1, 1](ni), and X-v may be either an open or a closed set in being the difference between a finite CW-complex and its subcomplex. An upper bound on each Betti number of X is expressed via a sum of Betti numbers of some sets defined by quantifier-free formulae involving X-v. In important particular cases of semialgebraic and semi-Pfaffian sets defined by quantifier-free formulae with polynomials and Pfaffian functions respectively, upper bounds on Betti numbers of X-v are well known. The results allow to extend the bounds to sets defined with quantifiers, in particular to sub-Pfaffian sets.

AB - Let X be a subset in [-1, 1](n0) subset of R-n0 defined by the formula X = {x(0) \ Q(1)x(1) Q(2)x(2) ... Q(v)x(v) ((x(0), x(1), ...,x(v)) is an element of X-v)}, where Q(i) is an element of {There Exists, For All}, Q(i) not equal Q(i+1), x(i) is an element of [-1, 1](ni), and X-v may be either an open or a closed set in being the difference between a finite CW-complex and its subcomplex. An upper bound on each Betti number of X is expressed via a sum of Betti numbers of some sets defined by quantifier-free formulae involving X-v. In important particular cases of semialgebraic and semi-Pfaffian sets defined by quantifier-free formulae with polynomials and Pfaffian functions respectively, upper bounds on Betti numbers of X-v are well known. The results allow to extend the bounds to sets defined with quantifiers, in particular to sub-Pfaffian sets.

U2 - 10.1112/s0024610703004939

DO - 10.1112/s0024610703004939

M3 - Article

SN - 0024-6107

VL - 69

SP - 27

EP - 43

JO - Journal of the London Mathematical Society

JF - Journal of the London Mathematical Society

ER -