Singularities, Expanders and Topology of Maps. Part 1: Homology Versus Volume in the Spaces of Cycles

We find lower bounds on the topological complexity of the critical (values) sets S(F) ì Y{\Sigma(F) \subset Y} of generic smooth maps F : X → Y, as well as on the complexity of the fibers F^-1(y) ì X{F^{-1}(y) \subset X} in terms of the topology of X and Y, where the relevant topological invariants of X are often encoded in the geometry of some Riemannian metric supported by X.