Modular Zhu algebra theory and Virasoro vertex algebras
We develop the representation theory of vertex algebras over arbitrary commutative rings as part of a relative theory, suitable for various applications such as the study of modular forms, modular tensor categories, and sheaves of coinvariants and conformal blocks. Towards this end, we construct Zhu algebras (and higher analogues) and mode transition algebras over arbitrary rings via the universal enveloping algebra. We prove that these constructions are compatible with base change and give rationality criteria for M\"obius vertex algebras over arbitrary fields satisfying mild assumptions. We apply this framework to study Virasoro vertex operator algebras over arbitrary fields. Using integral forms and base change, we extend the rationality of the discrete series Virasoro VOAs from $\mathbb{C}$ to arbitrary fields of characteristic zero. In positive characteristic, the Virasoro theory exhibits surprising new phenomena: the so-called restricted Virasoro VOA is $C_2$-cofinite and has a semisimple Zhu algebra, but it is not rational. Moreover, we find that the simple quotient with central charge $c\in \mathbb{F}_p$ is holomorphic for $p=3,5$ and in most cases for $p=7$.