Simple vertex algebras arising from congruence subgroups

For any congruence subgroup Γ, we consider the vertex algebra of Γ-invariant global sections of chiral de Rham complex on the upper half plane that are meromorphic at the cusps. We give a description of the linear structure of the Γ-invariant vertex algebra by exhibiting a linear basis determined by meromorphic modular forms, and generalize the Rankin-Cohen bracket of modular forms to meromorphic modular forms. We also show that the Γ-invariant vertex algebra is simple.