Let M be the Shimura variety associated with the group of spinor similitudes of a quadratic space over Q of signature (n, 2). We prove a conjecture of Bruinier-Kudla-Yang, relating the arithmetic intersection multiplicities of special divisors and big CM points on M to the central derivatives of certain L-functions.As an application of this result, we prove an averaged version of Colmez's conjecture on the Faltings heights of CM abelian varieties.

We use Lau's classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial.

We construct regular integral canonical models for Shimura varieties attached to Spin groups at (possibly ramified) odd primes. We exhibit these models as schemes of 'relative PEL type' over integral canonical models of larger Spin Shimura varieties with good reduction. Work of Vasiu-Zink then shows that the classical Kuga-Satake construction extends over the integral model and that the integral models we construct are canonical in a very precise sense. We also construct good compactifications for our integral models. Our results have applications to the Tate conjecture for K3 surfaces, as well as to Kudla's program of relating intersection numbers of special cycles on orthogonal Shimura varieties to Fourier coefficients of modular forms

No abstract

Let $M$ be the Shimura variety associated to the group of spinor similitudes of a quadratic space over $\mathbb{Q}$ of signature $(n,2)$. We prove a conjecture of Bruinier and Yang, relating the arithmetic intersection multiplicities of special divisors and CM points on $M$ to the central derivatives of certain $L$-functions. Each such $L$-function is the Rankin-Selberg convolution associated with a cusp form of half-integral weight $n/2 +1 $, and the weight $n/2$ theta series of a positive definite quadratic space of rank $n$. When $n=1$ the Shimura variety $M$ is a classical quaternionic Shimura curve, and our result is a variant of the Gross-Zagier theorem on heights of Heegner points.Comment: Final version. To appear in Compos. Mat