Newton Stratification in Algebraic Varieties

• Newton stratification is the process that partitions spaces into locally closed subsets using Newton data and Kottwitz invariants.
• It underpins classification in settings like Shimura varieties, loop groups, and moduli of abelian varieties through Newton polygons and sigma-conjugacy classes.
• Its applications extend to p-adic period domains and affine Deligne–Lusztig varieties, providing concrete dimension formulas and closure relations.

Newton stratification is the decomposition of a space into locally closed loci indexed by Newton data: in group-theoretic terms by $\sigma$-conjugacy classes $[b]\in B(G)$ and their dominant Newton points $\nu(b)$, and in the classical $\GL_n$ or abelian-variety setting by Newton polygons. It occurs in loop groups, Iwahori double cosets, the reduction modulo $p$ of Shimura varieties, moduli spaces such as $\mathcal A_g$ and $\mathcal M_g$, and the $B_{\mathrm dR}^+$-Grassmannian and $p$-adic flag varieties. Across these settings, the Newton map is paired with the Kottwitz invariant, and the strata are organized by a dominance partial order on rational coweights or on polygons (Viehmann, 2015).

1. Basic definitions and index sets

For a connected reductive group $G$ over a local field, the fundamental index set is

$[b]\in B(G)$0

the set of $[b]\in B(G)$1-conjugacy classes in $[b]\in B(G)$2. Kottwitz classifies $[b]\in B(G)$3 by two invariants: the dominant Newton point $[b]\in B(G)$4 and the Kottwitz point $[b]\in B(G)$5. In the formulation used for Shimura varieties of Hodge type, one has

$[b]\in B(G)$6

and the partial order is

$[b]\in B(G)$7

For every dominant $[b]\in B(G)$8, the subset $[b]\in B(G)$9 is finite (Viehmann, 2015).

In the abelian-variety setting, the same data are encoded by Newton polygons. If $\nu(b)$0 is a principally polarized abelian variety of dimension $\nu(b)$1, its $\nu(b)$2-divisible group $\nu(b)$3 determines a convex piecewise-linear function

$\nu(b)$4

with $\nu(b)$5, $\nu(b)$6, linear slope sequence $\nu(b)$7, and symmetry $\nu(b)$8. The slopes are precisely the Newton slope multiset of $\nu(b)$9 (Kramer-Miller, 2020).

Different ambient spaces package the same Newton data differently.

Setting	Strata indexed by	Ambient space
Iwahori double coset	$\GL_n$0	$\GL_n$1
Shimura variety special fiber	$\GL_n$2	$\GL_n$3
Moduli of ppav	Newton polygon $\GL_n$4	$\GL_n$5
$\GL_n$6-Grassmannian / flag variety	$\GL_n$7	$\GL_n$8, $\GL_n$9

This common formalism makes it possible to compare apparently different geometric situations through the same partially ordered Newton data.

2. Loop groups, affine Bruhat cells, and Iwahori-level Newton strata

In the loop-group setting one fixes a split connected reductive group $p$0 over $p$1, a split maximal torus $p$2, and a Borel $p$3. The loop group and positive loops are

$p$4

For $p$5 over an $p$6-scheme $p$7, the Newton map

$p$8

defines locally closed Newton strata

$p$9

and the loci $\mathcal A_g$0 are closed by the Grothendieck–Rapoport–Richartz specialization theorem. A stronger purity statement isolates a single break point: if $\mathcal A_g$1 is integral and $\mathcal A_g$2 is a break index of the generic Newton point $\mathcal A_g$3, then

$\mathcal A_g$4

is affine, so $\mathcal A_g$5 is either empty or pure of codimension $\mathcal A_g$6 (Viehmann, 2010).

At Iwahori level one fixes a $\mathcal A_g$7-stable alcove and corresponding Iwahori subgroup $\mathcal A_g$8. The affine Bruhat decomposition is

$\mathcal A_g$9

For fixed $\mathcal M_g$0, the Newton stratification of the double coset is

$\mathcal M_g$1

Inside the finite set $\mathcal M_g$2 there is a unique maximal class $\mathcal M_g$3, whose Newton point $\mathcal M_g$4 is the generic Newton point. Milićević and Viehmann isolate a condition called cordiality: $\mathcal M_g$5 If $\mathcal M_g$6 is cordial, then $\mathcal M_g$7 is saturated in $\mathcal M_g$8, every Newton stratum in $\mathcal M_g$9 is equidimensional, and

$B_{\mathrm dR}^+$0

Under superregularity, cordiality can be checked by shortest paths in the quantum Bruhat graph (Milićević et al., 2019).

The Iwahori case is not governed uniformly by these favorable properties. Trentinn and Viehmann prove that there exist Newton strata whose closures cannot be expressed as a union of strata, and that this failure is implied by non-equidimensional affine Deligne–Lusztig varieties. They also give an explicit example for a group of type $B_{\mathrm dR}^+$1 (Trentin et al., 2021). A common misconception is therefore that Grothendieck-style closure relations extend verbatim from hyperspecial or parahoric level to arbitrary Iwahori double cosets; the Iwahori case admits genuine counterexamples.

3. Levi subgroups and $B_{\mathrm dR}^+$2-alcove elements

A particularly sharp comparison theorem concerns Newton strata in $B_{\mathrm dR}^+$3 when $B_{\mathrm dR}^+$4 is a normalized $B_{\mathrm dR}^+$5-alcove element. Fix a set of simple relative roots $B_{\mathrm dR}^+$6, a subset $B_{\mathrm dR}^+$7 with $B_{\mathrm dR}^+$8, and $B_{\mathrm dR}^+$9. For the standard Levi subgroup $p$0, an element $p$1 is a $p$2-alcove element if

$p$3

and, for every positive root $p$4,

$p$5

When $p$6 is split and $p$7, these are the classical $p$8-alcove elements (2305.00683).

For normalized $p$9, the main result is a canonical bijection

$G$0

sending $G$1 to the unique $G$2 with $G$3. Moreover,

$G$4

so the Newton stratifications on

$G$5

coincide under the identification. Equivalently, one obtains a canonical isomorphism of affine Deligne–Lusztig varieties

$G$6

The proof proceeds first by a minimal-length argument in the $G$7-conjugacy class, where the Newton point is read off from

$G$8

and then by induction using the Deligne–Lusztig reduction sequence

$G$9

to lower length (2305.00683).

The theorem sharpens earlier containment statements: for normalized $[b]\in B(G)$00-alcove elements, the Newton stratification of the Iwahori double coset in $[b]\in B(G)$01 is identical to that of the corresponding double coset in the Levi subgroup. In $[b]\in B(G)$02, if $[b]\in B(G)$03 corresponds to a Levi of type $[b]\in B(G)$04 and the Newton point has two slopes $[b]\in B(G)$05 with multiplicities $[b]\in B(G)$06, then $[b]\in B(G)$07 is the block-diagonal translation by $[b]\in B(G)$08, and different refinements of slopes inside a block do not create new strata in the larger group (2305.00683).

4. Shimura varieties, central leaves, and almost-product structures

For a Shimura variety of Hodge type with hyperspecial level structure at $[b]\in B(G)$09, let

$[b]\in B(G)$10

Each geometric point $[b]\in B(G)$11 determines a $[b]\in B(G)$12-divisible group with $[b]\in B(G)$13-structure and hence a class $[b]\in B(G)$14. If $[b]\in B(G)$15 is the Hodge cocharacter, the admissible set is

$[b]\in B(G)$16

and Mazur’s inequality asserts $[b]\in B(G)$17. This yields the Newton stratification

$[b]\in B(G)$18

with closed unions

$[b]\in B(G)$19

The set $[b]\in B(G)$20 is finite and totally ordered from the basic class to the ordinary class $[b]\in B(G)$21 (Viehmann, 2015).

The geometric structure of these strata is especially rigid. Hamacher’s dimension theorem gives

$[b]\in B(G)$22

equivalently

$[b]\in B(G)$23

In the PEL context, the Newton stratification satisfies strong purity and exact closure: $[b]\in B(G)$24 The same dimension formula and closure statement hold for Newton strata in the universal deformation space of a Barsotti–Tate group with PEL structure [(Hamacher, 2013); (Viehmann, 2015)].

A finer internal decomposition is given by central leaves. Fix a completely slope-divisible Barsotti–Tate group with crystalline Tate tensors $[b]\in B(G)$25 in class $[b]\in B(G)$26. The central leaf

$[b]\in B(G)$27

is a closed smooth subscheme of $[b]\in B(G)$28 of dimension

$[b]\in B(G)$29

Let $[b]\in B(G)$30 be the Hodge-type Rapoport–Zink space and $[b]\in B(G)$31 the infinite-level Igusa tower over $[b]\in B(G)$32. Hamacher proves that there is a canonical diagram

$[b]\in B(G)$33

where $[b]\in B(G)$34 is a surjective $[b]\in B(G)$35-equivariant pro-étale morphism and exhibits $[b]\in B(G)$36 as a $[b]\in B(G)$37-torsor over $[b]\in B(G)$38. After a pro-étale trivialization one gets the almost-product isomorphism

$[b]\in B(G)$39

(Hamacher, 2016).

5. Abelian varieties, Newton polygons, and curves

On the moduli space $[b]\in B(G)$40 of principally polarized abelian varieties of dimension $[b]\in B(G)$41, Newton stratification is formulated directly in terms of polygons. For a fixed Newton polygon $[b]\in B(G)$42 of height $[b]\in B(G)$43 with integer breakpoints, one defines

$[b]\in B(G)$44

Then $[b]\in B(G)$45 is closed, $[b]\in B(G)$46 is open in $[b]\in B(G)$47, and if

$[b]\in B(G)$48

Oort’s lattice-count theorem gives

$[b]\in B(G)$49

The closure relation is exact: $[b]\in B(G)$50 is in the closure of $[b]\in B(G)$51 exactly when $[b]\in B(G)$52 (Kramer-Miller, 2020).

For the Torelli locus $[b]\in B(G)$53, the basic existence problem is whether

$[b]\in B(G)$54

This is equivalent to asking whether there exists a smooth curve of genus $[b]\in B(G)$55 whose Jacobian has Newton polygon $[b]\in B(G)$56. Kramer-Miller proves that if $[b]\in B(G)$57 and

$[b]\in B(G)$58

then there exists a smooth proper curve $[b]\in B(G)$59 of genus $[b]\in B(G)$60 in characteristic $[b]\in B(G)$61 with

$[b]\in B(G)$62

The same paper constructs families $[b]\in B(G)$63 whose scaled Newton polygons satisfy

$[b]\in B(G)$64

so asymptotically the polygons lie above the parabola $[b]\in B(G)$65 in the unit square (Kramer-Miller, 2020).

For curves themselves, Newton strata refine the $[b]\in B(G)$66-rank stratification of $[b]\in B(G)$67. If $[b]\in B(G)$68 denotes the locus of smooth curves whose Jacobian has Newton polygon $[b]\in B(G)$69, then

$[b]\in B(G)$70

Achter and Pries prove that for every prime $[b]\in B(G)$71 and every genus $[b]\in B(G)$72, there exists a smooth projective curve whose Jacobian has Newton polygon

$[b]\in B(G)$73

and they formulate generic polygons $[b]\in B(G)$74 for the $[b]\in B(G)$75-rank $[b]\in B(G)$76 strata, together with inductive results on the generic Newton polygon in fixed $[b]\in B(G)$77-rank (Achter et al., 2013).

Recent explicit classifications show how Newton strata intersect Ekedahl–Oort strata in small dimensions. For the $[b]\in B(G)$78 Shimura variety, exactly four Newton polygons occur, with the supersingular, intermediate, $[b]\in B(G)$79-rank $[b]\in B(G)$80, and $[b]\in B(G)$81-ordinary strata of dimensions $[b]\in B(G)$82, respectively, together with explicit closure relations and a complete list of which Ekedahl–Oort strata intersect which Newton strata (Andrews et al., 1 Oct 2025). For $[b]\in B(G)$83, the Newton polygons are listed by $[b]\in B(G)$84-rank, and the intersections $[b]\in B(G)$85 with the $[b]\in B(G)$86 Ekedahl–Oort types are described using Oort’s minimality, first-slope criteria, and direct-sum constructions (Lupoian et al., 24 Sep 2025).

6. $[b]\in B(G)$87-adic period domains and the $[b]\in B(G)$88-Grassmannian

On the Fargues–Fontaine side, the $[b]\in B(G)$89-Grassmannian $[b]\in B(G)$90 classifies $[b]\in B(G)$91-torsors on $[b]\in B(G)$92 together with a trivialization over $[b]\in B(G)$93. For $[b]\in B(G)$94 algebraically closed complete, one has

$[b]\in B(G)$95

Via Beauville–Laszlo gluing, a point $[b]\in B(G)$96 modifies the $[b]\in B(G)$97-bundle $[b]\in B(G)$98 corresponding to $[b]\in B(G)$99, producing a new class $\nu(b)$00. This defines Newton strata

$\nu(b)$01

Viehmann proves that under the identification $\nu(b)$02, the closure relations on $\nu(b)$03 coincide with the opposite of the usual partial order on $\nu(b)$04, and also proves Chen’s conjecture that every non-Hodge–Newton decomposable Newton stratum in a minuscule affine Schubert cell intersects the weakly admissible locus (Viehmann, 2021).

For $\nu(b)$05-adic flag varieties $\nu(b)$06 with $\nu(b)$07 basic and $\nu(b)$08 minuscule, there is again a Newton stratification. The admissible locus is

$\nu(b)$09

and one has

$\nu(b)$10

the unique open Newton stratum. Shen proves that the following are equivalent: the weakly admissible locus is maximal as a union of Newton strata; the pair $\nu(b)$11 is weakly fully Hodge–Newton decomposable; and the Newton stratification is finer than the Harder–Narasimhan stratification (Chen et al., 2022).

For $\nu(b)$12, Hong classifies the nonempty Newton strata in a minuscule Schubert cell. If the Harder–Narasimhan polygon of $\nu(b)$13 has the property that any two distinct slopes differ by $\nu(b)$14, then

$\nu(b)$15

if and only if the Newton polygons satisfy Mazur-inequality and slope-wise dominance,

$\nu(b)$16

together with common break-points: every break-point abscissa of $\nu(b)$17 is also a break-point of $\nu(b)$18 (Hong, 2022). An analogous explicit classification is proved for $\nu(b)$19: under the same slope-gap hypothesis, nonemptiness is characterized by polygon inequalities and breakpoint matching (Hong, 2022).

7. Purity, closure, and the geometry of the Newton poset

Purity and closure are the recurrent structural questions of Newton stratification. In moduli of Hodge-type or PEL-type Shimura varieties, one has strong purity and exact closure relations. In $\nu(b)$20, the closure order is precisely the order by lying above on Newton polygons. In the loop-group setting, single break-point purity gives codimension-one control on the jumping of individual Newton coordinates [(Viehmann, 2010); (Viehmann, 2015); (Kramer-Miller, 2020)].

The poset-theoretic behavior can nevertheless change dramatically with level structure. In Iwahori double cosets, cordiality implies saturation of the Newton poset $\nu(b)$21, equidimensionality of Newton strata, and Grothendieck-style closure. Without cordiality, some closures are not unions of Newton strata, and non-equidimensional affine Deligne–Lusztig varieties provide the mechanism for this failure (Milićević et al., 2019, Trentin et al., 2021).

The comparison theorem for normalized $\nu(b)$22-alcove elements shows that this pathology is not universal even at Iwahori level. For those elements, the Newton stratification in $\nu(b)$23 is canonically identical to the corresponding Newton stratification in a Levi subgroup, and the associated affine Deligne–Lusztig varieties are canonically isomorphic (2305.00683). This suggests that Hodge–Newton decomposability, Levi reduction, and the geometry of the Newton poset are tightly linked, but the ambient level structure remains decisive for whether closure relations behave as in the hyperspecial case.