We will study differential graded Hecke algebras and their derived categories on the reductive group side. On the Galois side, we hope to use derived versions of the moduli spaces of p-adic Galois ...