Formal Fourier Jacobi Expansions and Special Cycles of Codimension 2

We prove that formal Fourier Jacobi expansions of degree 2 are Siegel modular forms. As a corollary, we deduce modularity of the generating function of special cycles of codimension 2, which were defined by Kudla. A second application is the proof of termination of an algorithm to compute Fourier expansions of arbitrary Siegel modular forms of degree 2. Combining both results enables us to compute relations of special cycles in the second Chow group.