?
Topological order complexes and resolutions of discriminant sets
If elements of a partially ordered set run over a topological space, then the corresponding order complex admits a natural topology, providing that similar interior points of simplices with close vertices are close to one another. Such topological order complexes appear naturally in the conical resolutions of many singular algebraic varieties, especially of discriminant varieties, i.e. the spaces of singular geometric objects. These resolutions generalize the simplicial resolutions to the case of non-normal varieties. Using these order complexes, we study the cohomology rings of many spaces of nonsingular geometrical objects, including the spaces of nondegenerate linear operators in R^n, C^n or H^n, of homogeneous functions R^2 --> R^1 without roots of high multiplicity in RP^1, of nonsingular hypersurfaces of fixed degree in CP^n, and of Hermitian matrices with simple spectra.