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.

Comment: 36 pages