1: \begin{abstract}
2: % clunky second sentence
3: Let $W$ be an affine Weyl group, and let $\Bbbk$ be a field of characteristic $p>0$. The diagrammatic Hecke category $\mathcal{D}$ for $W$ over $\Bbbk$ is a categorification of the Hecke algebra for $W$ with rich connections to modular representation theory. We explicitly construct a functor from $\mathcal{D}$ to a matrix category which categorifies a recursive representation $\xi: \mathbb{Z}W \rightarrow M_{p^r}(\mathbb{Z}W)$, where $r$ is the rank of the underlying finite root system. This functor gives a method for understanding diagrammatic Soergel bimodules in terms of other diagrammatic Soergel bimodules which are ``smaller'' by a factor of $p$. It also explains the presence of self-similarity in the $p$-canonical basis, which has been observed in small examples. By decategorifying we obtain a new lower bound on the $p$-canonical basis, which corresponds to new lower bounds on the characters of the indecomposable tilting modules by the recent $p$-canonical tilting character formula due to Achar--Makisumi--Riche--Williamson. %inspired by notions of higher-order linkage for tilting modules for algebraic groups. Linkage Our main result is a functor which shows how Soergel bimodules can be understood in terms of Soergel bimodules which are ``smaller'' by a factor of $p$. %Along the way we introduce the linkage Hecke algebra and bimodule and the combinatorics of patterns and matches, analogous to the Hecke algebra and the combinatorics of expressions and subsequences.
4:
5: %Keywords: Soergel bimodules, tilting modules, $p$-canonical basis, linkage
6:
7: %We conclude with a new Soergel-type conjecture on the behavior of the $p$-canonical basis at alcoves fixed within $p$-alcoves using a new Kazhdan--Lusztig-type basis.
8: \end{abstract}
9: