A proof of the Kudla-Rapoport conjecture for Krämer models (Q6095145)

Siegel-Weil formula relates certain Siegel Eisenstein series to the arithmetic of quadratic forms, i.e., it expresses special values of these series as theta functions -- generating series of representation numbers of quadratic forms. An arithmetic Siegel-Weil formula was initiated, relating certain Siegel Eisenstein series to objects in arithmetic geometry, which, among others, aims to express the central derivative of these series as the arithmetic analogue of theta functions -- generating series of arithmetic intersection numbers of \(n\) special divisors on Shimura varieties. The authors prove the Kudla-Rapoport conjecture for Krämer models of unitary Rapoport-Zink spaces at ramified places. It is a precise identity between arithmetic intersection numbers of special cycles on Krämer models and modified derived local densities of hermitian forms. The authors relax the local assumptions at ramified places in the arithmetic Siegel-Weil formula for unitary Shimura varieties, which is in particular applicable to unitary Shimura varieties associated to unimodular hermitian lattices over imaginary quadratic fields.