Automatic convergence for holomorphic modular forms

Abstract

We prove an automatic convergence theorem for holomorphic modular forms on tube domains. The argument works in some generality, and covers in particular the case of orthogonal groups, symplectic groups, unitary and quaternion unitary groups, and the exceptional group $E_7$.