Abstract:In this paper we prove the vanishing of the bounded cohomology of $\text{Diff}^r_+(S^n)$ with real coefficients when $n\geq 4$ and $1\leq r\leq \infty$. This answers the question raised in \cite{FNS24} for $\geq 4$ dimensional spheres.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the bounded cohomology of the group of orientation - preserving diffeomorphisms $\text{Diff}_r^+(S^n)$ of the high - dimensional sphere (with dimension $n\geq4$) is zero over the real coefficients. Specifically, the author proves that when $n\geq4$ and $1\leq r\leq\infty$, $\text{Diff}_r^+(S^n)$ is boundedly acyclic. This result answers a question raised in the literature [FFMNK24].
### Main Conclusions
- **Theorem 0.1**: For $n\geq4$ and $1\leq r\leq\infty$, $\text{Diff}_r^+(S^n)$ is boundedly acyclic.
- **Corollary 0.2**: For $n\geq4$ and $1\leq r\leq\infty$, every nontrivial class in the cohomology of $\text{Diff}_r^\delta(S^n)$ in positive degrees is unbounded.
### Method Overview
The author's method is mainly inspired by [MN23, Theorem 1.10] and proves the main conclusions through the following steps:
1. **Construct a semi - simplicial complex**: For each $k > 0$, choose a subset $F_k$ of $k$ points on $S^n$ and construct a semi - simplicial complex $Y^\bullet$. This complex, together with the quotient complex and each of its stabilizers, is boundedly acyclic.
2. **Use spectral sequence argument**: Through spectral sequence argument (Lemma 1.5), prove that $G_k$ is boundedly acyclic.
3. **Differential topological techniques**: Utilize the approximation theorem, embedding theorem, homotopy extension theorem, and transversality theorem in differential topology to prove that in high - dimensional cases, diffeomorphisms on the sphere can have sufficient degrees of freedom.
### Key Techniques and Tools
- **Bounded cohomology**: Definition and properties, especially the concept of boundedly acyclic.
- **Conjugate groups**: Prove boundedly acyclic by constructing conjugate groups.
- **Differential topology**: Including the approximation theorem, embedding theorem, homotopy extension theorem, and transversality theorem.
### Applications
- **Unboundedness of characteristic classes**: As an application, the author proves that every nontrivial class in the cohomology of $\text{Diff}_r^\delta(S^n)$ in positive degrees is unbounded, which answers the question raised in [MN23, Question 7.4].
### Conclusion
This paper solves the problem of bounded cohomology of the diffeomorphism group of high - dimensional spheres through strict mathematical proofs, providing an important theoretical basis for research in related fields.