Classifying spaces for foliations; Gelfand-Fuks cohomology Differential topology mathematics