Tropical reduction and lifting of $q$-differentials on Berkovich curves

Given a complete real-valued field $k$ of residue characteristic zero, we study properties of a meromorphic $q$-differential form $\xi$ (a section of $\Omega_X^{\otimes q}$) on a smooth proper $k$-analytic curve $X$. In particular, we associate to $(X,\xi)$ a natural tropical reduction datum combining tropical-geometric data over the value group of $|k^\times|$ and algebro-geometric reduction data over the residue field $\widetilde{k}$. We show that this datum satisfies natural compatibility conditions, and prove a lifting theorem asserting that any compatible tropical reduction datum lifts to an actual pair $(X, \xi)$. This generalizes the result of \cite{TT20} from $q=1$ to a general natural number $q$. Furthermore, it is a non-Archimedean analog of \cite{BCGGM16}.