Haefliger–Thurston conjecture on the connectivity of diffeomorphism classifying spaces

Let MM be an oriented closed manifold, and let Diffcr(M)\mathrm{Diff}_c^r(M) be the group of compactly supported, orientation-preserving CrC^r diffeomorphisms with the CrC^r-Whitney topology. Write Diffcr(M)δ\mathrm{Diff}_c^r(M)^\delta for the same group with the discrete topology. The identity homomorphism induces

η:BDiffcr(M)δBDiffcr(M).\eta:\mathrm{B}\mathrm{Diff}_c^r(M)^\delta\to\mathrm{B}\mathrm{Diff}_c^r(M).

Haefliger–Thurston conjecture. The map η\eta is a homology isomorphism in degrees at most dim(M)\operatorname{dim}(M) and is surjective on homology in degree dim(M)+1\operatorname{dim}(M)+1.

This is the classifying-space formulation of the Haefliger–Thurston conjecture and is related by Mather–Thurston theory to the flatness statement for manifold bundles. The source gives no evidence that the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Sam Nariman, “On flat manifold bundles and the connectivity of Haefliger's classifying spaces”, arXiv:2202.00052 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.