Derived Hecke action on the trivial cohomology of division algebra

This article generalizes Venkatesh's structure theorem for the derived Hecke action on the Hecke trivial cohomology of a division algebra over an imaginary quadratic field to division algebras over all number fields. In particular, we show that the Hecke trivial cohomology of a division algebra is a free module for the action of the strict derived Hecke algebra. Moreover, the strict derived Hecke algebra possesses a rational form that preserves the canonical rational structure on the cohomology during the derived Hecke action. The main ingredients in our improvement are a careful study of the congruence classes in the torsion cohomology of the arithmetic manifold and the author's new result on the reduction map in the $K$-theory of the ring of integers in number fields.