  We study the supersingular locus of the Siegel modular variety of genus 3 or
4. More concretely, we decompose the supersingular locus into a disjoint union
of the product of a Deligne-Lusztig variety of Coxeter type and a
finite-dimensional affine space after taking perfection.
