Isogeny graphs with level structures arrising from the Verschiebung map

Abstract: We enhance an isogeny graph of elliptic curves by incorporating level structures defined by bases of the kernels of iterates of the Verschiebung map. We extend several previous results on isogeny graphs with level structures defined by geometric points to these graphs. Firstly, we prove that these graphs form $\mathbb{Z}_p$-towers of graph coverings as the power of the Verschiebung map varies. Secondly, we prove that the connected components of these graphs display a volcanic structure.