  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.
