Standard arguments show that each Sobolev space is invariant under the operators W (z) and the metaplectic group. Indeed, it is enough to check invariance when g is sufficiently close to the identity. In that case