In this paper, we study Heisenberg vertex algebras over fields of prime characteristic. The new feature is that the Heisenberg vertex algebras are no longer simple unlike in the case of characteristic zero. We then study a family of simple quotient vertex algebras and we show that for each such simple quotient vertex algebra, irreducible modules are unique up to isomorphism and every module is completely reducible. To achieve our goal, we also establish a complete reducibility theorem for a certain category of modules over Heisenberg algebras.
A theory of quasi modules at infinity for (weak) quantum vertex algebras including vertex algebras was previously developed in cite{li-infinity}. In this current paper, quasi modules at infinity for vertex algebras are revisited. Among the main results, we extend some technical results, to fill in a gap in the proof of a theorem therein, and we obtain a commutator formula for general quasi modules at infinity and establish a version of the converse of the aforementioned theorem.
