1: \begin{abstract} We equip the type $A$ diagrammatic Hecke category with a special derivation, so that after specialization to characteristic $p$ it becomes a $p$-dg category. We

2: prove that the defining relations of the Hecke algebra are satisfied in the $p$-dg Grothendieck group. We conjecture that the $p$-dg Grothendieck group is isomorphic to the

3: Iwahori-Hecke algebra, equipping it with a basis which may differ from both the Kazhdan-Lusztig basis and the $p$-canonical basis. More precise conjectures will be found in the

4: sequel.

5: 

6: Here are some other results contained in this paper. We provide an incomplete proof of the classification of all degree $+2$ derivations on the diagrammatic Hecke category, and a

7: complete proof of the classification of those derivations for which the defining relations of the Hecke algebra are satisfied in the $p$-dg Grothendieck group. In particular, our

8: special derivation is unique up to duality and equivalence. We prove that no such derivation exists in simply-laced types outside of finite and affine type $A$. We also examine a particular Bott-Samelson bimodule in type $A_7$, which is indecomposable in characteristic $2$ but decomposable in all other characteristics. We prove that this Bott-Samelson bimodule admits no nontrivial fantastic filtrations in any characteristic, which is the analogue in the $p$-dg setting of being indecomposable. \end{abstract}

9: