Constructible invariants

A local numerical invariant is a map ω which assigns to a local ring R a natural number ω(R). It induces on any scheme X a partition given by the sets consisting of all points x of X for which takes a fixed value. Criteria are given for this partition to be constructible, in case X is a scheme of finite type over a field. It follows that if the partition is constructible, then it is finite, so that the invariant takes only finitely many different values on X. Examples of local numerical invariants to which these results apply, are the regularity defect, the Cohen–Macaulay defect, the Gorenstein defect, the complete intersection defect, the Betti numbers and the (twisted) Bass numbers. As an application, we obtain that an affine scheme of finite type over a field is ‘asymptotically a complete intersection