The EKOR-stratification on the Siegel modular variety with parahoric level structure

We study the arithmetic geometry of the reduction modulo $p$ of the Siegel modular variety with parahoric level structure. We realize the EKOR-stratification on this variety as the fibers of a smooth morphism into an algebraic stack parametrizing homogeneously polarized chains of certain truncated displays.