Equisingular stratifications associated to families of planar ideals (Q1364266): Difference between revisions

In this paper we can see an interesting criterion in order that the members of a stratification of a Zariski topological space \(T\) will be locally closed sets. Roughly speaking, this is the condition: There must be a mapping \(f:T\to I\), where \(I\) is a a set with partial order, such that \(f\) satisfies certain ``reasonable'' conditions. Theorem. Let \(i\) be an \(I\)-valued \(LC\)-function on the Zariski space \(T\). Then, each fiber of \(i\) is a locally closed set of \(T\). Theorem. Let \(T\) be a noetherian topological space, \(S\) a set, \(i:T\to S\) a function, and assume that for each closed irreducible subspace \(Y\) of \(T\) a fiber of the restriction \(i_Y: Y\to S\) contains a non-empty open set of \(Y\). Then, every fiber of \(i\) is a constructible set. In section 2 the authors give an application to the case of families of smooth surfaces equipped with a coherent sheaf of ideals with finite support. In section 3 they specialize the discussion of section 2 to the important case of certain universal families provided by the theory of Hilbert schemes. These families have special nice properties when the ideals that appear are integrally closed, or complete.