An Isaac Newton Institute Workshop

Model Theory, Algebraic and Analytic Geometry

Betti numbers of definable sets

15th July 2005

Author: A. Gabrielov (Purdue )

Abstract

A spectral sequence associated with a surjective closed mapping allows one to provide upper bounds for the Betti numbers of a wide class of sets defined by formulas with quantifiers in terms of the Betti numbers of auxiliary sets defined by quantifier-free formulas. A review of the recent development in this direction will be presented