On a conjecture of Pappas and Rapoport about the standard local model for \(\mathrm{GL}_d\) (Q2661301)

Let \(n\) and \(e\) be integers greater than or equal to \(2\). Pappas and Rapoport conjectured that the subscheme \[\mathcal{N}_{n,e} = \{ A \in \mathrm{Mat}_{n \times n} \: : \: A^e = 0, \det(\lambda-A) = \lambda^n \}\] of the scheme \(\mathrm{Mat}_{n \times n}\) of \(n \times n\) matrices is reduced (Conjecture 5.8 of [\textit{G. Pappas} and \textit{M. Rapaport}, J. Algebraic Geom 12, 107--145 (2003; Zbl 1063.14029)]). They showed that this conjecture implies the flatness of the standard model of \(\mathrm{GL}_d\) in certain situations. The above conjecture is proved in full generality in this paper.