Dice Question Streamline Icon: https://streamlinehq.com

Bounded acyclicity of Diff(S^n)

Determine whether the group Diff(S^n) of orientation-preserving C^r diffeomorphisms of the n-sphere is boundedly acyclic for all regularities r ≥ 0 and dimensions n ≥ 2; explicitly, show that H^k_b(Diff(S^n)) = 0 for every k > 0 in this range of (r, n).

Information Square Streamline Icon: https://streamlinehq.com

Background

The authors establish bounded acyclicity for various transformation groups, including Homeo(Rn) and Homeo(Dn, ∂), and derive isomorphisms relating discs and spheres in bounded cohomology in certain cases. Nevertheless, beyond low-degree computations, the bounded cohomology of Homeo(Sn) and Diff(Sn) is largely unknown for n ≥ 2.

This question asks for a complete vanishing result in bounded cohomology for the smooth diffeomorphism group of spheres across regularities and dimensions, extending understanding well beyond the presently known dimension 1 case.

References

Question Is Diff(Sn) boundedly acyclic for r ≥ 0 and n ≥ 2?

The bounded cohomology of transformation groups of Euclidean spaces and discs (2405.20395 - Fournier-Facio et al., 30 May 2024) in Section 6.2 (Questions)