On formal Fourier-Jacobi expansions

It is a classical fact that Siegel modular forms possess so-called Fourier-Jacobi expansions. The question then arises, given such an expansion, when does it originate from a Siegel modular form. In the complex setting, J. Bruinier and M. Raum gave a necessary and sufficient criterion when Fourier-Jacobi expansions give rise to Siegel modular forms. In our talk we would like to revisit this problem however using the arithmetic compactifications of the moduli space of principally polarized abelian varieties established by G. Faltings and C.-L. Chai. In particular, this will allow us to generalize the result of J. Bruinier and M. Raum to the arithmetic setting.