# On the number of homotopy types of fibres of a definable map

### Reference:

Basu, S. and Vorobjov, N., 2007. On the number of homotopy types of fibres of a definable map. *Journal of the London Mathematical Society*, 76, pp. 757-776.

### Related documents:

This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.

### Abstract

In this paper we prove a single exponential upper bound on the number of possible homotopy types of the fibres of a Pfaffian map in terms of the format of its graph. In particular, we show that if a semi-algebraic set S subset of Rm+n, where R is a real closed field, is defined by a Boolean formula with s polynomials of degree less than d, and pi : Rm+n -> R-n is the projection on a subspace, then the number of different homotopy types of fibres of pi does not exceed s(2(m+1)n)(2(m)nd)(O(nm)). As applications of our main results we prove single exponential bounds on the number of homotopy types of semi-algebraic sets defined by fewnomials, and by polynomials with bounded additive complexity. We also prove single exponential upper bounds on the radii of balls guaranteeing local contractibility for semi-algebraic sets defined by polynomials with integer coefficients.

### Details

Item Type | Articles |

Creators | Basu, S.and Vorobjov, N. |

DOI | 10.1112/jlms/jdm069 |

Departments | Faculty of Science > Computer Science |

Refereed | Yes |

Status | Published |

ID Code | 5304 |

Additional Information | ID number: ISI:000252616100014 |

### Export

### Actions (login required)

View Item |