On the flatness of spin local models for split even orthogonal groups

Abstract

Let $F$ be a complete discretely valued field with ring of integers $\mathcal{O}$ and residue field of characteristic $p>2$. Let $G={\mathrm{GO}}_{2n}$ denote the split orthogonal similitude group over $F$. For any parahoric level structure, we prove that the associated spin local model for $G$ is a flat $\mathcal{O}$-scheme with reduced special fiber. This confirms a conjecture of Pappas and Rapoport in the split case. As a corollary, we construct a flat (integral) moduli space of PEL-type D.

44 pp, we have removed the assumptions (i) and (ii) in Theorem 1.5 of the previous version. The manuscript now proves the flatness conjecture of Pappas--Rapoport for split orthogonal groups in full generality