A modular invariance property of multivariable trace functions for regular vertex operator algebras

We prove an SL2(Z)-invariance property of multivariable trace functions on modules for a regular VOA. Applying this result, we provide a proof of the inversion transformation formula for Siegel theta series. As another application, we show that if V is a simple regular VOA containing a simple regular subVOA U whose commutant U-c is simple, regular, and satisfies (U-c)(c) = U, then all simple U-modules appear in some simple V-module. (C) 2015 Elsevier Inc. All rights reserved.