We prove a semi-global arithmetic Siegel-Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of Siegel Eisenstein series. We will motivate this conjecture and discuss some aspects of the proof.

This is joint work with Wei Zhang.