---
title: Ekedahl–Oort Strata
url: https://www.emergentmind.com/topics/ekedahl-oort-strata
type: topic
---

# Ekedahl–Oort Strata

Ekedahl–Oort strata are the locally closed pieces of a characteristic-\(p\) moduli space on which the isomorphism class of the truncated \(p\)-divisible group of level \(1\) is constant. In the Siegel case they are the loci where \((A[p],\lambda[p])\) has fixed isomorphism class as a self-dual BT-\(1\), while for Shimura varieties of Hodge type with good reduction at \(p>2\) they are defined via the smooth zip period morphism to the stack of \(G\)-zips of type \(\mu\). Their parameter set is finite and Weyl-group-theoretic, their dimensions are given by Coxeter length, and their closures are controlled by a twisted Bruhat-type order [1312.4869].

## 1. Classical definition and conceptual role

Let \(k\) be a field of characteristic \(p>0\), and let \((A,\lambda)\) be a principally polarized abelian variety over \(k\) of dimension \(g\). The finite group scheme \(A[p]\) is a finite, commutative group scheme of rank \(p^{2g}\), and the principal polarization induces an isomorphism
\[
\lambda[p]:A[p]\xrightarrow{\sim}A^\vee[p]
\]
compatible with Cartier duality, so \(A[p]\) becomes a self-dual BT-\(1\). Fixing the Siegel moduli scheme \(A_{g,n}\) over \(\mathbb F_p\), the locus where \((A_s[p],\lambda_s[p])\) has a prescribed isomorphism class is an Ekedahl–Oort stratum. Oort showed that there are \(2^g\) such classes, that each corresponding stratum is nonempty and locally closed, that each stratum is quasi-affine, and that there is a dimension formula in terms of the combinatorics of the symplectic group [1312.4869].

This stratification is finer than the Newton stratification. The Newton polygon records the isogeny class of the \(p\)-divisible group \(A[p^\infty]\), whereas the Ekedahl–Oort type records the isomorphism class of \(A[p]\). Accordingly, each Newton stratum is a union of Ekedahl–Oort strata, and different Ekedahl–Oort types can occur inside a single Newton stratum. In the later group-theoretic formulation, Newton strata correspond to \(\sigma\)-conjugacy classes, while Ekedahl–Oort strata are indexed by Weyl-group data attached to parabolics and cocharacters [1312.4869].

## 2. \(F\)-zips, \(G\)-zips, and Weyl-group parametrization

The modern formulation replaces the direct classification of BT-\(1\)s by the theory of \(F\)-zips and \(G\)-zips. An \(F\)-zip is a quadruple
\[
\mathcal M=(M,C^\bullet,D_\bullet,\varphi_\bullet)
\]
consisting of a locally free module, descending and ascending filtrations, and Frobenius-linear isomorphisms between associated graded pieces. For abelian schemes in characteristic \(p\), \(H^1_{\mathrm{dR}}\) carries a canonical \(F\)-zip structure [1312.4869].

Let \(G/\mathbb F_p\) be connected reductive and let \(\mu\) be the cocharacter determined by the Shimura datum. Writing \(P_+\) and \(P_-\) for the parabolics defined by \(\mu\), with common Levi \(L\), a \(G\)-zip of type \(\mu\) over a \(k\)-scheme \(S\) is a quadruple
\[
(I,I_+,I_-,\iota)
\]
where \(I\) is a right \(G_k\)-torsor, \(I_+\subset I\) is a right \(P_+\)-torsor, \(I_-\subset I\) is a right \(P_-^{(p)}\)-torsor, and
\[
\iota:I_+^{(p)}/U_+^{(p)}\xrightarrow{\sim}I_-/U_-^{(p)}
\]
is an isomorphism of \(L^{(p)}\)-torsors. These objects form a smooth Artin stack \(G\text{-Zip}^\mu\) of dimension \(0\), and Pink–Wedhorn–Ziegler identify it with a quotient stack
\[
G\text{-Zip}^\mu \cong [E_{G,\mu}\backslash G_k]
\]
for an explicit zip group \(E_{G,\mu}\subset P_+\times P_-^{(p)}\) [1312.4869].

Fixing a Borel \(B\subset G_k\), a maximal torus \(T\subset B\), Weyl group \(W\), and the subset \(J\) corresponding to the parabolic type of \(P_+\), one obtains the finite indexing set \({}^J W\) of minimal-length representatives for \(W_J\backslash W\). The \(E_{G,\mu}\)-orbits on \(G_k\) are indexed by \({}^J W\). For each \(w\in{}^J W\), the corresponding orbit \(O_w\) is locally closed and smooth, its codimension is \(\dim(U_-)-\ell(w)\), and its closure is
\[
\overline{O_w}=\bigcup_{w'\preceq w}O_{w'}
\]
for a twisted Bruhat-type partial order \(\preceq\) on \({}^J W\) [1312.4869].

## 3. Hodge-type Shimura varieties and the zip period morphism

Let \((G,X)\) be a Shimura datum of Hodge type with hyperspecial level at a prime \(p>2\). By work of Vasiu and Kisin, the associated Shimura variety admits a smooth integral canonical model \(\mathcal S_K(G,X)\) over \(\mathcal O_{E,(v)}\), characterized by the extension property. After choosing a symplectic embedding
\[
(G,X)\hookrightarrow (GSp(V,\psi),X'),
\]
one obtains over the special fiber \(\mathcal S_k\) a universal abelian scheme, its de Rham cohomology \(V=H^1_{\mathrm{dR}}(A/\mathcal S_k)\), the Hodge filtration, Frobenius and Verschiebung, and a system of tensors cutting out the \(G\)-structure [1312.4869].

From these data one constructs a \(G\)-zip of type \(\mu\) on \(\mathcal S_k\), hence a canonical morphism
\[
\zeta:\mathcal S_k\to G\text{-Zip}^\mu.
\]
The Ekedahl–Oort stratum of type \(w\in{}^J W\) is then
\[
S_w:=\zeta^{-1}([w])\subset \mathcal S_k.
\]
Zhang proved that \(\zeta\) is smooth. It follows that the strata are smooth and equidimensional of dimension \(\ell(w)\) when nonempty, and that their closures are pulled back from the closure relations in \(G\text{-Zip}^\mu\) [1312.4869].

The construction is intrinsic. The resulting morphism
\[
\zeta:S_0\to G_0\text{-Zip}^\mu
\]
is independent of the choice of symplectic embedding, of the chosen integral model inside a symplectic representation, and of the chosen defining tensors; under a suitable integral extension hypothesis, it is also functorial for morphisms of Shimura data [1401.6632]. A complementary reinterpretation uses Breuil–Kisin windows: for the special fiber \(S\), one constructs a morphism
\[
\eta:S\to D_1/K_0
\]
to a quotient of a loop-group space, and its geometric fibers are exactly the Ekedahl–Oort strata, giving a loop-group realization of Viehmann’s truncations of level one [1801.01354].

## 4. Basic geometry: smoothness, purity, quasi-affineness, and non-emptiness

For Hodge-type Shimura varieties with good reduction at \(p>2\), the smoothness of \(\zeta\) implies that the strata \(S_w\) are reduced, locally closed, smooth, and equidimensional, with
\[
\dim S_w=\ell(w)
\]
when \(S_w\neq\emptyset\), and with closure formula
\[
\overline{S_w}=\bigcup_{w'\preceq w}S_{w'}.
\]
In the Siegel case this recovers Oort’s stratification, and in PEL type it recovers the earlier Moonen–Wedhorn–Viehmann–Wedhorn picture [1312.4869].

Purity was subsequently established in a general zip-theoretic form. The zip stratification attached to an arbitrary \(\hat G\)-zip is pure, and this implies purity of level-\(m\) stratifications for truncated Barsotti–Tate groups as well as purity of the Ekedahl–Oort stratification on special fibers of good models of Hodge-type Shimura varieties. The same work proves that all Ekedahl–Oort strata are quasi-affine schemes and extends several Bruhat-stratification properties from the PEL case to Hodge type [1404.0577].

Further geometric refinements are available on compactifications. On the toroidal compactification, the strata defined by pullback of zip strata are expected to satisfy the same dimension and closure formulas; on the minimal compactification, the induced Ekedahl–Oort strata are affine, while the open-shimura-variety strata are quasi-affine [1811.04843]. In the PEL setting, Viehmann–Wedhorn proved that every Ekedahl–Oort stratum is smooth, quasi-affine, of dimension \(\ell(w)\), and non-empty [1011.3230].

Non-emptiness in Hodge type admits a mod-\(p\) period-map proof. Using the perfectoid tower and the Hodge–Tate period map, Andreatta compared pullbacks of Ekedahl–Oort strata with pullbacks of fine Deligne–Lusztig strata on the special fiber of the flag variety, obtained an order-reversing Weyl-theoretic constraint on simultaneous intersections, and deduced that all Ekedahl–Oort strata are non-empty for \(p\ge 5\) [2103.12361].

## 5. Relations to Newton strata, Bruhat geometry, period maps, and tautological rings

Ekedahl–Oort strata are part of a larger constellation of characteristic-\(p\) stratifications. Newton strata are determined by isocrystal data and are coarser; each Newton stratum is a union of Ekedahl–Oort strata. In the Hodge-type setting, the \(p\)-ordinary locus coincides with the ordinary Ekedahl–Oort stratum and is open dense. Bruhat stratifications arise by forgetting part of the zip data, and in the Hodge-type setting the Bruhat stratification is defined through the same zip-period morphism \(\zeta\) [1312.4869].

The mod-\(p\) Hodge–Tate period map gives a different comparison. For a Hodge-type Shimura variety with perfectoid cover \(S(p^\infty)\), there are two mod-\(p\) period maps, one to the special fiber of the Shimura variety and one to the special fiber of the flag variety. On the flag-variety side there is a fine Deligne–Lusztig stratification, and the two pullback stratifications are related by an order-reversing bijection between the relevant Weyl-theoretic indexing sets. This comparison gives a new proof of non-emptiness of all Ekedahl–Oort strata and places Ekedahl–Oort strata inside the same period-map framework that governs other \(p\)-adic and mod-\(p\) stratifications [2103.12361].

Ekedahl–Oort strata also enter intersection theory. For the special fiber of a good reduction of a Hodge-type Shimura variety, the tautological ring is the subring of the Chow ring generated by all Chern classes of all automorphic bundles, and it is generated as a vector space by the cycle classes of the closures of the Ekedahl–Oort strata. Wedhorn and Ziegler compute these cycle classes, identify the Chow ring of the \(G\)-zip stack with the rational cohomology ring of the compact dual, derive triviality of \(\ell\)-adic Chern classes of flat automorphic bundles in characteristic \(0\), and obtain a new proof of Hirzebruch–Mumford proportionality for Shimura varieties of Hodge type [1811.04843].

## 6. Examples, special cases, and singularity theory

In the Siegel case \((G,X)=(GSp_{2g},X_{\mathrm{Siegel}})\), the indexing set \({}^J W\) has cardinality \(2^g\), and the general Hodge-type construction recovers Oort’s original Ekedahl–Oort stratification. In PEL type, the same Weyl-group indexing, the dimension formula \(\dim S_w=\ell(w)\), the closure order, and quasi-affineness were established in full generality, together with the notion of minimal Ekedahl–Oort strata and their relation to Newton strata. In the split PEL case, each Newton stratum contains a unique minimal Ekedahl–Oort stratum [1312.4869] [1011.3230].

A notable non-PEL example is given by CSpin Shimura varieties. For a quadratic space of signature \((n,2)\), the associated Hodge-type Shimura datum yields an orthogonal Weyl-group combinatorics. If \(n\) is odd, the poset \(({}^J W,\preceq)\) is totally ordered and identified with \(\{0,1,\dots,n\}\) by the length function, so there is at most one stratum of each dimension \(i\). If \(n\) is even, there are at most \(2m\) strata for \(n+2=2m\), at most one stratum of each dimension \(i\neq n/2\), and at most two strata of dimension \(n/2\) [1312.4869].

The geometry of closures has become a separate subject. Goldring and Koskivirta determined the normalization of closed Ekedahl–Oort strata via partial flag spaces: for each \(w\), a canonical parabolic \(P_w\) yields a minimal fine stratum in the associated partial flag space, and the normalization of the closure of the stratum of type \(w\) is obtained from the closure of that fine stratum [1703.05197]. More recently, singularity questions were treated for abelian-type Shimura varieties: there are conceptual and combinatorial criteria for normality and Cohen–Macaulayness of unions of strata, an exact criterion for when the union of two adjacent strata is smooth, explicit numerical criteria for one-dimensional stratum closures, and, for groups of type \(\mathsf B_n\), a description of the smooth and normal loci of all closures together with reduced strata Hasse invariants and closed-form cycle-class formulas [2506.16086].

Ekedahl–Oort stratifications also appear outside Shimura varieties through the Torelli map. The induced stratification on the moduli of curves of genus \(4\) has been studied in positive characteristic and in characteristic \(3\), with explicit constructions of families having prescribed Ekedahl–Oort type and dimension computations for the resulting loci [1812.04996] [2003.12764].

Source: https://www.emergentmind.com/topics/ekedahl-oort-strata