1: \begin{abstract}

2: We prove the cohomological version of the Sarnak--Xue Density Hypothesis

3: for $SO_{5}$ over a totally real field and for inner forms split

4: at all finite places. The proof relies on recent lines of work in

5: the Langlands program: (i) Arthur's Endoscopic Classification of Representations

6: of classical groups, extended to inner forms by Taïbi and its explicit

7: description for $SO_{5}$ by Schmidt, and (ii) the Generalized Ramanujan--Petersson

8: Theorem, proved for cohomological self-dual cuspidal representations

9: of general linear groups. We give applications to the growth of cohomology

10: of arithmetic manifolds, density-Ramanujan complexes, cutoff phenomena

11: and optimal strong approximation. 

12: \end{abstract}

13: