Reflecting Poisson walks and dynamical universality in $p$-adic random matrix theory

We prove dynamical local limits for the singular numbers of $p$-adic random matrix products at both the bulk and edge. The limit object which we construct, the reflecting Poisson sea, may thus be viewed as a $p$-adic analogue of line ensembles appearing in classical random matrix theory. However, in contrast to those it is a discrete space Poisson-type particle system with only local reflection interactions and no obvious determinantal structure. The limits hold for any $\mathrm{GL}_n(\mathbb{Z}_p)$-invariant matrix distributions under weak universality hypotheses, with no spatial rescaling.
Comment: 49 pages, 3 figures. First version, comments welcome!